mycroft holmes
Last Activity: 8 Years ago
Shorter way to go about it is: Invoke the result that if the circumcenter is at the origin then the complex number corresponding to the orthocenter is z1+z2+z3.
Since the triangle is equilateral, orthocenter and circumcenter coincide. So we have z1+z2+z3 = 0