Cómo demostrar que si [math] \ sqrt a + \ sqrt b [/ math] es una raíz de [math] P (x) [/ math] y [math] P (x) [/ math] tiene coeficientes racionales, entonces [math] \ sqrt a- \ sqrt b, \ sqrt b- \ sqrt a, – \ sqrt a- \ sqrt b [/ math] también son raíces de [math] P (x) [/ math]

En primer lugar, [matemáticas] a [/ matemáticas] y [matemáticas] b [/ matemáticas] no deben ser cuadrados perfectos, solo entonces podemos proceder.

En segundo lugar, [matemáticas] P (x) [/ matemáticas] tiene que ser un polinomio de cuatro grados o más para tener coeficientes racionales, a pesar de tener raíces tan irracionales.

Entonces, ahora que está establecido que [matemáticas] P (x) [/ matemáticas] tiene que ser de cuatro grados o más, sigamos adelante.

Digamos que las raíces son [matemáticas] \ sqrt {a} + \ sqrt {b} [/ matemáticas], p, q, r.

Luego

[matemáticas] P (x) = (x – (\ sqrt {a} + \ sqrt {b})) (xp) (xq) (xr) [/ math]

Expandiendo esto:
[matemáticas] P (x) = x ^ {4} – (\ sqrt {a} + \ sqrt {b} + p + q + r) x ^ {3} + ((p + q + r) (\ sqrt {a} + \ sqrt {b})) x ^ {2} – (pqr + (\ sqrt {a} + \ sqrt {b}) (pq + qr + rp)) x + pqr (\ sqrt {a} + \ sqrt {b}) [/ math]

Entonces, todos los coeficientes para ser racionales,
[matemáticas] (\ sqrt {a} + \ sqrt {b} + p + q + r) [/ matemáticas], [matemáticas] (p + q + r) (\ sqrt {a} + \ sqrt {b}) [/ math], [math] (pqr + (\ sqrt {a} + \ sqrt {b}) (pq + qr + rp)) [/ math] y [math] pqr (\ sqrt {a} + \ sqrt {b}) [/ math] todos tienen que ser racionales.

Un número como [math] pqr (\ sqrt {a} + \ sqrt {b}) [/ math] puede ser racional solo cuando [math] pqr [/ math] es el conjugado irracional, es decir, [math] pqr = k ( \ sqrt {a} – \ sqrt {b}) [/ math]. Pero también hay otras restricciones. Dado que los otros coeficientes involucran [matemática] (\ sqrt {a} + \ sqrt {b} + p + q + r) [/ matemática] nuevamente siendo racional, la única posibilidad es [matemática] (p + q + r) = – (\ sqrt {a} + \ sqrt {b}) [/ math], ya que no hay otra forma de agregar un número irracional a otro número para obtener un número racional.

Expanda todos los coeficientes anteriores y del mismo razonamiento, obtendrá [matemática] p [/ matemática], [matemática] q [/ matemática] y [matemática] r [/ matemática].

More Interesting

¿Cuáles son algunas áreas interesantes de investigación / estudio en filosofía de las matemáticas? ¿Cómo afectan / impactan las matemáticas como tales?

¿Qué tan difícil es para un estudiante de pregrado (CS + Math Major) en UIUC ingresar a su escuela de posgrado para CS?

¿Cómo puede 0! ¡y 1! tener el mismo valor?

Cómo resolver log 36 a la base 16 = 1 - log x a la base de 4

¿Es una certeza matemática o una gran posibilidad de que la singularidad tecnológica ocurra en los próximos 30-40 años?

Si [matemática] a ^ 2 + b ^ 2 = 2 [/ matemática] y [matemática] c ^ 2 + d ^ 2 = 1 [/ matemática] entonces el valor de [matemática] (ad-bc) ^ 2 + ( ac + bd) ^ 2 [/ math] es igual a?

¿Cuál es la cardinalidad del conjunto de todas las cardinalidades?

¿La comunidad de matemáticos sería bienvenida a las nuevas ideas que se originan fuera de esa comunidad si se adhieren a las reglas de la verdad matemática?

¿Cuáles son las ramas más útiles de las Matemáticas en el mundo real / práctico y algunas ramas teóricas realistas que muestran potencial para ser utilizado para algo extraordinario?

¿Por qué x es igual a cero y no a tres en (1-x) / x = (4 - 4x) / x?

Encuentre la cantidad de arreglos que se pueden hacer tomando 4 letras de la palabra ENTRADA.

¿Qué desigualdad presenta todos los números reales que son al menos 3 unidades de -2?

¿Cuáles son algunos hechos alucinantes sobre las matemáticas?

¿Cómo es la proporción áurea equivalente a aprox. 1.618?

¿Existen aplicaciones de la vida real de sistemas subdeterminados de ecuaciones lineales?