Utilizando el Fórmula Cardano se puede demostrar que $\sqrt[3]{20+14\sqrt{2}}+\sqrt[3]{20-14\sqrt{2}}$ es una raíz real de la cúbica deprimida $f(x)=x^3-6x-40$ . En realidad, se puede demostrar mediante el cálculo del determinante que ésta es la única raíz real. Por otra parte, por el teorema de la raíz racional, se puede ver que la posible raíz racional debe ser un factor de 40 y se puede comprobar que $f(4)=0$ . Por lo tanto, por la unicidad de la raíz real, hay que tener $$ \sqrt[3]{20+14\sqrt{2}}+\sqrt[3]{20-14\sqrt{2}}=4\tag{1} $$
Tuve la observación anterior cuando resolví la ecuación cúbica $x^3-6x-40=0$ . Mi pregunta es la siguiente:
sin referirse a la raíz real única del cúbico, ¿podemos demostrar (1) directamente?
[Un intento.] Al tomar el cubo de ambos lados de (1) y simplificar aún más, terminé con (1) de nuevo.
1 votos
Esto es casi un duplicado. Ver la respuesta del usuario8277998 a esta pregunta .
0 votos
Una forma es negar ambos radicales y mostrar que las partes irracionales se cancelan.
0 votos
o este otro math.stackexchange.com/questions/374619/
1 votos
without referring to the unique real root of the cubic
La forma más fácil es de hecho para derivar la cúbica a partir de los radicales dados (no es necesario conocer la cúbica de antemano).0 votos
@dxiv: teniendo en cuenta las respuestas de abajo y los enlaces relacionados que se dan en los comentarios de arriba, estoy muy de acuerdo contigo: la resolución de un sistema de ecuaciones polinómicas podría ser bastante no trivial, aunque en este caso particular, una simple observación parece suficiente. La respuesta aceptada en el enlace dada por Dietrich me parece misteriosa: No veo cómo se puede "resolver el sistema" fácilmente.