Soit A,B,C trois points tq zA = a, zB = b et zC = C.
ABC équilatéral => (a-b)/(c-b)=(b-c)/(a-c)=(c-a)/(b-a):
ABC équilatéral => les 3 angles du triangle ont pour argument pi/3 [2pi] et AB = BC = AC => (a-b)/(c-b) = exp(i*pi/3) et (b-c)/(a-c) = exp(i*pi/3) et (c-a)/(b-a) = exp(i*pi/3) => (a-b)/(c-b)=(b-c)/(a-c)=(c-a)/(b-a)
ABC équilatéral <= (a-b)/(c-b)=(b-c)/(a-c)=(c-a)/(b-a):
(a-b)/(c-b)=(b-c)/(a-c)=(c-a)/(b-a) => AB/BC = BC/AC et BC/AC = AC/AB et AC/AB = AB/CB => AB² = AB*AC et AC² = AB*BC et BC² = AB*AC. On résous ça sous forme de système. (on a AB=BC²/AC on remplace, on a AC^3 = BC^3 et on en déduit que AC=BC car AC et BC > 0. On remplace une nouvelle fois, on a AB²=AC² et de manière analogue on a AB=AC. On vérifie pour la troisième ligne: ça marche.)
Donc (a-b)/(c-b)=(b-c)/(a-c)=(c-a)/(b-a) => AB=AC=BC => ABC équilatéral