Consider a convex quadrilateral with
and let be the midpoint of . Show that .
Solutions — 2
Solution 1
Let point be lying on line such that ( is the (other than ) meeting point of the circumcircle of and the line ).
Therefore the quadrilateral is cyclic, so . But , so , hence the quadrilateral is cyclic.
It follows .
Solution 2
We are asked to prove that and are isogonal conjugate, and so, since is median in , that is symmedian in that triangle.
Let be the circumcircle of , and be the circumcircle of , of center . We have , hence , and , hence ; therefore . Since is a diameter for circle , it follows , therefore and are tangent to circle .
A well-known LEMMA states that a symmedian in a triangle () connects the vertex () it originates at with the intersection () of the tangents ( and ) to the circumcircle () of the triangle at the other two vertices ( and ); for us that yields symmedian in .