1. Define the Problem:
We need to determine which natural numbers cannot be written as the sum of consecutive natural numbers and prove such impossibility.
2. Claim 1:
If n has an odd divisor k>1, then n is a beautiful number (i.e., it can be written as the sum of consecutive natural numbers).
Proof:
- If n is an odd number, then we can write n=a+(a+1) with a=2n−1.
- If n is an even number, then write n=2s⋅t with t>1 being an odd number.
- Let b=2t−1.
- If 2s≥b, then we can write n=i+(i+1)+…+(i+t−1)=t(i+b) with i=2s−b.
- If b>2s, then we can write n=[b−(2s−1)]+[b−(2s−2)]+…+b+(b+1)+…+(b+2s).
3. Claim 2:
If n is a beautiful number, then there exists an odd natural number k>1 such that k∣n.
Proof:
- Since n is a beautiful number, there exist i,h∈N,h>1 such that
n=i+(i+1)+(i+2)+…+(i+h−1)=h(i+2h−1)
- If h is odd, then 2h−1∈N, so h∣n and we are done.
- If h is even, then
n=2h(2i+h−1)
so 2i+h−1 is odd and 2i+h−1∣n, we are done.
4. Conclusion:
From Claims 1 and 2, we have shown that n is beautiful if and only if n has an odd divisor greater than 1. Therefore, the numbers that cannot be written as the sum of consecutive natural numbers are those that do not have any odd divisors greater than 1. These numbers are the powers of 2.
Hence, the numbers that cannot be written as the sum of consecutive natural numbers are 2s with s∈N, for example, 1,2,4,8,….
The final answer is 2s with s∈N.