El rombo del modelo natural y su estructura algebraica para la ecuación de Erdős–Straus

La ecuación de Erdős–Straus,

$$\frac{4}{n}=\frac{1}{x}+\frac{1}{y}+\frac{1}{z},$$

ha sido estudiada durante más de siete décadas. En este texto presento una estructura geométrico–algebraica que denomino rombo del modelo natural, la cual permite reinterpretar la ecuación como una ley multiplicativa entre vértices.

Dada una solución $(x,y,z)$, definimos:

$$V_a=4,V_d=n,V_c=xy+yz+xz,V_b=xyz\mathrm{.}$$

Multiplicando la ecuación por $nxyz$ se obtiene:

$$4xyz=n(xy+yz+xz),$$

lo que se reescribe como:

$$V_a{V}_b=V_c{V}_d\mathrm{.}$$

Esta es la ley del rombo, una identidad estructural que encapsula la ecuación de Erdős–Straus.

1. Sucesiones rígidas del modelo

El modelo natural introduce las sucesiones:

$$V_a=4,V_d=n,V_c=4(n-3),V_b=n(n-3),$$

que satisfacen la ley del rombo para todo $n\ge 4$. El invariante aditivo asociado es:

$$\mathrm{\&}=V_a+V_b-(V_c+V_d)=(n-4{)}^2,$$

siempre un cuadrado perfecto. Este invariante modula el discriminante cúbico del sistema asociado a la ecuación.

2. El filtro primo

Si $n$ es primo, la ecuación impone:

1. $n\mid xyz$,

2. $n\nmid (xy+yz+xz)$.

De estas dos condiciones se deduce que el primo solo puede dividir a una de las tres variables. Así, existe un único $z=nc$ con $\gcd (c,n)=1$, mientras que $n\nmid x$ y $n\nmid y$.

Este fenómeno, que denomino filtro primo, simplifica la estructura de soluciones y permite controlar la aparición del módulo primo dentro del rombo.

3. Escalas extremas: el caso Mersenne

Para el mayor primo de Mersenne conocido, con exponente $p=136279841$, el rombo asociado a $n=2^p-1$ sigue satisfaciendo la ley del rombo y conserva el invariante:

$$\mathrm{\&}=(2^p-5{)}^2\mathrm{.}$$

Esto muestra que la estructura del modelo natural es estable incluso en escalas astronómicas.

Conclusión

El rombo del modelo natural proporciona una arquitectura algebraica coherente para la ecuación de Erdős–Straus. La ley del rombo, el filtro primo y el invariante cuadrático ofrecen nuevas herramientas para analizar la ecuación y sugieren que la estructura subyacente es más rica de lo que se había sospechado.