Maths Olympiad Prep

Library / IMO Team Selection Tests /3 of 3

IMO Team Selection Tests, 2015

Geometry Difficulty 9.1 IMO level Prove it Vietnam

Given an acute, non-isosceles triangle ABCABC, and a point PP inside the triangle such that ∠APB=∠APC=α\angle APB = \angle APC = \alpha with α>80∘−∠BAC\alpha > 80^\circ - \angle BAC. The circle (APB)(APB) intersects the line ACAC at EE, the circle (APC)(APC) intersects the line ABAB at FF. Let QQ be the inside point of the triangle AEFAEF such that ∠AQE=∠AQF=α\angle AQE = \angle AQF = \alpha. Let DD be the symmetric point of QQ through EFEF. The bisector of ∠EDF\angle EDF intersects APAP at $T.

a) Prove that ∠DET=∠ABC\angle DET = \angle ABC, ∠DFT=∠ACB\angle DFT = \angle ACB.

b) The line APAP intersects the line DEDE, DFDF respectively at MM, NN. Let II and JJ be centers of incircles of PEMPEM and PFNPFN respectively. Let KK be the center of (DIJ)(DIJ). The line DTDT intersects (K)(K) at HH. Prove that HKHK goes through the incircle center of the triangle DMNDMN.

Solution

a) Since the quadrilaterals APBEAPBE and APCFAPCF are inscribed, we have
∠BEC=∠BEA=∠CFA=∠CFB=180∘−α. \angle BEC = \angle BEA = \angle CFA = \angle CFB = 180^\circ - \alpha.
Hence, the quadrilateral BCFEBCFE is inscribed in a circle. We have two triangles ABCABC and AEFAEF are similar, so the transformation from ABC→AEFABC \to AEF, mapping PP into QQ, then ∠PBC=∠QEF=∠DEF\angle PBC = \angle QEF = \angle DEF and ∠PCB=∠QFE=∠DFE\angle PCB = \angle QFE = \angle DFE. Let

T′T' be an inside point of the quadrilateral PEDFPEDF such that ∠DET′=∠ABC\angle DET' = \angle ABC and ∠DFT′=∠ACB\angle DFT' = \angle ACB. We need to show that T′≡TT' \equiv T.
We have
∠PED=∠PEA+∠FEA+∠FED∠PBA+∠ABC+∠PBC=2∠ABC=2∠DET′, \begin{aligned} \angle PED &= \angle PEA + \angle FEA + \angle FED \\ \angle PBA + \angle ABC + \angle PBC &= 2\angle ABC = 2\angle DET', \end{aligned}
so ET′ET' is the bisector of the angle PEDPED. Similarly, FT′FT' is the bisector of the angle PFDPFD. Note that
∠FEA=∠ABC=∠ABP+∠PBC=∠AEP+∠FEQ. \angle FEA = \angle ABC = \angle ABP + \angle PBC = \angle AEP + \angle FEQ.
Hence, ∠DET′=∠PEA+∠FED\angle DET' = \angle PEA + \angle FED. On the other hand, ∠DET′=∠FET′+∠FED\angle DET' = \angle FET' + \angle FED. These imply that ∠T′EF=∠PAE\angle T'EF = \angle PAE. Therefore, T′ET'E and AEAE are isogonal conjugation in the triangle PEFPEF. Similarly, T′FT'F and AFAF are isogonal conjugation in the triangle PEFPEF. Hence, APAP and T′PT'P are isogonal conjugation in the same triangle. Since APAP is the bisector of ∠EPF\angle EPF, T′PT'P is also the bisector of this angle, or APAP goes through T′T'. Hence, T′T' is the center of the inscribed circle of PEDFPEDF. This implies that T′T' belongs to the bisector of EDFEDF, or T′≡TT' \equiv T.

b) Let LL be the incenter of the triangle DMNDMN. Note that DLDL and DTDT are bisectors of two complement angles ∠EDF\angle EDF and ∠MDF\angle MDF so ∠KDH=90∘\angle KDH = 90^\circ. We only need to show that LL lies on the circle (DIJ)(DIJ).
Since ILIL goes through MM, we have
∠ILJ=∠LNM+∠LMN=12(∠DMN+∠DNM). \angle ILJ = \angle LNM + \angle LMN = \frac{1}{2}(\angle DMN + \angle DNM).
We need to show that
∠IDJ=12(∠DMN+∠DNM)=12∠EDF. \angle IDJ = \frac{1}{2}(\angle DMN + \angle DNM) = \frac{1}{2}\angle EDF.
Draw a tangent line DYDY at YY to the circle (J)(J) (DY≠DFDY \neq DF). Let XX be the intersection between DYDY and PNPN. In the complete quadrilateral formed by the lines FDFD, FPFP, DXDX, PXPX, we have DF+PX=PF+DXDF + PX = PF + DX or DF−PF=DX−PXDF - PF = DX - PX. On the other hand, there is a circle inscribed in the quadrilateral PEDFPEDF so DF−PF=DE−PFDF - PF = DE - PF. These imply that DX−PX=DE−PEDX - PX = DE - PE or DX+PE=DE+PXDX + PE = DE + PX, or there is a circle inscribed inside PEDXPEDX. Hence, DYDY is tangent to (I)(I). By the property of the tangent lines, DIDI and DJDJ are bisectors of ∠EDX\angle EDX and ∠FDX\angle FDX. The second part of the problem follows.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.