Browse · MathNet
PrintChina Western Mathematical Olympiad
China geometry
Problem
Consider a square on the complex plane. The complex numbers corresponding to its four vertices are the four roots of some equation of the fourth degree with one unknown and integer coefficients . Find the minimum value of the area of such square. (posed by Xiong Bin)
Solution
Suppose the complex number corresponding to the center of the square is . Then after translating the origin of the complex plane to , the vertices of the square distribute evenly on the circumference. That is, they are the solutions of equation , where is a complex number. Hence,
Comparing the coefficients of terms for with the same degree, we know that , and it is a rational number. Combining further that is an integer, we can see that is an integer. So by using the fact that is an integer, we can show that is also an integer.
The above discussion makes clear of a fact that the four numbers corresponding to the four vertices of this square are roots of integer coefficients equation . Hence, the radius of its circumcircle () is not less than . Therefore, the area of this square is not less than . But the four roots of the equation are corresponding to the four vertices of a square on the complex plane. Hence, the minimum value of the area of the square is .
Comparing the coefficients of terms for with the same degree, we know that , and it is a rational number. Combining further that is an integer, we can see that is an integer. So by using the fact that is an integer, we can show that is also an integer.
The above discussion makes clear of a fact that the four numbers corresponding to the four vertices of this square are roots of integer coefficients equation . Hence, the radius of its circumcircle () is not less than . Therefore, the area of this square is not less than . But the four roots of the equation are corresponding to the four vertices of a square on the complex plane. Hence, the minimum value of the area of the square is .
Final answer
2
Techniques
Complex numbers in geometryPolynomial operationsRoots of unity