Let be a given point inside quadrilateral . Points and are located within such that
Prove that if and only if .
Solutions — 2
Solution 1
We will prove that the lines , , and are either concurrent or all parallel. Let and denote the reflections of across the lines and .
We first claim that and . Indeed, let be the reflection of across . Then , , and
whence and thus . Similarly , and so . In exactly the same way, we see that , establishing the claim. We conclude that line is the perpendicular bisector of the segment .
Now, if , then and it follows that , as desired. If lines and are not parallel, then let denote their intersection. Since , lies on the perpendicular bisector of and thus , and are collinear, as desired.
Solution 2
We approach the problem using isogonal conjugates. Recall that two points and are isogonal conjugates with respect to if , , and , with any two of these equalities implying the third.
If , then there is nothing to prove; thus we assume intersects in a point . Then and are isogonal conjugates with respect to , whence . Similarly, and are isogonal conjugates with respect to , whence . Therefore and the lines , , all intersect at .