Con muchos teoremas matemáticos, particularmente en matemáticas puras, no es fácil identificar un significado para su prueba o por qué sería útil.
El teorema de Friedlander-Iwaniec se considera actualmente como un paso para probar uno de los problemas de Landau, la conjetura de los Primos Cercanos al Cuadrado que establece que existen infinitos números primos de la forma [math] a ^ 2 + 1 [/ math]. Es claro ver que mostrar que existen infinitos números primos de la forma [matemáticas] a ^ 2 + b ^ 4 [/ matemáticas] es un buen comienzo.
Dicho esto, supongo que es plausible que incorpore el teorema de Friedlander-Iwaniec en algoritmos de búsqueda primaria, algo así como el algoritmo Mersenne Prime. Sin embargo, no estoy seguro de cuán efectivo sería.
Por último, y esto es un poco exagerado, si te encuentras con un número de la forma [matemáticas] a ^ {2m} + b ^ {4n} [/ matemáticas] (en una prueba, por ejemplo), puedes decir con ¡Confianza en que el número no es necesariamente compuesto!
- ¿Cuál es el resto cuando 15 ^ 40 dividido por 1309?
- Si x no es un factor de pyq, ¿puede x ser un factor de p ^ 5 + q ^ 4 y p ^ 4 + q ^ 3? Si no, ¿cómo?
- Cómo contar cuántos triples (a, b, c) satisfacen [matemáticas] a ^ 2 + b ^ 2 \ equiv c ^ 2 \ mod {n}, 1 \ leq a, b, c \ leq n – 1, a \ leq b [/ math]
- Física: ¿Cómo se desvanece el pseudo tensor de Einstein [matemáticas] t_u {} ^ v [/ matemáticas] en la solución de Schwarzschild?
- Dado N, ¿cuál es el valor de [matemáticas] \ sum_ {k = 1} ^ {N} \ frac {k} {gcd (k, N)} [/ matemáticas]?