Maths Olympiad Prep

Library / /41 of 56

Geometry Difficulty 6.5 National Olympiad Prove it JBMO

Problem:
Let ABC\triangle ABC be a right-angled triangle with BAC=90\angle BAC = 90^\circ and let EE be the foot of the perpendicular from AA on BCBC. Let ZAZ \neq A be a point on the line ABAB with AB=BZAB = BZ. Let (c)(c) be the circumcircle of the triangle AEZ\triangle AEZ. Let DD be the second point of intersection of (c)(c) with ZCZC and let FF be the antidiametric point of DD with respect to (c)(c). Let PP be the point of intersection of the lines FEFE and CZCZ. If the tangent to (c)(c) at ZZ meets PAPA at TT, prove that the points T,E,B,ZT, E, B, Z are concyclic.

Solution

Solution:
We will first show that PAPA is tangent to (c)(c) at AA.
Since E,D,Z,AE, D, Z, A are concyclic, then EDC=EAZ=EAB\angle EDC = \angle EAZ = \angle EAB. Since also the triangles ABC\triangle ABC and EBA\triangle EBA are similar, then EAB=BCA\angle EAB = \angle BCA, therefore EDC=BCA\angle EDC = \angle BCA.
Since FED=90\angle FED = 90^\circ, then PED=90\angle PED = 90^\circ and so
EPD=90EDC=90BCA=EAC \angle EPD = 90^\circ - \angle EDC = 90^\circ - \angle BCA = \angle EAC
Therefore the points E,A,C,PE, A, C, P are concyclic. It follows that CPA=90\angle CPA = 90^\circ and therefore the triangle PAZ\triangle PAZ is right-angled. Since also BB is the midpoint of AZAZ, then PB=AB=BZPB = AB = BZ and so ZPB=PZB\angle ZPB = \angle PZB.

Figure 1

Furthermore, EPD=EAC=CBA=EBA\angle EPD = \angle EAC = \angle CBA = \angle EBA from which it follows that the points P,E,B,ZP, E, B, Z are also concyclic.
Now observe that
PAE=PCE=ZPBPBE=PZBPZE=EZB \angle PAE = \angle PCE = \angle ZPB - \angle PBE = \angle PZB - \angle PZE = \angle EZB
Therefore PAPA is tangent to (c)(c) at AA as claimed.
It now follows that TA=TZTA = TZ. Therefore
PTZ=1802(TAB)=1802(PAE+EAB)=1802(ECP+ACB)=1802(90PZB)=2(PZB)=PZB+BPZ=PBA. \begin{aligned} \angle PTZ & = 180^\circ - 2(\angle TAB) = 180^\circ - 2(\angle PAE + \angle EAB) = 180^\circ - 2(\angle ECP + \angle ACB) \\ & = 180^\circ - 2\left(90^\circ - \angle PZB\right) = 2(\angle PZB) = \angle PZB + \angle BPZ = \angle PBA . \end{aligned}
Thus T,P,B,ZT, P, B, Z are concyclic, and since P,E,B,ZP, E, B, Z are also concyclic then T,E,B,ZT, E, B, Z are concyclic as required.

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.