My son's Sum of Some is beautiful! But what is the proof or explanation? My youngest son is in $6$th grade. He likes to play with numbers. Today, he showed me his latest finding. I call it his "Sum of Some" because he adds up some selected numbers from a series of numbers, and the sum equals a later number in that same series. I have translated his finding into the following equation:
$$(100\times2^n)+(10\times2^{n+1})+2^{n+3}=2^{n+7}.$$ 
Why is this so? What is the proof or explanation? Is it true for any $n$?
His own presentation of his finding:

Every one of these numbers is two times the number before it.
  $1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192$.
  I pick any one of them, times $100$. Then I add the next one, times $10$. Then I skip the next one. Then I add the one after that.
  If I then skip three ones and read the fourth, that one equals my sum!

 A: The result simply holds because 
$$\begin{align}
(100*2^n)+(10*2^{n+1})+2^{n+3} &=(2^6+2^5+2^2)*2^n+(2^3+2)*2^{n+1}+2^{n+3} \\
& = 2^{n+6} +2^{n+5}+2^{n+2} +2^{n+4} + 2^{n+2}+2^{n+3} \\
& =2^{n+6}+2^{n+5}+2^{n+4} + 2^{n+3}+(2^{n+2}+2^{n+2})\\
& =2^{n+6}+2^{n+5}+2^{n+4}  +(2^{n+3}+2^{n+3})\\
& =2^{n+6}+2^{n+5}+(2^{n+4}+2^{n+4})\\
& =2^{n+6}+(2^{n+5}+2^{n+5})\\
& =(2^{n+6}+2^{n+6})\\
&=\mathbf{2^{n+7}}
\end{align}$$
A: A proof which, unlike all other suggestions, doesn't require power as a prerequisite.
This is what your son noticed by himself by looking at the first occurences in the sequence:
1 × 100 + 2 × 10 + 8 = 128
Now, let him remark that he can multiply everything by 2 without affecting the equality:
2 × (1 × 100 + 2 × 10 + 8) = 2 × 128
Assuming that he understands that the doubling distributes over the sum, he will obtain:
2 × 1 × 100 + 2 × 2 × 10 + 2 × 8 = 2 × 128
Then remark that when you double any pick you obtain of course the next pick in the sequence:
2 × 100 + 4 × 10 + 16 = 256
Repeat. Multiply both sides by two, distribute and double every pick again, and you obtain one more equality:
4 × 100 + 8 × 10 +  32 = 512
Repeat.
Now he should be pretty much convinced that his statement holds for any pick.
(Of course it could be a good opportunity to introduce recurrence!)
A: Factor out the $2^n$ and you get: $2^n (100+20+8) = 2^n 128 = 2^{n+7}$ since $2^7 = 128$
A: You may observe that whenever in any geometric progression $a_n=\lambda^na_0$, one term satisfies a linear recurrence ($a_n=c_0a_0+c_1a_1+\cdots+c_{n-1}a_{n-1}$, where some coefficients $c_i$ may be zero and the corresponding terms dropped), then every further term of the sequence satisfies the same recurrence: $a_{i+n}=c_0a_i+c_1a_{i+1}+\cdots+c_{n-1}a_{i+n-1}$. This is because the relation has simply been multiplied by $\lambda^i$. Even every term in another geometric progression with ratio$~\lambda$ will satisfy the recurrence.
What make the example especially attractive is that the nonzero coefficients are all powers of$~10$, which makes the linear combination easy to compute; this is related to the fact that all (nonzero) digits of $2^7=128$ themselves occur as powers of $2$. The same phenomenon happens for $2^{10}=1024$: take $1000$ times some power of$~2$, add $10~$times the next power of two, and once the one after that; the result is present again $8~$places further in the same progression. (For the digits of $2^{11}=2048$ you basically get the same relation.)
A: It works because the number 
$$
128
$$
has two special properties: it is a power of $2$, and every digit is a power of $2$.  This means that we can write it in two separate ways: 
\begin{align}
128&=2^7\\
128&=100\times2^0+10\times2^1+1\times2^3
\end{align}
Multiplying both sides by $2^n$ then gives:
$$
2^{n+7}=(100\times2^n)+(10\times2^{n+1})+2^{n+3}
$$

