Maths Olympiad Prep

Library / /5 of 36

Number theory Difficulty 5.6 AIME, harder Prove it Italy

Let p,qp, q be prime numbers. Prove that, if p+q2p+q^{2} is a perfect square, then the number p2+qnp^{2}+q^{n} is not a perfect square for any positive integer nn.

Solution

Solution:

We write p+q2=a2p+q^{2}=a^{2} with aa a positive integer. Then p=a2q2=(aq)(a+q)p=a^{2}-q^{2}=(a-q)(a+q), and since pp is a prime number the factors aqa-q and a+qa+q must be equal to ±1\pm 1 or to ±p\pm p. Since a+qa+q is a positive number, aqa-q must also be positive, and moreover a+q>aqa+q>a-q, so the only possibility is a+q=p, aq=1a+q=p,\ a-q=1. It follows that a=q+1a=q+1 and p=a2q2=2q+1p=a^{2}-q^{2}=2q+1.

Suppose now, for contradiction, that p2+qnp^{2}+q^{n} is a square, p2+qn=b2p^{2}+q^{n}=b^{2} with bb a positive integer. We have qn=b2p2=(bp)(b+p)q^{n}=b^{2}-p^{2}=(b-p)(b+p), and therefore, since the only divisors of qnq^{n} are of the form ±qi\pm q^{i} with 0in0 \leq i \leq n, we must have bp=qi, b+p=qjb-p=q^{i},\ b+p=q^{j} (as before it is easy to see that both factors are positive) and qiqj=qnq^{i} \cdot q^{j}=q^{n}, that is, i+j=ni+j=n; moreover, since bp<b+pb-p<b+p, we have qi<qjq^{i}<q^{j}. Subtracting the equalities b+p=qj, bp=qib+p=q^{j},\ b-p=q^{i} term by term we obtain 2p=qjqi=qi(qji1)2p=q^{j}-q^{i}=q^{i}\left(q^{j-i}-1\right).

We now distinguish the cases i=0i=0 and i>0i>0.

If i=0i=0 we have bp=1b-p=1 and b+p=qnb+p=q^{n}: then qn=b+p=2p+1=4q+3q^{n}=b+p=2p+1=4q+3, so 3=qn4q=q(qn14)3=q^{n}-4q=q\left(q^{n-1}-4\right). It follows that qq divides 33, so q=3q=3, and simplifying a factor of 33 we arrive at the equation 3n14=13n1=53^{n-1}-4=1 \Rightarrow 3^{n-1}=5, which has no integer solutions.

If instead i>0i>0, from the equation 2p=qi(qji1)2p=q^{i}\left(q^{j-i}-1\right) we obtain q2p=2(2q+1)q2q|2p=2(2q+1) \Rightarrow q|2, that is, q=2, p=2q+1=5q=2,\ p=2q+1=5, and 2p=qi(qj11)10=2i(2ji1)2p=q^{i}\left(q^{j-1}-1\right) \Rightarrow 10=2^{i}\left(2^{j-i}-1\right). It follows that ii is equal to 11 (because 2i2^{i} divides 1010) and that 5=2j115=2^{j-1}-1, but again this equation has no integer 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 it; metadata (topic, difficulty) added by this project.