Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /309 of 359

Taiwan IMO Selection Camp, 2021

Geometry Difficulty 6.9 National Olympiad Prove it Taiwan

Let ABCABC be an isosceles triangle with BC=CABC = CA, and let DD be a point inside side ABAB such that AD<DBAD < DB. Let PP and QQ be two points inside sides BCBC and CACA, respectively, such that ∠DPB=∠DQA=90∘\angle DPB = \angle DQA = 90^\circ. Let the perpendicular bisector of PQPQ meet line segment CQCQ at EE, and let the circumcircles of triangles ABCABC and CPQCPQ meet again at point FF, different from CC.
Suppose that P,E,FP, E, F are collinear. Prove that ∠ACB=90∘\angle ACB = 90^\circ.

Solutions — 2

Solution 1

Let ℓ\ell be the perpendicular bisector of PQPQ, and denote by ω\omega the circle CFPQCFPQ. By DP⊥BCDP \perp BC and DQ⊥ACDQ \perp AC, the circle ω\omega passes through DD; moreover, CDCD is a diameter of ω\omega.

The lines QEQE and PEPE are symmetric about ℓ\ell, and ℓ\ell is a symmetry axis of ω\omega as well; it follows that the chords CQCQ and FPFP are symmetric about ℓ\ell, hence CC and FF are symmetric about ℓ\ell. Therefore, the perpendicular bisector of CFCF coincides with ℓ\ell. Thus ℓ\ell passes through the circumcenter OO of ABCABC.

Let MM be the midpoint of ABAB. Since CM⊥DMCM \perp DM, MM also lies on ω\omega. By ∠ACM=∠BCM\angle ACM = \angle BCM, the chords MPMP and MQMQ of ω\omega are equal. Then, from MP=MQMP = MQ it follows that ℓ\ell passes through MM.

Finally, both OO and MM lie on lines ℓ\ell and CMCM, therefore O=MO = M, and ∠ACB=90∘\angle ACB = 90^\circ follows.

Solution 2

Like in the first solution, we conclude that points C,P,Q,D,FC, P, Q, D, F and the midpoint MM of ABAB lie on one circle ω\omega with diameter CDCD, and MM lies on ℓ\ell, the perpendicular bisector of PQPQ.

Let BFBF and CMCM meet at GG and let α=∠ABF\alpha = \angle ABF. Then, since EE lies on ℓ\ell, and the quadrilaterals FCBAFCBA and FCPQFCPQ are cyclic, we have
∠CQP=∠FPQ=∠FCQ=∠FCA=∠FBA=α. \angle CQP = \angle FPQ = \angle FCQ = \angle FCA = \angle FBA = \alpha.
Since points P,E,FP, E, F are collinear, we have
∠FEM=∠FEQ+∠QEM=2α+(90∘−α)=90∘+α. \angle FEM = \angle FEQ + \angle QEM = 2\alpha + (90^\circ - \alpha) = 90^\circ + \alpha.
But ∠FGM=90∘+α\angle FGM = 90^\circ + \alpha, so FEGMFEGM is cyclic. Hence
∠EGC=∠EFM=∠PFM=∠PCM. \angle EGC = \angle EFM = \angle PFM = \angle PCM.
Thus GE∥BCGE \parallel BC. It follows that ∠FAC=∠CBF=∠EGF\angle FAC = \angle CBF = \angle EGF, so FEGAFEGA is cyclic, too. Hence ∠ACB=∠AFB=∠AFG=180∘−∠AMG=90∘\angle ACB = \angle AFB = \angle AFG = 180^\circ - \angle AMG = 90^\circ, that completes the proof.

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 translated into English from zh; metadata (topic, difficulty) added by this project.