There exists no such (m,n).
Suppose (m,n) is a solution. By the fact that (n+1)(kn)=(k+1)(k+1n+1),
we have
k=1∑nk+1mk+1(kn)=k=1∑nn+1mk+1(k+1n+1)=n+11l=0∑n+1ml(ln+1)=n+11((1+m)n+1−1).
Since this is an integer, we must have
(1+m)n+1≡1(modn+1).
This ensures that when m is odd, (n+1) must be odd. On the other hand, since gcd(m,n+1)=1, if m is even, (n+1) would also be odd. So, in any case, (n+1) is odd.
Let p be the smallest prime divisor of (n+1), then p is odd, and
(1+m)n+1≡1(modp).
However, by Fermat's little theorem, we have (1+m)p−1≡1(modp).
This means that
(1+m)gcd(n+1,p−1)≡1(modp).
However, since p is the smallest prime divisor of n+1, gcd(n+1,p−1)=1, so we get (1+m)≡1(modp), which means that p∣m⇒p∣gcd(m,n+1).
Contradiction!