Cómo encontrar un polinomio [matemático] P (x) [/ matemático] con coeficientes enteros tales que [matemático] P (\ sqrt {2} + \ sqrt {3}) = 0 [/ matemático]

Calcule pacientemente las potencias del número que desea que sea la raíz del polinomio. Un polinomio con ese número como raíz es lo mismo que una relación lineal no trivial entre las potencias.

Usando el teorema binomial:

[matemática] \ left (\ sqrt {2} + \ sqrt {3} \ right) ^ 0 = 1 [/ math]

[matemáticas] \ left (\ sqrt {2} + \ sqrt {3} \ right) ^ 1 = \ sqrt {2} + \ sqrt {3} [/ math]

[matemática] \ left (\ sqrt {2} + \ sqrt {3} \ right) ^ 2 = 5 + 2 \ sqrt {6} [/ math]

Ay. Ahora tenemos un nuevo número irracional con el que lidiar. Esto no va en la dirección correcta.

[matemáticas] \ left (\ sqrt {2} + \ sqrt {3} \ right) ^ 3 = 11 \ sqrt {2} +9 \ sqrt {3} [/ math]

Hmm Aunque hemos visto estos dos números antes, no parece haber una manera fácil de deshacerse de ellos, porque sus coeficientes aquí (11 y 9) son diferentes mientras que antes ambos tenían el mismo coeficiente (1). Y el [math] \ sqrt {6} [/ math] no está siendo muy útil.

[matemática] \ left (\ sqrt {2} + \ sqrt {3} \ right) ^ 4 = 49 + 20 \ sqrt {6} [/ math]

¡Ajá! Hemos visto algo muy similar antes. El cuadrado tenía un [math] 2 \ sqrt {6} [/ math], y ahora tenemos un [math] 20 \ sqrt {6} [/ math]. Eso es fácil de manejar: si tomamos 10 veces el cuadrado y restamos de la cuarta potencia, [math] \ sqrt {6} [/ math] desaparecerá y nos quedarán solo números racionales. Ahora usemos [math] a [/ math] como nombre para [math] \ sqrt {2} + \ sqrt {3} [/ math].

[matemáticas] a ^ 4-10a ^ 2 = -1 [/ matemáticas]

[matemáticas] a ^ 4-10a ^ 2 + 1 = 0 [/ matemáticas]

Entonces, el polinomio que desea es [matemática] x ^ 4-10x ^ 2 + 1 [/ matemática].

¿Fue un milagro que la cuarta potencia se pareciera tanto a la segunda para que pudiéramos encontrar una combinación lineal que produjera 0? Realmente no. Si considera la estructura de expresiones como [math] (\ sqrt {2} + \ sqrt {3}) ^ n [/ math] cuando las expande, verá que consisten en combinaciones lineales de las raíces cuadradas de 2, 3, 6 y eso es todo. Por lo tanto, en algún momento se garantiza que tendrá suficiente redundancia para encontrar lo que está buscando. Los números [matemática] 1, \ sqrt {2}, \ sqrt {3}, \ sqrt {6} [/ matemática] son ​​linealmente independientes sobre los racionales, por lo que cuatro expresiones que los involucran pueden ser independientes, pero cinco no. Tan pronto como alcancemos la cuarta potencia (que es el quinto elemento de la secuencia, comenzando con la potencia 0), sabemos que debe haber una combinación que produzca 0.

Deje [math] x = \ sqrt {3} + \ sqrt {2} [/ math]
entonces, [matemáticas] \ frac {1} {x} = \ frac {1} {\ sqrt {3} + \ sqrt {2}} [/ matemáticas]
es decir. [matemáticas] \ frac {1} {x} = \ frac {1} {\ sqrt {3} + \ sqrt {2}} \ frac {\ sqrt {3} – \ sqrt {2}} {\ sqrt {3 } – \ sqrt {2}} [/ matemáticas]
[matemáticas] \ frac {1} {x} = \ sqrt {3} – \ sqrt {2} [/ matemáticas]
agregue las dos ecuaciones para obtener: [matemáticas] x + \ frac {1} {x} = 2 \ sqrt {3} [/ matemáticas]
Ajusta esto y obtén:
[matemáticas] x ^ {2} + \ frac {1} {x ^ {2}} + 2 = 12 [/ matemáticas]
que se simplifica a [matemáticas] x ^ {4} -10x ^ {2} + 1 = 0 [/ matemáticas]

El álgebra elemental (a nivel de la escuela intermedia) debería ser suficiente para encontrar un número infinito de polinomios relativamente primos por pares (de cuarto grado).

Primero definimos [matemáticas] f (x, a, b) = (ax + b) (ax-b) [/ matemáticas] y observamos que
[matemáticas] f (\ sqrt {2} + \ sqrt {3}, a, b) = 2a \ sqrt {6} + 5a ^ 2- b ^ 2 [/ matemáticas].

