Maths Olympiad Prep

Library / /390 of 397

Geometry Difficulty 7.4 National Olympiad, round 2 Prove it Taiwan

In a convex hexagon ABCDEFABCDEF, ABDEAB \parallel DE, BCEFBC \parallel EF, CDFACD \parallel FA, and
AB+DE=BC+EF=CD+FA. AB + DE = BC + EF = CD + FA.
Denote the midpoints of sides ABAB, BCBC, DEDE, EFEF by A1,B1,D1,E1A_1, B_1, D_1, E_1, respectively.
Prove that D1OE1=12DEF\angle D_1OE_1 = \frac{1}{2}\angle DEF, where OO is the point of intersection of segments A1D1A_1D_1 and B1E1B_1E_1.

Solution

Define α=πFAB=πCDE\alpha = \pi - \angle FAB = \pi - \angle CDE, β=πABC=πDEF\beta = \pi - \angle ABC = \pi - \angle DEF, γ=πBCD=πEFA\gamma = \pi - \angle BCD = \pi - \angle EFA. Clearly α+β+γ=π\alpha + \beta + \gamma = \pi, and at least two of the three are acute. Let OO' be the intersection point of B1E1B_1E_1 and C1F1C_1F_1, and OO'' the intersection point of C1F1C_1F_1 and A1D1A_1D_1 (where C1,F1C_1, F_1 are the midpoints of CDCD and FAFA respectively). Further let α=F1OA1=C1OD1\alpha' = \angle F_1O''A_1 = \angle C_1O''D_1, β=A1OB1=D1OE1\beta' = \angle A_1OB_1 = \angle D_1OE_1, γ=B1OC1=E1OF1\gamma' = \angle B_1O'C_1 = \angle E_1O'F_1. Since we may translate C1F1C_1F_1 parallel to itself until it passes through the point OO, and such a parallel translation does not change the angles of intersection between lines, we know that α+β+γ=π\alpha' + \beta' + \gamma' = \pi. Moreover, by the cyclic symmetry of the problem, the statement of the problem is equivalent to β=D1OE1=12DEF=πβ2\beta' = \angle D_1OE_1 = \frac{1}{2}\angle DEF = \frac{\pi-\beta}{2}, or to α=πα2\alpha' = \frac{\pi-\alpha}{2}, or to γ=πγ2\gamma' = \frac{\pi-\gamma}{2}. Hence, without loss of generality, we may relabel the vertices cyclically without changing the problem, so that we may assume that α\alpha and β\beta are acute. Write m=tanαm = \tan \alpha, M=tanβM = \tan \beta; both m,Mm, M are positive.

