Let be a surjective function. Find all complex functions such that for any two complex numbers , we have:
Solution
First, note that by surjectivity, we can find such that , the problem statement then implies . By setting , in the problem statement, we have:
Note that is a function of because if , then according to the above relation, . Knowing the value of at three points , , , the value of is uniquely determined. Because for each point , there is a unique point such that the distance of from
would be equal to the distance of from
According to the relation we obtained, the image of
must be an isosceles right triangle with side length one, any such triangle can be obtained by a reflection across the x-axis, a translation, and a rotation from the triangle with vertices , , . Therefore, or where is on the unit circle. By substituting the first expression and surjectivity in the original problem statement, we have:
If , then the two expressions and can be made equal to any arbitrary two complex numbers, which leads to a contradiction. If , the statement is clearly true. If , then implies . If we substitute the second expression, we have:
Therefore, since can be any arbitrary complex number, it is necessary and sufficient that:
Therefore, the solutions are:
where implies .