Let ABCD be an isosceles trapezoid with AB∥CD and BC=AD. The parallel to AD through B meets the perpendicular to AD through D at the point X. Furthermore, the line through A drawn parallel to BD meets the perpendicular to BD through D at the point Y. Prove that the points C,X,D and Y lie on a common circle.
Solution
Solution:
First solution. Let M be the midpoint of the segment AB. Let the parallel to DY through M meet BD at G and the parallel to BD through A at H. From AM=MB one easily concludes HM=MG, and since DY⊥DB is assumed, the quadrilateral DGHY is a rectangle. Both facts together show DM=MY, and in the same way one shows DM=MX. Since the trapezoid ABCD is isosceles, we further have DM=MC, and combining the last three equations immediately shows that the four points C,D,X,Y lie on a common circle about M.
Second solution. Complete the triangle DAB to a parallelogram DAZB. By the construction of X and Y, these two points lie on ZB and ZA respectively, and we have ∠DXZ=∠ZYD=90∘. Thales' theorem now yields that X and Y lie on the circle with diameter DZ. The center of this circle is at the same time the midpoint of the segment DZ, and since in parallelograms the diagonals bisect each other, this coincides with the midpoint of the segment AB. Since the trapezoid ABCD is now assumed to be isosceles, we consequently have DM=MC, which shows that the point C also lies on the circle considered above.
Third solution (sketched, based on an idea of Andreas Gross). Let F=(ABD) be the area of the triangle ABD. We draw about D a circle ω with radius 2F and invert with respect to it. Those familiar with the technique can easily convince themselves that DX′=DA as well as DY′=DB hold, and that from this (DX′Y′)=F follows. Let now C∗ be the intersection point of the line DC and X′Y′, and let H be the foot of the perpendicular dropped from D onto AB. Now the points X′,Y′ have distances AH,BH from the line CD, and from this we obtain (DX′Y′)=(DC∗Y′)−(DC∗X′)=21DC∗⋅(HB−AH)=21DC∗⋅DC. In connection with an equation already given, it follows from this that DC∗⋅DC=2F, from which, with the help of a small positional consideration, one obtains C∗=C′. Accordingly, the three points C′,X′,Y′ lie on a common line, and one easily convinces oneself that this line cannot pass through D. 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.