Let be a convex quadrilateral. Let the angle bisectors of and intersect at . The circumcircle of intersects , at , , respectively. Lines and intersect at . Prove that if is perpendicular to then , , are collinear.
(Chesphongphach Buranasilp, Krit Boonsiriseth and Pachara Sawettamalya)
Solutions — 2
Solution 1
We divide our solution into two main steps:
Step 1: Let be the midpoint of and the midpoint of , then , , are collinear.
Proof. We will denote the complex number of each point by its lowercase letter.
Let , . Let , , then and , therefore quadrilateral is cyclic.
Let , , , and . Since is on the angle bisector of both and , and since , and . Thus is a rhombus, hence .

Since is cyclic, . By the angle bisector theorem, and . Therefore for some . It follows that and . Similarly there exists such that and . Therefore
Let be the midpoint of . Clearly , and . Therefore
with , so , , are collinear.
Using the well-known fact that in a complete quadrilateral, the midpoints of three diagonals are collinear, we have , , are collinear. Hence we have , , collinear.
Step 2: Showing that , , are collinear.
Proof. First, since , is the midpoint of arc , so , hence quadrilateral is cyclic.
Let . We have . Since , so , therefore , , are collinear.
Solution 2
(by Kritkorn Karntikoon)
Let , , , , and , and .

First we will show that , or, equivalently, .
From the triangles and we have
Hence,
A similar argument with triangles and yields
Therefore we have
Observe that , so . Therefore
Hence we have proved that . Moreover, since , so . Therefore, is cyclic.
Let intersect the circumcircle of again at . Since is the midpoint of arc , by a well-known lemma, we have , so is cyclic. Therefore and are both the second intersection point of the circumcircles of triangles and , so .