ケイリー・ハミルトンの定理のソースを表示

[[画像:Arthur Cayley.jpg|225px|thumb|[[王立協会フェロー]]・[[アーサー・ケイリー]] (1821-1895) は19世紀のブリテンを代表する純粋数学者として広く知られている。ケイリーは1848年にダブリンに赴き、ハミルトンから発見者直々に[[四元数]]の講義を受けている。のちにケイリーは、四元数に関する成果を出版する2番目となることによりハミルトンに印象付けた{{sfn|Crilly|1998}}。

ケイリーは {{math|3}}次以下の行列に対して定理を証明したが、{{math|2}}次の場合に対してだけ証明を発表した{{sfn|Cayley|1858|pp=17-37}}{{sfn|Cayley|1889|pp=475-496}}。一般の {{mvar|n}}次の場合についてケイリーは「……、任意次数の行列という一般の場合に定理をきちんと証明する労を引き受ける必要を覚えない。」と述べている。]]
[[画像:William Rowan Hamilton portrait oval combined.png|225px|thumb|アイルランドの物理学・天文学・数学者[[ウィリアム・ローワン・ハミルトン]] (1805-1865) は[[米国科学アカデミー]]初の外国人会員である。幾何学をいかにして研究すべきかについては対立する位置に立ちながらも、ハミルトンは常にケイリーと最良の関係を留めていた{{sfn|Crilly|1998}}。
ハミルトンは[[四元数]]に関する線型函数に対して、それ自身が満足するある種の方程式の存在を証明した{{sfn|Hamilton|1864a}}{{sfn|Hamilton|1864b}}{{sfn|Hamilton|1862}}。]]

[[線型代数学]]における'''ケイリー・ハミルトンの定理'''（ケイリー・ハミルトンのていり、{{lang-en-short|Cayley–Hamilton theorem}}）、または'''ハミルトン・ケイリーの定理'''とは、（[[実数]]体や[[複素数]]体などの）[[可換環]]上の[[正方行列]]は[[固有多項式|固有方程式]]を満たすという[[定理]]である{{sfn|Eisenbud|1995|p={{google books quote|id=xDwmBQAAQBAJ|page=120|120}}|loc=Theorem 4.3 (Cayley-Hamilton)}}。[[アーサー・ケイリー]]と[[ウィリアム・ローワン・ハミルトン]]に因む。

{{mvar|n}}次正方行列 {{mvar|A}} に対して、{{mvar|I{{sub|n}}}} を {{mvar|n}}次[[単位行列]]とすると、{{mvar|A}} の[[固有多項式]]は
:<math>p(\lambda) := \det(\lambda I_n-A)</math>
で定義される{{sfn|Atiyah|MacDonald|1969}}。ここで {{math|det}} は[[行列式]]を表し、{{mvar|λ}} は係数環の元（[[スカラー (数学)|スカラー]]）である。引数の行列は各成分が {{mvar|λ}} の {{math|1}}次式以下の多項式（{{math|1}}次式または定数）だから、その行列式も {{mvar|λ}} の {{mvar|n}}次[[モニック多項式]]になる。ケイリー・ハミルトンの定理の主張は、固有多項式を[[行列多項式]]と見れば {{mvar|A}} が[[零点]]であること、すなわち上記の {{mvar|λ}} を行列 {{mvar|A}} で置き換えた計算結果が[[零行列]]であること、すなわち <math>p(A)=O</math> の成立を述べるものである。
; 注: 置き換えにおいて、{{mvar|λ}} の冪は、{{mvar|A}} の、[[行列の積]]による冪に置き換わるから、特に {{math|''p''(''λ'')}} の定数項は {{math|''A''{{sup|0}}}} すなわち単位行列の定数倍に置き換わる。
定理により、特に {{mvar|A{{sup|n}}}} は、より低次の {{mvar|A}} の多項式で表されることが分かる。係数環が{{ill2|係数体|en|ground field|label=体}}のとき、ケイリー・ハミルトンの定理は「任意の正方行列 {{mvar|A}} の[[最小多項式 (線型代数学)|最小多項式]]は {{mvar|A}} の固有多項式を[[整除]]する（割り切る）」という主張に同値である。

この定理は1853年にハミルトンが初めて証明した{{sfn|Hamilton|1853|p=562}}（それは「非可換」環である[[四元数]]を変数とする一次函数の逆を用いたものであった{{sfn|Hamilton|1864a}}{{sfn|Hamilton|1864b}}{{sfn|Hamilton|1862}}）。これは一般の定理において、実{{math|4}}次または複素{{math|2}}次という特別の場合に当たるものである。

ケイリー・ハミルトンの定理は、四元数係数の行列に対しても成立する{{sfn|Zhang|1997}}{{efn2|四元数の乗法およびそれを用いた任意の構成（この文脈では特に行列式が顕著）には非可換性がかかわってくるから、十分に定義を検討する必要がある。[[分解型四元数]]に対するケイリー・ハミルトンの定理も（やや{{ill2|よく振る舞う|en|well-behaved|label=素性はよくない}}が）同様に成立する{{sfn|Alagös|Oral|Yüce|2012}}。四元数の場合も分解型四元数の場合も、ある種の複素{{math|2}}次行列として表すことができる（[[ノルム]] {{math|1}} に制限すれば、これらの乗法の定める作用はそれぞれ特殊ユニタリ群 {{math|SU(2)}} および {{math|SU(1, 1)}} である）から、これらに対して定理が成り立つことは驚くことではない。そのような行列表現のできない[[八元数]]（八元数の乗法は非結合的であるから行列の積で表現することは不合理）でさえ、それでも修正版のケイリー・ハミルトンの定理が満足される{{sfn|Tian|2000}}}}。

1858年にケイリーは {{math|3}}次およびそれより小さい行列に関して定理を述べているが、証明は {{math|2}}次の場合のみを著している{{sfn|Cayley|1858|pp=17-37}}。一般の場合が初めて証明されたのは1878年で[[フェルディナント・ゲオルク・フロベニウス|フロベニウス]]による{{sfn|Frobenius|1878}}。

== 例 ==
=== {{math|1}}次 ===
{{math|1}}次正方行列 {{math2|''A'' {{=}} (''a'')}} に対し、その固有多項式は {{math2|''p''(''λ'') {{coloneqq}} ''λ'' &minus; ''a''}} であり、{{math2|1=''p''(''A'') = (''a'') &minus; ''a''&sdot;''I''{{sub|1}} = (0)}} は明らかである。

=== {{math|2}}次 ===
{{math|2}}次正方行列 <math>A=\begin{pmatrix}
a &b \\
c &d
\end{pmatrix}</math> に対しては、固有多項式は
:{{math2| ''p''(''λ'') {{coloneqq}} ''λ''{{sup|2}} &minus; (''a'' + ''d'')''λ'' + (''ad'' &minus; ''bc'')}}
となり、ケイリー・ハミルトンの定理の述べるところによれば
:<math>p(A)=A^2-(a+d)A+(ad-bc)I_2=\begin{pmatrix}
0 &0 \\
0 &0
\end{pmatrix}</math>
が成り立つはずであるが、これは実際に {{math|''A''{{sup|2}}}} の成分を具体的に書き出せば、確かに成り立っていることが確認できる。

== 短絡的な「証明」の誤りに関する注意 ==
この定理を証明するのに、固有多項式：
{{NumBlk|:::|<math>p(\lambda) = \det(\lambda I_n - A)</math>|{{equationRef|1}}}}
の {{mvar|λ}} を {{mvar|A}} に置き換えて
{{NumBlk|:::|<math>p(A)=\det(A I_n - A) = \det(A-A)=0</math>|{{equationRef|error}}}}
を得るとするのは、明らかに誤った論法である{{sfn|Garrett|2007|p=381}}{{sfn|佐武|1958|p=137|loc=注|ps=&mdash;「なお {{math2|1=''f{{sub|A}}''(''A'') = {{abs|''AE &minus; A''}} = 0}} で証明終！と早合点してはいけない．」}}。

この論法が誤りである理由は、第一に、上式 {{equationNote|error}} の左辺は {{mvar|n}}次正方行列、右辺はスカラーである {{math|0}} であり、（{{math2|1=''n'' = 1}} でない限り）不合理である。

第二に、({{equationNote|1}}) の右辺の {{mvar|λ}} はスカラーだからこそ行列式として意味をもつものであり、行列式の展開の前に {{mvar|λ}} を {{mvar|A}} に置き換えると意味をなさなくなる。

様子が分かるように具体的に {{math|2}}次の場合をとらえると、
:<math>p(\lambda) = \begin{vmatrix}
\lambda-a &-b \\
-c &\lambda-d
\end{vmatrix}</math>
の {{mvar|λ}} を <math>A=\begin{pmatrix}
a &b \\
c &d
\end{pmatrix}</math> に置き換えても、行列式としての意味をなさなくなることが分かる。

ただし、スカラーであるところをスカラー行列（単位行列のスカラー倍）で置き換えた[[区分行列]]
:<math>\begin{pmatrix} \begin{pmatrix}
a &b \\
c &d
\end{pmatrix} - aI_2 &-bI_2 \\
-cI_2 &\begin{pmatrix}
a &b \\
c &d
\end{pmatrix} - dI_2
\end{pmatrix}=\left(\begin{array}{cc|cc}
0 &b &-b &0 \\
c &d-a &0 &-b \\\hline
-c &0 &a-d &b \\
0 &-c &c &0
\end{array}\right)</math>
を考えるならば式としては有効で、この行列式は実際に {{math|0}} になるが、この行列が上記の論法で {{math|det}} の引数とした {{math|''AI{{sub|n}} &minus; A''}} でないことは明らかである。

