Given a line in the plane. Suppose and are two distinct points on the same side of the line . Prove that: the line is not perpendicular to if and only if there exists a unique point on such that for any point on the line , .
Solution
First, if is parallel to , draw the perpendicular bisector of meeting at , and draw the circumscribed circle of . Then, for any point on other than , let meet circle at , then . Hence there exists a unique point satisfying the condition of the problem.
Next, if is not parallel to , let the line meet the line at . It is easy to see that there exist in the plane exactly two circles and , both passing through the points and , and tangent to . Let these two circles be tangent to at and respectively.
Now, without loss of generality assume , then for any point on the line other than and ,
(i) if is on the same side as , let meet circle at , then .
(ii) if is on the same side as , let meet circle at , then .
Therefore, there exists a unique point satisfying the condition of the problem, if and only if , if and only if is not perpendicular to .