Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
di Antonino Giambò
1. Oggigiorno, nell’era del calcolo automatico, trovare le radici approssimate di un’equazione non è
un’impresa complicata. Tutt’altro. Ma così non era quando non esisteva il computer. Come facevano allora i
matematici a risolvere la questione? Naturalmente mi riferisco ad equazioni delle quali non si conoscevano
formule idonee a calcolarne le soluzioni, come, tanto per dire, le equazioni algebriche di 1° e 2° grado.
Ebbene, i matematici hanno inventato dei metodi idonei allo scopo. Al giorno d’oggi questi metodi, a parte
la loro utilizzazione nella programmazione di software capaci di trovare per l’appunto soluzioni approssimate,
possono essere considerati veri e propri reperti storici. Ma la loro valenza didattica rimane intatta.
Ed è per questa ragione che su questi metodi intendo soffermarmi in questo contributo. Evidenziando, però,
solo quegli aspetti per i quali è garantita la soluzione. Dico questo perché, dei tre metodi che descriverò, gli
ultimi due non sempre la garantiscono senza prefissate condizioni.
Questi i tre metodi: metodo di bisezione, metodo delle tangenti, metodo delle corde.
2. Prima di andare alla ricerca delle soluzioni approssimate di un’equazione bisogna accertarsi che queste
soluzioni effettivamente esistano.
C’è al riguardo un teorema che mi limito ad enunciare, non prima di aver ricordato che, data un’equazione
f(x)=0, ogni valore reale c tale che f(c)=0, si denomina, oltre che radice o soluzione, anche zero
dell’equazione.
TEOREMA (di esistenza e unicità degli zeri).
Se una funzione f(x) è continua e crescente (figura 1a) o decrescente (figura 1b) in un intervallo chiuso e
limitato [a, b] e se f(a) e f(b) sono discordi, allora esiste uno ed un solo punto c ∈ ]a, b[ tale che f(c)=0.
figura 1
Detto questo, indicato con ]x1 , x2 [ l’intervallo in cui è contenuta la radice c , il procedimento per
determinarne un valore approssimato richiede, quale che sia il metodo adottato, di stabilire l’approssimazione
della radice da determinare.
Per questo è necessario fissare un valore reale positivo ε tale che esista un intervallo ]x1 , x2 [, contenuto
nell’intervallo ]x1 , x2 [, contenente a sua volta c e avente ampiezza uguale o minore di ε. Il valore fissato ε è
per l’appunto l’approssimazione voluta.
Come si nota facilmente, questo metodo è una semplice applicazione del teorema di esistenza e unicità
degli zeri. Considerato che il teorema di esistenza è noto anche come teorema di Bolzano (1), il metodo di
bisezione è denominato a volte metodo di Bolzano. Impropriamente, ad onor del vero, giacché il teorema,
quantunque a livello intuitivo, era noto e applicato da tempo. Bolzano ne fornì una dimostrazione rigorosa.
figura 3
Sappiamo che essa ammette nell’intervallo ]a, b[ uno ed un solo zero c, il quale è l’ascissa del punto in cui
1
Bernhard Bolzano, matematico e filosofo praghese, 1781-1848.
Si deve principalmente a lui l’introduzione del concetto di rigore in Analisi Matematica.
il grafico della funzione interseca l’asse x del sistema di riferimento cartesiano.
Posto, per comodità, b=x0, si traccia la retta tangente al grafico nel suo punto di ascissa x0; la sua equazione,
com’è noto, è la seguente: y– f(x0 ) = f ′ (x0 )(x– x0 ).
Indicata con x1 l’ascissa del punto in cui tale retta interseca l’asse x (y=0), risolvendo la precedente
equazione rispetto ad x e denominata x1 la soluzione, si trova:
f(x0 )
x1 = x0 – ′ ;
f (x0 )
x1 è chiaramente più prossimo a c di quanto non lo sia x0 .
Si ripete dunque il procedimento mettendo x1 al posto di x0 . Si ottiene il valore x2 tale che:
f(x1 )
x2 = x1 – ′ .
f (x1 )
Continuando allo stesso modo, si determinano altri valori x3, x4, …, xn, il generico dei quali, vale a dire xk ,
è tale che:
f(xk−1 )
xk = xk−1 – ′ .
f (xk−1 )
Si ottiene così la successione numerica x0, x1, x2, …, xn, i cui termini sono valori sempre più prossimi alla
radice c della funzione, pur rimanendo comunque maggiori di c. Tale successione è per l’appunto una
successione di valori approssimati per eccesso dello zero c.
È facile rendersi conto che la successione in esame può essere definita ricorsivamente. Basta constatare
infatti che si ha:
x0 se n=0
xn = { f(xn−1 )
xn−1 – ′ se n>0
f (xn−1 )
All’atto pratico, siccome in questo caso i valori approssimati di c cadono tutti alla sua destra, essendo valori
approssimati per eccesso, se si cerca un’approssimazione della radice c, a meno di 10−k , non si può sperare di
trovare un intervallo entro il quale è contenuto c e abbia ampiezza minore di 10−k . Bisogna trovare una via
alternativa. Ebbene, è sufficiente osservare quando, nella successione sopraddetta, si stabilizzano le prime k
cifre decimali. Il primo termine della successione, per il quale accade ciò, fornisce l’approssimazione cercata.
NOTA.
Se la funzione f(x), continua e derivabile nell’intervallo [a, b], fosse tale che f(a)<0 e f(b)>0 ed inoltre,
per ogni x]a, b[, fosse f ′ (x) > 0 ma f ′′ (x) < 0, diversamente dal caso precedente, allora la successione
suddetta sarebbe una successione di valori approssimati per difetto dello zero c.
Se fosse f(a)>0, f(b)<0, f ′ (x) < 0 e f ′′ (x) > 0, la successione sarebbe ancora una successione di valori
approssimati per difetto di c.
Se fosse infine f(a)>0, f(b)<0, f ′ (x) < 0 e f ′′ (x) < 0, allora di nuovo si avrebbe una successione di valori
approssimati per eccesso di c.
figura 4
Siano A, B i due punti del grafico di coordinate A(a, f(a)), B(b, f(b)). La corda AB intersechi l’asse x nel
punto a1 . Siccome AB ha equazione:
f(b) − f(a)
y − f(a) = (x − a) ,
b−a
ponendo qui y=0, dopo qualche semplice passaggio algebrico si trova il valore di x, vale a dire a1 :
a f(b) − b f(a)
a1 = .
f(b) − f(a)
Costatato che a1 <c e che a1 è chiaramente più prossimo a c di quanto non lo sia a. mettiamo a1 al posto
di a nell’intervallo [a, b] e operiamo sul nuovo intervallo [a1 , b] come prima abbiamo operato su [a, b].
Otteniamo un nuovo punto a2 <c tale che:
a1 f(b) − b f(a1 )
a2 = .
f(b) − f(a1 )
Continuando allo stesso modo, si determinano altri valori a3, a4, …, an, il generico dei quali, vale a dire ak ,
è tale che:
a𝑘−1 f(b) − b f(a𝑘−1 )
ak = .
f(b) − f(a𝑘−1 )
Si ottiene così la successione numerica a0, a1, a2, …, an, i cui termini sono valori sempre più prossimi alla
radice c della funzione, pur rimanendo comunque minori di c. Tale successione è per l’appunto una successione
di valori approssimati per difetto dello zero c.
È facile rendersi conto che la successione in esame può essere definita ricorsivamente. Basta constatare
infatti che, posto a0 =a, si ha:
a0 se n=0
an = { a𝑛−1 f(b) − b f(a𝑛−1 )
se n>0
f(b) − f(a𝑛−1 )
All’atto pratico, siccome in questo caso i valori approssimati di c cadono tutti alla sua sinistra, essendo
valori approssimati per difetto, se si cerca un’approssimazione della radice c, a meno di 10−k , non si può
sperare di trovare un intervallo entro il quale è contenuto c e abbia ampiezza minore di 10−k . Bisogna trovare
una via alternativa. Ebbene, è sufficiente osservare quando, nella successione sopraddetta, si stabilizzano le
prime k cifre decimali. Il primo termine della successione, per il quale accade ciò, fornisce l’approssimazione
cercata. Insomma, come con il metodo delle tangenti.
NOTA.
Qualora i segni di f(a), f(b), f ′ (x), f ′′ (x) fossero diversi da quelli supposti nel caso precedente, varrebbero
considerazioni simili a quelle esposte nella nota relativa al caso del metodo delle tangenti.
figura 5
Esso mostra che la funzione ammette due zeri esatti, −2 e −4, il che è confermato dal fatto che si ha:
f(–2)=0, f(–4)=0. Ma la funzione ammette un terzo zero, c, compreso fra 0 e 1. Ci proponiamo di
determinarne un’approssimazione a meno di 1/100 e, per puro esercizio, lo facciamo in tre maniere diverse,
utilizzando appunto i tre metodi descritti, in modo da poterli comparare.
Osserviamo, in via preliminare, che nell’intervallo [a, b] = [0, 1] la funzione è continua, crescente e
concava verso l’alto, e inoltre che nell’intervallo non ci sono altre radici oltre c e infine che risulta
f(a)=f(0)=–1<0 e f(b)=f(1)=1>0. Insomma, sono soddisfatte tutte le condizioni per il calcolo del valore
approssimato di c con ciascuno dei tre metodi.
Per la cronaca, il valore approssimato di c con 4 cifre decimali esatte – trovato, s’intende, con uno strumento
di calcolo automatico – è 0,7666 .
7. Ho introdotto questo argomento sottolineando il fatto che prima dell’avvento del calcolo automatico i
matematici inventarono metodi idonei al calcolo approssimato delle radici di un’equazione. Metodi che non
necessitavano del calcolo automatico, che appunto non c’era ancora.
Ora, però, per i calcoli presenti negli esempi proposti, dovendo calcolare per esempio f(0,8143),
′ (0,8143)
f e altri valori, proprio del calcolo automatico io mi sono servito.
Sembra, dunque, che non ci sia coerenza con quello che ho appena detto.
No, nessuna contraddizione. Solo che io, disponendo del calcolo automatico, ho preferito risparmiare tempo
e fatica.
Ma non così per coloro che dovevano eseguire quei calcoli prima dell’avvento del computer.
Insomma, quello che voglio dire è che pur seguendo i metodi di approssimazione su descritti, i calcoli da
fare non erano esattamente una passeggiata di salute.
Per comprendere meglio il concetto mi soffermo sul calcolo (approssimato) del valore della funzione:
f(x) = x 2 2x – 1
nel punto 0,75.
Ovviamente: f(0,75)=0,75 2 × 2 0,75 –1.
Posto z = 0,75 2 × 2 0,75 , ricorrendo ai logaritmi decimali e alle tavole relative, si ha:
log z = 2 log 0,75 + 0,75 log 2 = 2 × (−12493) + 0,75 × 0,30103 ≈ −0,0241 = −1 + 0,9759;
e dunque, sempre con l’uso delle tavole dei logaritmi decimali: z≈0,9461.
In definitiva:
f(0,75) ≈ 0,9461 − 1 ≈ −0,05 .
Valore che avremmo trovato immediatamente calcolando con uno strumento di calcolo automatico.
BIBLIOGRAFIA.
[1] P. Buzano – F. Fava – G. Geymonat, Lezioni di matematica per allievi ingegneri, vol. I, Torino,
Levrotto e Bella, 1971.
[2] Sandro Faedo, Complementi ed esercizi di analisi matematica, vol. I, Pisa, Litografia Tacchi, 1960.
[3] Ilio Galligani, Elementi di analisi numerica, Bologna, Calderini, 1987.
[4] Paolo Marcellini – Carlo Sbordone, Elementi di calcolo, Napoli, Liguori, 2004.
[5] Anatolij Dmitrievič Myškis, Lezioni di matematica generale, Mosca, Edizioni Mir, 1979.
[6] Wikipedia, libera enciclopedia on-line.