Maths Olympiad Prep

Library / Turkish Mathematical Olympiad /35 of 47

Turkish Mathematical Olympiad

Geometry Difficulty 7.0 National Olympiad Prove it Turkey

Let PP be a point in the interior of a triangle ABCABC that is not on the median belonging to AA and satisfying ∠CAP=∠BCP\angle CAP = \angle BCP. Let BP∩CA={B′}BP \cap CA = \{B'\} and CP∩AB={C′}CP \cap AB = \{C'\}. Let QQ be the second point of intersection of the line APAP and the circumcircle of ABCABC, RR be the point of intersection of the lines B′QB'Q and CC′CC', and SS be the point of intersection of the line B′QB'Q and the line passing through PP parallel to ACAC. Assume that the lines B′C′B'C' and QBQB intersect at a point TT that lies on the opposite side of the line ABAB from CC. Show that ∠BAT=∠BB′Q\angle BAT = \angle BB'Q if and only if SQ=RB′SQ = RB'.

Solution

Since PS∥ACPS \parallel AC and ∠CAP=∠BCP\angle CAP = \angle BCP we have ∠QPC=∠ACB=∠AQB=∠PQB\angle QPC = \angle ACB = \angle AQB = \angle PQB. Therefore BQ∥PCBQ \parallel PC.

We will first show that SQ=RB′SQ = RB' if and only if AB∥B′QAB \parallel B'Q. Since PSPS and AB′AB' are parallel, we have PQPA=SQSB′\frac{PQ}{PA} = \frac{SQ}{SB'}. If SQ=RB′SQ = RB', then PQPA=RB′RQ=PB′PB\frac{PQ}{PA} = \frac{RB'}{RQ} = \frac{PB'}{PB} as BQ∥PCBQ \parallel PC, and hence AB∥B′QAB \parallel B'Q. On the other hand, if AB∥B′QAB \parallel B'Q, then using BQ∥PCBQ \parallel PC we obtain RB′RQ=PB′PB=PQPA=SQSB′\frac{RB'}{RQ} = \frac{PB'}{PB} = \frac{PQ}{PA} = \frac{SQ}{SB'}, and hence SQ=RB′SQ = RB'.

Now we will show that AB∥B′QAB \parallel B'Q if and only if ∠BAT=∠BB′Q\angle BAT = \angle BB'Q. Let AP∩B′C′={U}AP \cap B'C' = \{U\} and let DD be the second point of intersection of the line APAP and the circumcircle of the triangle C′PB′C'PB'. Using PC′∥QTPC' \parallel QT we obtain UDUB′=UC′UP=UTUQ\frac{UD}{UB'} = \frac{UC'}{UP} = \frac{UT}{UQ}

and conclude that the triangles TDC′TDC' and QB′PQB'P are similar. In particular, ∠PB′Q=∠C′DT\angle PB'Q = \angle C'DT and ∠DTC′=∠B′QP\angle DTC' = \angle B'QP.

We will show that DD cannot coincide with AA. Suppose it does. Then A,C′,P,B′A, C', P, B' are concyclic and hence C′B′C'B' and BCBC are parallel. Let A′A' be the point of intersection of APAP and BCBC. It follows that the triangles PBA′PBA' and BAA′BAA' are similar, and therefore A′B2=A′P⋅A′AA'B^2 = A'P \cdot A'A. Similarly we obtain A′C2=A′P⋅A′AA'C^2 = A'P \cdot A'A and conclude that A′B=A′CA'B = A'C, which is a contradiction as PP is not on the median belonging to AA.

Let us assume that DD is between AA and UU. A similar argument works if AA is between DD and UU. If ∠BAT=∠BB′Q\angle BAT = \angle BB'Q, then ∠C′AT=∠BAT=∠BB′Q=∠PB′Q=∠C′DT\angle C'AT = \angle BAT = \angle BB'Q = \angle PB'Q = \angle C'DT, and T,A,D,C′T, A, D, C' are concyclic. Therefore ∠PAB=∠DAC′=∠DTC′=∠B′QP\angle PAB = \angle DAC' = \angle DTC' = \angle B'QP and hence AB∥B′QAB \parallel B'Q. On the other hand if AB∥B′QAB \parallel B'Q, then ∠DTC′=∠B′QP=∠DAC′\angle DTC' = \angle B'QP = \angle DAC', and T,A,D,C′T, A, D, C' are concyclic. Therefore ∠BAT=∠C′AT=∠C′DT=∠PB′Q=∠BB′Q\angle BAT = \angle C'AT = \angle C'DT = \angle PB'Q = \angle BB'Q.

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.