Volgens de stelling van Bézout-Bachet bestaan er gehele getallen $a$ en $b$ zodanig dat $\text{ggd}(m,n)=an+bm$. Dit invullen in de vergelijking geeft:
Volgens de stelling van Bachet-Bézout, bestaan er $\alpha, \beta \in \mathbb{Z}$ zodat $\text{ggd}(m,n)=\alpha m + \beta n$.
Nu is
\begin{align*}
\frac{\text{ggd}(m,n)}{n}\binom{n}{m}&=\frac{\alpha m + \beta n}{n}\binom{n}{m} \\
&=\frac{\alpha m}{n}\binom{n}{m} + \frac{\beta n}{n}\binom{n}{m} \\
&=\frac{\alpha m}{n}\cdot \frac{n!}{m!(n-m)!} + \beta\binom{n}{m}
\\
&=\frac{\alpha(n-1)!}{(m-1)!(n-m)!}+\beta\binom{n}{m}
\\
&=\alpha\binom{n-1}{m-1}+\beta\binom{n}{m}
\end{align*}
Dit is duidelijk een geheel getal, want het product en de som van gehele getallen is ook geheel, dit bewijst het gevraagde.
Oplossing
Volgens de stelling van Bézout-Bachet bestaan er gehele getallen $a$ en $b$ zodanig dat $\text{ggd}(m,n)=an+bm$. Dit invullen in de vergelijking geeft:
\begin{align*}
\frac{\text{ggd}(m,n)}{n}\binom{n}{m}
&=\frac{an+bm}{n}\binom{n}{m}=a\binom{n}{m}+b\frac{m}{n}\binom{n}{m}=a\binom{n}{m}+b\binom{n-1}{m-1}\\
\end{align*}
En dit getal is duidelijk geheel.
Volgens de stelling van Bachet-Bézout, bestaan er $\alpha, \beta \in \mathbb{Z}$ zodat $\text{ggd}(m,n)=\alpha m + \beta n$.
Nu is
\begin{align*}
\frac{\text{ggd}(m,n)}{n}\binom{n}{m}&=\frac{\alpha m + \beta n}{n}\binom{n}{m} \\
&=\frac{\alpha m}{n}\binom{n}{m} + \frac{\beta n}{n}\binom{n}{m} \\
&=\frac{\alpha m}{n}\cdot \frac{n!}{m!(n-m)!} + \beta\binom{n}{m}
\\
&=\frac{\alpha(n-1)!}{(m-1)!(n-m)!}+\beta\binom{n}{m}
\\
&=\alpha\binom{n-1}{m-1}+\beta\binom{n}{m}
\end{align*}
Dit is duidelijk een geheel getal, want het product en de som van gehele getallen is ook geheel, dit bewijst het gevraagde.