Edit: others have done a better job of generalizing this, but I feel I should point out another obvious related sequence.  
$128$ is not the only power of $2$ whose digits are all powers of $2$ (or $0$).  For instance: 
$$
1024 = 2^{10}
$$
So another, similar kind of relation is given by:
$$
2^{n+10} = (1000\times2^n)+(10\times2^{n+1})+2^{n+2}
$$
In your son's notation, that becomes:
Every one of these numbers is two times the number before it.
$1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192$.
I pick any one of them, times $1000$.  Then I add the next one, times $10$.  Then I add the next one.
If I then skip seven (!) ones and read the eighth, that one equals my sum!
See if he likes that one.
A: Nice discovery, truly impressive for a boy.
The answers have already show the justification, I just wanted to display three examples of the property, probably this corresponds to how it was discovered:
    1 . .        4 . .          1 6 . .    
  +   2 .      +   8 .        +   3 2 .    
        8          3 2            1 2 8    
    -----       ------         --------    
    1 2 8        5 1 2          2 0 4 8    

A: A way of beginning understanding it is for example:
Take any number in the series, multiply by $30$, add the next one. You get the one that is five to the right of where you started.
Because multiplying by $30$ then adding the next one is the same as just multiplying by $32$. Which is the same as multiplying by $2$ five times.
A: Here is another formula similar to your son's, using powers of $5$:
$$1000000\cdot5^n+100000\cdot5^{n+1}+10000\cdot5^{n+2}+1000\cdot5^{n+3}+100\cdot5^{n+4}+5^{n+6}=5^{n+9}$$
We can derive identities of a similar form more generally.  Consider any $m$th degree polynomial $f(x)\in\mathbb{Z}[x]$ of the following form
$$f(x)=a_0+a_1x+\ldots+a_{m-1}x^{m-1}-x^m$$
Notice that all rational roots of $f(x)$ are integers.  Suppose $f$ has a rational root $k$.  Then we have the following equality:
$$\begin{align}k^{n+m}&=k^nk^m\\&=k^n(a_0+a_1k+a_2k^2+\ldots+a_{m-1}k^{m-1})\\&=a_0k^n+a_1k^{n+1}+a_2k^{n+2}+\ldots+a_{m-1}k^{n+m-1}\end{align}$$
Your son's formula involves the $7$th degree polynomial $f(x)=100+10x+x^3-x^7$ and the root $k=2$.  Above I've used the polynomial $f(x)=10^6+10^5x+10^4x^2+10^3x^3+10^2x^4+x^6-x^9$ and the root $k=5$.
Here are other examples for $k=3$.  Consider the polynomials $f(x)=3+8x+80x^3-x^7,$ $g(x)=2130+10x+x^3-x^7$, and $h(x)=99+687x+x^3-x^7$, and notice that $f(3)=g(3)=h(3)=0$.  These give us the following identities:
$$3\cdot3^n+8\cdot 3^{n+1}+80\cdot3^{n+3}=3^{n+7}\\2130\cdot3^n+10\cdot3^{n+1}+3^{n+3}=3^{n+7}\\99\cdot3^n+687\cdot3^{n+1}+3^{n+3}=3^{n+7}$$
Try using this method to find identities for other values of $k$ (including negative integers!).
A: Proof by Induction. 
Base case for $n = 1$ is $100 \cdot 2^1 + 10 \cdot 2^2 + 2^4 = 200 + 40 + 16 = 256 = 2^8 = 2^{1+7}$. 
Now to prove that it is true for $n+1$, given it is true for $n$. 
$f(n+1) = 100 \cdot 2^{n+1} + 10 \cdot 2^{n+2} + 2^{n+4}$ $= 2 \cdot (100 \cdot 2^n + 10 \cdot 2^{n+1} + 2^{n+3})$ $= 2 \cdot 2^{n+7} = 2^{(n+1)+7}$. 
A: Here's my non-mathematical answer:


*

*It works for elements $1, 2, 4$ and $8$ of your series (whose values are $1, 2, 8$ and $128$): $1 \times 100 + 2 \times 10 + 8 = 128$

*If you start anywhere else (say, at term $16$, whose value is $\,\,32768$), then you can just divide all those terms by $32768$ to have the same expression as in step 1.


So I think any expression involving a series of terms in the $2^n$ series would work.
