Maths Olympiad Prep

Library / /340 of 397

, 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 DPBCDP \perp BC and DQACDQ \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 CMDMCM \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 GEBCGE \parallel BC. It follows that FAC=CBF=EGF\angle FAC = \angle CBF = \angle EGF, so FEGAFEGA is cyclic, too. Hence ACB=AFB=AFG=180AMG=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,000 problems in a working order, from AMC 10 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.