返回题库

AIME 1989 · 第 9 题

AIME 1989 — Problem 9

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

One of Euler's conjectures was disproved in the 1960s by three American mathematicians when they showed there was a positive integer such that

1335+1105+845+275=n5.133^5+110^5+84^5+27^5=n^{5}. Find the value of nn.

解析

Solution 1 (FLT, CRT, Inequalities)

Taking the given equation modulo 2,3,2,3, and 5,5, respectively, we have

n50(mod2),n50(mod3),n54(mod5).\begin{aligned} n^5&\equiv0\pmod{2}, \\ n^5&\equiv0\pmod{3}, \\ n^5&\equiv4\pmod{5}. \end{aligned} By either Fermat's Little Theorem (FLT) or inspection, we get

n0(mod2),n0(mod3),n4(mod5).\begin{aligned} n&\equiv0\pmod{2}, \\ n&\equiv0\pmod{3}, \\ n&\equiv4\pmod{5}. \end{aligned} By either the Chinese Remainder Theorem (CRT) or inspection, we get n24(mod30).n\equiv24\pmod{30}.

It is clear that n>133,n>133, so the possible values for nn are 144,174,204,.144,174,204,\ldots. Note that

n5=1335+1105+845+275<1335+1105+(84+27)5=1335+1105+1115<31335,\begin{aligned} n^5&=133^5+110^5+84^5+27^5 \\ &<133^5+110^5+(84+27)^5 \\ &=133^5+110^5+111^5 \\ &<3\cdot133^5, \end{aligned} from which (n133)5<3.\left(\frac{n}{133}\right)^5<3.

If n174,n\geq174, then

(n133)5>1.35=1.321.321.3>1.61.61.3=2.561.3>2.51.2=3,\begin{aligned} \left(\frac{n}{133}\right)^5&>1.3^5 \\ &=1.3^2\cdot1.3^2\cdot1.3 \\ &>1.6\cdot1.6\cdot1.3 \\ &=2.56\cdot1.3 \\ &>2.5\cdot1.2 \\ &=3, \end{aligned} which arrives at a contradiction. Therefore, we conclude that n=144.n=\boxed{144}.

~MRENTHUSIASM

Solution 2

Note that nn is even, since the LHS consists of two odd and two even numbers. By Fermat's Little Theorem, we know n5n(mod5).n^5\equiv n\pmod{5}. Hence,

n3+0+4+24(mod5).n\equiv3+0+4+2\equiv4\pmod{5}. Continuing, we examine the equation modulo 3,3,

n11+0+00(mod3).n\equiv1-1+0+0\equiv0\pmod{3}. Thus, nn is divisible by three and leaves a remainder of four when divided by 5.5. It is obvious that n>133,n>133, so the only possibilities are n=144n = 144 or n174.n \geq 174. It quickly becomes apparent that 174174 is much too large, so nn must be 144.\boxed{144}.

~Azjps (Solution)

~MRENTHUSIASM (Reformatting)

Solution 3

We can cheat a little bit and approximate, since we are dealing with such large numbers. As above, n5n(mod5),n^5\equiv n\pmod{5}, and it is easy to see that n5n(mod2).n^5\equiv n\pmod 2. Therefore, 1335+1105+845+2753+0+4+74(mod10),133^5+110^5+84^5+27^5\equiv 3+0+4+7\equiv 4\pmod{10}, so the last digit of nn is 4.4.

We notice that 133,110,84,133,110,84, and 2727 are all very close or equal to multiples of 27.27. We can rewrite n5n^5 as approximately equal to 275(55+45+35+15)=275(4393).27^5(5^5+4^5+3^5+1^5) = 27^5(4393). This means n5275\frac{n^5}{27^5} must be close to 4393.4393.

Note that 134134 will obviously be too small, so we try 144144 and get (14427)5=(163)5.\left(\frac{144}{27}\right)^5=\left(\frac{16}{3}\right)^5. Bashing through the division, we find that 10485762434315,\frac{1048576}{243}\approx 4315, which is very close to 4393.4393. It is clear that 154154 will not give any closer of an answer, given the rate that fifth powers grow, so we can safely assume that 144\boxed{144} is the answer.

Solution 4

In this solution we take advantage of the large numbers and utilize parity properties to give us a very good guess at the answer. The units digits of 1335,1105,845,275133^5, 110^5, 84^5, 27^5 are 3,0,4,7,3, 0, 4, 7, respectively, so the units digit of n5n^5 is 4.4. This tells us nn is even. Since we are dealing with enormous numbers, nn should not be that far from 133.133. Note that nn's units digit is 0,2,4,6,0, 2, 4, 6, or 8.8. When to the power of 5,5, they each give 0,2,4,6,0, 2, 4, 6, and 88 as the units digits. This further clues us that nn ends in 4.4.

