Naša tablica je ovog oblika:
1n+12n+1⋮(n−1)n+12n+22n+2⋮(n−1)n+23n+32n+3⋮(n−1)n+34n+42n+4⋮(n−1)n+4⋯⋯⋯⋯n2n3n⋮(n−1)n+n
Izdvojimo jedan kvadrat m×m:
xn+x2n+x⋮(m−1)n+xx+1n+x+12n+x+1⋮(m−1)n+x+1x+2n+x+22n+x+2⋮(m−1)n+x+2x+3n+x+32n+x+3⋮(m−1)n+x+3⋯⋯⋯⋯x+m−1n+x+m−12n+x+m−1⋮(m−1)n+x+m−1
Izračunajmo dvostruki zbroj brojeva koji se nalaze u ovoj tablici.
Zbroj u prvom retku je
S1=mx+2m(m−1),
u drugom
S2=mx+mn+2m(m−1),
u trećem
S3=mx+2mn+2m(m−1),
…
a u m-tom retku
Sm=mx+m(m−1)n+2m(m−1).
Tada je
2(S1+S2+S3+⋯+Sm)=2m2x+n(m−1)m2+m2(m−1)=m2(2x+mn−n+m−1)=m2(2x+(m−1)(n+1)).
Izraz u zagradi je prirodni broj pa je tvrdnja zadatka dokazana.