Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /283 of 395

Saudi Arabian Mathematical Competitions

Geometry Difficulty 6.3 National Olympiad Prove it Saudi Arabia

Let (O)(O) be a circle, and BCBC be a chord of (O)(O) such that BCBC is not a diameter. Let AA be a point on the larger arc BCBC of (O)(O), EE and FF be two feet of the perpendiculars from BB and CC to ACAC, ABAB respectively.

1. Prove that two tangents of (AEF)(AEF) at EE and FF intersect to each other at a fixed point MM when AA moves on the larger arc BCBC of (O)(O).

2. Let TT be the intersection of EFEF and BCBC, HH be the orthocenter of ABCABC. Prove that THTH is perpendicular to AMAM.

Solution

Denote MM as the midpoint of BCBC. Since ∠AEH=∠AFH=90∘\angle AEH = \angle AFH = 90^\circ then A,H,E,FA, H, E, F belong to the same circle and the center of this circle is midpoint NN of AHAH. It is easy to check that NE=NHNE = NH and ME=MBME = MB, so
∠MEN=∠MEB+∠NEB=∠MBE+∠NHE=∠EAH+∠AHE=90∘. \angle MEN = \angle MEB + \angle NEB = \angle MBE + \angle NHE = \angle EAH + \angle AHE = 90^\circ.
Then MEME is the tangent line of (AEF)(AEF) at EE.

By same way, we have FMFM is the tangent line of (AEF)(AEF) at FF. These imply that the tangent lines of (AEF)(AEF) at E,FE, F meet at the fixed point MM.

Figure 1

2) Consider the diameter AA′AA' of (O)(O) then it is easy to see that BHCA′BHC A' is a parallelogram and H,M,A′H, M, A' are collinear.

Suppose that MH∩(O)=D≠A′MH \cap (O) = D \neq A' then ∠ADH=∠ADA′=90∘\angle ADH = \angle ADA' = 90^\circ which means D∈(AEF)D \in (AEF).

By consider three radical axis of three circles (O)(O), (BFEC)(BFEC), (AEHF)(AEHF), we have AD,EF,BCAD, EF, BC are concurrent at TT, which is the radical center. In triangle ATMATM, we have AH⊥TMAH \perp TM and MH⊥ATMH \perp AT, then HH is the orthocenter. From this, we can conclude that TH⊥AMTH \perp AM. □\square

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.