Simple but sweet

Let n n , a a , b b and c c be positive integers such that 1 2 n = a 2 \frac {1}{2} n = a^2 , 1 3 n = b 3 \frac{1}{3} n = b^3 and 1 5 n = c 5 \frac{1}{5} n = c^5 .

Find the smallest possible number of positive divisors of n n (inclusive of 1 and itself).


The answer is 1232.

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

Chew-Seong Cheong
Jul 15, 2017

From n = 2 a 2 = 3 b 3 = 5 c 5 n=2a^2=3b^3=5c^5 , we note that since n , a , b , c N n, a, b, c \in \mathbb N , then n n must have the prime factors of 2, 3 and 5. To be the smallest, n n must not have other prime factors. Therefore, we can assume n = 2 x 3 y 5 z n = 2^x3^y5^z , where x , y , z N x, y, z \in \mathbb N . Then we have 2 a 2 = 2 x 3 y 5 z 2a^2 = 2^x3^y5^z a 2 = 2 x 1 3 y 5 z \implies a^2 = 2^{x-1}3^y5^z a = 2 x 1 2 3 y 2 5 z 2 \implies a = 2^{\frac {x-1}2}3^\frac y2 5^\frac z2 . Similarly, we have:

{ a = 2 x 1 2 3 y 2 5 z 2 b = 2 x 3 3 y 1 3 5 z 3 c = 2 x 5 3 y 5 5 z 1 5 \large \begin{cases} a = 2^{\frac {x-1}2}3^\frac y2 5^\frac z2 \\ b = 2^\frac x3 3^{\frac {y-1}3}5^\frac z3 \\ c = 2^\frac x5 3^\frac y5 5^{\frac {z-1}5} \end{cases}

For a a , b b and c c to be positive integers x 1 2 \dfrac {x-1}2 , x 3 \dfrac x3 and x 5 \dfrac x5 must be positive integers too. Therefore x 1 0 (mod 2) x-1 \equiv 0 \text{ (mod 2)} or x 1 (mod 2) x \equiv 1 \text{ (mod 2)} , x 0 (mod 3) x \equiv 0 \text{ (mod 3)} and x 0 (mod 5) x \equiv 0 \text{ (mod 5)} . Implies that x 15 g 1 (mod 2) x \equiv 15 g \equiv 1 \text{ (mod 2)} and the smallest x = 15 x=15 . Similarly,

{ x 1 (mod 2) 0 (mod 3) 0 (mod 5) x 15 g 1 (mod 2) x = 15 y 0 (mod 2) 1 (mod 3) 0 (mod 5) y 10 h 1 (mod 3) y = 10 z 0 (mod 2) 0 (mod 3) 1 (mod 5) z 6 k 1 (mod 5) z = 6 \begin{cases} x \equiv 1 \text{ (mod 2)} \equiv 0 \text{ (mod 3)} \equiv 0 \text{ (mod 5)} & \implies x \equiv 15g \equiv 1 \text{ (mod 2)} & \implies x = 15 \\ y \equiv 0 \text{ (mod 2)} \equiv 1 \text{ (mod 3)} \equiv 0 \text{ (mod 5)} & \implies y \equiv 10h \equiv 1 \text{ (mod 3)} & \implies y = 10 \\ z \equiv 0 \text{ (mod 2)} \equiv 0 \text{ (mod 3)} \equiv 1 \text{ (mod 5)} & \implies z \equiv 6k \equiv 1 \text{ (mod 5)} & \implies z = 6 \end{cases}

n = 2 15 3 10 5 6 \implies n = 2^{15} 3^{10} 5^6 . Therefore, the answer = ( 15 + 1 ) ( 10 + 1 ) ( 6 + 1 ) = 1232 =(15+1)(10+1)(6+1) = \boxed{1232}

Andrius Gegužis
Jul 14, 2017

It is obvious that n must be divisible by 2, 3 and 5 because a, b, c are positive integers. We have to find the least possible value of n and if n = 2 d 3 e 5 f q n = 2^d \cdot 3^e \cdot 5^f · q satisfies, then n = 2 d 2^d · 3 e 3^e · 5 f 5^f satisfies too. Because of this n have to be a form of n = 2 d 2^d · 3 e 3^e · 5 f 5^f . According to the problem,

2 d 1 3 e 5 f = a 2 2^{d-1} 3^e5^f = a^2 ,

2 d 2^d 3 e 3^e ^- 1 ^1 5 f 5^f = b 3 b^3 ,

2 d 2^d 3 e 3^e 5 f 5^f ^- 1 ^1 = c 5 c^5 .

Because a 2 a^2 is a square 2|d-1, 2|e and 2|f. In the same way: 3|d, 3|e-1, 3|f and 5|d, 5|e, 5|f-1

Now we can find the exact values of d, e and f. The least odd number, which is divisible by 3 and 5 is 3·5 = 15, thus d = 15. The least number, which is divisible by 2 and 5 is 2·5 = 10, and 3|10-1, thus e = 10. The least number, which is divisible by 2 and 3 is 2·3 = 6, and 5|6-1, thus f = 6.

And finally, we have got n = 2 1 2^1 5 ^5 3 1 3^1 0 ^0 5 6 5^6 , so the answer is ((15+1)(10+1)(6+1) = 1232 .

FYI You can type a single expression using just 1 set of LaTex brackets. I've made edits to some of your LaTex for your reference. Use { } to help "keep things together.

I personally like the "Toggle LaTex" functionality, which allows you to see how others typed in LaTex. In this way, you can recreate their beautiful equations.

Calvin Lin Staff - 3 years, 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...