>>369
A_k=a+(k-1)dとして
1≦a≦mn
1≦a+(n-1)d≦mnを満たす整数(a,d)の組数を求めることに等しいdの値を固定する
①d≧0の時1≦a≦mn-(n-1)d
②d≦0の時1-(n-1)d≦a≦mn

①の時dの最大値は
d=mで右辺=mでd=m+1ではm-n+1≦0で不適だから
Σ[d=1,m]mn-(n-1)d=m^2*n-
(n-1)*m(m+1)/2
②の時は同様にd=-mで最小で
Σ[d=-m,-1]mn+(n-1)d
=①
d=0はmn
∴
2nm^2-m(m+1)(n-1)+mn
=nm^2+m^2+m
=m(mn+m+1)
かな？
検算してないから自身ないけど