Difference between revisions of "2017 AIME II Problems/Problem 8"

m (Solution 3)
(Added solution)
Line 21: Line 21:
 
-TheUltimate123
 
-TheUltimate123
  
 +
==Step Solution==
 +
Clearly <math>1+n</math> is an integer. The part we need to verify as an integer is, upon common denominator, <math>\frac{360n^2+120n^3+30n^4+6n^5+n^6}{720}</math>. Clearly, the numerator must be even for the fraction to be an integer. Therefore, <math>n^6</math> is even and n is even, aka <math>n=2k</math> for some integer <math>k</math>. Then, we can substitute <math>n=2k</math> and see that <math>\frac{n^2}{2}</math> is trivially integral. Then, substitute for the rest of the non-confirmed-integral terms and get <math>\frac{60k^3+30k^4+12k^5+4k^6}{45}</math>. It is also clear that for this to be an integer, which it needs to be, the numerator has to be divisible by 3. The only term we worry about is the <math>4k^6</math>, and we see that <math>k=3b</math> for some integer <math>b</math>. From there we now know that <math>n=6b</math>. If we substitute again, we see that all parts except the last two fractions are trivially integral. In order for the last two fractions to sum to an integer we see that <math>n^5(6n+1) \cong 0(\mod 5)</math>, so combining with divisibility by 6, <math>n</math> is <math>24</math> or <math>0</math> (mod <math>30</math>). There are <math>67</math> cases for each, hence the answer <math>\boxed{134}</math>.
 
=See Also=
 
=See Also=
 
{{AIME box|year=2017|n=II|num-b=7|num-a=9}}
 
{{AIME box|year=2017|n=II|num-b=7|num-a=9}}
 
{{MAA Notice}}
 
{{MAA Notice}}

Revision as of 19:05, 3 March 2018

Problem

Find the number of positive integers $n$ less than $2017$ such that \[1+n+\frac{n^2}{2!}+\frac{n^3}{3!}+\frac{n^4}{4!}+\frac{n^5}{5!}+\frac{n^6}{6!}\] is an integer.

Solution 1 (Not Rigorous)

Writing the last two terms with a common denominator, we have $\frac{6n^5+n^6}{720} \implies \frac{n^5(6+n)}{720}$ By inspection. this yields that $n \equiv 0, 24 \pmod{30}$. Therefore, we get the final answer of $67 + 67 = \boxed{134}$.

Solution 2

Taking out the $1+n$ part of the expression and writing the remaining terms under a common denominator, we get $\frac{1}{720}(n^6+6n^5+30n^4+120n^3+360n^2)$. Therefore the expression $n^6+6n^5+30n^4+120n^3+360n^2$ must equal $720m$ for some positive integer $m$. Taking both sides mod $2$, the result is $n^6 \equiv 0 \pmod{2}$. Therefore $n$ must be even. If $n$ is even, that means $n$ can be written in the form $2a$ where $a$ is a positive integer. Replacing $n$ with $2a$ in the expression, $64a^6+192a^5+480a^4+960a^3+1440a^2$ is divisible by $16$ because each coefficient is divisible by $16$. Therefore, if $n$ is even, $n^6+6n^5+30n^4+120n^3+360n^2$ is divisible by $16$.

Taking the equation $n^6+6n^5+30n^4+120n^3+360n^2=720m$ mod $3$, the result is $n^6 \equiv 0 \pmod{3}$. Therefore $n$ must be a multiple of $3$. If $n$ is a multiple of three, that means $n$ can be written in the form $3b$ where $b$ is a positive integer. Replacing $n$ with $3b$ in the expression, $729b^6+1458b^5+2430b^4+3240b^3+3240b^2$ is divisible by $9$ because each coefficient is divisible by $9$. Therefore, if $n$ is a multiple of $3$, $n^6+6n^5+30n^4+120n^3+360n^2$ is divisibly by $9$.

Taking the equation $n^6+6n^5+30n^4+120n^3+360n^2=720m$ mod $5$, the result is $n^6+n^5 \equiv 0 \pmod{5}$. The only values of $n (\text{mod }5)$ that satisfy the equation are $n\equiv0(\text{mod }5)$ and $n\equiv4(\text{mod }5)$. Therefore if $n$ is $0$ or $4$ mod $5$, $n^6+6n^5+30n^4+120n^3+360n^2$ will be a multiple of $5$.

The only way to get the expression $n^6+6n^5+30n^4+120n^3+360n^2$ to be divisible by $720=16 \cdot 9 \cdot 5$ is to have $n \equiv 0 \pmod{2}$, $n \equiv 0 \pmod{3}$, and $n \equiv 0 \text{ or } 4 \pmod{5}$. By the Chinese Remainder Theorem or simple guessing and checking, we see $n\equiv0,24 \pmod{30}$. Because no numbers between $2011$ and $2017$ are equivalent to $0$ or $24$ mod $30$, the answer is $\frac{2010}{30}\times2=\boxed{134}$.

Solution 3

Note that $1+n+\frac{n^2}{2!}+\frac{n^3}{3!}+\frac{n^4}{4!}+\frac{n^5}{5!}$ will have a denominator that divides $5!$. Therefore, for the expression to be an integer, $\frac{n^6}{6!}$ must have a denominator that divides $5!$. Thus, $6\mid n^6$, and $6\mid n$. Let $n=6m$. Substituting gives $1+6m+\frac{6^2m^2}{2!}+\frac{6^3m^3}{3!}+\frac{6^4m^4}{4!}+\frac{6^5m^5}{5!}+\frac{6^6m^6}{6!}$. Note that the first $5$ terms are integers, so it suffices for $\frac{6^5m^5}{5!}+\frac{6^6m^6}{6!}$ to be an integer. This simplifies to $\frac{6^5}{5!}m^5(m+1)=\frac{324}{5}m^5(m+1)$. It follows that $5\mid m^5(m+1)$. Therefore, $m$ is either $0$ or $4$ modulo $5$. However, we seek the number of $n$, and $n=6m$. By CRT, $n$ is either $0$ or $24$ modulo $30$, and the answer is $67+67=\boxed{134}$.

-TheUltimate123

Step Solution

Clearly $1+n$ is an integer. The part we need to verify as an integer is, upon common denominator, $\frac{360n^2+120n^3+30n^4+6n^5+n^6}{720}$. Clearly, the numerator must be even for the fraction to be an integer. Therefore, $n^6$ is even and n is even, aka $n=2k$ for some integer $k$. Then, we can substitute $n=2k$ and see that $\frac{n^2}{2}$ is trivially integral. Then, substitute for the rest of the non-confirmed-integral terms and get $\frac{60k^3+30k^4+12k^5+4k^6}{45}$. It is also clear that for this to be an integer, which it needs to be, the numerator has to be divisible by 3. The only term we worry about is the $4k^6$, and we see that $k=3b$ for some integer $b$. From there we now know that $n=6b$. If we substitute again, we see that all parts except the last two fractions are trivially integral. In order for the last two fractions to sum to an integer we see that $n^5(6n+1) \cong 0(\mod 5)$, so combining with divisibility by 6, $n$ is $24$ or $0$ (mod $30$). There are $67$ cases for each, hence the answer $\boxed{134}$.

See Also

2017 AIME II (ProblemsAnswer KeyResources)
Preceded by
Problem 7
Followed by
Problem 9
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
All AIME Problems and Solutions

The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions. AMC logo.png