Démonstration du produit scalaire entre vecteurs à trois dimensions