Binomial coefficients equality or maybe probability Let $m,n$ be positive integers. 
Evaluate the following expression:
$$
F(m,n) = \sum\limits_{i=0}^n\frac{\binom{m+i}{i}}{2^{m+i+1}}+
\sum\limits_{i=0}^m\frac{\binom{n+i}{i}}{2^{n+i+1}}.
$$
Calclulations give the hypothesis that $$F(m,n)=1,$$ for all positive integers $m,n$.
Also if $m=n$, then
$$
F(m,m) = \sum\limits_{i=0}^m\frac{\binom{m+i}{i}}{2^{m+i}} = \sum\limits_{i=0}^m\frac{\binom{m+i}{m}}{2^{m+i}}. 
$$
The numerator of every summand is equal to the number of $m$-subsets in $m+i$-set and denominator is equal to the number of subsets in $m+i$-set. So, I think it maybe the key to solution.

Here is an answer in two steps based upon generating functions

First step: The following identity holds true for $m,n\geq 0$
  \begin{align*}
\sum_{i=0}^n\binom{m+i}{i}\frac{1}{2^{m+i+1}}=\frac{1}{2^{m+n+1}}\sum_{i=0}^n\binom{m+n+1}{i}\tag{1}
\end{align*}

In order to show (1) it is convenient to use the coefficient of operator $[z^i]$ to denote the coefficient of $z^i$. This way we can write e.g.
\begin{align*}
[z^i](1+z)^n=\binom{n}{i}
\end{align*}

We obtain
  \begin{align*}
\color{blue}{\sum_{i=0}^{n}\binom{m+i}{i}\frac{1}{2^{m+i+1}}}
&=\frac{1}{2^{m+n+1}}\sum_{i=0}^n\binom{m+n-i}{n-i}2^i\tag{2}\\
&=\frac{1}{2^{m+n+1}}\sum_{i=0}^\infty[z^{n-i}](1+z)^{m+n-i}2^i\tag{3}\\
&=\frac{1}{2^{m+n+1}}[z^n](1+z)^{m+n}\sum_{i=0}^\infty\left(\frac{2z}{1+z}\right)^i\tag{4}\\
&=\frac{1}{2^{m+n+1}}[z^n](1+z)^{m+n}\frac{1}{1-\frac{2z}{1+z}}\tag{5}\\
&=\frac{1}{2^{m+n+1}}[z^n]\frac{(1+z)^{m+n+1}}{1-z}\\
&=\frac{1}{2^{m+n+1}}\sum_{i=0}^n\binom{m+n+1}{i}[z^{n-i}]\frac{1}{1-z}\tag{6}\\
&\color{blue}{=\frac{1}{2^{m+n+1}}\sum_{i=0}^n\binom{m+n+1}{i}}\tag{7}
\end{align*}
  and (1) follows.

Comment:


*

*In (2) we exchange the order of summation by letting $i\rightarrow n-i$.

*In (3) we apply the coefficient of operator and set the upper limit of the sum to infty without changing anything since we are adding zeros only.

*In (4) we use the linearity of the coefficient of operator and apply the rule $$[z^{p-q}]A(z)=[z^p]z^qA(z)$$

*In (5) we use the geometric series expansion.

*In (6) we select the coefficient of $[z^{n-i}]$ in $(1+z)^{m+n+1}$ and restrict the upper limit of the sum to $n$ since the exponent of $z^{n-i}$ is non-negative.

*In (7) we note the coefficient of $[z^{n-i}]$ in $\frac{1}{1-z}=1+z+z^2+\cdots$ is $1$.

Second step: $F(m,n)$
Now it's time to harvest. We obtain from (7)
\begin{align*}
\color{blue}{\frac{1}{2^{m+n+1}}\sum_{i=0}^m\binom{m+n+1}{i}}
&=1-\frac{1}{2^{m+n+1}}\sum_{i=m+1}^{m+n+1}\binom{m+n+1}{i}\tag{8}\\
&=1-\frac{1}{2^{m+n+1}}\sum_{i=0}^{n}\binom{m+n+1}{n-i}\tag{9}\\
&\color{blue}{=1-\frac{1}{2^{m+n+1}}\sum_{i=0}^{n}\binom{m+n+1}{i}}\tag{10}\\
\end{align*}

Comment:


*

*In (8) we use $\sum_{i=0}^{p}\binom{p}{i}=2^p$.

*In (9) we shift the index to start with $i=0$ and we use the binomial identity $\binom{p}{q}=\binom{p}{p-q}$.

*In (10) we change the order of summation by letting $i\rightarrow n-i$.

We conclude from (7) and (10)
  \begin{align*}
\color{blue}{F(m,n)}&=\sum_{i=0}^{n}\binom{m+i}{i}\frac{1}{2^{m+i+1}}
+\sum_{i=0}^{m}\binom{n+i}{i}\frac{1}{2^{n+i+1}}\\
&=\frac{1}{2^{m+n+1}}\sum_{i=0}^n\binom{m+n+1}{i}
+\frac{1}{2^{m+n+1}}\sum_{i=0}^m\binom{m+n+1}{i}\\
&=\frac{1}{2^{m+n+1}}\sum_{i=0}^n\binom{m+n+1}{i}+\left(1-\frac{1}{2^{m+n+1}}\sum_{i=0}^{n}\binom{m+n+1}{i}\right)\\
&\color{blue}{=1}
\end{align*}

