Minimum value of digits sum

Number n n is such that: n = 2003 k n=2003k , where k k is a positive integer. Denote S ( n ) S\left( n \right) be the sum of digits of n n .

What is the smallest possible value of S ( n ) S\left( n \right) ?


The answer is 3.

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.

1 solution

Mark Hennings
Jul 19, 2017

If S ( n ) = 1 S(n) = 1 then n = 1 0 a n = 10^a for some a 0 a \ge 0 , and no such number is divisible by the prime 2003 2003 .

If S ( n ) = 2 S(n) = 2 then either n = 2 × 1 0 a n = 2 \times 10^a for some a 0 a \ge 0 or else n = 1 0 a + 1 0 b n = 10^a + 10^b for some a > b 0 a > b \ge 0 . No number of the form 2 × 1 0 a 2\times10^a is divisible by 2003 2003 . If n = 1 0 a + 1 0 b n = 10^a + 10^b is divisible by 2003 2003 , where a > b a > b , then 1 0 a b 1 ( m o d 2003 ) 10^{a-b} \equiv -1 \pmod{2003} , and hence, since 1 0 1001 1 ( m o d 2003 ) 10^{1001} \equiv 1 \pmod{2003} , 1 = ( 1 ) 1001 1 0 1001 ( a b ) 1 ( m o d 2003 ) -1 = (-1)^{1001} \; \equiv \; 10^{1001(a-b)} \; \equiv \; 1 \pmod{2003} , which is not true. Thus there is no number n n which is divisible by 2003 2003 for which S ( n ) = 2 S(n) = 2 .

On the other hand, 1 0 301 + 2 0 ( m o d 2003 ) 10^{301} + 2 \equiv 0 \pmod{2003} , and S ( 1 0 301 + 2 ) = 3 S\big(10^{301} + 2\big) = 3 . Thus the answer is 3 \boxed{3} .

@Mark Hennings I deduced that since 2003 is a prime, then 10^2002 + 2 should be divisible by 2003 (Fermat's little theorem).......how did you find 10^301 ?? Please help.....

Aaghaz Mahajan - 3 years ago

Log in to reply

Careful, 1 0 2002 1 ( m o d 2003 ) 10^{2002} \equiv 1 \pmod{2003} , which means that 1 0 2002 + 2 10^{2002} + 2 is not divisible by 2003 2003 .

By condering the Legendre symbol ( 2 2003 ) = ( 1 2003 ) ( 2 2003 ) = 1 × 1 = 1 \left(\frac{-2}{2003}\right) = \left(\frac{-1}{2003}\right)\left(\frac{2}{2003}\right) = -1 \times -1 = 1 , we see that 2 -2 is a quadratic residue modulo 2003 2003 . We also note that ( 10 2003 ) = ( 2 2003 ) ( 5 2003 ) = ( 2003 5 ) = ( 3 5 ) = 1 \left(\frac{10}{2003}\right) = \left(\frac{2}{2003}\right)\left(\frac{5}{2003}\right) = -\left(\frac{2003}{5}\right) = -\left(\frac{3}{5}\right) = 1 and so 10 10 is a quadratic residue modulo 2003 2003 .

It is easy to check that 10 10 has order 1001 1001 in the cyclic group Z 2003 × C 2002 \mathbb{Z}_{2003}^\times \equiv C_{2002} , and so 10 x 2 10 \equiv x^2 for some x Z 2003 × x \in \mathbb{Z}_{2003}^\times , and it is clear that x x has order 2002 2002 , and so is a generator of the group. Since 2 -2 is a quadratic residue modulo 2003 2003 it follows that 2 y 2 -2 \equiv y^2 for some y y , and we will have y x u y \equiv x^u for some integer u u . Thus 2 x 2 u 1 0 u -2 \equiv x^{2u} \equiv 10^u , and so there must exist some integer u u such that 1 0 u + 2 10^u + 2 is divisible by 2003 2003 . We do not need to find the actual value of u u to solve the problem! I think I found u = 301 u=301 by computer search (it was a year ago).

Mark Hennings - 3 years ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...