Maths Olympiad Prep

Library / /1 of 3

Number theory Difficulty 8.2 Shortlist Prove it Taiwan

Determine all pairs (a,p)(a, p) of positive integers with pp prime such that pa+a4p^a + a^4 is a perfect square.

Solution

Let pa+a4=b2p^a + a^4 = b^2 for some positive integer bb. Then we have
pa=b2a4=(b+a2)(ba2). p^a = b^2 - a^4 = (b + a^2)(b - a^2).
Hence both b+a2b + a^2 and ba2b - a^2 are powers of pp.
Let ba2=pxb - a^2 = p^x for some integer xx. Then b+a2=paxb + a^2 = p^{a-x} and ax>xa - x > x. Therefore we have
2a2=(b+a2)(ba2)=paxpx=px(pa2x1). 2a^2 = (b + a^2) - (b - a^2) = p^{a-x} - p^x = p^x(p^{a-2x} - 1).
We shall consider two cases according to whether p=2p = 2 or p2p \neq 2. We let vp(m)v_p(m) denote the pp-adic valuation of mm.

Case 1 (p=2p = 2): In this case,
a2=2x=1(2a2x1)=22v2(a)(2a2x1), a^2 = 2^{x=1}(2^{a-2x} - 1) = 2^{2v_2(a)}(2^{a-2x} - 1),
where the second equality comes from gcd(2,2a2x1)=1\text{gcd}(2, 2^{a-2x} - 1) = 1. So, 2a2x12^{a-2x} - 1 is a square.
If v2(a)>0v_2(a) > 0, the 2a2x2^{a-2x} is also a square. So, 2a2x1=02^{a-2x} - 1 = 0 and a=0a = 0 which is a contradiction.
If v2(a)=0v_2(a) = 0, then x=1x = 1, and a2=2a21a^2 = 2^{a-2} - 1. If a4a \ge 4, the right hand side is congruent to 3 modulo 4, thus cannot be a square. It is easy to see that a=1,2,3a = 1, 2, 3 do not satisfy this condition.
Therefore, we do not get any solutions in this case.

Case 2 (p2p \neq 2): In this case, we have 2vp(a)=x2v_p(a) = x. Let m=vp(a)m = v_p(a). Then we have a2=p2mn2a^2 = p^{2m} \cdot n^2 for some integer n1n \ge 1. So, 2n2=pa2x1=ppmn4m12n^2 = p^{a-2x} - 1 = p^{p^m \cdot n-4m} - 1.
We consider two subcases.

Subcase 2-1 (p5p \ge 5): By induction one can easily prove that pm5m>4mp^m \ge 5^m > 4m for all mm. Then we have
2n2+1=ppmn4m>ppmnpm55m(n1)5n1 2n^2 + 1 = p^{p^m \cdot n - 4m} > p^{p^m \cdot n - p^m} \ge 5^{5^{m \cdot (n-1)}} \ge 5^{n-1}
But by induction, one can easily prove that 5n1>2n2+15^{n-1} > 2n^2 + 1 for all n3n \ge 3. Therefore, we conclude that n=1n = 1 or 22. If n=1n = 1 or 22, then p=3p = 3, which is a contradiction. So there are no solutions in this subcase.

Subcase 2-2 (p=3p = 3): Then we have 2n2+1=33mn4m2n^2 + 1 = 3^{3m \cdot n - 4m}. If m2m \ge 2, one can easily prove by induction that 3m>4m3^m > 4m. Then we have
2n2+1=33mn4m>33m(n1)39(n1) 2n^2 + 1 = 3^{3m \cdot n - 4m} > 3^{3m \cdot (n-1)} \ge 3^{9(n-1)}
By induction, one can easily prove that 39(n1)>2n2+13^{9(n-1)} > 2n^2 + 1 for all n2n \ge 2. Therefore, we conclude that n=1n = 1. Then we have 212+1=33m4m2 \cdot 1^2 + 1 = 3^{3m-4m} hence 3m4m=13^m - 4m = 1. The only solution of this equation is m=2m = 2 in which case we have a=3mn=321=9a = 3^m \cdot n = 3^2 \cdot 1 = 9.
If m1m \le 1, then there are two possible cases: m=0m = 0 or m=1m = 1.
If m=1m = 1, then we have 2n2+1=33n42n^2 + 1 = 3^{3n-4}. By induction, can see that 33n4>2n2+13^{3n-4} > 2n^2 + 1 for all n3n \ge 3. By checking n=1,2n = 1, 2, we only get n=2n = 2 as a solution, this gives a=3mn=312=6a = 3^m \cdot n = 3^1 \cdot 2 = 6.
If m=0m = 0, then we have 2n2+1=3n2n^2 + 1 = 3^n. By induction, can see that 3n>2n2+13^n > 2n^2 + 1 for n3n \ge 3. Checking n=1,2n = 1, 2, we find the solution a=301=1a = 3^0 \cdot 1 = 1 and 302=23^0 \cdot 2 = 2. Therefore, (a,p)=(1,3),(2,3),(6,3),(9,3)(a, p) = (1, 3), (2, 3), (6, 3), (9, 3) are all possible solutions.

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 translated into English from zh; metadata (topic, difficulty) added by this project.