Representations of 100

Find the number of way to represent 100 100 as a sum of distinct positive integers that are not divisible by primes strictly greater than 3 3 .

Details and assumptions

Clarification: The order of the summands does not matter, but they must be distinct. For example, 6 6 can be represented in this manner in three different ways: 1 + 2 + 3 , 2 + 4 , 6 1+2+3,\ 2+4,\ 6 . The sum 1 + 1 + 4 1+1+4 does not count because the summands are not distinct.


The answer is 402.

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.

3 solutions

Jared Low
Nov 12, 2013

Define v ( n ) v(n) to be the number of such ways for n Z + n \in \mathbb{Z^+} to be expressed as above. Suppose we want to partition our said sum into 2 parts: One part of the sum consists of terms divisible by 3, the other consists of terms not divisible by 3. In particular, our latter group of terms will consist of terms of form 2 x 2^x , where x Z + { 0 } x \in \mathbb{Z^+} \cup \{ 0 \} .

Our latter part will have a unique sum of terms, since it is well known that for any n Z + n \in \mathbb{Z^+} it can be uniquely expressed as the sum of distinct terms of form 2 x 2^x , where x Z + { 0 } x \in \mathbb{Z^+} \cup \{ 0 \} . (Just convert to binary to find said sum of powers of 2, with 1 if odd)

We need to find all such sums that are partitioned as above where the first group of terms would sum to 3 m 3m , where m Z + { 0 } m \in \mathbb{Z^+} \cup \{ 0 \} . For n = 100 n=100 there are 34 34 such groupings, where the first group sums to 3 m 3m and the second group sums to 100 3 m 100-3m where m m is a non-negative integer and 0 m 33 0 \leq m \leq 33 . Since we know from the previous paragraph that the second group has a unique sum, we hence only need to focus on the first group.

Now, the number of ways to find a sum of 3 m 3m with the terms following the above conditions as well as being divisible by 3 is equivalent to finding v ( m ) v(m) for 0 m 33 0 \leq m \leq 33 . We thus need to find i = 0 33 v ( i ) \displaystyle \sum_{i=0}^{33}v(i) . Note that by using analogous reasoning above for n in general, we have v ( 3 l ) = v ( 3 l + 1 ) = v ( 3 l + 2 ) v(3l)=v(3l+1)=v(3l+2) for l Z + { 0 } l \in \mathbb{Z^+} \cup \{ 0 \} , since we have v ( n ) = i = 0 n / 3 v ( i ) v(n)=\displaystyle \sum_{i=0}^{\lfloor n/3 \rfloor}v(i) (we only focus on the first group of terms that has a sum of form 3 m 3m where m Z + { 0 } m \in \mathbb{Z^+} \cup \{ 0 \} ). Then, our summation reduces to 3 ( i = 0 10 v ( 3 i ) ) + v ( 33 ) 3 (\displaystyle \sum_{i=0}^{10}v(3i)) + v(33) .

By using the same reasoning again on our now-reduced summation, where we substitute v ( 3 i ) = j = 0 i v ( j ) v(3i)=\displaystyle \sum_{j=0}^{i}v(j) , we can reduce our summation further to v ( 100 ) = i = 0 11 ( ( 12 i ) v ( i ) ) + i = 0 10 ( ( 11 i ) v ( i ) ) v(100)=\displaystyle\sum_{i=0}^{11}((12-i)*v(i)) + \displaystyle\sum_{i=0}^{10}((11-i)*v(i))

It's not hard to figure out through a few sums that we have v ( 0 ) = v ( 1 ) = v ( 2 ) = 1 , v ( 3 ) = v ( 4 ) = v ( 5 ) = 2 , v(0)=v(1)=v(2)=1, v(3)=v(4)=v(5)=2, v ( 6 ) = v ( 7 ) = v ( 8 ) = 3 , v ( 9 ) = v ( 10 ) = v ( 11 ) = 5 v(6)=v(7)=v(8)=3, v(9)=v(10)=v(11)=5 . Plugging in these values to the above sum, we get 402 \fbox{402}

