Die 0,5^n auf beiden Seiten kann man wegdividieren.
Was dann noch bleibt ist die Behauptung, dass
\( \begin{pmatrix}n\\s+k \end{pmatrix} \)=\( \begin{pmatrix}n\\s-k \end{pmatrix} \) ist.
Das gilt aber im Allgemeinen nicht.
Es würde nur in dem Spezialfall gelten, dass s=n/2 ist.