Ruta 1: Para eliminar el término irracional, o mejor dicho, hacerlo racional, simplemente podemos restar [matemática] 5a ^ 2- b ^ 2 [/ matemática] de ambos lados y cuadrar la ecuación resultante. El resultado es una ecuación polinómica con solo coeficientes enteros:
[matemáticas] (f (\ sqrt {2} + \ sqrt {3}, a, b) – (5a ^ 2- b ^ 2)) ^ 2 -24a ^ 2 = 0 [/ matemáticas].

Camino 2:
Como [math] 5a ^ 2 [/ math] y [math] b ^ 2 [/ math] nunca se cancelarán entre sí, no podemos simplemente cuadrar [math] f (x, a, b) [/ math] para transformar el término [math] 2a \ sqrt {6} [/ math] en un número racional. En su lugar, intentaremos encontrar [math] b_1 [/ math] y [math] b_2 [/ math] de modo que
[matemáticas] 5a ^ 2 – b_1 ^ 2 = – (5a ^ 2 – b_2 ^ 2) [/ matemáticas].
De esta manera podemos multiplicar [matemáticas] f (\ sqrt {2} + \ sqrt {3}, a, b_1) [/ matemáticas] y [matemáticas] f (\ sqrt {2} + \ sqrt {3}, a, b_2) [/ math] para deshacerse del término irracional [math] 2a \ sqrt {6} [/ math].

Más específicamente, dados tres enteros, [matemática] a, b_1, b_2 [/ matemática] tal que
[matemáticas] 5a ^ 2 – b_1 ^ 2 = – (5a ^ 2 – b_2 ^ 2) [/ matemáticas],
definimos un polinomio de cuarto grado [matemática] P (x) [/ matemática] como
[matemáticas] P (x) = f (x, a, b_1) f (x, a, b_2) – G (a, b_1, b_2) [/ matemáticas]
donde, [matemáticas] G (a, b_1, b_2) = 24 – (5a ^ 2 – b_1 ^ 2) ^ 2 [/ matemáticas].

Y tenemos
[matemáticas] P (\ sqrt {2} + \ sqrt {3}) [/ matemáticas]
[matemáticas] = f (\ sqrt {2} + \ sqrt {3}, a, b_1) f (\ sqrt {2} + \ sqrt {3}, a, b_2) [/ matemáticas]
[matemáticas] – G (a, b_1, b_2) [/ matemáticas]
[matemáticas] = (2a \ sqrt {6} + 5a ^ 2- b_1 ^ 2) (2a \ sqrt {6} – (5a ^ 2- b_1 ^ 2)) [/ matemáticas]
[matemáticas] – G (a, b_1, b_2) [/ matemáticas]
[matemáticas] = G (a, b_1, b_2) – G (a, b_1, b_2) = 0 [/ matemáticas]

Entonces la clave es encontrar las soluciones enteras para
[matemáticas] 5a ^ 2 – b_1 ^ 2 = – (5a ^ 2 – b_2 ^ 2) [/ matemáticas]
o equivalente,
[matemáticas] 10a ^ 2 = b_1 ^ 2 + b_2 ^ 2 [/ matemáticas].
Esta ecuación tiene un número infinito de soluciones distintas, en el sentido de que son co-primos por pares. Según la función de suma de cuadrados, un entero positivo puede representarse como la suma de dos cuadrados si y solo si cada uno de sus factores primos de la forma [matemática] 4k + 3 [/ matemática] ocurre como una potencia par, como se estableció por primera vez por Euler en 1738. Dado que 10 carece de tales factores primos, somos libres de elegir cualquier número entero [math] a [/ math] siempre que cada uno de sus factores primos de la forma [math] 4k + 3 [/ math] ocurre como un poder parejo. Por lo tanto, tenemos las siguientes soluciones (entre un número infinito de ellas).

[matemática] a = 1, b_1 = 1, b_2 = 3 [/ matemática] que conduce al polinomio que otros autores han encontrado.
[matemáticas] f (x, 1, 1) \ cdot f (x, 1, 3) – (24 – (5-1) ^ 2) [/ matemáticas] que es
[matemáticas] (x + 1) (x-1) (x + 3) (x-3) – 8 [/ matemáticas].

[matemáticas] a = 5, b_1 = 9, b_2 = 13 [/ matemáticas] que conduce a un nuevo polinomio
[matemáticas] (5x + 9) (5x-9) (5x + 13) (5x-13) + 3020 [/ matemáticas].

Llame a [math] \ alpha = \ sqrt {2} + \ sqrt {3} [/ math]. Una forma es pensar en conjugados de [math] \ alpha [/ math].

