以下、太文字をベクトルとします。ベクトルOPをpとします。 題意よりAp=p⇔(A-E)p=0ですね。ここで、A-Eが逆行列をもたないと仮定しましょう。つまりdet(A-E)≠0と仮定します。そうするとp=0となりますが、点Pは原点以外に矛盾しますね。 よってdet(A-E)=0です…