Maths Olympiad Prep

Library / /81 of 121

Number theory Difficulty 6.4 National Olympiad Prove it India

Problem:
Find all triples (p,x,y)(p, x, y) such that px=y4+4p^{x} = y^{4} + 4, where pp is a prime and x,yx, y are natural numbers.

Solution

Solution:
We begin with the standard factorisation
y4+4=(y22y+2)(y2+2y+2) y^{4}+4 = \left(y^{2}-2y+2\right)\left(y^{2}+2y+2\right)
Thus we have y22y+2=pmy^{2}-2y+2 = p^{m} and y2+2y+2=pny^{2}+2y+2 = p^{n} for some positive integers mm and nn such that m+n=xm+n = x. Since y22y+2<y2+2y+2y^{2}-2y+2 < y^{2}+2y+2, we have m<nm < n so that pmp^{m} divides pnp^{n}. Thus y22y+2y^{2}-2y+2 divides y2+2y+2y^{2}+2y+2. Writing y2+2y+2=y22y+2+4yy^{2}+2y+2 = y^{2}-2y+2 + 4y, we infer that y22y+2y^{2}-2y+2 divides 4y4y and hence y22y+2y^{2}-2y+2 divides 4y24y^{2}. But
4y2=4(y22y+2)+8(y1) 4y^{2} = 4\left(y^{2}-2y+2\right) + 8(y-1)
Thus y22y+2y^{2}-2y+2 divides 8(y1)8(y-1). Since y22y+2y^{2}-2y+2 divides both 4y4y and 8(y1)8(y-1), we conclude that it also divides 88. This gives y22y+2=1,2,4y^{2}-2y+2 = 1, 2, 4 or 88.
If y22y+2=1y^{2}-2y+2 = 1, then y=1y = 1 and y4+4=5y^{4}+4 = 5, giving p=5p = 5 and x=1x = 1. If y22y+2=2y^{2}-2y+2 = 2, then y22y=0y^{2}-2y = 0 giving y=2y = 2. But then y4+4=20y^{4}+4 = 20 is not the power of a prime. The equations y22y+2=4y^{2}-2y+2 = 4 and y22y+2=8y^{2}-2y+2 = 8 have no integer solutions. We conclude that (p,x,y)=(5,1,1)(p, x, y) = (5, 1, 1) is the only solution.

Alternatively, using y22y+2=pmy^{2}-2y+2 = p^{m} and y2+2y+2=pny^{2}+2y+2 = p^{n}, we may get
4y=pm(pnm1) 4y = p^{m}\left(p^{n-m}-1\right)
If m>0m > 0, then pp divides 44 or yy. If pp divides 44, then p=2p = 2. If pp divides yy, then y22y+2=pmy^{2}-2y+2 = p^{m} shows that pp divides 22 and hence p=2p = 2. But then 2x=y4+42^{x} = y^{4}+4, which shows that yy is even. Taking y=2zy = 2z, we get 2x2=4z4+12^{x-2} = 4z^{4}+1. This implies that z=0z = 0 and hence y=0y = 0, which is a contradiction. Thus m=0m = 0 and y22y+2=1y^{2}-2y+2 = 1. This gives y=1y = 1 and hence p=5,x=1p = 5, x = 1.

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.