Theorem 6.7. If is a multiplicative function, then the arithmetic function is also multiplicative.
Solution
Proof. To show that is a multiplicative function, we must show that if and are relatively prime positive integers, then . So let us assume that . We have
By Lemma 2.5 , since , each divisor of can be written uniquely as the product of relatively prime divisors of and of , and each pair of divisors of and of corresponds to a divisor of . Hence, we can write
Since is multiplicative and since , we see that
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.