Maths Olympiad Prep

Library / /6 of 36

Geometry Difficulty 5.4 AIME, harder Prove it Saudi Arabia

Let ABCABC be a triangle inscribed in circle (O)(O) with A=45\angle A = 45^\circ. Two rays BOBO, COCO intersect ACAC, ABAB at EE, FF respectively. The circumcircles of triangles BOCBOC and EOFEOF intersect at KK. Let JJ be circumcenter of triangle AEFAEF. Prove that JKJK passes through the orthocenter of triangle ABCABC.

Solution

We have
BOC+EOF=90+90=180 \angle BOC + \angle EOF = 90^\circ + 90^\circ = 180^\circ
so according to the familiar property of isogonal conjugates in quadrilaterals, we see that there exists a point OO' which is the isogonal conjugate of OO in BFECBFEC. On the other hand, BHBH, BOBO and CHCH, COCO are isogonal pairs in the angles B\angle B, C\angle C so clearly OHO' \equiv H. It follows that BFH=OFE\angle BFH = \angle OFE and CEH=OEF\angle CEH = \angle OEF.
Suppose JHJH intersects the circle (EJF)(EJF) at point KK.

Figure 1

We will prove that KK belongs to the circle (BOCBOC). Indeed, we have HBF=45=JEF=JKF\angle HBF = 45^\circ = \angle JEF = \angle JKF so FF, KK, HH, BB are congruent. Similarly, EE, KK, HH, CC are congruent.
It follows that
BKC=BKH+CKH=BFH+CEH=OFE+OEF=90. \angle BKC = \angle BKH + \angle CKH = \angle BFH + \angle CEH = \angle OFE + \angle OEF = 90^\circ.
From here it follows that KK belongs to BOCBOC.
\boxed{}

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.