を Pauli 行列(参照問題)とし、を2行2列の単位行列とし、次の行列を定義する。
このとき、
を示し、
が成り立つことを示せ。
また、の2つの固有状態を
と表記するとき、次で定義される状態はの固有状態であり、その固有値は各々とであることを示せ。
ここで、
前の問題の結果を用いた。
の証明についてもが成り立つことから、前の問題と全く同様の計算で示すことが出来る。
を用いれば
となり、はの固有値の固有状態であることが分かる。
については
であることに注意すれば、の固有値の固有状態であることが分かる。