MathLabs

Problem 3

Convex quadrilateral ABCDABCD has ∠ABC=∠CDA=90∘\angle ABC=\angle CDA=90^\circ. Point HH is the foot of the perpendicular from AA to BDBD. Points SS and TT lie on sides ABAB and ADAD, respectively, such that HH lies inside triangle SCTSCT and ∠CHS−∠CSB=90∘\angle CHS-\angle CSB=90^\circ, ∠THC−∠DTC=90∘\angle THC-\angle DTC=90^\circ. Prove that line BDBD is tangent to the circumcircle of triangle TSHTSH.
Step 4 of 6: A midpoint M and the circumcentre O of ABCD
M:=KL∩HC  ⟹  M midpoint of HC,OM∥AH⊥BDM := KL \cap HC \implies M \text{ midpoint of } HC, \quad OM \parallel AH \perp BD
Detailed analysis

Let M=KL∩HCM=KL\cap HC. Since KH=KCKH=KC and LH=LCLH=LC, points HH and CC are symmetric about line KLKL, so MM is the midpoint of HCHC. Because ∠ABC=∠ADC=90∘\angle ABC=\angle ADC=90^\circ, quadrilateral ABCDABCD is cyclic with circumcentre OO the midpoint of ACAC; then OM∥AHOM\parallel AH (midline of triangle AHCAHC), so OM⊥BDOM\perp BD, and since OB=ODOB=OD, line OMOM is the perpendicular bisector of BDBD, giving BM=DMBM=DM.