Provare che la funzione ha tutte le
derivate nulle nell'origine.
Intanto la funzione è continua come si verifica
facilmente. Cominciamo a calcolare le derivate successive, per
x≠0. Si ha: (niente paura, abbiamo semplicemente usato Derive™
per i calcoli!). Si può ipotizzare che le derivate, per
x≠0, abbiano tutte lo stesso aspetto:
, dove
è un
polinomio di grado 2n-2. La cosa si può provare
per induzione. Intanto f'(x) è di questo
tipo; se poi f(n)(x) è di questo
tipo, eseguendo la derivazione diretta e semplificando, si
ottiene:
(abbiamo utilizzato il
fatto che la derivata di un polinomio è sempre un
polinomio di un grado inferiore, oltre alle usuali
proprietà del grado del prodotto di polinomi). É
facile provare (usare la regola di l'Hôpital con il
cambio di variabile 1/x=t)) che
. Sulla base del teorema sul limite della derivata
possiamo dunque concludere nel senso richiesto.