Maths Olympiad Prep

Library / /7 of 136

Geometry Difficulty 7.2 National Olympiad, round 2 Prove it Hong Kong

Given a line \ell and four points PP, QQ, RR and SS (in that order) on the line, describe a straight edge (unmarked ruler) and compass construction producing a square ABCDABCD such that PP lies on the line ADAD, QQ on the line BCBC, RR on the line ABAB and SS on the line CDCD.

Solution

Note that we can use compass and ruler to find the perpendicular bisector of two given points. Thus, we can use this to locate the midpoint of two points, and draw the circle having a given segment as a diameter.

Construct the circles with diameter PSPS and QRQR respectively. Construct the midpoints MM and NN of PS\overline{PS} and QR\overline{QR} (using the perpendicular bisectors) such that MM and NN lie on the same side of \ell. Construct the intersection point BB of the line MNMN and (QNR)(QNR), and construct the intersection point DD of the line MNMN and (PMS)(PMS). Also, construct the intersection point AA of PDPD and RBRB, and construct the intersection point CC of SDSD and QBQB. We claim that ABCDABCD is the desired square.

Figure 1

By construction, we already know that PP, QQ, RR, SS lie on ADAD, BCBC, ABAB, CDCD respectively. Since PSPS and QRQR are diameters of the two circles, we easily obtain ADC=ABC=90\angle ADC = \angle ABC = 90^\circ. Also, since MM and NN are the midpoints of PS\overline{PS} and QR\overline{QR}, the line BDBD bisects ADC\angle ADC and ABC\angle ABC. It follows that
ADB=CDB=ABD=CBD=45, \angle ADB = \angle CDB = \angle ABD = \angle CBD = 45^\circ,
which implies BAD=BCD=90\angle BAD = \angle BCD = 90^\circ. Also, as ABD=ADB\angle ABD = \angle ADB, we obtain AB=ADAB = AD. This proves ABCDABCD is a 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.