Maths Olympiad Prep

Library / /19 of 23

Geometry Difficulty 7.1 National Olympiad, round 2 Prove it Romania

Let ABCABC be a triangle. The moving points MM on the half line BCBC, NN on the half line CACA, and PP on the half line ABAB, start simultaneously from vertices BB, CC, and AA, respectively, and move with constant speeds v1,v2,v3>0v_1, v_2, v_3 > 0, expressed using the same unit.

a) Knowing that there are three distinct moments in which the triangle MNPMNP is equilateral, prove that the triangle ABCABC is also equilateral and v1=v2=v3v_1 = v_2 = v_3.

b) Prove that if v1=v2=v3v_1 = v_2 = v_3 and there exists a moment in which the triangle MNPMNP is equilateral, then the triangle ABCABC is also equilateral.

Solution

Let a,b,cCa, b, c \in \mathbb{C} be the affixes of the vertices of triangle ABCABC. For t0t \ge 0, we have the following expressions for the affixes of the points M(t)M(t), N(t)N(t), and P(t)P(t):
{m(t)=b(1v1t)+cv1t;n(t)=c(1v2t)+av2t;p(t)=a(1v3t)+bv3t. \left\{ \begin{array}{l} m(t) = b \cdot (1 - v_1 \cdot t) + c \cdot v_1 \cdot t; \\ n(t) = c \cdot (1 - v_2 \cdot t) + a \cdot v_2 \cdot t; \\ p(t) = a \cdot (1 - v_3 \cdot t) + b \cdot v_3 \cdot t. \end{array} \right.

The condition that the triangle MNPMNP is equilateral at some time t0t \ge 0 can be written as:
m(t)+εn(t)+εˉp(t)=0, m(t) + \varepsilon n(t) + \bar{\varepsilon} p(t) = 0,
where ϵ{1+i32,1i32}\epsilon \in \left\{ \frac{-1+i\sqrt{3}}{2}, \frac{-1-i\sqrt{3}}{2} \right\}.
This relationship is equivalent to:
t(bv1+cv1ϵcv2+ϵav2ϵˉav3+ϵˉbv3)+b+ϵc+ϵˉa=0,() t(-bv_1 + cv_1 - \epsilon cv_2 + \epsilon av_2 - \bar{\epsilon}av_3 + \bar{\epsilon}bv_3) + b + \epsilon c + \bar{\epsilon}a = 0, \quad (*)
for any t0t \ge 0 for which the triangle MNPMNP is equilateral.

a) Since the relation ()(*) holds for three distinct values t1,t2,t30t_1, t_2, t_3 \ge 0, according to the pigeonhole principle, there exists ϵ{1+i32,1i32}\epsilon \in \left\{ \frac{-1+i\sqrt{3}}{2}, \frac{-1-i\sqrt{3}}{2} \right\} for which the relation ()(*) is satisfied at two distinct moments ti,tj0t_i, t_j \ge 0, 1i<j31 \le i < j \le 3, from which it follows that:
{(bc)v1+ϵ(ca)v2+ϵˉ(ab)v3=0;b+ϵc+ϵˉa=0. \begin{cases} (b-c)v_1 + \epsilon(c-a)v_2 + \bar{\epsilon}(a-b)v_3 = 0; \\ b + \epsilon c + \bar{\epsilon} a = 0. \end{cases}
The second relation from above is equivalent to having an equilateral triangle ABCABC. On the other hand, the first relationship allows us to translate the triangle ABCABC such that its circumcenter has the affix 00. Since ABCABC is equilateral, we have b=ϵab = \epsilon a and c=ϵˉac = \bar{\epsilon} a or b=ϵˉab = \bar{\epsilon} a and c=ϵac = \epsilon a, without loss of generality, we consider the first case and obtain:
(ϵaϵˉa)v1+ϵ(ϵˉaa)v2+ϵˉ(aϵa)v3=0(ϵϵ2)v1+(1ϵ)v2+(ϵ21)v3=0, (\epsilon a - \bar{\epsilon} a)v_1 + \epsilon(\bar{\epsilon} a - a)v_2 + \bar{\epsilon}(a - \epsilon a)v_3 = 0 \Rightarrow (\epsilon - \epsilon^2)v_1 + (1 - \epsilon)v_2 + (\epsilon^2 - 1)v_3 = 0,
and\text{and} by dividing with } 1 - ϵ0\epsilon \neq 0 \text{} and taking into account that } v_1, v_2, v_3 R,\in \mathbb{R}, \text{} we obtain:}
ϵv1+v2v3ϵv3=0v1=v2=v3. \epsilon v_1 + v_2 - v_3 - \epsilon v_3 = 0 \Rightarrow v_1 = v_2 = v_3.

b) If v1=v2=v3=vv_1 = v_2 = v_3 = v, relation ()(*) can be written as:
tv((cb)+ϵ(ac)+ϵˉ(ba))+b+ϵc+ϵˉa=0, t \cdot v \cdot ((c - b) + \epsilon(a - c) + \bar{\epsilon}(b - a)) + b + \epsilon c + \bar{\epsilon} a = 0,
which is invariant under translations, rotations, and homotheties, so we can fix a=1a = 1 and c=ϵˉc = \bar{\epsilon} and obtain:
(bϵ)(tv(ϵˉ1)+1)=0, (b - \epsilon)(t \cdot v \cdot (\bar{\epsilon} - 1) + 1) = 0,
and, since the second term cannot be zero, we have b=ϵb = \epsilon, from which we obtain that triangle ABCABC is equilateral, and thus concludes the problem.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.