MathLabs

Problem 4

Let ABCD be a convex quadrilateral such that CD is tangent to the circle with diameter AB. Prove that AB is tangent to the circle with diameter CD if and only if BC∥ADBC\parallel AD.
Step 2 of 5: Step 2
MT=MA,△OMT∼△ONSMT=MA,\quad \triangle OMT\sim\triangle ONS
Detailed analysis

When ABAB and CDCD meet at OO, let M,NM,N be the midpoints of AB,CDAB,CD, and let S,TS,T be the perpendicular feet from N,MN,M to AB,CDAB,CD, respectively. The given tangency gives MT=MAMT=MA, while the right triangles OMTOMT and ONSONS are similar.