Problem:
is an integer. Consider the pairs of relatively prime positive integers, such that and . Show that the sum of taken over all such pairs is .
Problem:
is an integer. Consider the pairs of relatively prime positive integers, such that and . Show that the sum of taken over all such pairs is .
Solution:
Induction on . It is obvious for , because the only pairs are and , and .
Now suppose it is true for . As we move to , we introduce the new pairs with relatively prime to and we lose the pairs with relatively prime to and hence to .
So for each relatively prime to and we gain and and lose . But