Avec produit scalaire ci-dessous tout est vecteur
AQ² = AQ.AB angle droit en Q
= (AP + PQ) .AB
= AP.AB + PQ.AB
= AP.AB + 0 PQ perpendiculaire à AB
= 2 AP.AO O milieu de AB
= 2 AP² angle droit en P
