Maths Olympiad Prep

Library / /31 of 61

Number theory Difficulty 5.6 AIME, harder Prove it Ibero-American Mathematical Olympiad

Problem:
Show that there are infinitely many solutions in positive integers to 2a23a+1=3b2+b2 a^{2} - 3 a + 1 = 3 b^{2} + b.

Solution

Solution:
Put A=a1A = a - 1 and the equation becomes A(2A+1)=b(3b+1)A (2A + 1) = b (3b + 1). Let dd be the greatest common divisor of AA and bb. Put A=dxA = d x, b=dyb = d y. Then x(2dx+1)=y(3dy+1)x (2 d x + 1) = y (3 d y + 1). Since xx and yy are coprime, xx must divide 3dy+13 d y + 1. So put 3dy+1=nx3 d y + 1 = n x. Then 2dx+1=ny2 d x + 1 = n y. Solving for xx and yy in terms of nn and dd we get x=n+3dn26d2x = \frac{n + 3 d}{n^{2} - 6 d^{2}}, y=n+2dn26d2y = \frac{n + 2 d}{n^{2} - 6 d^{2}}.

So we would certainly be home if we could show that there were infinitely many solutions to n26d2=1n^{2} - 6 d^{2} = 1. It is not hard to find the first few: 12602=11^{2} - 6 \cdot 0^{2} = 1, 52622=15^{2} - 6 \cdot 2^{2} = 1, 4926202=149^{2} - 6 \cdot 20^{2} = 1. We notice that 492=252149^{2} = 2 \cdot 5^{2} - 1, so we wonder whether n=24921n = 2 \cdot 49^{2} - 1 might be another solution and indeed we find it gives d=1960=24920d = 1960 = 2 \cdot 49 \cdot 20. This suggests we try (2n21)26(2nd)2=4n44n2+124n2d2=4n2(n26d21)+1=1(2 n^{2} - 1)^{2} - 6 (2 n d)^{2} = 4 n^{4} - 4 n^{2} + 1 - 24 n^{2} d^{2} = 4 n^{2} (n^{2} - 6 d^{2} - 1) + 1 = 1. So there are indeed infinitely many solutions to n26d2=1n^{2} - 6 d^{2} = 1 and we are done.

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.