2000 PMWC Problems/Problem T8
Problem
There are positive integers , , such that . What is the smallest possible value of ?
Solution
Given that , , and are positive integers, it is obvious that none of them can be 1, because that would immediately make the quantity too large.
What about having one of them equal ? We can actually prove through casework that at least one of the integers must be equal to by considering what would happen if none of , , or were equal to . If this was true, then the smallest , , or could be would be . If all three were equal to , then we would have , which is too large. However, the next largest value for the sum would be , which is too small. Thus there are no possibilities that have no s, meaning we can set any one of the variables , , or equal to and continue solving.
Let's say we choose to equal . Then we have . Obviously we can't have another , but what if we had a ? It turns out that we can prove that we must have a in much the same way we proved that there must be a . If we assume that there is no , the largest value of would be , which is too large. Just as last time, the next largest possibility, , is too small. Thus, there are no possibilities that have no s, meaning one of the remaining variables must be . If we randomly select to equal , we are left with the equation , which means . This inequality shows that can be equal to or . The problem asks for the least possible value of , so we say that .
To conclude, we have , which is indeed greater than and less than . This configuration, is one of two that satisfies the given conditions, the other being . Of these two solutions, has the lower sum, meaning our answer is
See Also
Back to test: https://artofproblemsolving.com/wiki/index.php/2000_PMWC_Problems