Unique Partition

5 = 1 + 4 = 2 + 3 5=1+4=2+3 Let w ( x ) w(x) denote the number of ways to express a positive integer x x as the sum of 1 or more positive integers, all of which are distinct.

For example, w ( 5 ) = 3 , w(5) = 3, as shown above. Note that the order doesn't matter, so ( 1 + 4 ) = ( 4 + 1 ) (1+4) =(4+ 1) are considered the same thing.

Find the sum of all value of a > 1 a>1 such that w ( a ) = a w(a) = a .


The answer is 10.

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

Ivan Koswara
Feb 14, 2017

First, note that w ( 10 ) = 10 w(10) = 10 :

  • 10
  • 9 + 1
  • 8 + 2
  • 7 + 3
  • 7 + 2 + 1
  • 6 + 4
  • 6 + 3 + 1
  • 5 + 4 + 1
  • 5 + 3 + 2
  • 4 + 3 + 2 + 1

This is enough to answer the problem. (It probably should have asked the sum of all a a such that w ( a ) = a w(a) = a to make it not so simple.) But we will show that this is indeed the only solution.

It can be verified manually (if with difficulty) that w ( n ) < n w(n) < n for all n = 2 , 3 , , 9 n = 2, 3, \ldots, 9 . Thus there's no solution for n < 10 n < 10 .

For n > 10 n > 10 , observe that the following are partitions with no repeated parts:

  • n n
  • ( n k ) + k (n-k) + k for k = 1 , 2 , , n 2 1 k = 1, 2, \ldots, \lceil \frac{n}{2} \rceil - 1
  • ( n k 1 ) + k + 1 (n-k-1) + k + 1 for k = 2 , 3 , , n 2 1 k = 2, 3, \ldots, \lfloor \frac{n}{2} \rfloor - 1

They account for a total of 1 + ( n 2 1 ) + ( n 2 2 ) = n 2 1 + \left( \lceil \frac{n}{2} \rceil - 1 \right) + \left( \lfloor \frac{n}{2} \rfloor - 2 \right) = n-2 partitions. Thus it's enough to prove that for n > 10 n > 10 , there exists three other partitions with no repeated parts to claim w ( n ) > n w(n) > n . Sure, this is easy enough: ( n 5 ) + 3 + 2 (n-5) + 3 + 2 , ( n 6 ) + 4 + 2 (n-6) + 4 + 2 , ( n 6 ) + 3 + 2 + 1 (n-6) + 3 + 2 + 1 suffice. This completes the proof.

Shourya Pandey
Feb 15, 2017

We claim that for a 10 , a \geq 10, , we have w ( a + 1 ) w ( a ) 1 w(a+1)-w(a) \geq 1 .

Consider any expression of a = x 1 + x 2 + . . . + x n a= x_{1} + x_{2} + ... + x_{n} , where x 1 > x 2 > . . . > x n x_{1}>x_{2}>...>x_{n} . Then a + 1 = ( x 1 + 1 ) + x 2 + . . . + x n a+1= (x_{1}+1) + x_{2}+...+x_{n} . Thus w ( a + 1 ) > = w ( a ) w(a+1)>=w(a) .

However, whenever we have a partition of a + 1 a+1 , in which the largest term is exactly one more than the second largest term, there won't be a corresponding expression for a a .

As an example, consider 6 = 5 + 1 = 4 + 2 = 3 + 2 + 1 6= 5+1 = 4+2= 3+2+1 . Adding one to the largest term in each such expression, we get

7 = 6 + 1 = 5 + 2 = 4 + 2 + 1 7= 6+1= 5+2= 4+2+1 , but we MAY get additional expressions, such as 4 + 3 4+3 , where there is no corresponding 3 + 3 3+3 as an expression for 6 6 . So if we can prove that for all a 10 a \geq 10 , we can find such an expression, our claim is proved. This is easy , because

3 k = ( k + 1 ) + k + ( k 1 ) 3k= (k+1)+k+(k-1) 3 k + 1 = ( k + 2 ) + ( k + 1 ) + ( k 2 ) 3k+1= (k+2)+(k+1)+(k-2) 3 k + 2 = ( k + 2 ) + ( k + 1 ) + ( k 1 ) 3k+2= (k+2)+(k+1)+(k-1)

Notice, w ( 11 ) = 12 w(11)=12 . This means w ( a ) a + 1 w(a)\geq a+1 for all a 11 a\geq 11 . It suffices to evaluate w ( a ) w(a) for all a 10 a \leq 10 . A quick check shows that a = 10 a=10 is the only solution.

Woah! This is the simplest solution I've seen! I like how you are able to prove that w ( a ) w(a) is an increasing function!

Pi Han Goh - 4 years, 3 months ago

If we check the number of ways to express a certain integer, a pattern will be observed.The pattern is ,

ω ω ( 1 1 ) = 1 1

ω ω ( 2 2 ) = 1 1

ω ω ( 3 3 ) = 2 2

ω ω ( 4 4 ) = 2 2

ω ω ( 5 5 ) = 3 3

ω ω ( 6 6 ) = 4 4

ω ω ( 7 7 ) = 5 5

ω ω ( 8 8 ) = 6 6

ω ω ( 9 9 ) = 8 8

ω ω ( 10 10 ) = 10 10

ω ω ( 11 11 ) = 12 12

ω ω ( 12 12 ) = 15 15

You can see that difference between the numbers increases by 1 after every set of 4 numbers.The pattern is not clear for the first 4 numbers but after that the pattern can be identified clearly. So the number of ways increases continuously and after 10 10 , ω ω (a) > a

Actually, if we keep going, we'll get w(13)=18; w(14)=22. The increase happens sooner than in the 4 numbers, so the pattern is not so simple.

Worranat Pakornrat - 4 years, 3 months ago

Log in to reply

Partitions isn't supposed to be simple. :P

Sharky Kesa - 4 years, 3 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...