一次変換$f$に対して、
\begin{equation}
f(\overrightarrow{\mathrm{OP}}) = \overrightarrow{\mathrm{OP}}
\end{equation}が成り立つとき、点Pは$f$の「不動点」といいます。
固有値・固有ベクトル - 数式で独楽する
固有ベクトルと一次変換 - 数式で独楽する
原点Oと2点P, Qは同一直線上にないとする。2点P, Qが2次元座標平面上の一次変換$f$の不動点ならば、$f$は恒等変換です。
条件より、
\begin{eqnarray}
f(\overrightarrow{\mathrm{OP}}) &=& \overrightarrow{\mathrm{OP}} \\
f(\overrightarrow{\mathrm{OQ}}) &=& \overrightarrow{\mathrm{OQ}}
\end{eqnarray}です。
つまり、は、どちらも$f$の固有値1に対する固有ベクトルです。
また、
\begin{equation}
\overrightarrow{\mathrm{OP}} \nparallel \overrightarrow{\mathrm{OQ}}
\end{equation}です。
したがって、$f$を記述する行列は単位行列$I$となります。
すなわち、$f$は恒等変換ということが分かります。
一次独立の固有ベクトル、共通の固有値 - 数式で独楽する