Clearly, n>133,n>133, so we start with 134.134. Now we need a way of distinguishing between numbers with units digit 4.4. We can do this by finding the last three digits for each of 1335,1105,845,133^5, 110^5, 84^5, and 275,27^5, which is not that difficult. For 1335,133^5, we have

1335=13321332133689689133721133893(mod1000).\begin{aligned} 133^5&=133^2\cdot133^2\cdot133 \\ &\equiv689\cdot689\cdot133 \\ &\equiv721\cdot133 \\ &\equiv893\pmod{1000}. \end{aligned} By the same reasoning, we get

n5=1335+1105+845+275893+0+424+907224(mod1000).\begin{aligned} n^5&=133^5+110^5+84^5+27^5 \\ &\equiv893+0+424+907 \\ &\equiv224\pmod{1000}. \end{aligned} Note that

1345424(mod1000),1445224(mod1000),1545024(mod1000),1645824(mod1000),1745624(mod1000),1845424(mod1000),1945224(mod1000).\begin{aligned} 134^5&\equiv424\pmod{1000}, \\ 144^5&\equiv224\pmod{1000}, \\ 154^5&\equiv024\pmod{1000}, \\ 164^5&\equiv824\pmod{1000}, \\ 174^5&\equiv624\pmod{1000}, \\ 184^5&\equiv424\pmod{1000}, \\ 194^5&\equiv224\pmod{1000}. \end{aligned} By observations, n=194n=194 is obviously an overestimate. So, the answer is n=144.n=\boxed{144}.

~jackshi2006 (Solution)

~MRENTHUSIASM (Revisions and LaTeX\LaTeX Adjustments)

Solution 5

First, we take mod 22 on both sides to get n50(mod2)    n0(mod2)n^5\equiv 0\pmod{2}\implies n\equiv 0\pmod{2}. Mod 33 gives n50(mod3)    n0(mod3)n^5\equiv 0\pmod{3}\implies n\equiv 0\pmod{3}. Also, mod 55 gives n51(mod5)    n1(mod5)n^5\equiv -1\pmod{5}\implies n\equiv -1\pmod{5} (by FLT). Finally, note that mod 77 gives n52(mod7)    n12(mod7)    n4(mod7)n^5\equiv 2\pmod{7}\implies n^{-1}\equiv 2\pmod{7}\implies n\equiv 4\pmod{7}. Thus,

n0(mod2),n0(mod3),n1(mod5),n4(mod7).\begin{aligned} n&\equiv 0\pmod{2}, \\ n&\equiv 0\pmod{3}, \\ n&\equiv -1\pmod{5}, \\ n&\equiv 4\pmod{7}. \end{aligned} By CRT, n144(mod210)n\equiv 144\pmod{210}, so nn is one of 144,354,...144, 354, .... However, 1335+1105+845+275<41335<(2133)5<3545133^5 + 110^5 + 84^5 + 27^5 < 4\cdot 133^5 < (2\cdot 133)^5 < 354^5, so n<354n < 354. Thus, n=144n = \boxed{144}.

~brainfertilzer

Solution 6 (Brute Force)

We have

n5=1335+1105+845+275=61917364224,n^5 = 133^5 + 110^5 + 84^5 +27^5 = 61917364224, for which n=619173642245=144.n = \sqrt [5]{61917364224} = \boxed{144}.

Solution 7 (Cheese)

By approximation, 11056133110 \approx \frac{5}{6}\cdot133, 8471113384 \approx \frac{7}{11}\cdot133, and 231513323 \approx \frac{1}{5}\cdot133. Adding the fifth power of each fraction of 133133 gives a total of roughly 1.50613351.506\cdot133^5. By testing, we know that the fifth root of this value is less than 1.1133=146.31.1\cdot133=146.3, as 1.15=1.6111.1^5=1.611, meaning we have reduced nn to 133n147133\le{n}\le{147}. The last digit of all four numbers, in order, are 33, 00, 44, and 77, which is gained through writing out the cycles of the last digit up to the fifth power. This means that the answer has a units digit of 44, reducing nn down to either 134134 or 144144. Since the previous cheesing shows obviously that the value is closer to 146.3146.3 than it is to 133133, we know our final answer of 144\boxed{144} is correct.

Cheese solution by juwushu.

Solution 8 (Guesswork or Bash)

We know that a5a(mod10)a^5 \equiv a \pmod{10} for all a. You can prove this later. So we know the number ends with 4. Since 133 is the biggest number, while everything else is small, we can safely assume that it is 144\boxed{144}, because 5th powers vary wildly. It is not 134 because 1105110^5 plays a role in the sum. We can also just take 1305130^5 and the other numbers 1105,805,205110^5, 80^5,20^5, add them up, and we realize that 1405140^5 is close to this. Then we also get 144\boxed{144}

~Aarav22

Remark

We could also take this expression mod 7,7, which would give n4(mod7).n\equiv4\pmod{7}. Then the only reasonable number that works is 144,144, so we could safely assume this is the answer.

~grogg007