Transformamos este conjunto de ecuaciones en algo más familiar:
[matemáticas] \ displaystyle \ left \ {\ begin {align} x + y + z & = a \ tag {1} \\ x ^ 2 + y ^ 2 + z ^ 2 & = b \ tag {2} \\ x ^ 3 + y ^ 3 + z ^ 3 & = c \ tag {3} \ end {align} \ right. \ tag * {} [/ math]
Considere [matemáticas] (1) ^ 2 [/ matemáticas]
[matemáticas] \ displaystyle \ begin {align} (x + y + z) ^ 2 & = x ^ 2 + y ^ 2 + z ^ 2 + 2xy + 2yz + 2xz \\ a ^ 2 & = b + 2 (xy + yz + xz) \\ xy + yz + xz & = \ frac 12 (a ^ 2-b) \ tag {4} \ end {align} \ tag * {} [/ math]
- Cómo resolver esta pregunta de aptitud matemática
- ¿Cómo se llama Android N?
- Cómo demostrar que la recurrencia [matemática] a_n = na_ {n-1} +1 [/ matemática] con [matemática] a_0 = 1 [/ matemática] satisface [matemática] \ lim_ {n \ rightarrow \ infty} \ frac { a_n} {n!} = e [/ matemáticas]
- ¿Cuál es la interpretación geométrica de la suma [matemática] \ displaystyle \ sum_ {n = 0} ^ {N-1} {e ^ {\ frac {2i \ pi n} {N}}} [/ matemática]?
- Dada n cadena de bits de longitud n, ¿cómo puede encontrar una nueva cadena (longitud n) que sea diferente de esas n cadenas en la memoria o (n ^ 2) tiempo O (1)?
A continuación, también queremos encontrar [math] xyz [/ math].
[matemáticas] \ displaystyle \ begin {align} x ^ 3 + y ^ 3 + z ^ 3-3xyz & = (x + y + z) (x ^ 2 + y ^ 2 + z ^ 2-xy-yz-xz) \\ c – 3xyz & = a \ left (b- \ frac 12 (a ^ 2-b) \ right) \\ xyz & = \ frac 16 (2c – a (3b – a ^ 2)) \\ \; & = \ frac {a ^ 3} 6 – \ frac {ab} 2 + \ frac c3 \ tag {5} \ end {align} \ tag * {} [/ math]
Ahora tenemos este conjunto de ecuaciones en su lugar:
[matemáticas] \ displaystyle \ left \ {\ begin {align} x + y + z & = a \ tag {1} \\ xy + yz + xz & = \ frac {a ^ 2} 2 – \ frac b2 \ tag {4 } \\ xyz & = \ frac {a ^ 3} 6- \ frac {ab} 2 + \ frac c3 \ tag {5} \ end {align} \ right. \ tag * {} [/ math]
¿Por qué es útil esto?
Las fórmulas de Vieta
Si denotamos las raíces a [matemáticas] x ^ 3 + px ^ 2 + qx + r = 0 [/ matemáticas] como [matemáticas] \ alpha [/ matemáticas], [matemáticas] \ beta [/ matemáticas] y [matemáticas] \ gamma [/ matemáticas]. Luego al considerar
[matemáticas] \ displaystyle (x- \ alpha) (x- \ beta) (x- \ gamma) = x ^ 3 + px ^ 2 + qx + r \ tag * {} [/ matemáticas]
y al expandir el LHS, tenemos
[matemáticas] \ displaystyle \ left \ {\ begin {align} \ alpha + \ beta + \ gamma & = -p \\ \ alpha \ beta + \ beta \ gamma + \ alpha \ gamma & = q \\ \ alpha \ beta \ gamma & = -r \ end {align} \ right. \ tag * {} [/ math]
¿No es este conjunto de ecuaciones muy similar al anterior?
Ahora [matemáticas] x [/ matemáticas], [matemáticas] y [/ matemáticas] y [matemáticas] z [/ matemáticas] son las raíces de la ecuación [matemáticas] x ^ 3 + px ^ 2 + qx + r = 0 [ / matemáticas], solo eso ahora,
[matemáticas] \ displaystyle \ left \ {\ begin {align} p & = -a \\ q & = \ frac {a ^ 2} 2 – \ frac b2 \\ r & = – \ frac {a ^ 3} 6 + \ frac {ab} 2 – \ frac c3 \ end {align} \ right. \ tag * {} [/ math]
que ahora está listo para ser resuelto usando métodos generales para resolver ecuaciones cúbicas.
Es extremadamente tedioso escribir la solución exacta usando [matemáticas] a [/ matemáticas], [matemáticas] b [/ matemáticas] y [matemáticas] c [/ matemáticas], pero luego se describe el método general para resolver la ecuación cúbica abajo:
“Completando el cubo”
[math] \ displaystyle x = y- \ frac p3 \ implica y ^ 3 + sy + t = 0 \ tag * {} [/ math]
Sustitución de Vieta
[matemáticas] \ displaystyle y = z- \ frac s {3z} \ implica z ^ 6 + mz ^ 3 + n = 0 \ tag * {} [/ matemáticas]
Resolver cuadrático
Encuentra la raíz cúbica (considera las raíces de la unidad)
Sustituya z nuevamente por y, luego por x