Ho una curiosità, il principio di induzione serve per dimostrare, ad esempio, che
$1+2+3+...+x = [x(x + 1)]/2$ vale per tutte le $x$ appartenenti all'insieme $NN^+$ .
Ma dimostra anche che
$ [x(x + 1)]/2$ equivale a $1+2+3+...+x$? (non so se mi sono spiegato bene
)
