¿Cuántos pares ordenados [matemática] (x, y) [/ matemática] existen (donde [matemática] x, y [/ matemática] son ​​números primos), de modo que [matemática] x ^ 2 – 2y ^ 2 = 1 [/ matemáticas]?

Aquí hay otra solución.
Reorganizando la ecuación que obtenemos
[matemáticas] x ^ 2-1 = 2y ^ 2 [/ matemáticas]
[matemáticas] (x-1) (x + 1) = 2y ^ 2 [/ matemáticas]
Como [math] y [/ math] es un número primo, [math] 2y ^ 2 [/ math] solo puede ser el producto de 1 y [math] 2y ^ 2 [/ math], o 2 y [math] y ^ 2 [/ matemáticas], o [matemáticas] y [/ matemáticas] y [matemáticas] 2y [/ matemáticas]. Por lo tanto (notar que [math] y [/ math] no es menor que 2)

1)
[matemáticas] x-1 = 1 [/ matemáticas]
[matemáticas] x + 1 = 2y ^ 2 [/ matemáticas]
Solución: [math] y [/ math] no es un número entero.

2)
[matemáticas] x-1 = 2 [/ matemáticas]
[matemáticas] x + 1 = y ^ 2 [/ matemáticas]
Solución: [matemáticas] x = 3, y = 2 [/ matemáticas]

3)
[matemáticas] x-1 = y [/ matemáticas]
[matemáticas] x + 1 = 2y [/ matemáticas]
Solución: [matemáticas] x = 3, y = 2 [/ matemáticas]

Respuesta: [matemáticas] x = 3, y = 2 [/ matemáticas]

Como [math] x ^ 2–1 = 2y ^ 2 [/ math] es par, [math] x [/ math] es impar. Así [matemáticas] 8 \ mid (x ^ 2–1) [/ matemáticas], de modo que [matemáticas] 4 \ mid y ^ 2 [/ matemáticas]. Entonces [math] y [/ math] es par, y por lo tanto [math] 2 [/ math], ya que [math] y [/ math] es primo . Por lo tanto, [matemáticas] x = 3 [/ matemáticas].

El único par ordenado es [matemáticas] (3,2) [/ matemáticas]. [matemáticas] \ blacksquare [/ matemáticas]

More Interesting

¿Cuáles son los escándalos más interesantes en la historia de las matemáticas?

Encuentre todos los enteros positivos a, b, c y el número primo p, de modo que la igualdad dada se mantenga: a ^ p + b ^ p = p ^ c?

¿Cuáles son los avances más actuales en el campo de la teoría de números en términos de la hipótesis de Riemann?

Deje que [math] K [/ math] sea un campo. Considere [math] A = \ underset {\ mathbf {N} _0} {\ bigoplus} K [/ math] con una estructura aditiva natural. ¿Cómo encuentras que algunas o mejor describen todas las estructuras multiplicativas en [matemáticas] A [/ matemáticas] convirtiéndolas en un anillo conmutativo ([matemáticas] K [/ matemáticas] -álgebra) con identidad?

¿De cuántas maneras se pueden sentar ocho personas, indicadas [matemáticas] A, B, \ ldots, H [/ matemáticas], alrededor de una mesa cuadrada con capacidad para dos personas en cada lado, de modo que dos de las ocho personas digan [matemáticas] A [/ matemáticas] y [matemáticas] B [/ matemáticas], ¿no se sientan uno al lado del otro?

¿Es el equivalente euclidiano a UFD para dominios cuadráticos sobre enteros (es decir, [matemática] Z [\ sqrt {D}] [/ matemática]), donde [matemática] D [/ matemática] también es un entero?

Dado que n es un número natural yn ^ 3 tiene 16 factores. Entonces, ¿cuántos factores máximos puede tener n ^ 4?

¿Por qué las personas aparentemente inteligentes pierden su tiempo y el de los demás al demostrar que la suma de todos los números naturales positivos es igual a -1/12, cuando la lógica simple dicta que su prueba es incorrecta?

Si encontraras un método confiable para factorizar cualquier número entero instantáneamente, ¿cuál sería la mejor manera de aprovechar esta capacidad?

¿Cuál es el número máximo de implicantes primos posibles para una función booleana n-variable?