あるいはまた、この論法が実際に成立していたと仮定した場合、それは行列式以外にもほかの任意の[[多重線型形式]]についても成立しないといけないことになる（つまり任意の線型写像は零ベクトルを零ベクトルに写すのだから、{{math2|1=''AI{{sub|n}} &minus; A'' = ''O''}}（零行列）は任意の多重線型形式で {{math|0}} に写る）。そのような多重線型形式として例えば[[パーマネント (数学)|パーマネント]] (permanent){{efn2|「天然（の）」という意味ではなく、permutation（置換）と determinant（行列式）を合成した[[カバン語]]のモジり。直訳的に合成すれば「置換式」。（テンソルの交代積に対する対称積のように、[[置換の符号]]を掛ける部分を取り除いて）行列式の反対称性を対称性で置き換えた対応物なので「対称的行列式」のように呼べるかもしれない。}}を使って {{math2|''q''(''λ'') {{coloneqq}} perm(''λ&sdot;I{{sub|n}} &minus; A'')}} とすれば、同じ論法で {{math2|1=''q''(''A'') = 0}} が証明されなければならないわけだが、それは見るからに誤りである。実例として {{math|2}}次の場合を書けば、<math>\operatorname{perm} \begin{pmatrix}
a &b \\
c &d
\end{pmatrix} = ad + bc</math> であるから、<math>q(\lambda) = \operatorname{perm} (\lambda I_2 - A) = \lambda^2 - (a+d)\lambda + (ad+bc)</math> であり、これに {{mvar|A}} を代入した
:<math>q(A)=A^2-(a+d)A+(ad+bc)I_2=\begin{pmatrix}
2bc &0 \\
0 &2bc
\end{pmatrix}</math> は一般には零でない。

ケイリー・ハミルトンの定理の証明の中には、数以外を成分とする行列を用いて、あたかも {{equationNote|error}} 式を用いた論法にある意味似た方法をとるものがあるが、その場合でも {{mvar|AI{{sub|n}}}} は {{mvar|A}} と等しくなく、結論も異なる所へ到達する。

