Giả sử d là công sai của CSC trên thì ta có:um=u1+(m−1).d;un=u1+(n−1).dVì umun=mn nên ta có:u1+(m−1).du1+(n−1).d=mn
⇒n.u1+n(m−1).d=mu1+m(n−1).d
⇔(n−m).u1+d.(nm−n−nm+m)=0
⇔(n−m)(u1−d)=0
Do n≠m nên u1=d
Từ đó có Sm=d+2d+...+md;Sn=d+2d+...+nd
⇒Sm=d(1+2+...+m);Sn=d(1+2+...+n)
⇒SmSn=1+2+...+m1+2+...+n
Ta tính được 1+2+...+m=m(m+1)2;1+2+...+n=n(n+1)2
⇒SmSn=m(m+1)n(n+1)