Sia uno spazio con prodotto scalare su ( o ).
Per ogni vale
Dimostrazione rigorosa (caso generale complesso)
Se la tesi è ovvia. Sia dunque . Considera, per ,
Scegli . Allora
Prendendo le radici si ottiene l’enunciato.
Caso di uguaglianza. Si ha se e solo se con la scelta sopra, cioè : i vettori sono linearmente dipendenti (e per l’uguaglianza vale per qualunque fase di ).
Collegamenti
- Implica la disuguaglianza triangolare via .
- Base teorica per proiezioni ortogonali e complementi ortogonali.