Problem:
Let be a convex quadrilateral such that for some angle . Point lies inside the quadrilateral such that . Prove that .
Solutions — 4
Solution 1
Solution:
Let lines and meet at . Notice that
Therefore, , , , and are concyclic. In particular, this implies that . Thus, bisects . However, notice that is isosceles, so is actually the perpendicular bisector of , implying that .
Solution 2
Solution:
Without loss of generality, let . Draw the circle centered at and passing through and . Let this circle intersect again at point . Then, notice that
implying that . Combining with , we get that quadrilateral is isosceles trapezoid. Since , we have lies on the perpendicular bisector of , which is the same as the perpendicular bisector of , so we are done.
Solution 3
Solution:
Let the perpendicular bisector of intersect at point . Notice that
Similarly, we get that . However, since both and lie on the perpendicular bisector of , implying that .
Solution 4
Solution:
Fix and points , , and . Animate point along the fixed line through . Since has a fixed shape, it follows that moves linearly along a fixed line. Since we want to show that lies on the perpendicular bisector of , which is fixed, it suffices to prove this for only two locations of .
- When , it follows that is an isosceles trapezoid, implying the result.
- When , we notice that
implying that is the circumcenter of , and the result follows.