🔢 mathematics

Two algebraic proofs of the transcendence of $\mathrm{e}$ based on formal power series

Questo articolo presenta due dimostrazioni algebriche della trascendenza del numero $e$ basate sulle serie formali di potenze, che migliorano la classica prova analitica di Hilbert: la prima è una specializzazione del lavoro di Beukers, Bézivin e Robba sul teorema di Lindemann-Weierstrass, mentre la seconda, dovuta all'autore, utilizza integrali impropri di serie formali.

Autori originali: Martin Klazar

Pubblicato 2026-03-09

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Martin Klazar

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di essere un detective matematico. Il tuo caso? Dimostrare che il numero $e$ (la base dei logaritmi naturali, quel numero magico che appare ovunque dalla crescita delle popolazioni agli interessi bancari) è un "numero ribelle".

In matematica, un numero è algebrico se può essere la soluzione di un'equazione semplice con numeri interi (come $x^2 - 2 = 0$ , la cui soluzione è $\sqrt{2}$ ). Un numero è trascendente se non obbedisce a nessuna di queste regole semplici; è come se fosse un fantasma che non può essere catturato dalle catene delle equazioni ordinarie.

Il matematico David Hilbert, nel 1893, aveva già dimostrato che $e$ è trascendente. Il suo metodo era come un'operazione militare molto precisa: usava integrali (un concetto che richiede di sommare infinite aree sotto una curva su un intervallo continuo, un "universo" infinito e continuo).

Ma l'autore di questo articolo, Martin Klazar, si chiede: "Possiamo dimostrare questo senza usare l'infinito continuo? Possiamo farlo usando solo oggetti 'contabili', come una lista di numeri?"

Ecco la spiegazione delle due nuove prove, trasformate in una storia semplice.

1. Il problema dell'infinito continuo

Nella prova classica di Hilbert, si usano funzioni come $x^n e^{-x}$ . Queste funzioni vivono su una linea continua (da 0 a infinito). Per fare i calcoli, si deve "navigare" su questo mare infinito.
Klazar dice: "È come se volessimo contare i grani di sabbia su una spiaggia, ma invece di contarli uno a uno, usassimo un'onda che li spazza via tutti insieme. È bello, ma è un po' 'sporco' se vogliamo essere rigorosi. Vorremmo contare i grani uno per uno".

