任意のユニタリー行列は、エルミート行列を指数に持つ指数関数で表されることを証明するページです。