Now we set up a coordinate system: without loss of generality let A(d,h)A \equiv (-d, -h), B(d,h)B \equiv (d, -h), D(d+Δ,h)D \equiv (d' + \Delta, h), E(d+Δ,h)E \equiv (-d' + \Delta, h), where d,d,hd, d', h are positive numbers, and ddd' \ge d. After a careful algebraic computation (finding the equations of the lines BCBC, CDCD, EFEF, FAFA, computing their intersection points, and using the fact that the slopes of lines BCBC, CDCD are m,Mm, M respectively), we obtain
C(Md+MΔ+md+2hM+m,Mmd+MmΔMmdMh+mhM+m), C \equiv \left( \frac{Md' + M\Delta + md + 2h}{M+m}, \frac{Mmd' + Mm\Delta - Mmd - Mh + mh}{M+m} \right),
F(mdmΔ+Md+2hM+m,MmdMmΔMmd+MhmhM+m). F \equiv \left( -\frac{md' - m\Delta + Md + 2h}{M+m}, \frac{Mmd' - Mm\Delta - Mmd + Mh - mh}{M+m} \right).
Note that the yy-coordinates of C,FC, F must lie in the interval (h,h)(-h, h) in order for the hexagon to be convex, and hence we have
2hm>dd+Δ>2hM,2hM>ddΔ>2hm. \frac{2h}{m} > d' - d + \Delta > -\frac{2h}{M}, \quad \frac{2h}{M} > d' - d - \Delta > -\frac{2h}{m}.
After some further algebraic computation, and using the above results, we obtain
BC=M(dd+Δ)+2hM+mm2+1, BC = \frac{M(d' - d + \Delta) + 2h}{M + m}\sqrt{m^2 + 1},
EF=2hM(ddΔ)M+mm2+1, EF = \frac{2h - M(d' - d - \Delta)}{M + m}\sqrt{m^2 + 1},
CD=2hm(dd+Δ)M+mM2+1, CD = \frac{2h - m(d' - d + \Delta)}{M + m}\sqrt{M^2 + 1},
FA=m(ddΔ)+2hM+mM2+1. FA = \frac{m(d' - d - \Delta) + 2h}{M + m}\sqrt{M^2 + 1}.
Hence we have
d+d=AB+DE2=BC+EF2=CD+FA2=2h+MΔM+mm2+1=2hmΔM+mM2+1. \begin{aligned} d+d' &= \frac{AB+DE}{2} = \frac{BC+EF}{2} = \frac{CD+FA}{2} \\ &= \frac{2h+M\Delta}{M+m}\sqrt{m^2+1} = \frac{2h-m\Delta}{M+m}\sqrt{M^2+1}. \end{aligned}
From the last two terms of the above equality, we find that
(Δ2h)2+2Mm+1Mm(Δ2h)1=0,Δ2h=Mm1+(M2+1)(m2+1)Mm=tanαβ2, \begin{aligned} \left(\frac{\Delta}{2h}\right)^2 + 2 \frac{Mm+1}{M-m} \left(\frac{\Delta}{2h}\right) - 1 &= 0, \\ \frac{\Delta}{2h} &= \frac{-Mm-1 + \sqrt{(M^2+1)(m^2+1)}}{M-m} = \tan \frac{\alpha - \beta}{2}, \end{aligned}
where here we assume that MmM \neq m; if M=mM = m, then Δ=0\Delta = 0, and we have d+d=hm2+1m=hsinβ=hsinαd+d' = \frac{h\sqrt{m^2+1}}{m} = \frac{h}{\sin \beta} = \frac{h}{\sin \alpha}. Note that we discard the negative root, not only for the sake of continuity of the solution as MmM \to m, but also because, after some computation, one can see that 2h=(d+d)(sinα+sinβ)2h = (d+d')(\sin \alpha + \sin \beta) always holds, since 2h=BCsinβ+CDsinα=EFsinβ+FAsinα2h = BC \sin \beta + CD \sin \alpha = EF \sin \beta + FA \sin \alpha.

We can now easily derive that
A1(0,h),D1(Δ,h), A_1 \equiv (0, -h), \quad D_1 \equiv (\Delta, h),
B1(Md+Md+MΔ+2md+2h2(M+m),Mmd+MmΔMmd+2Mh2(M+m)), B_1 \equiv \left( \frac{Md' + Md + M\Delta + 2md + 2h}{2(M+m)}, \frac{Mmd' + Mm\Delta - Mmd + 2Mh}{2(M+m)} \right),
E1(2md2mΔMΔ+Md+Md+2h2(M+m),MmdMmΔMmd+2Mh2(M+m)). E_1 \equiv \left( -\frac{2md' - 2m\Delta - M\Delta + Md + Md' + 2h}{2(M+m)}, \frac{Mmd' - Mm\Delta - Mmd + 2Mh}{2(M+m)} \right).
β\beta' is also the angle between the vectors A1D1\overrightarrow{A_1D_1} and B1E1\overrightarrow{B_1E_1}, where
A1D1(Δ,2h), \overrightarrow{A_1D_1} \equiv (\Delta, 2h),
B1E1((M+m)(d+d)+2hmΔM+m,MmΔ2hM+m). \overrightarrow{B_1E_1} \equiv \left( -\frac{(M+m)(d+d') + 2h - m\Delta}{M+m}, -M\frac{m\Delta - 2h}{M+m} \right).
Since 2hΔ=cotαβ2\frac{2h}{\Delta} = \cot \frac{\alpha-\beta}{2}, the vector A1D1\overrightarrow{A_1D_1} makes an angle of size πα+β2\frac{\pi-\alpha+\beta}{2} with the horizontal axis. Furthermore,
M(mΔ2h)(M+m)(d+d)+2hmΔ=tanα(tanβtanαβ21)tanα+tanβsinα+sinβ+1tanβtanαβ2=sinαcosα+β2cosα+β2(1+cosα)=tanα2, \begin{aligned} \frac{M(m\Delta - 2h)}{(M+m)(d+d') + 2h - m\Delta} &= \frac{\tan \alpha (\tan \beta \tan \frac{\alpha-\beta}{2} - 1)}{\frac{\tan \alpha + \tan \beta}{\sin \alpha + \sin \beta} + 1 - \tan \beta \tan \frac{\alpha-\beta}{2}} \\ &= \frac{-\sin \alpha \cos \frac{\alpha+\beta}{2}}{\cos \frac{\alpha+\beta}{2}(1 + \cos \alpha)} = -\tan \frac{\alpha}{2}, \end{aligned}
that is, the vector B1E1\overrightarrow{B_1E_1} makes an angle of πα2\pi - \frac{\alpha}{2} with the horizontal axis. Therefore, the angle formed between B1E1\overrightarrow{B_1E_1} and A1D1\overrightarrow{A_1D_1} is β=πα2πα+β2=πβ2\beta' = \pi - \frac{\alpha}{2} - \frac{\pi-\alpha+\beta}{2} = \frac{\pi-\beta}{2}. This completes the proof.

Note that when M=mM = m, A1D1(0,2h)\overrightarrow{A_1D_1} \equiv (0, 2h), which makes an angle of π2\frac{\pi}{2} with the horizontal axis; and B1E1(m(d+d)+hm,h)\overrightarrow{B_1E_1} \equiv \left( -\frac{m(d+d')+h}{m}, h \right), and since
mhm(d+d)+h=sinβ1+cosβ=tanβ2, -\frac{mh}{m(d+d')+h} = -\frac{\sin \beta}{1+\cos \beta} = -\tan \frac{\beta}{2},
we get that B1E1\overrightarrow{B_1E_1} makes an angle of πβ2\pi - \frac{\beta}{2} with the horizontal axis. Once again we have β=πβ2πβ2=πβ2\beta' = \pi - \frac{\beta}{2} - \frac{\pi-\beta}{2} = \frac{\pi-\beta}{2}. This completes the proof.

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 translated into English from zh; metadata (topic, difficulty) added by this project.