Factorial factors

How many positive integers are divisors of 21 ! 21! but are not divisors of 20 ! 20! ?


The answer is 19760.

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.

4 solutions

Discussions for this problem are now closed

First of all, let us see how many factors does any number n n have.

If n = p 1 i 1 p 2 i 2 p k i k n=p_1^{i_1}p_2^{i_2}\cdots p_k^{i_k} where p 1 , p 2 , , p k p_1,p_2,\cdots,p_k are the distinct prime factors of n n ; then number of factors of n n would be

Then any factor of n n would be of the form m = p 1 q 1 p 2 q 2 p k q k m=p_1^{q_1}p_2^{q_2}\cdots p_k^{q_k} with 0 q j i k , j = 1 k 0 \leq q_j \leq i_k, \forall j=1 \cdots k

Thus the number of distinct factors of n n would be

N ( n ) = j = 1 k ( i j + 1 ) N(n)=\displaystyle\prod_{j=1}^k (i_j+1) .

Hence,

N p ( n ) = ( j = 1 k ( i j + 1 ) ) N_p(n)=\displaystyle\left(\prod_{j=1}^k (i_j+1)\right) ...... (Eq. 1)

with each prime p j p_j factor being considered 0 to i j i_j times.

Now, the part to do the prime factorization of n ! n! .

If there are k k prime numbers lesser than or equal to n n , then n ! n! would have those k k primes in its prime factorization.

n ! = 2 r 1 3 r 2 p k r k n!=2^{r_1}3^{r_2}\cdots p_k^{r_k}

The radix r j r_j is the number of times the prime number p j p_j appears in n ! n! . This can be easily calculated as

r j = [ n p j ] + [ n p j 2 ] + [ n p j 3 ] + r_j = \left[\frac{n}{p_j}\right]+\left[\frac{n}{p_{j}^{2}}\right]+\left[\frac{n}{p_{j}^{3}}\right]+\cdots

From this we can determine that

20 ! = 2 ( 10 + 5 + 2 + 1 ) 3 ( 6 + 2 ) 5 4 7 2 1 1 1 1 3 1 1 7 1 1 9 1 20! = 2^{(10+5+2+1)}3^{(6+2)}5^{4}7^{2}11^{1}13^{1}17^{1}19^{1}

20 ! = 2 18 3 8 5 4 7 2 1 1 1 1 3 1 1 7 1 1 9 1 20!=2^{18}3^{8}5^{4}7^{2}11^{1}13^{1}17^{1}19^{1}

N p ( 20 ! ) = 19 × 9 × 5 × 3 × 2 × 2 × 2 × 2 = 41040 N_p(20!) = 19\times 9\times 5\times 3 \times 2 \times 2 \times 2 \times 2 = 41040

and

21 ! = 2 ( 10 + 5 + 2 + 1 ) 3 ( 7 + 2 ) 5 4 7 3 1 1 1 1 3 1 1 7 1 1 9 1 21! = 2^{(10+5+2+1)}3^{(7+2)}5^{4}7^{3}11^{1}13^{1}17^{1}19^{1}

21 ! = 2 18 3 9 5 4 7 3 1 1 1 1 3 1 1 7 1 1 9 1 21! = 2^{18}3^{9}5^{4}7^{3}11^{1}13^{1}17^{1}19^{1}

N p ( 21 ! ) = 19 × 10 × 5 × 4 × 2 × 2 × 2 × 2 = 60800 N_p(21!) = 19\times 10\times 5\times 4 \times 2 \times 2 \times 2 \times 2= 60800

Further, since 21 ! = 21 × 20 ! 21!=21\times 20! , each factor of 20 ! 20! is also a factor of 21 ! 21! .

So, the required solution would be

N p ( 21 ! ) N p ( 20 ! ) = 60800 41040 = 19760 N_p(21!)-N_p(20!) = 60800-41040 = \boxed{19760}

Very nice! One tiny remark, you forgot the 2 -2 in Eq. 1.

Tijmen Veltman - 6 years, 4 months ago

Here are a few numbers which are not factors of 20 ! 20! but are factorials of 21 ! 21!

964467, 1928934, 2250423, 3857868, 4500846, 4822335, 6751269, 7715736, 9001692, 9644670, 10609137, 11252115, 12538071, 13502538, 15431472, 16395939, 18003384, 18324873, 19289340, 21218274

Janardhanan Sivaramakrishnan - 6 years, 4 months ago
Ryan Tamburrino
Jan 18, 2015

