Point is chosen inside of a non-trapezoid quadrilateral such that . Suppose the angle bisector of meets the -altitude of triangle at , and the angle bisector of meets the -altitude of triangle at . Let and . If the circumcenter of lies on the line , prove that .
Solution
We start our solution with the following lemma.
Lemma. Let be the orthocenter of the triangle and be the intersections of with perpendicular bisectors of and , respectively. If is the intersection of tangents from and to circumcircle of triangle , then .
Proof. Let and be the intersections of the perpendicular bisectors of with and , respectively. According to the pascal's theorem, it suffices to prove that and intersect on the circumcircle of . In doing so, we should prove that . By symmetry, we have
. If we can show , then triangles are similar and we have as desired.
similarly we have , by using law of sines we shall obtain the desired equality.

Now for the original problem, assume that is the orthocenter of and and are the intersections of and with and , respectively. We have and . Therefore,
Hence is cyclic and . Similarly is cyclic and . Let be the intersection of and , we have
Implying that is cyclic. Let be the intersection of tangents from and to the circumcircle of , by Pascal's theorem lies on and by the above lemma we have . If and are two different points then we have , as desired.

If , then it is clear that . Therefore . Similarly , hence the triangle is equilateral and . This implies that and
Analogously, we have , and
But this implies that , a contradiction. ■