Trace of a three-dimensional rotation
= Trace of a three-dimensional rotation
{title2=$\cos\theta=(\operatorname{tr}R-1)/2$}
= Rotation trace formula
{synonym}
A proper three-dimensional <rotation matrix> has an axis eigenvalue one and perpendicular-plane eigenvalues $e^{i\theta},e^{-i\theta}$. Their sum gives the displayed <trace> identity. It determines the angle cosine but does not by itself choose the oriented axis or angle sign.