1. Menge enthalten in 2. Menge geht vielleicht so:
Sei A ∈ O(n) und es gibt ein B ∈ O(n) mit A = B2 dann
ist wegen orthogonalität von A jedenfalls A * A^T = E
also auch B^2 * A^T = E
also B * B * A^T = E
und damit det ( B * B * A^T ) = 1 wegen det(B*B) = det(A) = det(B) ^2 und det(A^T ) = det (A)
also det(B)^2 * det (A) = 1 also det(A) * det(A) = 1, also det(A)=1 oder -1
wegen det (A) = det(B) ^2 > 0 also det(A) = 1
andere Inklusion ?