🔢 mathematics

Every natural number is a sum of distinct semiprime unit fractions

Questo articolo dimostra che ogni numero naturale può essere espresso come una somma finita di frazioni unitarie distinte con denominatori semiprimi adattando l'induzione di Butler-Erdős-Graham al difficile caso $\omega=2$ , pur estendendo questi risultati ai numeri razionali e fornendo la prima prova completa per il caso $\omega=3$ .

Autori originali: Shisheng Li

Pubblicato 2026-06-16

📖 6 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Shisheng Li

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

Il Quadro Generale: Il Proble Massivo dei "Lego"

Immaginate di avere una fornitura infinita di mattoncini Lego. Ma c'è un trucco: potete usare solo mattoncini che sono fatti di esattamente due colori diversi di plastica fusi insieme. In termini matematici, questi sono chiamati semiprimi (numeri come 6, che è $2 \times 3$ , o 15, che è $3 \times 5$ ).

Il articolo pone una domanda sulle Frazioni Egizie. Una frazione egizia è un modo per scrivere un numero come somma di frazioni semplici come $1/2, 1/3, 1/4$ , ecc., dove tutti i denominatori (i numeri sotto) sono diversi.

La Domanda: È possibile costruire qualsiasi numero intero (1, 2, 3, 100, ecc.) sommando queste frazioni speciali, dove i denominatori sono composti solo dai nostri mattoncini semiprimi a "due colori"?

La Risposta: Sì. L'autore, Shisheng Li, dimostra che è possibile costruire qualsiasi numero intero in questo modo.

Il Contesto: Un Enigma Rimasto Irrisolto

Questo problema non è stato inventato da Li. Deriva da una celebre congettura dei matematici Paul Erdős e Ronald Graham. Essi chiedevano: "Se limitiamo i nostri mattoncini ai numeri composti da esattamente $\omega$ (omega) diversi fattori primi, possiamo costruire qualsiasi numero?"

$\omega = 3$ (Tre colori): Nel 2015, altri matematici (Butler, Erdős e Graham) hanno dimostrato che questo funziona. Se i vostri mattoncini sono fatti di tre colori (come $2 \times 3 \times 5 = 30$ ), potete costruire qualsiasi numero.
$\omega = 2$ (Due colori): Avevano congetturato che funzionasse anche questo, ma non riuscirono a dimostrarlo. Si sono fermati lì.

Perché era più difficile?
Pensatelo come a una squadra di costruzione.

Quando avete tre colori ( $\omega=3$ ), avete una pila di mattoncini enorme e spessa. È facile trovare la combinazione giusta per colmare un vuoto.
Quando scendete a due colori ( $\omega=2$ ), la pila di mattoncini diventa molto più sottile. La "catena di approvvigionamento" è debole.
I metodi che funzionavano per la pila spessa (tre colori) sono crollati perché la pila sottile (due colori) non aveva abbastanza varietà per colmare i vuoti facilmente.

La Soluzione: Un Nuovo Modo per Colmare il Divario

Il documento di Li è essenzialmente un manuale su come continuare a costruire anche quando la fornitura di mattoncini è molto scarsa.

1. Il Problema dell' "Alimentazione"
La dimostrazione utilizza un metodo chiamato induzione. Immaginate di stare costruendo un muro e di voler dimostrare che potete costruirlo per sempre. Dimostrate che se riuscite a costruire un muro alto $N$ , potete sicuramente costruire un muro alto $N+1$ .

Per farlo, avete bisogno di un "alimentatore" di mattoncini per riempire il nuovo strato.
Per $\omega=3$ , l'alimentatore è ricco e abbondante.
Per $\omega=2$ , l'alimentatore è molto scarso.
Il vecchio metodo cercava di costringere l'alimentatore scarso ad agire come uno abbondante, e falliva.

2. Il Trucco della "Finestra"
Li si rese conto che, invece di cercare di far sembrare l'alimentatore scarso come uno abbondante, poteva guardare il problema in modo diverso.

