Summary
In today's class we started by giving an alternate proof of the fact that
. We then discussed the function
, which counts the number of positive divisors of n. We saw that the function is multiplicative (but not completely multiplicative), and we used this function to give an expression for the product of divisors of a number.
Using Multiplicativity to Compute an Arithmetic Function
Last class period we finished by showing that whenever f is a multiplicative function, so too is the function
. We have already seen such a function when we were dealing with the Euler
function; indeed, we proved that
. We're going to now give an alternate proof of that fact. Our strategy is to use the fact that
is multiplicative to evaluate F easily.
Since we know that F is multiplicative, we know that F is determined by its values on prime powers. So let's compute
. We have

Notice, however, that the divisors of
are just the numbers
. Hence we have

We already know that
and
, and hence we have

This sum "telescopes" to just be
, and so we get
.
Hence we have
(4)
The Divisor Counting Function
Having dealt with arithmetic functions in the abstract, it's now time for us to start introducing some specific arithmetic functions. Today our function will be the function that counts the number of divisors of a given integer.
Definition: The function
is defined as the number of positive divisors of n.
We'll begin by showing that
is multiplicative. You might think that this would be tricky, but in fact it's super simple.
Lemma: The function
is multiplicative.
Proof: Notice that we have
. Notice also that the constant function
is a multiplicative function (you have this as homework!). By our lemma concerning functions of the form
, we have that
is multiplicative. 
Now that we know
is multiplicative, we can use this fact to give an easy proof of its value on a given integer n.
Theorem: If
, then
.
Proof: To see that this is true, notice that since
is multiplicative we only need to know how to evaluate
on prime powers. But notice that for a prime power
, the only divisors of
are
. There are
many divisors, and so we have
. Hence we can compute


The Product of Divisors of a Function
At the end of class you all split up into groups and tried to come up with a simple formula for
(6)






, then
.