D'après la relation de Chasles BC=BA+AC. Par conséquent :
BC2=BC2=(BA+AC)2=BA2+2BA.AC+AC2=BA2−2AB.AC+AC2
Or d'après la définition du produit scalaire :
AB.AC=∣∣AB∣∣×∣∣AC∣∣×cos(AB,AC)=AB×AC×cos(AB,AC)
Par conséquent :
BC2=AB2+AC2−2AB×ACcos(AB,AC)