Proving $\sum\limits_{i=1}^{n}{\frac{i}{2^i}}=2-\frac{n+2}{2^n}$ by induction.

Your proof appears correct (though I did not check your arithmetic). An easier way is to first trivially inductively prove the Fundamental Theorem of Difference Calculus

$$\rm\ F(n)\ =\ \sum_{i\: =\: 1}^n\:\ f(i)\ \ \iff\ \ \ F(n) - F(n\!-\!1)\ =\ f(n),\quad\ F(0) = 0$$

Your special case now follows immediately by verifying that

$$\rm\ F(n)\ =\ 2 - \frac{n\!+\!2}{2^n}\ \ \Rightarrow\ \ F(n)-F(n\!-\!1)\ =\: \frac{n}{2^n}\:.\ $$

By employing the Fundamental Theorem we have reduced the proof to the trivial mechanical verification of a simple equation, which does not require any ingenuity (doable by computer).

Note that the proof of the Fundamental Theorem is much more obvious than that for your special case because the telescopic cancellation is obvious at this level of generality, whereas it is usually obfuscated in most specific instances. Namely, the proof of the Fundamental Theorem is just a rigorous inductive proof of the following telescopic cancellation $$\rm - F(0)\!+\!F(1) -F(1)\!+\!F(2) - F(2)\!+\!F(3)-\:\cdots - F(n-1)\!+\!F(n)\ =\:\: -F(0) + F(n) $$ where all but the end terms cancel out. For further discussion see my many posts on telescopy.


Absolutely correct, this is it.