Sabemos que [math] \ mathbb {Q} (\ alpha) = \ mathbb {Q} (\ sqrt {2}, \ sqrt {3}) [/ math]. Esto significa que la acción de un automorfismo en [math] \ alpha [/ math] está determinada por su acción en [math] \ sqrt {2} [/ math] y [math] \ sqrt {3} [/ math]. Conocemos todo eso: todo lo que un automorfismo puede hacerles es moverlos a su punto negativo.

Por lo tanto, si tomamos el producto de todos los factores lineales posibles que consisten en imágenes automórficas de [math] \ alpha [/ math], obtendremos un polinomio
[matemáticas] \ left (x – (\ sqrt {2} + \ sqrt {3}) \ right) [/ math] [matemáticas] \ left (x – (\ sqrt {2} – \ sqrt {3}) \ derecha) [/ matemáticas] [matemáticas] \ izquierda (x – (- \ sqrt {2} + \ sqrt {3}) \ derecha) [/ matemáticas] [matemáticas] \ izquierda (x – (- \ sqrt {2} – \ sqrt {3}) \ right) [/ math] [math] = x ^ 4 – 10 x ^ 2 + 1 [/ math]
con coeficientes enteros. (Puede que no sea irreducible, por supuesto, aunque en este caso lo es).

Encuentra los poderes
[matemáticas] \ begin {align}
a & = \ sqrt {2} + \ sqrt {3} \\
a ^ 2 & = 5 + 2 \ sqrt {6} \\
a ^ 3 & = 11 \ sqrt {2} + 9 \ sqrt {3}
\ end {align} [/ math]
El término cúbico nos da una pista, podemos usar una combinación lineal para eliminar el término raíz 3 [matemáticas] a ^ 3-9a = 2 \ sqrt {2} [/ matemáticas]. Cuadrado [matemáticas] (a ^ 3-9a) ^ 2 = 8 [/ matemáticas] que da una solución. Expandir tenemos [matemáticas] a ^ 6-18a ^ 4-81 a ^ 2 = 8 [/ matemáticas] De ahí el polinomio
[matemáticas] x ^ 6-18x ^ 4-81 x ^ 2-8 [/ matemáticas] tendrá una solución.

Tenga en cuenta que esta no es la solución más simple como [matemáticas] x ^ 6-18 x ^ 4-81 x ^ 2-8 [/ matemáticas] [matemáticas] = (x ^ 2-8) (x ^ 4-10 x ^ 2 +1) [/ math] por lo que encaja con las otras respuestas.

Un enfoque alternativo
la raíz de una cuadrática es para for e + sqrt (f)
pero desde la forma de x = sqrt2 + sqrt3
debemos usar x ^ 2
es decir, y = x ^ 2 = 5 + 2sqrt6 y ahora resuelve una cuadrática en y
y ^ 2 + por + c = 0
y = (- b + sqrt (b ^ 2-4c)) / 2 = 5 + 2sqrt6
equiparar las partes racional y surd por separado
por lo tanto -b / 2 = 5 o b = -10
2sqrt6 = sqrt (10 ^ 2-4c) / 2
Encuadrelo
24 = 25-c
c = 1
por lo tanto, la forma de la cuadrática en y es
y ^ 2-10y + 1 = 0 raíces de y son 5 + -2sqrt (6)
x ^ 4-10x ^ 2 + 1 = 0 raíces de x son + -sqrt (y) = + -sqrt2 + -sqrt3

[matemáticas] x = \ sqrt {2} + \ sqrt {3} [/ matemáticas]
[matemáticas] x ^ 2 = 2 + 2 \ sqrt {2} \ sqrt {3} + 3 [/ matemáticas]
[matemáticas] x ^ 2-5 = 2 \ sqrt {6} [/ matemáticas]
[matemáticas] (x ^ 2-5) ^ 2 = 24 [/ matemáticas]
[matemáticas] x ^ 4-10x ^ 2 + 1 = 0 [/ matemáticas]

El polinomio tendrá un factor

[matemáticas] (x – (\ sqrt {2} + \ sqrt {3})) [/ matemáticas]

Multiplica para obtener la diferencia de dos cuadrados

[matemáticas] (x – (\ sqrt {2} + \ sqrt {3})) (x + (\ sqrt {2} + \ sqrt {3})) [/ matemáticas]

[matemáticas] (x ^ 2- (5 + 2 \ sqrt {6})) [/ matemáticas]

Y hazlo de nuevo, obtendrás el mismo polinomio que en las otras respuestas

[matemáticas] ((x ^ 2-5) +2 \ sqrt {6}) ((x ^ 2-5) -2 \ sqrt {6})) [/ matemáticas]

