¿Cuál es una manera de mostrar que no hay enteros positivos n para los cuales [matemáticas] n ^ 4 + 2n ^ 3 + 2n ^ 2 + 2n + 1 [/ matemáticas] es un cuadrado perfecto? ¿Hay algún número entero positivo n para el cual [matemáticas] n ^ 4 + n ^ 3 + n ^ 2 + n + 1 [/ matemáticas] es un cuadrado perfecto?

Parte 1
Sea [matemática] N = n ^ 4 + 2n ^ 3 + 2n ^ 2 + 2n + 1 [/ matemática]
[matemáticas] N – (n ^ 2 + 2n + 1) <N <N + n ^ 2 [/ matemáticas]
[matemáticas] n ^ 4 + 2n ^ 3 + n ^ 2 <N <n ^ 4 + 2n ^ 3 + 3n ^ 2 + 2n + 1 [/ matemáticas]
[matemáticas] (n ^ 2 + n) ^ 2 <N <(n ^ 2 + n + 1) ^ 2 [/ matemáticas]

Ahora N está entre el cuadrado y dos números consecutivos [matemática] n ^ 2 + n [/ matemática] y [matemática] n ^ 2 + n + 1 [/ matemática], por lo que no puede ser un cuadrado perfecto.

Parte 2
Sea [matemática] P = n ^ 4 + n ^ 3 + n ^ 2 + n + 1 [/ matemática]
Considere la cantidad [matemática] 4P [/ matemática] y haga lo siguiente

[matemáticas] 4P – (3n ^ 2 + 4n + 4) <4P <4P + 5n ^ 2 [/ matemáticas]
[matemáticas] 4n ^ 4 + 4n ^ 3 + n ^ 2 <4P [/ matemáticas] [matemáticas] <4n ^ 4 + 4n ^ 3 + 9n ^ 2 + 4n + 4 [/ matemáticas]
[matemáticas] (2n ^ 2 + n) ^ 2 <4P <(2n ^ 2 + n) ^ 2 + 4 (2n ^ 2 + n) + 4 [/ matemáticas]
[matemáticas] (2n ^ 2 + n) ^ 2 <4P <(2n ^ 2 + n + 2) ^ 2 [/ matemáticas]

Ahora [matemática] 4P [/ matemática] se encuentra entre el cuadrado de los números [matemática] A [/ matemática] y [matemática] A + 2 [/ matemática] donde [matemática] A = 2n ^ 2 + n [/ matemática] y para que sea un cuadrado perfecto, debe ser igual al cuadrado de [matemáticas] A + 1 [/ matemáticas]. Entonces
[matemáticas] 4P = (A + 1) ^ 2 [/ matemáticas]
[matemáticas] 4 (n ^ 4 + n ^ 3 + n ^ 2 + n + 1) = (2n ^ 2 + n + 1) ^ 2 [/ matemáticas]
[matemáticas] 4 (n ^ 4 + n ^ 3 + n ^ 2 + n + 1) [/ matemáticas] [matemáticas] = 4n ^ 4 + 4n ^ 3 + 5n ^ 2 + 2n + 1 [/ matemáticas]
[matemáticas] 4 (n ^ 2 + n + 1) = 5n ^ 2 + 2n + 1 [/ matemáticas]
[matemáticas] n ^ 2 – 2n – 3 = 0 [/ matemáticas]
[matemáticas] n = -1, 3 [/ matemáticas]

n ^ 4 + 2n ^ 3 + 2n ^ 2 + 2n + 1 —- (a)
= (n ^ 2) (n + 1) ^ 2 + (n + 1) ^ 2
= ((n + 1) ^ 2) (n ^ 2 + 1)

Ahora supongamos que (a) es un cuadrado perfecto.
Entonces, sea (n + 1) ^ 2 = (k ^ 2) (n ^ 2 + 1)
k es cualquier número natural.
para k = 1, n = 0 (no es posible ya que n es natural)

Así k> = 2 —- (b)

=> (k ^ 2 – 1) n ^ 2 – 2n + (k ^ 2 – 1)
Ahora para que n sea real, discriminante (D)> = 0

D = 4 – 4 (k ^ 4 – 2k ^ 2 + 1)
= 4 (k ^ 2) (2-k ^ 2)
De (b), k> = 2 implica k ^ 2> = 4
Por lo tanto, D NUESTRA ASUNCIÓN ES INCORRECTA y para ningún valor de ‘n’, (a) puede ser un cuadrado perfecto.

More Interesting

¿Cuál es una fórmula para calcular la suma de todas las permutaciones de un número dado con repeticiones?

Sea [math] d (n) [/ math] el número de factores positivos, incluidos [math] 1 [/ math] y [math] n, [/ math] de un entero positivo [math] n [/ math] . ¿Cómo encontramos la suma de todas [matemáticas] n [/ matemáticas] de modo que [matemáticas] d (n) = \ frac {n} {3} [/ matemáticas]? Cualquier prueba elegante de por qué estos son los únicos valores de [math] n [/ math] son ​​bienvenidos pero no obligatorios.

Cómo explicar qué sucede cuando sustituye directamente los valores de la tira crítica en la función sin continuación analítica en una función zeta de Riemann

¿Cuál es el resto cuando 123, 123, … (hasta 300 dígitos) se divide por 999?

Dado el logaritmo natural [math] \ ln x [/ math] (y tal vez iniciar sesión con cualquier base) y un vector [math] A \ in \ mathcal {R} ^ n [/ math], ¿cómo sería [math] \ ln ¿Un trabajo [/ matemático]?

¿Qué sucede si alguien descubre un algoritmo de tiempo polinómico para problemas de factorización de enteros?

1 coulomb es 1 amperio por segundo y 1 ampere es 1 coulomb por segundo (eso es lo que dice Wikipedia). Estoy un poco confundida. ¿Qué significa esto?

¿Hay mapas de multiplicación no triviales [math] \ mathbb {Z} _ {2n} \ to \ mathbb {Z} _ {2n} [/ math] que mapean los restos positivos [math] \ mod 2n [/ math] biyectivamente en sí mismos ? (Ver detalles de la pregunta)

¿Es [math] 4x [/ math] una función?

¿Cómo podemos demostrar que la ecuación [matemáticas] a ^ 2 + b ^ 2 + c ^ 2 = (ab) (bc) (ca) [/ matemáticas] tiene infinitas soluciones enteras?