The power of μ \mu and σ \sigma

Let N = d 2017 ! μ ( d ) σ ( d ) . N=\sum_{d|2017!} \mu(d) \sigma(d). Find the units digit of the absolute value of N N .


Notations:

  • μ ( ) \mu( \cdot) denotes the Möbius function .
  • σ ( n ) \sigma(n) denotes the sum of positive divisors of n n .
  • a b a|b denotes a a dividing b b .


The answer is 0.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Skye Rzym
Apr 27, 2017

First, you should know this fact

Fact :

Let f f be a multiplicative function and n = p 1 α 1 p 2 α 2 . . . p k α k n=p_{1}^{\alpha_{1}}p_{2}^{\alpha_{2}}...p_{k}^{\alpha_{k}} , where k N k \in \mathbb{N} , be the canonical form of positive integer n n .

Then d n μ ( d ) f ( d ) = i = 1 k ( 1 f ( p i ) ) \sum_{d|n} \mu(d) f(d)=\prod_{i=1}^{k} (1-f(p_{i}))

And you should know the fact that σ ( n ) \sigma(n) is a multiplicative function.

Now, based from fact above, let n = 2017 ! n=2017! . Then assume 2017 ! = 2 α 1 3 α 2 5 α 3 . . . p k α k 2017!=2^{\alpha_{1}}3^{\alpha_{2}}5^{\alpha_{3}}...p_{k}^{\alpha_{k}} , Because σ ( n ) \sigma(n) is a multiplicative function, then

N = d 2017 ! μ ( d ) σ ( d ) = ( 1 σ ( 2 ) ) ( 1 σ ( 3 ) ) ( 1 σ ( 5 ) ) . . . ( 1 σ ( p k ) ) N=\sum_{d|2017!} \mu(d) \sigma(d)=(1-\sigma(2))(1-\sigma(3))(1-\sigma(5))...(1-\sigma(p_{k}))

Because 1 σ ( p i ) = 1 ( p i + 1 ) = p i 1-\sigma(p_{i})=1-(p_{i}+1)=-p_{i} , then

N = ( 2 ) ( 3 ) ( 5 ) . . . ( p k ) N=(-2)(-3)(-5)...(-p_{k}) N = 2.3.5... p k |N|=2.3.5...p_{k}

Give a conclusion that the unit digit of N |N| is 0 \boxed{0}

Ivan Koswara
Apr 28, 2017

Let d d be an odd divisor of 2017 ! 2017! . Then

μ ( 2 d ) σ ( 2 d ) = ( 1 ) μ ( d ) ( 2 + σ ( d ) ) = 2 μ ( d ) μ ( d ) σ ( d ) \mu(2d) \sigma(2d) = (-1) \mu(d) (2 + \sigma(d)) = -2 \mu(d) - \mu(d) \sigma(d)

Thus,

μ ( d ) σ ( d ) + μ ( 2 d ) σ ( 2 d ) = 2 μ ( d ) \mu(d) \sigma(d) + \mu(2d) \sigma(2d) = -2 \mu(d)

By pairing each odd divisor d d of 2017 ! 2017! to 2 d 2d , the sum collapses to simply d 2 μ ( d ) \sum_{d} -2\mu(d) where d d is taken over all odd divisors of 2017 ! 2017! . (Note that all other divisors d d' are divisible by 4, and thus μ ( d ) = 0 \mu(d') = 0 , so they don't contribute to the sum.

Now, what? Well, we continue again. Let d d be a divisor of 2017 ! 2017! not divisible by either 2 or 3. Then

μ ( 3 d ) = ( 1 ) μ ( d ) \mu(3d) = (-1)\mu(d)

Thus,

2 μ ( d ) + ( 2 ) μ ( 3 d ) = ( 2 ) ( μ ( d ) μ ( d ) ) = 0 -2\mu(d) + (-2)\mu(3d) = (-2)(\mu(d) - \mu(d)) = 0

By pairing each divisor d d of 2017 ! 2017! that is not divisible by either 2 or 3 to 3 d 3d , the sum vanishes (their terms cancel). All other divisors d d' are divisible by 9 and thus μ ( d ) = 0 \mu(d') = 0 , so they don't contribute to the sum either.

Thus the sum is 0 \boxed{0} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...