Immaginate una finestra che scorre lungo il muro.
Li ha dimostrato che per il caso $\omega=2$ , questa finestra è sempre più larga dell'intera fornitura di mattoncini.
Poiché la finestra è così larga, essa deve catturare il primissimo mattoncino (0) o l'ultimo mattoncino (la somma massima). Non può scivolare attraverso le crepe.
Ciò significa che non avete bisogno di una pila di mattoncini complessa e spessa; dovete solo assicurarvi che l' "inizio" e la "fine" della vostra pila di mattoncini coprano tutti i necessari "resti" matematici (residui).

3. Il Lavoro Pesante (Computazione e Logica)
Per dimostrare che questo funziona per ogni numero, Li ha dovuto fare due cose:

La "Lista di Controllo" (Computazione): Ha usato un computer per controllare manualmente i primi 300 passaggi della costruzione. È come controllare i primi piani di un grattacielo con una lente d'ingrandimento per assicurarsi che le fondamenta siano solide. Ha verificato che l' "alimentatore scarso" funziona perfettamente per questi passaggi iniziali.
La "Rete di Sicurezza Matematica" (Analisi): Per il resto dell'infinito edificio (dal passaggio 300 all'infinito), ha utilizzato disuguaglianze matematiche standard (limiti di Chebyshev) per dimostrare che i mattoncini sono distribuiti abbastanza bene da garantire che la "finestra" catturi sempre una combinazione valida.

I Risultati: Cosa Altro Hanno Trovato?

Il documento non si ferma ai numeri interi. Estende la logica anche alle frazioni (numeri razionali).

La Soglia: Hanno dimostrato che, per le frazioni con denominatori "liberi da quadrati" (denominatori che non hanno fattori primi ripetuti, come 6 o 10, ma non 12), è possibile costruirle se la frazione è sufficientemente grande (specificamente, maggiore di circa 1/5).
Il Mistero del "Nucleo Profondo": Rimane un piccolo spazio aperto. Per le frazioni molto piccole (come 1/1000), la dimostrazione non è ancora arrivata fin lì. L'autore ha ridotto questo mistero rimanente a un'unica ipotesi specifica: "Se continui ad aggiungere mattoncini, i vuoti tra di essi alla fine scompaiono". Se questa ipotesi è vera, la dimostrazione è completa per tutti i numeri.
Il "Bonus dei Tre Colori": Come effetto collaterale della risoluzione del problema dei "due colori", Li ha fornito anche la prima dimostrazione completa per il problema dei "tre colori" (numeri sphenici) che gli autori originali avevano solo ipotizzato.

Analogia Riassuntiva

Immaginate di cercare di riempire una piscina con l'acqua usando una canna da irrigazione.

Il Vecchio Metodo: Cercava di usare una canna che funzionava solo se la pressione dell'acqua era altissima (molti mattoncini). Funzionava per piscine grandi (3 colori) ma falliva per spazi piccoli e stretti (2 colori).
Il Metodo di Li: Ha capito che anche con una canna debole (2 colori), se la si punta con l'angolazione giusta e si controllano attentamente i primi metri della piscina, l'acqua riempirà naturalmente tutta la piscina perché la canna è in realtà più larga dei vuoti nel fondo della piscina.

In sintesi: Shisheng Li ha risolto un enigma matematico di 10 anni, dimostrando che è possibile costruire qualsiasi numero intero usando solo frazioni con denominatori a "due fattori primi", utilizzando un sapiente mix di controllo informatico e logica matematica per colmare il divario dove i metodi precedenti erano falliti.

Sintesi Tecnica: "Ogni numero naturale è una somma di frazioni unitarie semiprime distinte"

