AIME 2013 II · 第 11 题
AIME 2013 II — Problem 11
题目详情
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
Solution 2
It is clear that we must have one fixed point (that is, ). WLOG, let be a fixed point, so .
Now, let's do casework on how many of the inputs leads to . Generally, if some values in that aforementioned list leads to , then running it in the function again will yield . All other values must be the the values that leads to .
For example:
All of lead to . In this case, there is only way.
of of lead to . In this case, we choose of the to lead to : .
Then, the other value that does not lead to should be one of the values that do: ways.
of lead to . Choose which lead to : then the other values: ways
of lead to .
of lead to .
of lead to .
Adding up all the cases, we have cases. But don't forget to account for the WLOG and multiply by , yielding us the final answer of
~xHypotenuse
Solution 3 (casework on range)
Let be the element of set such that for all . There are ways to choose , and without loss of generality we can choose .
Denote by the range of . For any , there exists such that so .
Now we casework on the size of .
.
The only element in is , so there is only function in this case ( for all ).
.
There are ways to choose the other element of . WLOG, let this element be . We have . For the other elements , there are ways to determine for every , so there are functions . However, the function is excluded, as is in the range but there exists no such that . Therefore, there are functions in this case.
.
There are ways to choose the other elements of . WLOG, let these elements be and . We have . For the other elements , there are ways to determine for every , so there are functions . However, the functions that do not include in its range are excluded, and the functions that do not include in its range are also excluded. However, we have eliminated the function that excludes both and from its range, namely , twice, so we must add back. Therefore, there are functions in this case.
.
There are ways to choose the other elements of . WLOG, let these elements be . We have . For , if , then at least one of will not be included in the range of . Therefore, each of must be mapped to a distinct element of , so there are ways to achieve this. Finally, the number of functions in this case is .
Finally, we add up all the cases to get functions. However, this assumes is the constant value, but there are different possible constant values. Therefore, the final answer is which when divided by gives a remainder of .
~primenumbersfun
Video Solution
https://youtu.be/aaO7abKG0BQ?si=KLfz6oyzVR0d8D13
~MathProblemSolvingSkills.com