# Metodo delle tangenti

In matematica, e in particolare in analisi numerica, il metodo delle tangenti, chiamato anche metodo di Newton o metodo di Newton-Raphson, è uno dei metodi per il calcolo approssimato di una soluzione di un'equazione della forma $f(x)=0$. Esso si applica dopo avere determinato un intervallo $[a,b]$ che contiene una sola radice.
Il metodo consiste nel sostituire alla curva $y=f(x)$ la tangente alla curva stessa, partendo da un qualsiasi punto; per semplicità si può iniziare da uno dei due punti che hanno come ascissa gli estremi dell'intervallo $[a,b]$ e assumere, come valore approssimato della radice, l'ascissa $x_{t}$ del punto in cui la tangente interseca l'asse delle $x$ internamente all'intervallo $[a,b]$.
Procedendo in modo iterativo si dimostra che la relazione di ricorrenza del metodo è
    $x_{n+1}=x_{n}-{\frac {f(x_{n})}{f'(x_{n})}},$
che permette di determinare successive approssimazioni della radice dell'equazione $y=f(x)=0$. Con le ipotesi poste, si dimostra che la successione delle $x_{n}$ converge alla radice piuttosto rapidamente.
Più in dettaglio, si dimostra che se $f\in C^{2}(I)$ dove $I$ è un opportuno intorno dello zero $\alpha$ con $f'(\alpha )\neq 0$ e se $x_{0}\in I,$ allora
    $\lim _{n\to +\infty }{\frac {\alpha -x_{n+1}}{(\alpha -x_{n})^{2}}}=-{\frac {f''(\alpha )}{2f'(\alpha )}},$
cioè la convergenza è quadratica (il numero di cifre significative approssimativamente raddoppia ad ogni iterazione; mentre col metodo di bisezione cresce linearmente), benché locale (cioè non vale per ogni $I$). Se invece la radice è multipla, cioè $f'(\alpha )=0$ allora la convergenza è lineare (più lenta). Nella pratica, fissata la tolleranza di approssimazione consentita $\tau$, il procedimento iterativo si fa terminare quando $\left|x_{n+1}-x_{n}\right|<\tau \cdot |x_{n+1}|.$
Il problema di questo metodo è che la convergenza non è garantita, in particolare quando $f'(x)$ varia notevolmente in prossimità dello zero. Inoltre, il metodo assume che $f'(x)$ sia disponibile direttamente per un dato $x$. Nei casi in cui questo non si verifichi e risultasse necessario calcolare la derivata attraverso una differenza finita, è consigliabile usare il metodo della secante.

## Storia

Il matematico francese François Viète presentò nel 1600 un metodo, già noto nel 1427 da al-Kashi, per la ricerca degli zeri di un polinomio attraverso una perturbazione di una sua soluzione approssimata. Quattro anni dopo Newton venne a conoscenza del metodo di Viète e nel 1669 scoprí autonomamente un metodo per la ricerca degli zeri di un polinomio.
Come esempio mostra la seguente equazione $f(x)=x^{3}-2x-5=0$ una cui soluzione ha parte intera $x_{0}=2$. Applicando la sostituzione $x=2+p$ si ricava il polinomio $p^{3}+6p^{2}+10p-1=0$e trascurando i monomi di grado superiore al primo, ossia linearizzando il polinomio, si ottiene $p=0{,}1$. Per cui si applica la sostituzione $p=0{,}1+q$ e si arriva a $q^{3}+6{,}3q^{2}+11{,}23q+0{,}061=0$ e per linearizzazione $q=-0{,}0054$. Sostituendo $q=0{,}0054+r$ e facendo lo stesso ragionamento si ricava $r=0{,}00004853$. Da cui $x_{3}=x_{0}+p+q+r=2{,}09455147.$
Si possono fare due osservazioni relative al metodo proposto:
* $p=x_{1}-x_{0}=-{\frac {f(x_{0})}{f'(x_{0})}}$ e $q=x_{2}-x_{1}=-{\frac {f(x_{1})}{f'(x_{1})}}$ per cui il metodo trovato da Newton corrisponde al moderno metodo delle tangenti;
* osservando i valori di $p$, $q$ e $r$ si può notare che il numero di zeri dopo la virgola raddoppia ad ogni passo, allora nell'esempio si ha convergenza quadratica.
Nel 1687, nel Philosophiae Naturalis Principia Mathematica Newton applica per la prima volta il metodo ad un'equazione non polinomiale. È il caso dell'equazione $x-e\sin(x)=M$ dove $M$ indica l'anomalia media e $x$ l'anomalia eccentrica. In questo caso approssimando il seno come somma troncata del suo sviluppo in serie di Taylor Newton ricavava un polinomio e quindi poteva applicare il metodo da lui trovato.
Nel 1690 il matematico Joseph Raphson riuscì a ricavare un metodo iterativo per aggiornare la soluzione approssimata $x_{k}$ senza dover calcolare la potenza del monomio completa e nel 1740 Thomas Simpson, nel libro Essays on Several Curious and Useful Subjects in Speculative and Mix's Mathematicks, Illustrated by a variey of Examples ricavò il moderno metodo delle tangenti riconoscendo il ruolo delle derivate prime nell'aggiornamento della soluzione.

## Caso unidimensionale

Consideriamo una funzione undimensionale $f\in C^{2}[a,b]$, e quindi per il teorema di Weierstrass la funzione ammette un minimo $x$ da determinare.
Per cui, preso un punto $x_{0}$ nell'intervallo, sfruttando la serie di Taylor di $f$, si trova che
    $f(x)=f(x_{0})+(x-x_{0})f'(x_{0})+{\frac {(x-x_{0})^{2}}{2}}f''(r(x))$
con $r(x)$ compreso tra $x$ e $x_{0}.$
Per cui, se $|x-x_{0}|$ è sufficientemente piccolo, ossia $(x-x_{0})^{2}\approx 0$, ponendo $f(x)=0$ per trovare l'intersezione della retta tangente nel punto $(x_{0},f(x_{0}))$ con l'asse delle $x$, si ricava $x\approx x_{0}-{\frac {f(x_{0})}{f'(x_{0})}}=x_{1}$. Osservare che l'ultima relazione ha senso solo se $f'(x_{0})$ non è nullo. Una volta trovato $x_{1}$ si reitera il procedimento. Si è trovato così il seguente algoritmo:
Come si è visto, condizione necessaria affinché il metodo sia applicabile è che esista un intervallo $I=[a,b]$ in cui $x_{0}\in I$ è tale che $f'(x_{0})\neq 0$ e $f''(x_{0})\neq 0$. Per il teorema degli zeri tale intervallo esiste se e solo se $f'(x_{0})\neq 0$ e $f''(x_{0})\neq 0$.

## Caso multidimensionale

Consideriamo una funzione $f\in C^{2}(\mathbb {R} ^{n})$ e sia $x\in \mathbb {R} ^{n}$ lo zero da determinare. Sfruttando lo sviluppo in serie di Taylor si ha che, preso un generico vettore $h\in \mathbb {R} ^{n}$:
    $f(x+h)=f(x)+J(x)h+O(\|h\|^{2})$
dove $J(x)$ indica la matrice jacobiana di $f$ calcolata nel punto $x$.
Per cui, se $J(x)$ non è singolare si ottiene un nuovo punto $y=x+h_{1}$ dove $h_{1}$ è la soluzione del sistema lineare $J(x)h=-f(x)$.
Si è trovato così il seguente algoritmo:
$f\in C^{2}(I)$ dove $I$ è un opportuno intorno della radice $\alpha$ con $f'(\alpha )\neq 0$ e se $x_{0}\in I,$