Numeri Transfiniti: il Continuo

Sommario:

+ I numeri Naturali
+ Ancora Aleph-zero
+ Il contesto storico
– Oltre Aleph-zero: il Continuo
      La Linea di Euclide
      La Retta dei numeri
      I numeri Trascendenti
      I numeri Reali
      Il "Continuo"
      Potenza del Continuo
      La dimostrazione di Cantor
+ L'ipotesi del Continuo

La Linea di Euclide

Un punto è ciò che è privo di parti

Credo che sia la più celebre definizione della geometria: è la prima fra quelle elencate da Euclide nei suoi "Elementi". Le successive tre invece sono:

Una linea è una lunghezza senza larghezza
Le estremità di una linea sono punti
La retta è quella linea che giace sui suoi punti in modo uniforme

Se fossi uno che non ne sa niente, non so se da queste definizioni, soprattutto la quarta, saprei immaginare cos’è una linea retta... meno male che tutti noi abbiamo almeno una volta tracciato una linea con righello e lapis! Però mi sembrano interessanti un paio di considerazioni:

— Una linea non solo "non ha larghezza", ma è fatta da punti "che sono privi di parti": questi punti sono quindi piccoli, piccolissimi, diciamo pure infinitesimali; se potessi tracciare una linea ideale, essa risulterebbe assolutamente invisibile!

— Il fatto che i punti siano privi di parti, fa sì che per costituire una linea continua tali punti debbano essere accostati l’uno all’altro con una densità estrema, pena il veder comparire dei "buchi". Vedremo in seguito ricomparire i concetti di densità e continuità.   ▲  

La Retta dei numeri

Lavorando con rette e numeri, Richard Dedekind (1831-1916) ha costruito una teoria rigorosa che ci limiteremo a descrivere in modo intuitivo: una retta può essere utilizzata per rappresentare tutti i numeri esistenti. In pratica si prende una retta (di lunghezza infinita), si traccia un punto che sarà l’origine al quale assegnare il valore zero; poi si stabilisce un segmento unitario, e riportandolo sulla retta quante volte su vuole, otteniamo a destra dello zero i numeri naturali positivi, a sinistra i numeri negativi.



Naturalmente i soli punti identificati dai numeri interi non danno luogo a una linea continua, ma solo a una serie di punti ben spaziati l’uno dall’altro. Allora possiamo aggiungere i numeri razionali: dividendo ogni segmento unitario in n parti uguali, si ottiene la rappresentazione delle frazioni di denominatore uguale ad n; ripetendo l’operazione per ogni n, si ottengono infiniti punti della retta, che rappresentano numeri razionali.



Tali punti sono distribuiti in forma "densa", nel senso che tra due punti razionali qualunque esistono infiniti altri punti di tale tipo; infatti dati due punti P e Q qualunque è sempre possibile trovare un nuovo punto X compreso fra P e Q: basta fare la media: X = (P + Q) / 2. Questa operazione si può ripetere quante volte si voglia, quindi non ha proprio senso chiedere quanti punti razionali esistano nell'intervallo da essi marcato.

