Montrer que pour [formule] : [formule].
Développer [formule] pour tout [formule].
[formule]. Polynôme en [formule] de degré 2 toujours positif. Discriminant [formule] : [formule]. Donc [formule]. Égalité ssi [formule] et [formule] colinéaires.