Maths Olympiad Prep

Library / /59 of 129

Geometry Difficulty 5.0 AIME, harder Prove it Slovenia

Let the bisectors of the angles CAD\angle CAD and ADB\angle ADB intersect the circumcircle of a cyclic quadrilateral ABCDABCD at PP and QQ. The lines APAP and DQDQ intersect at RR, and the lines CQCQ and BPBP intersect at SS. Prove that the lines PQPQ and RSRS are perpendicular.

Solution

Since the quadrilateral AQPDAQPD is cyclic, we have RPQ=APQ=ADQ\angle RPQ = \angle APQ = \angle ADQ. Since DQDQ bisects the angle ADBADB, we get ADQ=QDB\angle ADQ = \angle QDB. Since the quadrilateral QBPDQBPD is cyclic, we have QDB=QPB=QPS\angle QDB = \angle QPB = \angle QPS. Thus, RPQ=QPS\angle RPQ = \angle QPS.

Similarly, since QBPDQBPD is cyclic, we get PQR=PQD=PBD\angle PQR = \angle PQD = \angle PBD. The line BPBP intersects the angle CBD\angle CBD, so PBD=CBP\angle PBD = \angle CBP. Since QBCPQBCP is a cyclic quadrilateral, we have CBP=CQP=SQP\angle CBP = \angle CQP = \angle SQP. Thus PQR=SQP\angle PQR = \angle SQP.
The triangles SPQSPQ and RPQRPQ have congruent angles and a common side, so they are congruent. Hence, the quadrilateral PRQSPRQS is a deltoid, which implies that PQRSPQ \perp RS.

Figure 1

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.