直交行列の微分は、反対称行列の微分と元の直交行列の積に分解