Re:>>343 そのようなこと書く暇があるなら眠れ.

Unitary 行列の行列式の絶対値は1. 行列式の法則と unitary 行列の定義によりわかる.
あるいは unitary 行列は対角成分の絶対値が1の対角行列と相似であることからわかる.