Maths Olympiad Prep

Library / /25 of 43

Geometry Difficulty 6.0 AIME, harder Prove it JBMO

Problem:
Let PP be a point in the interior of a triangle ABCA B C. The lines AP,BPA P, B P and CPC P intersect again the circumcircles of the triangles PBC,PCAP B C, P C A, and PABP A B at D,ED, E and FF respectively. Prove that PP is the orthocenter of the triangle DEFD E F if and only if PP is the incenter of the triangle ABCA B C.

Solution

Solution:
If PP is the incenter of ABCA B C, then BPD=ABP+BAP=A^+B^2\angle B P D = \angle A B P + \angle B A P = \frac{\hat{A} + \hat{B}}{2}, and BDP=BCP=C^2\angle B D P = \angle B C P = \frac{\hat{C}}{2}. From triangle BDPB D P, it follows that PBD=90\angle P B D = 90^{\circ}, i.e. that EBE B is one of the altitudes of the triangle DEFD E F. Similarly, ADA D and CFC F are altitudes, which means that PP is the orthocenter of DEFD E F.

Figure 1

Notice that APA P separates BB from CC, BB from EE and CC from FF. Therefore APA P separates EE from FF, which means that PP belongs to the interior of EDF\angle E D F. It follows that PInt(DEF)P \in \operatorname{Int}(\triangle D E F).
If PP is the orthocenter of DEFD E F, then clearly DEFD E F must be acute. Let AEFA^{\prime} \in E F, BDFB^{\prime} \in D F and CDEC^{\prime} \in D E be the feet of the altitudes. Then the quadrilaterals BPAFB^{\prime} P A^{\prime} F, CPBDC^{\prime} P B^{\prime} D, and APCEA^{\prime} P C^{\prime} E are cyclic, which means that BFA=180BPA=180BPA=BFA\angle B^{\prime} F A^{\prime} = 180^{\circ} - \angle B^{\prime} P A^{\prime} = 180^{\circ} - \angle B P A = \angle B F A. Similarly, one obtains that CDB=CDB\angle C^{\prime} D B^{\prime} = \angle C D B, and AEC=AEC\angle A^{\prime} E C^{\prime} = \angle A E C.
- If BExt(FPD)B \in \operatorname{Ext}(\triangle F P D), then AInt(EPF)A \in \operatorname{Int}(\triangle E P F), CExt(DPE)C \in \operatorname{Ext}(\triangle D P E), and thus BInt(FPD)B \in \operatorname{Int}(\triangle F P D), contradiction.
- If BInt(FPD)B \in \operatorname{Int}(\triangle F P D), then AExt(EPF)A \in \operatorname{Ext}(\triangle E P F), CInt(DPE)C \in \operatorname{Int}(\triangle D P E), and thus BExt(FPD)B \in \operatorname{Ext}(\triangle F P D), contradiction.
This leaves us with BFDB \in F D. Then we must have AEFA \in E F, CDEC \in D E, which means that A=AA = A^{\prime}, B=BB = B^{\prime}, C=CC = C^{\prime}. Thus ABCA B C is the orthic triangle of triangle DEFD E F and it is well known that the orthocenter of an acute triangle DEFD E F is the incenter of its orthic triangle.

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.