Problem:
Let be the set of ordered pairs of positive integers such that . Compute
Solution
Solution: The key claim is the following.
Claim: The sum in the problem is equal to the number of solutions of where are positive integers.
Proof. The sum in the problem is the same as counting the number of triples of positive integers such that and . Now, given such , we biject it to the pair described in the claim by and . This transformation can be reversed by , , and , implying that it is indeed a bijection, so the sum is indeed equal to the number of such .
Hence, we wish to count the number of positive integer solutions to . One way to do this is via casework on , which we know to be an integer less than 100:
- If is even, then for . Fixing , there are exactly values of which satisfy the inequality, hence the number of solutions in this case is
- If is odd, then for . Fixing , there are exactly values of which satisfy the inequality, hence the number of solutions in this case is
The final answer is .