Conjetura matemática
La conjetura de Beal es la siguiente conjetura en teoría de números :
Problema sin resolver en matemáticas :
Si donde
A ,
B ,
C ,
x ,
y ,
z son números enteros positivos y
x ,
y ,
z son ≥ 3, ¿
A ,
B y
C tienen un factor primo común?
- Si
- ,
- donde A , B , C , x , y y z son números enteros positivos con x , y , z ≥ 3, entonces A , B y C tienen un factor primo común .
De manera equivalente,
- La ecuación no tiene soluciones en números enteros positivos y enteros coprimos por pares A, B, C si x, y, z ≥ 3.
La conjetura fue formulada en 1993 por Andrew Beal , un banquero y matemático aficionado , mientras investigaba generalizaciones del Último Teorema de Fermat . [1] [2] Desde 1997, Beal ha ofrecido un premio monetario por una prueba revisada por pares de esta conjetura o un contraejemplo . [3] El valor del premio ha aumentado varias veces y actualmente es de $1 millón. [4]
En algunas publicaciones, esta conjetura se ha denominado ocasionalmente ecuación de Fermat generalizada, [5] conjetura de Mauldin, [6] y conjetura de Tijdeman-Zagier. [7] [8]
Ejemplos relacionados
Para ilustrar, la solución tiene bases con un factor común de 3, la solución tiene bases con un factor común de 7 y tiene bases con un factor común de 2. De hecho, la ecuación tiene infinitas soluciones donde las bases comparten un factor común, incluidas generalizaciones de los tres ejemplos anteriores, respectivamente.
y
Además, para cada solución (con o sin bases coprimas), hay infinitas soluciones con el mismo conjunto de exponentes y un conjunto creciente de bases no coprimas. Es decir, para la solución
También tenemos
-
dónde
Cualquier solución a la conjetura de Beal implicará necesariamente tres términos, todos ellos números 3-potentes , es decir, números en los que el exponente de cada factor primo es al menos tres. Se sabe que hay un número infinito de sumas de este tipo que implican números 3-potentes coprimos; [10] sin embargo, estas sumas son raras. Los dos ejemplos más pequeños son:
Lo que distingue la conjetura de Beal es que requiere que cada uno de los tres términos pueda expresarse como una única potencia.
Relación con otras conjeturas
El último teorema de Fermat estableció que no hay soluciones para n > 2 para los números enteros positivos A , B y C . Si hubiera existido alguna solución para el último teorema de Fermat, entonces al dividir cada factor común, también existirían soluciones con A , B y C coprimos. Por lo tanto, el último teorema de Fermat puede verse como un caso especial de la conjetura de Beal restringida a x = y = z .
La conjetura de Fermat-Catalan tiene solo un número finito de soluciones, siendo A , B y C números enteros positivos sin factor primo común y x , y y z números enteros positivos que satisfacen . La conjetura de Beal puede reformularse como "Todas las soluciones de la conjetura de Fermat-Catalan utilizarán 2 como exponente".
La conjetura abc implicaría que hay como máximo un número finito de contraejemplos a la conjetura de Beal.
Resultados parciales
En los casos siguientes en los que n es un exponente, también se prueban los múltiplos de n , ya que una potencia kn -ésima es también una potencia n -ésima. Cuando se alude a soluciones que implican una segunda potencia a continuación, se pueden encontrar específicamente en Conjetura de Fermat-Catalan#Soluciones conocidas . Todos los casos de la forma (2, 3, n ) o (2, n , 3) tienen la solución 2 3 + 1 n = 3 2 a la que se hace referencia a continuación como la solución de Catalan .
- El caso x = y = z ≥ 3 es el último teorema de Fermat , que Andrew Wiles demostró en 1994 que no tiene soluciones. [11]
- Bjorn Poonen , Edward F. Schaefer y Michael Stoll demostraron en 2005 que el caso ( x , y , z ) = (2, 3, 7) y todas sus permutaciones tienen solo cuatro soluciones no catalanas, ninguna de las cuales contradice la conjetura de Beal. [12]
- Se demostró que el caso ( x , y , z ) = (2, 3, 8) y todas sus permutaciones tienen sólo dos soluciones no catalanas, lo que no contradice la conjetura de Beal, de Nils Bruin en 2003. [13] [14]
- Se sabe que el caso ( x , y , z ) = (2, 3, 9) y todas sus permutaciones tienen sólo una solución no catalana, lo que no contradice la conjetura de Beal, de Nils Bruin en 2003. [15] [16]
- David Zureick-Brown demostró en 2009 que el caso ( x , y , z ) = (2, 3, 10) y todas sus permutaciones solo tienen la solución catalana. [17]
- Freitas, Naskręcki y Stoll demostraron que el caso ( x , y , z ) = (2, 3, 11) y todas sus permutaciones solo tienen la solución Catalana. [18]
- En 2013, Samir Siksek y Michael Stoll demostraron que el caso ( x , y , z ) = (2, 3, 15) y todas sus permutaciones solo tienen la solución catalana. [19]
- El caso ( x , y , z ) = (2, 4, 4) y todas sus permutaciones demostraron que no tenían soluciones mediante el trabajo combinado de Pierre de Fermat en la década de 1640 y Euler en 1738. (Véase una prueba aquí y otra aquí )
- Se sabe que el caso ( x , y , z ) = (2, 4, 5) y todas sus permutaciones tienen sólo dos soluciones no catalanas, lo que no contradice la conjetura de Beal, de Nils Bruin en 2003. [13]
- El caso ( x , y , z ) = (2, 4, n ) y todas sus permutaciones fueron probadas para n ≥ 6 por Michael Bennett, Jordan Ellenberg y Nathan Ng en 2009. [20]
- El caso ( x , y , z ) = (2, 6, n ) y todas sus permutaciones fueron probadas para n ≥ 3 por Michael Bennett e Imin Chen en 2011 y por Bennett, Chen, Dahmen y Yazdani en 2014. [21] [5]
- Bennett, Chen, Dahmen y Yazdani demostraron que el caso ( x , y , z ) = (2, 2 n , 3) no tiene una solución no catalana para 3 ≤ n ≤ 10 7 excepto n = 7 y varias congruencias módulo cuando n es primo. [22] [5] [23]
- Los casos ( x , y , z ) = (2, 2 n , 9), (2, 2 n , 10), (2, 2 n , 15) y todas sus permutaciones fueron probados para n ≥ 2 por Bennett, Chen, Dahmen y Yazdani en 2014. [5]
- El caso ( x , y , z ) = (3, 3, n ) y todas sus permutaciones han sido probadas para 3 ≤ n ≤ 10 9 y varias congruencias módulo cuando n es primo. [16]
- El caso ( x , y , z ) = (3, 4, 5) y todas sus permutaciones fueron probadas por Siksek y Stoll en 2011. [24]
- El caso ( x , y , z ) = (3, 5, 5) y todas sus permutaciones fueron probadas por Bjorn Poonen en 1998. [25]
- El caso ( x , y , z ) = (3, 6, n ) y todas sus permutaciones fueron probadas para n ≥ 3 por Bennett, Chen, Dahmen y Yazdani en 2014. [5]
- El caso ( x , y , z ) = (2 n , 3, 4) y todas sus permutaciones fueron probadas para n ≥ 2 por Bennett, Chen, Dahmen y Yazdani en 2014. [5]
- Los casos (5, 5, 7), (5, 5, 19), (7, 7, 5) y todas sus permutaciones fueron probados por Sander R. Dahmen y Samir Siksek en 2013. [26]
- Los casos ( x , y , z ) = ( n , n , 2) y todas sus permutaciones fueron probados para n ≥ 4 por Darmon y Merel en 1995 siguiendo el trabajo de Euler y Poonen. [27] [25]
- Los casos ( x , y , z ) = ( n , n , 3) y todas sus permutaciones fueron probados para n ≥ 3 por Édouard Lucas , Bjorn Poonen y Darmon y Merel . [27]
- El caso ( x , y , z ) = (2 n , 2 n , 5) y todas sus permutaciones fueron probadas para n ≥ 2 por Bennett en 2006. [28]
- El caso ( x , y , z ) = (2 l , 2 m , n ) y todas sus permutaciones fueron probadas para l , m ≥ 5 primos y n = 3, 5, 7, 11 por Anni y Siksek. [29]
- El caso ( x , y , z ) = (2 l , 2 m , 13) y todas sus permutaciones fueron probadas para l , m ≥ 5 primos por Billerey, Chen, Dembélé, Dieulefait, Freitas. [30]
- El caso ( x , y , z ) = (3 l , 3 m , n ) es directo para l , m ≥ 2 y n ≥ 3 según el trabajo de Kraus. [31]
- El teorema de Darmon-Granville utiliza el teorema de Faltings para demostrar que para cada elección específica de exponentes ( x , y , z ), hay como máximo un número finito de soluciones coprimas para ( A , B , C ). [32] [7] : p. 64
- La imposibilidad del caso A = 1 o B = 1 está implícita en la conjetura de Catalan , demostrada en 2002 por Preda Mihăilescu . (Obsérvese que C no puede ser 1, o uno de A y B debe ser 0, lo cual no está permitido).
- En la década de 1950, L. Jesmanowicz consideró una clase potencial de soluciones para la ecuación, a saber, aquellas en las que A, B y C también forman una terna pitagórica . J. Jozefiak demostró que hay un número infinito de ternas pitagóricas primitivas que no pueden satisfacer la ecuación de Beal. Se deben otros resultados a Chao Ko. [33]
- Peter Norvig , director de investigación de Google , informó haber realizado una serie de búsquedas numéricas de contraejemplos a la conjetura de Beal. Entre sus resultados, excluyó todas las posibles soluciones que tuvieran cada una de x , y , z ≤ 7 y cada una de A , B , C ≤ 250.000, así como las posibles soluciones que tuvieran cada una de x , y , z ≤ 100 y cada una de A , B , C ≤ 10.000. [34]
- Si A , B son impares y x , y son pares, la conjetura de Beal no tiene contraejemplo. [35]
- Suponiendo la validez de la conjetura de Beal, existe un límite superior para cualquier divisor común de x , y y z en la expresión . [36]
Premio
Para una prueba o contraejemplo publicado, el banquero Andrew Beal inicialmente ofreció un premio de US$5.000 en 1997, elevándolo a US$50.000 en diez años, [3] pero desde entonces lo ha aumentado a US$1.000.000. [4]
La Sociedad Matemática Americana (AMS) conserva el premio de un millón de dólares en un fideicomiso hasta que se resuelva la conjetura de Beal. [37] Está supervisado por el Comité del Premio Beal (BPC), que es designado por el presidente de la AMS. [38]
Variantes
Los contraejemplos , , y muestran que la conjetura sería falsa si se permitiera que uno de los exponentes fuera 2. La conjetura de Fermat-Catalan es una conjetura abierta que trata estos casos (la condición de esta conjetura es que la suma de los recíprocos sea menor que 1). Si permitimos que como máximo uno de los exponentes sea 2, entonces puede haber solo un número finito de soluciones (excepto el caso ).
Si A , B , C pueden tener un factor primo común, entonces la conjetura no es verdadera; un contraejemplo clásico es .
Una variación de la conjetura que afirma que x , y , z (en lugar de A , B , C ) deben tener un factor primo común no es cierta. Un contraejemplo es aquel en el que 4, 3 y 7 no tienen ningún factor primo común. (De hecho, el máximo factor primo común de los exponentes que es válido es 2; un factor común mayor que 2 sería un contraejemplo del Último Teorema de Fermat.)
La conjetura no es válida en el dominio más amplio de los números enteros gaussianos . Después de que se ofreciera un premio de $50 por un contraejemplo, Fred W. Helenius proporcionó . [39]
Véase también
Referencias
- ^ "Conjetura de Beal". American Mathematical Society . Consultado el 21 de agosto de 2016 .
- ^ "Conjetura de Beal". Bealconjecture.com . Consultado el 6 de marzo de 2014 .
- ^ ab R. Daniel Mauldin (1997). "Una generalización del último teorema de Fermat: la conjetura de Beal y el problema del premio" (PDF) . Avisos de la AMS . 44 (11): 1436–1439.
- ^ ab "Premio Beal". Ams.org . Consultado el 6 de marzo de 2014 .
- ^ abcdef Bennett, Michael A.; Chen, Imin; Dahmen, Sander R.; Yazdani, Soroosh (junio de 2014). "Ecuaciones de Fermat generalizadas: una miscelánea" (PDF) . Universidad Simon Fraser . Consultado el 1 de octubre de 2016 .
- ^ "Conjetura de Mauldin/Tijdeman-Zagier". Acertijos primos . Consultado el 1 de octubre de 2016 .
- ^ ab Elkies, Noam D. (2007). "El ABC de la teoría de números" (PDF) . The Harvard College Mathematics Review . 1 (1).
- ^ Michel Waldschmidt (2004). "Problemas abiertos diofánticos". Revista de Matemáticas de Moscú . 4 : 245–305. arXiv : matemáticas/0312440 . doi :10.17323/1609-4514-2004-4-1-245-305. S2CID 11845578.
- ^ Nitaj, Abderrahmane (1995). "Sobre una conjetura de Erdos sobre números 3-potentes". Boletín de la Sociedad Matemática de Londres . 27 (4): 317–318. CiteSeerX 10.1.1.24.563 . doi :10.1112/blms/27.4.317.
- ^ "Multimillonario ofrece un millón de dólares para resolver un problema de matemáticas | Blogs de ABC News – Yahoo". Gma.yahoo.com. 2013-06-06. Archivado desde el original el 2013-06-13 . Consultado el 2014-03-06 .
- ^ Poonen, Bjorn; Schaefer, Edward F.; Stoll, Michael (2005). "Giros de X (7) y soluciones primitivas para x 2 + y 3 = z 7 ". Duke Mathematical Journal . 137 : 103–158. arXiv : math/0508174 . Bibcode :2005math......8174P. doi :10.1215/S0012-7094-07-13714-1. S2CID 2326034.
- ^ ab Bruin, Nils (9 de enero de 2003). "Métodos de Chabauty utilizando curvas elípticas". Journal für die reine und angewandte Mathematik . 2003 (562). doi :10.1515/crll.2003.076. ISSN 0075-4102.
- ^ Bruin, Nils (1999-09-01). "Las ecuaciones diofánticas x^2 ± y^4 = ±z^6 y x^2 + y8 = z^3". Composito Mathematico . 118 (3). doi :10.1023/A:1001529706709. ISSN 0010-437X.
- ^ Bruin, Nils (1 de marzo de 2005). "Las soluciones primitivas de x^3 + y^9 = z^2". Revista de teoría de números . 111 (1): 179–189. arXiv : math/0311002 . doi :10.1016/j.jnt.2004.11.008. ISSN 0022-314X. S2CID 9704470.
- ^ de Frits Beukers (20 de enero de 2006). "La ecuación de Fermat generalizada" (PDF) . Staff.science.uu.nl . Consultado el 6 de marzo de 2014 .
- ^ Brown, David (2009). "Soluciones integrales primitivas para x 2 + y 3 = z 10 ". arXiv : 0911.2932 [math.NT].
- ^ Freitas, Nuno; Naskręcki, Bartosz; Stoll, Michael (enero de 2020). "La ecuación de Fermat generalizada con exponentes 2, 3, n". Compositio Mathematica . 156 (1): 77–113. doi :10.1112/S0010437X19007693. ISSN 0010-437X. S2CID 15030869.
- ^ Siksek, Samir; Stoll, Michael (2013). "La ecuación generalizada de Fermat x 2 + y 3 = z 15 ". Archiv der Mathematik . 102 (5): 411–421. arXiv : 1309.4421 . doi :10.1007/s00013-014-0639-z. S2CID 14582110.
- ^ "La ecuación diofántica" (PDF) . Math.wisc.edu . Consultado el 6 de marzo de 2014 .
- ^ Bennett, Michael A.; Chen, Imin (25 de julio de 2012). "Curvas Q {\displaystyle \mathbb {Q} } de Frey múltiples y la ecuación diofántica a^2 + b^6 = c^n". Álgebra y teoría de números . 6 (4): 707–730. doi : 10.2140/ant.2012.6.707 . ISSN 1944-7833.
- ^ Chen, Imin (23 de octubre de 2007). "Sobre la ecuación $s^2+y^{2p} = \alpha^3$". Matemáticas de la computación . 77 (262): 1223–1228. doi : 10.1090/S0025-5718-07-02083-2 . ISSN 0025-5718.
- ^ Dahmen, Sander (2011). "Un enfoque modular refinado para la ecuación de Diofántia x^2 + y^{2n} = z^3". Revista internacional de teoría de números . 7 (5): 1303–1316. arXiv : 1002.0020 . doi :10.1142/S1793042111004472. ISSN 1793-7310.
- ^ Siksek, Samir; Stoll, Michael (2012). "Descenso parcial en curvas hiperelípticas y la ecuación generalizada de Fermat x^3 + y^4 + z^5 = 0". Boletín de la Sociedad Matemática de Londres . 44 (1): 151–166. arXiv : 1103.1979 . doi :10.1112/blms/bdr086. ISSN 1469-2120. S2CID 12565749.
- ^ ab Poonen, Bjorn (1998). "Algunas ecuaciones diofánticas de la forma x^n + y^n = z^m". Acta Arithmetica (en polaco). 86 (3): 193–205. doi : 10.4064/aa-86-3-193-205 . ISSN 0065-1036.
- ^ Dahmen, Sander R.; Siksek, Samir (2013). "Potencias perfectas expresables como sumas de dos quintas o séptimas potencias". arXiv : 1309.4030 [math.NT].
- ^ ab H. Darmon y L. Merel. Cocientes de bobinado y algunas variantes del último teorema de Fermat, J. Reine Angew. Math. 490 (1997), 81–100.
- ^ Bennett, Michael A. (2006). "La ecuación x^{2n} + y^{2n} = z^5" (PDF) . Journal de Théorie des Nombres de Burdeos . 18 (2): 315–321. doi :10.5802/jtnb.546. ISSN 1246-7405.
- ^ Anni, Samuele; Siksek, Samir (30 de agosto de 2016). "Curvas elípticas modulares sobre campos abelianos reales y la ecuación de Fermat generalizada x^{2ℓ} + y^{2m} = z^p". Álgebra y teoría de números . 10 (6): 1147–1172. arXiv : 1506.02860 . doi :10.2140/ant.2016.10.1147. ISSN 1944-7833. S2CID 118935511.
- ^ Billerey, Nicolás; Chen, Imin; Dembélé, Lassina; Dieulefait, Luis; Freitas, Nuño (5 de marzo de 2019). "Algunas extensiones del método modular y ecuaciones de firma de Fermat (13, 13, n)". arXiv : 1802.04330 [matemáticas.NT].
- ^ Kraus, Alain (1 de enero de 1998). "Sobre la ecuación a^3 + b^3 = c^p". Matemáticas Experimentales . 7 (1): 1–13. doi :10.1080/10586458.1998.10504355. ISSN 1058-6458.
- ^ Darmon, H.; Granville, A. (1995). "Sobre las ecuaciones zm = F(x, y) y Axp + Byq = Czr". Boletín de la Sociedad Matemática de Londres . 27 (6): 513–43. doi : 10.1112/blms/27.6.513 .
- ^ Wacław Sierpiński , Triángulos pitagóricos , Dover, 2003, pág. 55 (orig. Graduate School of Science, Yeshiva University, 1962).
- ^ Norvig, Peter. "La conjetura de Beal: una búsqueda de contraejemplos". Norvig.com . Consultado el 6 de marzo de 2014 .
- ^ "A261782 de Sloane (ver el teorema y su demostración en el comentario del 8 de mayo de 2021)". La enciclopedia en línea de secuencias de enteros . Fundación OEIS . Consultado el 19 de junio de 2021 .
- ^ Rahimi, Amir M. (2017). "Un enfoque elemental para la ecuación diofántica a x m + b y n = z r {\displaystyle ax^{m}+by^{n}=z^{r}} utilizando el centro de masa". Missouri J. Math. Sci . 29 (2): 115–124. doi :10.35834/mjms/1513306825.
- ^ Walter Hickey (5 de junio de 2013). "Si puede resolver este problema de matemáticas, un banquero de Texas le dará un millón de dólares". Business Insider . Consultado el 8 de julio de 2016 .
- ^ "Problema matemático de un millón de dólares: el banquero D. Andrew Beal ofrece un premio para resolver una conjetura que lleva 30 años sin resolverse". International Science Times. 5 de junio de 2013. Archivado desde el original el 29 de septiembre de 2017.
- ^ "Gaussianas desatendidas". Mathpuzzle.com . Consultado el 6 de marzo de 2014 .
Enlaces externos
- La página de la oficina del Premio Beal
- Conjetura de Beal.com
- Matemáticas.unt.edu
- Conjetura de Beal en PlanetMath .
- Discusión en Mathoverflow.net sobre el nombre y la fecha de origen del teorema