対角化と固有ベクトル