A pesar de que su definición convencional se restringe a números enteros, solo tiene una definición más expansiva basada en esta observación equivalente.
Cada número entero mayor que 3 se puede expresar como el promedio de dos primos.
Por ejemplo: para [matemática] 3 + 7 [/ matemática] igual a [matemática] 10 [/ matemática] se deduce que [matemática] \ frac {3 + 7} {2} [/ matemática] debe ser igual a [matemática] 5 . [/ math] (El promedio de [math] 3 [/ math] y [math] 7 [/ math] es [math] 5 [/ math].)
En otras palabras, cada par [matemático] n [/ matemático] está dividido por los números primos para los cuales [matemático] \ frac {n} {2} [/ matemático], par o impar, es el promedio. La conjetura de Goldbach no puede ser verdadera sin esta equivalencia.
- Criptografía: ¿Cuál es el problema del logaritmo discreto?
- ¿Cómo sumas y restas en binario?
- ¿Qué progreso se ha hecho hasta la fecha en la hipótesis de Riemann?
- Dados dos enteros positivos [matemática] a, b [/ matemática] puede haber otros dos enteros positivos [matemática] x, y [/ matemática] tal que [matemática] a ^ 2 + b ^ 2 = x ^ 2 + y ^ 2 [/ matemáticas]?
- ¿Podemos demostrar que si [matemática] m [/ matemática] y [matemática] n [/ matemática] son dos enteros positivos tales que [matemática] m [/ matemática] divide [matemática] n [/ matemática], entonces [matemática] F_m [/ math] divide [math] F_n [/ math]?
Creo que esta es una mejor manera de pensar sobre el problema porque muestra que la conjetura no es una característica marginal o exclusivamente aditiva. De hecho, está estrechamente relacionado con la Conjetura de Twin Prime y Legendre. (He promovido esta definición más grande en varias respuestas, así que perdóname si la has leído antes).