La conjetura catalana
La conjetura de Catalan (o teorema de Mihăilescu) es un teorema de teoría de números que fue conjeturado por el matemático Eugène Charles Catalan en 1844 y probado en 2002 por Preda Mihăilescu en la Universidad de Paderborn. Los enteros 23 y 32 son dos potencias perfectas (es decir, potencias de exponente mayor que uno) de números naturales cuyos valores (8 y 9, respectivamente) son consecutivos. El teorema establece que este es el único caso de dos potencias perfectas consecutivas. Es decir, que
Conjetura catalana—la única solución en el número natural de
- xa− − Sí.b=1{displaystyle x^{a}-y^{b}=1}
para a, b ■ 1, x, Sí. ■ 0 es x = 3, a = 2, Sí. = 2, b = 3.
Historia
La historia del problema se remonta al menos a Gersonides, quien demostró un caso especial de la conjetura en 1343 donde (x, y) estaba restringido a ser (2, 3) o (3, 2). El primer progreso significativo después de que Catalan hiciera su conjetura se produjo en 1850 cuando Victor-Amédée Lebesgue se ocupó del caso b = 2.
En 1976, Robert Tijdeman aplicó el método de Baker en teoría de la trascendencia para establecer un vínculo en a,b y utilizó los resultados existentes ligados x,Sí. en términos de a, b para dar un límite superior efectivo x,Sí.,a,b. Michel Langevin computó un valor exp exp exp exp 730.. 10101010317{displaystyle exp exp exp 730approx 10^{10^{10^{10^{317}}}}} para el límite, resolviendo la conjetura de catalán para todos, pero un número finito de casos.
La conjetura de Catalan fue probada por Preda Mihăilescu en abril de 2002. La prueba fue publicada en el Journal für die reine und angewandte Mathematik, 2004. Hace un uso extensivo de la teoría de la ciclotómica campos y módulos Galois. Yuri Bilu hizo una exposición de la prueba en el Séminaire Bourbaki. En 2005, Mihăilescu publicó una prueba simplificada.
Conjetura de Pillai
¿Cada entero positivo ocurre sólo finitamente muchas veces como una diferencia de poderes perfectos?
Conjetura de Pillai se refiere a una diferencia general de poderes perfectos (secuencia A001597 en el OEIS): es un problema abierto propuesto inicialmente por S. S. Pillai, quien conjetura que las brechas en la secuencia de poderes perfectos tienden a infinito. Esto equivale a decir que cada entero positivo ocurre sólo finitamente muchas veces como una diferencia de poderes perfectos: más generalmente, en 1931 Pillai conjetura que para enteros positivos fijos A, B, C la ecuación Axn− − BSí.m=C{displaystyle Ax^{n}-By^{m}=C} tiene solamente muchas soluciones finitas (x,Sí.,m,nCon...m,n) ل (2, 2). Pillai demostró que la diferencia SilencioAxn− − BSí.mSilencio≫ ≫ xλ λ n{displaystyle ¦Ax^{n}-By^{m} No. para cualquier λ menos de 1, uniformemente en m y n.
La conjetura general se derivaría de la conjetura ABC.
Paul Erdős conjetura que la secuencia ascendente ()an)n▪ ▪ N{displaystyle (a_{n})_{nin mathbb {N} de los poderes perfectos satisfies n^{c}}" xmlns="http://www.w3.org/1998/Math/MathML">an+1− − an■nc{displaystyle a_{n+1}-a_{n} {c}n^{c}}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/0f240631b4e48a1bb84c0047e6ede15936a61cb0" style="vertical-align: -0.671ex; width:15.275ex; height:2.676ex;"/> para alguna constante positiva c y todo lo suficientemente granden.
La conjetura de Pillai significa que para cada número natural n, solo hay un número finito de pares de potencias perfectas con diferencia n. La siguiente lista muestra, para n ≤ 64, todas las soluciones para potencias perfectas inferiores a 1018, como OEIS: A076427. Consulte también OEIS: A103953 para conocer la solución más pequeña (> 0).
n | solución Cuenta | números k tales que k y k + n son ambos poderes perfectos | n | solución Cuenta | números k tales que k y k + n son ambos poderes perfectos | |
---|---|---|---|---|---|---|
1 | 1 | 8 | 33 | 2 | 16, 256 | |
2 | 1 | 25 | 34 | 0 | ninguno | |
3 | 2 | 1, 125 | 35 | 3 | 1, 289, 1296 | |
4 | 3 | 4, 32, 121 | 36 | 2 | 64, 1728 | |
5 | 2 | 4, 27 | 37 | 3 | 27, 324, 14348907 | |
6 | 0 | ninguno | 38 | 1 | 1331 | |
7 | 5 | 1, 9, 25, 121, 32761 | 39 | 4 | 25, 361, 961, 10609 | |
8 | 3 | 1, 8, 97336 | 40 | 4 | 9, 81, 216, 2704 | |
9 | 4 | 16, 27, 216, 64000 | 41 | 3 | 8, 128, 400 | |
10 | 1 | 2187 | 42 | 0 | ninguno | |
11 | 4 | 16, 25, 3125, 3364 | 43 | 1 | 441 | |
12 | 2 | 4, 2197 | 44 | 3 | 81, 100, 125 | |
13 | 3 | 36, 243, 4900 | 45 | 4 | 4, 36, 484, 9216 | |
14 | 0 | ninguno | 46 | 1 | 243 | |
15 | 3 | 1, 49, 1295029 | 47 | 6 | 81, 169, 196, 529, 1681, 250000 | |
16 | 3 | 9, 16, 128 | 48 | 4 | 1, 16, 121, 21904 | |
17 | 7 | 8, 32, 64, 512, 79507, 140608, 143384152904 | 49 | 3 | 32, 576, 274576 | |
18 | 3 | 9, 225, 343 | 50 | 0 | ninguno | |
19 | 5 | 8, 81, 125, 324, 503284356 | 51 | 2 | 49, 625 | |
20 | 2 | 16, 196 | 52 | 1 | 144 | |
21 | 2 | 4, 100 | 53 | 2 | 676, 24336 | |
22 | 2 | 27, 2187 | 54 | 2 | 27, 289 | |
23 | 4 | 4, 9, 121, 2025 | 55 | 3 | 9, 729, 175561 | |
24 | 5 | 1, 8, 25, 1000, 542939080312 | 56 | 4 | 8, 25, 169, 5776 | |
25 | 2 | 100, 144 | 57 | 3 | 64, 343, 784 | |
26 | 3 | 1, 42849, 6436343 | 58 | 0 | ninguno | |
27 | 3 | 9, 169, 216 | 59 | 1 | 841 | |
28 | 7 | 4, 8, 36, 100, 484, 50625, 131044 | 60 | 4 | 4, 196, 2515396, 2535525316 | |
29 | 1 | 196 | 61 | 2 | 64, 900 | |
30 | 1 | 6859 | 62 | 0 | ninguno | |
31 | 2 | 1, 225 | 63 | 4 | 1, 81, 961, 183250369 | |
32 | 4 | 4, 32, 49, 7744 | 64 | 4 | 36, 64, 225, 512 |
Contenido relacionado
Metamatemáticas
Patrón
Función integral logarítmica