Verifica col computer che per n intero positivo 1² + 2² + 3² +…+ n² = n·(n+1)·(2·n+1)/6.

È facile fare la verifica con R. Ancora più semplice è ricorre allo script online "recurs. def." presente qui, avendo definito opprtunamente "F". Vedi gli esempi, tra i quali è affrontato anche questo caso.

È facile fare la verifica con questa calcolatrice:

Ad esempio se metto in (g) 20 e clicco [N] ottengo i primi 20 interi positivi. Se in (j) metto 2 e clicco [data^Q] ottengo i quadrati (1, 4, ..., 400). Se clicco [sum] ho 2870.
Se in (i) metto 20 e in (d) metto M*(M+1)*(2*M+1)/6 ottengo nuovamente 2870.