AIME 2025 II · 第 7 题
AIME 2025 II — Problem 7
题目详情
Problem
Let be the set of positive integer divisors of . Let be a randomly selected subset of . The probability that is a nonempty set with the property that the least common multiple of its elements is is , where and are relatively prime positive integers. Find .
解析
Solution 1
We split into different conditions:
Note that the numbers in the set need to have a least common multiple of , so we need to ensure that the set has at least 1 number that is a multiple of and a number that is a multiple of .
Multiples of :
Multiples of :
If the set contains , then all of the rest factors is no longer important. The valid cases are , which can be thought of as selecting either "Yes" or "No" ( possibilities) for each of the remaining factors.
If the set doesn't contain , but contains , we just need another multiple of . It could be 1 of them, 2 of them, 3 of them, or 4 of them, which has cases. Excluding the rest 9 numbers could appear or not appear. Therefore, this case has a valid case of .
If set doesn't contain nor , it must contain . It also needs to contain at least 1 of the multiples from , where it would be .
The total valid cases are , and the total cases are .
The answer is .
Desired answer: .
~ Mitsuihisashi14
~ by eevee9046
~ Additional edits by aoum
~ Additional edits by fermat_sLastAMC
~ Additional edits by Christian
Solution 2
We take the complement and use PIE. Suppose the LCM of the elements of the set is NOT . Since , it must be that no element in the subset satisfies OR no element in the subset satisfies (in this case, gives the exponent of in the prime factorization of ). For the first case, there are possible divisors that could be in our subset ( are possible), for a total count of subsets. In the second case, there are possible divisors that could be in our subset, for a total count of subsets. However, if both conditions are violated, then there are divisors that could be in our subset, for a total count of subsets. Hence, by PIE, the number of subsets whose LCM is NOT is equal to . The answer is then
~ cxsmi
Solution 3
Write numbers in the form of where
There are possible divisors of , so the cardinality of the subsets is
If I select , then I guarantee the LCM is , so the other numbers yield cases.
If I select , then I must select at least one of , but I can select any other numbers, so there are
ways.
If I select , since we can't select or anymore, there are ways.
The answer is then .
~ Bluesoul
~ Edited by aoum
~ Additional edits by fermat_sLastAMC
~ Minor formatting edits by Christian
Solution 4
We take cases, depending on whether is an element of or not. Here is a table that would be helpful to draw:
: is in .
If is in , then the choices of the rest of the elements doesn't matter, as the least common multiple of the elements of is already forced to be . We can either include or not include each of the remaining possible elements, giving possibilities for each of the elements or scenarios.
: is not in .
If is not in , we still must create such that it includes a term divisible by and a term divisible by . Observing the table above, we see that we must choose at least one of and (both of which are divisible by ) and at least one of , , , and (all of which are divisible by ). The number of ways to choose at least one of and is equal to (ways to choose of them)(ways to choose of them). The number of ways to choose at least one of , , , and is equal to (ways to choose of them)(ways to choose of them)(ways to choose of them)(ways to choose of them). We can now choose any number of the remaining divisors of (since there are already at least elements in , we can choose more divisors without creating the ; since is not included in this case, we can choose all divisors without repeating the scenario from Case where all the elements of are in ). The number of ways to do so is (ways to choose of them)(ways to choose of them)(ways to choose of them)(ways to choose of them). Multiplying these independent ways yields scenarios.
The total number of possible subsets of (including the and itself) is equal to .
Therefore, the desired probability is , so .
~ Christian