[matemáticas] x = \ sqrt {2} + \ sqrt {3} [/ matemáticas]
[matemáticas] x- \ sqrt {3} = \ sqrt {2} [/ matemáticas]
Cuadrado a ambos lados:
[matemáticas] x ^ 2-2 \ sqrt {3} x + 3 = 2 [/ matemáticas]
[matemáticas] x ^ 2 + 1 = 2 \ sqrt {3} x [/ matemáticas]
Cuadrado a ambos lados:
[matemáticas] x ^ 4 + 2x ^ 2 + 1 = 12x ^ 2 [/ matemáticas]
[matemáticas] x ^ 4-10x ^ 2 + 1 = 0 [/ matemáticas]

Dado que [matemáticas] 2 ^ 0,5 + 3 ^ (0.5) [/ matemáticas] es una raíz [matemáticas] x- (2 ^ 0.5 + 3 ^ 0.5) [/ matemáticas]
Es un factor. Observe que [matemáticas] (x- (2 ^ 0.5 + 3 ^ 0.5)) * (x- (2 ^ 0.5-3 ^ 0.5)) = x ^ 2 + 2-3-x * 2 * 2 ^ 0.5 = x ^ 2-2 ^ 1.5 * x-1 = (x ^ 2-1) -2 ^ 1.5 * x [/ matemáticas]. En la última línea, separé la parte entera de la parte no entera. Nuestro siguiente paso debería consistir en multiplicar el coeficiente [matemático] 2 ^ 1.5 [/ matemático] con algo que lo convierta en un entero. En el proceso también debemos evitar crear nuevos coeficientes no enteros (irracionales). Podemos hacer esto de la siguiente manera:
[matemáticas] ((x ^ 2-1) -2 ^ 1.5 * x) * ((x ^ 2-1) + 2 ^ 1.5 * x) [/ matemáticas]. Este polinomio es igual a [matemáticas] (x ^ 2-1) ^ 2-2 ^ 3 * x ^ 2 = x ^ 4-2x ^ 2 + 1-8x ^ 2 = x ^ 4-10x ^ 2 + 1 [/ matemáticas ] y todavía tiene [matemáticas] x- (2 ^ 0.5 + 3 ^ 0.5) [/ matemáticas] como raíz.

* A2A

Bien, la pregunta necesita una pequeña mejora, creo. Verás por qué

Dado que

[matemáticas] x = \ sqrt {2} + \ sqrt {3} [/ matemáticas] es una raíz

[matemáticas] \ implica x- \ sqrt {2} = \ sqrt {3} [/ matemáticas]

[matemáticas] \ implica x ^ 2-2 \ sqrt {2} x + 2 = 3 [/ matemáticas]

[matemáticas] \ implica x ^ 2–1 = 2 \ sqrt {2} x [/ matemáticas]

[matemáticas] \ implica x ^ 4–2x ^ 2 + 1 = 8x ^ 2 [/ matemáticas]

[matemáticas] \ implica x ^ 4–10x ^ 2 + 1 = 0 [/ matemáticas]

La pregunta puede reformularse como

“[Math] \ sqrt {2} + \ sqrt {3} [/ math] es una raíz de la ecuación, encuentra la ecuación con el menor grado posible.

Solo por diversión:
[matemáticas] (x – \ sqrt {2} + \ sqrt {3}) (x – \ sqrt {2} – \ sqrt {3}) [/ matemáticas] [matemáticas] (x + \ sqrt {2} – \ sqrt {3}) (x + \ sqrt {2} + \ sqrt {3}) [/ math]

Las personas que entienden un poco la teoría de Galois saben por qué.

Para quienes gustan del álgebra lineal, considere un espacio vectorial [math] \ mathbf {Q} 1 + \ mathbf {Q} \ sqrt {2} + \ mathbf {Q} \ sqrt {3} + \ mathbf {Q} \ sqrt { 6} [/ math] y escribe una multiplicación por [math] \ sqrt {2} + \ sqrt {3} [/ math] en alguna de sus bases. Luego calcule el polinomio característico de esa matriz. Probablemente sea la forma más larga de obtener una respuesta.

Para este número, verá que x ^ 2 + x ^ -2 = 10, entonces x ^ 4 – 10x ^ 2 + 1 tiene esto como solución.

Given la raíz dada es una sorpresa.

Polinomios con surds como ceros, los surds son pares conjugados.

⑵ Sea x = √2 ± √3, cuadrando

x² = 2 + 3 ± 2√6

x²-5 = ± 2√6

Cuadratura,

(x²-5) ² = 24

en expansión,

x ^ 4–10x² + 25–24 = 0

x ^ 4 -10x² + 1 = 0 …… un cuarto con coeficientes integerales / racionales que tienen ceros suizos √2 ± √3

Ningún cúbico / cuadrático con coeficientes racionales puede tener √2 ± √3 ceros

El polinomio de coeficientes enteros de grado más pequeño para el cual √2 + √3 es cero es de grado 4