# Prove that $\det(M-I)=0$ if $\det(M)=1$ and $MM^T=I$

$M$ is a $3 \times 3$ matrix such that $\det(M)=1$ and $MM^T=I$, where $I$ is the identity matrix. Prove that $\det(M-I)=0$

I tried to take $M$ $=$ $$\begin{pmatrix} a &b & c \\ d & e & f \\ g & h & i \end{pmatrix}$$

but its expansion is too long.

$$MM^T=I\implies(M-I)M^T=I-M^T\implies\det(M-I)\det(M^T)=\det(I-M^T)$$

Since $$\det(M^T)=\det(M)=1$$ we have:

$$\begin{eqnarray}\det(M-I)&=&\frac{\det(I-M^T)}{\det M^T}\\ &=& \frac{\det((I-M^T)^T)}{\det M}\\&=&\det(I-M)\\ &=&\det((-1)(M-I))\\&=&(-1)^3\det(M-I).\end{eqnarray}$$

and therefore $$\det(M-I)=0$$. This proof also works for any $$n\times n$$ matrix $$M$$ satisfying the conditions with odd $$n$$.

In case $$n$$ is even, a counter example is provided by $$\pmatrix{\cos\theta&\sin\theta\\-\sin\theta&\cos\theta}$$, hence the property is no longer true.

Another proof might be the following. $$MM^T=I$$ then $$M$$ is orthogonal. Since $$n$$ is odd, by the canonical form of orthogonal matrix, $$M$$ has an eigenvalue $$1$$. Therefore $$\det(M-I)=0$$.

• The last equality is true because $(-1)^3=-1$ Commented Jul 8, 2014 at 3:59
• This is a identity $det(I−M^T)=(-1)^ndet(M−I)$?? With $M_{n\times n}$? Commented Jul 8, 2014 at 4:12
• $det(I-M^T)=det((I-M^T)^T)=det(I-M)=(-1)^ndet(M-I)$ hope you see now Commented Jul 8, 2014 at 4:16

Lauds to Mr. T for a very elegant solution which nicely avoids the mundane approach based on eigenvalues, which I in all humility submit in the following:

Assuming $M$ is a real matrix, we have the following terse and perhaps overpacked verbiage:

Since $MM^T = I$, $M$ is orthogonal; since $M$ is $3 \times 3$, the characteristic polynomial $p_M(\lambda) = \det (M - \lambda I)$ is of odd degree $3$; since $p_M(\lambda)$ is a real polynomial of odd degree, it has a real root $\lambda_0$; since $\lambda_0$ is a root of $p_M(\lambda)$, it is an eigenvalue of $M$; since $\lambda_0$ is an eigenvalue of $M$, there is a nonzero vector $\mathbf x \in \Bbb R^3$ with $M\mathbf x = \lambda_0 \mathbf x$; since $M\mathbf x = \lambda_0 \mathbf x$ we have $\langle \mathbf x, \mathbf x \rangle = \langle \mathbf x, I \mathbf x \rangle = \langle \mathbf x, M^TM \mathbf x \rangle = \langle M \mathbf x, M\mathbf x \rangle = \langle \lambda_0 \mathbf x, \lambda_0 \mathbf x \rangle = \lambda_0^2 \langle \mathbf x, \mathbf x \rangle$ where $\langle \cdot, \cdot \rangle$ is the Euclidean inner product on $\Bbb R^3$; since $\mathbf x \ne 0$ we have $\lambda_0^2 = 1$; since $\lambda_0^2 = 1$, we have $\lambda_0 = \pm 1$; since the preceeding argument applies to any real root of $p_M(\lambda)$, we must have that the real eigenvalues of $M$ lie in the set $\{1, -1\}$; since $p_M(\lambda)$ is a real polynomial of degree $3$ with at least one real root, the remaining two roots if complex must be a conjugate pair $\mu, \bar \mu$, whence $\lambda_0 \mu \bar \mu = \det M = 1$ whence $\mu \bar \mu > 0$ whence $\lambda_0 = 1$; since the roots of $p_M(\lambda)$ if real must lie in the set $\{1, -1\}$ and $\det M = 1$ is the product of these eigenvalues, we must have at least one eigenvalue of $M$ equal to $1$ in this case; since in either case $\lambda_0 = 1$ is an eigenvlaue of $M$, we must have a non-zero vector $\mathbf x \in \Bbb R^3$ with $M \mathbf x = \mathbf x$; since $M \mathbf x = \mathbf x$ we have $(M - I)\mathbf x = 0$, i.e. $M - I$ is singular; since $M - I$ is singular we must have $\det(M - I) = 0$. QED.

Hope this helps. Cheers,

and as always,

Fiat Lux!!!

• I think this is the natural solution though, something which strikes the very first time you see the problem. Correct me if I am wrong, but doesn't the following logic work? $MM'=I$ is positive definite since $M$ has full rank $\Rightarrow$ eigenvalues of $M$ are positive $\Rightarrow$ $1$ is the only distinct eigenvalue of $M$ (as $M$ is orthogonal) $\Rightarrow \det (M-1I)=0$. Commented Mar 23, 2017 at 15:45
• Thanks. I was not familiar with the assertion that $M$ has full rank $\Rightarrow$ eigenvalues of $M$ are positive. Can you hit at the proof? Cheers! Commented Apr 4, 2017 at 0:45
• You are not familiar because I was wrong to say that. Only the eigenvalues of $MM'$ are positive. Commented Apr 5, 2017 at 20:03