배트맨 방정식