Tuttavia, per quanto densi, i numeri razionali non "riempiono" completamente la retta. Infatti, il punto R = radice di due è bensì rappresentabile sopra la retta (basta portare su di essa, a partire dall'origine, la diagonale del quadrato costruito sul segmento [0-1]. Esso però non è un razionale, come abbiamo dimostrato nei capitoli precedenti.



Usando metodi geometrici si possono tracciare sulla retta molti numeri irrazionali, ma non tutti. Per esempio è rimasto irrisolto, dai tempi dell’antica Grecia, il problema della "duplicazione del cubo": per fare questo sarebbe necessario determinare un segmento corrispondente alla radice cubica di due (la cosa si è dimostrata impossibile, almeno con l’ausilio dei mezzi elementari della geometria classica: la riga e il compasso).

Uno dei miti che circondano il problema della duplicazione del cubo è il seguente. Gli abitanti di Delo, interrogato l'oracolo di Apollo sul modo di liberarsi dalla peste, ricevettero l'ordine di costruire un altare, di forma cubica, dal volume doppio rispetto a quello esistente. Vista l’impossibilità di determinare con riga e compasso un segmento proporzionale alla radice cubica di due, questo altare non deve essere stato mai costruito; chissà allora gli abitanti di Delo come avranno fatto a liberarsi della peste...

Indipendentemente dal fatto che molti punti non possano essere tracciare con i metodi classici, possiamo immaginare comunque di identificare sulla nostra retta tutti i numeri algebrici, ovvero quelli del tipo di cui abbiamo parlato nel capitolo precedente: sono quei numeri che si ottengono risolvendo una qualsiasi equazione polinomiale di qualsiasi grado. Ma neanche così riusciamo a coprire tutta la retta, infatti...   ▲  

I numeri Trascendenti

... esiste una classe di numeri detti "trascendenti", che sono gli irrazionali non algebrici. Il caso più noto è quello di pi greco: dall’antichità si cercava di capire che razza di numero fosse, e se si potesse fare la quadratura del cerchio (disegnare, con riga e compasso, un quadrato di area pari a quella di un cerchio dato). Ne parla anche Dante nel canto XXXIII del Paradiso:

Qual è ‘l geometra che tutto s'affige
per misurar lo cerchio, e non ritrova...

Insomma ce n’è voluto del bello e del buono, ma finalmente (solo!) nel 1882 Ferdinand von Lindemann (1852-1939) dimostrò la trascendenza di pi greco chiudendo definitivamente la questione della quadratura del cerchio. In quegli anni furono trovati molti altri numeri di questo tipo, anche se non è per niente facile dimostrarne la trascendenza.   ▲  

I numeri Reali

Finalmente possiamo definire una nuova classe di numeri: i cosiddetti numeri reali. È l’insieme di tutti i numeri, naturali, razionali, irrazionali e trascendenti. Come ho accennato, Dedekind ha dimostrato la possibilità di mettere in corrispondenza biunivoca i punti della retta con i numeri reali; siccome i punti della retta costituiscono qualcosa di continuo, anche i numeri reali identificano un insieme che possiamo definire "continuo".

Rimane però la questione se tutti questi numeri trascendenti, o meglio i numeri reali, possano essere ancora "contati" oppure no, ovvero se l’insieme dei numeri reali abbia cardinalità maggiore rispetto all’insieme dei numeri naturali.

Il problema è che non si può fare un elenco di tutti i possibili numeri trascendenti; alcuni sono i risultati del calcolo di funzioni trigonometriche, logaritmiche e altre cose del genere, ma a molti, a moltissimi altri non sapremmo neanche dare un significato matematico. Mi spiego meglio: se è vero che a un numero decimale periodico so sempre assegnare una frazione generatrice, quindi riesco sempre a capirne la natura, di un numero reale non posso sapere mai da quale espressione matematica è stato ricavato; per farlo dovrei conoscere tutti, ma proprio tutti i suoi infiniti decimali.

Faccio un esempio: se vedo il numero 3,14... a me viene subito in mente pi greco. Ma per sapere che questo numero è davvero pi greco dovrei conoscerne tutti i decimali, ma proprio tutti; basterebbe una cifra diversa alla miliardesima posizione decimale per farlo diventare qualcosa di diverso!

Insomma abbiamo trovato una nuova classe di numeri che è impossibile da catalogare. Saremo mica riusciti a trovare una classe di numeri che non sia più "contabile", ovvero tale da non poter essere messa in corrispondenza biunivoca con i numeri naturali?   ▲  

Il "Continuo"



La risposta finalmente è... Sì. Georg Cantor (1845-1918) ha trovato il modo per dimostrare che ci sono numeri che non possono essere contati. La dimostrazione dettagliata la fornisco più sotto, qui mi limito a descriverne il funzionamento. È una dimostrazione per assurdo: si immagina di avere stilato un elenco numerato di tutti i numeri reali compresi fra 0 e 1, ciascuno con i suoi infiniti decimali. Cantor riesce a creare un nuovo numero, diverso da tutti gli altri: in questo modo contraddice l’ipotesi di partenza (quella secondo cui ogni numero reale era rappresentato nell’insieme iniziale).

Eccoci al punto: abbiamo finalmente un insieme che non può avere cardinalità Aleph-0 perché ha almeno un elemento che sfugge al conteggio. All’insieme di tutti i numeri reali quindi si assegna la cardinalità c (la lettera c è stata scelta perché questo insieme indica il "continuo"). Per ora sappiamo che c è sicuramente maggiore di Aleph-0... ma gli sviluppi che conseguiranno da questa scoperta richiedono un intero capitolo di questa storia (il prossimo).   ▲  

Potenza del Continuo

Cominciamo ad analizzare questo c. Intanto proviamo a vedere se un segmento lungo ha più punti di un segmento più corto: la risposta è no, in quanto si può sempre dimostrare la corrispondenza biunivoca fra i punti di due segmenti di lunghezza diversa (ciascun punto a del segmento [0-1] ha il suo corrispondente A nel segmento [0-2]).

#1


Proviamo ora a vedere se una retta di lunghezza infinita ha più punti di un segmento finito: un’altra volta la risposta è no, in quanto anche in questo caso si dimostra lo stesso tipo di corrispondenza. La dimostrazione si fa con il disegno qui sotto: si mettono in corrispondenza i punti di un semicerchio che ha centro in P con i punti della retta sottostante. A ogni punto del semicerchio corrisponde un punto della retta infinita: A-a, B-b, e C-c con c che evidentemente è ben fuori dal disegno, sulla sinistra.

#2


Ecco un risultato interessante: l’insieme dei punti di un segmento unitario (o l’insieme dei numeri reali nel campo [0-1]) ha la stessa potenza dei punti di una retta infinita (o dell’insieme di tutti i numeri reali).

Ma non finisce qui: proviamo a vedere se una superficie finita ha più punti di un segmento finito: ancora la risposta è no! Proviamo a considerare i punti di un quadrato unitario. Ogni suo punto può essere identificato da una coppia di coordinate X e Y comprese fra 0 e 1:

#3


A partire dai numeri che definiscono le coordinate X e Y posso creare un nuovo numero R intercalando le cifre dei decimi, poi quelle dei centesimi, poi dei millesimi e così via. In questo modo avrò un unico numero che esprime la coppia di coordinate, anch’esso compreso fra 0 e 1: c’è quindi una corrispondenza biunivoca fra ciascuna coppia di coordinate e un numero reale. Faccio un esempio pratico:



Dal numero R riesco senza problemi a ricavare le due coordinate X e Y: le cifre decimali di ordine dispari di R daranno la coordinata X; le cifre di ordine pari la coordinata Y.

Ripetendo il metodo descritto dalla figura #2 per le superfici invece che per segmenti/rette posso dimostrare che c’è una corrispondenza biunivoca anche fra i punti di una superficie finita con i punti dell’intero piano infinito. E applicando il sistema dimostrato nel disegno #3 posso definire un nuovo numero R che, invece di partire da una coppia di coordinate X e Y, usi tre coordinate X Y e Z di uno spazio tridimensionale.

Allora c, il numero cardinale che indica la potenza del continuo, può essere utilizzato per definire la potenza degli insiemi di tutti i numeri reali, dei punti del segmento, della retta, del piano, dello spazio... eccetera eccetera!

La dimostrazione di Cantor

Descrivo qui la "dimostrazione diagonale di Cantor", con alcune semplificazioni per non appesantirne la lettura. Chi fosse interessato può leggere questo articolo su wikipedia.

Supponiamo per assurdo che l'intervallo dei numeri compresi fra 0 e 1 sia numerabile. Questo significa che gli elementi dell'intervallo possono essere posti in corrispondenza biunivoca con i numeri naturali dando luogo ad una successione di numeri reali R1, R2, R3, ... che esaurisce tutti i numeri reali compresi tra 0 e 1.

Possiamo rappresentare ciascun numero della successione in forma decimale e visualizzare la successione di numeri reali come una matrice infinita che avrà più o meno quest'aspetto:

R1 = 0 . 5 1 0 5 1 1 0 ...
R2 = 0 . 4 1 3 2 0 4 3 ...
R3 = 0 . 8 2 4 5 0 2 6 ...
R4 = 0 . 2 3 3 0 1 2 6 ...
R5 = 0 . 4 1 0 7 2 4 6 ...
R6 = 0 . 9 9 3 7 8 3 8 ...
R7 = 0 . 0 1 0 5 1 3 5 ...
...

In questa tabella ho indicate in grassetto le cifre che compaiono sulla diagonale (la prima cifra decimale del primo numero, la seconda del secondo, e così via). Costruiamo ora un nuovo numero reale X che abbia tutte le cifre differenti dalla sequenza sulla diagonale. Si procede nel seguente modo: se una delle cifre che compare sulla diagonale è 5, la sostituiamo con un 4; in tutti gli altri casi la sostituiamo con un 5 (la scelta delle cifre 4 e 5 è arbitraria). Nell'esempio otteniamo:

X = 0 . 4 5 5 5 5 5 4 ...

All'inizio dell'argomento avevamo supposto che la nostra lista dei numeri enumerasse tutti i numeri reali compresi tra 0 e 1, quindi dovremmo avere uno dei numeri R, diciamo l'ennesimo, per cui Rn = X. A questo punto emerge una contraddizione: per come abbiamo costruito il numero X, l'ennesima cifra di X dovrebbe essere diversa dall'ennesima cifra del numero Rn. Questo è impossibile, e ne segue che l'ipotesi di partenza è falsa e cioè che l'intervallo dei numeri compreso fra 0 e 1 non è numerabile.   ▲  

Prossimo capitolo: L'ipotesi del Continuo

Numeri Transfiniti: l'ipotesi del Continuo

Sommario:

+ I numeri Naturali
+ Ancora Aleph-zero
+ Il contesto storico
+ Oltre Aleph-zero: il Continuo
– L'ipotesi del Continuo
      Numeri transfiniti più grandi
      c & Aleph-uno
      L'ipotesi del Continuo
      Questioni... teologiche!

Riassunto delle puntate precedenti:

— La Cardinalità, o Potenza, dell’insieme dei Numeri Naturali si indica con la sigla Aleph-zero.
— Aleph-zero è il più piccolo Numero Transfinito.
— Esiste un insieme di numeri (i Numeri Reali) che ha Potenza maggiore di Aleph-zero: si tratta del "Continuo", che si indica con la lettera c.

Numeri transfiniti più grandi

Georg Cantor, nel Teorema che porta il suo nome, afferma che dato un insieme di qualsiasi potenza (ovvero contenente un numero qualsiasi di elementi), esiste sempre un insieme di potenza maggiore. Quindi da un punto di vista logico non c’è limite alla potenza o cardinalità degli insiemi infiniti: così come nei Numeri Naturali esiste sempre il successore di qualsiasi numero, anche da qualsiasi insieme infinito si riesce a ricavare un infinito "più grande"; e dato che la potenza degli insiemi infiniti viene identificata con i Numeri Transfiniti (Aleph-zero, Aleph-uno, Aleph-due e così via), è logico dedurre che i Numeri Transfiniti... sono infiniti anch’essi!

Vediamo da vicino questo Teorema di Cantor. Dato un insieme A, la dimostrazione viene fatta prendendone in esame le "parti", ovvero i possibili sottoinsiemi di A: questi ultimi saranno sempre in numero superiore rispetto agli elementi di A.

Iniziamo con un esempio semplice: diciamo che l’insieme A contenga due bocce, una rossa e una blu. Se ci venisse detto di prendere da questo insieme "le bocce che vogliamo", potremmo sceglierne una sola (la rossa o la blu), entrambe (la rossa E la blu), oppure potremmo decidere di non prenderne nessuna. Totale: quattro possibili "parti", o sottoinsiemi, a partire dall’insieme A di due elementi.

Allo stesso modo, se le bocce fossero tre, rossa blu e verde, potremmo sceglierne una soltanto (rossa o blu o verde), due (escludendo la rossa, la blu o la verde), prenderle tutte e tre oppure non prenderne nessuna. Totale: otto sottoinsiemi a partire da un insieme contenente tre elementi.

Le parti, o sottoinsiemi, di un insieme contenente n elementi, sono quindi sempre in numero di 2ⁿ. Infatti 2² = 4, 2³ = 8 (casi già visti); ma anche 2¹ = 2 (se l’insieme ha un solo elemento, possiamo prenderlo o non prenderlo). Infine 2º = 1: se l’insieme è vuoto, possiamo solo scegliere di prenderne una "parte" costituita da un altro insieme vuoto; comunque è una possibilità reale: insomma, da un insieme che ha 0 elementi si può sempre ricavare 1 sottoinsieme (vuoto).



In questa immagine sono rappresentati tutti gli insiemi di cui abbiamo parlato, di 0, 1, 2 e 3 elementi, i cui contenuti sono indicati fra le parentesi graffe in nero; il numero in nero alla loro sinistra indica la potenza, o cardinalità, dei rispettivi insiemi.
I numeri in grigio a destra della riga verticale indicano il numero delle Parti, o dei possibili sottoinsiemi, degli insiemi suddetti: ciascun sottoinsieme è racchiuso fra parentesi graffe di colore nero, mentre le parentesi graffe di colore grigio indicano che ogni espressione a destra della riga nera verticale rappresenta un insieme di insiemi.

Ricapitoliamo quanto detto finora: nessun insieme finito può essere messo in corrispondenza biunivoca con l’insieme delle sue parti (sottoinsiemi), poiché le parti sono sempre in numero maggiore degli elementi dell’insieme.

Resta ora da capire se questo sia vero anche per gli insiemi infiniti. Sembrerebbe ovvio dire di sì; ma abbiamo già visto come, quando si ragiona di infinito, non si può dare niente per scontato: infatti i soli numeri pari, o i fattoriali e qualsiasi altra serie infinita di numeri apparentemente meno numerosi; e i numeri razionali, i numeri algebrici e altre serie via via "più numerose", hanno tutte la potenza dei Numeri Naturali, ovvero danno tutti luogo a insiemi equipotenti di cardinalità Aleph-zero. Non potrebbe allora essere che abbia la stessa cardinalità anche l’insieme delle parti (sottoinsiemi) dei Numeri Naturali? Ovvero, non sarà che le parti di un insieme di potenza Aleph-zero possano essere tranquillamente contate?

La dimostrazione di Cantor è assolutamente simbolica (direi "astratta"): per far capire come funziona ne illustro solo un esempio "pratico", più facilmente comprensibile.

Ammettiamo di creare l’insieme B di tutti i possibili sottoinsiemi dei Numeri Naturali A, e di averli messi in corrispondenza biunivoca con i Numeri Naturali stessi. La cosa potrebbe essere così:

A — B
-----------------------------------
1 — { 1, 2 }
2 — { 3, 5, 6 }
3 — { 7 }
4 — { 1, 2, 4, 8, 9 }
5 — { 2, 6, 7 }
6 — { 5, 6, 7, 8 }
....................................

A sinistra l’insieme dei Numeri Naturali (identificato in alto dalla lettera A); a destra l’insieme (identificato dalla lettera B) di tutti i possibili sottoinsiemi di A (le parentesi graffe come al solito indicano un insieme); i trattini indicano la corrispondenza biunivoca fra i membri degli insiemi A e B.

Possiamo ora creare un particolare sottoinsieme dei Numeri Naturali: questo dovrà contenere solo quei numeri che non sono presenti nel loro sottoinsieme corrispondente. Quindi (vedi la tabella sopra): il numero 1 è presente nell’insieme { 1, 2 } e non ne farà parte, mentre il 2 non è presente in { 3, 5, 6 }; allora i primi numeri di questo nuovo insieme saranno { 2, 3, 5 ... }.

Questo nuovo insieme, identifichiamolo con la lettera Z, contenendo solo Numeri Naturali, è un sottoinsieme dei Numeri Naturali stessi, quindi fa senz’altro parte di B (che è l’insieme di tutti i possibili sottoinsiemi dei Numeri Naturali), quindi deve comparire da qualche parte nell’elenco di destra della tabella mostrata sopra; di conseguenza, sarà anche associato a un qualche Numero Naturale, tra quelli presenti nell’elenco di sinistra: diciamo che tale numero sia Y.

Ora ci dobbiamo porre la seguente domanda: il numero Y fa o non fa parte dell’insieme Z, ovvero del suo insieme corrispondente?

— Se diciamo che Y è compreso in Z, in realtà non dovrebbe farne parte (per come è costruito Z);

— Se diciamo che Y non è compreso in Z, in realtà dovrebbe farne parte (per come è costruito Z).

Ecco quindi una contraddizione, che ci fa capire che il numero Y non può esistere. Allora esiste almeno un elemento B che non può essere messo in corrispondenza con un elemento di A: l’insieme B quindi ha potenza maggiore dell’insieme A.

Questo nuovo insieme ha cardinalità Aleph-uno; e da questo, applicando lo stesso procedimento, potremo ricavare altri insiemi di cardinalità Aleph-due, Aleph-tre... ecc..   ▲  

c & Aleph-uno

Ricapitoliamo:

— Aleph-zero è la cardinalità dell’insieme dei Numeri Naturali
— c è la cardinalità del Continuo
— Aleph-uno è la cardinalità dell’insieme delle parti di un insieme di potenza Aleph-zero

Domanda: che rapporto c’è fra c e Aleph-uno? Ebbene, si può dimostrare che rappresentano insiemi assolutamente equipotenti, quindi c = Aleph-uno.

Riprendiamo in esame gli insiemi definiti più sopra: A (dei Numeri Naturali) e B (delle parti, o sottoinsiemi, dei Numeri Naturali stessi). Ogni elemento di B è un insieme costituito da uno, o più (o tutti, o nessuno) elemento di A. Associando a ciascuno dei possibili elementi di un sottoinsieme di B due valori: 0 – assente, 1 – presente, possiamo tradurre gli esempi mostrati sopra nel seguente modo:

{ 1, 2 } — 110000000... (presenti solo primo e secondo elemento)
{ 3, 5, 6 } — 001011000... (presenti terzo, quindi e sesto)
{ 7 } — 000000100... (presente solo il settimo)
{ 1, 2, 4, 8, 9 } — 110100011... (presenti il primo, secondo, quarto, ottavo e nono)
................

Così come gli elementi di B erano tutte le possibili combinazioni (sottoinsiemi) degli elementi di A, così queste serie di cifre 0 e 1 rappresenteranno tute le possibili combinazione di zeri e uni, impacchettati in "stringhe" di lunghezza infinita.

Ora possiamo fare il passo conclusivo: davanti a queste stringhe di zeri e uni mettiamo un "zero-virgola".

0,110000000
0,001011000
0,000000100
0,110100011

Tutti questi possono essere intesi come numeri frazionari espressi nel sistema binario. A differenza dei numeri in notazione decimale, in cui la prima cifra dopo la virgola rappresenta i decimi, la seconda i centesimi, la terza i millesimi e così via, nei numeri binari la prima cifra rappresenta metà, la seconda un quarto, la terza un ottavo e così via. Quindi i numeri qui sopra valgono:

0,110000000 — 1/2 + 1/4 = 0,75
0,001011000 — 1/8 + 1/32 + 1/64 = 0,171875
0,000000100 — 1/128 = 0,0078125
0,110100011 — 1/2 + 1/4 + 1/16 + 1/256 + 1/512 = 0,818359375

Abbiamo convertito quindi tutti i possibili sottoinsiemi dei Numeri Naturali in tutte le possibili stringhe di lunghezza infinita di zeri e uni. Nella loro rappresentazione binaria, queste stringhe di zeri e uni rappresentano ogni possibile Numero Reale compreso fra zero e uno: ecco quindi com’è che la potenza, o cardinalità, dell’insieme delle Parti (sottoinsiemi) dei Numeri Naturali è esattamente la stessa del Continuo, ovvero dell’insieme di tutti i Numeri Reali compresi fra zero e uno.   ▲  

L'ipotesi del Continuo

Adesso viene una domanda molto interessante. Siamo sicuri che questi numeri trasnfiniti c = Aleph-uno siano l'immediato successore di Aleph-zero?

Possiamo porre la domanda in un altro modo. Si potrà mai trovare un insieme infinito che abbia una potenza strettamente compresa fra gli insiemi dei Numeri Naturali e dei Numeri Reali? Ovvero, un insieme che non possa essere contato dai Numeri Reali, ma che non possa a sua volta "contare" il Continuo?

Cantor ha passato gli ultimi anni della sua vita a cercare di dimostrare questa che i matematici chiamano "ipotesi del Continuo", cioè che non esista nessun insieme infinito compreso fra quelli dei numeri naturali e dei numeri reali, ma senza riuscirci. E abbiamo già accennato come David Hilbert abbia incluso proprio questo teorema al primo posto fra i suoi "23 problemi" al Congresso di Parigi del 1900.

Il problema si è rivelato davvero difficile da aggredire, tant’è che solo nel 1940 Kurt Gödel (toh, chi si rivede!) ha dimostrato che non è dimostrabile la falsità dell’ipotesi del Continuo. Sembra un passo incoraggiante: se non è possibile che l'ipotesi sia falsa, allora dovrebbe essere vera...

... Invece nel 1963 Paul Cohen ha dimostrato che è impossibile dimostrare che l’ipotesi del Continuo sia vera! Ecco quindi saltar fuori un’antinomia, un enunciato che porta a conclusioni contraddittorie! Solo che, a differenza del paradosso di Russell, che rivelava un’antinomia in una cosa che sembra (almeno a noi comuni mortali) più una pignoleria che un problema reale, adesso l’antinomia salta fuori dallo studio dei numeri, cioè al livello più basilare di tutto ciò che è matematica.

L'unione dei risultati di Gödel e di Cohen diviene un esempio "pratico" di quelle proposizioni indecidibili che Gödel aveva precedentemente dimostrato esistere nel suo Secondo Teorema di Incompletezza. Per il suo risultato, Cohen ricevette nel 1966 la Medaglia Fields, ovvero la massima onorificenza per matematici di età inferiore ai quarant'anni.

A proposito delle dimostrazioni di Gödel e Cohen, ho chiesto lumi a un professore universitario mio amico che insegna proprio questo genere di cose. In sostanza la domanda era se tali dimostrazioni potessero essere comprese anche da uno come me, non del tutto digiuno di matematica, ma pur sempre un dilettante. La risposta è stata le seguente:

Le dimostrazioni di Gödel e Cohen sono difficili anche per me... Le idee le conosco, ma certi dettagli tecnici nemmeno io li afferro completamente. Certo, studiandoli per bene, penso che ce la farei!

L'idea di Gödel si puo' anche descrivere abbastanza facilmente, ma dimostrarla con tutti i crismi non è una passeggiata. L'idea della dimostrazione di Cohen invece si puo' dare solo vagamente e, per apprezzarla appieno, bisognerebbe entrare in dettagli sofisticati; dare poi la dimostrazione completa... non ne parliamo!

Ho deciso di lasciar perdere...

-------------------------

L'insieme di idee che i personaggi di cui ho parlato in queste pagine è riuscito a mettere insieme è una delle vette massime raggiunte dall'umanità. Non ha importanza se il risultato alla fine sia un apparente "nulla di fatto", con queste antinomie che saltano fuori da tutte le parti. Sono assolutamente d'accordo con Carl Jacobi, che scrisse:

"L'unico scopo della scienza è l'onore dello spirito umano; a questo titolo una questione sui numeri vale quanto una sul sistema del mondo"

La potenza dei procedimenti logici avviata da Cantor con il suo approccio agli insiemi infiniti si è rivelata davvero formidabile, anche se molti matematici suoi contemporanei non l’hanno subito apprezzata. In mezzo a dispute anche aspre su questo argomento, David Hilbert ebbe a dire:

"Nessuno ci scaccerà dal Paradiso che Cantor ci ha procurato!"   ▲  

Questioni... teologiche!

Voglio finire questa dissertazione con un paio di aneddoti che riguardano Galileo e Cantor alle prese con l'infinito, questo concetto non solo numerico, ma anche filosofico e, soprattutto, teologico.

Il concetto di infinito inizia ad essere sfruttato in teologia da Nicola Cusano (1401-1464) che confronta in varie occasioni l’infinità di Dio con la finitezza degli uomini, e l’intelletto (finito) con la Verità (infinita). A lungo andare quindi l’infinito ha condensato un sacco di attributi divini... diventando un termine da usare con le molle.

Come abbiamo visto Galileo Galilei si è imbattuto in alcuni ragionamenti logici che riguardano l’infinito; ma la sua mancanza di coraggio nell’arrivare alle loro estreme conseguenze forse è da ascrivere al timore di dare altri argomenti all’inquisizione... con cui aveva già i suoi bei problemi! Non va dimenticato che pochi anni prima, nel 1600, Giordano Bruno era stato condannato al rogo anche per aver detto "È dunque l'universo uno, infinito, immobile...", mentre secondo l’inquisizione (il cardinale Roberto Bellarmino, Dottore della Chiesa, è quello che condannò sia Giordano Bruno che Galileo) l’universo è finito e gira, mentre è la terra a stare immobile.

Anche Cantor si pose qualche problema al momento di divulgare le sue teorie sugli insiemi infiniti, soprattutto per quanto riguarda l’esistenza di infiniti di varia grandezza. Da buon cristiano si chiese se usare il termine infinito non avrebbe disturbato la gerarchia ecclesiastica; era la fine dell'ottocento, non c'era più pericolo di andare al rogo, però volle comunque sapere che cosa avrebbe pensato di questo fatto la gerarchia cattolica. Andò in Vaticano, portò i suoi lavori al Santo Uffizio, che era governato da un cardinale tedesco, a cui disse: "Eminenza io ho qui lavori di matematica che mi dicono che ci sono più infiniti, in realtà tanti infiniti". Il cardinale disse: "Insomma io la matematica non la conosco... mi lasci i suoi lavori, che li faccio studiare ai miei segretari".

I segretari erano dei domenicani, che si presero due anni, perché ovviamente hanno dovuto cominciare a studiare la teoria degli insiemi da zero. Dopo due anni dissero al cardinale: "Secondo noi non c'è problema, non c'è pericolo per la fede". Allora Cantor venne convocato in Vaticano e il cardinale del Santo Uffizio gli disse: "Guardi lei può parlare di questi infiniti, purché non li chiami infiniti, perché effettivamente questo darebbe una brutta idea teologica, cioè farebbe una connessione con la divinità". Allora Cantor scelse il nome "transfiniti"; ma, per ironia della sorte, i matematici preferiscono chiamarli con il nome di... numeri Cardinali!

Il cardinale del Santo Uffizio si era anche fatto l’idea che dopo tutti questi transfiniti, là, alla fine, ci fosse il vero infinito assoluto. Chiese a Cantor cosa ne pensasse: "Per noi matematici quello non c'è. Non esiste un infinito assoluto per i matematici, perché ciò sarebbe contraddittorio". Al che il cardinale rispose: "Va bene: quello lì è nostro!".   ▲  

Numeri Transfiniti: il contesto storico

Sommario:

+ I numeri Naturali
+ Ancora Aleph-zero
– Il contesto storico
      Rifondare la matematica
      Giuseppe Peano
      Bertrand Russell
      Gottlob Frege
      David Hilbert
      Kurt Gödel
+ Oltre Aleph-zero: il Continuo
+ L'ipotesi del Continuo

Rifondare la matematica

Nel XIX secolo la matematica era arrivata a un livello di sviluppo veramente notevole, ed era in continua evoluzione. Qualcuno cominciò ad avere dei dubbi sulla correttezza di tutto ciò, in quanto è bensì vero che da premesse valide, con ragionamenti corretti, si arriva sempre a conclusioni altrettanto valide; ma siamo sicuri che tutte le premesse siano valide, e che da qualche parte non sia stato commesso un qualche errore di ragionamento?

Si andavano profilando due ordini di dubbi, dei quali il primo era già stato indicato da Kant nella "Critica della ragion pura". Questo era: quanto può il processo di induzione essere portato avanti senza "partire per la tangente"? Il secondo ordine di dubbi invece era: le basi sulle quali si appoggia tutto il castello sono davvero solide?

L’Analisi Matematica era (ed è) un campo cruciale, in quanto consente di descrivere il funzionamento dei sistemi fisici. In questo campo si gioca abbastanza disinvoltamente con zeri, infiniti e infinitesimi, si fanno addirittura somme di infiniti infinitesimi. Per fortuna l’Analisi ha spesso il modo di confrontarsi con la fisica, per cui storicamente è capitato anche che non sia stata la fisica a essere "capita" dalla matematica, ma la matematica ad essere "convalidata" dalla fisica.

Certo questo modo di procedere non poteva bastare ai matematici, puntigliosi e perfezionisti come sono: ecco quindi la necessità di fare un ragionamento complessivo sulla materia, cercando di partire dal minor numero di assiomi, per poi arrivare alle questioni più complesse per piccoli passi, incontrovertibilmente dimostrabili. (Gli assiomi, anche detti postulati, sono enunciati che, pur non essendo dimostrati, sono considerati veri; vengono usati per fornire i punti di partenza necessari alla delineazione di un quadro teorico, come può essere quello della teoria degli insiemi).   ▲  

Giuseppe Peano



Dovendo iniziare dalle cose più semplici, la cosa ovvia era di partire dai numeri naturali. I quali, pur essendo intuitivi, richiedevano una definizione precisa. Giuseppe Peano (1858-1932), il primo logico matematico italiano della storia, li definì in base a questi cinque assiomi:

— Esiste un numero naturale zero
— Ogni numero naturale ha un numero naturale successore
— Numeri diversi hanno successori diversi
— Zero non è il successore di alcun numero naturale
— Ogni insieme di numeri naturali che contenga lo zero e il successore di ogni proprio elemento coincide con l'intero insieme dei numeri naturali

Io li trovo magnifici, ma non tutti la pensano così. Per esempio la definizione di "successore" non è stata considerata sufficientemente precisa, si potrebbe contare di due in due, o di tre in tre... (i logici, coloro che si occupano di logica, riescono ad essere addirittura più puntigliosi e precisi dei matematici!)

I logici sanno che devono stare molto attenti: non è detto che le loro costruzioni non entrino mai in contraddizione. Lo scoprirono già gli antichi greci, grazie a tale Epimenide di Creta (VI secolo a.C.), il quale, cretese appunto, ebbe a dire che "tutti i Cretesi sono bugiardi". Si capisce bene che si tratta di un paradosso: se egli, cretese, stesse dicendo la verità, allora non sarebbe vero che tutti i cretesi sono bugiardi; se invece fosse bugiardo, starebbe affermando una cosa vera! (*) Contraddizioni di questo tipo, o "antinomie" (le situazioni per cui, posta una questione particolare, se ne possono ricavare due affermazioni apparentemente valide ma che sono in contrasto fra loro) sono sempre in agguato.

(*) Il paradosso del mentitore, come espresso da Epimenide, non è corretto: basta pensare che almeno un cretese dica la verità. Allora Epimenide sarebbe effettivamente bugiardo dicendo che i cretesi sono tutti bugiardi, perché in realtà ce n'è uno che non lo è. Comunque i logici moderni hanno saputo creare altri paradossi per cui... non c'è scappatoia che tenga!   ▲  

Bertrand Russell



Insomma, i logici ci pensano un po’ su, trovano che i numeri naturali non sono la base giusta da cui partire, e cercano qualcosa di più potente e versatile: inventano il concetto di Insieme. In effetti si può verificare l'efficacia della Teoria degli Insiemi proprio nel definire la serie dei Numeri Naturali: come vedremo fra poco, si tratta di una costruzione davvero elementare (nel senso che richiede un numero veramente ridotto di concetti di base, anche se non è una cosa affatto semplice).

Gli insiemi sono collezioni di uno o più elementi distinguibili l’uno dall’altro (esiste anche l’insieme vuoto); il numero di elementi contenuto da ciascun insieme è detto potenza dell’insieme. L’insieme vuoto ha quindi potenza zero, quelli con un solo elemento hanno potenza uno, e così via. Per ottenere l'intera serie dei numeri naturali basta procedere come segue:

— all’insieme vuoto, che ha zero elementi e quindi ha potenza 0, viene associato il numero zero.

— si crea la regola per cui il successore B di un insieme A è dato dall’unione degli elementi dell’insieme A con l’insieme A stesso; in questo modo si aggiunge l’elemento costituito dall’insieme A agli elementi già contenuti in A, ottenendo un insieme B che ha una potenza maggiore di un'unità rispetto all'insieme A: assoceremo alla potenza di questo nuovo insieme il numero naturale corrispondente.

Vediamo meglio come funziona il tutto: agli elementi dell'insieme vuoto (che non ne ha) aggiungo l'insieme vuoto stesso, ottenendo l'insieme uno che conterrà solo un insieme vuoto, e quindi avrà potenza uno; agli elementi dell'insieme uno (che contiene un insieme vuoto) aggiungo l'insieme uno e ottengo l'insieme due (conterrà l'insieme vuoto e l'insieme uno); quello tre avrà tre elementi (l'insieme vuoto, l'uno e il due), e così via: ciascuno con potenza pari al numero di elementi che contiene. Avendo associato ciascuno di questi insiemi ai numeri che esprimono la loro potenza, con questo abbiamo definito l'intera serie dei numeri naturali.

In sostanza, bastano i concetti di insieme (e insieme vuoto) e di successore per creare l'intera serie dei Numeri Naturali!

Fra il XIX e il XX secolo gli studi per rifondare la matematica andarono avanti speditamente, con e senza l'uso della teoria degli insiemi (non tutti i matematici la vedevano di buon occhio; ma come abbiamo visto, e vedremo ancora, Georg Cantor la usò in modo spettacolare per aggredire il concetto di infinito). Le basi a quel punto erano davvero solide, e c'era la convinzione diffusa che non si sarebbe mai trovata una contraddizione, non si sarebbe mai trovato un paradosso (o antinomia, come quella del mentitore).   ▲  

Gottlob Frege



Anche Gottlob Frege (1848-1925), considerato uno dei più grandi logici dopo Aristotele, stava contribuendo alla ricostruzione della matematica. Aveva già pubblicato il primo tomo del suo "Principi di Aritmetica" e stava per andare in stampa con il secondo volume, quando riceve una lettera da Bertrand Russell. Russell affronta la seguente questione:

Può un insieme essere elemento di sé stesso, ovvero contenere se stesso?

La risposta è sì. Ad esempio, l'insieme di tutti i libri di una biblioteca non è elemento di sé stesso. Invece, l'insieme di tutti gli insiemi con più di 20 elementi è elemento di sé stesso. Allora vediamo quest’altra questione:

Che tipo di insieme salta fuori se ne creo uno che contenga tutti gli insiemi che non contengono se stessi?

Vediamo per tentativi, provando a considerare o meno questo insieme come elemento di se stesso:

— se dico che questo insieme non contiene se stesso, fa parte del gruppo degli insiemi che non contengono se stessi, e quindi dovrebbe farne parte (ma l'ipotesi era che non ne facesse parte)

— se dico che questo insieme contiene se stesso, non fa parte del gruppo degli insiemi che non contengono se stessi, e quindi non dovrebbe farne parte (ma l'ipotesi era che ne facesse parte)

Ecco il paradosso fatale: alla creazione dell'insieme degli insiemi che non contengono se stessi consegue la comparsa di un'antinomia, ed è quanto basta per smontare l’illusione di un sistema logico completo e coerente. L’esistenza di una contraddizione come questa è la crepa che fa crollare il castello.

Frege prese atto delle conseguenze distruttive per il sistema che aveva costruito e si rassegnò a scrivere un'appendice ai suoi Principi, in cui confessava il fallimento della sua opera. Le contraddizioni messe in luce dal paradosso di Russell sono insolubili nell'ambito della teoria degli insiemi, e i logici matematici hanno dovuto sudare parecchio per imparare a gestire questo stato di cose.   ▲  

David Hilbert



... e la Geometria? Nel XIX secolo erano stati compiuti moti sforzi per "assiomatizzare", ovvero riformulare su basi logiche, un po' tutti i campi della matematica. Ma la Geometria, che peraltro aveva avuto sviluppi grandiosi (ad esempio con la nascita delle Geometrie non Euclidee), era stata per lo più esclusa da questo processo.

La lacuna viene colmata da David Hilbert (1862-1943) il quale, nel 1899, pubblica un testo fondamentale: i Fondamenti della Geometria (di cui accenno qui qualche dettaglio). Si tratta del primo risultato veramente compiuto di assiomatizzare una parte della matematica senza incorrere in antinomie o contraddizioni. Il testo ebbe successo immediato, spronando ancor di più gli sforzi per arrivare a risultati analoghi negli altri campi della matematica — peraltro potremmo dire che con questo testo Hilbert spronava anche sé stesso, anche se era conscio del fatto che il compito sarebbe stato superiore alle proprie forze (come a quelle di qualsiasi altro singolo matematico), quindi approfittò di una circostanza molto particolare:

Nel 1900 a Parigi si riuniva il secondo Congresso Internazionale dei Matematici (il primo si era svolto a Zurigo nel 1893). Invitato a intervenire, Hilbert, invece di illustrare qualche proprio risultato già raggiunto, espose un elenco di problemi da risolvere: era una specie di "compito in classe" per tutto il mondo matematico del secolo a venire.

Nel suo intervento Hilbert elenca una decina di problemi, scelti fra la lista di quelli che saranno poi conosciuti come i ventitré "Problemi di Hilbert" (l'elenco completo compare nella memoria scritta da Hilbert per la pubblicazione negli atti del congresso). Di questi, alcuni furono risolti in breve tempo, altri hanno richiesto vari decenni, mentre qualcosa è stato incluso anche fra i sette "Problemi per il Millennio", un elenco analogo a quello di Hilbert, promosso dall'Istituto Matematico Clay nel "Convegno del Millennio" di Parigi, il 24 maggio 2000.

Dei problemi di Hilbert, per l'argomento che stiamo trattando in questi capitoli sono di particolare interesse i primi due:

1 — Dimostrare l'ipotesi del Continuo;
2 — Dimostrare la validità assoluta degli assiomi dell'aritmetica.

Del primo problema ci occuperemo nei prossimi capitoli, mentre il secondo problema chiede di fare proprio ciò di cui ci stiamo occupando qui: dimostrare (come era già stato fatto per la geometria euclidea, proprio a opera di Hilbert) che gli assiomi dell'aritmetica sono anch'essi consistenti e coerenti. Vediamo cosa significano esattamente questi due termini:

Consistenza — Gli assiomi alla base di una teoria (in questo caso, l'aritmetica) devono essere completi (o sufficienti), in modo da coprire tutti i possibili sviluppi della teoria; inoltre bisogna verificare che non verranno mai in conflitto fra loro, ovvero che non ne possano nascere contraddizioni.

Coerenza — Garantire che i teoremi che saranno sviluppati a partire dallo stesso insieme di assiomi non saranno mai in contraddizione fra loro.

(Tutto sommato, sembra il minimo che si possa chiedere a una teoria matematica...)

Nell'introduzione al suo discorso, Hilbert fa riferimento a due problemi matematici antichissimi: la quadratura del cerchio e la duplicazione del cubo. A seguito di secoli e secoli di tentativi andati a vuoto, finalmente nel XIX secolo si è dimostrata l'impossibilità di risolverli. E questo tutto sommato è un fatto positivo: è sicuramente meglio che un'affermazione sia dimostrata falsa piuttosto che rimanere nel dubbio, o peggio, arrivare a dimostrarne la "indecidibilità".

Purtroppo nei tentativi di assiomatizzare la matematica i casi indecidibili stavano continuando ad emergere, come l'Antinomia di Russell già citata; ecco quindi il compito assegnato ai matematici: cercare di eliminare questo genere di anomalie.   ▲  

Kurt Gödel



La speranza di costruire un castello interamente coerente della matematica si è infranta definitivamente nel 1931, quando Kurt Gödel (1906-1978) dimostrò il suo Primo Teorema di Incompletezza. Questo dice:

In ogni teoria matematica T ... esiste una formula F tale che, se T è coerente, allora né F né la sua negazione sono dimostrabili in T.

Questo teorema (semplificando) afferma che in un sistema assiomatico salterà sempre fuori un enunciato non dimostrabile a partire dagli assiomi di partenza, ovvero un caso indecidibile del quale non si può dire se sia vero oppure falso.

Il Secondo Teorema di Incompletezza recita invece:

Nessun sistema coerente può essere utilizzato per dimostrare la sua stessa coerenza.

In pratica, se voglio costruire un sistema matematico partendo da qualche assioma di partenza, avrò bisogno di qualche assioma esterno alla teoria per verificarne la validità...

Questi risultati di Gödel vengono da qualcuno considerati il risultato più decisivo raggiunto nel campo della logica matematica: infatti sembra precludere ogni speranza di arrivare a una certezza matematica. Per fortuna, i matematici non si sono sentiti tarpare le ali da questi teoremi, tant'è che hanno continuato, e continuano, a produrre teoremi su teoremi...

Insomma, stiamo attenti a dire che la matematica è "tutta sbagliata": rischieremmo di buttare via il bambino con l'acqua sporca! Si è solo scoperto che la coerenza logica, quando si raggiungono certi ragionamenti limite, non è pienamente raggiungibile. Ma quando pagate il conto al ristorante, state tranquilli che nel calcolo del resto non si presenterà mai alcuna antinomia!   ▲  

Prossimo capitolo: Il Continuo

Numeri Transfiniti: Aleph-zero

Sommario:

+ I numeri Naturali
– Ancora Aleph-zero
      Numeri Razionali
      Numeri Irrazionali
      Numeri Algebrici
      Numeri Negativi
      Irrazionalità di √2
      Irrazionalità delle radici non intere
+ Il contesto storico
+ Oltre Aleph-zero: il Continuo
+ L'ipotesi del Continuo

Ancora Aleph-zero

Nel primo capitolo di questa "scorribanda" fra gli insiemi infiniti abbiamo scoperto che non si trovano, diciamo così, insiemi infiniti "piccoli". Detto in termini più precisi: non esistono insiemi infiniti di cardinalità, o potenza, minore dell’insieme dei numeri naturali; la cui cardinalità si identifica con la sigla Aleph-0. Ora vogliamo vedere se riusciamo a trovare insiemi infiniti più grandi di Aleph-0.

Per trovare un insieme "più grande" di quello dei numeri naturali bisogna (tenetevi forte!) trovare "un insieme che abbia una funzione iniettiva rispetto all'insieme dei numeri naturali, ma nessuna corrispondenza biunivoca con esso"! Detto in altre parole: occorre scovare un insieme infinito che contenga alcuni membri (in teoria ne basta anche uno solo), che non possa essere messo in corrispondenza con un qualche elemento dell'insieme dei numeri naturali. Si può dire altresì che gli elementi dell'insieme più grande non potranno essere "contati": solo verificando questa condizione saremo sicuri di aver trovato un insieme di cardinalità maggiore di Aleph-0.   ▲  

Numeri Razionali

Possiamo fare un primo tentativo prendendo in esame i numeri razionali, che sono quelli che si ottengono dal rapporto tra due numeri naturali (il termine "razionale" deriva dal latino "ratio", proprio nel suo significato di rapporto). Ogni numero razionale è il risultato di una divisione a/b in cui a è il numeratore e b il denominatore; b deve ovviamente essere diverso da zero, mentre se abbiamo b=1 il risultato è un numero intero: i numeri interi (naturali) sono quindi un sottoinsieme dei numeri razionali.

Nell’intervallo compreso fra ogni coppia di numeri interi consecutivi posso inserire quanti numeri razionali voglio; qui sotto vi mostro una rappresentazione grafica di questo concetto:



fra i numeri 1 e 2 ho inserito 3/2 (1,5), 4/3 (1,333...), 9/5 (1,8), ovviamente ci sono infinite altre possibilità (ne ho indicate qualcuna con quei punti interrogativi). Calcolando il quoziente fra numeratore e denominatore di ciascuna di queste frazioni si ottiene un numero decimale con un numero finito o addirittura infinito di cifre dopo la virgola (in quest'ultimo caso, come abbiamo imparato alle medie, i decimali saranno periodici).

Ecco, mi vengono in mente almeno tre motivi per cui i numeri razionali dovrebbero essere in quantità maggiore rispetto ai numeri naturali: il fatto che fra ogni coppia di numeri naturali consecutivi posso inserire infinite frazioni; la presenza di tutti quegli infiniti decimali; infine il fatto che ogni numero razionale viene definito da due numeri naturali (numeratore e denominatore). E invece...

#1


Ecco, in questa griglia ho inserito tutte le frazioni possibili e immaginabili: basta cercare il numeratore sull’asse delle X (orizzontale) e il denominatore sull’asse delle Y (verticale); ovviamente lo schema può essere ingrandito a piacimento. Ho inserito anche dei pallini colorati e numerati: il numero 1 accanto alla frazione 1/1, poi 2 per 2/1 e 3 per 1/2, poi ancora 4 per 3/1, 5 per 2/2 e 6 per 1/3, e così via. In questo modo sto "contando" per diagonali successive tutte le frazioni possibili, anche quelle non ridotte ai minimi termini.

Eccoci quindi al punto: siccome i numeri naturali sono in grado di "contare" le frazioni, e quindi i numeri razionali (*), vuol dire che i due insiemi (dei numeri naturali e dei numeri razionali) possono essere messi in corrispondenza biunivoca, quindi hanno la stessa potenza: sempre Aleph-0.

(*) Precisazione: alcune frazioni che compaiono nella griglia #1 danno luogo allo stesso numero naturale (es. 1/1 e 2/2 = 1) o razionale (es. 1/2 e 2/4 = 0,5); per avere numeri razionali tutti diversi l'uno dall'altro dovrei escludere dal conteggio tutte le frazioni non ridotte ai minimi termini.

Escludere le frazioni non ridotte ai minimi termini è una cosa che si può fare, anche se non è facilissima quando numeratore e denominatore diventano molto grandi. Però si tratterebbe di una fatica inutile:

— l'insieme dei numeri naturali è un sottoinsieme dell'insieme dei numeri razionali (che comprende tutti i numeri naturali)

— l'insieme dei numeri razionali è un sottoinsieme dell'insieme delle frazioni, in quanto più frazioni danno luogo allo stesso numero razionale

— nella griglia #1 ho mostrato la corrispondenza biunivoca fra gli insiemi dei numeri naturali e delle frazioni, che sono quindi equipotenti e di cardinalità Aleph-0.

— allora anche l'insieme dei numeri razionali, che è apparentemente "compreso", come potenza, fra gli altri due, non può che avere potenza Aleph-0 (ometto la dimostrazione rigorosa).   ▲  

Numeri Irrazionali

Facciamo un altro tentativo: proviamo con i numeri irrazionali, come la radice quadrata di due. Questo numero ha una lunga storia: per il teorema di Pitagora la radice quadrata di due coincide con la lunghezza della diagonale di un quadrato di lato unitario:



Pitagora era un entusiasta sostenitore della "comprensibilità" dell’universo, nel senso che cercava di "misurarne" i segreti in termini di rapporti. Per esempio aveva studiato le note musicali scoprendo che hanno fra loro delle relazioni "razionali"; aveva anche immaginato il sistema delle "sfere celesti" come supporto per i pianeti e le stelle fisse, sfere sempre in rapporto razionale fra loro; e mescolando le note musicali con le sfere celesti aveva immaginato quella che ancora oggi chiamiamo "armonia delle sfere".

Insomma Pitagora era felicissimo di avere trovato... proprio il teorema di Pitagora! Però ci rimase molto male quando scoprì che la radice quadrata di due non è un numero razionale. Mettetevi nei suoi panni: vuole capire l’universo mondo, scopre un teorema straordinario che lo può aiutare a capirlo meglio, e il primo risultato che trova sfugge al suo criterio su cosa è razionale e cosa non lo è (per la dimostrazione della non razionalità del numero radice di due, vedi sotto). In altre parole: riesce a dimostrare che la radice di due non può essere definita da nessuna frazione a/b, in cui a e b siano numeri interi.

In epoca più moderna è stato dimostrato un teorema molto più generale (vedi ancora sotto), che dice che ogni radice di qualsiasi grado, di qualsiasi numero naturale, può dare come risultato o un numero intero o un numero irrazionale; numeri razionali, mai.

Insomma stiamo scoprendo una quantità enorme di numeri che non sono razionali. Il fatto di non esserlo, vuol dire che la loro rappresentazione decimale non presenterà nessun carattere di periodicità, avendo sequenze infinite di cifre decimali in successione, diciamo così, caotica. Questa cosa trova una facile spiegazione: se ricordate la matematica delle medie, ci avevano insegnato a trovare la "frazione generatrice" dato un qualunque numero decimale periodico, con o senza antiperiodo. Quindi se i numeri irrazionali, come la radice di due, fossero numeri decimali periodici, avrebbero la loro bella frazione generatrice... e allora sarebbero razionali e non più irrazionali.

Questi numeri irrazionali sono degli ottimi candidati per vedere se possono dar luogo a un insieme infinito più grande, ovvero di cardinalità più grande, rispetto all’insieme dei numeri naturali. Ma come ormai vi aspetterete... non è così! Infatti posso usare lo stesso "trucco" usato per i numeri razionali: invece di mettere nel grafico tutte le frazioni possibili, metto tutte le radici possibili. Quindi avrò la riga delle "radici prime" (di fatto, la riga dei numeri naturali); poi la riga delle radici quadrate, delle radici cubiche, poi delle radici quarte, quinte eccetera. E tutte queste radici le potrò numerare per diagonali, come avevo fatto con le frazioni: quindi neanche in questo caso ho ottenuto il mio scopo!

#2


Per le radici di numeri che danno luogo a numeri interi, come radice quadrata di 4 o radice cubica di 27, vale lo stesso discorso fatto qui sopra per i numeri razionali.   ▲  

Numeri Algebrici

C’è un piccolo problema: il nuovo "conteggio" visto sopra lascia fuori i numeri razionali, per esempio la frazione 2/3 non è compresa. Come fare per mettere insieme le due classi di numeri? Beh, basta fare un doppio conteggio. Nella tabella #1 avevamo contato i numeri razionali: se sostituiamo i numeri sotto radice nella tabella #2 con le loro frazioni corrispondenti, otterremo una tabella in cui compaiono tutte le radici (radici di ogni grado) di tutti i numeri i razionali; quindi:

— le radici di primo grado delle frazioni con l’unità al denominatore danno luogo ai numeri naturali;

— le radici di primo grado dei numeri razionali danno luogo ai razionali stessi;

— tutte le radici di secondo, terzo grado e oltre, danno luogo a tutte le radici possibili, dei numeri naturali come dei numeri razionali.

#3


Possiamo immaginare a questo punto di complicare le cose quante volte si vuole: troveremo sempre il modo di "contare" espressioni algebriche sempre più complicate, senza mai trovare un insieme infinito di cardinalità superiore ad Aleph-0!

Nella griglia #3 sto mettendo in corrispondenza i numeri naturali con espressioni del tipo radice ennesima di a/b. Anche qui, molte espressioni possono dar luogo allo stesso numero, intero, razionale o irrazionale che sia; vale comunque lo stesso ragionamento già fatto qui sopra.   ▲  

Numeri Negativi

Ma ora che mi viene in mente, come la mettiamo con lo zero e i numeri negativi? A questo punto è semplice: basta fare una conversione di questo tipo:

1  —    0
2  —    1
3  —  –1
4  —    2
5  —  –2
6  —    3
7  —  –3
...

In sostanza sto mettendo in corrispondenza biunivoca la serie dei numeri naturali (numeri di sinistra) con lo zero e i numeri interi di entrambi i segni (a destra). Naturalmente possiamo sostituire a ogni numero di destra (senza segno) la rispettiva frazione, o radice, o radice di frazione, o qualsiasi altra espressione algebrica che vogliamo!

Da ciò che abbiamo visto in questa e nel capitolo scorso, gli insiemi dei numeri naturali; gli insiemi apparentemente "più piccoli" come i soli numeri pari, o i quadrati, o i numeri fattoriali; e gli insiemi apparentemente "più grandi" come i numeri razionali, irrazionali, e algebrici, anche considerando il segno... tutti questi insiemi sono equipotenti, e hanno cardinalità Aleph-0!   ▲  

Irrazionalità di √2

Questa dimostrazione compare negli "Elementi" di Euclide, ed è basata su un ragionamento per assurdo.

Sia [AB] il lato e [AC] la diagonale di un quadrato, e si supponga che i due segmenti stiano tra loro come la frazione m/n, ridotta ai minimi termini. Allora:

[AC]² : [AB]² = m² : n²

Ma, per il teorema di Pitagora:

[AC]² = 2 ּ [AB]²

E quindi:

m² = 2 ּ n²

Ne consegue che m², e perciò m, è pari. Deve dunque essere dispari il numero n. Poniamo allora

m = 2 ּ q

Allora

m² = 4 ּ q² = 2 ּ n²
2 ּ q² = n²

Di conseguenza n² è pari. È quindi pari anche n, che si è dimostrato dover essere dispari. Ne nasce un’incompatibilità che prova l’asserto.   ▲  

Irrazionalità delle radici non intere

"Siano a ed n due numeri naturali. Se la radice a-ma di n non esiste nel campo nei numeri interi, essa non esiste neppure nel campo dei numeri razionali."

Lo si dimostra per assurdo. Sia x = p / q un numero razionale tale che xª = n, con p e q primi tra loro. Allora anche pª e qª sono primi tra loro.

Dovendo essere n = xª = (p / q)ª, risulta pª = n ּ qª e perciò qª è un divisore di pª. Ma pª e qª sono primi tra loro, e ciò può avvenire soltanto se qª = 1. Sarebbe allora x = p / 1, un numero intero, contrariamente all'ipotesi.   ▲  

Prossimo capitolo: Il contesto storico

I Numeri Transfiniti

Comincia qui una spiegazione che inizia con qualche considerazione sui numeri naturali, la loro "quantità" e la ricerca di vari tipi di insiemi infiniti. Il tutto con il racconto dei personaggi, delle conquiste e, purtroppo, dei clamorosi fallimenti: è un racconto a tratti davvero avvincente.

Sommario:

– I numeri Naturali
      Insiemi e "corrispondenza biunivoca"
      Numeri infiniti
      Aleph-zero
      Infiniti "più piccoli"?
      Numeri Transfiniti
      Intermezzo: l'albergo con infinite stanze
+ Ancora Aleph-zero
+ Il contesto storico
+ Oltre Aleph-zero: il Continuo
+ L'ipotesi del Continuo

Insiemi e "Corrispondenza Biunivoca"

La teoria degli insiemi non mi è stata insegnata a scuola: solo quando è diventata "di moda" ho cominciato a chiedermi a cosa servisse. Tutte quelle infinite definizioni come "unioni", "intersezioni", funzioni "iniettive" e "suriettive"... mi sembravano solo un modo di vessare i poveri studenti. Insomma non ne ho vista l’utilità pratica fino a quando non mi sono imbattuto nello studio dell’infinito, per il quale studio in realtà sono sufficienti due soli concetti: quello di insieme, appunto, e quello di "corrispondenza biunivoca".

Un insieme è una collezione di oggetti di vario genere, tutti diversi (o almeno, distinguibili) l’uno dall’altro. Per fare un esempio, posso considerare che la mia mano sinistra sia l’insieme delle sue cinque dita, e la mano destra l’insieme di altre cinque dita.

Domanda: come posso fare per stabilire se questi due insiemi (le mani) contengono lo stesso numero di elementi (dita)? Posso contarli:



Oppure posso mettere in correlazione ciascun dito della mano sinistra con il rispettivo dito della mano destra:



In quest’ultimo caso ho messo in atto il concetto di "corrispondenza biunivoca": ad ogni elemento (dito) del primo insieme (mano sinistra) corrisponde uno ed un solo elemento (dito) del secondo insieme (mano destra), e viceversa. Avendo unito le dita delle due mani come si vede nella foto, posso affermare senza ombra di dubbio che la "potenza", o "cardinalità", o più semplicemente il numero di elementi contenuto da ciascuno dei due insiemi, è lo stesso. Non occorre contarli, non occorre affatto sapere quanti sono; la domanda era: hanno i due insiemi lo stesso numero di elementi? La risposta è senz’altro: Sì.

Se invece alla mano sinistra mancassero due dita:



la corrispondenza biunivoca non ci sarebbe più. Le dita della mano sinistra troverebbero la loro corrispondenza nelle rispettive dita della mano destra, ma qualche dito della mano destra non lo troverebbe più nella mano sinistra: ecco quindi che, anche non sapendo quante dita (elementi) contiene ciascuna mano (insieme), posso affermare che la mano destra ha una "potenza", o "cardinalità", o un numero di elementi, superiore alla mano sinistra.

Tutto quanto detto finora è intuitivo, direi quasi banale, perché ci siamo occupati di insiemi non solo finiti, ma di insiemi di cui è facile contare il numero di elementi. Facciamo invece un esempio con insiemi più grandi (ma sempre finiti). Ammettiamo di radunare in un una piazza una quantità molto grande di persone, e di voler stabilire se ci sono più maschi o più femmine. Siccome le persone sono tante...



... mi è impossibile contarle senza commettere errori, tanto più se, come è probabile, non se ne staranno ferme. Allora posso chiedere loro di mettersi a coppie: ciascun maschio dovrà trovare una femmina con cui tenersi per mano. A questo punto basta vedere se "avanzano" maschi (che quindi risulterebbero essere in maggior numero delle femmine) o femmine (sarebbero in numero maggiore dei maschi); se non ci sono avanzi, vuol dire che il numero dei due gruppi è esattamente lo stesso. Di nuovo: non so quanti sono gli elementi di ciascun insieme (maschi / femmine) ma ho stabilito quale insieme è il più grande, o se hanno la stessa potenza e sono quindi equipotenti.   ▲  

Numeri Infiniti

Parliamo ora di numeri. Impariamo a contare dalla più tenera età, e scopriamo che esiste sempre un numero "più grande". Quando riusciamo a contare fino a cento, scopriamo subito che c’è anche il centouno. Fino al mille, e c’è il milleuno! Intuiamo presto che non ci sarà mai fine: magari non sapremo "come si chiama", ma ci sarà sempre un numero più grande di qualunque numero riusciamo ad immaginare. Ecco, abbiamo trovato il più classico esempio di "insieme infinito": l’insieme dei numeri naturali.

E qual è la cardinalità dell’insieme infinito dei numeri naturali? Non posso certo dire quanti numeri contiene, perché sono infiniti; e dire che questa cardinalità è infinito non sarebbe di nessuna utilità, in quanto "infinito" non è un numero.   ▲  

Aleph-zero

Per risolvere questo problema Georg Cantor (1845 – 1918), il padre della teoria degli insiemi, ha deciso di identificare la cardinalità dell’insieme dei numeri naturali con un simbolo costituito dalla prima lettera dell’alfabeto ebraico, Aleph, e dall’indice 0:



A differenza del nome "infinito", il valore Aleph-zero assume piena dignità di numero, tant’è che su questo e altri numeri del genere si possono fare particolari calcoli aritmetici.   ▲  

Infiniti "più piccoli"?

Tornando ai nostri numeri naturali, possiamo adesso inventarci un altro insieme infinito, quello che contiene i soli numeri pari. Apparentemente un insieme in cui mancano tutti i numeri dispari dovrebbe avere una potenza minore rispetto all’insieme di tutti i numeri naturali. Ma sarà vero?

Essendo infiniti, è ovvio che non posso "contare" gli elementi di ciascuno di questi insiemi. Però posso ricorrere al concetto di corrispondenza biunivoca; e grazie a questo stratagemma stabilire se veramente l’insieme dei soli numeri pari sia più piccolo dell’altro, più o meno come avevo fatto con le mie mani di tre e cinque dita.

Allora scrivo su due colonne i numeri dei due insiemi: a sinistra i numeri naturali, a destra i numeri pari; su ogni riga compare quindi un numero (a sinistra) e il suo doppio (a destra), e il trattino sta a rappresentare la corrispondenza fra gli elementi di ciascun insieme:

1 — 2
2 — 4
3 — 6
4 — 8
........

Evidentemente ciascuno dei numeri naturali dell’insieme di sinistra trova il suo corrispondente nel suo doppio nell’insieme di destra; e ciascun numero pari dell’insieme di destra trova il suo corrispondente nel numero metà dell’insieme di sinistra. Fra i due insiemi c’è uno stato di corrispondenza biunivoca, quindi hanno la stessa potenza!

Posso ripetere lo stesso procedimento con i numeri quadrati, mettendo in corrispondenza i numeri naturali con i loro quadrati:

1 — 1² = 1 x 1 = 1
2 — 2² = 2 x 2 = 4
3 — 3² = 3 x 3 = 9
4 — 4² = 4 x 4 = 16
........

I numeri quadrati sono ancora più "radi" dei numeri pari... eppure anche il loro insieme ha la stessa potenza dei numeri naturali. Proprio in questo ragionamento si imbatté Galileo Galilei, che nel "Dialogo sopra i due massimi sistemi del mondo" dice: "nel numero infinito, se concepir lo potessimo, bisognerebbe dire, tanti essere i quadrati tanti i numeri insieme". In pratica intuisce il principio per cui un insieme infinito ha la stessa potenza di una sua parte, dicendo che "i quadrati non sono in numero inferiore degli interi"; ma non si spinge a dire che siano proprio in numero uguale: infatti conclude "gli attributi di eguale maggiore e minore non hanno luogo ne gl’infiniti, ma solo nelle quantità terminate".

Voglio ora fare un altro esempio, che metto solo per cercare di spiegare quanto può essere grande... un numero grande! Creiamo un altro insieme di numeri, non pari, non quadrati, ma neanche cubi o di altre potenze: creiamo l’insieme dei numeri cosiddetti fattoriali. I quali sono il prodotto di tutti i numeri interi compresi fra 1 e il numero dato (i numeri fattoriali si indicano con il punto esclamativo):

1 — 1! = 1
2 — 2! = 1 x 2 = 2
3 — 3! = 1 x 2 x 3 = 6
4 — 4! = 1 x 2 x 3 x 4 = 24

I numeri salgono molto velocemente. Facciamo qualche altro esempio:

5 — 5! = 1 x 2 x 3 x 4 x 5 = 120
6 — 6! = 1 x 2 x 3 x 4 x 5 x 6 = 720
......
59 — 59! = 1 x 2 x 3 x 4 x ... x 58 x 59 = circa 1 seguito da 80 zeri.

Ecco, quest’ultimo numero, un 1 seguito da 80 zeri... è circa pari al numero totale di atomi che compongono l’intero universo. Cioè stiamo mettendo in corrispondenza il numero 59, un numero semplice, di uso direi quotidiano, con uno dei massimi numeri che abbiano un qualche significato fisico in natura! E andando avanti con numeri maggiori, otteniamo risultati praticamente impossibili da scrivere... riuscite a immaginarli?

   60 —     60!  = circa 8 seguito da 81 zeri, 80 volte il numero di atomi dell’universo
   61 —     61!  = circa 5 seguito da 83 zeri, 5000 volte il numero di atomi dell’universo
  100 —   100!  = circa 9 seguito da 157 zeri
1000 — 1000!  = circa 4 seguito da 2567 zeri
....

Insomma vengono numeri che non hanno più niente di confrontabile con qualsiasi cosa di reale. Notare che nell’insieme di sinistra siamo arrivati solo al mille; ma se mettessimo un miliardo, questo numero troverebbe tranquillamente il suo corrispondente nell’insieme dei numeri fattoriali... anche se non so neanche immaginare quante cifre possa avere il fattoriale di un miliardo!

Nonostante questo, gli insiemi dei numeri naturali e dei numeri fattoriali sono indubbiamente equipotenti e hanno quindi la stessa cardinalità.   ▲  

Numeri Transfiniti

Con questi discorsi abbiamo intuito che non è possibile trovare un sottoinsieme dei numeri naturali che sia infinito ma che abbia potenza minore dei numeri naturali stessi. In pratica l’insieme dei numeri naturali è il più piccolo insieme infinito esistente, la cui cardinalità, come dicevamo è identificata dal simbolo Aleph-0. Aleph-0 è il primo dei numeri cosiddetti "transfiniti". Procederemo nel prossimo capitolo alla (per il momento) vana ricerca di quelli successivi, relativi a infiniti "più grandi"... ma adesso facciamo un intermezzo!

Intermezzo: l'albergo con infinite stanze



L'altro giorno sono entrato in quest'albergo che vantava di avere... infinite stanze. Quando mi hanno detto che erano tutte occupate, ho chiesto se non si potesse fare qualcosa: il portiere ci ha pensato su, e poi ha chiesto a tutti gli ospiti dell'albergo di spostarsi nella stanza di numero uguale a quella che stavano occupando più uno. Così l'ospite della stanza numero uno è andato nella due, quello della due nella tre e così via: come per incanto è rimasta libera la stanza numero uno, che ho occupato felicemente non senza aver prima elargito un'adeguata mancia al portiere.

Il giorno dopo è arrivato un pullman con 1000 turisti, ma l'albergo era sempre pieno: il portiere ha ripetuto il giochetto, chiedendo a tutti gli ospiti di spostarsi nella stanza di numero uguale a quella già occupata più mille. Mi sono ritrovato nella stanza 1001.

Il giorno dopo ancora è arrivato un altro pullman, questa volta con infiniti turisti a bordo. Impossibile trovare alloggio per tutti? Macché: a ogni ospite dell'albergo è stato chiesto di spostarsi nella stanza di numero uguale al doppio di quella occupata. Si sono così liberate tutte le stanze dispari, in cui hanno trovato posto i nuovi arrivati; per quanto riguarda me, mi sono ritrovato nella stanza 2002 (in quest'albergo non si sta mai tranquilli!).

Il giorno dopo ancora, gli infiniti ospiti del pullman del giorno prima se ne sono andati. A questo punto il portiere (che ho scoperto essere anche il proprietario dell'albergo) si è messo a imprecare, e diceva: "come si fa a mandare avanti un albergo come questo, se metà delle stanze sono vuote?"

Gli ho suggerito io la soluzione: basta che ciascun ospite torni nella stanza metà di quella che occupava (in pratica tornando alla situazione precedente all'arrivo degli infiniti turisti). Paradossi dell'infinito...

Per questa storiella mi sono ispirato al racconto "L'hotel straordinario, o il milleunesimo viaggio di Ion il Tranquillo" di Stanislaw Lem, pubblicato nel libro "Racconti matematici" edito da Einaudi. [Lem è anche l'autore del romanzo di fantascienza "Solaris", dai cui è stato tratto l'omonimo film del 1972].

Prossimo capitolo: Ancora Aleph-zero

Aritmetica: Elevamento a Potenza

Sommario:

+ Contare
+ Sistemi di numerazione
+ Addizione e Sottrazione
+ Moltiplicazione
+ Divisione
+ Radice Quadrata
– Elevamento a Potenza
      Una "semplificazione"
      Proprietà delle potenze
      Esponenti negativi o nulli
      Moltiplicazione e divisione degli esponenti
      Potenza... delle potenze!
+ Logaritmi
+ Il Regolo Calcolatore

Una "Semplificazione"

Nella storia della matematica, molti concetti sono stati introdotti con lo scopo di semplificare i calcoli. Così la moltiplicazione è un modo per semplificare il calcolo della somma di molti numeri uguali, mentre la divisione consiste nel vedere quante volte si può sottrarre il divisore dal dividendo.

Anche l'elevamento a potenza ha uno scopo simile: è un modo semplice di indicare quante volte un numero va moltiplicato per se stesso. Infatti la definizione è:

"Potenza di un numero è il prodotto di tanti fattori uguali a quel numero che si dice base, mentre il numero dei fattori si dice esponente o grado della potenza".

Come spesso accade in matematica, una volta introdotta una nuova operazione si cerca di sfruttarla il più possibile in modo da generalizzarne l'uso in tutti i modi possibili, a patto di rimanere sempre nell'ambito di una teoria coerente.   ▲  

Proprietà delle potenze

Ora vedremo come un concetto relativamente semplice (l'elevamento a potenza, appunto) può dar luogo a sviluppi veramente importanti: negli esempi che seguono userò sempre la base 5 (può essere sostituita da qualsiasi numero, purché maggiore di zero e diverso da uno). Per definizione di potenza, abbiamo le seguenti equivalenze:



Vediamo ora cosa succede moltiplicando due potenze di base uguale:



Il prodotto di due potenze di una stessa base è equivalente a un'unica potenza con la stessa base e con esponente pari alla somma degli esponenti delle due potenze di partenza.

Lo stesso ragionamento si può fare con le divisioni, infatti



Fin qui stiamo rimanendo nell'ambito degli esponenti positivi, quindi nell'ambito della definizione di potenza. Ma come abbiamo già visto nelle puntate precedenti, le sottrazioni possono dar luogo allo zero o a numeri negativi. E cosa succede se l'esponente di una potenza diventa, appunto, zero o negativo?   ▲  

Esponenti negativi o nulli



Da quanto si vede qui sopra, qualsiasi numero (purché maggiore di zero), se elevato alla potenza zero, dà come risultato il numero uno. Ma si può andare oltre:



Esponenti negativi danno luogo al reciproco (ovvero la divisione 1:x) del valore della stessa potenza ma calcolata con esponente di segno positivo.

In questo modo abbiamo imparato a gestire la somma e la differenza degli esponenti, generalizzando il concetto di potenza anche quando gli esponenti diventano negativi. Non so se ve ne siete accorti, ma quello che stiamo facendo è "inventare" un'aritmetica degli esponenti!   ▲  

Moltiplicazione e divisione degli esponenti

La moltiplicazione degli esponenti dà luogo a quel concetto che a scuola ci insegnavano come "potenza di potenza". Ne faccio solo un accenno:



E la divisione? Niente paura, la divisione degli esponenti si può fare, anche quando il loro quoziente non è intero! Vediamo la seguente espressione:



Ma qual è quel numero che, moltiplicato per se stesso tre volte, dà 5? Questo numero è la radice cubica di cinque; infatti:



L'elevazione alla potenza 1:n significa quindi estrarre la radice ennesima della base. E un esponente del tipo 2/3? presto detto:



Con questo abbiamo imparato a usare gli esponenti di ogni valore intero (anche con segno) e razionale. Si potrebbe continuare il discorso anche per i numeri irrazionali, ma questo non è necessario per arrivare al punto che mi interessa (nel prossimo capitolo); per andare avanti con il discorso basta ricordare ciò che ho detto più sopra:

Il prodotto di due potenze che hanno la stessa base è la stessa cosa di un'unica potenza con esponente pari alla somma degli esponenti delle due potenze di partenza; e questo vale per ogni tipo di esponente: naturale, intero con segno, razionale, e anche irrazionale.

Potenza... delle potenze!

A proposito delle potenze di 5 con cui abbiamo armeggiato finora: ecco qui una rappresentazione grafica delle potenze con esponente compreso fra 0 e 6, che dà un'idea di quanto aumentano i numeri nell'elevamento a potenza.   ▲  



Prossimo capitolo: i Logaritmi

Aritmetica: Radice Quadrata

Sommario:

+ Contare
+ Sistemi di numerazione
+ Addizione e Sottrazione
+ Moltiplicazione
+ Divisione
– Radice Quadrata
      Perché la radice quadrata?
      Il metodo classico di calcolo
      I "Bastoncini di Nepero"
      I Numeri Irrazionali
      I Numeri Immaginari
      Equazioni di Terzo Grado
      I Numeri Complessi
      Il Piano Complesso
      L'Equazione Ciclotomica
      L'Equazione Ciclotomica
      Niccolò Tartaglia
+ Elevamento a potenza
+ Logaritmi
+ Il Regolo Calcolatore

Quando ero ragazzo odiavo le radici quadrate, non tanto in sé, ma perché non capivo il motivo di quel metodo così complicato per calcolarlo. Se anche a voi è rimasta questa curiosità, leggete qui sotto: non era poi una cosa così astrusa!

Perché la radice quadrata?

La radice quadrata non serve spesso nell'uso quotidiano, mentre in campo scientifico salta fuori da tutte le parti! Vediamo però un (im)probabile caso in cui anche a voi potrebbe capitare di averne bisogno!

Uno zio d'America mi ha lasciato in eredità un terreno di forma perfettamente quadrata e della superficie di 56250 metri quadrati. Lo voglio recintare: quanta rete devo comprare? Lo voglio sapere esattamente: non ne voglio sprecare neanche un centimetro!

Il perimetro di questo quadrato è quattro volte il lato; e siccome l'area di un quadrato è... il quadrato del lato, allora per saperne il lato devo fare l'operazione inversa, cioè devo estrarre la radice quadrata dell'area.

Il calcolo si esegue per approssimazioni successive, come si fa con con la divisione: si ricava la cifra più significativa del risultato e si calcola il resto; poi si ricava una nuova cifra, un nuovo resto, e così via.   ▲  

Il metodo classico di calcolo

Il calcolo va impostato come mostro qui sotto, raggruppando a coppie le cifre del numero di cui si cerca la radice (radicando) partendo da destra: prima le cifre delle unità e decine, poi centinaia e migliaia, e così via. Il gruppo di sinistra alla fine sarà costituito da una o due cifre (in questo caso dalla sola cifra 5, indicata in nero): è proprio da qui che inizierà il calcolo. (Questo raggruppare le cifre a coppie dipende dal fatto che il quadrato di 10 è 100. A ogni cifra del risultato corrispondono due cifre del radicando; e il risultato della radice avrà tante cifre intere quanti sono i gruppi di due cifre in cui è stato diviso il radicando).



La prima cifra del risultato va determinata cercando il massimo numero (da 1 a 9) il cui quadrato sia minore o uguale al gruppo di sinistra delle cifre del radicando. Nel nostro caso 2 x 2 = 4 che è minore di 5. Sotto al segno di radice si calcola il Resto, ovvero la differenza fra il 5 del radicando e il 4 che abbiamo appena trovato.



Questa prima cifra del risultato, che sappiamo essere la cifra delle centinaia (di metri), indica proprio il numero intero di ettometri che stanno nel lato del quadrato.

Nel disegno sopra le righe orizzontali e verticali rappresentano divisioni del terreno in quadrati di 100 metri di lato, a partire dall'angolo inferiore sinistro: dal disegno è subito evidente che il numero di ettometri che stanno nel lato è due, e che gli ettari interi che stanno nel quadrato è 4. Dal disegno appare ovvio che nel quadrato non ci potrebbero stare 3 x 3 = 9 ettari: ecco perché, come primo passo nel calcolo della radice quadrata, si cerca proprio il numero più alto il cui quadrato non sia maggiore del primo gruppo di cifre del radicando.

Per andare avanti con il calcolo bisogna considerare non più le centinaia ma le decine di metri (decametri). Aggiorno lo schema:



La griglia ora rappresenta decametri; l'area verde ha le stesse dimensioni del disegno precedente, solo che il lato è espresso in decametri invece che in ettometri; ogni quadratino quindi è un'ara (decametro quadrato), e l'area verde (4 ettari) ha adesso una superficie di 400 are.

Per trovare la cifra successiva del risultato bisogna prendere in esame anche il gruppo successivo di due cifre del radicando (62): il numero complessivo 562 nel nostro caso rappresenta la superficie in are intere (senza decimali) del terreno.

Per esprimere anche il Resto in are si calcola la differenza fra 562 are meno 400 are (area corrispondente alla prima cifra già trovata del risultato): il Resto è quindi di 162 are. Adesso bisogna trovare la seconda cifra (c) del risultato.



La cifra c determina il valore delle due aree celesti (ciascuna delle quali è un rettangolo con un lato di 20 decametri e l'altro che vale proprio c) e dell'area rossa (che è un quadrato di lato c). Queste tre aree sono indicate, nei rispettivi colori, nell'espressione sulla destra.

Il nostro scopo è trovare il massimo valore di c tale che la somma delle aree dei due rettangoli e del quadrato non superi il valore del Resto (162). Semplifichiamo l'espressione delle aree: nella riga sottostante sostituisco la somma di due volte 20 per c con 40 per c; poi prendo c a fattor comune ricavando l'espressione (40+c) per c; ma siccome c può essere solo una cifra compresa fra 0 e 9, riduco il tutto all'espressione 4c per c, in cui 4c è un numero di due cifre composto dal 4 (decine) e da c (unità): in pratica sostituisco la cifra 0 del 40 con la cifra c.

Il valore "4c per c" è l'area complessiva dei due rettangoli celesti più il quadrato rosso, e quest'area complessiva non deve superare l'area residua (il numero indicato in nero); la seconda cifra (c) del risultato va quindi cercata come il valore massimo che, inserito nell'espressione 4c per c, dia un valore minore o uguale al Resto (162). Il valore cercato è tre:



Il risultato, che ora ha due cifre, ci dice che il lato del quadrato verde è 23 decametri, e che una volta tolte dal Resto precedente (162) le aree rettangolari di cui ci siamo occupati sopra (129), il nuovo Resto è di 33 are (indicate in viola).

Ancora una volta, per andare avanti con il calcolo bisogna ridurre la scala, passando dai decametri ai metri, e della are ai metri quadri.



Qui la griglia non c'è più, perché risulterebbe troppo fitta. L'area verde è la stessa del disegno precedente, solo che il lato è espresso in metri invece che in decametri. Sotto al segno di radice va aggiornato il calcolo del Resto in modo da considerare metri quadri: ecco che il Resto precedente, che era di 162 are, una volta calate le ultime due cifre del radicando diventa di 16250 metri quadri; sottraendo i 12900 metri quadri del calcolo precedente (129 are), rimane un Resto di 3350 metri quadri (in viola): in base a questo nuovo Resto si cerca la terza cifra (c) del risultato.



Il calcolo avviene esattamente come nel caso precedente: la cifra delle unità del risultato (metri) è 7.



Con questo è finito il calcolo della parte intera del risultato. Ma all'inizio ho detto che volevo il valore esatto al centimetro: si può procedere come si fa con la divisione, "calando" degli zeri da aggiungere al Resto; solo che, a differenza della divisione, nel calcolo della radice vanno aggiunti zeri a coppie. Vediamo i due passi successivi del calcolo:



Alla fine, il risultato della radice è di 237 metri e 17 centimetri. Moltiplicando questo risultato per quattro ottengo il perimetro del terreno: 948,68 metri, ed è proprio la quantità di rete che acquisterò per realizzare la mia recinzione!

Qui di seguito ricapitolo le regole per il calcolo della radice, così come ce le hanno insegnate a scuola:

1 — Si raggruppano le cifre del radicando a coppie, da destra a sinistra

2 — Si calcola il numero più grande il cui quadrato non sia superiore al gruppo di cifre di sinistra; questo numero è la prima cifra del risultato, e il suo quadrato va sottratto dal gruppo di due cifre di sinistra del radicando, in modo da ottenere un Resto.

3 — Si calano le due cifre successive dal radicando in modo da completare il Resto; se le cifre del radicando sono esaurite, si aggiungono due zeri.

4 — La cifra c successiva del risultato va calcolata cercando il massimo valore di c tale che, calcolando il prodotto di c per un numero che è il doppio del risultato della radice già calcolato e al quale si affianca a destra la cifra c, si ottiene un risultato che non supera il Resto determinato al punto precedente. Quella trovata è la nuova cifra del risultato.

5 — Si sottrae il prodotto di cui al punto precedente dal Resto determinato al punto [3].

6 — Si riprende dal punto [3] fino ad esaurire le cifre del radicando, casomai con tanti passaggi in più quante sono le cifre decimali desiderate.   ▲  

I "Bastoncini di Nepero"

Ho già spiegato il funzionamento dei "bastoncini di Nepero" per quanto riguarda le moltiplicazioni e le divisioni: ora è il turno delle radici quadrate.

Per eseguire questo calcolo occorre un bastoncino in più di larghezza doppia (quello di destra nella foto che segue):



Il bastoncino di destra presenta due colonne: quella di sinistra i quadrati dei numeri da 1 a 9; quella di destra il doppio degli stessi numeri. Vediamo come si esegue, con questo armamentario, il calcolo della stessa radice che abbiamo visto sopra.

La prima cifra del risultato si calcola come descritto nella puntata precedente: usando il solo bastoncino delle radici, si trova qual è il quadrato più grande che sta nel primo gruppo di cifre del radicando (il cinque scritto in rosso).



Questo quadrato è 4 (evidenziato in giallo), corrispondente alla riga 2 (evidenziata in verde). Il 2 quindi è la prima cifra del risultato; il quadrato va sottratto dalla cifra 5 del radicando, ottenendo un Resto pari a 1.

Ora va usata la colonna di destra del bastoncino delle radici: il valore evidenziato in celeste va trascritto sulla destra (vedremo fra un po' a cosa serve):



Alla sinistra del bastoncino delle radici va aggiunto il bastoncino corrispondente al numero evidenziato in celeste (4), poi si completa il Resto calando altre due cifre dal radicando (62, indicate in rosso):



Si cerca sui bastoncini il "Totale" più alto possibile che stia nel Resto. Questo totale è 129 (evidenziato in giallo), che si trova sulla riga 3 (evidenziata in verde): il 3 è la nuova cifra del risultato, che va trascritta accanto al 2 trovato in precedenza. Alla fine il Totale va sottratto dal Resto.

Adesso il numero di destra del bastoncino delle radici (evidenziato in giallo) va aggiunto al 4 evidenziato in celeste secondo il calcolo che si vede sulla destra. Quello che si ottiene è il valore doppio delle cifre già trovate del risultato (23 x 2 = 46):



Questo 46 va composto alla sinistra del bastoncino delle radici, poi si completa il Resto calando altre due cifre dal radicando (3350, indicato in rosso):



Di nuovo si cerca sui bastoncini il Totale più alto possibile che stia nel Resto. Questo totale è 3269 (evidenziato in giallo), che si trova sulla riga 7 (evidenziata in verde): il 7 è la nuova cifra del risultato, che va trascritta accanto al 23 trovato in precedenza. Alla fine il Totale va sottratto dal Resto.

Il numero di destra del bastoncino delle radici (evidenziato in giallo) va aggiunto al 46 evidenziato in celeste secondo il calcolo che si vede sulla destra. Quello che si ottiene è il valore doppio delle cifre già trovate del risultato (237 x 2 = 474).



Il 474 va composto alla sinistra del bastoncino delle radici, poi si completa il Resto aggiungendo una coppia di zeri (8100):



La nuova cifra del risultato è 1. Di nuovo:



Tutto questo procedimento è un po' macchinoso, comunque consente di verificare al volo qual è ogni cifra da aggiungere al risultato, in quanto i bastoncini consentono di calcolare con facilità tutti i prodotti necessari. Sicuramente un metodo migliore rispetto alle sole carta e penna!   ▲  

I Numeri Irrazionali

L'aritmetica nasce come arte di fare calcoli sui numeri naturali. Nei capitoli precedenti abbiamo visto comparire nuove classi di numeri, rese necessarie proprio dai calcoli che si fanno in aritmetica. Infatti:

— Addizione e Moltiplicazione di numeri naturali sono le uniche operazioni che danno sempre come risultato altri numeri naturali.

— La Sottrazione può dare come risultato un numero naturale, oppure zero oppure numeri negativi: ecco nascere la classe dei numeri interi (con segno), che comprende ma espande i numeri naturali. Qualunque operazione di somma, sottrazione o moltiplicazione di numeri interi dà come risultato un altro numero intero.

— La Divisione dà luogo ai numeri razionali, cioè quei numeri che, essendo il risultato di una divisione fra numeri interi, presentano cifre decimali dopo la virgola in numero finito o infinito (in quest'ultimo caso i decimali sono sempre periodici). La classe dei numeri razionali comprende quelle dei numeri interi (e a maggior ragione anche i numeri naturali); qualunque delle quattro operazioni aritmetiche venga fatta su numeri razionali dà come risultato un altro numero razionale.

Stando così le cose, verrebbe da pensare che la classe dei numeri razionali comprenda tutti i numeri possibili e immaginabili... ma non è così: comincia ora un'avventura che apre nuovi, inaspettati orizzonti!

Ripartiamo dalle definizioni: dato un numero qualsiasi, la sua radice quadrata è quel numero che, moltiplicato per se stesso, dà il numero dato (radicando).



Allo stesso modo si definisce la radice cubica:



In generale si può definire la radice ennesima di un numero:



Ora viene una domanda. Queste operazioni danno risultati che rientrano sempre nella classe dei numeri razionali? La risposta è no, e la dimostrazione è relativamente semplice:



Ammettiamo che la radice ennesima di un numero naturale a possa essere espresso da una frazione fra numeri naturali (interi) p e q, e che questa frazione sia ridotta ai minimi termini (p e q non hanno fattori in comune). Elevando alla potenza n (espressione verde), a sinistra dell'uguale sparisce il segno di radice, mentre a destra abbiamo p e q elevati all'ennesima potenza: visto che p e q non avevano fattori in comune, dopo quest'operazione continuano a non averne. Rigirando l'equazione si ottiene (a destra) che p alla n deve essere multiplo di q alla n; ma dato che p e q sono primi fra loro, l'espressione può essere vera solo se q vale 1, nel qual caso la frazione p / q è un numero intero. Conclusione: la radice ennesima di un numero qualsiasi può dare come risultato solo un numero intero, oppure un numero irrazionale.

L'esistenza dei numeri irrazionali è nota dalla più remota antichità: già i pitagorici avevano scoperto che la radice quadrata di due (che da un punto di vista geometrico rappresenta il rapporto fra diagonale e lato di un quadrato) non poteva essere espressa sotto forma di frazione. Quindi le radici ampliano ulteriormente il concetto di numero, aggiungendo ai naturali, interi (con segno) e razionali, anche i numeri irrazionali.

Nota: i numeri irrazionali non possono essere mai periodici; se lo fossero, si potrebbe ricavarne una frazione generatrice (vedi qui), e allora... non sarebbero più irrazionali!   ▲  

I Numeri Immaginari

Passiamo ora a vedere una conseguenza davvero "rivoluzionaria" nel calcolo delle radici quadrate. Quanto fa la radice quadrata di -1? Se ricordate qualcosa dell'algebra, meno per meno fa più; quindi sia 1 che -1, elevati al quadrato, danno 1 positivo:



Sembra quindi che in nessun caso si potrà trovare un numero che, elevato al quadrato, dia il risultato -1. Invece la radice cubica di -1 si può fare, infatti meno per meno per meno (tre meni) dà meno:



Armeggiando con ragionamenti di questo tipo si vede come l'estrazione delle radici di ordine dispari (terza, quinta, ecc.) di un numero negativo sia sempre possibile, mentre le radice di ordine pari (seconda, quarta, ecc.) non lo è. Ma ne siamo proprio sicuri?

Nel corso dei secoli i matematici hanno dovuto imparare a non farsi spaventare da concetti scomodi, o anti intuitivi. Così è stato per lo zero e i numeri negativi, per i numeri irrazionali, come anche c'è stata qualche difficoltà ad accettare i numeri razionali con infiniti decimali. Per quanto riguarda la radice quadrata dei numeri negativi, non se ne capiva il senso, e sembrava ovvio che non si sarebbe mai avuto bisogno di loro. Ma la storia della matematica... è piena di sorprese!   ▲  

Equazioni di Terzo Grado

All'inizio del XVI secolo si discuteva molto del metodo per risolvere le equazioni di terzo grado. Ci furono in proposito grosse dispute e "disfide" fra i matematici dell'epoca (ne parlo qui sotto), finché una formula generale per la risoluzione di queste equazioni fu trovata. Ma fu trovata anche una grossa pietra d'inciampo con questo caso:



Risolvere questa equazione significa trovare i valori di X per cui l'espressione alla sinistra dell'uguale diventa zero. La formula risolutiva si sapeva essere questa:



in cui compare per due volte proprio la radice quadrata di -1 (evidenziata in rosso). Per l'appunto si sapeva che questa equazione di terzo grado aveva una soluzione valida per X = 4; infatti:



In verde indico le sostituzioni di X con 4; in grigio il passaggio intermedio e il risultato in rosso. Allora la domanda era: come può un risultato valido saltar fuori da una formula apparentemente assurda?

Col tempo i matematici, a partire da Raffaele Bombelli (1526-1572) si sono rassegnati ad ammettere l'esistenza di una nuova, strana entità, chiamandola con il significativo nome di "unità immaginaria". In sostanza si definisce:



L'unita immaginaria i è quel numero che, moltiplicato per se stesso, dà -1. Non è necessario "capirne" il significato, è un "oggetto" matematico sul quale si può lavorare anche senza sapere esattamente cosa sia. Per fare un esempio, se si prende la formula risolutiva dell'equazione di terzo grado che ho mostrato sopra, e si sostituisce la radice quadrata di -1 con la lettera i, e poi si elabora opportunamente la formula stessa tenendo presente che i x i fa -1, si trova che il risultato è effettivamente X = 4.

Insomma le radici hanno aggiunto alla matematica i numeri non solo irrazionali, ma anche immaginari... ma non basta ancora, le radici hanno un'altra peculiarità molto interessante!   ▲  

I Numeri Complessi

Più sopra abbiamo cercato la radice quadrata di -1 provando con i valori 1 e -1, ma abbiamo visto che in nessun modo si trovava il risultato cercato (tant'è che si è dovuta ammettere l'esistenza dell'unità immaginaria). Guardando meglio a questi tentativi, si scopre però che le radici quadrate di 1 in realtà sono due, non una; non solo 1 è la radice quadrata di 1, ma lo è anche -1:



Ora è ovvio che anche la radice quarta di 1 ha queste stesse radici, infatti



Ma la radice quarta di 1 ne ha anche altre due: infatti anche i e -i sono radici quarte di 1.



E la radice cubica? Voglio dire, se la radice quadrata ha due radici e la radice quarta ne ha addirittura quattro, possibile che la radice cubica abbia una radice sola? Ebbene, la radice cubica di 1, oltre all'unità, ha anche due radici strane:



(per chi ne abbia voglia, scrivo la dimostrazione che il cubo della prima di queste espressioni, quella rossa, dà veramente 1):



L'espressione viene sviluppata secondo il cubo del binomio, e tenendo sempre presente che i x i fa -1; nella riga in basso, i termini grigi si elidono, quelli verdi concorrono a formare l'unità del risultato.

Vediamo meglio la struttura di queste radici cubiche di 1: sono costituite da una parte reale (-½) e una immaginaria (½√3i). Ecco un'ulteriore novità: la somma di un numero reale e uno immaginario dà luogo a un oggetto che si chiama "numero complesso". Finalmente, possiamo affermare che i numeri complessi sono l'ultima classe di cui ci sia bisogno in matematica: non è mai stata trovato un altro tipo di operazioni che richieda un'ulteriore estensione del concetto di numero!   ▲  

Il Piano Complesso

I numeri reali possono essere raffigurati su una retta, in modo che numeri più grandi stiano sempre alla destra di numeri più piccoli:



(in rosso i numeri interi, in verde i razionali, in blu irrazionali).

Come abbiamo visto, i numeri complessi sono invece espressi da due quantità, una reale e l'altra immaginaria. Non è quindi sufficiente una retta per rappresentarli in modo geometrico, ci vuole un piano: si definisce "piano complesso" un piano cartesiano in cui l'asse orizzontale indica la parte reale e l'asse verticale la parte immaginaria di ogni numero complesso. Faccio un esempio proprio con una le radici cubiche di 1, di cui abbiamo parlato sopra:



Ciascun punto è identificato da due coordinate: quella che "cade" sull'asse orizzontale (numero reale, indicato in rosso) e quello che cade sull'asse verticale (parte immaginaria, indicata in verde; la lettera i l'ho messa per chiarezza, anche se non andrebbe scritta in quanto implicita nell'asse verticale, che definisce appunto la parte immaginaria del numero complesso).

Se ci fate caso, queste tre radici 1 si dispongono sul piano complesso come i vertici di un triangolo equilatero inscritto in una circonferenza unitaria:



Qui le coordinate di ciascun punto sono indicate come coppie di numeri fra parentesi, separati da virgole. Il primo numero (rosso) definisce la parte reale, il secondo (verde) la parte immaginaria del numero complesso che definisce ciascun vertice.

Lo stesso accade anche con le radici quarte:   ▲  



L'Equazione Ciclotomica"

L'equazione ciclotomica consiste nel trovare tutte le radici dell'unità nel piano complesso. Tale equazione può essere espressa in due modi assolutamente equivalenti:

zⁿ = – 1 = 0                  zⁿ = 1

in cui z è un numero complesso che rappresenta la radice dell'unità, n il grado dell'equazione.

Si dimostra (con metodi matematici di gran lunga troppo complicati per essere spiegati qui), che le le radici di 1, calcolate in qualsiasi grado, sono sempre nello stesso numero del grado della radice; e, se disegnate sul piano complesso, queste radici si dispongono secondo i vertici di un poligono regolare di tanti lati quanto è il grado della radice: da qui il nome di equazione "ciclotomica", ovvero equazione che "taglia il cerchio". Ecco rappresentate qui le radici di quinto grado:



Bene, per chi volesse verificarle, qui sotto do le coordinate di tutti i vertici del triangolo, quadrato, pentagono, esagono e ottagono regolari inscritti nella circonferenza di raggio unitario: buon lavoro!   ▲  



Niccolò Tartaglia



Targa commemorativa di Niccolò Tartaglia in piazza Paolo VI (ex piazza Duomo) a Brescia, sullo stipite della porta principale del Duomo Vecchio (o "Rotonda").

Durante la presa di Brescia da parte dei francesi nel 1512, Niccolò Fontana (Brescia, 1499 circa – Venezia, 13 dicembre 1557) fu ferito alla mandibola e al palato. Sopravvisse a stento a queste ferite, rimanendo segnato per tutta la vita da una evidente difficoltà ad articolare le parole. Per questo ebbe il soprannome di "Tartaglia", soprannome che usò lui stesso tutta la vita per firmare le proprie opere.

Fu matematico sommo, e il suo nome è legato ad alcune cose davvero notevoli:

— fu il primo traduttore in lingua italiana degli "elementi" di Euclide

— descrisse per primo in occidente il celebre triangolo che porta il suo nome (era già noto in Cina da almeno due secoli).

— scoprì la formula risolutiva delle equazioni cubiche. Ecco la storia di questa scoperta:

La formula risolutiva per le equazioni cubiche fu scoperta per primo da Scipione dal Ferro, cosa non facile in tempi in cui non erano ancora stati affrontati i numeri negativi né tanto meno i numeri immaginari. A quei tempi i matematici custodivano gelosamente le loro scoperte, infatti i risultati di dal Ferro non furono pubblicati, ma andarono in "eredità" ad Antonio Maria del Fiore, un suo non brillantissimo discepolo. Quest'ultimo iniziò a vantarsi della propria capacità di risolvere equazioni cubiche; il Tartaglia lo venne a sapere, si mise a studiare il problema e raggiunse gli stessi risultati: a quel punto accettò un "cartello di matematica disfida" da parte di del Fiore.

In queste disfide pubbliche ciascuno dei contendenti sottoponeva all'altro una serie di problemi, poi una giuria scelta di comune accordo decretava il vincitore. In quest'occasione il Tartaglia risolse tutti i problemi sottopostigli da del Fiore in un paio d'ore, mentre il del Fiore non riuscì a risolvere alcuno dei problemi proposti dal Tartaglia.

Dell'esito di questa disfida venne a conoscenza Gerolamo Cardano (quello del giunto cardanico), che invitò il Tartaglia a Milano e riuscì a farsi confidare la formula dietro la promessa che non sarebbe stata divulgata. Passarono gli anni, e il Tartaglia non si decideva a pubblicare la formula; nel contempo il Cardano non solo la migliorò, ma venne anche a sapere dei risultati di Scipione dal Ferro: a questo punto, un po' perché nella formula ci aveva messo anche del suo, un po' perché appunto scoprì che i risultati del Tartaglia erano già stati trovati da qualcun altro, il Cardano si sentì svincolato dalla promessa fatta, e incluse la famosa formula nella sua "Ars Magna" del 1545.

Il Tartaglia non la prese bene, e ne nacque una disputa a tratti molto aspra, che sfociò in una serie di "disfide" lanciategli da Ludovico Ferrari, un allievo del Cardano. Il Tartaglia, vista la sua menomazione, avrebbe voluto svolgere le disfide per iscritto, ma gli fu invece imposto di sostenere gli scontri in modo orale. Nell'ultima di queste disfide, al Tartaglia fu addirittura impedito di esporre le proprie ragioni... sicché il poveretto ne uscì con il prestigio infangato, perse il lavoro ed ebbe grossi problemi finanziari per tutto il resto dei suoi giorni!

La formula risolutiva dell'equazione cubica porta oggi il nome di formula Cardano-Tartaglia.   ▲  

Prossimo capitolo: Elevamento a potenza