Caractérisation des matrices de passage entre bases orthonormales

[ Théorème ]
Soit \(e\) une base orthonormale de \(E\) et \(f\) une base de \(E\). Soit \(P=P_{e\rightarrow f}\) la matrice de passage entre ces deux bases. On a équivalence entre :
  1. \(f\) est une base orthonormale.

  2. P est une matrice orthogonale.

En savoir plus