Si.
¿Cómo abordarías este problema? En general, cuando ve sumas simétricas como [matemáticas] x + y + z [/ matemáticas] o [matemáticas] xyz [/ matemáticas], debe pensar instantáneamente en las fórmulas de Vieta y las identidades de Newton. En este caso, las fórmulas de Vieta son lo que necesitamos.
Sea [matemática] a = [/ matemática] [matemática] x + y + z [/ matemática], [matemática] b = xy + yz + xz [/ matemática], [matemática] c = xyz [/ matemática]. Entonces el polinomio [matemáticas] P (t) = t ^ 3-at ^ 2 + bt-c [/ matemáticas] tiene raíces x [matemáticas], y, z [/ matemáticas] por las fórmulas de Vieta. La condición del problema implica que a, b, c son todos positivos. Supongamos, en aras de la contradicción, que [matemática] P (t) [/ matemática] tiene una raíz cuando t es negativa. Entonces [math] 0 = t ^ 3-at ^ 2 + bt-c [/ math]. ¿Cómo mostramos que no es cero? Una forma de mostrar que algo no es cero, es mostrar que definitivamente es positivo o negativo. Así que veamos los signos y veamos qué podemos inferir. Considere cada término: [matemática] t ^ 3 [/ matemática] es negativa, [matemática] t ^ 2 [/ matemática] es positiva, así que [matemática] -at ^ 2 [/ matemática] es negativa, de manera similar [matemática] bt [ / math] es negativo y [math] -c [/ math] es negativo. Por lo tanto, [math] t ^ 3-at ^ 2 + bt-c [/ math] es negativo, pero eso contradice nuestra suposición de que es cero. Por lo tanto, nuestra suposición era incorrecta, y no hay raíz de [matemáticas] P (t) [/ matemáticas] que sea negativa. Dado que los ceros de [matemáticas] P (t) [/ matemáticas] son x, y, z, ¡hemos terminado!
Alternativamente, puede usar la regla de signos de Descartes en P (t) para mostrar también que sus raíces son todos números positivos.
- ¿Por qué [matemáticas] 2 ^ 0 = 1 [/ matemáticas]?
- Cómo demostrar que la función [matemáticas] f (x) = e ^ {x ^ 2} [/ matemáticas] no tiene primitiva
- Cómo demostrar | xy | / (2x ^ 2 + 3y ^ 2) <= 1, donde x, y son números reales
- ¿Dónde puedo encontrar la lista de números resueltos para [matemáticas] X ^ 3 + Y ^ 3 + Z ^ 3 = k [/ matemáticas] ([matemáticas] X, Y, Z [/ matemáticas] son enteros)?
- Cómo diferenciar [matemáticas] \ mid x \ mid ^ {p} [/ math]
Este enfoque también funciona para cualquier número de variables. Por ejemplo, si sabe que x + y + z + w, xy + xz + xw + yz + yw + zw, xyz + xyw + xzw + yzw, xyzw son todos positivos, entonces también lo son x, y, z, w .