 Solution

First $E=\ker (A+I)$ is a linear subspace. To prove it is nonzero, use orthogonality and $\det A=-1$:Hence $\det (A+I)=0$. If $u\in E$ then $Au=-u$ also implies $A^{T}u=-u$. For $x\perp E$,so $E^{\perp }$ is invariant. If $E$ had dimension two, its one-dimensional orthogonal complement would be invariant and $A$ would act there as a scalar $\eta =\pm 1$. The determinant would be $(-1{)}^2\eta =-1$, so $\eta =-1$, forcing $A=-I$. Dimension three also forces $A=-I$. Both contradict the hypothesis. ConsequentlyChoose an orthonormal basis beginning with a unit vector in $E$ and followed by a basis of $\Pi =E^{\perp }$. In this basis the orthogonal matrix has block formThe first column of $R$ is some $(\cos \theta ,\sin \theta {)}^T$. Its perpendicular unit second column with positive orientation must be $(-\sin \theta ,\cos \theta {)}^T$. Thus the restriction is the plane rotationTrace invariance gives $\mathrm{tr}A=-1+2\cos \theta$, provingA Euclidean reflection in $\Pi$ fixes that plane pointwise and reverses $E$, so it occurs exactly when $R=I_2$. This is equivalent to $\cos \theta =1$, hence exactly to $\mathrm{tr}A=1$. Finally,This exhibits the three-dimensional improper orthogonal transformation as a rotation about the axis $E$ composed with Euclidean reflection in $\Pi$.