Aispor a écrit:Alors < x|y > = 0.25 [ ||x+y||² - ||x-y||² ]
et donc < (10,0) | (-10,0) > est négatif.
Donc on a pas la positivité et cette norme n'est pas issus d'un produit scalaire.
Heu......... tu es sûr d'avoir ne serait ce vaguement compris ce que c'était un produit scalaire ?
Un "léger" rappel : quand tu as une forme bilinéaire

sur E, dire que cette forme est "positive" [respectivement "définie positive"], ça signifie que

pour tout X de E [respectivement que

pour tout X non nul de E].
Et ça ne signifie
sûrement pas que

pour tout X,Y de E ne serait ce que du fait que

sont systématiquement de signe opposés (par linéarité).
Donc là, que ton
 | (-10,0) \rangle)
soit négatif, ben ça prouve absolument rien du tout.
Et de façon générale, si partant d'une norme quelconque

(provenant d'un produit scalaire ou pas), tu pose
)
alors,
par définition, tu va avoir

pour tout X non nul donc c'est clairement pas du coté de la positivité de

que ça risque de déconner (ce qui déconne, si ça déconne, c'est forcément la linéarité)
Bref, ici, pour montrer que ça déconne, tu peut par exemple prendre X=(2,1) et Y=(0,1) qui donne
\|^2\!-\!\|(2,0)\|^2\big)=\frac{1}{4}(2^2\!-\!2^2)=0)
\|^2\!-\!\|(2,-1)\|^2\big)=\frac{1}{4}(3^2\!-\!2^2)\not=0)