Enunciato del Problema
Il saggio affronta un caso specifico del problema di Erdős–Graham riguardante le frazioni egizie con denominatori ristretti. Il problema generale chiede se, per un denominatore squarefree $b$ , ogni razionale $a/b$ possa essere rappresentato come una somma di frazioni unitarie distinte $1/n_i$ dove ogni $n_i$ è un prodotto di esattamente $\omega$ primi distinti.

Contesto: Per $\omega \ge 3$ , il caso intero ( $b=1$ ) è stato dimostrato da Butler, Erdős e Graham (BEG15) nel 2015. Essi hanno ipotizzato che il risultato valga anche per $\omega = 2$ (denominatori semiprimi), ma non sono riusciti a dimostrarlo, osservando che il "feed" combinatorio che guida la loro induzione degenera al diminuire di $\omega$ .
Obiettivo: Questo saggio risolve il caso intero ( $b=1$ ) per $\omega = 2$ , dimostrando che ogni numero naturale $m \ge 1$ è una somma finita di frazioni unitarie distinte con denominatori semiprimi. Estende inoltre il risultato ai numeri razionali $a/b$ (con $b$ squarefree) sopra una soglia esplicita e dimostra il pieno caso razionale per $\omega = 3$ .

Metodologia
La dimostrazione adatta e modifica il framework induttivo stabilito da BEG15. Il meccanismo centrale consiste nell'analizzare l'insieme delle somme di sottoinsiemi di specifici insiemi di "atomi" derivati dai primoriali.

Riduzione alle Somme di Sottoinsiemi:
Il problema viene ridotto a dimostrare che, per un numero naturale $m$ , esiste un $N$ tale che $P_N m$ (dove $P_N$ è l' $N$ -esimo primoriale) appartenga all'insieme delle somme di sottoinsiemi $L_2(N)$ dell'insieme $D_2(N) = \{ P_N / (p_i p_j) : 1 \le i < j \le N \}$ .
Lo Scheletro dell'Induzione:
La dimostrazione si basa sull'instaurare che $L_2(N)$ contenga un "blocco centrale" di interi $[\lceil \sigma_2(N)/6 \rceil, \lfloor 5\sigma_2(N)/6 \rfloor]$ , dove $\sigma_2(N)$ è la somma degli elementi in $D_2(N)$ .

Caso Base: Verificato computazionalmente per $N_0 = 10$ utilizzando un packed bitset per controllare la raggiungibilità della somma di sottoinsiemi su 45 atomi.
Passo Induttivo ( $N \to N+1$ ): Il passo utilizza la ricorsione di scissione $L_2(N+1) = L_1(N) + p_{N+1} L_2(N)$ , dove $L_1(N)$ è l'insieme delle somme di sottoinsiemi di reciprocali di singoli primi (il "feed").

Superamento dell'Ostacolo per $\omega=2$ :
Nel caso $\omega=3$ , il feed $L_1(N)$ è un insieme ricco. Nel caso $\omega=2$ , il feed collassa nelle somme di sottoinsiemi di singoli primi, che è strutturalmente "sottile". Il metodo di BEG15 è fallito qui perché l'argomento "runs-connect" richiedeva un insieme interno completo rispetto ai residui che non esisteva nel caso degenerato.

Nuova Intuizione: L'autore osserva che nella ricorsione $\omega=2$ , la finestra di copertura (l'intervallo di valori target coperti da un singolo elemento del feed) è sempre almeno lunga quanto l'intero intervallo del feed. Di conseguenza, la finestra deve contenere uno degli estremi del feed ($0 $o$ \sigma_1(N)$).
Strategia: Invece di cercare di ripristinare la struttura interna del feed sottile, la dimostrazione usa il feed direttamente come l'oggetto completo rispetto ai residui. L'induzione ha successo se il feed raggiunge ogni classe di residuo modulo il nuovo primo $q = p_{N+1}$ "abbastanza presto" (entro una specifica lunghezza di striscia).

