2014 AIME I Problems/Problem 12
Problem 12
Let , and and be randomly chosen (not necessarily distinct) functions from to . The probability that the range of and the range of are disjoint is , where and are relatively prime positive integers. Find .
Solution ?
we note there are sets of two functions and from to since the input of the four values of each function has four options each By the pigeonhole principle the combined range of and has at most four elements this can be done in 3 cases:
- Case 1: 's range contains 3 elements
there are 4 ways to choose the range of then each element in can be assigned to one of the 3 elements in the range of so there are functions with a range of 3 elements in
note that can only be the function assigning each element of to the element not already chosen
so there for that to happen
- Case 2: 's range contains 2 elements
there are 6 ways to choose the range of then each element in can be assigned to one of the 2 elements in the range of so there are functions with a range of 3 elements in
now can have a range of two elements in which each of its 4 values can be assigned one of its elements ( ways)
or can have a range of one element there are 2 ways to choose its range and like in case 1 can happen in exactly 1 way
so there ways for that to happen
- case 3: 's range contains 1 element
here are 4 ways to choose the range of then each element in can be assigned to only one value so there are 4 functions with a range of 1 elements in
now can have a range of 1,2 or 3: if 's range has 3 elements each value in can be assigned to 3 other values so there ways for that to occur.
if 's range contains 2 elements one can choose the 2 elements in 3 different ways and after choosing each element has 2 options resulting with ways for that to occur
if 's range contains 1 element one can choose the 1 elements in 3 different ways and after choosing each element has 1 option resulting with 1 way for that to happen. so there are ways for that to occur
- summing the cases
we get that the probability for and to have disjoint ranges is equal to:
so the final answer is