1. Existence de √A pour A symétrique définie positive. 2. Unicité de la racine positive. 3. Construction par diagonalisation. 4. Application : décomposition polaire
√A = P·diag(√λᵢ)·P⁻¹. A SDP ⟹ √A unique SDP