Maths Olympiad Prep

Library / /26 of 65

Number theory Difficulty 5.9 AIME, harder Prove it Bulgaria

Problem:
Let pp be a prime number such that p2p^2 divides 2p112^{p-1}-1. Prove that for any positive integer nn the integer (p1)(p!+2n)(p-1)\left(p!+2^{n}\right) has at least three distinct prime divisors.

Solution

Solution:
Since p1p-1 is a divisor of p!p! the greatest common divisor of p1p-1 and p!+2np!+2^{n} is a power of two. We shall show that both numbers p1p-1 and p!+2np!+2^{n} have at least one odd divisor.

Suppose that p1=2kp-1=2^{k}, i.e. p=2k+1p=2^{k}+1. If s3s \geq 3 is an odd divisor of kk then
p=2st+1=(2t+1)Ap=2^{s t}+1=\left(2^{t}+1\right) A, i.e. pp is not a prime number. Therefore k=2tk=2^{t} giving
2p11=22k1=(22k11)(22k1+1)==(22t1)(22t+1)(22t+1+1)(22k1+1) \begin{aligned} 2^{p-1}-1 & =2^{2^{k}}-1=\left(2^{2^{k-1}}-1\right)\left(2^{2^{k-1}}+1\right)=\cdots \\ & =\left(2^{2^{t}}-1\right)\left(2^{2^{t}}+1\right)\left(2^{2^{t+1}}+1\right) \ldots\left(2^{2^{k-1}}+1\right) \end{aligned}
It is clear that p2p^{2} does not divide the above product since (22t+1,22l+1)=1\left(2^{2^{t}}+1,2^{2^{l}}+1\right)=1 when l>tl>t, and 22t1<p=22t+12^{2^{t}}-1<p=2^{2^{t}}+1. Therefore p1p-1 is not a power of 2.

Suppose that p!+2n=2kp!+2^{n}=2^{k}, giving k>nk>n and p!=2n(2kn1)p!=2^{n}\left(2^{k-n}-1\right). Then pp is a divisor of 2m12^{m}-1, where m=knm=k-n. Let tt be the least positive integer such that pp divides 2t12^{t}-1. Then tt is a divisor of mm and tt is a divisor of p1p-1. If p1=ltp-1=l t then
2p11=(2t1)(2t(l1)+2t(l2)++2t+1) 2^{p-1}-1=\left(2^{t}-1\right)\left(2^{t(l-1)}+2^{t(l-2)}+\cdots+2^{t}+1\right)
Since 2t1(modp)2^{t} \equiv 1(\bmod p) we have 2t(l1)+2t(l2)++2t+1l≢0(modp)2^{t(l-1)}+2^{t(l-2)}+\cdots+2^{t}+1 \equiv l \not \equiv 0(\bmod p). Therefore p2p^{2} is a divisor of 2t12^{t}-1 which implies that p2p^{2} is a divisor of 2m12^{m}-1, i.e. p2p^{2} is a divisor of p!p!, a contradiction.

Thus, both p1p-1 and p!+2np!+2^{n} have at least one odd divisor and these divisors are distinct. Therefore the product (p1)(p!+2n)(p-1)\left(p!+2^{n}\right) has at least three distinct prime divisors.

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.