c'est bon j'ai trouvé préparer vous:
u et v sont deux vecteurs,
1/2(llull^2 + llvll^2 - llu-vll^2) = 1/2(u.u + v.v - u.u +2u.v -v.v)
= u.v
= 1/2(llu+vll^2 - llull^2 - llvll^2)
CQFD!
Martin n'a qu'à bien se tenir, il a trouvé son maitre!
(Pour ce qui ne suive pas Martin à o,3 de plus que moi en math, et j'ai programmé de le tuer à coup de barre de fer.)