Jasper's sum of subset products

Algebra Level 4

For each non-empty subset of integers { 1 , 2 , n } \{1,2\cdots,n\} , consider the reciprocal of the product of the elements. Let S n S_n denote the sum of these products. For example, S 3 = 1 1 + 1 2 + 1 3 + 1 1 2 + 1 1 3 + 1 2 3 + 1 1 2 3 . S_3=\frac{1}1+\frac{1}2+\frac{1}3+\frac{1}{1\cdot 2}+\frac{1}{1\cdot 3}+\frac{1}{2\cdot 3}+\frac{1}{1\cdot 2\cdot 3}.

Find the sum of digits of S 2013 S_{2013} .

This problem is shared by Jasper S .


The answer is 6.

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.

10 solutions

Riley Pinkerton
Aug 18, 2013

Looking at the first few cases, we note that S 1 = 1 , S 2 = 2 , S 3 = 3 S_1=1, S_2=2, S_3=3 .

So it remains to prove the case in general, (ie S 2013 = 2013 S_{2013}=2013 )

We show this by induction:

We take a base case of n = 1, S 1 = 1 S_1=1 is trivial.

Now suppose S n = n S_n=n

Then note that S n + 1 S_{n+1} contains all the fractions in S n S_n , and to catch all the new subsets we add 1 n + 1 S n \frac{1}{n+1}S_n

(Since the new subsets are just all the old ones with the addition of n+1)

We add a 1 n + 1 \frac{1}{n+1} to account for the set of just n+1, giving:

S n + 1 = S n + S n n + 1 + 1 n + 1 = n + 1 , Q E D S_{n+1}=S_n+\frac{S_n}{n+1}+\frac{1}{n+1}=n+1, QED

So we now have that S 2013 = 2013 S_{2013}=2013 , which has sum of digits 6 \fbox{6}

Moderator note:

Well done! This is a great example of a problem that can be naturally done by induction, and this solution is an excellent example of how such proofs can be written.

Well done!

Alexander Borisov - 7 years, 9 months ago

Good solution! Never thought of it.

Hao Tian Lee - 7 years, 9 months ago

That's a cool solution.

Frederick Corpuz - 7 years, 5 months ago

I also did the same thing

Achint Gupta - 7 years, 9 months ago

i did'nt get you properly....cud u pls be a little more clear?

Shreya Roychoudhury - 7 years, 9 months ago

Log in to reply

Well they were talking about induction . In this method we prove that the given statement is true x Z + S x = x \forall x \in \mathbb{Z}^+ \Rightarrow S_x = x .

We first put in x=1 i.e

S 1 = 1 S_1 = 1

Now, we assume in x = n x = n i.e

S n = n S_n = n

Now we prove that S n + 1 = n + 1 S_{n+1} = n + 1

Hence now we can say that x Z + , S x = x \forall x \in \mathbb{Z}^+ , S_x = x

Therefore , S 2013 = 2013 S_{2013} = 2013

Hence , Sum of digits = 6 6

Priyansh Sangule - 7 years, 9 months ago
Avika Septriani
Aug 22, 2013

Firstly, we will prove that S n = n S_n=n . From the given sum, adding 1 to each side, we will have S n + 1 = ( 1 + 1 ) ( 1 + 1 2 ) ( 1 + 1 3 ) ( 1 + 1 4 ) . . . ( 1 + 1 n ) S_n+1=(1+1)(1+\dfrac{1}{2})(1+\dfrac13)(1+\dfrac14)...(1+\dfrac1n) S n + 1 = 2. 3 2 . 4 3 . . . n + 1 n S_n+1=2.\dfrac32.\dfrac43...\dfrac{n+1}{n} S n + 1 = n + 1 S_n+1=n+1 S n = n S_n=n So S 2013 = 2013 S_{2013}=2013 , and its sum digits is 6 6

Moderator note:

Nicely done!

Justin Yang
Aug 25, 2013

