Ton développement est faux.
Je vais te montrer le calcule de AB.CD. Ensuite tu n'auras plus qu'a calculer AC.DB et AD.BC puis a faire la somme des trois.
Soit A(xa, ya, za), B(xb, yb, zb), C(xc, yc, zc) et D(xd, yd, zd)
On a donc AB.CD = (xb - xa)(xd - xc) + (yb - ya)(yd - yc) + (zb - za)(zd - zc).
Si tu ne comprends pas jusque la dit le.
Maintenant le développement.
Je te montre d'abord un exemple.
Soit (m + n)(p + q) = mp + mq + np + nq
Donc notre produit scalaire devient :
AB.CD = xbxd - xbxc - xaxd + xaxc + ybyd - ybyc - yayd + yayc + zbzd - zbzc - zazd + zazc
Si il y a quelque chose que tu ne comprend pas la dit le.
Voila la on vient de calculer AB.CD
Après si de la même manière tu calcule AC.DB et AD.BC il te restera a additionner les trois tu trouveras 0 car tu auras des expressions qui s'annule du type xaxb - xaxb.