Our instincts tell us that factorizing 21 ! 21! and 20 ! 20! would be useful. So, with a bit of scratch work, we can see that 20 ! = 2 18 3 8 5 4 7 2 11 13 17 19 20! = 2^{18}\cdot3^{8}\cdot5^4\cdot7^2\cdot11\cdot13\cdot17\cdot19 21 ! = 2 18 3 9 5 4 7 3 11 13 17 19 21! = 2^{18}\cdot3^{9}\cdot5^4\cdot7^3\cdot11\cdot13\cdot17\cdot19 21 ! / 20 ! = 3 7 21!/20! = 3\cdot7 It's evident that 21 ! 21! brings an extra 3 3 and 7 7 along with it, so, we can conclude that the proper divisors of 21 ! 21! that do not properly divide 20 ! 20! have one or both of those extra factors. More specifically, our desired divisors d d must be in one of the following three forms: d 1 = 2 a 3 9 5 b 7 3 1 1 c 1 3 d 1 7 e 1 9 f d_1 = 2^a\cdot3^9\cdot5^b\cdot7^3\cdot11^c\cdot13^d\cdot17^e\cdot19^f d 2 = 2 a 3 x 5 b 7 3 1 1 c 1 3 d 1 7 e 1 9 f d_2 = 2^a\cdot3^x\cdot5^b\cdot7^3\cdot11^c\cdot13^d\cdot17^e\cdot19^f d 3 = 2 a 3 9 5 b 7 y 1 1 c 1 3 d 1 7 e 1 9 f d_3 = 2^a\cdot3^9\cdot5^b\cdot7^y\cdot11^c\cdot13^d\cdot17^e\cdot19^f

where we have non-negative integers a , b , c , d , e , f , x , y a, b, c, d, e, f, x, y in the following intervals:
a [ 0 , 18 ] a\in[0,18] b [ 0 , 4 ] b\in[0,4] c , d , e , f [ 0 , 1 ] c, d, e, f\in[0,1] x [ 0 , 8 ] x\in[0,8] y [ 0 , 2 ] y\in[0,2]

Now, for the case of d 1 d_1 , we can see that there are 19 5 2 2 2 2 = 1520 19\cdot5\cdot2\cdot2\cdot2\cdot2 = 1520 such divisors.

In similar suit for d 2 d_2 , we can see there are 19 9 5 2 2 2 2 = 13680 19\cdot9\cdot5\cdot2\cdot2\cdot2\cdot2 = 13680 such divisors.

And finally, for d 3 d_3 , there are 19 3 5 2 2 2 2 = 4560 19\cdot3\cdot5\cdot2\cdot2\cdot2\cdot2 = 4560 such divisors.

All that's left is to sum them up, giving us 1520 + 13680 + 4560 = 19760 1520+13680+4560 = \boxed{19760}

this is cool

Murali Kancharla - 6 years, 4 months ago

This is exactly the solution that I had posted earlier, along with proper procedure to deduce a , b , c , d , a,b,c,d,\cdots etc.,

Janardhanan Sivaramakrishnan - 6 years, 4 months ago
Inderjeet Nair
Jan 19, 2015

The main trick is to find the number of proper factors of 21! That is 60798. Similarly the number of proper factors of 20! Is 41038 Then subtract them to get the answer.

William Chau
Jan 25, 2015

It is well-known that the highest power of p that divide n! is f(n, p) = floor(n/p)+floor(n/p^2)+floor(n/p^3)+.... So

f(20, 2) = 10+5+2+1 = 18,

f(20, 3) = 6+2 = 8,

f(20, 5) = 4,

f(20, 7) = 2,

f(20, 11) = f(20, 13), f(20, 17), f(20, 19) = 1.

Therefore 20! = (2^18)(3^8)(5^4)(7^2) * 11 * 13 * 17 * 19, and since 21! = 20! * 3 * 7, so 21! = (2^18)(3^9)(5^4)(7^3) * 11 * 13 * 17 * 19. It is also well-known that the number of factors of n with prime-factorization n = (p^a)(q^b)(r^c) * ... is g(n) = (a+1)(b+1)(c+1) * .... Therefore the number of proper factors of 21! that are not proper factors of 20! is

[g(21)-2]-[g(20)-2]

= g(21)-g(20)

= (18+1)(4+1)(1+1)^4 * [(9+1)(3+1)-(8+1)(2+1)]

= 19760,

where we subtracted 2 from both g(21) and g(20) above to remove the improper factors.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...