Difference between revisions of "2013 AIME II Problems/Problem 11"
Martian179 (talk | contribs) m (→Solution) |
Boxtheanswer (talk | contribs) (→Solution 1 Clarified) |
||
(20 intermediate revisions by 10 users not shown) | |||
Line 2: | Line 2: | ||
Let <math>A = \{1, 2, 3, 4, 5, 6, 7\}</math>, and let <math>N</math> be the number of functions <math>f</math> from set <math>A</math> to set <math>A</math> such that <math>f(f(x))</math> is a constant function. Find the remainder when <math>N</math> is divided by <math>1000</math>. | Let <math>A = \{1, 2, 3, 4, 5, 6, 7\}</math>, and let <math>N</math> be the number of functions <math>f</math> from set <math>A</math> to set <math>A</math> such that <math>f(f(x))</math> is a constant function. Find the remainder when <math>N</math> is divided by <math>1000</math>. | ||
− | ==Solution== | + | ==Solution 1== |
− | + | Any such function can be constructed by distributing the elements of <math>A</math> on three tiers. | |
− | + | The bottom tier contains the constant value, <math>c=f(f(x))</math> for any <math>x</math>. (Obviously <math>f(c)=c</math>.) | |
− | + | The middle tier contains <math>k</math> elements <math>x\ne c</math> such that <math>f(x)=c</math>, where <math>1\le k\le 6</math>. | |
− | + | The top tier contains <math>6-k</math> elements such that <math>f(x)</math> equals an element on the middle tier. | |
− | + | There are <math>7</math> choices for <math>c</math>. Then for a given <math>k</math>, there are <math>\tbinom6k</math> ways to choose the elements on the middle tier, and then <math>k^{6-k}</math> ways to draw arrows down from elements on the top tier to elements on the middle tier. | |
− | + | Thus <math>N=7\cdot\sum_{k=1}^6\tbinom6k\cdot k^{6-k}=7399</math>, giving the answer <math>\boxed{399}</math>. | |
− | + | ==Solution 1 Clarified== | |
− | We | + | Define the three layers as [[domain]] <math>x</math>, [[codomain]] <math>f(x)</math>, and codomain <math>f(f(x))</math>. Each one of them is contained in the [[set]] <math>A</math>. We know that <math>f(f(x))</math> is a [[constant function]], or in other words, can only take on one value. So, we can start off by choosing that value <math>c</math> in <math>7</math> ways. So now, we choose the values that can be <math>f(x)</math> for all those values should satisfy <math>f(f(x))=c</math>. Let <math>S</math> be that set of values. First things first, we must have <math>c</math> to be part of <math>S</math>, for the <math>S</math> is part of the domain of <math>x</math>. Since the values in <math>i\in S</math> all satisfy <math>f(i) = c</math>, we have <math>c</math> to be a value that <math>f(x)</math> can be. Now, for the elements other than <math>5</math>: |
− | + | If we have <math>k</math> elements other than <math>5</math> that can be part of <math>S</math>, we will have <math>\binom{6}{k}</math> ways to choose those values. There will also be <math>k</math> ways for each of the elements in <math>A</math> other than <math>c</math> and those in set <math>S</math> (for when [[function]] <math>f</math> is applied on those values, we already know it would be <math>c</math>). There are <math>6-k</math> elements in <math>A</math> other than <math>c</math> and those in set <math>S</math>. Thus, there should be <math>k^{6-k}</math> ways to match the domain <math>x</math> to the values of <math>f(x)</math>. Summing up all possible values of <math>k</math> (<math>[1,6]</math>), we have | |
− | + | <cmath>\sum_{k=1}^6 \binom{6}{k} k^{6-k} = 6\cdot 1 + 15\cdot 16 + 20\cdot 27 + 15\cdot 16 + 6\cdot 5 + 1 = 1057</cmath> | |
− | + | Multiplying that by the original <math>7</math> for the choice of <math>c</math>, we have <math>7 \cdot 1057 = 7\boxed{399}.</math> | |
− | + | ~sml1809 | |
− | + | ==Video Solution== | |
+ | https://youtu.be/aaO7abKG0BQ?si=KLfz6oyzVR0d8D13 | ||
− | + | ~MathProblemSolvingSkills.com | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
==See Also== | ==See Also== |
Revision as of 18:28, 21 September 2024
Problem 11
Let , and let be the number of functions from set to set such that is a constant function. Find the remainder when is divided by .
Solution 1
Any such function can be constructed by distributing the elements of on three tiers.
The bottom tier contains the constant value, for any . (Obviously .)
The middle tier contains elements such that , where .
The top tier contains elements such that equals an element on the middle tier.
There are choices for . Then for a given , there are ways to choose the elements on the middle tier, and then ways to draw arrows down from elements on the top tier to elements on the middle tier.
Thus , giving the answer .
Solution 1 Clarified
Define the three layers as domain , codomain , and codomain . Each one of them is contained in the set . We know that is a constant function, or in other words, can only take on one value. So, we can start off by choosing that value in ways. So now, we choose the values that can be for all those values should satisfy . Let be that set of values. First things first, we must have to be part of , for the is part of the domain of . Since the values in all satisfy , we have to be a value that can be. Now, for the elements other than :
If we have elements other than that can be part of , we will have ways to choose those values. There will also be ways for each of the elements in other than and those in set (for when function is applied on those values, we already know it would be ). There are elements in other than and those in set . Thus, there should be ways to match the domain to the values of . Summing up all possible values of (), we have
Multiplying that by the original for the choice of , we have
~sml1809
Video Solution
https://youtu.be/aaO7abKG0BQ?si=KLfz6oyzVR0d8D13
~MathProblemSolvingSkills.com
See Also
2013 AIME II (Problems • Answer Key • Resources) | ||
Preceded by Problem 10 |
Followed by Problem 12 | |
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.