Y by USA, samrocksnature, RedFlame2112, icematrix2, player01, HWenslawski, megarnie, mathematicsy, jhu08, mathlearner2357, JVAJVA, suvamkonar, ImSh95, son7, mainstain, mathmax12, jmiao, Adventure10, Mango247, Aopsauser9999, FrenchFry99, AlexWin0806, ItsBesi
Points 
lie on a circle 
and point 
lies outside the circle. The given points are such that (i) lines 
and 
are tangent to , (ii) 
are collinear, and (iii) 
. Prove that 
bisects 
.
lie on a circle 
and point 
lies outside the circle. The given points are such that (i) lines 
and 
are tangent to , (ii) 
are collinear, and (iii) 
. Prove that 
bisects 
.
and Z is outside 
Though it's not competition-oriented, I believe it's around the same audience.
be the midpoint of 
.
is cyclic. Let 
Then, 
so 
colinear.
,
.
,
,
By Power of a Point and cyclic quadrilaterals, 
So 
are on the same circle, which implies our desired conclusion.
is similar to 
,
is similar to 
.
.
is a median
be the point at infinity along lines 
and 
,
.
is harmonic,![\[-1 = (A,C ;B , D) \stackrel{E}{=} (A, C; M, P_{\infty}) \]](http://latex.artofproblemsolving.com/3/b/a/3bac455ec07839e6b78f06a8fd19884b103e48b3.png)
so 
is the midpoint of 
,
.
cyclic. Now let 
.
and clearly 
where 
is the center of 
,
and thus 
.
is perpendicular to 
is cyclic.
and the tangent criterion, we have ![\[\angle BMP = \angle BMD = \angle DBP = \angle BOP\]](http://latex.artofproblemsolving.com/a/3/6/a363b3afbc14fcf16302abdb30b3f845fadecc28.png)
as desired.
,
and 
let the center of the circle be 
and let 
so we have 
we have 
from which it follows that 
so we are done. 
and 
be complex numbers corresponding to 
and 
respectively. Then, by the formula for the intersection of tangents, we get 
Then, since 
and 
must have the same measures, so it follows that 
Then, since 
and 
lie on the unit circle while 
we have
Therefore, the midpoint of 
It now suffices to show that 
and 
are collinear. By the complex number collinearity condition, this is equivalent to
concluding the proof. 
,
.
are all concyclic.![\[ \angle{BMP} = \angle{MED} = \angle{BDP}, \]](http://latex.artofproblemsolving.com/2/d/d/2dddfc10aac77de9281ee88e4f3cf7a47c46cf03.png)
where the last part comes from the so-called Tangent Lemma. In particular, 
is a cyclic quadrilateral, so 
.
is clearly cyclic 
)
tells us that 
,
is a symmedian. Also, 
is cyclic with 
,
implies 
,
.
,
is cyclic. But since 
has diameter 
,
and hence 
.
;
is isosceles.
is cyclic. We can do so by proving 
:![\[\angle{BXO} = \angle{BED} = \frac{\overarc{BD}}{2} = \frac{\angle{BOD}}{2} = \angle{BOP}\]](http://latex.artofproblemsolving.com/f/a/7/fa7332189b642ee5ad9f46b558a4b8e5aae1b7d4.png)
,
(this can be shown by proving 
,
,
(as 
by the tangent condition). Since 
and then project through 
onto 
is cyclic and by the 
criterion, 
.
is cyclic. This means 
,
and we're done. 
,
