Maths Olympiad Prep

Library / /274 of 462

Number theory Difficulty 6.0 National Olympiad Prove it Ireland

Find all pairs (m,n)(m, n) of integers that satisfy m2+n2=65m^2 + n^2 = 65. Use this to prove the inequalities
4+410+6265<π<411(3+2+25). \frac{4 + 4\sqrt{10} + 6\sqrt{2}}{\sqrt{65}} < \pi < \frac{4}{11}(3 + \sqrt{2} + 2\sqrt{5}).

Solution

The 16 solutions of x2+y2=65x^2 + y^2 = 65 in integers are
(±8,±1),(±1,±8),(±4,±7),(±7,±4). (\pm 8, \pm 1), (\pm 1, \pm 8), (\pm 4, \pm 7), (\pm 7, \pm 4).

These form the vertices of a hexadecagon. Calculating the perimeter of this hexadecagon gives rise to the lower bound for π\pi as follows. Let P1=(8,1)P_1 = (8, -1), P2=(8,1)P_2 = (8, 1), P3=(7,4)P_3 = (7, 4), P4=(4,7)P_4 = (4, 7), P5=(1,8)P_5 = (1, 8), P6=(1,8)P_6 = (-1, 8) etc. and denote the lengths of the line segments by ai=PiPi+1a_i = |P_i P_{i+1}|, i1i \ge 1. The perimeter of the hexadecagon is then equal to 4a1+8a2+4a34a_1 + 8a_2 + 4a_3 (see diagram).

Figure 1
From the coordinates of the PiP_i we easily obtain a1=2a_1 = 2, a2=10a_2 = \sqrt{10} and a3=32a_3 = 3\sqrt{2}. This shows that the perimeter of the hexadecagon is equal to
8+810+122. 8 + 8\sqrt{10} + 12\sqrt{2}.
Because the circumcircle of the hexadecagon has radius 65\sqrt{65}, we obtain the inequality 8+810+122<2π658 + 8\sqrt{10} + 12\sqrt{2} < 2\pi\sqrt{65} hence
4+410+6265<π. \frac{4 + 4\sqrt{10} + 6\sqrt{2}}{\sqrt{65}} < \pi.
The upper bound is obtained by observing that the circle with equation x2+y2=121/2x^2+y^2 = 121/2 lies inside the hexadecagon. Indeed, because 112<5210<8\frac{11}{\sqrt{2}} < \frac{5}{2}\sqrt{10} < 8, this circle is tangent to P3P4P_3P_4 but does not intersect the line segments P1P2P_1P_2 and P2P3P_2P_3. Hence, its circumference is bounded above by the perimeter of the hexadecagon. This gives the inequality 11π2<8+810+12211\pi\sqrt{2} < 8 + 8\sqrt{10} + 12\sqrt{2}, hence
π<411(3+2+25). \pi < \frac{4}{11} (3 + \sqrt{2} + 2\sqrt{5}).

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.