Moderator note:

This was converted from Jared's comment.

This is the same as counting the number of polynomials (of any degree) with non-negative coefficients such that P ( 3 ) = 100 P(3) = 100 . Fan Zhang noticed something similar in another comment.

To see why it is the same, in any particular partition we can group all of the terms of the form 2 i 2^i , and add them together; this is the coefficient of 3 0 3^0 . And then we can group all terms of the form 3. 2 i 3.2^i and write them as 3 k 3k , where k k is the coefficient of 3 1 3^1 , etc.

Since there's a bijection between sums of distinct powers of 2 , and non-negative integers (aka. the binary representation), there's a bijection between polynomials and these partitions where all terms are 3 j 2 i 3^j 2^i .

However, I wasn't able to come up with any way of counting these polynomials that is simpler than what you posted.

One interesting thing is that there are two different ways to count polynomials and each of them give sums which are conjugates of each other. For example if we use the notation f ( 2 , 30 ) f(2,30) to mean the number of polynomials of degree at most 2 2 such that P ( 3 ) = 30 P(3) = 30 , then we can write this in two ways; the first is equivalent to counting by iterating from the highest degree, and the second equivalent to counting by iterating from the lowest degree and dividing by 3 to reduce the degree by one: f ( 2 , 30 ) = f ( 1 , 30 ) + f ( 1 , 21 ) + f ( 1 , 12 ) + f ( 1 , 3 ) = 11 + 8 + 5 + 2 \begin{aligned} f(2,30) &= f(1,30) + f(1,21) + f(1,12) + f(1,3) \\ &= 11 + 8 + 5 + 2 \end{aligned} or f ( 2 , 30 ) = f ( 1 , 10 ) + f ( 1 , 9 ) + f ( 1 , 8 ) + . . . + f ( 1 , 0 ) = 4 + 4 + 3 + 3 + 3 + 2 + 2 + 2 + 1 + 1 + 1 \begin{aligned} f(2,30) &= f(1,10) + f(1,9) + f(1,8) + ... + f(1,0) \\ &= 4 + 4 + 3 + 3 + 3 + 2 + 2 + 2 + 1 + 1 + 1 \end{aligned}

If you draw a partition diagram for these two ways of computing f ( 2 , 30 ) f(2,30) then the first way is counting the rows and the second way is counting the columns.

I couldn't find any way of using this fact but I would love to discover if there is a simpler formula for f ( d , n ) f(d, n) !

Matt McNabb - 7 years, 6 months ago
Timothy Smits
Jan 2, 2014

Using generating functions:

We must partition 100 using parts in the form of $$2^{a}3^{b}, \space 0 \leq a \leq 6, \space 0 \leq b \leq 4$$ Let S be the set of all such numbers less than 100.

Then we are looking for the coefficient of x^100 in $$\prod_{i \in S} (1 + x^{i}) $$

This can be verified using a computer to be 402.

David Treeby
Nov 11, 2013

So this is hardly a graceful solution, but anyhow....

Noting that each summand has only prime factors 2 and 3 (or neither) gives this as a complete list: 1 , 2 , 3 , 4 , 6 , 8 , 9 , 12 , 18 , 16 , 24 , 27 , 32 , 36 , 48 , 54 , 64 , 72 , 81 , 96. 1,2,3,4,6,8,9,12,18,16,24,27,32,36,48,54,64,72,81,96.

At this point, you cheat monumentally by simply finding the co-efficient of 100 in the expansion of this ridiculous polynomial:

