2
$\begingroup$

Prove that the points $a_1,a_2,a_3$ are vertices of an equilateral triangle if and only if $a_1^2+a_2^2+a_3^2=a_1a_2+a_2a_3+a_3a_1$.

I rewrite the equation as $2a_1^2+2a_2^2+2a_3^2-2a_1a_2-2a_2a_3-2a_3a_1=0$, which is $(a_1-a_2)^2+(a_2-a_3)^2+(a_3-a_1)^2=0$. This looks quite nice, but I'm not sure how to relate it to the equilateral triangle.

$\endgroup$

marked as duplicate by Gerry Myerson, TZakrevskiy, dfeuer, Thomas Andrews, Stefan Hansen Sep 1 '13 at 8:37

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

4
$\begingroup$

I'll prove the 'if' part, leaving the 'only if' part to you:

Denote the points as $A(a), B(b), C(c)$ (easier to type).

Now, rotating $\vec{AC}$ by $\pi/3$ gives you $\vec{AB}$. So:

$$ \hat{AC}\cdot e^{i\pi/3} = \hat{AB}$$

Here, $|\vec{AC}| = | \vec{AB} |$. So:

$$ \vec{AC}\cdot e^{i\pi/3} = \vec{AB}$$ $$ \implies (c-a) \cdot e^{i\pi/3} = (b-a) \ldots...[1] $$

Similarly:

$$ (a-b) \cdot e^{i\pi/3} = (c-b) \ldots...[2] $$

Divide equation $1$ by equation $2$:

$$ \dfrac{c-a}{a-b} = \dfrac{b-a} {c-b}$$

Cross multiply and you are done!

enter image description here

$\endgroup$
  • $\begingroup$ Check the sign of rotation, not that it matters in the end. $\endgroup$ – Macavity Sep 1 '13 at 7:48
  • $\begingroup$ It must be counter clockwise and it is. What's wrong? $\endgroup$ – Parth Thakkar Sep 1 '13 at 7:49
  • $\begingroup$ How does this compare to the proofs given when the question was asked before? $\endgroup$ – Gerry Myerson Sep 1 '13 at 7:50
  • $\begingroup$ I saw your comment only when I had almost finished the answer. And secondly, I think this is more clear. $\endgroup$ – Parth Thakkar Sep 1 '13 at 7:53

Not the answer you're looking for? Browse other questions tagged or ask your own question.