Montrer que pour u,v dans un espace préhilbertien : [formule].
Étudier [formule] pour [formule].
Pour tout t [formule] Développement : [formule]. C'est un trinôme en t, toujours [formule] Donc [formule]. D'où [formule] (Cauchy-Schwarz).