L'obiettivo è sostituire l'onda (l'integrale continuo) con una lista ordinata di grani (una serie formale di potenze).

2. La prima prova: Il "Trucco" della Ricetta (Beukers, Bézivin, Robba)

Immagina di avere una ricetta segreta per cucinare un piatto (il numero $e$ ).

Il vecchio metodo: Assaggi il piatto mentre lo cuoci, misurando la temperatura in ogni istante (l'integrale continuo).
Il nuovo metodo: Prendi la lista degli ingredienti (i coefficienti della serie) e controlli se seguono una regola precisa.

In questa prova, gli autori usano le serie formali. Immagina una serie come una lista infinita di numeri: $a_0 + a_1x + a_2x^2 + \dots$ .
Se questa lista segue una "ricetta" semplice (è una frazione razionale, come $1/(1-x)$ ), allora è "ordinata". Se non la segue, è "caotica".

La logica della prova:

Si assume che $e$ sia "ordinato" (cioè che sia algebrico).
Si costruisce una lista di numeri basata su questa assunzione.
Si dimostra che, se l'assunzione fosse vera, questa lista dovrebbe essere sia "ordinata" (seguire una ricetta semplice) sia "caotica" (avere numeri che crescono in modo impossibile).
È come dire: "Se questo animale fosse un cane, dovrebbe abbaiare. Ma se fosse un cane, non potrebbe anche volare. Poiché questo animale fa entrambe le cose, la nostra assunzione che sia un cane è falsa".
Quindi, $e$ non può essere algebrico. È trascendente.

Il vantaggio: Non abbiamo mai usato l'infinito continuo. Abbiamo solo manipolato liste di numeri (oggetti contabili).

3. La seconda prova: L'Integrale "Semiformale" (di Klazar)

Questa è la prova dell'autore stesso. Qui prende la prova classica di Hilbert e la traduce in una "lingua di robot".

Immagina che gli integrali classici siano come misurare l'acqua in un fiume che scorre. È fluido, continuo, difficile da fermare.
Klazar crea un "fiume di robot":

Invece di un fiume continuo, ha una serie di secchielli (i termini della serie) che vengono riempiti uno dopo l'altro.
Definisce un "integrale formale" che non guarda il flusso d'acqua, ma semplicemente somma i contenuti dei secchielli secondo regole precise.

Come funziona:

Prende la stessa equazione di Hilbert che porta a una contraddizione.
Sostituisce ogni "flusso continuo" con una "somma di secchielli" (serie formali).
Usa una proprietà magica: anche se sembriamo fare calcoli infiniti, stiamo solo spostando etichette su scatole (le serie).
Alla fine, arriva alla stessa contraddizione: un numero dovrebbe essere sia zero che diverso da zero.

L'analogia creativa:
Pensa a un'orchestra.

Hilbert ascolta la musica come un'onda sonora continua, un suono fluido che riempie la sala.
Klazar guarda lo spartito. Non ascolta il suono, ma conta le note scritte. Se le note sullo spartito non seguono una regola logica, allora la musica (il numero $e$ ) non può esistere come nota semplice.

Perché è importante?

Potresti chiederti: "Ma se Hilbert aveva già dimostrato che $e$ è trascendente, perché preoccuparsi di queste nuove prove?"

È una questione di purezza logica.
Molti matematici pensano che usare l'infinito continuo (come i numeri reali o le funzioni continue) sia un "trucco" potente ma un po' pericoloso, perché si basa su concetti molto astratti (come i tagli di Dedekind o le classi di equivalenza).
Queste nuove prove mostrano che la verità matematica su $e$ è così solida che può essere dimostrata senza mai uscire dal mondo dei numeri interi e delle liste finite. È come dimostrare che un castello è solido senza mai toccare le fondamenta di cemento armato, usando solo mattoni di argilla.

In sintesi:
Il paper ci dice che il numero $e$ è così "strano" e "indomabile" che non possiamo catturarlo con le semplici equazioni algebriche. E la cosa più bella è che possiamo dimostrarlo usando solo matite, carta e liste di numeri, senza bisogno di "navigare" nell'infinito continuo. È una vittoria della logica pura sulla complessità dell'infinito.

1. Il Problema

L'obiettivo centrale del lavoro è fornire due nuove dimostrazioni algebriche della trascendenza del numero $e$ . Sebbene la trascendenza di $e$ sia stata dimostrata per la prima volta da Charles Hermite e successivamente riformulata da David Hilbert, il paper si concentra su un aspetto specifico della logica matematica: l'uso di insiemi non numerabili (come i numeri reali o le funzioni definite su intervalli continui) nelle dimostrazioni.

Il problema specifico affrontato è: È possibile dimostrare la trascendenza di $e$ senza fare un uso sostanziale di insiemi non numerabili? Le dimostrazioni classiche (come quella di Hilbert) si basano su integrali impropri di funzioni reali ( $x^n e^{-x}$ ) su intervalli infiniti, che richiedono la teoria dei numeri reali e insiemi non numerabili. Klazar mira a sostituire questi strumenti analitici con oggetti puramente algebrici e numerabili.

2. Metodologia

L'autore utilizza il linguaggio delle serie formali di potenze (formal power series) per tradurre i concetti analitici in strutture algebriche discrete. La metodologia si articola in due approcci distinti:

A. Specializzazione della dimostrazione di Beukers, Bézivin e Robba

Il primo approccio è una specializzazione di una dimostrazione più generale del teorema di Lindemann-Weierstrass.

Strumenti: Serie di potenze formali razionali in $\mathbb{C}[[x]]$ .
Concetto Chiave: Sostituzione delle funzioni esponenziali con serie formali. Viene sfruttata la decomposizione in frazioni parziali delle serie razionali.
Meccanismo: Si definiscono successioni intere $u_n$ e $v_n$ basate su combinazioni lineari di potenze di interi. Si dimostra che, sotto l'ipotesi di contraddizione (che $e$ sia algebrico), la serie generatrice associata deve essere razionale. Tuttavia, l'analisi delle singolarità (poli) e dei limiti di crescita dei coefficienti porta a una contraddizione logica (un lemma di divisibilità che non può essere soddisfatto).

B. Integrazione "Semiformale" di Serie di Potenze

Il secondo approccio, originale dell'autore, è una traduzione diretta della prova di Hilbert nel linguaggio delle serie formali.

Strumenti: Serie di potenze convergenti $\mathbb{R}\{x\}$ e operatori algebrici definiti su di esse.
Definizioni Innovatrici:
- Operazioni "Semiformali": Definizioni di traslazioni $f(x+b)$ e prodotti costanti $f(ax)$ che mantengono la convergenza.
- Integrale di Newton: Definizione di un integrale formale $\int f$ basato sul primitivo della serie, senza ricorrere al limite di Riemann su intervalli continui.
- Integrale Improprio Formale: Definizione di $\int_u^{+\infty} f$ come limite di una successione di integrali propri, dove la successione è trattata algebricamente.
Identità Chiave: Viene dimostrata un'identità esponenziale formale: $\text{Exp}((ax) + b/a) = e^b \cdot \text{Exp}(ax)$ , che permette di manipolare i termini $e^j$ all'interno degli integrali formali.

3. Risultati Chiave

Il paper ottiene i seguenti risultati tecnici:

Dimostrazione Algebrica della Trascendenza: Entrambi i metodi confermano che non esistono interi $a_0, \dots, a_n$ (non tutti nulli) tali che $\sum a_i e^i = 0$ .
Eliminazione degli Insiemi Non Numerabili:
- Nella prova di Hilbert classica, si usano funzioni $x^n e^{-x}$ su $[0, +\infty)$ , che formano un insieme non numerabile.
- Nelle prove di Klazar, gli oggetti fondamentali sono successioni di numeri complessi (coefficienti delle serie formali) e operazioni algebriche su di esse. L'oggetto "variabile $x$ " è puramente formale.
Stime Asintotiche:
- Viene mantenuta la struttura della contraddizione classica: si costruisce un'espressione $A_r + B_r = 0$ .
- $B_r$ è un multiplo intero di $r!$ e non nullo per infiniti $r$ .
- $A_r$ è limitato esponenzialmente ( $|A_r| \le c^r$ ).
- Poiché $c^r / r! \to 0$ , si ottiene una contraddizione.
- La novità risiede nel fatto che queste stime sono ottenute tramite disuguaglianze sui coefficienti delle serie formali e sull'integrale di Newton, senza calcolare aree sotto curve reali.

4. Contributi Principali

Riformulazione Algebrica: Trasformare una prova analitica classica (Hilbert) in una prova puramente algebrica basata su serie formali.
Nuova Definizione di Integrale Improprio: Introdurre il concetto di "integrale di Newton improprio" per serie di potenze, permettendo di gestire limiti all'infinito in un contesto discreto.
Accessibilità Logica: Dimostrare che la trascendenza di $e$ può essere stabilita all'interno di un quadro che evita la teoria degli insiemi non numerabili (costruendo la prova su $\mathbb{Z}$ e $\mathbb{Q}$ estesi a serie formali), rispondendo a una questione di fondamenti matematici.

5. Significato

Il significato di questo lavoro va oltre la semplice riscrittura di una dimostrazione nota:

Filosofia Matematica: Contribuisce al dibattito sui fondamenti della matematica, mostrando che risultati profondi come la trascendenza di $e$ non dipendono necessariamente dalla completezza dei numeri reali o dall'uso di insiemi non numerabili.
Generalizzazione: Il primo metodo è una specializzazione di un risultato molto più potente (Teorema di Lindemann-Weierstrass), rendendo accessibile una parte complessa della letteratura matematica (Beukers, Bézivin, Robba) focalizzandosi sul caso specifico di $e$ .
Didattica e Chiarezza: Offre una prospettiva alternativa che potrebbe essere più intuitiva per chi lavora in algebra formale, separando la struttura logica della prova dalle complessità analitiche degli integrali reali.

In sintesi, Klazar dimostra che la "magia" della prova di Hilbert risiede nella struttura algebrica delle serie e nelle proprietà di divisibilità dei fattoriali, piuttosto che nella geometria delle funzioni reali, fornendo così una prova più "pura" dal punto di vista degli insiemi numerabili.