Maths Olympiad Prep

Library / India — Team Selection Test /47 of 77

India — Team Selection Test, 2013

Geometry Difficulty 6.3 National Olympiad Prove it India

In a triangle ABCABC, with AB≠BCAB \neq BC, EE is a point on the line ACAC such that BEBE is perpendicular to ACAC. A circle passing through AA and touching the line BEBE at a point P≠BP \neq B intersects the line ABAB for the second time at XX. Let QQ be a point on the line PBPB different from PP such that BQ=BPBQ = BP. Let YY be the point of intersection of the lines CPCP and AQAQ. Prove that the points C,X,Y,AC, X, Y, A are concyclic if and only if CXCX is perpendicular to ABAB.

Solution

We need the following well-known result.
Lemma. In a triangle KLMKLM with KL≠KMKL \neq KM, RR is a point on the LMLM such that KRKR is perpendicular to LMLM. Let UU be a point on the line KRKR. Let the lines LULU and MUMU intersect KMKM and KLKL, respectively, at SS and TT respectively. Then L,T,S,ML, T, S, M are concyclic if and only if UU is the orthocenter of triangle KLMKLM.

Suppose that C,X,Y,AC, X, Y, A are concyclic. Let the lines APAP and CQCQ intersect at ZZ. Since BP=BQBP = BQ we have BQ2=BX⋅BABQ^2 = BX \cdot BA, so BQBQ is tangent to the circumcircle of triangle AXQAXQ. Hence ∠BQX=∠XAQ=∠XCY\angle BQX = \angle XAQ = \angle XCY. Therefore the points Q,X,P,CQ, X, P, C are concyclic. Further, ∠XAP=∠XPQ=∠XCQ\angle XAP = \angle XPQ = \angle XCQ. Adding the two we get ∠YCZ=∠YAZ\angle YCZ = \angle YAZ. This proves that the points A,Y,Z,CA, Y, Z, C are concyclic. Applying the lemma to triangle QACQAC we get that PP is the orthocenter of triangle QACQAC. Hence ∠CXA=∠CYA=90∘\angle CXA = \angle CYA = 90^\circ.

For the converse, suppose that CXCX is perpendicular to ABAB. Let the line CPCP intersect the circumcircle of triangle AXCAXC at Y′Y', and let the lines AY′AY' and BPBP intersect at Q′Q'. Note that PP is the orthocenter of triangle Q′ACQ'AC. Hence if APAP intersects Q′CQ'C at ZZ, then ZZ lies on the circle γ\gamma. Note that ∠Q′CX=∠Q′CY′−∠XCY′=∠ZAY′−∠XAY′=∠XAP=∠Q′PX\angle Q'CX = \angle Q'CY' - \angle XCY' = \angle ZAY' - \angle XAY' = \angle XAP = \angle Q'PX. This shows that the points Q′,X,P,CQ', X, P, C are concyclic. Hence ∠XQ′B=∠XCP=∠XAY′\angle XQ'B = \angle XCP = \angle XAY', so BQ′BQ' is tangent to the circumcircle of triangle AXQ′AXQ'. Therefore BQ′2=BX⋅BA=BP2BQ'^2 = BX \cdot BA = BP^2 and hence Q=Q′Q = Q'. This completes the solution. □\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.