== 応用 ==
{{mvar|n}}次正方行列の固有多項式：
:<math>p(t)=t^n+c_{n-1}t^{n-1}+\dots+c_1t+c_0</math>
において、{{mvar|i}}次の係数 {{mvar|c{{sub|i}}}} は {{mvar|A}} の固有値たちのなす {{math2|(''n &minus; i'')}}次[[対称式#基本対称式|基本対称式]]に等しい。特に、定数項（{{math|0}}次の係数）{{math|''c''{{sub|0}}}} は固有値の総乗ゆえそれは {{mvar|A}} の行列式 {{math|det''A''}} に等しい。

{{ill2|ニュートンの公式|en|Newton's identities}}を用いると、基本対称式は{{ill2|冪和対称式|en|power sum symmetric polynomial}}で書き表せるから、上記の {{mvar|c{{sub|i}}}} は固有値の冪和対称式 <math>s_k = \textstyle\sum\limits_{i=1}^n {\lambda_i}^k</math> たちで表されると分かるが、
:<math>s_k = \textstyle\sum\limits_{i=1}^n {\lambda_i}^k = \operatorname{tr} A^k</math>
である。したがって、{{mvar|c{{sub|i}}}} は {{mvar|A{{sup|k}}}} の[[跡 (線型代数学)|トレース]]たちで書き表せる。特に <math>c_{n-1} = \operatorname{tr}A</math> である。

=== 行列式の計算および逆行列 ===
{{See also|行列式#固有値との関係|固有多項式#性質}}
ケイリー・ハミルトンの定理により、一般の {{mvar|n}}次[[正則行列]] {{mvar|A}}（つまり {{mvar|A}} の行列式は {{math|0}} でない）に対し、その逆行列 {{math|''A''{{sup|&minus;1}}}} は {{mvar|A}} の {{math2|''n'' &minus; 1}}次以下の[[行列多項式]]で表せる。実際、
{{NumBlk|:::|<math>p(A)=A^n+c_{n-1}A^{n-1}+\cdots+c_1A+(-1)^n\det(A)I_n =O</math>|{{equationRef|&lowast;}}}}
式 ({{equationNote|&lowast;}}) において、定数項を移項すると
:<math>-(-1)^n \det(A) I_n = A(A^{n-1}+c_{n-1}A^{n-2}+\cdots+c_1I_n)</math>
両辺に {{math|''A''{{sup|&minus;1}}}} を掛けると
:<math>A^{-1} = \frac{(-1)^{n-1}}{\det A} (A^{n-1}+c_{n-1}A^{n-2}+\cdots+c_1I_n)</math>
を得る。

一般に、係数 {{mvar|c{{sub|i}}}} を与える公式が、完全指数型[[ベル多項式]]によって
:<math>c_{n-k} = \frac{(-1)^k}{k!} B_k(s_1, -1! s_2, 2! s_3, \cdots, (-1)^{k-1}(k-1)! s_k)</math>
と与えられる{{efn2|これら係数の陽な表示は
:<math>c_i = \sum_{ k_1,k_2,\cdots ,k_n}\prod_{l=1}^n \frac{(-1)^{k_l+1}}{l^{k_l} k_l!}\operatorname{tr}(A^l)^{k_l}</math>
で与えられる。ただし、和は {{math2|1={{sum|''l''{{=}}1|''n''}} ''l&sdot;k{{sub|l}}'' = ''n'' &minus; ''i''}} を満たす分割 {{math2|{{mset|''k{{sub|l}}'' ≥ 0}}}} 全体の成す集合上を亙る}}。特に {{mvar|A}} の行列式は {{math|''c''{{sub|0}}}} であるから、トレースを含む表示（{{ill2|トレース恒等式|en|trace identity}}）として
:<math>\det(A) = \frac{1}{n!} B_n(s_1, -1! s_2, 2! s_3, \cdots, (-1)^{n-1}(n-1)! s_n)</math>
と書ける。同様に、
:<math>A^{-1} = \frac{1}{\det A} \textstyle\sum\limits_{k=0}^{n-1} (-1)^{n+k-1} \dfrac{A^{n-k-1}}{k!} B_k(s_1, -1! s_2, 2! s_3, \cdots, (-1)^{k-1}(k-1)! s_k)</math>
なる表示もできる。

例えば、ベル多項式の最初の方は {{math2|1=''B''{{sub|0}} = 1, ''B''{{sub|1}}(''x''{{sub|1}}) = ''x''{{sub|1}}, ''B''{{sub|2}}(''x''{{sub|1}}, ''x''{{sub|2}}) = {{subsup|x|1|2}} + ''x''{{sub|2}}, ''B''{{sub|3}}(''x''{{sub|1}}, ''x''{{sub|2}}, ''x''{{sub|3}}) = {{subsup|x|1|3}} + 3''x''{{sub|1}}''x''{{sub|2}} + ''x''{{sub|3}}, …}} であるから、これらを用いて {{math|2}}次の場合の固有多項式の係数 {{mvar|c{{sub|i}}}} を具体的に計算すれば
:<math>\begin{align}
 &c_2 = B_0 = 1,\quad c_1 =  \frac{-1}{1!} B_1(s_1) = - s_1 = - \operatorname{tr}(A) \\
 &c_0 = \frac{1}{2!} B_2(s_1, -1! s_2) = \frac{1}{2}(s_1^2 - s_2) = \frac{1}{2}((\operatorname{tr}(A))^2 - \operatorname{tr}(A^2))
\end{align}</math>
などとなる。ここで、{{math|''c''{{sub|0}}}} は行列式であるから、この場合の逆行列を
:<math>A^{-1} = \frac{-1}{\det A}(A + c_1 I_2) = \frac{-2(A - \operatorname{tr}(A) I_2)}{(\operatorname{tr}(A))^2 - \operatorname{tr}(A^2)}</math>
と計算することができる。

;注
:ここで出てきた式 {{math2|{{sfrac|1|2}}((tr''A''){{sup|2}} − tr(''A''{{sup|2}}))}} は、{{mvar|c{{sub|n&minus;k}}}} に対する（ベル多項式を用いた）一般式から出たものだから、{{mvar|n}}次正方行列に対してもこれは常に {{math|''λ''{{sup|''n''&minus;2}}}} の係数 {{math|''c''{{sub|''n''&minus;2}}}} を与えるものとなっていることが一見して分かる。ゆえに特に、{{math|3}}次正方行列 {{mvar|A}} に対するケイリー・ハミルトンの定理の主張を
:<math>A^3- (\operatorname{tr}A)A^2+\frac{1}{2}((\operatorname{tr}A)^2-\operatorname{tr}(A^2))A-\det(A)I_3=O</math>
と書くことができる。同様に {{math2|''n'' = 3}} の場合の行列式は今度は
:<math>\begin{align}
\det(A) &= \frac{1}{3!} B_3(s_1, -1! s_2, 2! s_3) =  \frac{1}{6}(s_1^3 + 3 s_1 (-s_2) + 2 s_3) \\
 &= \tfrac{1}{6}((\operatorname{tr}A)^3-3\operatorname{tr}(A^2)(\operatorname{tr}A)+2\operatorname{tr}(A^3))
\end{align}</math>
と書けるが、これはそのまま一般の場合の {{math|''λ''{{sup|''n''&minus;3}}}} の係数 {{math|''c''{{sub|''n''&minus;3}}}} を表す式として理解できる。ゆえにさらにこれを用いて {{math|4}}次正方行列 {{mvar|A}} に対する定理の主張は
:<math>A^4-(\operatorname{tr}A)A^3 + \tfrac{1}{2}\bigl((\operatorname{tr}A)^2-\operatorname{tr}(A^2)\bigr)A^2 - \tfrac{1}{6}\bigl( (\operatorname{tr}A)^3-3\operatorname{tr}(A^2)(\operatorname{tr}A)+2\operatorname{tr}(A^3)\bigr)A + \det(A)I_4 = O</math>
と書けるし、この場合の行列式
:<math>\tfrac{1}{24}((\operatorname{tr}A)^4-6 \operatorname{tr}(A^2)(\operatorname{tr}A)^2+3(\operatorname{tr}(A^2))^2+8\operatorname{tr}(A^3)\operatorname{tr}(A) -6\operatorname{tr}(A^4))</math>
は {{math|''c''{{sub|''n''&minus;4}}}} を表す式に他ならない。以下より大きな次数の行列に対しても帰納的に同様の話を適用することができる。

係数 {{mvar|c{{sub|k}}}} に対するもっと複雑な表示が、{{ill2|ニュートンの公式|en|Newton's identities}}や{{ill2|ファデーエフ&ndash;ルヴェリエのアルゴリズム|en|Faddeev-LeVerrier algorithm}}などから導ける。係数 {{mvar|c{{sub|k}}}} を求める別の方法として、一般の {{mvar|n}}次正方行列でどの根も {{math|0}} でないものと仮定すれば、[[行列指数関数#行列の指数関数の行列式|指数函数を用いた行列式の別表示]]
:<math>p(\lambda)= \det (\lambda I_n -A) = \lambda^n \exp (\operatorname{tr} (\log (I_n - A/\lambda)))</math>
を用いたアルゴリズムがある。[[メルカトル級数]]を用いて書けば
:<math>p(\lambda)= \lambda^n \exp\!\bigg( -\operatorname{tr} \textstyle\sum\limits_{m=1}^\infty \dfrac{(\frac{A}{\lambda})^m}{m} \biggr)</math>
であるが、{{math2|''p''(''λ'')}} は {{mvar|n}}次だから、この指数函数部分は {{math|''λ''{{sup|&minus;''n''}}}} のオーダーまで展開するだけでよい。{{mvar|λ}} の最後の負冪はケイリー・ハミルトンの定理により自動的に消える（再度、これには係数環が有理数体を含むことが必要である）。{{mvar|λ}} に対する係数たちが完全ベル多項式によって直接的に書けることは、この級数表示とベル多項式の母函数を比べれば分かる。この表示を {{mvar|λ}} に関して微分することで、一般の {{mvar|n}} に対する固有多項式の一般係数を {{mvar|m}}次行列式
:<math>c_{n-m} = \frac{(-1)^m}{m!} \begin{vmatrix}
\operatorname{tr}A &m-1 &0 &\cdots \\
\operatorname{tr}A^2 &\operatorname{tr}A &m-2 &\cdots \\
\vdots &\vdots & & & \vdots \\
\operatorname{tr} A^{m-1} &\operatorname{tr} A^{m-2}& \cdots &\cdots &1 \\
\operatorname{tr} A^m &\operatorname{tr} A^{m-1} &\cdots &\cdots &\operatorname{tr} A
\end{vmatrix}</math> として求めることができる{{efn2|例えば（[[ヤコビの公式]]を解いている）{{harv|Brown|1994|p=54}} などを見よ：
:<math>\partial p(\lambda)/\partial\lambda = p(\lambda)\sum^\infty_{m=0}\lambda^{-(m+1)}\operatorname{tr} A^m = p(\lambda)\operatorname{tr}\frac{I}{\lambda I -A}\equiv\operatorname{tr}B,</math>
ただし {{mvar|B}} は[[#代数的な直截証明|後で述べる]]随伴行列である。これと同値な、再帰的に関係したアルゴリズムを[[ユルバン・ルヴェリエ]]と{{ill2|ドミトリー・ファデーエフ|en|Dmitry Konstantinovich Faddeev}}が導入した。その{{ill2|ファデーエフ&ndash;ルヴェリエアルゴリズム|en|Faddeev-LeVerrier algorithm}}からは
:<math>\begin{align}
M_0 &\equiv O, & c_n &= 1\quad &(k&=0) \\
M_k &\equiv AM_{k-1} -\frac{1}{k-1} (\operatorname{tr}(AM_{k-1}))I, &c_{n-k} &= -\frac{1}{k} \operatorname{tr}(AM_k) & (k&=1,\cdots,n)
\end{align}</math> が導かれる（例えば {{harvnb|Gantmacher|1960|p=88}} を見よ）。{{math2|''A''{{sup|&minus;1}} = &minus;''M{{sub|n}}''/''c''{{sub|0}}}} が再帰の終端となる。あとで述べる代数的証明では、件の随伴行列 {{math2|''B{{sub|k}}'' ≡ ''M{{sub|n&minus;k}}''}} の満たす性質に依拠している。具体的には <math>(\lambda I-A)B = Ip(\lambda)</math> および上記の {{mvar|p}} の微分を追跡すれば <math>\lambda p' -n p =\operatorname{tr} (AB)</math> を得{{sfn|Hou|1998}}、上記の再帰手続きが順に繰り返される。}}。

=== 高次の冪の計算 ===
ケイリー・ハミルトンの定理は {{mvar|A}} の冪の間に成り立つ（最も
とは限らないが）関係を記述するものであるから、それにより {{mvar|A}} の十分大きな指数の冪を含む式の計算において、式を簡単化して {{mvar|A}} の（{{mvar|n}} 以上の指数が大きな）冪を直接計算することなく値を評価することができるようになる。

例えば二次の場合に、<math>A = \begin{pmatrix}
a &b \\
c &d
\end{pmatrix}</math> とすれば定理より
:<math>A^2=\color{red}\operatorname{tr}(A)A-\det(A)I_2</math>
だから、{{math|''A''{{sup|4}}}} を計算したければ、順に
:<math>\begin{align}
 A^3 &=(\operatorname{tr}(A)A-\det(A)I_2)A
     =\operatorname{tr}(A)(\color{red}\operatorname{tr}(A)A-\det(A)I_2\color{black})-\det(A)A
     =\color{green}{(\operatorname{tr}(A)^2-\det(A))A - \operatorname{tr}(A)\det(A)I_2}\\[5pt]
 A^4&=(\color{green}(\operatorname{tr}(A)^2-\det(A))A - \operatorname{tr}(A)\det(A)I_2\color{black})A 
     =(\operatorname{tr}(A)^2-\det(A))(\color{red}\operatorname{tr}(A)A-\det(A)I_2\color{black}) - \operatorname{tr}(A)\det(A)A \\
    &=(\operatorname{tr}(A)^3 - 2\operatorname{tr}(A)\det(A))A - (\operatorname{tr}(A)^2\det(A)-\det(A)^2)I_2  
\end{align}</math> のように次数の低い多項式表示に帰着される。同様に
:<math>A^{-1}=-\frac{A-\operatorname{tr}(A)I_2}{\det(A)}.</math>

二次の場合には二つの項の和で書けるということが上での計算から分かる。事実として、任意の {{mvar|k}}-乗がその正方行列の次数 {{mvar|n}} に対して次数高々 {{math2|''n'' &minus; 1}} の多項式として書き表せる。これは定理を行列函数の表示に利用できることの一つの実例であり、次の節でより系統的に述べる。

=== 行列函数を多項式に帰着する ===
解析函数が収束冪級数として
:<math>f(x)=\textstyle\sum\limits_{k=0}^\infty a_k x^k</math>
と与えられ、{{mvar|n}}次正方行列 {{mvar|A}} の固有多項式を {{math2|''p''(''x'')}} と書くとき、上記の冪級数を十分大きな {{mvar|k}} で打ち切った多項式に対する[[ユークリッド除法|剰余付きの除法]]を考えれば、
:<math>f(x) = q(x) p(x) + r(x)</math>
で「剰余」多項式 {{math2|''r''(''x'')}} が {{math2|0 ≤ deg ''r''(''x'') < ''n''}} となる「商」解析函数 {{math2|''q''(''x'')}} とともに一意的に決まる。{{mvar|x}} を行列 {{mvar|A}} に置き換えれば、ケイリー・ハミルトンの定理により {{math2|1=''p''(''A'') = ''O''}} だから、ある種の[[剰余の定理]]：
:<math>f(A) = r(A)</math>
が成り立つ。ゆえに、行列変数の解析函数は各行列 {{mvar|A}} ごとに {{mvar|n}} 次以下の行列多項式として書き表される。

上記除算の剰余を <math>r(x) := c_0 + c_1 x + \cdots + c_{n-1} x^{n-1}</math> と書けば、{{mvar|A}} の固有値 {{mvar|λ}} において評価するとき {{math2|1=''p''(''λ'') = 0}} となるから、各固有値に関して等式
:<math>f(\lambda_i) = r(\lambda_i) = c_0 + c_1 \lambda_i + \cdots + c_{n-1} \lambda_i^{n-1} \qquad(\forall i=1,2,\cdots,n)</math>
を作ることができる。これは {{mvar|n}}個の線型方程式系になっているから、解くことで係数 {{mvar|c{{sub|i}}}} を決定することができて、
:<math>f(A) = \textstyle\sum\limits_{k=0}^{n-1} c_k A^k</math>
が決まる。

固有値が重複を持つ場合、つまり適当な {{math2|''i'' ≠ ''j''}} に対して {{math2|1=''λ{{sub|i}} = λ{{sub|j}}''}} となるものが存在するとき、上記の方程式系は少なくとも2つの方程式が一致してしまうから、それにより方程式系を一意に解くことができない。そのような場合には、固有値 {{mvar|λ}} の重複度が {{mvar|m}} とすれば、{{math2|''p''(''x'')}} の {{math2|''m'' &minus; 1}} 階までの導函数がその固有値において消えるから、線型独立な方程式
:<math>\frac{d^k f(x)}{\mathit{dx}^k} \Big|_{x=\lambda} = \frac{d^k r(x)}{\mathit{dx}^k} \Big|_{x=\lambda}\qquad (\forall k=1,2,\cdots,m-1)</math>
を新たに {{math2|''m'' &minus; 1}} 本追加して、係数 {{mvar|c{{sub|i}}}} を決めるのに必要な {{mvar|n}} 個の方程式系を得ることができる。

全ての点 {{math2|(''λ{{sub|i}}'', ''f''(''λ{{sub|i}}''))}} を通る多項式を求めることは本質的に[[多項式補間|補間問題]]であり、[[ラグランジュ補間]]や[[ニュートン補間]]法を用いて解くことができ、{{ill2|シルベスターの公式|en|Sylvester's formula|preserve=1}}が導かれる。
;例1
:例として、
::<math>f(A) = e^{At} \qquad(A = \begin{pmatrix}
1 &2 \\
0 &3
\end{pmatrix})</math>
:の多項式表現を求めよう。{{mvar|A}} の固有多項式は {{math2|1=''p''(''x'') = ''x''{{sup|2}} &minus; 4''x'' + 3}}, 固有値は {{math2|1=''λ'' = 1, 3}} である。剰余を {{math2|1=''r''(''x'') = ''c''{{sub|0}} + ''c''{{sub|1}}''x''}} と置き、固有値における値 {{math2|1=''f''(''λ'') = ''r''(''λ'')}} を評価して、線型方程式系
::{{math2|1=''e{{sup|t}}'' = ''c''{{sub|0}} + ''c''{{sub|1}}}},
::{{math2|1=''e''{{sup|3''t''}} = ''c''{{sub|0}} + 3''c''{{sub|1}}}}
:を得る。これを解けば
::{{math2|1=''c''{{sub|0}} = (3''e{{sup|t}}'' &minus; ''e''{{sup|3''t''}})/2, ''c''{{sub|1}} = (''e''{{sup|3''t''}} &minus; ''e{{sup|t}}'')/2}}
:を得るから、
::<math>e^{At} = c_0 I_2 + c_1 A = \begin{pmatrix}
e^t &e^{3t} - e^t \\
0   &e^{3t}
\end{pmatrix}</math>
:となる。函数を {{math2|1=''g''(''A'') = sin(''At'')}} に変えれば、係数は {{math2|1=''c''{{sub|0}} = (3sin(''t'') &minus; sin(3''t''))/2}} および {{math2|1=''c''{{sub|1}} = (sin(3''t'') &minus; sin(''t''))/2}} となるから
::<math>\sin(At) = \begin{pmatrix}
\sin t &\sin 3t - \sin t \\
0      &\sin 3t
\end{pmatrix}</math>
:と求まる。

;例2
:同様にして、
::<math>f(A) = e^{At} \qquad(A = \begin{pmatrix}
0  &1 \\
-1 &0
\end{pmatrix})</math>
:を考える。{{mvar|A}} の固有多項式は {{math2|1=''p''(''x'') = ''x''{{sup|2}} + 1}}, 固有値は {{math2|1=''λ'' = ±''i''}} である。先と同様に、固有値における値に関する連立方程式
::{{math2|1=''e{{sup|it}}'' = ''c''{{sub|0}} + ''ic''{{sub|1}}}},
::{{math2|1=''e{{sup|−it}}'' = ''c''{{sub|0}} &minus; ''ic''{{sub|1}}}}
:を解いて、
::{{math2|1=''c''{{sub|0}} = (''e{{sup|it}}'' + ''e{{sup|−it}}'')/2 = cos(''t''), ''c''{{sub|1}} = (''e{{sup|it}} &minus; e{{sup|&minus;it}}'')/2''i'' = sin(''t'')}}
:を得る。この場合の
:<math>e^{At} = (\cos t)I_2 + (\sin t)A = \begin{pmatrix}
\cos t  &\sin t \\
-\sin t &\cos t
\end{pmatrix}</math>
:は[[回転行列]]である。

このような利用法の標準的な例は、{{ill2|行列リー群|en|matrix Lie group}}への付随する[[リー環]]からの[[指数写像 (リー理論)|指数写像]]である。これは[[行列指数関数]] <math>\exp\colon \mathfrak g \to G;</math>
:<math>tX \mapsto e^{tX} = \textstyle\sum\limits_{n=0}^\infty \dfrac{t^nX^n}{n!} = I + tX + \dfrac{t^2X^2}{2} + \cdots \qquad(t \in \mathbb{R}, X \in \mathfrak{g})</math>
として与えられる。その多項式表示は {{math2|SU(2)}} に対しては古くから知られており、[[パウリ行列]] {{mvar|σ}} を用いて
:<math>e^{i(\theta/2)(\hat n \cdot \sigma)} = I_2 \cos \theta/2 + i(\hat n \cdot \sigma) \sin \theta/2</math>
と書ける。{{math2|SO(3)}} も同様で
:<math>e^{i\theta(\hat n \cdot \mathbf J)} = I_3 +  i(\hat n \cdot \mathbf J) \sin \theta + (\hat n \cdot \mathbf J)^2 (\cos \theta - 1)</math>
と書ける（これは[[ロドリゲスの回転公式]]である）。記法については{{enlink|rotation group SO(3)#A note on Lie algebra}}を見よ。

後に下れば、ほかの群に対する表示も知られており、例えば[[ローレンツ群]] {{math2|SO(3, 1)}}{{sfn|Zeni|Rodrigues|1992}}, {{math2|O(4, 2)}}{{sfn|Barut|Zeni|Laufer|1994a}}, {{math2|SU(2, 2)}}{{sfn|Barut|Zeni|Laufer|1994b}}, {{math2|GL(''n'', '''R''')}}{{sfn|Laufer|1997}}など。ここに {{math2|O(4, 2)}} は[[時空]]の{{ill2|共形群|en|conformal group}} で {{math2|SU(2, 2)}} はその[[単連結]]被覆（より精確には、{{math2|O(4, 2)}} の[[連結成分]] {{math2|SO{{sup|+}}(4, 2)}} の単連結被覆）である。得られた多項式表示は、これら群の標準表現 (standard representation) に適用される。行列の冪を計算するために固有値に関するある種の知識が必要である。{{math2|SU(2)}} の（したがって {{math2|SO(3)}}) の）閉じた式は、近年にはすべての既約表現（例えば任意の {{math2|spin}}）に対して得られている{{sfn|Curtright|Fairlie|Zachos|2014}}。
[[画像:GeorgFrobenius.jpg|220px|thumb|[[フェルディナント・ゲオルク・フロベニウス]] (1849-1917) はドイツの数学者。主な興味は[[楕円函数]]、[[微分方程式]]、のちに[[群論]]。<br />1878年、フロベニウスがケイリー・ハミルトンの定理の完全な証明を初めて与えた{{sfn|Frobenius|1878}}。]]

=== 代数的数論 ===
代数的整数の[[最小多項式 (体論)|最小多項式]]の計算においてもケイリー・ハミルトンの定理は有用である。例えば、{{mathbf|Q}} の有限次拡大 {{math2|'''Q'''[''α''{{sub|1}}, …, ''α{{sub|k}}'']}} とその代数的整数 {{mvar|α}}（これは添加された元の冪積 {{math2|{{subsup|α|1|''n''{{sub|1}}}}…{{subsup|α|''k''|''n{{sub|k}}''}}}} の非自明な {{mathbf|Q}}-線型結合に書ける）が与えられたとき、{{mvar|α}} を掛けるという {{mathbf|Q}}-線型変換
:<math>\cdot \alpha \colon \mathbb{Q}[\alpha_1,\cdots,\alpha_k] \to \mathbb{Q}[\alpha_1,\cdots,\alpha_k]</math>
の表現行列を {{mvar|A}} と書けば、{{mvar|A}} にケイリー・ハミルトンの定理を適用することにより {{mvar|α}} の最小多項式が求まる<ref>{{Cite book|last1=Stein|first1=William|title=Algebraic Number Theory, a Computational Approach|page=29|url=http://wstein.org/books/ant/ant.pdf|format=PDF}}</ref>。

== 一般の証明 ==
一般次数の {{mvar|n}}次正方行列 <math>A=(a_{ij})_{i,j=1}^n</math> についてのケイリー・ハミルトンの定理の証明には、いくつかの方法がある。

=== 三角化による証明 ===
文献<ref>{{Cite book|和書 |title=線型代数演習 |series=基礎数学4 |date=1985-03-25 |author=[[斎藤正彦]] |publisher=[[東京大学出版会]] |isbn=978-4130620253 |pages=27,88}}</ref>に掲載されている方法による。

{{mvar|A}} の固有多項式を <math>p_A (t) = \det(t I_n - A)</math>, 固有値を {{math2|''λ''{{sub|1}}, …, ''λ{{sub|n}}''}} とする。
:<math>p_A (t)=(t- \lambda_1 ) \cdots (t- \lambda_n )</math>
{{mvar|A}} を上三角化した行列を {{mvar|B}} とする。このとき対角成分に固有値 {{math2|''λ''{{sub|1}}, …, ''λ{{sub|n}}''}} が並ぶ：
:<math>B:= P^{-1}AP = \begin{pmatrix}
\lambda_1 & & &* & \\
& \lambda_2 & & & \\
& &\lambda_3 & & \\
& & &\ddots & \\
& & & &\lambda_n
\end{pmatrix}</math>

:<math>\begin{align} p_A (A)
 &= (A- \lambda_1 I) \cdots (A- \lambda_n I) \\
 &= (PBP^{-1}- \lambda_1 I) \cdots (PBP^{-1}- \lambda_n I) \\
 &= P\{(B- \lambda_1 I) \cdots (B- \lambda_n I)\}P^{-1} \ \cdots \ (1) \\
\end{align}</math>
ここで <math>p_B (B)=(B- \lambda_1 I) \cdots (B- \lambda_n I)</math> を計算する。

<math>C_k :=B- \lambda_k I\ (k=1,2, \cdots ,n)</math> とおく。{{mvar|C{{sub|k}}}} は上三角行列で、{{math2|(''k'', ''k'')}} 成分は {{math|0}} である。

<math>C_1 C_2</math> を計算すると、
:<math>\left(\begin{array}{c|c|cc}
0 &* &\cdots &* \\\hline
  &* &\cdots &* \\\hline
  &  &\ddots &\vdots \\
  &  &       &*
\end{array}\right) \left(\begin{array}{c|c|cc}
* &* &\cdots &* \\\hline
  &0 &\cdots &* \\\hline
  &  &\ddots &\vdots \\
  &  &       &*
\end{array}\right)=\left(\begin{array}{c|c|cc}
0 &0 &\cdots &* \\\hline
  &0 &\cdots &* \\\hline
  &  &\ddots &\vdots \\
  &  &       &*
\end{array}\right)</math>
故に、第2列までは成分が全て {{math|0}} になる。同様にして、帰納的に、<math>C_k</math> を掛けると、第{{mvar|k}}列までの成分は全て {{math|0}} になる。これを {{mvar|n}}番目まで繰り返すことにより
:<math>C_1 \cdots C_n =O</math>
故に (1) は
:<math>P(C_1 \cdots C_n)P^{-1}=O</math>（証明終）

=== 単因子による証明 ===
[[単因子]]論を用いると、簡単に導出できる。ただし、単因子標準形の存在・一意性の証明にはかなりの工程を要する<ref name="nyuumon"/>。

文献<ref name="nyuumon">{{Cite book|和書 |title=線型代数入門 |series=基礎数学1 |date=1966-03-31 |author=[[斎藤正彦]] |publisher=[[東京大学出版会]] |isbn=978-4130620017}}</ref>に掲載されている方法による。

{{math2|''xI'' &minus; ''A''}} の単因子標準形は、<math>\deg \det(xI-A)=n</math> より、
:<math>P(x)(xI-A)Q(x)=\begin{pmatrix}
e_1(x) & & \\
 &\ddots & \\
 & &e_n(x) \\
\end{pmatrix}</math>
の形となる。ここで、{{math2|''e{{sub|k}}''(''x'')}} は[[モニック多項式]]、{{math2|''e''{{sub|''k''&minus;1}}(''x'') {{!}} ''e{{sub|k}}''(''x'')}}（つまり {{math2|''e{{sub|k}}''(''x'')}} は {{math2|''e''{{sub|''k''&minus;1}}(''x'')}} で割り切れる）である。 

単因子論で知られている結果として、最後の単因子 {{math2|''e{{sub|n}}''(''x'')}} は {{mvar|A}} の[[最小多項式 (線型代数学)|最小多項式]] {{math2|''φ{{sub|A}}''(''x'')}} に等しい。
:<math>\begin{align}
p_A(x) &=\det(xI-A) \\
 &=\det P(x)^{-1} \sdot (e_1(x) \cdots e_{n-1}(x) \phi_A(x)) \sdot \det Q(x)^{-1}
\end{align}</math>
故に固有多項式 {{math2|''p{{sub|A}}''(''x'')}} は最小多項式 {{math2|''φ{{sub|A}}''(''x'')}} で割り切れると分かる。故に {{math2|''p''(''A'') {{=}} ''O''}}（証明終）

=== 余因子行列による証明 ===
{{mvar|A}} の固有多項式を定義する行列 {{mvar|tI{{sub|n}} &minus; A}} は[[多項式行列]]である。多項式全体は可換環をなすから、この行列の[[余因子行列]]
:<math>B(t):=\operatorname{adj}(tI_n-A)</math>
が存在して、基本関係式により
{{NumBlk|:::|<math>(t I_n - A)B(t) = \det(t I_n - A) I_n = p(t) I_n</math>|{{equationRef|1}}}}
が成り立つ。

この {{math2|''B''(''t'')}} もまた {{mvar|t}} を変数とする多項式行列であるから、各 {{mvar|i}} に対して行列の各成分から {{mvar|t{{sup|i}}}} の項だけを取り出してまとめたものを係数行列 {{mvar|B{{sub|i}}}} として、
{{NumBlk|:::|<math>B(t) = \textstyle\sum\limits_{i=0}^{n-1} t^i B_i</math>|{{equationRef|B}}}}
と書き直すことができる（{{math2|''B''(''t'')}} の定義の仕方から、{{math2|''t''{{sup|''n''&minus;1}}}} より高次の冪は現れないことに注意）。これは、多項式行列を、「行列を係数とする多項式」（定数成分行列の線型結合）で表す便法である（それを強調するために {{mvar|t{{sup|i}}}} は係数として左側に書いている）。

さて等式 {{equationNote|1}} を積の双線型性により展開すれば
:<math>\begin{align}
 p(t)I_n &= tB(t) - AB(t) \\
 &=\textstyle\sum\limits_{i=0}^{n-1} t^{i+1} B_i- \sum\limits_{i=0}^{n-1} t^i AB_i \\
 &=t^n B_{n-1} + \textstyle\sum\limits_{i=1}^{n-1} t^i(B_{i-1} - AB_i) - AB_0 \\
 &=: t^n I_n + t^{n-1}c_{n-1}I_n + \cdots + tc_1 I_n + c_0 I_n
\end{align}</math>
の形に書ける（これは {{mvar|t}} を変数とする2つの多項式行列の間の等式である）。この等式が成り立つのは、各 {{mvar|i}} について、{{mvar|t{{sup|i}}}} を係数とする定数成分行列がそれぞれ等しくなるときである。このような{{ill2|係数比較|en|quating coeficient}} により、
:<math>\begin{align}
  &B_{n-1} = I_n, \\
  &B_{i-1} - AB_i = c_i I_n \qquad (i=1, \cdots, n-1),\\
  &-A B_0 = c_0 I_n
\end{align}</math>
を得る。これにそれぞれ（比較に用いた {{mvar|t{{sup|i}}}} に応じて）{{mvar|A{{sup|i}}}} を掛けて足し合わせた
:<math>\begin{align}
 p(A) &= A^n +c_{n-1}A^{n-1} +\cdots +c_1A +c_0I_n \\
 &= A^n B_{n-1} + \textstyle\sum\limits_{i=1}^{n-1} \left( A^i B_{i-1} - A^{i+1}B_i \right) - AB_0
\end{align}</math>
は[[畳み込み級数|畳み込み和]]として全ての項が打ち消し合うから、{{math2|1=''p''(''A'') = ''O''}} となる。（証明終）

=== 行列係数の多項式を用いた証明 ===
{{See also|多項式行列}}
まず、前節の証明に現れる式によって示唆される「行列係数の多項式」という概念について正当化しておく。これには非可換環係数の多項式というある意味普通ではないものを考えることになるので、入念に注意を払う必要が出てくる。通常の多項式で正当化されることが、今の定では適用できないということが多々起こる{{efn2|name="佐武"|{{harv|佐武|1958|p=137|loc=注意}}によれば、「行列係数の多項式に関して乗法の交換の法則は一般には成立しないが、それ以外（加減乗の演算に関する限り）通常の多項式と全く同様に取り扱うことができる．また行列係数の多項式の間の等式には，それら係数行列のすべてと交換可能な行列を代入することができる．（係数行列と非可換な行列は代入することができない．）行列係数の多項式に関して整除の問題は複雑である」とある。}}。

著しい点として、通常の可換環係数の多項式に対する算術は、多項式を[[多項式函数]]と同一視して函数としての（[[点ごと]]の）演算を雛形とすることができるが、非可換環係数ではそれは可能ではない（実は、非可換環上での場合には、乗法のもとで[[閉性質|閉じる]]多項式函数の明らかな概念は存在しない）。それゆえ、行列係数の変数 {{mvar|t}} に関する多項式を考えるときには、変数 {{mvar|t}} は係数環の任意の値を取りうる「[[未知数]]」と考えてはいけなくて、いくつかの決まったルールに従う形式的な記号としての「[[不定元]]」として扱うべきである。特に {{mvar|t}} に特定の値を代入しようというのは危険である{{efn2|name="佐武"}}。
:<math>(f+g)(x) = \sum_i \left (f_i+g_i \right )x^i = \sum_i f_i x^i + \sum_i g_i x^i = f(x) + g(x)</math>
適当な環 {{mvar|R}}（例えば実数体 {{mathbf|R}} や複素数体 {{mathbf|C}}）に成分を持つ {{mvar|n}}次正方[[行列環]]を {{math2|''M''(''n'', ''R'')}} と書き、その一つの元として行列 {{mvar|A}} をとる。{{mvar|t}} に関する多項式を係数として持つ行列、例えば {{math2|''tI{{sub|n}} &minus; A''}} やその余因子行列（の転置行列）{{mvar|B}} なとは {{math2|''M''(''n'', ''R''[''t''])}} の元である。{{mvar|t}} の同じ次数の冪を含む項をまとめることにより、{{math2|''M''(''n'', ''R''[''t''])}} に属する行列を {{mvar|t}} を変数とする行列係数の「多項式」の形に書き表すことができる。行列係数の多項式全体の成す集合を {{math2|''M''(''n'', ''R'')[''t'']}} と書けば、{{math2|''M''(''n'', ''R'')[''t'']}} と {{math2|''M''(''n'', ''R''[''t''])}} との間に[[全単射|一対一対応]]が存在するから、それにより対応する算術演算を定義することができる。特に乗法は
:<math>\left( \sum M_i t^i \right) \left( \sum N_j t^j \right) =\sum_{i,j} (M_i N_j) t^{i+j}</math>
で与えられる。これは明らかに非可換な乗法である（特に右辺の係数における積の順番は、左辺の対応する因子の現れる順番を反映するようにしなければならない）{{efn2|name="佐武"}}。

この設定で、等式 <math>(t I_n - A)B = p(t) I_n</math> は {{math2|''M''(''n'', ''R'')[''t'']}} の元の間の乗法を含む式と見なすことができる。この時点で、単に {{mvar|t}} が行列 {{mvar|A}} に等しいとおく誘惑にかられそうになる（そうすれば左辺は零行列で右辺は {{math2|''p''(''A'')}} になるから）が、これは係数が可換でないときには許されない操作である{{efn2|name="佐武"}}。それでも非可換環 {{mathbf|M}} 上で「右評価写像」{{math2|ev{{sub|''A''}}: '''M'''[''t''] → '''M'''}} は定義できる（これは各 {{mvar|t{{sup|i}}}} を {{mvar|A}} の冪 {{mvar|A{{sup|i}}}} で置き換えるが、この冪は常に対応する係数の右から掛けるものと約束するものである）。ただしこれは環準同型にならない（積の右評価写像の値は右評価写像の積とは一般には異なる）から、行列係数多項式の乗法が {{mvar|t}} を係数環に属する未知数と見ての乗法を雛形としたものでないことが確認できる（積 {{math2|1=''Mt{{sup|i}}&sdot;Nt{{sup|j}}'' = (''MN'')''t{{sup|i+j}}''}} は変数 {{mvar|t}} は常に {{mvar|N}} と可換と仮定することで定義できるが、これは {{mvar|t}} を行列 {{mvar|A}} で置き換えるときには常には期待できない。ただし、手近な特定の状況を想定する場合にはこの問題をうまく回避できることもある（たとえば、上記の右評価写像は行列 {{mvar|A}} が係数[[環の中心]]に属している場合には（どの多項式でもすべての係数と {{mvar|A}} は可換になるから）環準同型になる）。

ケイリー・ハミルトンの定理の証明では {{mathbf|M}} を行列環全体と考えるならば {{mvar|A}} は必ずしも中心に属するわけではないけれども、{{mathbf|M}} としてより小さい環（証明に現れるすべての多項式の係数すべてを含んでいるようなもの）に取り換えて、その中の元すべてが {{mvar|A}} と可換になるようにするという手段をとることはできる。明らかに、{{mvar|A}} と可換な行列全体として与えられる部分環（すなわち {{mvar|A}} の中心化環）{{mvar|Z}} はそのような部分環の候補になる（定義により、{{mvar|A}} は {{mvar|Z}} の中心元である）。この中心化環が {{mvar|I{{sub|n}}}} および {{mvar|A}} を含んでいることは明らかだが、{{math2|''tI{{sub|n}} &minus; A''}} の余因子行列の転置 (adjugate matrix) {{mvar|B}} に現れる {{mvar|t{{sup|i}}}} の係数 {{mvar|B{{sub|i}}}} を含むことも示せる。実際、余因子行列の転置の基本関係として
:<math>B(t I_n - A) = (tI_n - A)B</math>
が成り立つが、これに {{math2|1=''B'' = {{sum|''i''{{=}} 0|''m''}} ''B{{sub|i}}&sdot;t{{sup|i}}''}} を代入して整理すれば
:<math>\sum_{i=0}^m B_i A t^i = \sum_{i=0}^m A B_i t^i</math>
が残る。各 {{mvar|i}} に対して{{ill2|係数比較|en|Equating the coefficients}}を行うことにより、所期の式 {{math2|1=''AB{{sub|i}}'' = ''B{{sub|i}}A''}} が得られる。

このように実際に {{math2|ev{{sub|''A''}}}} が環準同型となる適切な設定の下が求められたからには、定理の証明は
:<math>\begin{align}
 \operatorname{ev}_A\bigl(p(t)I_n\bigr) &= \operatorname{ev}_A((tI_n-A)B) \\
  p(A)&= \operatorname{ev}_A(tI_n - A)\cdot \operatorname{ev}_A(B) \\
  p(A) &= (AI_n-A) \cdot \operatorname{ev}_A(B) = O\cdot\operatorname{ev}_A(B)=O
\end{align}</math> として完成する。

=== 2つの証明の折衷 ===
余因子行列の証明において、{{mvar|B}} の係数 {{mvar|B{{sub|i}}}} は随伴行列の基本関係式の右辺だけに基づいて決定することができる。実は導かれた最初の {{mvar|n}} 本の式は、多項式 {{math2|''p''(''t'')''I{{sub|n}}''}} を[[モニック多項式]] {{math2|''I{{sub|n}}t'' &minus; ''A''}} で[[ユークリッド除法|除した]]商 {{mvar|B}} を決定するものと解釈することができ、また最後の式はその除した剰余が零であるという事実を表すと解釈できる。この割り算は行列係数多項式の環において行われる。実際、非可換環係数の場合においてさえも、モニック多項式 {{mvar|P}} によるユークリッド除法（余り付き除算）は定義され、通常（可換環上）と同様に次数に関する条件を満たす商と剰余が常に一意的に取り出される（ここで {{mvar|P}} がどちら側因子であるかは決まっていることが前提である。今の場合は左因子である）。
; 注: ここでの主張において重要な点である「商と剰余が一意であること」を見るには、2通りの表示 {{math2|1=''PQ'' + ''r'' = ''PQ&prime;'' + ''r&prime;''}} があったとしてそれを {{math2|1=''P''(''Q &minus; Q&prime;'') = ''r&prime; &minus; r''}} の形に書けば十分である。実際、{{mvar|P}} はモニック（最高次係数 1）であるから {{math2|''P''(''Q &minus; Q&prime;'')}} の次数は {{math2|1=''Q = Q&prime;''}} でなければ {{mvar|P}} の次数より小さくはならない。

しかしここで用いた被除数 {{math2|''p''(''t'')''I{{sub|n}}''}} も除数 {{math2|''I{{sub|n}}t &minus; A''}} もともに部分環 {{math2|(''R''[''A''])[''t'']}} に属している（ここで {{math2|''R''[''A'']}} は {{mvar|A}} の生成する行列環 {{math2|''M''(''n'', ''R'')}} の部分環、すなわち {{mvar|A}} のすべての冪によって {{mvar|R}} 上[[線型包|線型に張られる集合]]である）。したがって、実は上記の割り算は可換多項式環の中で実行できるものであり、もちろんこの小さい環においても同じ商 {{mvar|B}} と剰余 {{math|0}} が与えられる。このことから特に {{mvar|B}} が実は {{math2|(''R''[''A''])[''t'']}} に属すことが分かる。このように可換環部分環の中で考えれば、等式 {{math2|1=''p''(''t'')''I{{sub|n}}'' = (''tI{{sub|n}} &minus; A'')''B''}} において {{mvar|t}} を {{mvar|A}} とおくことは有効、すなわち評価写像
:<math>\operatorname{ev}_A\colon (R[A])[t]\to R[A]</math>
は環準同型となり第二の証明と同じく所期の <math>p(A)=0\cdot\operatorname{ev}_A(B)=0</math> を与える。

定理を証明することに加えて、上記の論法では {{mvar|B}} の係数 {{mvar|B{{sub|i}}}} は {{mvar|A}} に関する多項式であることまで分かる（これに対して、第二の証明からはそれらは {{mvar|A}} の中心化環 {{mvar|Z}} に入ることしか分からない。一般に {{mvar|Z}} は {{math2|''R''[''A'']}} より大きな部分環であり、可換とも限らない）。特に定数項 {{math2|1=''B''{{sub|0}} = adj(&minus;''A'')}} が {{math2|''R''[''A'']}} に入る。{{mvar|A}} は勝手な正方行列でよかったのだから、これにより {{math2|adj(''A'')}} が常に {{mvar|A}} の多項式に書ける（係数は {{mvar|A}} ごとに変わる）ことが保証される。

実は最初の証明で求めた等式により順番に <math>B_{n-1}, \cdots, B_1, B_0</math> を {{mvar|A}} の多項式として表すことができ、任意の {{mvar|n}}次正方行列に対して有効な恒等式
:<math>\operatorname{adj}(-A)=\sum_{i=1}^n c_iA^{i-1}</math>
が導かれる。ここに、{{mvar|c{{sub|i}}}} は {{mvar|A}} の固有多項式 {{math2|1=''p''(''t'') = ''t{{sup|n}}'' + ''c''{{sub|''n''&minus;1}}''t''{{sup|''n''&minus;1}} + … + ''c''{{sub|1}}''t'' + ''c''{{sub|0}}}} のものである。
; 注: この恒等式はケイリー・ハミルトンの定理の主張を含意するものである。実際、{{math2|adj(−''A'')}} を右辺に移項してから {{mvar|A}} を（左から、あるいは右から）掛け、基本関係式 ({{equationNote|adj}}) から分かる：
:<math>-A\cdot \operatorname{adj}(-A)=\operatorname{adj}(-A)\cdot (-A)=\det(-A)I_n=c_0I_n</math> を入れれば所期の式である。
{{See also|{{ill2|ファデーエフ-ルヴェリエのアルゴリズム|en|Faddeev-LeVerrier algorithm}}}}

== 抽象化・一般化 ==
上で述べた通り、定理の主張における行列 {{math2|''p''(''A'')}} は、先に行列式を評価してからその後で行列 {{mvar|A}} を変数 {{mvar|t}} に代入して得るものであり、行列式を計算する前に行列 {{mvar|tI{{sub|n}} &minus; A}} に代入を行うことは意味をなさない。にも拘らず、{{math2|''p''(''A'')}} をある特定の行列式の値として直截に得ることのできる解釈を与えることは可能である。

ただしこれには、環上の行列 {{mvar|A}} とはその[[行列要素|成分]] {{mvar|a{{sub|ij}}}} のことともそれらの全体としての {{mvar|A}} そのものとも解釈できるというような、やや面倒な状況を設定する必要がある。すなわち、環 {{mvar|R}} 上の {{mvar|n}}次正方行列全体の成す環 {{math2|''M''(''n'', ''R'')}} の中で、成分 {{mvar|a{{sub|ij}}}} はスカラー行列 {{mvar|a{{sub|ij}}I{{sub|n}}}} として実現されるし、{{mvar|A}} それ自体も入っている。しかし行列を成分とする行列は、ここでの意図でない[[区分行列]]との混同を引き起こしかねない（区分行列と考えると行列式の概念が正しく与えられない{{efn2|行列式は行列の成分たちの積和であることを思い出そう。したがって、{{mvar|R}} 上の行列を成分に持つ行列の行列式はそれ自体が {{mvar|R}} 上の一つの行列である（係数環 {{mvar|R}} の元ではない）。つまり、区分行列の各ブロックをそれ自体一つの行列と見て、区分行列を行列の行列と考えるなら、その行列式はブロックたちの積和の形をしていなければならない。その一方、{{mvar|R}}上の区分行列の成分は（ブロックではなくその中の）係数環 {{mvar|R}} の元自体であり、したがって区分行列の行列式はそれ自身もまた {{mvar|R}} の元であって、両者の概念は一般には一致しない。}}）。状況をよりはっきりさせるため、基底 {{math2|''e''{{sub|1}}, …, ''e{{sub|n}}''}} を持つ {{mvar|n}}次元ベクトル空間（係数環 {{mvar|R}} が体でないときは {{mvar|n}}階 {{mvar|R}}-自由加群）{{mvar|V}} 上の自己準同型 {{mvar|φ}} を行列 {{mvar|A}} と区別をつけて、全自己準同型環 {{mvar|V}} 上の行列を考えることにする。そうすると、各 {{math2|''φ'' ∈ End(''V'')}} は行列の成分になれるし、その一方で行列 {{mvar|A}} とは各 {{math2|(''i'', ''j'')}}成分がスカラー {{mvar|a{{sub|ij}}}}倍するという自己準同型になっているような {{math2|''M''(''n'', End(''V''))}} の元を指すものとできる（同様に単位行列 {{mvar|I{{sub|n}}}} も {{math2|''M''(''n'', End(''V''))}} の元と解釈される）。

ただし、{{math2|End(''V'')}} は可換環ではないから、{{math2|''M''(''n'', End(''V''))}} の全体で定義される行列式は存在せず、{{math2|End(''V'')}} の可換部分環上の行列に限った場合にだけ行列式が定義できることには注意しなければならない。今、問題の行列 {{mvar|φI{{sub|n}} &minus; A}} の成分はすべて、{{mvar|φ}} と恒等変換で {{mvar|R}} 上生成される可換部分環 {{math2|''R''[''φ'']}} に属しているから、行列式をとる写像 {{math2|det: ''M''(''n'', ''R''[''φ'']) → ''R''[''φ'']}} は定義されて、{{math2|det(''φI{{sub|n}} &minus; A'')}} を {{mvar|A}} の固有多項式を {{mvar|φ}} において評価した値とすることができる（このことは {{mvar|A}} と {{mvar|φ}} との間に成り立つ関係とは無関係に成り立つ）。

この設定で、ケイリー・ハミルトンの定理の主張は {{math2|''p''(''φ'')}} が[[零写像]]となることである。この設定での定理の証明を以下に示す（これは（[[中山の補題]]と関連した）より一般の形で {{Harvard citations |last1=Atiyah |last2=MacDonald |year=1969 |loc=Prop. 2.4}} にあるものである）:
{{math proof|drop=yes|title= 自己準同型環上の行列に基づく証明|1=
行列 {{math2|1=''A'' = (''a{{sub|ij}}'')}} が基底 {{math2|''e''{{sub|1}}, …, ''e{{sub|n}}''}} に関する {{mvar|φ}} の表現行列であるとは
:<math>\varphi(e_i) = \sum_{j=1}^n a_{j,i} e_j \quad(i=1,\cdots,n)</math>
と書けることであった。これらを行列のベクトルへの左乗 {{math2|''M''(''n'', End(''V'')) × ''V{{sup|n}}'' → ''V{{sup|n}}''}} の形に書いて {{mvar|V{{sup|n}}}} における一つの等式の {{mvar|n}} 個の成分と解釈することができる（行列のベクトルへの積は、個々の成分が {{math2|''ψ'' ∈ End(''V'')}} および {{math2|''v'' ∈ ''V''}} の間では {{math2|''ψ''(''v'')}} という形で「掛け合わされる」ということを除けば通常通りに定義できる）。そうして、上記は一つの等式
:<math>\varphi I_n \cdot E= A^\operatorname{tr}\cdot E</math>
の形にまとめられる。ここに、{{math2|''E'' ∈ ''V{{sup|n}}''}} は第{{mvar|i}}成分が {{mvar|e{{sub|i}}}} となる元（というより、{{mvar|V}} の基底ベクトル {{math2|''e''{{sub|1}}, …, ''e{{sub|n}}''}} をこの順で列ベクトルにもつ行列）で、右肩の {{math|tr}} は[[転置行列|行列の転置]]。整理すれば
:<math>(\varphi I_n-A^\operatorname{tr})\cdot E=0\in V^n</math>
の形に書ける。左辺に現れた行列は {{mvar|φI{{sub|n}} &minus; A}} の転置と理解すれば、この行列の（{{math2|''M''(''n'', ''R''[''φ''])}} の元としての）行列式もまた {{math2|''p''(''φ'')}} に等しい。さてこの等式から {{math2|1=''p''(''φ'') = 0 ∈ End(''V'')}} を導くためには、{{math2|''φI{{sub|n}}'' &minus; ''A''{{sup|tr}}}} の（行列環 {{math2|''M''(''n'', ''R''[''φ''])}} における）[[余因子行列]]の転置 (''adjugate matrix'') を左から掛ければよい。これは
:<math>\begin{align}
 0&=\operatorname{adj}(\varphi I_n-A^\operatorname{tr})\cdot((\varphi I_n-A^\operatorname{tr})\cdot E)\\
  &= (\operatorname{adj}(\varphi I_n-A^\operatorname{tr})\cdot(\varphi I_n-A^\operatorname{tr}))\cdot E\\
  &= (\det(\varphi I_n-A^\operatorname{tr})I_n)\cdot E\\
  &= (p(\varphi)I_n)\cdot E
\end{align}</math>
と計算できる。最初の等号は行列同士および行列とベクトルとの積の結合性によるが、この性質は行列やベクトルの成分がどのようなものであるかとは無関係に、これら積が持つ純形式的な性質である。さて、この等式の第 {{mvar|i}}成分をみれば、{{math2|1=''p''(''φ'')(''e{{sub|i}}'') = 0 ∈ ''V''}} が成り立つことが分かるから、{{math2|''p''(''φ'')}} は全ての {{mvar|e{{sub|i}}}} で&mdash;したがってそれらの生成する {{mvar|V}} 全体で&mdash;消えていることになる。それはすなわち {{math2|1=''p''(''φ'') = 0 ∈ End(''V'')}} であることに他ならないから、これで証明は完成する。}}

この証明を検討すれば、固有多項式をとる行列 {{mvar|A}} は、多項式に代入する値としての {{mvar|φ}} と同一である必要がないことが分かる。すなわち {{mvar|V}} 上の自己準同型 {{mvar|φ}} は、最初に与えた等式 {{math2|1=''φ''(''e{{sub|i}}'') = {{sum|''j''}} ''a{{sub|ji}}&sdot;e{{sub|j}}''}} を、何らかの元の列 {{math2|''e''{{sub|1}},　…, ''e{{sub|n}}''}} に対して満足すればよい（これらの元の生成する空間を改めて {{mvar|V}} と書けば上記の証明を追うことができる）。この元の列には基底のような独立性は仮定しないでよいから、生成される空間の次元は {{mvar|n}} よりも小さくなり得るし、係数環が体でないときは[[自由加群]]でない場合も出てくる。

そうして {{mvar|R}} を生成系 {{math2|{{mset|''e''{{sub|1}}, …, ''e{{sub|n}}''}}}} を持つ任意の可換環とし、{{mvar|R}} の自己準同型 {{mvar|φ}} の上記生成系に関する表現行列が {{math2|1=''A'' = (''a{{sub|ij}}'')}}, すなわち
:<math>\varphi(e_j)=\sum a_{ij} e_i \qquad(j =1, \cdots, n)</math>
を満たすものとする設定の下でのケイリー・ハミルトンの定理：{{math2|1=''p{{sub|φ}}''(''φ'') = 0}} が満足されることが正当化できる。

このように一般化された状況におけるこの定理は可換環論および代数幾何学において重要な[[中山の補題]]の源流である。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist2}}
=== 出典 ===
{{Reflist|20em}}

== 参考文献 ==
*{{Cite journal|ref=harv|first1=Y.|last1=Alagös|first2=K.|last2=Oral|first3=S.|last3=Yüce|title=Split Quaternion Matrices|journal=Miskolc Mathematical Notes|issn=1787-2405|volume=13|issue=2|year=2012|pages=223-232|url=http://mat76.mat.uni-miskolc.hu/~mnotes/index.php?page=contents&volume=13&number=2|postscript=none}} (open access)
*{{Citation|author1=[[M. F. Atiyah]]|author2=[[I. G. Macdonald]]|year=1969|title=Introduction to Commutative Algebra|publisher=Westview Press|isbn=978-0-201-40751-8}}
*{{Cite journal|ref=harv|author1=[[Asım Orhan Barut]]|first2=J. R.|last2=Zeni|first3=A.|last3=Laufer|journal=J. Phys. A: Math. Gen.|volume=27|pages=5239-5250|doi=10.1088/0305-4470/27/15/022|title=The exponential map for the conformal group O(2,4)|year=1994a|issue=15|url=https://iopscience.iop.org/0305-4470/27/15/022/|arxiv=hep-th/9408105|bibcod =1994JPhA...27.5239B}}
*{{Cite journal|ref=harv|author1=Asım Orhan Barut|first2=J. R.|last2=Zeni|first3=A.|last3=Laufer|journal=J. Phys. A: Math. Gen.|volume=27|issue=20|pages=6799-6806|doi=10.1088/0305-4470/27/20/017|title=The exponential map for the unitary group SU(2,2)|year=1994b|url=https://iopscience.iop.org/0305-4470/27/20/017/|arxiv=hep-th/9408145|bibcode=1994JPhA...27.6799B}}
*{{Cite book|ref=harv|last=Bhatia|first=R.|year=1997|title=Matrix Analysis|publisher=Springer|series=Graduate texts in mathematics|volume=169|isbn=978-0387948461}}
*{{Cite book|ref=harv|last=Brown|first=Lowell S.|title=Quantum Field Theory|publisher=[[ケンブリッジ大学出版局|Cambridge University Press]]|year=1994|isbn=978-0-521-46946-3}}
* {{Citation|author=[[アーサー・ケイリー]]|title=A memoir on the theory of matrices|year=1858|journal=Phil. Trans. R. Soc. Lond.|volume=148|pages=17-37|doi=10.1098/rstl.1858.0002|ref=harv}}
*{{Cite book|ref=harv|first=A.|last=Cayley|title=The Collected Mathematical Papers of Arthur Cayley|volume=2|publisher=Forgotten books|year=1889|asin=B008HUED9O|series=(Classic Reprint)}}
*{{Cite journal|ref=harv|last=Crilly|first=T.|journal=Notes Rec. R. Soc. Lond.|volume=52|year=1998|issue=2|pages=267-282|title=The young Arthur Cayley|doi=10.1098/rsnr.1998.0050}}
*{{Cite journal|ref=harv|author1=[[David Fairlie]]|author2=[[Thomas Curtright]]|author3=[[Cosmas Zachos]]|year=2014|title=A compact formula for rotations as spin matrix polynomials|journal=SIGMA|volume=10|issue=2014|page=084|doi=10.3842/SIGMA.2014.084|arxiv =1402.3541|bibcode=2014SIGMA..10..084C}}
* {{Citation|last=Eisenbud|first=David|title=Commutative Algebra: With a View Toward Algebraic Geometry|url={{google books|xDwmBQAAQBAJ|plainurl=yes}}|series=Graduate Texts in Mathematics|volume=150|publisher=Springer-Verlag|year=1995|mr=1322960|zbl=0819.13001|doi=10.1007/978-1-4612-5350-1}}
*{{Cite journal|ref=harv|author=[[フェルディナント・ゲオルク・フロベニウス]]|title=Ueber lineare Substutionen und bilineare Formen|journal=J. Reine Angew. Math. |volume=84|year=1878|pages=1-63}}
*{{Cite book|ref=harv|last=Gantmacher|first=F.R.|title=The Theory of Matrices|year=1960|publisher=Chelsea Publishing|location=NY|isbn=978-0-8218-1376-8}}
*{{Cite book|ref=harv|last=Garrett|first=Paul B.|title=Abstract Algebra|year=2007|publisher=Chapman and Hall/CRC|location=NY|isbn=978-1584886891}}
*{{Cite book|ref=harv|author=[[ウィリアム・ローワン・ハミルトン]]|title=Lectures on Quaternions|location=Dublin|year=1853}}
*{{Cite journal|ref=harv|first=W. R.|last=Hamilton|title=On a New and General Method of Inverting a Linear and Quaternion Function of a Quaternion|journal=[[Proceedings of the Royal Irish Academy]]|volume=viii|year=1864a|pages=182-183}} (communicated on June 9, 1862)
*{{Cite journal|ref=harv|first=W. R.|last=Hamilton|title=On the Existence of a Symbolic and Biquadratic Equation, which is satisfied by the Symbol of Linear Operation in Quaternions|journal=[[Proceedings of the Royal Irish Academy]]|volume=viii|year=1864b|pages=190-201}} (communicated on June 23, 1862)
*{{Cite journal|ref=harv|first=S. H.|last=Hou|title=Classroom Note: A Simple Proof of the Leverrier--Faddeev Characteristic Polynomial Algorithm|journal=SIAM Review|doi=10.1137/S003614459732076X|volume=40|issue=3|year=1998|pages=706-709|bibcode=1998SIAMR..40..706H}} [http://epubs.siam.org/doi/pdf/10.1137/S003614459732076X "Classroom Note: A Simple Proof of the Leverrier--Faddeev Characteristic Polynomial Algorithm"]
*{{Cite journal|ref=harv|first=W. R.|last=Hamilton|title=On the Existence of a Symbolic and Biquadratic Equation which is satisfied by the Symbol of Linear or Distributive Operation on a Quaternion|journal=[[Philosophical Magazine|The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science]]|issn=1478-6435|volume=24|series= series '''iv'''|year=1862|pages=127-128|url=http://zs.thulb.uni-jena.de/rsc/viewer/jportal_derivate_00126615/PMS_1862_Bd24_%200135.tif|access-date=2015-02-14}}
*{{Cite book|ref=harv|author=Alston Scott Householder|title=The Theory of Matrices in Numerical Analysis |publisher=Dover Books on Mathematics|year=2006|isbn=978-0486449722}}
*{{Cite journal|ref=harv|first=A.|last=Laufer|journal=J. Phys. A: Math. Gen.|volume=30|issue=15|pages=5455-5470|doi=10.1088/0305-4470/30/15/029|title=The exponential map of GL(N)|year=1997|url=https://iopscience.iop.org/0305-4470/30/15/029/|arxiv=hep-th/9604049|bibcode = 1997JPhA...30.5455L}}
* {{Citation|和書|author=[[佐武一郎]]|title=線型代数学|publisher=裳華房|year=1958}}
*{{Cite journal|ref=harv|last=Tian|first=Y.|title=Matrix representations of octonions and their application|doi=10.1007/BF03042010|journal=[[Advances in Applied Clifford Algebras]]|issn=0188-7009|volume=10|issue=1|year=2000|pages=61-90|arxiv=math/0003166v2|citeseerx=10.1.1.237.2217}}
*{{Cite journal|ref=harv|last1=Zeni|first1=J. R.|first2=W.A.|last2=Rodrigues|title=A thoughful study of Lorentz transformations by Clifford algebras|journal=Int. J. Mod. Phys. A|volume=7|issue=8|pages=1793 pp|year=1992|doi= 10.1142/S0217751X92000776|bibcode = 1992IJMPA...7.1793Z}}
*{{Cite journal|ref=harv|last=Zhang|first=F.|title=Quaternions and matrices of quaternions|journal=Linear Algebra and its Applications|issn=0024-3795|volume=251|year=1997|pages=21-57|doi=10.1016/0024-3795(95)00543-9|url=http://www.sciencedirect.com/science/article/pii/0024379595005439|via=[[ScienceDirect]]|postscript=none}} (open archive).

== 外部リンク ==
* {{高校数学の美しい物語|1126|ケーリー・ハミルトンの定理（2次，3次，n次）}}
* {{nlab|urlname=Cayley-Hamilton+theorem|title=Cayley-Hamilton theorem}}
* {{MathWorld|urlname=Cayley-HamiltonTheorem|title=Cayley-Hamilton Theorem}}
* {{PlanetMath|urlname=CayleyHamiltonTheorem|title=Cayley-Hamilton theorem}}
* {{PlanetMath|urlname=LectureNotesOnTheCayleyHamiltonTheorem|title=lecture notes on the Cayley-Hamilton theorem}}
* {{PlanetMath|urlname=ProofOfCayleyHamiltonTheoremInACommutativeRing|title=proof of Cayley-Hamilton theorem in a commutative ring}}
* {{PlanetMath|urlname=ProofOfCayleyHamiltonTheoremByFormalSubstitutions|title=proof of Cayley-Hamilton theorem by formal substitutions}}
* {{PlanetMath|urlname=TopologicalProofOfTheCayleyHamiltonTheorem|title=topological proof of the Cayley-Hamilton theorem}}
* {{ProofWiki|urlname=Cayley-Hamilton_Theorem|title=Cayley-Hamilton theorem}}
* {{SpringerEOM|urlname=Cayley-Hamilton_theorem|title=Cayley-Hamilton theorem|author= Kaczorek, T.}}

{{線形代数}}

{{DEFAULTSORT:けいりいはみるとんのていり}}
[[Category:線型代数学の定理]]
[[Category:初等数学]]
[[Category:行列]]
[[Category:ウィリアム・ローワン・ハミルトン]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]