Maths Olympiad Prep

Library / /941 of 1394

, 2025

Geometry Difficulty 5.4 AIME, harder Prove it United States

Problem:

Let ABC\triangle ABC be an acute triangle with orthocenter HH. Points EE and FF are on segments AC\overline{AC} and AB\overline{AB}, respectively, such that EHF=90\angle EHF = 90^\circ. Let XX be the foot of the altitude from HH to EF\overline{EF}. Prove that BXC=90\angle BXC = 90^\circ.

Solutions — 3

Solution 1

Solution:

Figure 1

We use \angle to denote directed angles. Let YY and ZZ be the feet of the altitudes from BB and CC to ACAC and ABAB, respectively. Then HZF=HXF=90\angle HZF = \angle HXF = 90^\circ, so HZFXHZFX is cyclic. Similarly, HYEXHYEX is cyclic. Therefore,

BYX=HYX=HEX=FHX=FZX=BZX. \angle BYX = \angle HYX = \angle HEX = \angle FHX = \angle FZX = \angle BZX.
Hence, BZXYBZXY is cyclic. A symmetric argument shows CC lies on this circle as well. It follows that BXC=BYC=90\angle BXC = \angle BYC = 90^\circ, as desired.

Solution 2

Solution:

Let TT be the foot of altitude from AA to BCBC. For any point XX, let XX' denote the image of XX under the negative inversion at HH with radius HAHT\sqrt{HA \cdot HT}. Then BB' and CC' are the feet of the altitudes from BB and CC to sides ACAC and ABAB, respectively.

Claim 1. BXC=90\angle BX'C = 90^\circ.

Proof. Because HXEFHX \perp EF and HEHFHE \perp HF, the quadrilateral HEXFHE'X'F' is a rectangle. Note that BEH=EBH=90\angle BE'H = \angle EB'H = 90^\circ and XEH=90\angle X'E'H = 90^\circ. Consequently, X,BX', B, and EE' are collinear. Similarly, X,CX', C, and FF' are collinear. Then, BXC=EXF=90\angle BX'C = \angle E'X'F' = 90^\circ, as desired. \square

From the claim, XX' lies on the circle with diameter BCBC (which BB' and CC' also lie on). Since this circle is invariant under the inversion, XX lies on the circle with diameter BCBC as well, and BXC=90\angle BXC = 90^\circ.

Figure 2

Solution 3

Solution:

We begin by proving the following lemma.

Lemma 2. Let ABCDABCD be a quadrilateral and PP be a point such that APB+CPD=180\angle APB + \angle CPD = 180^\circ. Then, the feet of the altitudes from PP to each side of ABCDABCD are concyclic.

Proof. Let PA,PB,PC,PDP_A, P_B, P_C, P_D be the feet of the altitudes from PP to ABAB, BCBC, CDCD, and DADA respectively. Note that quadrilateral PAPPBBP_AP P_BB is cyclic. By angle chasing,

PDPAPB+PBPCPD=PDPAP+PPAPB+PBPCP+PPCPD=PDAP+PBPB+PBCP+PDPD=(180APD)+(180BPC)=BPA+DPC=180. \angle P_D P_A P_B + \angle P_B P_C P_D = \angle P_D P_A P + \angle P P_A P_B + \angle P_B P_C P + \angle P P_C P_D \\ \qquad = \angle P_D A P + \angle P B P_B + \angle P_B C P + \angle P D P_D \\ \qquad = (180^\circ - \angle APD) + (180^\circ - \angle BPC) \\ \qquad = \angle BPA + \angle DPC \\ \qquad = 180^\circ.
Therefore, PAPBPCPDP_A P_B P_C P_D is cyclic as desired.

Figure 3

Let PP_{\infty} be the point at infinity on line ACAC. Let YY and ZZ be the feet of the altitudes from HH to ABAB and ACAC, respectively. Note that EHF+BHP=90+90=180\angle EHF + \angle BHP_{\infty} = 90^\circ + 90^\circ = 180^\circ. Thus, the feet of the altitudes from HH to EFEF, EBEB, BPBP_{\infty}, and CPCP_{\infty} are concyclic. In other words, XYZBXYZB is cyclic. Since BCYZBCYZ is a cyclic quadrilateral, we conclude XX lies on this circle, giving us that BXC=90\angle BXC = 90^\circ as desired.

Remark. Here's another way to prove the lemma.

It is well known that, with the provided condition, there is a point PP' that is the isogonal conjugate of PP with respect to quadrilateral ABCDABCD. Let PAP_A, PBP_B, PCP_C, and PDP_D be the feet of the altitudes from PP to ABAB, BCBC, CDCD, and DADA, respectively, and let QQ be the foot of the altitude from PP' to ABAB. Because PP and PP' are isogonal conjugates with respect to the triangle formed by lines ABAB, BCBC, and CDCD, we have PAPBPCQP_A P_B P_C Q is cyclic. Similarly, because PP and PP' are also isogonal conjugate with respect to the triangle formed by lines DADA, ABAB, and BCBC, we have PDPAPBQP_D P_A P_B Q is cyclic. Consequently, PAPBPCPDP_A P_B P_C P_D is cyclic as desired.

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.