An orthogonal matrix is a matrix $A$ over the reals such that $A^t=A^{-1}$ (its transpose is its inverse). The Frobenius norm over $n\times n$ real matrices is given by $\|A\| = \sqrt{trace(A^tA)}$.
I have come across the following claim: The distance (induced by the Frobenius norm) between any two (non equal) orthogonal matrices is $\sqrt{n}$. I can't find a proof for this claim, but no refutation either (of course, if the difference between two orthogonal matrices is itself an orthogonal matrix the claim is clear, but I don't know if that's true either).