Difference between revisions of "2022 AIME I Problems/Problem 13"
MRENTHUSIASM (talk | contribs) m (→Solution) |
m (→Solution: added some detail and clarification) |
||
Line 5: | Line 5: | ||
==Solution== | ==Solution== | ||
− | <math>0.\overline{abcd}=\frac{abcd}{9999}</math>, <math>9999=9\times 11\times 101</math>. | + | <math>0.\overline{abcd}=\frac{abcd}{9999} = \frac{x}{y}</math>, <math>9999=9\times 11\times 101</math>. |
− | Then we need to find the number of positive integers | + | Then we need to find the number of positive integers <math>x</math> that (with one of more <math>y</math> such that <math>y|9999</math>) can meet the requirement <math>1 \leq {x}\cdot\frac{9999}{y} \leq 9999</math>. |
− | + | Make cases by factors of <math>x</math>. (A venn diagram of cases would be nice here.) | |
− | |||
− | Case <math> | + | Case <math>A</math>: |
− | + | <math>3 \nmid x</math> and <math>11 \nmid x</math> and <math>101 \nmid x</math>, aka <math>\gcd (9999, x)=1</math>. | |
− | + | Euler's totient function counts these: | |
+ | <cmath>\varphi \left(3^2 \cdot 11 \cdot 101 \right) = ((3-1)\cdot 3)(11-1)(101-1)= \bf{6000}</cmath> values (but it's enough to note that it's a multiple of 1000 and thus does not contribute to the final answer). | ||
− | To sum up, the answer is <cmath>6000+334+55+3\equiv\boxed{392} \pmod{1000}.</cmath> | + | The remaining cases have <math>3</math> (or <math>9</math>), <math>11</math>, and/or <math>101</math> as factors of <math>abcd</math>, which cancel out part of <math>9999</math>. |
+ | Note: Take care about when to use <math>3</math> vs <math>9</math>! | ||
+ | |||
+ | |||
+ | Case <math>B</math>: <math>3|x</math>, but <math>11 \nmid x</math> and <math>101 \nmid x</math>. | ||
+ | |||
+ | Then <math>abcd=9x</math> to leave 3 uncancelled, and <math>x=3p</math>, | ||
+ | so <math>x \leq \frac{9999}{9} = 1111</math>, giving: | ||
+ | |||
+ | <math>x \in 3 \cdot \{1, \dots \left\lfloor \frac{1111}{3}\right\rfloor\}</math>, | ||
+ | |||
+ | <math>x \notin (3\cdot 11) \cdot \{1 \dots \left\lfloor \frac{1111}{3\cdot 11}\right\rfloor\}</math>, | ||
+ | |||
+ | <math>x \notin (3 \cdot 101) \cdot \{1 \dots \left\lfloor \frac{1111}{3 \cdot 101}\right\rfloor\}</math>, | ||
+ | |||
+ | for a subtotal of <math>\left\lfloor \frac{1111}{3}\right\rfloor - (\left\lfloor\frac{1111}{3 \cdot 11}\right\rfloor + \left\lfloor\frac{1111}{3 \cdot 101}\right\rfloor ) = 370 - (33+3) = \bf{334}</math> values. | ||
+ | |||
+ | |||
+ | Case <math>C</math>: <math>11|x</math>, but <math>3 \nmid x</math> and <math>101 \nmid x</math>. | ||
+ | |||
+ | Much like previous case, <math>abcd</math> is <math>11x</math>, so <math>x \leq \frac{9999}{11} = 909 </math>, | ||
+ | |||
+ | giving <math>\left\lfloor \frac{909}{11}\right\rfloor - \left(\left\lfloor\frac{909}{11 \cdot 3}\right\rfloor + \left\lfloor\frac{909}{11 \cdot 101}\right\rfloor \right) = 82 - (27 + 0) = \bf{55}</math> values. | ||
+ | |||
+ | |||
+ | Case <math>D</math>: <math>3|x</math> and <math>11|x</math> (so <math>33|x</math>), but <math>101 \nmid x</math>. | ||
+ | |||
+ | Here, <math>abcd</math> is <math>99x</math>, so <math>x \leq \frac{9999}{99} = 101 </math>, | ||
+ | |||
+ | giving <math>\left\lfloor \frac{101}{33}\right\rfloor - \left\lfloor \frac{101}{33 \cdot 101}\right\rfloor = 3-0 = \bf{3}</math> values. | ||
+ | |||
+ | |||
+ | Case <math>E</math>: <math>101|x</math>. | ||
+ | |||
+ | Here, <math>abcd</math> is <math>101x</math>, so <math>x \leq \frac{9999}{101} = 99 </math>, | ||
+ | |||
+ | giving <math>\left\lfloor \frac{99}{101}\right\rfloor = \bf{0}</math> values, so we don't need to account for multiples of <math>3</math> and <math>11</math>. | ||
+ | |||
+ | To sum up, the answer is <cmath>6000+334+55+3+0\equiv\boxed{392} \pmod{1000}.</cmath> | ||
==Video Solution== | ==Video Solution== |
Revision as of 16:16, 20 December 2023
Contents
Problem
Let be the set of all rational numbers that can be expressed as a repeating decimal in the form where at least one of the digits or is nonzero. Let be the number of distinct numerators obtained when numbers in are written as fractions in lowest terms. For example, both and are counted among the distinct numerators for numbers in because and Find the remainder when is divided by
Solution
, .
Then we need to find the number of positive integers that (with one of more such that ) can meet the requirement .
Make cases by factors of . (A venn diagram of cases would be nice here.)
Case :
and and , aka .
Euler's totient function counts these: values (but it's enough to note that it's a multiple of 1000 and thus does not contribute to the final answer).
The remaining cases have (or ), , and/or as factors of , which cancel out part of . Note: Take care about when to use vs !
Case : , but and .
Then to leave 3 uncancelled, and , so , giving:
,
,
,
for a subtotal of values.
Case : , but and .
Much like previous case, is , so ,
giving values.
Case : and (so ), but .
Here, is , so ,
giving values.
Case : .
Here, is , so ,
giving values, so we don't need to account for multiples of and .
To sum up, the answer is
Video Solution
https://MathProblemSolvingSkills.com
See Also
2022 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 12 |
Followed by Problem 14 | |
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.