Maths Olympiad Prep

Library / Selection Examinations for the IMO /28 of 37

Selection Examinations for the IMO

Geometry Difficulty 8.6 Shortlist Prove it Slovenia

Let ABCDEFABCDEF be a cyclic hexagon, such that ADAD is the diameter of its circumcircle and the lines BFBF and CECE are parallel. Let KK be the intersection of the segments ACAC and BDBD, let LL be the intersection of the segments AEAE and DFDF and let MM be the midpoint of the segment KLKL. Prove that ∣MC∣=∣ME∣|MC| = |ME|.

Solution

The segments BFBF and CECE are parallel, so the quadrilateral FBCEFBCE is an isosceles trapezoid and ∣BC∣=∣EF∣|BC| = |EF|. The inscribed angles over the chords BCBC and EFEF are equal, ∠EDF=∠BDC\angle EDF = \angle BDC. Let ∠EDF=α\angle EDF = \alpha. The segment ADAD is the diameter of a circle, so by Thales' theorem we have ∠AED=π2=∠DCA\angle AED = \frac{\pi}{2} = \angle DCA. From here we get ∠ELD=π2−∠EDL=π2−α\angle ELD = \frac{\pi}{2} - \angle EDL = \frac{\pi}{2} - \alpha, so ∠ELF=π2+α\angle ELF = \frac{\pi}{2} + \alpha. Similarly, ∠DKC=π2−∠KDC=π2−α\angle DKC = \frac{\pi}{2} - \angle KDC = \frac{\pi}{2} - \alpha, so ∠CKB=π2+α\angle CKB = \frac{\pi}{2} + \alpha.

Figure 1

We have shown that ∠ELF=∠CKB\angle ELF = \angle CKB and ∣BC∣=∣EF∣|BC| = |EF|. The angles ∠ELF\angle ELF and ∠CKB\angle CKB over the two chords EFEF and BCBC of equal length are equal. If we somehow map the triangle ELFELF so that EE gets mapped to CC, FF gets mapped to BB and the image of LL lies on the same side of the line BCBC as KK, then we will get a cyclic quadrilateral. The mapping with these properties is the reflection over the line of symmetry of the trapezoid FBCEFBCE. Denote this line by ℓ\ell.

Let K′K' be the image of the point KK and let L′L' be the image of the point LL under the reflection over ℓ\ell. Obviously, ℓ\ell is the line of symmetry of the quadrilateral LL′KK′LL'KK'. This quadrilateral is an isosceles trapezoid (because LL′LL' and KK′KK' are parallel). Its diagonals KLKL and K′L′K'L' intersect on ℓ\ell. We wish to show that the intersection of the diagonals is also the midpoint of each of them, which means we wish to show that LL′KK′LL'KK' is a rectangle. It suffices to show that the segment L′KL'K is parallel to ℓ\ell.

Let A′A' be the image of AA and let D′D' be the image of DD under the reflection over ℓ\ell. The point L′L' is the intersection of the lines BD′BD' and A′CA'C. Since A′BCDA'BCD is a cyclic quadrilateral, we have ∠A′DB=∠A′CB\angle A'DB = \angle A'CB. The points K,L′,BK, L', B and CC are concyclic, so ∠L′KB=∠L′CB=∠A′CB\angle L'KB = \angle L'CB = \angle A'CB. Hence, ∠A′DB=∠L′KB\angle A'DB = \angle L'KB and the line KL′KL' is parallel to the line A′DA'D. The quadrilateral AA′DD′AA'DD' is a rectangle (the reflection makes it so that the segment AA′AA' is parallel to the segment DD′DD', but ADAD and A′D′A'D' are the diameters, so ∠AD′D=π/2\angle AD'D = \pi/2 and ∠A′DD′=π/2\angle A'DD' = \pi/2). So, the segment A′DA'D is parallel to ℓ\ell, which implies that KL′∥ℓKL' \parallel \ell. So, LL′KK′LL'KK' is a rectangle and its diagonals bisect each other. Their intersection lies on ℓ\ell. Since MM lies on ℓ\ell the distances of MM to the points CC and EE are the same.

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.