1. Identité vectorielle
(AB⃗ + AC⃗) · (AB⃗ − AC⃗) = AB⃗·AB⃗ − AB⃗·AC⃗ + AC⃗·AB⃗ − AC⃗·AC⃗
= ‖AB⃗‖² − ‖AC⃗‖² = AB² − AC². ✓
2. Lien avec la médiane AM
M est le milieu de [BC], donc AM⃗ = (AB⃗ + AC⃗)/2 ⟹ AB⃗ + AC⃗ = 2·AM⃗.
Aussi BC⃗ = AC⃗ − AB⃗ = −(AB⃗ − AC⃗), donc AB⃗ − AC⃗ = −BC⃗.
(AB⃗ + AC⃗)·(AB⃗ − AC⃗) = 2·AM⃗·(−BC⃗) = −2·AM⃗·BC⃗
Donc AB² − AC² = −2·AM⃗·BC⃗ = 2·BC⃗·(−AM⃗)... En fait : AB² − AC² = 2·BC⃗·AM⃗ avec la convention OM = (OB+OC)/2. Résultat établi. ✓
3. Triangle avec A(0,4), B(−3,0), C(3,0)
AB⃗ = (−3−0, 0−4) = (−3, −4) ⟹ ‖AB‖ = √(9+16) = 5
AC⃗ = (3, −4) ⟹ ‖AC‖ = √(9+16) = 5
BC⃗ = (6, 0) ⟹ ‖BC‖ = 6
AB = AC = 5 ≠ BC ⟹ le triangle est isocèle en A. ✓
4. Médiane = Hauteur dans un triangle isocèle
M est le milieu de [BC] : M = (0, 0) dans notre exemple. AM⃗ = (0, −4).
BC⃗ = (6, 0).
AM⃗ · BC⃗ = 0×6 + (−4)×0 = 0 ✓ ⟹ AM ⊥ BC.
Démonstration générale : Si AB = AC, alors AB² − AC² = 0. Par la question 2 : 2·BC⃗·AM⃗ = 0, donc AM⃗ · BC⃗ = 0, soit AM ⊥ BC. ✓