返回题库

AIME 2017 II · 第 8 题

AIME 2017 II — Problem 8

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Find the number of positive integers nn less than 20172017 such that

1+n+n22!+n33!+n44!+n55!+n66!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

We start with the last two terms of the polynomial 1+n+n22!+n33!+n44!+n55!+n66!1+n+\frac{n^2}{2!}+\frac{n^3}{3!}+\frac{n^4}{4!}+\frac{n^5}{5!}+\frac{n^6}{6!}, which are n55!+n66!\frac{n^5}{5!}+\frac{n^6}{6!}. This can simplify to 6n5+n6720\frac{6n^5+n^6}{720}, which can further simplify to n5(6+n)720\frac{n^5(6+n)}{720}. Notice that the prime factorization of 720720 is 53322225\cdot3\cdot3\cdot2\cdot2\cdot2\cdot2. In order for n5(6+n)720\frac{n^5(6+n)}{720} to be an integer, one of the parts must divide 5,35, 3, and 22. Thus, one of the parts must be a multiple of 5,35, 3, and 22, and the LCM of these three numbers is 3030. This means

n50(mod30)n^5 \equiv 0\pmod{30} or

6+n0(mod30)6+n \equiv 0\pmod{30} Thus, we can see that nn must equal 0(mod30)0\pmod{30} or 6(mod30)-6\pmod{30}. Note that as long as we satisfy 6n5+n6720\frac{6n^5+n^6}{720}, 2!,3!2!, 3!, and 4!4! will all divide into integers, as their prime factorizations will be fulfilled with the LCM being 30. E.g. 4!=222234! = 2\cdot2\cdot2\cdot2\cdot3, and this will be divisible by 2434542^4\cdot3^4\cdot5^4. Now, since we know that nn must equal 0(mod30)0\pmod{30} or 6(mod30)-6\pmod{30} in order for the polynomial to be an integer, n0,24(mod30)n\equiv0, 24\pmod{30}. To find how many integers fulfill the equation and are <2017<2017, we take 201730\left \lfloor\frac{2017}{30} \right \rfloor and multiply it by 22. Thus, we get 672=13467\cdot2=\boxed{134}.

~Solution by IronicNinja~

Solution 2

Taking out the 1+n1+n part of the expression and writing the remaining terms under a common denominator, we get 1720(n6+6n5+30n4+120n3+360n2)\frac{1}{720}(n^6+6n^5+30n^4+120n^3+360n^2). Therefore the expression n6+6n5+30n4+120n3+360n2n^6+6n^5+30n^4+120n^3+360n^2 must equal 720m720m for some positive integer mm. Taking both sides mod 22, the result is n60(mod2)n^6 \equiv 0 \pmod{2}. Therefore nn must be even. If nn is even, that means nn can be written in the form 2a2a where aa is a positive integer. Replacing nn with 2a2a in the expression, 64a6+192a5+480a4+960a3+1440a264a^6+192a^5+480a^4+960a^3+1440a^2 is divisible by 1616 because each coefficient is divisible by 1616. Therefore, if nn is even, n6+6n5+30n4+120n3+360n2n^6+6n^5+30n^4+120n^3+360n^2 is divisible by 1616.

Taking the equation n6+6n5+30n4+120n3+360n2=720mn^6+6n^5+30n^4+120n^3+360n^2=720m mod 33, the result is n60(mod3)n^6 \equiv 0 \pmod{3}. Therefore nn must be a multiple of 33. If nn is a multiple of three, that means nn can be written in the form 3b3b where bb is a positive integer. Replacing nn with 3b3b in the expression, 729b6+1458b5+2430b4+3240b3+3240b2729b^6+1458b^5+2430b^4+3240b^3+3240b^2 is divisible by 99 because each coefficient is divisible by 99. Therefore, if nn is a multiple of 33, n6+6n5+30n4+120n3+360n2n^6+6n^5+30n^4+120n^3+360n^2 is divisibly by 99.

Taking the equation n6+6n5+30n4+120n3+360n2=720mn^6+6n^5+30n^4+120n^3+360n^2=720m mod 55, the result is n6+n50(mod5)n^6+n^5 \equiv 0 \pmod{5}. The only values of n(mod 5)n (\text{mod }5) that satisfy the equation are n0(mod 5)n\equiv0(\text{mod }5) and n4(mod 5)n\equiv4(\text{mod }5). Therefore if nn is 00 or 44 mod 55, n6+6n5+30n4+120n3+360n2n^6+6n^5+30n^4+120n^3+360n^2 will be a multiple of 55.

The only way to get the expression n6+6n5+30n4+120n3+360n2n^6+6n^5+30n^4+120n^3+360n^2 to be divisible by 720=1695720=16 \cdot 9 \cdot 5 is to have n0(mod2)n \equiv 0 \pmod{2}, n0(mod3)n \equiv 0 \pmod{3}, and n0 or 4(mod5)n \equiv 0 \text{ or } 4 \pmod{5}. By the Chinese Remainder Theorem or simple guessing and checking, we see n0,24(mod30)n\equiv0,24 \pmod{30}. Because no numbers between 20112011 and 20172017 are equivalent to 00 or 2424 mod 3030 (24+30024+30\cdot0 is the smallest and 0+30670+30\cdot67 is the largest), the answer is 201030×2=134\frac{2010}{30}\times2=\boxed{134}.

Solution 3

Note that 1+n+n22!+n33!+n44!+n55!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!5!. Therefore, for the expression to be an integer, n66!\frac{n^6}{6!} must have a denominator that divides 5!5!. Thus, 6n66\mid n^6, and 6n6\mid n. Let n=6mn=6m. Substituting gives 1+6m+62m22!+63m33!+64m44!+65m55!+66m66!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 55 terms are integers, so it suffices for 65m55!+66m66!\frac{6^5m^5}{5!}+\frac{6^6m^6}{6!} to be an integer. This simplifies to 655!m5(m+1)=3245m5(m+1)\frac{6^5}{5!}m^5(m+1)=\frac{324}{5}m^5(m+1). It follows that 5m5(m+1)5\mid m^5(m+1). Therefore, mm is either 00 or 44 modulo 55. However, we seek the number of nn, and n=6mn=6m. By CRT, nn is either 00 or 2424 modulo 3030, and the answer is 67+67=13467+67=\boxed{134}.

-TheUltimate123

Solution 4 (Step Solution)

Clearly 1+n1+n is an integer. The part we need to verify as an integer is, upon common denominator, 360n2+120n3+30n4+6n5+n6720\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, n6n^6 is even and n is even, aka n=2kn=2k for some integer kk. Then, we can substitute n=2kn=2k and see that n22\frac{n^2}{2} is trivially integral. Then, substitute for the rest of the non-confirmed-integral terms and get 60k3+30k4+12k5+4k645\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 4k64k^6, and we see that k=3bk=3b for some integer bb. From there we now know that n=6bn=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 n5(6n+1)0(mod5)n^5(6n+1) \equiv 0 \pmod5, so combining with divisibility by 6, nn is 2424 or 0(mod30)0\pmod{30}. There are 6767 cases for each, hence the answer 134\boxed{134}.