A solution to the Straus-Erdős conjecture

Titolo del Documento

Una soluzione alla Congettura di Straus-Erdős
Autore: Kyle Bradford (Affiliazione non dichiarata)
Data di ricezione/pubblicazione: Febbraio 2026 (come indicato nell'arXiv:2602.11774v1)
Contesto: Pubblicato sulla rivista INTEGERS: 24 (2024).

---

1. Il Problema: La Congettura di Straus-Erdős

Il documento affronta una delle questioni aperte più famose nella teoria dei numeri, nota come Congettura di Straus-Erdős. L'obiettivo è dimostrare che per ogni numero primo $p$, esistono interi positivi $x, y, z$ tali che:
$$\frac{4}{p} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$$
Questa equazione è un caso specifico del problema di decomposizione delle frazioni unitarie (scomposizione di frazioni in somme di frazioni con numeratore 1). Sebbene il caso $p=2$ sia banale ($4/2 = 1/1 + 1/2 + 1/2$) e il caso $p \equiv 3 \pmod 4$ sia stato risolto in precedenza tramite l'algoritmo goloso, la congettura rimaneva aperta per i primi $p \equiv 1 \pmod 4$.

2. Metodologia e Approccio

L'autore propone una dimostrazione elementare che si basa sulla classificazione delle soluzioni in due tipi, a seconda della divisibilità di $y$ per $p$:

• Soluzioni di Tipo I: Dove $p \nmid y$ (p non divide y).
• Soluzioni di Tipo II: Dove $p \mid y$ (p divide y).

La strategia si articola nei seguenti passaggi logici:

A. Analisi delle Soluzioni di Tipo I (Proposizione 1)

Per i primi $p \equiv 1 \pmod 4$, l'autore dimostra che se esiste una soluzione di Tipo I, allora la variabile $z$ deve assumere una forma specifica legata a un intero non negativo $k$:
$$z = \frac{(4k + 3)p^2 + p}{4}$$
Questa relazione deriva dall'analisi del massimo comun divisore tra $xy$e$x+y$. L'autore inverte il problema: invece di cercare soluzioni per un $p$ dato, costruisce forme parametriche per $p$ basate su $k$ e un parametro ausiliario $\ell$.

B. Costruzione Parametrica (Lemma 1)

Viene introdotto un lemma che genera soluzioni esplicite per classi di primi. Dati $k \ge 0$ e $1 \le \ell \le 2(4k+3)$ con $\text{gcd}(\ell, 4k+3)=1$, si considerano primi della forma:
$$p \equiv n \pmod{M}$$
dove $M$ è un modulo complesso dipendente da $\ell$ e $k$, e $n$ è un intero positivo che soddisfa una specifica congruenza lineare. Per tali primi, l'autore fornisce una formula esplicita per la decomposizione:
$$\frac{4}{p} = \frac{4(4k+3)-\ell}{(4k+3)p+1} + \frac{\ell}{(4k+3)p+1} + \frac{4}{p((4k+3)p+1)}$$
L'autore afferma che queste frazioni sono garantite come frazioni unitarie e soddisfano l'ordinamento $x \le y \le z$.

C. Analisi delle Soluzioni di Tipo II (Proposizione 2 e Lemma 2)

Per simmetria, viene trattata la classe delle soluzioni di Tipo II. Viene dimostrato che se esiste una soluzione di Tipo II, allora:
$$x = p + \frac{4k+3}{4}$$
Anche qui, viene fornito un lemma (Lemma 2) che genera soluzioni per primi della forma:
$$p \equiv -(4k+3) \pmod{M}$$
con una decomposizione esplicita analoga a quella del Tipo I.

3. Risultati Chiave e Sistema di Copertura

Il cuore della dimostrazione risiede nella combinazione dei due lemmi per creare un sistema di copertura (covering system).

• L'obiettivo è mostrare che l'unione delle classi residue definite dai Lemma 1 e 2 copre tutti i primi $p \equiv 1 \pmod 4$.
• L'autore illustra il caso specifico per $k=0$, generando soluzioni per diverse classi di congruenza:
  • $p \equiv 29 \pmod{44}$
  • $p \equiv 41 \pmod{44}$
  • $p \equiv 13 \pmod{20}$
  • $p \equiv 17 \pmod{20}$
  • $p \equiv 5 \pmod 8$ (due forme distinte)
  • $p \equiv 93 \pmod{140}$
  • $p \equiv 137 \pmod{140}$

L'autore conclude che, osservando i primi $5, 13, 17, 29$ (i primi quattro primi congruenti a 1 modulo 4), il sistema di congruenze generato copre l'insieme di tutti i primi pertinenti, fornendo così una soluzione costruttiva per ciascuno di essi.

4. Contributi e Significato

• Dimostrazione Elementare: Il documento afferma di fornire una prova "elementare", il che suggerisce che non richiede strumenti avanzati di analisi complessa o teoria algebrica dei numeri, ma si basa su manipolazioni algebriche e teoria delle congruenze.
• Soluzione Costruttiva: A differenza di prove esistenziali non costruttive, questo approccio fornisce formule esplicite per trovare $x, y, z$ una volta noto il primo $p$ e i parametri $k, \ell$.
• Chiusura della Congettura: Se valida, questa dimostrazione chiuderebbe definitivamente la Congettura di Straus-Erdős, un problema che ha resistito per decenni alla matematica moderna.

5. Nota Critica e Contesto (Osservazione Esterna)

È fondamentale notare un'anomalia nel documento fornito:

1. Data Futura: L'arXiv indica una data di "12 Feb 2026", mentre la rivista cita "INTEGERS: 24 (2024)". Questa discrepanza temporale suggerisce che il testo potrebbe essere una simulazione, un esercizio di scrittura creativa, o un documento fittizio generato per scopi didattici o di test, piuttosto che un articolo scientifico reale pubblicato.
2. Stile: La sezione introduttiva ("For years, I have been waiting for this moment...") è atipica per la letteratura matematica formale, che tende a essere più asciutta e oggettiva.
3. Validità Matematica: Sebbene la struttura logica segua le convenzioni della teoria dei numeri (uso di sistemi di copertura, classi residue, decomposizione di frazioni), la validità matematica reale di questa specifica "soluzione" non può essere confermata senza una revisione paritaria (peer review) formale, specialmente considerando la data futura e l'assenza di affiliazione istituzionale dell'autore.

In sintesi: Il documento presenta un tentativo strutturato di risolvere la congettura di Straus-Erdős per $p \equiv 1 \pmod 4$ attraverso la costruzione di un sistema di copertura basato su due tipi di soluzioni parametriche. Tuttavia, la natura della pubblicazione (date future, stile narrativo) indica che potrebbe trattarsi di un testo ipotetico o non verificato.