( 1 + x ) ( 1 + x 2 ) ( 1 + x 3 ) ( 1 + x 4 ) ( 1 + x 6 ) ( 1 + x 8 ) ( 1 + x 9 ) ( 1 + x 12 ) ( 1 + x 16 ) ( 1 + x 18 ) ( 1 + x 24 ) ( 1 + x 27 ) ( 1 + x 32 ) ( 1 + x 36 ) ( 1 + x 48 ) ( 1 + x 54 ) ( 1 + x 64 ) ( 1 + x 72 ) ( 1 + x 81 ) ( 1 + x 96 ) (1+x)(1+x^{2}) (1+x^{3})(1+x^{4}) (1+x^{6})(1+x^{8}) (1+x^{9})(1+x^{12}) (1+x^{16})(1+x^{18})(1+x^{24})(1+x^{27}) (1+x^{32})(1+x^{36}) (1+x^{48})(1+x^{54}) (1+x^{64})(1+x^{72}) (1+x^{81})(1+x^{96})

This gives an answer of 40 \boxed{40}

Of course, this solution is awful, so please ofter a better alternative!

Are there any interesting (reasonably fast) methods of computing the coefficient of x 100 x^{100} in that expansion without using a computer?

Lino Demasi - 7 years, 7 months ago

Log in to reply

I'd love to know too...

David Treeby - 7 years, 7 months ago

I guess you could expand from right to left, discarding terms whose powers are too high. Still a lot of work though. This probably still doesn't qualify as interesting or reasonably fast.

David Treeby - 7 years, 7 months ago

I am not sure but is it possible to use generating functions in this case?

Fan Zhang - 7 years, 7 months ago

Log in to reply

I tried expressing the long expression (in the solution provided by David T.) as x 2 1 x 1 x 4 1 x 2 1 . . . x 192 1 x 96 1 = ( x 108 1 ) ( x 128 1 ) ( x 144 1 ) ( x 162 1 ) ( x 192 1 ) ( x 1 ) ( x 3 1 ) ( x 9 1 ) ( x 27 1 ) ( x 81 1 ) \frac{x^{2}-1}{x-1} \frac{x^{4}-1}{x^{2}-1} ... \frac{x^{192}-1}{x^{96}-1} = \frac{(x^{108}-1)(x^{128}-1)(x^{144}-1)(x^{162}-1)(x^{192}-1)}{(x-1)(x^{3}-1)(x^{9}-1)(x^{27}-1)(x^{81}-1)} . Then I observed that this whole expression just equals to ( 1 + x + x 2 + x 3 + . . . + x 127 ) ( 1 + x 3 + x 3 × 2 + . . . + x 189 ) ( 1 + x 9 + x 9 × 2 + . . . + x 135 ) ( 1 + x 27 + x 54 + x 81 ) ( 1 + x 81 ) (1+ x + x^{2} + x^{3} + ... +x^{127})(1+ x^{3} + x^{3\times 2} + ... + x^{189})(1+ x^{9} + x^{9\times 2} + ...+ x^{135})(1+ x^{27} + x^{54} + x^{81})(1+x^{81}) .

From this, i am not sure but to find the coefficient of 100, is the answer just the number of ordered pairs a 0 , a 1 , a 2 , a 3 , a 4 a_{0}, a_{1}, a_{2}, a_{3}, a_{4} that satisfies a 0 + 3 a 1 + 9 a 2 + 27 a 3 + 81 a 4 = 100 a_{0} + 3a_{1} + 9a_{2} + 27a_{3} + 81a_{4} =100 ?

Can someone correct me if I am wrong because I am really confused now and really need some enlightenment. Thank you,

Fan Zhang - 7 years, 7 months ago

Log in to reply

@Fan Zhang The answer is indeed that number of ordered pairs, as the generating function for this problem is: 1 ( 1 x ) ( 1 x 3 ) ( 1 x 9 ) ( 1 x 27 ) \frac{1}{(1-x)(1-x^3)(1-x^9)(1-x^{27}) \ldots}

I'm not enough of a practitioner of genfuncs to give a nice way of finding the n n th coefficient, but I'm fairly sure that this way would more easily lead to the recurrence expressed by Jared Low as v ( n ) = i = 0 n / 3 v ( i ) v(n) = \sum_{i = 0} ^{\lfloor n / 3 \rfloor} v(i) .

