Consideriamo il metodo seguente

static int F(int n){

if (n == 0)
return 1;
else
return
}
Per ogni numero naturale n, F(n) = 1 * ... * n, con valore 1 per n = 0.
Abbreviamo l'equazione F(n) = 1 * ... * n con P(n)
Base: P(0), vera per convenzione.
Passo induttivo: bisogna dimostrare che P(n) => P(n+1). Per dimostrare questa im
plicazione si assume che P(n) sia vera, e si dimostra P(n+1).
L'ipotesi induttiva ci dice che F(n) = 1 * ... * n. Ma
F(n+1) restituisce (n+1) * F(n) = (n+1) * 1 * ... * n
= 1 * ... * (n+1)
quindi P(n+1) verificata. Possiamo concludere, in virt di una applicazione del prin
cipio di induzione, che P(n) vera per ogni numero naturale n.
Esercizio:
scrivere un metodo RICORSIVO per il calcolo del quadrato di un numero naturale n
, e dimostrarne la correttezza per induzione su n.