<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	
	xmlns:georss="http://www.georss.org/georss"
	xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#"
	>

<channel>
	<title>Cayley-Hamilton theorem | Problems in Mathematics</title>
	<atom:link href="https://yutsumura.com/tag/cayley-hamilton-theorem/feed/" rel="self" type="application/rss+xml" />
	<link>https://yutsumura.com</link>
	<description></description>
	<lastBuildDate>Fri, 02 Feb 2018 04:27:15 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=5.3.10</generator>

<image>
	<url>https://i2.wp.com/yutsumura.com/wp-content/uploads/2016/12/cropped-question-logo.jpg?fit=32%2C32&#038;ssl=1</url>
	<title>Cayley-Hamilton theorem | Problems in Mathematics</title>
	<link>https://yutsumura.com</link>
	<width>32</width>
	<height>32</height>
</image> 
<site xmlns="com-wordpress:feed-additions:1">114989322</site>	<item>
		<title>Given the Data of Eigenvalues, Determine if the Matrix is Invertible</title>
		<link>https://yutsumura.com/given-the-data-of-eigenvalues-determine-if-the-matrix-is-invertible/</link>
				<comments>https://yutsumura.com/given-the-data-of-eigenvalues-determine-if-the-matrix-is-invertible/#respond</comments>
				<pubDate>Fri, 02 Feb 2018 04:27:15 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[determinant of a matrix]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[linear algebra]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6813</guid>
				<description><![CDATA[<p>In each of the following cases, can we conclude that $A$ is invertible? If so, find an expression for $A^{-1}$ as a linear combination of positive powers of $A$. If $A$ is not invertible,&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/given-the-data-of-eigenvalues-determine-if-the-matrix-is-invertible/">Given the Data of Eigenvalues, Determine if the Matrix is Invertible</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 686</h2>
<p>In each of the following cases, can we conclude that $A$ is invertible?  If so, find an expression for $A^{-1}$ as a linear combination of positive powers of $A$.  If $A$ is not invertible, explain why not.</p>
<p><strong>(a)</strong> The matrix $A$ is a $3 \times 3$ matrix with eigenvalues $\lambda=i , \lambda=-i$, and $\lambda=0$.  </p>
<p><strong>(b)</strong> The matrix $A$ is a $3 \times 3$ matrix with eigenvalues $\lambda=i , \lambda=-i$, and $\lambda=-1$.</p>
<p>&nbsp;<br />
<span id="more-6813"></span><br />

<h2>Hint.</h2>
<p>Recall that the product of all the eigenvalues of $A$ is the determinant of $A$.</p>
<h2>Solution.</h2>
<h3>(a) Eigenvalues $\lambda=i , \lambda=-i$, and $\lambda=0$.  </h3>
<p>The matrix $A$ is not invertible.  </p>
<p>The determinant of $A$ is the product of its eigenvalues.  In this case, that means that $\det(A) = i\cdot (-i)\cdot 0 = 0$. </p>
<p>Because the determinant is $0$, $A$ is singular and, hence, not invertible.</p>
<h3>(b) Eigenvalues $\lambda=i , \lambda=-i$, and $\lambda=-1$</h3>
<p>The determinant of $A$ is the product of its eigenvalues.<br />
In this case, that means $\det(A) = i\cdot (-i)\cdot (-1)=-1$.  Because the determinant is non-zero, the matrix $A$ is non-singular, and thus is invertible.</p>
<hr />
<p>To find an expression for $A^{-1}$, we will use the Cayley-Hamilton theorem.  First we find the characteristic polynomial of $A$, which is<br />
\[ p(\lambda) = (\lambda-i)(\lambda+i)(\lambda+1) = \lambda^3 + \lambda^2 + \lambda + 1 . \]
<p>The Cayley-Hamilton theorem says that $A$ must satisfy the equality<br />
\[ A^3 + A^2 + A + I = \mathbf{0} , \]
where $\mathbf{0}$ is the zero matrix.  Rewriting this, we have<br />
\[ I = -A &#8211; A^2 &#8211; A^3 = A( -I &#8211; A &#8211; A^2 ) . \]
<p>Multiplying on the left by $A^{-1}$ yields the desired equation,<br />
\[ A^{-1} = -I &#8211; A &#8211; A^2 . \]
<button class="simplefavorite-button has-count" data-postid="6813" data-siteid="1" data-groupid="1" data-favoritecount="135" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">135</span></button>The post <a href="https://yutsumura.com/given-the-data-of-eigenvalues-determine-if-the-matrix-is-invertible/">Given the Data of Eigenvalues, Determine if the Matrix is Invertible</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/given-the-data-of-eigenvalues-determine-if-the-matrix-is-invertible/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6813</post-id>	</item>
		<item>
		<title>A Recursive Relationship for a Power of a Matrix</title>
		<link>https://yutsumura.com/a-recursive-relationship-for-a-power-of-a-matrix/</link>
				<comments>https://yutsumura.com/a-recursive-relationship-for-a-power-of-a-matrix/#respond</comments>
				<pubDate>Wed, 31 Jan 2018 04:53:07 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[characteristic polynomials]]></category>
		<category><![CDATA[eigenvalues]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[recursive relationship]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=6808</guid>
				<description><![CDATA[<p>Suppose that the $2 \times 2$ matrix $A$ has eigenvalues $4$ and $-2$. For each integer $n \geq 1$, there are real numbers $b_n , c_n$ which satisfy the relation \[ A^{n} = b_n&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/a-recursive-relationship-for-a-power-of-a-matrix/">A Recursive Relationship for a Power of a Matrix</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 685</h2>
<p>Suppose that the $2 \times 2$ matrix $A$ has eigenvalues $4$ and $-2$.  For each integer $n \geq 1$, there are real numbers $b_n , c_n$ which satisfy the relation<br />
\[ A^{n} = b_n A + c_n I  , \]
where $I$ is the identity matrix. </p>
<p>Find $b_n$ and $c_n$ for $2 \leq n \leq 5$, and then find a recursive relationship to find $b_n, c_n$ for every $n \geq 1$.</p>
<p>&nbsp;<br />
<span id="more-6808"></span></p>
<h2>Solution.</h2>
<p>Because the eigenvalues of $A$ are $4$ and $-2$, its characteristic polynomial must be<br />
\[ p(\lambda) = (\lambda &#8211; 4) ( \lambda + 2) = \lambda^2 &#8211; 2 \lambda &#8211; 8 . \]
<p>The Cayley-Hamilton Theorem tells us that $p(A) = 0$, the zero matrix.  Rearranging terms, we find that<br />
\[ A^2 = 2 A + 8 I . \]
So $b_2=2$ and $c_2=8$.</p>
<hr />
<p>With this relationship, we can reduce the higher powers of $A$:<br />
\begin{align*}<br />
A^3 &#038;= A^2 A= (2A + 8 I)A = 2A^2 + 8 A\\<br />
&#038; = 2(2A+8I)+8A= 12 A + 16 I<br />
\end{align*}<br />
\begin{align*}<br />
A^4 &#038;= A^3 A=(12 A + 16 I)A = 12A^2+16A\\<br />
&#038;=12(2A+8I)+16A = 40 A + 96 I<br />
\end{align*}<br />
\begin{align*}<br />
A^5 &#038;=A^4A= (40 A + 96 I)A = 40 A^2 + 96 A \\<br />
&#038;=40(2A+8I)+96A = 176 A + 320 I<br />
\end{align*}<br />
Hence, we have $b_3=12, c_3=16, b_4=40, c_4=96, b_5=176$, and $c_5=320$.</p>
<hr />
<p>To find the recursive relationship, suppose we know that $A^n = b_n A + c_n I$.  Then<br />
\begin{align*}<br />
A^{n+1} &#038;= A^{n} A = ( b_n A + c_n I ) A = b_n A^2 + c_n A\\<br />
&#038;=b_n(2A+8I)+c_n A = (2 b_n + c_n) A + 8 b_n I.<br />
\end{align*}<br />
This gives the recursive relationships<br />
\[ b_{n+1} = 2 b_n + c_n , \qquad c_{n+1} = 8 b_n . \]
<p>Using the work above, you can quickly verify this for $1 \leq n \leq 4$.</p>
<button class="simplefavorite-button has-count" data-postid="6808" data-siteid="1" data-groupid="1" data-favoritecount="47" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">47</span></button>The post <a href="https://yutsumura.com/a-recursive-relationship-for-a-power-of-a-matrix/">A Recursive Relationship for a Power of a Matrix</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/a-recursive-relationship-for-a-power-of-a-matrix/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">6808</post-id>	</item>
		<item>
		<title>True or False: If $A, B$ are 2 by 2 Matrices such that $(AB)^2=O$, then $(BA)^2=O$</title>
		<link>https://yutsumura.com/true-or-false-if-a-b-are-2-by-2-matrices-such-that-ab2o-then-ba2o/</link>
				<comments>https://yutsumura.com/true-or-false-if-a-b-are-2-by-2-matrices-such-that-ab2o-then-ba2o/#comments</comments>
				<pubDate>Mon, 14 Aug 2017 22:52:02 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[determinant of a matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[trace of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=4639</guid>
				<description><![CDATA[<p>Let $A$ and $B$ be $2\times 2$ matrices such that $(AB)^2=O$, where $O$ is the $2\times 2$ zero matrix. Determine whether $(BA)^2$ must be $O$ as well. If so, prove it. If not, give&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/true-or-false-if-a-b-are-2-by-2-matrices-such-that-ab2o-then-ba2o/">True or False: If $A, B$ are 2 by 2 Matrices such that $(AB)^2=O$, then $(BA)^2=O$</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 537</h2>
<p>	Let $A$ and $B$ be $2\times 2$ matrices such that $(AB)^2=O$, where $O$ is the $2\times 2$ zero matrix.</p>
<p>	Determine whether $(BA)^2$ must be $O$ as well. If so, prove it. If not, give a counter example.</p>
<p>&nbsp;<br />
<span id="more-4639"></span></p>
<h2> Proof. </h2>
<p>		It is true that the matrix $(BA)^2$ must be the zero matrix as we shall prove now.</p>
<p>		For notational convenience, let $C:=AB$.</p>
<p>		As $C$ is a $2\times 2$ matrix, it satisfies the relation<br />
		\[C^2-\tr(C)C+\det(C)I=O \tag{*}\]
		by the Cayley-Hamilton theorem.<br />
		Here $I$ is the $2\times 2$ identity matrix.</p>
<hr />
<p>		We compute the determinant of $C$ as follows.<br />
		We have<br />
		\begin{align*}<br />
	\det(C)^2=\det(C^2)=\det((AB)^2)=\det(O)=0.<br />
	\end{align*}<br />
	Hence $\det(C)=0$.</p>
<hr />
<p>	Since $C^2=O$ and $\det(C)=0$, the Cayley-Hamilton relation (*) becomes<br />
	\[\tr(C)C=O.\]
	It follows that we have either $C=O$ or $\tr(C)=0$.<br />
	In either case, we have $\tr(C)=0$.</p>
<hr />
<p>	Note that<br />
	\begin{align*}<br />
	\det(BA)&#038;=\det(AB)=\det(C)=0\\<br />
	\tr(BA)&#038;=\tr(AB)=\tr(C)=0.<br />
	\end{align*}</p>
<p>	Applying the Cayley-Hamilton theorem to the matrix $BA$, we obtain<br />
	\begin{align*}<br />
	O=(BA)^2-\tr(BA)\cdot BA+\det(BA)I=(BA)^2.<br />
	\end{align*}<br />
	Thus, we obtain $(BA)^2=O$ as claimed.</p>
<button class="simplefavorite-button has-count" data-postid="4639" data-siteid="1" data-groupid="1" data-favoritecount="96" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">96</span></button>The post <a href="https://yutsumura.com/true-or-false-if-a-b-are-2-by-2-matrices-such-that-ab2o-then-ba2o/">True or False: If $A, B$ are 2 by 2 Matrices such that $(AB)^2=O$, then $(BA)^2=O$</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/true-or-false-if-a-b-are-2-by-2-matrices-such-that-ab2o-then-ba2o/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">4639</post-id>	</item>
		<item>
		<title>The Formula for the Inverse Matrix of $I+A$ for a $2\times 2$ Singular Matrix $A$</title>
		<link>https://yutsumura.com/the-formula-for-the-inverse-matrix-of-ia-for-a-2times-2-singular-matrix-a/</link>
				<comments>https://yutsumura.com/the-formula-for-the-inverse-matrix-of-ia-for-a-2times-2-singular-matrix-a/#comments</comments>
				<pubDate>Tue, 11 Jul 2017 04:47:28 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[determinant of a matrix]]></category>
		<category><![CDATA[inverse matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[Sherman-Woodberry formula]]></category>
		<category><![CDATA[singular matrix]]></category>
		<category><![CDATA[trace of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=3581</guid>
				<description><![CDATA[<p>Let $A$ be a singular $2\times 2$ matrix such that $\tr(A)\neq -1$ and let $I$ be the $2\times 2$ identity matrix. Then prove that the inverse matrix of the matrix $I+A$ is given by&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/the-formula-for-the-inverse-matrix-of-ia-for-a-2times-2-singular-matrix-a/">The Formula for the Inverse Matrix of $I+A$ for a $2\times 2$ Singular Matrix $A$</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 505</h2>
<p>	Let $A$ be a singular $2\times 2$ matrix such that $\tr(A)\neq -1$ and let $I$ be the $2\times 2$ identity matrix.<br />
	Then prove that the inverse matrix of the matrix $I+A$ is given by the following formula:<br />
	\[(I+A)^{-1}=I-\frac{1}{1+\tr(A)}A.\]
<p>		Using the formula, calculate the inverse matrix of $\begin{bmatrix}<br />
  2 &#038; 1\\<br />
  1&#038; 2<br />
	\end{bmatrix}$.</p>
<p>&nbsp;<br />
<span id="more-3581"></span><br />

<h2> Proof. </h2>
<p>				We have<br />
				\begin{align*}<br />
	(I+A)\left(\,  I-\frac{1}{1+\tr(A)}A \,\right)&#038;=I-\frac{1}{1+\tr(A)}A+A-\frac{1}{1+\tr(A)}A^2\\[6pt]
	&#038;=I-\frac{1}{1+\tr(A)}\left(\,  A-(1+\tr(A))A +A^2\,\right)\\[6pt]
	&#038;=I-\frac{1}{1+\tr(A)}\left(\,  A^2-\tr(A)A \,\right) \tag{*}.<br />
	\end{align*}</p>
<p>	The Cayley-Hamilton theorem for $2\times 2$ matrices yields that<br />
	\[A^2-\tr(A)A+\det(A)I=O.\]
	Since $A$ is singular, we have $\det(A)=0$.<br />
	Hence it follows that we have<br />
	\[A^2-\tr(A)A=O,\]
	and we obtain from (*) that<br />
	\[(I+A)\left(\,  I-\frac{1}{1+\tr(A)}A \,\right)=I.\]
	Similarly,<br />
	\[\left(\,  I-\frac{1}{1+\tr(A)}A \,\right)(I+A)=I.\]
<p>	Therefore, we conclude that the inverse matrix of $I+A$ is given by the formula<br />
	\[(I+A)^{-1}=I-\frac{1}{1+\tr(A)}A.\]
<h3>Find the inverse matrix of $\begin{bmatrix}<br />
  2 &#038; 1\\<br />
  1&#038; 2<br />
	\end{bmatrix}$ using the formula</h3>
<p>	Now let us find the inverse matrix of $\begin{bmatrix}<br />
	  2 &#038; 1\\<br />
	  1&#038; 2<br />
	\end{bmatrix}$ using the formula.</p>
<p>	We first write<br />
	\[\begin{bmatrix}<br />
	  2 &#038; 1\\<br />
	  1&#038; 2<br />
	\end{bmatrix}=I+A,\]
	where<br />
	\[A=\begin{bmatrix}<br />
	  1 &#038; 1\\<br />
	  1&#038; 1<br />
	\end{bmatrix}.\]
	Then $A$ is a singular matrix with $\tr(A)=2$.</p>
<p>	The formula yields that<br />
	\begin{align*}<br />
	\begin{bmatrix}<br />
	  2 &#038; 1\\<br />
	  1&#038; 2<br />
	\end{bmatrix}^{-1}&#038;=(I+A)^{-1}\\[6pt]
	&#038;=I-\frac{1}{3}A\\[6pt]
	&#038;=\frac{1}{3}\begin{bmatrix}<br />
	  2 &#038; -1\\<br />
	  -1&#038; 2<br />
	\end{bmatrix}.<br />
	\end{align*}		</p>
<h2> Related Question. </h2>
<p>There is a similar formula for inverse matrices of certain $n\times n$ matrices, called <strong>Sherman-Woodberry formula</strong>.</p>
<p>See the post &#8628;<br />
<a href="//yutsumura.com/sherman-woodbery-formula-for-the-inverse-matrix/" target="_blank">Sherman-Woodbery Formula for the Inverse Matrix</a><br />
for the statement of the Sherman-Woodberry formula and its proof.</p>
<button class="simplefavorite-button has-count" data-postid="3581" data-siteid="1" data-groupid="1" data-favoritecount="70" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">70</span></button>The post <a href="https://yutsumura.com/the-formula-for-the-inverse-matrix-of-ia-for-a-2times-2-singular-matrix-a/">The Formula for the Inverse Matrix of $I+A$ for a $2\times 2$ Singular Matrix $A$</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/the-formula-for-the-inverse-matrix-of-ia-for-a-2times-2-singular-matrix-a/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">3581</post-id>	</item>
		<item>
		<title>How to Use the Cayley-Hamilton Theorem to Find the Inverse Matrix</title>
		<link>https://yutsumura.com/how-to-use-the-cayley-hamilton-theorem-to-find-the-inverse-matrix/</link>
				<comments>https://yutsumura.com/how-to-use-the-cayley-hamilton-theorem-to-find-the-inverse-matrix/#comments</comments>
				<pubDate>Fri, 07 Jul 2017 14:54:08 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[cofactor expansion]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[inverse matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[rule of Sarrus]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=3503</guid>
				<description><![CDATA[<p>Find the inverse matrix of the $3\times 3$ matrix \[A=\begin{bmatrix} 7 &#038; 2 &#038; -2 \\ -6 &#038;-1 &#038;2 \\ 6 &#038; 2 &#038; -1 \end{bmatrix}\] using the Cayley-Hamilton theorem. &#160; Solution. To apply&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/how-to-use-the-cayley-hamilton-theorem-to-find-the-inverse-matrix/">How to Use the Cayley-Hamilton Theorem to Find the Inverse Matrix</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 502</h2>
<p>	Find the inverse matrix of the $3\times 3$ matrix<br />
	\[A=\begin{bmatrix}<br />
  7 &#038; 2 &#038; -2 \\<br />
   -6 &#038;-1 &#038;2 \\<br />
   6 &#038; 2 &#038; -1<br />
	\end{bmatrix}\]
		using the Cayley-Hamilton theorem.</p>
<p>&nbsp;<br />
<span id="more-3503"></span><br />

<h2>Solution.</h2>
<p>			To apply the Cayley-Hamilton theorem, we first determine the characteristic polynomial $p(t)$ of the matrix $A$.<br />
			Let $I$ be the $3\times 3$ identity matrix.<br />
			We have<br />
			\begin{align*}<br />
	p(t)&#038;=\det(A-tI)\\<br />
	&#038;=\begin{vmatrix}<br />
	  7-t &#038; 2 &#038; -2 \\<br />
	   -6 &#038;-1-t &#038;2 \\<br />
	   6 &#038; 2 &#038; -1-t<br />
	\end{vmatrix}\\[6pt]
	&#038;=(7-t)\begin{vmatrix}<br />
	  -1-t &#038; 2\\<br />
	  2&#038; -1-t<br />
	\end{vmatrix}<br />
	-2\begin{vmatrix}<br />
	  -6 &#038; 2\\<br />
	  6&#038; -1-t<br />
	\end{vmatrix}+(-2)\begin{vmatrix}<br />
	  -6 &#038; -1-t\\<br />
	  6&#038; 2<br />
	\end{vmatrix}\\[6pt]
	&#038;\text{(by the first row cofactor expansion)}\\[6pt]
	&#038;=-t^3+5t^2-7t+3.<br />
	\end{align*}<br />
	(You may also use the rule of Sarrus to compute the $3\times 3$ determinant.)</p>
<p>	Thus, we have obtained the characteristic polynomial<br />
	\[p(t)=-t^3+5t^2-7t+3\]
	of the matrix $A$.</p>
<p>	The Cayley-Hamilton theorem yields that<br />
	\[O=p(A)=-A^3+5A^2-7A+3I,\]
	where $O$ is the $3\times 3$ zero matrix.<br />
	(Here, don&#8217;t forget to put the identity matrix $I$.)</p>
<p>	Rearranging terms, we have<br />
	\begin{align*}<br />
	&#038;A^3-5A^2+7A=3I\\[6pt]
	&#038;\Leftrightarrow A(A^2-5A+7I)=3I\\[6pt]
	&#038;\Leftrightarrow A\left(\frac{1}{3}(A^2-5A+7I)\right)=I.<br />
	\end{align*}<br />
	Similarly, we have<br />
	\[\left(\frac{1}{3}(A^2-5A+7I)\right)A=I.\]
	It follows from these two equalities that the matrix<br />
	\[\frac{1}{3}(A^2-5A+7I)\]
	is the inverse matrix of $A$.</p>
<p>	Therefore, we have<br />
	\begin{align*}<br />
	A^{-1}&#038;=\frac{1}{3}(A^2-5A+7I)\\[6pt]
	&#038;=\frac{1}{3}\left(\,  \begin{bmatrix}<br />
	  25 &#038; 8 &#038; -8 \\<br />
	   -24 &#038;-7 &#038;8 \\<br />
	   24 &#038; 8 &#038; -7<br />
	\end{bmatrix}-5\begin{bmatrix}<br />
	  7 &#038; 2 &#038; -2 \\<br />
	   -6 &#038;-1 &#038;2 \\<br />
	   6 &#038; 2 &#038; -1<br />
	\end{bmatrix}+7\begin{bmatrix}<br />
	  1 &#038; 0 &#038; 0 \\<br />
	   0 &#038;1 &#038;0 \\<br />
	   0 &#038; 0 &#038; 1<br />
	\end{bmatrix} \,\right)\\[6pt]
	&#038;=\frac{1}{3}\begin{bmatrix}<br />
	  -3 &#038; -2 &#038; 2 \\<br />
	   6 &#038;5 &#038;-2 \\<br />
	   -6 &#038; -2 &#038; 5<br />
	\end{bmatrix}.<br />
	\end{align*}</p>
<p>	In summary, the inverse matrix of $A$ is<br />
	\[A^{-1}=\frac{1}{3}\begin{bmatrix}<br />
	  -3 &#038; -2 &#038; 2 \\<br />
	   6 &#038;5 &#038;-2 \\<br />
	   -6 &#038; -2 &#038; 5<br />
	\end{bmatrix}.\]
<h2>More Exercise </h2>
<p>	Test whether you understand how to find the inverse matrix using the Cayley-Hamilton theorem by the next problem.</p>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;">
<strong>Problem</strong>. Find the inverse matrix of the matrix<br />
	\[A=\begin{bmatrix}<br />
	  1 &#038; 1 &#038; 2 \\<br />
	   9 &#038;2 &#038;0 \\<br />
	   5 &#038; 0 &#038; 3<br />
	\end{bmatrix}\]
	using the Cayley–Hamilton theorem.
</div>
<p>The solution is given in the post &#8220;<a href="//yutsumura.com/find-the-inverse-matrix-using-the-cayley-hamilton-theorem/" target="_blank">Find the Inverse Matrix Using the Cayley-Hamilton Theorem</a>&#8220;.</p>
<h3>More Problems about the Cayley-Hamilton Theorem</h3>
<p>Problems about the Cayley-Hamilton theorem and their solutions are collected on the page:</p>
<p><a href="//yutsumura.com/linear-algebra/the-cayley-hamilton-theorem/" rel="noopener" target="_blank">The Cayley-Hamilton Theorem</a></p>
<button class="simplefavorite-button has-count" data-postid="3503" data-siteid="1" data-groupid="1" data-favoritecount="365" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">365</span></button>The post <a href="https://yutsumura.com/how-to-use-the-cayley-hamilton-theorem-to-find-the-inverse-matrix/">How to Use the Cayley-Hamilton Theorem to Find the Inverse Matrix</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/how-to-use-the-cayley-hamilton-theorem-to-find-the-inverse-matrix/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">3503</post-id>	</item>
		<item>
		<title>Use the Cayley-Hamilton Theorem to Compute the Power $A^{100}$</title>
		<link>https://yutsumura.com/use-the-cayley-hamilton-theorem-to-compute-the-power-a100/</link>
				<comments>https://yutsumura.com/use-the-cayley-hamilton-theorem-to-compute-the-power-a100/#respond</comments>
				<pubDate>Fri, 23 Jun 2017 17:51:41 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[complex eigenvalue]]></category>
		<category><![CDATA[eigenvalue]]></category>
		<category><![CDATA[exam]]></category>
		<category><![CDATA[Kyushu]]></category>
		<category><![CDATA[Kyushu.LA]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[orthogonal matrix]]></category>
		<category><![CDATA[power of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=3260</guid>
				<description><![CDATA[<p>Let $A$ be a $3\times 3$ real orthogonal matrix with $\det(A)=1$. (a) If $\frac{-1+\sqrt{3}i}{2}$ is one of the eigenvalues of $A$, then find the all the eigenvalues of $A$. (b) Let \[A^{100}=aA^2+bA+cI,\] where $I$&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/use-the-cayley-hamilton-theorem-to-compute-the-power-a100/">Use the Cayley-Hamilton Theorem to Compute the Power $A^{100}$</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 471</h2>
<p>	Let $A$ be a $3\times 3$ real orthogonal matrix with $\det(A)=1$.</p>
<p><strong>(a)</strong> If $\frac{-1+\sqrt{3}i}{2}$ is one of the eigenvalues of $A$, then find the all the eigenvalues of $A$.</p>
<p><strong>(b)</strong> Let<br />
	\[A^{100}=aA^2+bA+cI,\]
	where $I$ is the $3\times 3$ identity matrix.<br />
	Using the Cayley-Hamilton theorem, determine $a, b, c$.</p>
<p>(<em>Kyushu University, Linear Algebra Exam Problem</em>)<br />
&nbsp;<br />
<span id="more-3260"></span><br />

<h2>Solution.</h2>
<h3>(a) Find the all the eigenvalues of $A$.</h3>
<p>Since $A$ is a real matrix and $\frac{-1+\sqrt{3}i}{2}$ is a complex eigenvalue, its conjugate $\frac{-1-\sqrt{3}i}{2}$ is also an eigenvalue of $A$.<br />
	As $A$ is a $3\times 3$ matrix, it has one more eigenvalue $\lambda$.</p>
<p>	Note that <a href="//yutsumura.com/determinant-trace-and-eigenvalues-of-a-matrix/" target="_blank">the product of all eigenvalues of $A$ is the determinant of $A$</a>.<br />
	Thus, we have<br />
	\[\frac{-1+\sqrt{3}i}{2} \cdot \frac{-1-\sqrt{3}i}{2}\cdot \lambda =\det(A)=1.\]
	Solving this, we obtain $\lambda=1$.<br />
	Therefore, the eigenvalues of $A$ are<br />
	\[\frac{-1+\sqrt{3}i}{2}, \frac{-1-\sqrt{3}i}{2}, 1.\]
<h3>(a) Using the Cayley-Hamilton theorem, determine $a, b, c$.</h3>
<p> To use the Cayley-Hamilton theorem, we first need to determine the characteristic polynomial $p(t)=\det(A-tI)$ of $A$.<br />
	Since we found all the eigenvalues of $A$ in part (a) and the roots of characteristic polynomials are the eigenvalues, we know that<br />
	\begin{align*}<br />
	p(t)&#038;=-\left(\,  t-\frac{-1+\sqrt{3}i}{2} \,\right)\left(\,  t-\frac{-1-\sqrt{3}i}{2} \,\right)(t-1) \tag{*}\\<br />
	&#038;=-(t^2+t+1)(t-1)\\<br />
	&#038;=-t^3+1.<br />
	\end{align*}<br />
	(Remark that if your definition of the characteristic polynomial is $\det(tI-A)$, then the first negative sign in (*) should be omitted.)</p>
<p>	Then the Cayley-Hamilton theorem yields that<br />
	\[P(A)=-A^3+I=O,\]
	where $O$ is the $3\times 3$ zero matrix.</p>
<p>	Hence we have $A^3=I$.<br />
	We compute<br />
	\begin{align*}<br />
	A^{100}=(A^3)^{33}A=I^{33}A=IA=A.<br />
	\end{align*}</p>
<p>	Thus, we conclude that $a=0, b=1, c=0$.</p>
<h2>Comment.</h2>
<p>	Observe that we did not use the assumption that $A$ is orthogonal.</p>
<button class="simplefavorite-button has-count" data-postid="3260" data-siteid="1" data-groupid="1" data-favoritecount="85" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">85</span></button>The post <a href="https://yutsumura.com/use-the-cayley-hamilton-theorem-to-compute-the-power-a100/">Use the Cayley-Hamilton Theorem to Compute the Power $A^{100}$</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/use-the-cayley-hamilton-theorem-to-compute-the-power-a100/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">3260</post-id>	</item>
		<item>
		<title>Find the Inverse Matrix Using the Cayley-Hamilton Theorem</title>
		<link>https://yutsumura.com/find-the-inverse-matrix-using-the-cayley-hamilton-theorem/</link>
				<comments>https://yutsumura.com/find-the-inverse-matrix-using-the-cayley-hamilton-theorem/#comments</comments>
				<pubDate>Fri, 19 May 2017 16:15:28 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[cofactor expansion]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[inverse matrix]]></category>
		<category><![CDATA[linear algebra]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2936</guid>
				<description><![CDATA[<p>Find the inverse matrix of the matrix \[A=\begin{bmatrix} 1 &#038; 1 &#038; 2 \\ 9 &#038;2 &#038;0 \\ 5 &#038; 0 &#038; 3 \end{bmatrix}\] using the Cayley–Hamilton theorem. &#160; Solution. To use the Cayley-Hamilton&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/find-the-inverse-matrix-using-the-cayley-hamilton-theorem/">Find the Inverse Matrix Using the Cayley-Hamilton Theorem</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 421</h2>
<p> Find the inverse matrix of the matrix<br />
	\[A=\begin{bmatrix}<br />
	  1 &#038; 1 &#038; 2 \\<br />
	   9 &#038;2 &#038;0 \\<br />
	   5 &#038; 0 &#038; 3<br />
	\end{bmatrix}\]
	using the Cayley–Hamilton theorem.</p>
<p>&nbsp;<br />
<span id="more-2936"></span><br />

<h2> Solution. </h2>
<p>		To use the Cayley-Hamilton theorem, we first compute the characteristic polynomial $p(t)$ of the matrix $A$. We have<br />
		\begin{align*}<br />
	&#038;p(t)=\det(A-tI)\\<br />
	&#038;\begin{vmatrix}<br />
	  1-t &#038; 1 &#038; 2 \\<br />
	   9 &#038;2-t &#038;0 \\<br />
	   5 &#038; 0 &#038; 3-t<br />
	\end{vmatrix}\\[6pt]
	&#038;=(-1)^{3+1}5\begin{vmatrix}<br />
	  1 &#038; 2\\<br />
	  2-t&#038; 0<br />
	\end{vmatrix}+(-1)^{3+2}\cdot 0 \begin{vmatrix}<br />
	  1-t &#038; 2\\<br />
	  9&#038; 0<br />
	\end{vmatrix}+(-1)^{3+3}(3-t)\begin{vmatrix}<br />
	  1-t &#038; 1\\<br />
	  9&#038; 2-t<br />
	\end{vmatrix} \\[6pt]
	&#038; \text{(by the 3rd row cofactor expansion)}\\<br />
	&#038;=5(2t-4)+0+(3-t)\left(\,  (1-t)(2-t)-9 \,\right)\\<br />
	&#038;=-t^3+6t^2+8t-41.<br />
	\end{align*}</p>
<p>	Then the Cayley-Hamilton theorem yields that $p(A)=O$, the zero matrix. That is, we have<br />
	\begin{align*}<br />
	O=p(A)=-A^3+6A^2+8A-41I.<br />
	\end{align*}<br />
	Thus, we have<br />
	\[41I=-A^3+6A^2+8A=A(-A^2+6A+8I),\]
	or equivalently<br />
	\[I=A\left(\, \frac{1}{41}(-A^2+6A+8I)  \,\right).\]
	It follows that the inverse matrix is given by<br />
	\[A^{-1}=\frac{1}{41}(-A^2+6A+8I).\]
<p>	By a direct computation, we have<br />
	\[A^2=\begin{bmatrix}<br />
	  20 &#038; 3 &#038; 8 \\<br />
	   27 &#038;13 &#038;18 \\<br />
	   20 &#038; 5 &#038; 19<br />
	\end{bmatrix}\]
	and<br />
	\begin{align*}<br />
	-A^2+6A+8I&#038;=-\begin{bmatrix}<br />
	  20 &#038; 3 &#038; 8 \\<br />
	   27 &#038;13 &#038;18 \\<br />
	   20 &#038; 5 &#038; 19<br />
	\end{bmatrix}+6\begin{bmatrix}<br />
	  1 &#038; 1 &#038; 2 \\<br />
	   9 &#038;2 &#038;0 \\<br />
	   5 &#038; 0 &#038; 3<br />
	\end{bmatrix}+8\begin{bmatrix}<br />
	  1 &#038; 0 &#038; 0 \\<br />
	   0 &#038;1 &#038;0 \\<br />
	   0 &#038; 0 &#038; 1<br />
	\end{bmatrix}\\[6pt]
	&#038;=\begin{bmatrix}<br />
	  -6 &#038; 3 &#038; 4 \\<br />
	   27 &#038;7 &#038;-18 \\<br />
	   10 &#038; -5 &#038; 7<br />
	\end{bmatrix}.<br />
	\end{align*}</p>
<p>	Therefore the inverse matrix is<br />
	\[A^{-1}=\frac{1}{41}\begin{bmatrix}<br />
	  -6 &#038; 3 &#038; 4 \\<br />
	   27 &#038;7 &#038;-18 \\<br />
	   10 &#038; -5 &#038; 7<br />
	\end{bmatrix}.\]
<h2>More Exercise </h2>
<p>	Test whether you understand how to find the inverse matrix using the Cayley-Hamilton theorem by the next problem.</p>
<div style="padding: 16px; border: none 3px #4169e1; border-radius: 10px; background-color: #f0f8ff; margin-top: 30px; margin-bottom: 30px;">
<strong>Problem</strong>. Find the inverse matrix of the $3\times 3$ matrix<br />
	\[A=\begin{bmatrix}<br />
  7 &#038; 2 &#038; -2 \\<br />
   -6 &#038;-1 &#038;2 \\<br />
   6 &#038; 2 &#038; -1<br />
	\end{bmatrix}\]
		using the Cayley-Hamilton theorem.
		</div>
<p>The solution is given in the post &#8220;<a href="//yutsumura.com/how-to-use-the-cayley-hamilton-theorem-to-find-the-inverse-matrix/" target="_blank">How to use the Cayley-Hamilton Theorem to Find the Inverse Matrix</a>&#8220;.</p>
<h3>More Problems about the Cayley-Hamilton Theorem</h3>
<p>Problems about the Cayley-Hamilton theorem and their solutions are collected on the page:</p>
<p><a href="//yutsumura.com/linear-algebra/the-cayley-hamilton-theorem/" rel="noopener" target="_blank">The Cayley-Hamilton Theorem</a></p>
<button class="simplefavorite-button has-count" data-postid="2936" data-siteid="1" data-groupid="1" data-favoritecount="353" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">353</span></button>The post <a href="https://yutsumura.com/find-the-inverse-matrix-using-the-cayley-hamilton-theorem/">Find the Inverse Matrix Using the Cayley-Hamilton Theorem</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/find-the-inverse-matrix-using-the-cayley-hamilton-theorem/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2936</post-id>	</item>
		<item>
		<title>Powers of a Matrix Cannot be a Basis of the Vector Space of Matrices</title>
		<link>https://yutsumura.com/powers-of-a-matrix-cannot-be-a-basis-of-the-vector-space-of-matrices/</link>
				<comments>https://yutsumura.com/powers-of-a-matrix-cannot-be-a-basis-of-the-vector-space-of-matrices/#respond</comments>
				<pubDate>Tue, 11 Apr 2017 19:51:24 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[basis]]></category>
		<category><![CDATA[basis of a vector space]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linearly dependent]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2667</guid>
				<description><![CDATA[<p>Let $n>1$ be a positive integer. Let $V=M_{n\times n}(\C)$ be the vector space over the complex numbers $\C$ consisting of all complex $n\times n$ matrices. The dimension of $V$ is $n^2$. Let $A \in&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/powers-of-a-matrix-cannot-be-a-basis-of-the-vector-space-of-matrices/">Powers of a Matrix Cannot be a Basis of the Vector Space of Matrices</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 375</h2>
<p> Let $n>1$ be a positive integer. Let $V=M_{n\times n}(\C)$ be the vector space over the complex numbers $\C$ consisting of all complex $n\times n$ matrices. The dimension of $V$ is $n^2$.<br />
	 Let $A \in V$ and consider the set<br />
	 \[S_A=\{I=A^0, A, A^2, \dots, A^{n^2-1}\}\]
	 of $n^2$ elements.<br />
	 Prove that the set $S_A$ cannot be a basis of the vector space $V$ for any $A\in V$.</p>
<p>&nbsp;<br />
<span id="more-2667"></span></p>
<h2> Proof. </h2>
<p>	 	We prove that the set $S_A$ is linearly dependent, hence it cannot be a basis of $V$.<br />
	 	Since $A$ is an $n\times n$ matrix, its characteristic polynomial $p(t)=\det(tI-A)$ is a degree $n$ polynomial.</p>
<p>(Your preferred definition of the characteristic polynomial might be $\det(A-tI)$. It is straight forward to modify the following proof with this definition.)</p>
<hr />
<p>	 	Let us write it as<br />
	 	\[p(t)=t^n+a_{n-1}t^{n-1}+\cdots+a_1x+a_0.\]
	 	Then the Cayley-Hamilton theorem states that<br />
	 	\[p(A)=A^n+a_{n-1}A^{n-1}+\cdots+a_1A+a_0I=O\]
	 	is the zero matrix.</p>
<p>	 	Since the coefficient of $A^n$ is $1$, this gives a non-trivial linear combination of $I, A, \dots, A^n$. Therefore the set<br />
	 	\[T:=\{I, A, \dots, A^n\}\]
	 	is linearly dependent.</p>
<p>	 	As $T$ is a subset of $S_A$, the set $S_A$ is also linearly dependent.<br />
	 	Therefore, $S_A$ is not a basis of $V$. This completes the proof.</p>
<button class="simplefavorite-button has-count" data-postid="2667" data-siteid="1" data-groupid="1" data-favoritecount="33" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">33</span></button>The post <a href="https://yutsumura.com/powers-of-a-matrix-cannot-be-a-basis-of-the-vector-space-of-matrices/">Powers of a Matrix Cannot be a Basis of the Vector Space of Matrices</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/powers-of-a-matrix-cannot-be-a-basis-of-the-vector-space-of-matrices/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2667</post-id>	</item>
		<item>
		<title>Condition that a Matrix is Similar to the Companion Matrix of its Characteristic Polynomial</title>
		<link>https://yutsumura.com/condition-that-a-matrix-is-similar-to-the-companion-matrix-of-its-characteristic-polynomial/</link>
				<comments>https://yutsumura.com/condition-that-a-matrix-is-similar-to-the-companion-matrix-of-its-characteristic-polynomial/#comments</comments>
				<pubDate>Wed, 22 Mar 2017 02:27:42 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[basis]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[companion matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[linearly independent]]></category>
		<category><![CDATA[vector space]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2499</guid>
				<description><![CDATA[<p>Let $A$ be an $n\times n$ complex matrix. Let $p(x)=\det(xI-A)$ be the characteristic polynomial of $A$ and write it as \[p(x)=x^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0,\] where $a_i$ are real numbers. Let $C$ be the companion matrix of the&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/condition-that-a-matrix-is-similar-to-the-companion-matrix-of-its-characteristic-polynomial/">Condition that a Matrix is Similar to the Companion Matrix of its Characteristic Polynomial</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 348</h2>
<p>	Let $A$ be an $n\times n$ complex matrix.<br />
	Let $p(x)=\det(xI-A)$ be the characteristic polynomial of $A$ and write it as<br />
	\[p(x)=x^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0,\]
			where $a_i$ are real numbers.</p>
<p>			Let $C$ be the companion matrix of the polynomial $p(x)$ given by<br />
						\[C=\begin{bmatrix}<br />
	  0 &#038; 0 &#038; \dots &#038; 0 &#038;-a_0 \\<br />
	  1 &#038; 0 &#038; \dots &#038; 0 &#038; -a_1 \\<br />
	  0 &#038; 1 &#038; \dots &#038; 0 &#038; -a_2 \\<br />
	  \vdots &#038;  &#038; \ddots &#038;  &#038; \vdots \\<br />
	  0 &#038; 0 &#038; \dots &#038; 1 &#038; -a_{n-1}<br />
	  \end{bmatrix}=<br />
	  [\mathbf{e}_2, \mathbf{e}_3, \dots, \mathbf{e}_n, -\mathbf{a}],\]
	  where $\mathbf{e}_i$ is the unit vector in $\C^n$ whose $i$-th entry is $1$ and zero elsewhere, and the vector $\mathbf{a}$ is defined by<br />
	  \[\mathbf{a}=\begin{bmatrix}<br />
  a_0 \\<br />
   a_1 \\<br />
    \vdots \\<br />
   a_{n-1}<br />
   \end{bmatrix}.\]
<p>   Then prove that the following two statements are equivalent.</p>
<ol>
<li> There exists a vector $\mathbf{v}\in \C^n$ such that<br />
   \[\mathbf{v}, A\mathbf{v}, A^2\mathbf{v}, \dots, A^{n-1}\mathbf{v}\]
   form a basis of $\C^n$.
</li>
<li>There exists an invertible matrix $S$ such that $S^{-1}AS=C$.<br />
(Namely, $A$ is similar to the companion matrix of its characteristic polynomial.)</li>
</ol>
<p>&nbsp;<br />
<span id="more-2499"></span><br />

<h2> Proof. </h2>
<p>   Before proving the equivalence of the statements, let us first note a simple but useful fact.<br />
   Let $B$ be $n\times n$ matrix and let $\mathbf{e}_i$ be the unit vector of $\C^n$ as defined in the problem. Then the matrix product $B\mathbf{e}_i$ is the $i$-th column vector of the matrix $B$.</p>
<h3>$( 1 \implies 2)$ </h3>
<p>   	Suppose that the statement 1 is true. That is, there exists a vector $\mathbf{v} \in \C^n$ such that<br />
   	\[\mathbf{v}, A\mathbf{v},  \dots, A^{n-1}\mathbf{v}\]
   form a basis of $\C^n$. In particular, these vectors are linearly independent.</p>
<p>   Form a matrix<br />
   \[S:=[\mathbf{v}, A\mathbf{v},  \dots, A^{n-1}\mathbf{v}],\]
   then the matrix $S$ is invertible since the columns vectors are linearly independent.</p>
<p>   	We prove that $AS=SC$.<br />
   	We have<br />
   	\begin{align*}<br />
AS&#038;=A[\mathbf{v}, A\mathbf{v}, \dots, A^{n-1}\mathbf{v}],\\<br />
&#038;=[A\mathbf{v}, A^2\mathbf{v}, \dots, A^{n}\mathbf{v}].<br />
\end{align*}</p>
<p>On the other hand, we have<br />
\begin{align*}<br />
SC&#038;=S [\mathbf{e}_2, \mathbf{e}_3, \dots, \mathbf{e}_n, -\mathbf{a}]\\<br />
&#038;=[S\mathbf{e}_2, S\mathbf{e}_3, \dots, S\mathbf{e}_n, -S\mathbf{a}].<br />
\end{align*}</p>
<p>As noted at the beginning, the vector $S\mathbf{e}_2$ is the second column vector of $S$, which is $A\mathbf{v}$. Similarly, $S\mathbf{e}_i$ is the $i$-th column vector of $S$, and thus we have<br />
\[S\mathbf{e}_i=A^{i-1}\mathbf{v} \tag{*}.\]
 Hence we have<br />
\begin{align*}<br />
SC&#038;=[A\mathbf{v}, A^2\mathbf{v}, \dots, A^{n-1}\mathbf{v}, -S\mathbf{a}].<br />
\end{align*}</p>
<p>Thus, it remains to prove that $-S\mathbf{a}=A^n\mathbf{v}$.<br />
Write<br />
\[\mathbf{a}=\begin{bmatrix}<br />
  a_0 \\<br />
   a_1 \\<br />
    \vdots \\<br />
   a_{n-1}<br />
   \end{bmatrix}=a_0\mathbf{e}_1+a_1\mathbf{e}_2+\cdots+a_{n-1}\mathbf{e}_n.\]
   Then we have<br />
   \begin{align*}<br />
S\mathbf{a}&#038;=S(a_0\mathbf{e}_1+a_1\mathbf{e}_2+\cdots+a_{n-1}\mathbf{e}_n)\\<br />
&#038;=a_0S\mathbf{e}_1+a_1S\mathbf{e}_2+\cdots+a_{n-1}S\mathbf{e}_n\\<br />
&#038;\stackrel{(*)}{=} a_0\mathbf{v}+a_1A\mathbf{v}+\cdots+ a_{n-1}A^{n-1}\mathbf{v}\\<br />
&#038;=(a_0I+a_1 A+\cdots +a_{n-1}A^{n-1})\mathbf{v}\\<br />
&#038;=-A^n\mathbf{v},<br />
\end{align*}<br />
   	where the last step follows from the Cayley-Hamilton theorem<br />
   	\[O=p(A)=A^n+a_{n-1}A^{n-1}+\cdots a_1A+a_0I.\]
<p>   	This proves that $-S\mathbf{a}=A^n\mathbf{v}$ and hence $AS=SC$.<br />
   	Since $S$ is invertible, we obtain<br />
   	\[S^{-1}AS=C.\]
<p>   	&nbsp;</p>
<h3>$( 2 \implies 1)$ </h3>
<p>   	Next suppose that the statement 2 is true. That is, there exists an invertible matrix $S$ such that $S^{-1}AS=C$. Then we have $AS=CS$.<br />
   	Define $\mathbf{v}:=S\mathbf{e}_1$ to be the first column vector of $S$.</p>
<p>   	We prove that with this choice of $\mathbf{v}$, the vectors<br />
   	 \[\mathbf{v}, A\mathbf{v}, A^2\mathbf{v}, \dots, A^{n-1}\mathbf{v}\]
   form a basis of $\C^n$.</p>
<p> We have<br />
 \begin{align*}<br />
AS&#038;=A[S\mathbf{e}_1, S\mathbf{e}_2, \dots, S\mathbf{e}_n]\\<br />
&#038;=[AS\mathbf{e}_1, AS\mathbf{e}_2, \dots, AS\mathbf{e}_n]
\end{align*}<br />
and<br />
\begin{align*}<br />
SC&#038;=S [\mathbf{e}_2, \mathbf{e}_3, \dots, \mathbf{e}_n, -\mathbf{a}]\\<br />
&#038;=[S \mathbf{e}_2, S\mathbf{e}_3, \dots, S\mathbf{e}_n, -S\mathbf{a}].<br />
\end{align*}<br />
Since $AS=SC$, comparing column vectors, we obtain<br />
\begin{align*}<br />
AS\mathbf{e}_1&#038;=S\mathbf{e}_2\\<br />
AS\mathbf{e}_2&#038;=S\mathbf{e}_3\\<br />
\vdots\\<br />
AS\mathbf{e}_{n-1}&#038;=S\mathbf{e}_n\\<br />
AS\mathbf{e}_n&#038;=-S\mathbf{a}.\\<br />
\end{align*}</p>
<p>It follows that we have inductively<br />
\begin{align*}<br />
A\mathbf{v}&#038;=S\mathbf{e}_2\\<br />
A^2\mathbf{v}&#038;=A(A\mathbf{v})=AS\mathbf{e}_2=S\mathbf{e}_3\\<br />
\vdots\\<br />
A^{n-1}\mathbf{v}&#038;=A(A^{n-2}\mathbf{v})=AS\mathbf{e}_{n-1}=S\mathbf{e}_n.<br />
\end{align*}<br />
Namely we obtain<br />
\[A^i\mathbf{v}=S\mathbf{e}_{i+1}\]
for $i=0, 1, \dots, n-1$.<br />
Now, suppose that we have the linear combinaiton<br />
\[c_1\mathbf{v}+c_2A\mathbf{v}+ \dots c_n A^{n-1}\mathbf{v}=\mathbf{0},\]
for some coefficient scalars $c_1, \dots, c_n \in \C$.</p>
<p>Then we have using the above relations<br />
\begin{align*}<br />
c_1S\mathbf{e}_1+c_2S\mathbf{e}_2+\cdots +c_nS\mathbf{e}_n=\mathbf{0}.<br />
\end{align*}<br />
Since $S$ is invertible, the column vectors $S\mathbf{e}_i$ are linearly independent.<br />
Thus, we must have $c_1=c_2=\cdots=c_n=0$.</p>
<p>Therefore the vectors<br />
\[\mathbf{v}, A\mathbf{v}, A^2\mathbf{v}, \dots, A^{n-1}\mathbf{v}\]
are linearly independent, and they form a basis of $\C^n$ since we have $n$ linearly independent vectors in the $n$-dimensional vector space $\C^n$.</p>
<h2> Related Question. </h2>
<p>For a basic question about the companion matrix of a polynomial, check out the post &#8220;<a href="//yutsumura.com/companion-matrix-for-a-polynomial/" target="_blank">Companion matrix for a polynomial</a>&#8220;.</p>
<button class="simplefavorite-button has-count" data-postid="2499" data-siteid="1" data-groupid="1" data-favoritecount="17" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">17</span></button>The post <a href="https://yutsumura.com/condition-that-a-matrix-is-similar-to-the-companion-matrix-of-its-characteristic-polynomial/">Condition that a Matrix is Similar to the Companion Matrix of its Characteristic Polynomial</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/condition-that-a-matrix-is-similar-to-the-companion-matrix-of-its-characteristic-polynomial/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2499</post-id>	</item>
		<item>
		<title>If 2 by 2 Matrices Satisfy $A=AB-BA$, then $A^2$ is Zero Matrix</title>
		<link>https://yutsumura.com/if-2-by-2-matrices-satisfy-aab-ba-then-a2-is-zero-matrix/</link>
				<comments>https://yutsumura.com/if-2-by-2-matrices-satisfy-aab-ba-then-a2-is-zero-matrix/#respond</comments>
				<pubDate>Wed, 15 Mar 2017 16:06:00 +0000</pubDate>
		<dc:creator><![CDATA[Yu]]></dc:creator>
				<category><![CDATA[Linear Algebra]]></category>
		<category><![CDATA[Cayley-Hamilton theorem]]></category>
		<category><![CDATA[characteristic equation]]></category>
		<category><![CDATA[characteristic polynomial]]></category>
		<category><![CDATA[determinant]]></category>
		<category><![CDATA[determinant of a matrix]]></category>
		<category><![CDATA[linear algebra]]></category>
		<category><![CDATA[trace]]></category>
		<category><![CDATA[trace of a matrix]]></category>

		<guid isPermaLink="false">https://yutsumura.com/?p=2440</guid>
				<description><![CDATA[<p>Let $A, B$ be complex $2\times 2$ matrices satisfying the relation \[A=AB-BA.\] Prove that $A^2=O$, where $O$ is the $2\times 2$ zero matrix. &#160; Hint. Find the trace of $A$. Use the Cayley-Hamilton theorem&#46;&#46;&#46;</p>
The post <a href="https://yutsumura.com/if-2-by-2-matrices-satisfy-aab-ba-then-a2-is-zero-matrix/">If 2 by 2 Matrices Satisfy $A=AB-BA$, then $A^2$ is Zero Matrix</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></description>
								<content:encoded><![CDATA[<h2> Problem 337</h2>
<p>		Let $A, B$ be complex $2\times 2$ matrices satisfying the relation<br />
		\[A=AB-BA.\]
<p>		Prove that $A^2=O$, where $O$ is the $2\times 2$ zero matrix.</p>
<p>&nbsp;<br />
<span id="more-2440"></span><br />

<h2>Hint.</h2>
<ol>
<li>Find the trace of $A$.</li>
<li>Use the Cayley-Hamilton theorem</li>
</ol>
<h2> Proof. </h2>
<p>			We first calculate the trace of the matrix $A$ as follows. We have<br />
			\begin{align*}<br />
	\tr(A)&#038;=\tr(AB-BA)\\<br />
	&#038;=\tr(AB)-\tr(BA)\\<br />
	&#038;=\tr(AB)-\tr(AB)=0.<br />
	\end{align*}</p>
<p>	Thus $\tr(A)=0$ and it follows from the Cayley-Hamilton theorem (see below) for the $2\times 2$ matrix $A$ that<br />
	\begin{align*}<br />
	O&#038;=A^2-\tr(A)A+\det(A)I\\<br />
	&#038;=A^2+\det(A)I,<br />
	\end{align*}<br />
	where $I$ is the $2\times 2$ identity matrix.</p>
<p>	Thus, we obtain<br />
	\[A^2=-\det(A)I. \tag{*}\]
<hr />
<p>	Next, we compute $A^2$ in two ways.<br />
	We have<br />
	\begin{align*}<br />
	A^2=A(AB-BA)=A^2B-ABA<br />
	\end{align*}<br />
	and<br />
	\begin{align*}<br />
	A^2=(AB-BA)A=ABA-BA^2.<br />
	\end{align*}<br />
	Adding these two, we have<br />
	\begin{align*}<br />
	2A^2&#038;=A^2B-BA^2\\<br />
	&#038; \stackrel{(*)}{=} (-\det(A)I)B-B(-\det(A)I)\\<br />
	&#038;=-\det(A)B+\det(A)B=O.<br />
	\end{align*}</p>
<p>	As a result, we obtain $A^2=O$. This completes the proof.</p>
<h2>The Cayley-Hamilton theorem for a $2\times 2$ matrix </h2>
<p>	Let us add the proof of the fact we used in the proof about the <strong>Cayley-Hamilton theorem</strong>.<br />
	Let $A=\begin{bmatrix}<br />
	  a &#038; b\\<br />
	  c&#038; d<br />
	\end{bmatrix}$ be a $2\times 2$ matrix.</p>
<p>	Then its characteristic polynomial is<br />
	\begin{align*}<br />
	p(x)&#038;=\det(A-xI)\\<br />
	&#038;=\begin{vmatrix}<br />
	  a-x &#038; b\\<br />
	  c&#038; d-x<br />
	\end{vmatrix}\\<br />
	&#038;=(a-x)(d-x)-bc\\<br />
	&#038;=x^2-(a+d)x+ad-bc\\<br />
	&#038;=x^2-\tr(A)x+\det(A),<br />
	\end{align*}<br />
	since $\tr(A)=a+d$ and $\det(A)=ad-bc$.</p>
<p>	The Cayley-Hamilton theorem says that the matrix $A$ satisfies its characteristic equation $p(x)=0$.<br />
	Namely we have<br />
	\[A^2-\tr(A)A+\det(A)I=O.\]
	This is the equality we used in the proof.</p>
<h2>Variation</h2>
<p>As a variation of this problem, consider the following problem.</p>
<p>Let $A, B$ be $2\times 2$ matrices satisfying $A=AB-BA$.<br />
Then prove that $\det(A)=0$.</p>
<button class="simplefavorite-button has-count" data-postid="2440" data-siteid="1" data-groupid="1" data-favoritecount="59" style="">Click here if solved <i class="sf-icon-star-empty"></i><span class="simplefavorite-button-count" style="">59</span></button>The post <a href="https://yutsumura.com/if-2-by-2-matrices-satisfy-aab-ba-then-a2-is-zero-matrix/">If 2 by 2 Matrices Satisfy $A=AB-BA$, then $A^2$ is Zero Matrix</a> first appeared on <a href="https://yutsumura.com">Problems in Mathematics</a>.]]></content:encoded>
							<wfw:commentRss>https://yutsumura.com/if-2-by-2-matrices-satisfy-aab-ba-then-a2-is-zero-matrix/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
						<post-id xmlns="com-wordpress:feed-additions:1">2440</post-id>	</item>
	</channel>
</rss>
