Maths Olympiad Prep

Library / JBMO Shortlist /4 of 27

JBMO Shortlist

Geometry Difficulty 5.0 AIME, harder Prove it JBMO

Problem:

Figure 1

Let ABAB and CDCD be chords in a circle of center OO with A,B,C,DA, B, C, D distinct, and let the lines ABAB and CDCD meet at a right angle at point EE. Let also MM and NN be the midpoints of ACAC and BDBD respectively. If MN⊥OEMN \perp OE, prove that AD∥BCAD \parallel BC.

Solution

Solution:

EE can be inside, or outside the circle (Figure 3) but the proof below holds in both cases; notice that EE cannot be on the circle as A,B,C,DA, B, C, D are distinct. Let lines ACAC and NENE meet at point PP. Then EN=DN=BNEN = DN = BN (median in a right triangle), so ∠PEC=∠NED=∠NDE=∠BDC=∠BAC=∠EAP\angle PEC = \angle NED = \angle NDE = \angle BDC = \angle BAC = \angle EAP. Now AB⊥CDAB \perp CD so EN⊥ACEN \perp AC. But OM⊥ACOM \perp AC so OM∥ENOM \parallel EN. Similarly ON∥EMON \parallel EM so NEMONEMO is a parallelogram (possibly degenerated). As MN⊥OEMN \perp OE, this parallelogram is a rhombus. Then the chords ACAC and BDBD, being equidistant from OO, are equal. Hence their minor arcs are equal, which means that either AD∥BCAD \parallel BC or AB∥CDAB \parallel CD; the latter contradicts the fact that ABAB and CDCD meet at EE.

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.