comme j'ai horreur de faire des calculs moins symétriques que le résultat, je recommence :
Comme ils sont dans le plan, les 3 vecteurs AM, BM, CM sont liés, donc

(mon calcul précédent revenait à faire pareil mais avec la famille AM,AB,AC)
On exprime chaque entrée en fonction de a,b,c,x et on multiplie tout par 2 :

Si x=0, on voit la liaison *évidente* (c-b)*C1 + (a-c)*C2 + (b-a)*C3 = 0, donc le déterminant est nul lorsque x=0.
Donc ce déterminant est un polynôme de degré 3 qui est multiple de x.
Donc on développe le déterminant dans la joie (ou alors on se contente de calculer les coefficients devant x^3, xab, xa², et x²a), on divise par x, et on obtient normalement l'équation homogène de degré 2 a²+b²+c²+x² = ab+ac+ax+bc+bx+cx.
Bon ça n'explique pas pourquoi x est interchangeable avec les autres trucs.
Aussi mon déterminant a le défaut d'être multiple de x, donc le déterminant qui lui est invariant par tout serait un truc du genre
| M 0 |
| 0 1/x |
ce qui est tout de même affreusement moche.
J'aimerais bien faire rentrer un 4ème vecteur, par exemple AB, dans ma famille de vecteurs pour avoir une matrice 4*4 qui ait une chance d'être symétrique, mais faudrait aussi rajouter une 3ème dimension au problème, je vois pas trop à quoi ça pourrait correspondre.