Maths Olympiad Prep

Library / /430 of 520

Geometry Difficulty 6.0 National olympiad Prove it

11.4. On the coordinate plane, consider the family of all concentric circles centered at the point M(2;3)M(\sqrt{2} ; \sqrt{3}). Prove that there exists a circle in this family, inside which (i.e., inside the disk) there are exactly 2019 points with integer coordinates.

Solution

Solution. First, we will prove that on any circle of the given family, there is no more than one point with integer (and even rational) coordinates. By contradiction, suppose that the rational points M1(x1,y1)M_{1}\left(x_{1}, y_{1}\right) and M2(x2,y2)M_{2}\left(x_{2}, y_{2}\right) lie on a circle of the given family. Then (x12)2+(y13)2=(x22)2+(y23)2\left(x_{1}-\sqrt{2}\right)^{2}+\left(y_{1}-\sqrt{3}\right)^{2}=\left(x_{2}-\sqrt{2}\right)^{2}+\left(y_{2}-\sqrt{3}\right)^{2}. Therefore, 2(x1x2)2+2(y1y2)3=q2\left(x_{1}-x_{2}\right) \sqrt{2}+2\left(y_{1}-y_{2}\right) \sqrt{3}=q, where qq is a rational number. If (x1x2)(y1y2)0\left(x_{1}-x_{2}\right) \cdot\left(y_{1}-y_{2}\right) \neq 0, then squaring the last equality, we get that 6\sqrt{6} is a rational number, which is not true. If one of the differences, for example, x1x2x_{1}-x_{2}, is 0, then for y1y2y_{1} \neq y_{2} we get a contradiction with the irrationality of 3\sqrt{3}. Therefore, there cannot be two different rational points on one circle. Next, note that inside a circle of small radius, there are no integer points (we can take a radius less than the distance from MM to the nearest integer point A(1;2))A(1 ; 2)). On the other hand, if we take a sufficiently large radius (for example, greater than 3000), then inside the circle there will be more than 2019 points. Since, by part a), when the radius is gradually increased, the number of integer points can only increase by one, there will inevitably be a moment when there are exactly 2019 points inside the circle.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.