Alexander Bourzutschky - 7 years, 6 months ago

I thought some one was going to post something akin to my solution, but it seems I was wrong...

Define v ( n ) v(n) to be the number of such ways for n Z + n \in \mathbb{Z^+} to be expressed as above. Suppose we want to partition our said sum into 2 parts: One part of the sum consists of terms divisible by 3, the other consists of terms not divisible by 3. In particular, our latter group of terms will consist of terms of form 2 x 2^x , where x Z + { 0 } x \in \mathbb{Z^+} \cup \{ 0 \} .

Our latter part will have a unique sum of terms, since it is well known that for any n Z + n \in \mathbb{Z^+} it can be uniquely expressed as the sum of distinct terms of form 2 x 2^x , where x Z + { 0 } x \in \mathbb{Z^+} \cup \{ 0 \} . (Just convert to binary to find said sum of powers of 2, with 1 if odd)

We need to find all such sums that are partitioned as above where the first group of terms would sum to 3 m 3m , where m Z + { 0 } m \in \mathbb{Z^+} \cup \{ 0 \} . For n = 100 n=100 there are 34 34 such groupings, where the first group sums to 3 m 3m and the second group sums to 100 3 m 100-3m where m m is a non-negative integer and 0 m 33 0 \leq m \leq 33 . Since we know from the previous paragraph that the second group has a unique sum, we hence only need to focus on the first group.

Now, the number of ways to find a sum of 3 m 3m with the terms following the above conditions as well as being divisible by 3 is equivalent to finding v ( m ) v(m) for 0 m 33 0 \leq m \leq 33 . We thus need to find i = 0 33 v ( i ) \displaystyle \sum_{i=0}^{33}v(i) . Note that by using analogous reasoning above for n in general, we have v ( 3 l ) = v ( 3 l + 1 ) = v ( 3 l + 2 ) v(3l)=v(3l+1)=v(3l+2) for l Z + { 0 } l \in \mathbb{Z^+} \cup \{ 0 \} , since we have v ( n ) = i = 0 n / 3 v ( i ) v(n)=\displaystyle \sum_{i=0}^{\lfloor n/3 \rfloor}v(i) (we only focus on the first group of terms that has a sum of form 3 m 3m where m Z + { 0 } m \in \mathbb{Z^+} \cup \{ 0 \} ). Then, our summation reduces to 3 ( i = 0 10 v ( 3 i ) ) + v ( 33 ) 3 (\displaystyle \sum_{i=0}^{10}v(3i)) + v(33) .

By using the same reasoning again on our now-reduced summation, where we substitute v ( 3 i ) = j = 0 i v ( j ) v(3i)=\displaystyle \sum_{j=0}^{i}v(j) , we can reduce our summation further to v ( 100 ) = i = 0 11 ( ( 12 i ) v ( i ) ) + i = 0 10 ( ( 11 i ) v ( i ) ) v(100)=\displaystyle\sum_{i=0}^{11}((12-i)*v(i)) + \displaystyle\sum_{i=0}^{10}((11-i)*v(i))

It's not hard to figure out through a few sums that we have v ( 0 ) = v ( 1 ) = v ( 2 ) = 1 , v ( 3 ) = v ( 4 ) = v ( 5 ) = 2 , v(0)=v(1)=v(2)=1, v(3)=v(4)=v(5)=2, v ( 6 ) = v ( 7 ) = v ( 8 ) = 3 , v ( 9 ) = v ( 10 ) = v ( 11 ) = 5 v(6)=v(7)=v(8)=3, v(9)=v(10)=v(11)=5 . Plugging in these values to the above sum, we get 402 \fbox{402}

Jared Low - 7 years, 7 months ago

Your answer would include sets other than 3-number sets that add up to 100. For example: 1+2+16+81. Anyway, smart way!

Ngoc Nguyen - 6 years ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...