Maths Olympiad Prep

Library / Bulgarian Mathematical Olympiad /24 of 58

Bulgarian Mathematical Olympiad

Number theory Difficulty 5.9 AIME, harder Prove it Bulgaria

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

Solution

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

Suppose that p−1=2kp-1=2^{k}, i.e. p=2k+1p=2^{k}+1. If s≥3s \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
2p−1−1=22k−1=(22k−1−1)(22k−1+1)=⋯=(22t−1)(22t+1)(22t+1+1)…(22k−1+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 22t−1<p=22t+12^{2^{t}}-1<p=2^{2^{t}}+1. Therefore p−1p-1 is not a power of 2.

Suppose that p!+2n=2kp!+2^{n}=2^{k}, giving k>nk>n and p!=2n(2k−n−1)p!=2^{n}\left(2^{k-n}-1\right). Then pp is a divisor of 2m−12^{m}-1, where m=k−nm=k-n. Let tt be the least positive integer such that pp divides 2t−12^{t}-1. Then tt is a divisor of mm and tt is a divisor of p−1p-1. If p−1=ltp-1=l t then
2p−1−1=(2t−1)(2t(l−1)+2t(l−2)+⋯+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 2t≡1( mod p)2^{t} \equiv 1(\bmod p) we have 2t(l−1)+2t(l−2)+⋯+2t+1≡l≢0( mod p)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 2t−12^{t}-1 which implies that p2p^{2} is a divisor of 2m−12^{m}-1, i.e. p2p^{2} is a divisor of p!p!, a contradiction.

Thus, both p−1p-1 and p!+2np!+2^{n} have at least one odd divisor and these divisors are distinct. Therefore the product (p−1)(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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.