Pour tout ce qui suit, on munit l'espace d’un repère orthonormé (O ; →i ; →j).
Définition du produit scalaire
Pour →u(x ; y) et →v(x’ ; y’) deux vecteurs non nuls du plan :
→u⋅→v = ‖ cos( ; )
Si l’un des deux vecteurs est nul, = 0.
Expression analytique du produit scalaire dans un repère orthonormé
Pour (x ; y) et (x’ ; y’) deux vecteurs du plan : qui est un nombre réel.
Formules d’Al-Kashi
Soit ABC un triangle quelconque.
= + - 2ABAC cos()
= + - 2ACBC cos()
= + - 2ABBC cos()