En fait je t'avoue qu'en relisant j'aurais jamais réussi ça tout seul avec le produit scalaire Rafik.
1ère méthode on utilisait le polynôme P(x) = Somme de 1 à n de (akx + bk)²
2ème méthode j'ai marqué :
u->(a1 a2 a3 ... an) et v->(b1 b2 b3 ... bn) dans R^n
Sa base est B = {e1->,e2->,...,en->)
où ei->(0 0 ... 1 ... 0 0) (avec 1 représentant la i-ème ligne)
alors ei->.ej-> = Sij =
{1 ssi i = j
{0 ssi i=/=j
(en repère orthonormé)
(u->.v->)² = (a1b1+a2b2...+anbn)²
= somme de 1 à n de (ak.bk)²
De même pour ||u->||² et ||v->²||
Ensuite tu appliquais le produit scalaire avec u->.v->, tu mettais au carré, et comme cos(u->;v->)² < 1, ça démontrait l'inégalité
J'avais jamais fait une chose pareille (désolé pour les notations de connard, -> c'est les vecteurs et j'ai mis les coordonnées en ligne)