Maths Olympiad Prep

Library / /55 of 91

, 2013

Geometry Difficulty 6.3 National Olympiad Prove it India

In a triangle ABCABC, with ABBCAB \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 PBP \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 KLKMKL \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=BXBABQ^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 YY', and let the lines AYAY' and BPBP intersect at QQ'. Note that PP is the orthocenter of triangle QACQ'AC. Hence if APAP intersects QCQ'C at ZZ, then ZZ lies on the circle γ\gamma. Note that QCX=QCYXCY=ZAYXAY=XAP=QPX\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 XQB=XCP=XAY\angle XQ'B = \angle XCP = \angle XAY', so BQBQ' is tangent to the circumcircle of triangle AXQAXQ'. Therefore BQ2=BXBA=BP2BQ'^2 = BX \cdot BA = BP^2 and hence Q=QQ = Q'. This completes the solution. \square

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.