Supongamos $$ a^k(1-a)^{n-k}=b^m(1-b)^{n-m},$$ donde $0<a,b<\frac{1}{2}$ son números reales, $n,k,m$ son enteros positivos, $0<k<m<n$.
Cómo probar que $a<b$?
Me estoy sintiendo esto debería ser trivial, pero de alguna manera estoy atascado...
(Esto está relacionado con esta cuestión, por cierto)