Problem 3
Convex quadrilateral has . Point is the foot of the perpendicular from to . Points and lie on sides and , respectively, such that lies inside triangle and , . Prove that line is tangent to the circumcircle of triangle .
Step 4 of 6: A midpoint M and the circumcentre O of ABCD
Detailed analysis
Let . Since and , points and are symmetric about line , so is the midpoint of . Because , quadrilateral is cyclic with circumcentre the midpoint of ; then (midline of triangle ), so , and since , line is the perpendicular bisector of , giving .