Maths Olympiad Prep

Track / Stage 7 / 65 of 300 #1465 of 1964

Problem 1465

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

Given that mm and nn are positive integers with property:
(mn)(m2010+n2010+n)(mn)\mid(m^{2010}+n^{2010}+n)
Show that there exists a positive integer kk such that n=k2010n=k^{2010}

Nanang Susyanto, Yogyakarta

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Given that m m and n n are positive integers with the property:
(mn)(m2010+n2010+n) (mn) \mid (m^{2010} + n^{2010} + n)
we need to show that there exists a positive integer k k such that n=k2010 n = k^{2010} .

1. **Express m m and n n in terms of their greatest common divisor:**
Let gcd(m,n)=d\gcd(m, n) = d. Then we can write:
m=adandn=bd m = ad \quad \text{and} \quad n = bd
where gcd(a,b)=1\gcd(a, b) = 1.

2. **Substitute m m and n n into the given divisibility condition:**
(mn)(m2010+n2010+n) (mn) \mid (m^{2010} + n^{2010} + n)
Substituting m=ad m = ad and n=bd n = bd , we get:
(adbd)((ad)2010+(bd)2010+bd) (ad \cdot bd) \mid ((ad)^{2010} + (bd)^{2010} + bd)
Simplifying, we have:
(abd2)(a2010d2010+b2010d2010+bd) (abd^2) \mid (a^{2010}d^{2010} + b^{2010}d^{2010} + bd)

3. Simplify the divisibility condition:
abd2d2010(a2010+b2010)+bd abd^2 \mid d^{2010}(a^{2010} + b^{2010}) + bd
Dividing both sides by d2 d^2 , we get:
abd2008(a2010+b2010)+b ab \mid d^{2008}(a^{2010} + b^{2010}) + b

4. Analyze the divisibility:
Since abd2008(a2010+b2010)+b ab \mid d^{2008}(a^{2010} + b^{2010}) + b , and gcd(a,b)=1 \gcd(a, b) = 1 , a a must divide b b . Therefore, ab a \mid b .

5. **Consider the implications of ab a \mid b :**
Since gcd(a,b)=1 \gcd(a, b) = 1 , the only possibility is a=1 a = 1 . Thus, m=d m = d and n=bd n = bd .

6. **Substitute a=1 a = 1 into the simplified condition:**
bd2008(1+b2010)+b b \mid d^{2008}(1 + b^{2010}) + b
Simplifying further, we get:
bd2008+1 b \mid d^{2008} + 1

7. **Conclude the form of b b :**
Since b b must divide d2008+1 d^{2008} + 1 , and b b is a positive integer, the simplest solution is b=1 b = 1 . Therefore, n=d2010 n = d^{2010} .

8. **Define k k :**
Let k=d k = d . Then n=k2010 n = k^{2010} .

Thus, we have shown that there exists a positive integer k k such that n=k2010 n = k^{2010} .

\blacksquare

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