Cet exercice est évident : une implication est vraiment idiote.
L'autre un peu moins: O_n(R) étant compact il suffit de voir que notre suite a une seule valeur d'adhérence. Mais une valeur d'adhérence X est orthogonale et vérifie X+X^{-1} = 2I_k donc toutes ses valeurs propres sont 1 et donc X est l'identité.