Difference between revisions of "2020 AIME I Problems/Problem 12"
m (→Solution 2 (Simpler, just basic mods and Fermat's theorem): fixed minor formatting error) |
Kevinmathz (talk | contribs) |
||
Line 5: | Line 5: | ||
Lifting the Exponent shows that <cmath>v_3(149^n-2^n) = v_3(n) + v_3(147) = v_3(n)+1</cmath> so thus, <math>3^2</math> divides <math>n</math>. It also shows that <cmath>v_7(149^n-2^n) = v_7(n) + v_7(147) = v_7(n)+2</cmath> so thus, <math>7^5</math> divides <math>n</math>. | Lifting the Exponent shows that <cmath>v_3(149^n-2^n) = v_3(n) + v_3(147) = v_3(n)+1</cmath> so thus, <math>3^2</math> divides <math>n</math>. It also shows that <cmath>v_7(149^n-2^n) = v_7(n) + v_7(147) = v_7(n)+2</cmath> so thus, <math>7^5</math> divides <math>n</math>. | ||
− | + | ||
+ | Now, multiplying <math>n</math> by <math>4</math>, we see <cmath>v_5(149^{4n}-2^{4n}) = v_5(149^{4n}-16^{n})</cmath> and since <math>149^{4} \equiv 1 \pmod{25}</math> and <math>16^1 \equiv 16 \pmod{25}</math> then <math>v_5(149^{4n}-2^{4n})=1</math> meaning that we have that by LTE, <math>4 \cdot 5^4</math> divides <math>n</math>. | ||
Since <math>3^2</math>, <math>7^5</math> and <math>4\cdot 5^4</math> all divide <math>n</math>, the smallest value of <math>n</math> working is their LCM, also <math>3^2 \cdot 7^5 \cdot 4 \cdot 5^4 = 2^2 \cdot 3^2 \cdot 5^4 \cdot 7^5</math>. Thus the number of divisors is <math>(2+1)(2+1)(4+1)(5+1) = \boxed{270}</math>. | Since <math>3^2</math>, <math>7^5</math> and <math>4\cdot 5^4</math> all divide <math>n</math>, the smallest value of <math>n</math> working is their LCM, also <math>3^2 \cdot 7^5 \cdot 4 \cdot 5^4 = 2^2 \cdot 3^2 \cdot 5^4 \cdot 7^5</math>. Thus the number of divisors is <math>(2+1)(2+1)(4+1)(5+1) = \boxed{270}</math>. | ||
− | ~kevinmathz | + | ~kevinmathz |
− | |||
== Solution 2 (Simpler, just basic mods and Fermat's theorem)== | == Solution 2 (Simpler, just basic mods and Fermat's theorem)== | ||
+ | BY THE WAY, please feel free to correct my formatting. I don't know latex. | ||
− | Note that for all n, | + | Note that for all n, 149^n - 2^n is divisible by 149-2 = 147 because that is a factor. That is 3*7^2, so now we can clearly see that the smallest n to make the expression divisible by 3^3 is just 3^2. Similarly, we can reason that the smallest n to make the expression divisible by 7^7 is just 7^5. |
− | Finally, for | + | Finally, for 5^5, take mod (5) and mod (25) of each quantity (They happen to both be -1 and 2 respectively, so you only need to compute once). One knows from Fermat's theorem that the maximum possible minimum n for divisibility by 5 is 4, and other values are factors of 4. Testing all of them(just 1,2,4 using mods-not too bad), 4 is indeed the smallest value to make the expression divisible by 5, and this clearly is NOT divisible by 25. |
− | Therefore, the smallest | + | Therefore, the smallest n to make this expression divisible by 5^5 is 2^2 * 5^4. |
− | Calculating the LCM of all these, one gets | + | Calculating the LCM of all these, one gets 2^2 * 3^2 * 5^4 * 7^5. Using the factor counting formula, |
− | the answer is | + | the answer is 3*3*5*6 = <math>\boxed{270}</math>. |
+ | Can someone please format better for me? | ||
-Solution by thanosaops | -Solution by thanosaops |
Revision as of 19:07, 16 March 2020
Contents
Problem
Let be the least positive integer for which is divisible by Find the number of positive integer divisors of
Solution 1
Lifting the Exponent shows that so thus, divides . It also shows that so thus, divides .
Now, multiplying by , we see and since and then meaning that we have that by LTE, divides .
Since , and all divide , the smallest value of working is their LCM, also . Thus the number of divisors is .
~kevinmathz
Solution 2 (Simpler, just basic mods and Fermat's theorem)
BY THE WAY, please feel free to correct my formatting. I don't know latex.
Note that for all n, 149^n - 2^n is divisible by 149-2 = 147 because that is a factor. That is 3*7^2, so now we can clearly see that the smallest n to make the expression divisible by 3^3 is just 3^2. Similarly, we can reason that the smallest n to make the expression divisible by 7^7 is just 7^5.
Finally, for 5^5, take mod (5) and mod (25) of each quantity (They happen to both be -1 and 2 respectively, so you only need to compute once). One knows from Fermat's theorem that the maximum possible minimum n for divisibility by 5 is 4, and other values are factors of 4. Testing all of them(just 1,2,4 using mods-not too bad), 4 is indeed the smallest value to make the expression divisible by 5, and this clearly is NOT divisible by 25. Therefore, the smallest n to make this expression divisible by 5^5 is 2^2 * 5^4.
Calculating the LCM of all these, one gets 2^2 * 3^2 * 5^4 * 7^5. Using the factor counting formula, the answer is 3*3*5*6 = . Can someone please format better for me?
-Solution by thanosaops
See Also
2020 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 11 |
Followed by Problem 13 | |
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.