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.