Maths Olympiad Prep

Library / Serbian Mathematical Olympiad /64 of 80

Serbian Mathematical Olympiad

Geometry Difficulty 7.0 National Olympiad Prove it Serbia

Problem:

A triangle ABCABC is given. Points DD and EE on line ABAB are such that AD=ACAD = AC and BE=BCBE = BC, with the arrangement D−A−B−ED-A-B-E. The circumscribed circles of triangles DBCDBC and EACEAC intersect at a point X≠CX \neq C, and the circumscribed circles of triangles DECDEC and ABCABC intersect at a point Y≠CY \neq C. If DY+EY=2XYDY + EY = 2XY holds, determine ACB\text{ACB}.

Solution

Solution:

Let IcI_{c} be the center of the excircle of △ABC\triangle ABC opposite vertex CC. Then AIcAI_{c} is the bisector of angle CADCAD, from which △IcAD≅△IcAC\triangle I_{c}AD \cong \triangle I_{c}AC. It follows that I c DB = I c DA = I c CA = I c CB\text{I c DB = I c DA = I c CA = I c CB}, so IcI_{c} lies on the circle BCDBCD. Similarly, IcI_{c} lies on the circle ACEACE, which means that X≡IcX \equiv I_{c}. Also, since XD=XCXD = XC and analogously XE=XCXE = XC, the point XX is the center of the circle CDEYCDEY.

Further, DYA = CYA - CYD = CBA - CED = CED = CXA = DXA\text{DYA = CYA - CYD = CBA - CED = CED = CXA = DXA} and similarly EYB = EXB\text{EYB = EXB}. So let us consider the point X′X' symmetric to point XX with respect to ABAB. Because of DX’A = DYA\text{DX'A = DYA} this point lies on the circle ADYADY, and analogously also on the circle BEYBEY.

Figure 1

If C < 60\text{C < 60}, then AX’B = AXB = 90 - 1 2 C > C = AYB\text{AX'B = AXB = 90 - 1 2 C > C = AYB}, so the point X′X' lies inside △ABY\triangle ABY, and hence also inside △DEY\triangle DEY. It follows that DY+EY>DX′+EX′=DX+EX=2XYDY + EY > DX' + EX' = DX + EX = 2XY. Similarly, if C > 60\text{C > 60}, the point YY lies inside △DEX\triangle DEX, so then DY+EY<2XYDY + EY < 2XY. Therefore, if DY+EY=2XYDY + EY = 2XY, we must have C = 60\text{C = 60}, and then X′≡YX' \equiv Y so the equality indeed holds.

Second solution. We denote the angles of triangle ABCABC in the usual way by α,β,γ\alpha, \beta, \gamma. As in the first solution, the points C,D,E,YC, D, E, Y lie on a circle with center XX. Also, because of CYD = CED = 2\text{CYD = CED = 2}, the line DYDY contains the midpoint NN of the arc ACAC of the circle ABCABC.

Let us denote YDE = x\text{YDE = x} and YED = y\text{YED = y}. The condition DY+EY=2XYDY + EY = 2XY gives sin⁡x+sin⁡y=sin⁡x+sin⁡(90∘−γ2−x)=1\sin x + \sin y = \sin x + \sin \left(90^{\circ} - \frac{\gamma}{2} - x\right) = 1.

(1−sin⁡γ2)sin⁡x+cos⁡γ2cos⁡x=1 \left(1 - \sin \frac{\gamma}{2}\right) \sin x + \cos \frac{\gamma}{2} \cos x = 1

On the other hand, the sine rule in △ADN\triangle ADN gives 2sin⁡xsin⁡α+γ2=cos⁡(α−γ2−x)2 \sin x \sin \frac{\alpha + \gamma}{2} = \cos \left(\frac{\alpha - \gamma}{2} - x\right), from which it follows that tg⁡x=cos⁡α−γ22sin⁡α+γ2−sin⁡α−γ2\operatorname{tg} x = \frac{\cos \frac{\alpha - \gamma}{2}}{2 \sin \frac{\alpha + \gamma}{2} - \sin \frac{\alpha - \gamma}{2}}. From this we find
sin⁡x=cos⁡α−γ23−2cos⁡γ+4sin⁡γ2cos⁡φ,cos⁡x=2sin⁡α+γ2−sin⁡α−γ23−2cos⁡γ+4sin⁡γ2cos⁡φ \sin x = \frac{\cos \frac{\alpha - \gamma}{2}}{\sqrt{3 - 2 \cos \gamma + 4 \sin \frac{\gamma}{2} \cos \varphi}}, \quad \cos x = \frac{2 \sin \frac{\alpha + \gamma}{2} - \sin \frac{\alpha - \gamma}{2}}{\sqrt{3 - 2 \cos \gamma + 4 \sin \frac{\gamma}{2} \cos \varphi}}
where φ=α+γ2−90∘=α−β2\varphi = \alpha + \frac{\gamma}{2} - 90^{\circ} = \frac{\alpha - \beta}{2}. Substituting into equation (*) we obtain
2cos⁡3γ−180∘4cos⁡φ2=3−2cos⁡γ+4sin⁡γ2cos⁡φ 2 \cos \frac{3\gamma - 180^{\circ}}{4} \cos \frac{\varphi}{2} = \sqrt{3 - 2 \cos \gamma + 4 \sin \frac{\gamma}{2} \cos \varphi}
which after squaring reduces to
cos⁡φ=2−2cos⁡γ−sin⁡3γ21−4sin⁡γ2+sin⁡3γ2=−3t+4t2+4t31−t−4t3,wheret=sin⁡γ2 \cos \varphi = \frac{2 - 2 \cos \gamma - \sin \frac{3\gamma}{2}}{1 - 4 \sin \frac{\gamma}{2} + \sin \frac{3\gamma}{2}} = \frac{-3t + 4t^{2} + 4t^{3}}{1 - t - 4t^{3}}, \quad \text{where} \quad t = \sin \frac{\gamma}{2}
If γ≠60∘\gamma \neq 60^{\circ}, cancelling 2t−1≠02t - 1 \neq 0 gives cos⁡φ=−2t2+3t2t2+t+1<0\cos \varphi = -\frac{2t^{2} + 3t}{2t^{2} + t + 1} < 0, which is impossible. Therefore, we must have γ=60∘\gamma = 60^{\circ}.

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

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from sr; metadata (topic, difficulty) added by this project.