Difference between revisions of "2024 AMC 10B Problems/Problem 18"
(Created page with "The skibidi sigma in Ohio has +2048 aura. If there are 1434 skibidi sigmas in Ohio, how much total aura do they have?") |
Iwowowl253 (talk | contribs) m (→Solution 7 (Guess)) |
||
(48 intermediate revisions by 18 users not shown) | |||
Line 1: | Line 1: | ||
− | + | {{duplicate|[[2024 AMC 10B Problems/Problem 18|2024 AMC 10B #18]] and [[2024 AMC 12B Problems/Problem 14|2024 AMC 12B #14]]}} | |
+ | |||
+ | ==Problem == | ||
+ | How many different remainders can result when the <math>100</math>th power of an integer is | ||
+ | divided by <math>125</math>? | ||
+ | |||
+ | <math>\textbf{(A) } 1 \qquad\textbf{(B) } 2 \qquad\textbf{(C) } 5 \qquad\textbf{(D) } 25 \qquad\textbf{(E) } 125</math> | ||
+ | |||
+ | ==Solution 1== | ||
+ | First note that the [[Euler's totient function]] of <math>125</math> is <math>100</math>. We can set up two cases, which depend on whether a number is relatively prime to <math>125</math>. | ||
+ | |||
+ | If <math>n</math> is relatively prime to <math>125</math>, then <math>n^{100} \equiv 1 \pmod{125}</math> because of [[Euler's Totient Theorem]]. | ||
+ | |||
+ | If <math>n</math> is not relatively prime to <math>125</math>, it must be have a factor of <math>5</math>. Express <math>n</math> as <math>5m</math>, where <math>m</math> is some integer. Then <math>n^{100} \equiv (5m)^{100} \equiv 5^{100}\cdot m^{100} \equiv 125 \cdot 5^{97} \cdot m^{100} \equiv 0 \pmod{125}</math>. | ||
+ | |||
+ | Therefore, <math>n^{100}</math> can only be congruent to <math>0</math> or <math>1 \pmod{125}</math>. Our answer is <math>\boxed{2}</math>. | ||
+ | |||
+ | ~lprado | ||
+ | ~edit by Elephant200 | ||
+ | |||
+ | |||
+ | ==Solution 2 (Euler Totient)== | ||
+ | We split the cases into: | ||
+ | |||
+ | 1. If <math>x</math> is not a multiple of <math>5</math>: | ||
+ | we get <math>x^{100} \equiv 1 \pmod{125}</math> | ||
+ | |||
+ | 2. If <math>x</math> is a multiple of <math>5</math>: | ||
+ | Clearly the only remainder provides <math>0</math> | ||
+ | |||
+ | Therefore, the remainders can only be 0 and 1, which gives the answer <math>\boxed{(B)2}</math>. | ||
+ | |||
+ | ~mitsuihisashi14 | ||
+ | ~BS2012 (Minor corrections) | ||
+ | ~andliu796 | ||
+ | |||
+ | ==Sidenote: Proof of Euler's Theorem== | ||
+ | |||
+ | Euler's Theorem states that <math>a^{\phi(n)}\equiv 1\pmod{n}</math>, where <math>\phi(n)</math> is Euler's totient function, which counts the number of positive integers <math>x</math> such that <math>1\le x \le n</math> and <math>\gcd(x,n)=1</math>. Note that this only works for positive integer <math>a</math> such that <math>\gcd(a,n)=1.</math> | ||
+ | |||
+ | Consider the set <math>S=\{x_1,x_2,\ldots x_{\phi(n)}\}</math> such that <math>1\le x_i\le n</math> and <math>\gcd(x_i,n)=1.</math> Multiply all terms by <math>a</math> to create <math>aS=\{ax_1,ax_2,\ldots ax_{\phi(n)}\}.</math> First, we prove that <math>\gcd(ax_i,n)=1</math> for any <math>x_i</math> using contradiction. Let <math>p</math> be a prime such that <math>p \mid ax_i</math> and <math>p \mid n.</math> This means that either <math>p \mid a</math> or <math>p \mid x_i,</math> which is not possible since both <math>gcd(a,n)</math> and <math>gcd(x_i,n)=1.</math> Next we show that no two elements in set <math>aS</math> are congruent modulo <math>n.</math> Let <math>x_i</math> and <math>x_j</math> exist such that <math>ax_i\equiv ax_j \pmod{n}.</math> Multiplying both sides by <math>a^{-1}</math>(which exists) gives <math>x_i\equiv x_j\pmod{n}.</math> This means that if <math>x_i \not\equiv x_j \pmod{n},</math> then <math>ax_i \not\equiv ax_j \pmod{n}.</math> Now we multiply all terms in each set, and note that each residue appears exactly once in both sets, so we have: <cmath>a^{\phi(n)}\cdot \prod_{i=1}^{\phi(n)} x_i \equiv \prod_{i=1}^{\phi(n)} x_i \pmod{n}.</cmath> Because each <math>x_i</math> has the property that <math>\gcd(x_i,n)=1,</math> we must have that <math>\gcd(\prod_{i=1}^{\phi(n)} x_i,n)=1.</math> Then multiplying both sides by the inverse of product thereof gives <math>a^{\phi(n)}\equiv 1\pmod{n}.</math> <math>\blacksquare</math> | ||
+ | |||
+ | ~nevergonnagiveup | ||
+ | |||
+ | ==Solution 3 (No Totient)== | ||
+ | |||
+ | Note that | ||
+ | |||
+ | <cmath>(5+n)^{100} = {100 \choose 0} 5^{100} + {100 \choose 1} 5^{99} n + {100 \choose 2} 5^{98} n^2 + \cdots + {100 \choose 97} 5^3 n^{97} + {100 \choose 98} 5^2 n^{98} + {100 \choose 99} 5 n^{99} + {100 \choose 100} n^{100}.</cmath> | ||
+ | |||
+ | Taking this mod <math>125</math>, we can ignore most of the terms except the for the last <math>3</math>: | ||
+ | |||
+ | <cmath>{100 \choose 98} 5^2 n^{98} + {100 \choose 99} 5 n^{99} + {100 \choose 100} n^{100} \equiv 4950 \cdot 5^2 n^{98} + 100 \cdot 5 n^{99} + n^{100} \equiv n^{100} \pmod {125},</cmath> | ||
+ | |||
+ | so <math>(5+n)^{100} \equiv n^{100}</math>. Substituting <math>-n</math> for <math>n</math>, we get <math>(5-n)^{100} \equiv n^{100}</math>. Therefore, the remainders when divided by <math>125</math> repeat every <math>5</math> integers, so we only need to check the <math>100</math>th powers of <math>0, 1, 2, 3, 4</math>. But we have that <math>(5-1)^{100} \equiv 1^{100}</math> and <math>(5-2)^{100} \equiv 2^{100}</math>, so we really only need to check <math>0, 1, 2</math>. We know that <math>0, 1</math> produce different remainders, so the answer to the problem is either <math>2</math> or <math>3</math>. But <math>3</math> is not an answer choice, so the answer is <math>\boxed{\textbf{(B) } 2}</math>. | ||
+ | |||
+ | ==Solution 4 (Totient)== | ||
+ | Euler's Totient Function, <math>\phi(n)</math> returns <math>n\cdot\left(1-\dfrac{1}{x}\right)</math> as a product of each prime divisor of <math>n</math>. | ||
+ | |||
+ | Euler's Totient Theorem states that if <math>{a}</math> is an integer and <math>p</math> is a positive integer relatively prime to <math>a</math>, then <math>{a}^{\phi (p)}\equiv 1 \pmod {p}</math>. | ||
+ | |||
+ | In this case, <math>p=125</math>, which is convenient because <math>125</math> only has one prime factor, <math>5</math>, therefore <math>\phi(125)=100</math>, so <cmath>a^{100}\equiv1\pmod{125}</cmath>where <math>\gcd(a,125)=1</math>. Every single number that isn't a multiple of <math>5</math> is relatively prime to <math>125</math>, therefore we have two cases: | ||
+ | |||
+ | 1) <math>a\%5\neq0\implies a^{100}\equiv1\pmod{125}</math> | ||
+ | |||
+ | 2) <math>a\%5=0\implies a^{100}=5^3\cdot x\implies a^{100}\equiv0\pmod{125}</math> | ||
+ | |||
+ | The answer is <math>\boxed{\text{(B) }2}</math> ~Tacos_are_yummy_1 | ||
+ | |||
+ | ==Solution 5 (Binomial Theorem)== | ||
+ | |||
+ | ~Kathan | ||
+ | [[Image: 2024_AMC_12B_P18.jpeg|thumb|center|600px|]] | ||
+ | |||
+ | ==Solution 7 (Guess)== | ||
+ | (Do not use this solution unless you are low on time or do not know how to solve this problem.) Notice that all the answer choices are odd and have some relationship to the number <math>5</math> except for <math>2</math>. <math>2</math> doesn't seem to fit in with the other answer choices, so the test writers likely put it there because they had to. You can assume that it is the answer: <math>\boxed{\textbf{(B)} \; 2}</math>. | ||
+ | |||
+ | Written by ChristianZhang | ||
+ | |||
+ | ==Video Solution 1 by Pi Academy (Fast and Easy ⚡🚀)== | ||
+ | |||
+ | https://youtu.be/c6nhclB5V1w?feature=shared | ||
+ | |||
+ | ~ Pi Academy | ||
+ | |||
+ | ==Video Solution 2 (Fast!)== | ||
+ | https://www.youtube.com/watch?v=S7l_Yv2Sd7E | ||
+ | |||
+ | ==See also== | ||
+ | {{AMC10 box|year=2024|ab=B|num-b=17|num-a=19}} | ||
+ | {{AMC12 box|year=2024|ab=B|num-b=13|num-a=15}} | ||
+ | {{MAA Notice}} |
Latest revision as of 15:11, 15 December 2024
- The following problem is from both the 2024 AMC 10B #18 and 2024 AMC 12B #14, so both problems redirect to this page.
Contents
Problem
How many different remainders can result when the th power of an integer is divided by ?
Solution 1
First note that the Euler's totient function of is . We can set up two cases, which depend on whether a number is relatively prime to .
If is relatively prime to , then because of Euler's Totient Theorem.
If is not relatively prime to , it must be have a factor of . Express as , where is some integer. Then .
Therefore, can only be congruent to or . Our answer is .
~lprado ~edit by Elephant200
Solution 2 (Euler Totient)
We split the cases into:
1. If is not a multiple of : we get
2. If is a multiple of : Clearly the only remainder provides
Therefore, the remainders can only be 0 and 1, which gives the answer .
~mitsuihisashi14 ~BS2012 (Minor corrections) ~andliu796
Sidenote: Proof of Euler's Theorem
Euler's Theorem states that , where is Euler's totient function, which counts the number of positive integers such that and . Note that this only works for positive integer such that
Consider the set such that and Multiply all terms by to create First, we prove that for any using contradiction. Let be a prime such that and This means that either or which is not possible since both and Next we show that no two elements in set are congruent modulo Let and exist such that Multiplying both sides by (which exists) gives This means that if then Now we multiply all terms in each set, and note that each residue appears exactly once in both sets, so we have: Because each has the property that we must have that Then multiplying both sides by the inverse of product thereof gives
~nevergonnagiveup
Solution 3 (No Totient)
Note that
Taking this mod , we can ignore most of the terms except the for the last :
so . Substituting for , we get . Therefore, the remainders when divided by repeat every integers, so we only need to check the th powers of . But we have that and , so we really only need to check . We know that produce different remainders, so the answer to the problem is either or . But is not an answer choice, so the answer is .
Solution 4 (Totient)
Euler's Totient Function, returns as a product of each prime divisor of .
Euler's Totient Theorem states that if is an integer and is a positive integer relatively prime to , then .
In this case, , which is convenient because only has one prime factor, , therefore , so where . Every single number that isn't a multiple of is relatively prime to , therefore we have two cases:
1)
2)
The answer is ~Tacos_are_yummy_1
Solution 5 (Binomial Theorem)
~Kathan
Solution 7 (Guess)
(Do not use this solution unless you are low on time or do not know how to solve this problem.) Notice that all the answer choices are odd and have some relationship to the number except for . doesn't seem to fit in with the other answer choices, so the test writers likely put it there because they had to. You can assume that it is the answer: .
Written by ChristianZhang
Video Solution 1 by Pi Academy (Fast and Easy ⚡🚀)
https://youtu.be/c6nhclB5V1w?feature=shared
~ Pi Academy
Video Solution 2 (Fast!)
https://www.youtube.com/watch?v=S7l_Yv2Sd7E
See also
2024 AMC 10B (Problems • Answer Key • Resources) | ||
Preceded by Problem 17 |
Followed by Problem 19 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 • 16 • 17 • 18 • 19 • 20 • 21 • 22 • 23 • 24 • 25 | ||
All AMC 10 Problems and Solutions |
2024 AMC 12B (Problems • Answer Key • Resources) | |
Preceded by Problem 13 |
Followed by Problem 15 |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 • 16 • 17 • 18 • 19 • 20 • 21 • 22 • 23 • 24 • 25 | |
All AMC 12 Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.