Verifica Analitica e Computazionale:
La dimostrazione riduce la difficoltà a una singola disuguaglianza: $Y_0(N) \le \beta(N)$ , dove $Y_0(N)$ è il raggio di esordio per la completezza dei residui del feed, e $\beta(N)$ è la lunghezza disponibile della striscia.

Intervallo Finito ( $10 \le N \le 299$ ): Verificato tramite aritmetica esatta degli interi utilizzando un algoritmo di tipo Dijkstra sul gruppo dei residui $\mathbb{Z}_q$ .
Coda Analitica ( $N \ge 300$ ): Dimostrata usando i limiti di Chebyshev sugli scarti tra i primi e la monotonicità della somma dei reciproci dei primi.
Completezza dei Residui: Per piccoli $N$ dove il teorema di addizione di Olson non si applica strettamente, la completezza dei residui è verificata computazionalmente.

Risultati Chiave

Teorema 1.2 (Caso Intero): Ogni numero naturale $m \ge 1$ può essere scritto come una somma finita di frazioni unitarie distinte con denominatori semiprimi. La dimostrazione è non costruttiva ma efficace e produce limiti enormi sulla dimensione dei denominatori (circa $N \sim \exp(\exp(O(\sqrt{m})))$ ).
Estensione ai Razionali (Teorema 7.1 & 7.4): Per ogni denominatore squarefree $b$ , ogni razionale $a/b \ge \min\{B_{N_b}/6, 1/5\}$ è rappresentabile come una somma di frazioni unitarie semiprime distinte. Qui $B_{N_b}$ dipende dal più grande fattore primo di $b$ .
Teorema sui Razionali $\omega=3$ (Teorema 8.1): Ogni razionale positivo $a/b$ con $b$ squarefree è una somma di frazioni unitarie distinte con denominatori sfenici (prodotti di tre primi distinti). Ciò è ottenuto tramite un argomento di "sollevamento" (lift): moltiplicare il target per un grande primo $r$ per spostarlo nel range rappresentabile del teorema $\omega=2$ , poi dividere per $r$ .
Generale $\omega \ge 3$ (Corollario 8.6): Per discesa, il risultato si estende a tutti $\omega \ge 3$ .

Significato e Problemi Aperti

Risoluzione di una Congettura: Il saggio fornisce la prima dimostrazione completa del caso intero $\omega=2$ , un problema lasciato come congettura da BEG15. Dimostra che il regime del "feed sottile" può essere gestito adattando l'induzione per fare affidamento sulla copertura degli estremi piuttosto che sulla struttura interna.
Risultati Incondizionati: Tutti i risultati sono incondizionati, basandosi su teoria elementare dei numeri e computazioni finite verificate tramite script indipendenti.
Il Nucleo Aperto Residuo: Il saggio identifica come unico caso aperto rimasto il "nucleo profondo" del problema $\omega=2$ $ω = 2$ : i razionali $a/b$ $a / b$ al di sotto della soglia $\min\{B_{N_b}/6, 1/5\}$ $min {B_{N_{b}} /6, 1/5}$ .
- L'autore lo riduce a una singola congettura esplicita: La Congettura del Pavimento Senza Gap (Gap-Free Floor - GFF), la quale postula che il pavimento senza gap dell'insieme delle somme di sottoinsiemi semiprimi tenda a zero per $N \to \infty$ . Se vera, questa risolverebbe il problema per tutti i razionali.
Ambito: Il saggio dichiara esplicitamente di non affrontare denominatori con fattori quadrati (che sono impossibili da rappresentare sotto questi vincoli) o rappresentazioni che utilizzano insiemi finiti fissi di primi. Il focus rimane strettamente sulla base additiva universale dei reciproci semiprimi.

Il lavoro è descritto come un "motore" che spinge la dimostrazione il più lontano possibile con gli attuali metodi, isolando la specifica difficoltà strutturale (il pavimento senza gap) che impedisce una soluzione completa per i piccoli razionali nel caso $\omega=2$ .