Maths Olympiad Prep

Library / /2 of 5

Geometry Difficulty 6.5 National Olympiad Prove it South Korea

Let ABCABC be a triangle satisfying B>C\angle B > \angle C and let DD be the point on the side ACAC such that ADC=C\angle ADC = \angle C. Let II be the incenter of ABCABC and EE be the intersection of the circumcircle of CDICDI and the line AIAI which is not II. Let PP be the intersection of the line BDBD and the line which is parallel to ABAB and passing EE. Let JJ be the incenter of ABDABD and AA' be the reflection of AA with respect to II. Suppose that two lines JPJP and ACA'C meet at the point QQ. Show that QJ=QAQJ = QA'.

Solution

First, we will show that the line PJPJ passes the midpoint of a side ABAB.
Let MM be the intersection of two lines PJPJ and ABAB, and SS be the intersection of two lines BPBP and AIAI. By using Menelaus' theorem to the triangle ABSABS and the line PJPJ, we have
AMBMBPPSSJJA=1.(1) \frac{AM}{BM} \cdot \frac{BP}{PS} \cdot \frac{SJ}{JA} = 1. \qquad (1)
Also, by the angle bisector theorem, we get
SJJA=BSAB.(2) \frac{SJ}{JA} = \frac{BS}{AB}. \qquad (2)
In other hand, since JBD=C2\angle JBD = \frac{\angle C}{2} and DEI=DCI=C2\angle DEI = \angle DCI = \frac{\angle C}{2}, four points J,B,E,DJ, B, E, D are cyclic, therefore BEJ=BDJ=B2\angle BEJ = \angle BDJ = \frac{\angle B}{2}. From the fact ABPEAB \parallel PE, we have
BEP=BEJ+PEA=BEJ+EAB=90C2. \angle BEP = \angle BEJ + \angle PEA = \angle BEJ + \angle EAB = 90^\circ - \frac{\angle C}{2}.
By the fact ABPEAB \parallel PE again, we know EPB=PBA=C\angle EPB = \angle PBA = \angle C, hence we get
PBE=180C(90C2)=90C2, \angle PBE = 180^\circ - \angle C - \left(90^\circ - \frac{\angle C}{2}\right) = 90^\circ - \frac{\angle C}{2},
so we obtain PBE=90C2=PEB\angle PBE = 90^\circ - \frac{\angle C}{2} = \angle PEB and therefore
PB=PE.(3) PB = PE. \qquad (3)

The fact ABPEAB \parallel PE also implies
BSAB=PSPE.(4) \frac{BS}{AB} = \frac{PS}{PE}. \qquad (4)
From (1), (2), (3), (4), we get AM=BMAM = BM, and MM is the midpoint of the line segment ABAB, as desired.
Now let NN be the midpoint of the side ACAC. Then since ABCABC is similar to ADBADB, we have AJM=AIN\angle AJM = \angle AIN, and by the midpoint theorem we get AIN=AAQ\angle AIN = \angle AA'Q. We already know that the points M,J,P,QM, J, P, Q are collinear, so QJA=AJM\angle QJA' = \angle AJM holds, and we get QJ=QAQJ = QA'.

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.