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