MathLabs

Problem 7

In the isosceles trapezoid ABCDABCD with AB∥DCAB\parallel DC and BC=ADBC=AD, let AB=aAB=a, CD=cCD=c, and let the perpendicular distance from AA to CDCD be hh. Show how to construct all points XX on the axis of symmetry such that ∠BXC=∠AXD=90∘\angle BXC=\angle AXD=90^\circ. Find the distance of each such XX from ABAB and from CDCD, and give the condition for such points to exist.
Step 1 of 5: Reduce the right-angle condition using Thales' theorem
In plain words

The two right-angle requirements are really one circle-intersection condition because of symmetry.

∠BXC=90∘  ⟺  X lies on the circle with diameter BC\angle BXC=90^\circ\iff X\text{ lies on the circle with diameter }BC
Detailed analysis

The locus of points subtending a right angle over segment BCBC is the circle with diameter BCBC. Thus a required point XX on the symmetry axis must be an intersection of that circle with the axis. Because the trapezoid is isosceles and the symmetry axis exchanges A↔BA\leftrightarrow B and D↔CD\leftrightarrow C, any such XX also satisfies ∠AXD=90∘\angle AXD=90^\circ.