Appelons a, b, c la longueur des cotes du triangle ABC (a=|BC|, etc...) Appelons c_A le carre blanc qu'on voit au-dessus du point A sur la figure, a' la longueur de son cote, et t_A le triangle qu'il forme "au-dessus" de A. Notons que l'angle A du triangle ABC est supplementaire de l'angle A de t_A, donc leur cosinus sont opposes.
Nous avons donc, en considerant ABC: a^2 = b^2 + c^2 -2bc * cos(A), et en considerant t_A: (a')^2 = b^2 + c^2 +2bc * cos(A), d'ou a^2 + (a')^2 = 2b^2 + 2c^2
Avec une definition evidente pour b' et c', on a de meme: b^2 + (b')^2 = 2a^2 + 2c^2 et c^2 + (c')^2 = 2a^2 + 2b^2
En sommant ces trois identites et en simplifiant, on obtient:
(a')^2 + (b')^2 + (c')^2 = 3(a^2 + b^2+c^2).
|