We begin by testing cases with small n n . For n = 1 n = 1 , S 1 = 1 1 = 1 S_1 = \frac{1}{1} = 1 . For n = 2 n = 2 , S 2 = 1 1 + 1 2 + 1 1 2 = 1. S_2 = \frac{1}{1} + \frac{1}{2} + \frac{1}{1 \cdot 2} = 1. For n = 3 n = 3 , S 3 = 1 1 + 1 2 + 1 3 + 1 1 2 + 1 1 3 + 1 2 3 + 1 1 2 3 = 3. S_3 = \frac{1}{1} + \frac{1}{2} + \frac{1}{3} + \frac{1}{1 \cdot 2} + \frac{1}{1 \cdot 3} + \frac{1}{2 \cdot 3} + \frac{1}{1 \cdot 2 \cdot 3} = 3. We thus conjecture that S n = n S_n = n . We notice that S n S n 1 = 1 n + S n 1 n S_n - S_{n - 1} = \frac{1}{n} + \frac{S_{n - 1}}{n} . Through induction, we see that S n = S n 1 + 1 n + S n 1 n = ( n 1 ) + 1 n + n 1 n = n . S_n = S_{n - 1} + \frac{1}{n} + \frac{S_{n - 1}}{n} = \left(n - 1\right) + \frac{1}{n} + \frac{n - 1}{n} = n. We note that S 1 = 1 S_1 = 1 , so S 2013 = 2013 S_{2013} = 2013 and its digit sum is 2 + 0 + 1 + 3 = 6 2 + 0 + 1 + 3 = 6 .

Well explained!

Priyansh Sangule - 7 years, 9 months ago
Hao Tian Lee
Aug 19, 2013

1 1 \frac{1}{1} + 1 2 \frac{1}{2} + 1 3 \frac{1}{3} + 1 1 × 2 \frac{1}{1\times 2} + 1 1 × 3 \frac{1}{1\times3} + 1 2 × 3 \frac{1}{2\times3} + 1 1 × 2 × 3 \frac{1}{1\times2\times3}

=( 1 1 \frac{1}{1} + 1 2 \frac{1}{2} + 1 3 \frac{1}{3} + 1 1 × 2 \frac{1}{1\times 2} + 1 1 × 3 \frac{1}{1\times3} + 1 2 × 3 \frac{1}{2\times3} + 1 1 × 2 × 3 \frac{1}{1\times2\times3} +1)-1

=(1+ 1 1 \frac{1}{1} )(1+ 1 2 \frac{1}{2} )(1+ 1 3 \frac{1}{3} )-1

= 2 1 × 3 2 × 4 3 \frac{2}{1}\times\frac{3}{2}\times\frac{4}{3} -1

=4-1

=3

WLOG

Answer=2+0+1+3

I suspect that your proof is pretty much the same as Arika S.'s one. But "WLOG" is not appropriate here.

Alexander Borisov - 7 years, 9 months ago
Walter Li
Aug 24, 2013

If we put S 2013 under a common denominator, the numerator becomes (1+1)(2+1)...(2013+1)-2013! and the denominator is 2013!. But then S 2013 = 2014!/2013! - 2013!/2013! = 2014-1=2013. It follows the answer is 2+0+1+3=6.

Hs N
Aug 21, 2013

We can recursively determine the values of S n S_n and regroup these to notice that S n = S n 1 + 1 n S n 1 + 1 n S_n = S_{n-1}+\frac{1}{n}S_{n-1}+\frac{1}{n} . For instance, S 3 = 1 1 + 1 2 + 1 1 2 + 1 3 ( 1 1 + 1 2 + 1 1 2 ) + 1 3 S_3 = \frac{1}{1}+\frac{1}{2}+\frac{1}{1\cdot 2} + \frac{1}{3}(\frac{1}{1}+\frac{1}{2}+\frac{1}{1\cdot 2}) + \frac{1}{3} .

