Maths Olympiad Prep

Track / Stage 5 / 9 of 400 #609 of 1964

Problem 609

AIME late
Number theory Difficulty 5.0 Prove it Serbian Mathematical Olympiad · Serbia

Do there exist natural numbers a,ba, b and cc, greater than 2011, such that in decimal notation the following equality holds
(a+b)c=2010,2011? (a+\sqrt{b})^{c}=\ldots 2010,2011 \ldots ?

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.

Next problem →

Official solution

Solution:

We will show that such numbers a,ba, b and cc exist. The number x=(a+b)c+(ab)cx=(a+\sqrt{b})^{c}+(a-\sqrt{b})^{c} is an integer. It is sufficient to choose a,b,ca, b, c so that xx is divisible by 10410^{4} and 7989,7989>(ab)c>7989,79887989,7989> (a-\sqrt{b})^{c}>7989,7988.

For odd cc, the number x=2ac+2(c2)ac2++2(cc1)ax=2 a^{c}+2\binom{c}{2} a^{c-2}+\cdots+2\binom{c}{c-1} a is divisible by aa, so it suffices to take aa which is divisible by 10410^{4}. We achieve the second condition by choosing aa and bb so that 1<ab<7989,79897989,79881<a-\sqrt{b}<\sqrt{\frac{7989,7989}{7989,7988}} — for example, a=108a=10^{8} and b=(a1)21b=(a-1)^{2}-1. Indeed, let cc be the smallest odd natural number for which (ab)c>7989,7988(a-\sqrt{b})^{c}>7989,7988. Such cc is obviously greater than 2011 (in this case c=1797184159)c=1797184159) and (ab)c<7989,7989(a-\sqrt{b})^{c}<7989,7989.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from sr; metadata (topic, difficulty, ordering) added by this project.