Maths Olympiad Prep

Library / /17 of 22

Geometry Difficulty 8.8 Shortlist Prove it Germany

Problem:

Let ABCDABCD be an isosceles trapezoid with ABCDAB \parallel CD and BC=AD\overline{BC} = \overline{AD}. The parallel to ADAD through BB meets the perpendicular to ADAD through DD at the point XX. Furthermore, the line through AA drawn parallel to BDBD meets the perpendicular to BDBD through DD at the point YY. Prove that the points C,X,DC, X, D and YY lie on a common circle.

Solution

Solution:

First solution. Let MM be the midpoint of the segment ABAB. Let the parallel to DYDY through MM meet BDBD at GG and the parallel to BDBD through AA at HH. From AM=MB\overline{AM} = \overline{MB} one easily concludes HM=MG\overline{HM} = \overline{MG}, and since DYDBDY \perp DB is assumed, the quadrilateral DGHYDGHY is a rectangle. Both facts together show DM=MY\overline{DM} = \overline{MY}, and in the same way one shows DM=MX\overline{DM} = \overline{MX}. Since the trapezoid ABCDABCD is isosceles, we further have DM=MC\overline{DM} = \overline{MC}, and combining the last three equations immediately shows that the four points C,D,X,YC, D, X, Y lie on a common circle about MM.

Second solution. Complete the triangle DABDAB to a parallelogram DAZBDAZB. By the construction of XX and YY, these two points lie on ZBZB and ZAZA respectively, and we have DXZ=ZYD=90\angle DXZ = \angle ZYD = 90^{\circ}. Thales' theorem now yields that XX and YY lie on the circle with diameter DZDZ. The center of this circle is at the same time the midpoint of the segment DZDZ, and since in parallelograms the diagonals bisect each other, this coincides with the midpoint of the segment ABAB. Since the trapezoid ABCDABCD is now assumed to be isosceles, we consequently have DM=MC\overline{DM} = \overline{MC}, which shows that the point CC also lies on the circle considered above.

Third solution (sketched, based on an idea of Andreas Gross). Let F=(ABD)F = (ABD) be the area of the triangle ABDABD. We draw about DD a circle ω\omega with radius 2F\sqrt{2F} and invert with respect to it. Those familiar with the technique can easily convince themselves that DX=DA\overline{DX'} = \overline{DA} as well as DY=DB\overline{DY'} = \overline{DB} hold, and that from this (DXY)=F(DX'Y') = F follows. Let now CC^* be the intersection point of the line DCDC and XYX'Y', and let HH be the foot of the perpendicular dropped from DD onto ABAB. Now the points X,YX', Y' have distances AH,BH\overline{AH}, \overline{BH} from the line CDCD, and from this we obtain (DXY)=(DCY)(DCX)=12DC(HBAH)=12DCDC(DX'Y') = (DC^*Y') - (DC^*X') = \frac{1}{2} \overline{DC^*} \cdot (\overline{HB} - \overline{AH}) = \frac{1}{2} \overline{DC^*} \cdot \overline{DC}. In connection with an equation already given, it follows from this that DCDC=2F\overline{DC^*} \cdot \overline{DC} = 2F, from which, with the help of a small positional consideration, one obtains C=CC^* = C'. Accordingly, the three points C,X,YC', X', Y' lie on a common line, and one easily convinces oneself that this line cannot pass through DD. This implies the claim.

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 de; metadata (topic, difficulty) added by this project.