Assuming S n 1 = n 1 S_{n-1}=n-1 , this gives S n = n + 1 n ( n 1 ) + 1 n = n 2 n = n S_n = \frac{n+1}{n}(n-1)+\frac{1}{n} = \frac{n^2}{n}=n and so, inductively, we notice S n = n S_n=n . The sum of digits of 2013 2013 of course is 6.

Gardar Sigurdsson
Aug 21, 2013

Let A = 1 , 2 , 3 , . . , n A={1,2,3,..,n} and lets look at non-empty subsets of A. When n=1 They are ( 1 ) (1) . The non-empty subsets of A when n=1 are also valid when n=2. The non-empty subsets when n=2 that are not in case n=1 can be obtained by adding 2 to every non-empty subset when n=1 and also adding ( 2 ) (2) to the list. Hence the non-empty subsets of A when n=2 are ( 1 ) , ( 2 ) , ( 1 , 2 ) (1),(2),(1,2) . Generally in case n the non-empty subsets of A are the non-empty subsets of A in case n-1, the non-empty subsets of A in case n-1 with n added to them and ( n ) (n) .

Lets now look at the sum given in the problem. By the exercise above it can easily be found that S 2 = 1 1 + 1 1 × 2 + 1 2 S_{2}=\frac{1}{1}+\frac{1}{1\times2}+\frac{1}{2} . To find S 3 S_{3} we use the procedure above and find that S 3 = 1 1 + 1 1 × 2 + 1 2 + 1 3 ( 1 1 + 1 1 × 2 + 1 2 ) + 1 3 = S 2 + 1 3 S 2 + 1 3 S_{3}=\frac{1}{1}+\frac{1}{1\times2}+\frac{1}{2}+\frac{1}{3}(\frac{1}{1}+\frac{1}{1\times2}+\frac{1}{2})+\frac{1}{3}=S_{2}+\frac{1}{3}S_{2}+\frac{1}{3} . Using this procedure we find that in general S n = S n 1 + 1 n S n 1 + 1 n S_{n}=S_{n-1}+\frac{1}{n}S_{n-1}+\frac{1}{n} (we "add" n to a subset by multiplying with 1 n \frac{1}{n} ). Now we use induction to show that S n = n S_{n}=n . It is trivial that S 1 = 1 S_{1}=1 so we assume for n 1 n \geq 1 that S n = n S_{n}=n . Then we have:

S n + 1 = S n + 1 n + 1 S n + 1 n + 1 S_{n+1}=S_{n}+\frac{1}{n+1}S_{n}+\frac{1}{n+1}

= n + 1 n + 1 n + 1 n + 1 = n + n + 1 n + 1 = n + 1. =n+\frac{1}{n+1}n+\frac{1}{n+1}=n+\frac{n+1}{n+1}=n+1.

Therefore for every n 1 n \geq 1 , S n = n S_{n}=n . So S 2013 = 2013 S_{2013}=2013 , hence the answer 2 + 0 + 1 + 3 = 6 2+0+1+3=6 .

Santanu Banerjee
Aug 20, 2013

Take 1 / ( n ! ) We get the following as the numerator

Summation of single terms + Summation of ( product of two ) terms + Summation of ( product of three ) terms + ..............+ Summation of ( product of n - 1 ) terms

Consider the numerator as a quadratic expression in x :

[ ( x + 1 )( x + 2 )( x + 3 )( x + 4 )................( x + n ) ] - n!

The above expression is valid for x = 1 : So putting x = 1

we get Numerator = ( n + 1 ) ! - n !

We had taken common n ! in the beginning ; so dividing the above with n !

We get Sn = [ ( n + 1 ) ! - n ! ] / ( n ! )

or Sn = n ...........

Answer is 2 + 0 + 1 + 3 = 6

S2013 is 2013.The question here is sum of digits of S2013 which is 6

Joshua Crouch
Aug 19, 2013

/{S_{3}/}=3

Therefore, /{S_{2013}/}=2013

The sum of the digits is 2+0+1+3=6

6 is the answer

This is a good guess, but not a proof. Try to understand the Riley P.'s solution.

Alexander Borisov - 7 years, 9 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...