Olympiad Maths Prep

Track / Stage 7 / 4 of 300 #1404 of 2000

Problem 1404

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.0 Prove it

Let p p be a prime number, p̸\equal3 p\not \equal{} 3, and integers a,b a,b such that pa+bp\mid a+b and p2a3\plusb3 p^2\mid a^3 \plus{} b^3. Prove that p2a\plusb p^2\mid a \plus{} b or p3a3\plusb3 p^3\mid a^3 \plus{} b^3.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Given that p p is a prime number, p3 p \neq 3 , and integers a a and b b such that pa+b p \mid a + b and p2a3+b3 p^2 \mid a^3 + b^3 , we need to prove that p2a+b p^2 \mid a + b or p3a3+b3 p^3 \mid a^3 + b^3 .

1. **Express a3+b3 a^3 + b^3 in terms of a+b a + b :**
a3+b3=(a+b)(a2ab+b2) a^3 + b^3 = (a + b)(a^2 - ab + b^2)
Since pa+b p \mid a + b , we can write a+b=kp a + b = kp for some integer k k .

2. **Substitute a+b=kp a + b = kp into the equation:**
a3+b3=kp(a2ab+b2) a^3 + b^3 = kp(a^2 - ab + b^2)
Given p2a3+b3 p^2 \mid a^3 + b^3 , we have:
p2kp(a2ab+b2) p^2 \mid kp(a^2 - ab + b^2)
Since p p is a prime and pkp p \mid kp , it follows that pk p \mid k or p(a2ab+b2) p \mid (a^2 - ab + b^2) .

3. **Case 1: pk p \mid k :**
If pk p \mid k , then k=mp k = mp for some integer m m . Thus:
a+b=kp=mp2 a + b = kp = mp^2
Therefore, p2a+b p^2 \mid a + b .

4. **Case 2: p(a2ab+b2) p \mid (a^2 - ab + b^2) :**
If p(a2ab+b2) p \mid (a^2 - ab + b^2) , then:
a2ab+b20(modp) a^2 - ab + b^2 \equiv 0 \pmod{p}
Since pa+b p \mid a + b , we can write b=a(modp) b = -a \pmod{p} . Substituting b=a b = -a into the equation:
a2a(a)+(a)2=a2+a2+a2=3a2 a^2 - a(-a) + (-a)^2 = a^2 + a^2 + a^2 = 3a^2
Thus:
3a20(modp) 3a^2 \equiv 0 \pmod{p}
Since p3 p \neq 3 , pa p \mid a . Let a=np a = np for some integer n n . Then:
b=anp(modp) b = -a \equiv -np \pmod{p}
Substituting a=np a = np and b=np b = -np into a3+b3 a^3 + b^3 :
a3+b3=(np)3+(np)3=n3p3n3p3=0 a^3 + b^3 = (np)^3 + (-np)^3 = n^3p^3 - n^3p^3 = 0
Therefore, p3a3+b3 p^3 \mid a^3 + b^3 .

In conclusion, we have shown that either p2a+b p^2 \mid a + b or p3a3+b3 p^3 \mid a^3 + b^3 .

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.