Ya se han proporcionado algunas pruebas, pero retrocedamos y pensemos por qué existiría tal fórmula. Estamos comparando dos cosas: el polinomio x ^ 3 – ax ^ 2 + bx – c, y las raíces p, q, r de este polinomio. De a, b, c es muy difícil encontrar p, q, r, por lo que seguir esta ruta no es bueno, aunque un sistema de álgebra por computadora podrá hacerlo. Por otro lado, al conocer p, q, r sabemos que los factores polinomiales como (xp) (xq) (xr) son a = p + q + r y b = pq + qr + rp y c = pqr.
Entonces, conociendo a, b, c, podemos responder muchas preguntas sobre las raíces. ¿Cuál es su suma: a. ¿Cuál es su producto? C. Solo tiene sentido preguntar cosas que son “simétricas” en las raíces, por lo que no podemos preguntar qué es p + q, pero cualquier polinomio simétrico puede construirse a partir de ab y c. ¿Cuál es la suma de los cuadrados de las raíces? Bueno, eso es p ^ 2 + q ^ 2 + r ^ 2 = a ^ 2-2b.
Ahora finalmente a la pregunta original. Cuando son p, q, r en progresión aritmética. Esto es si y solo si p + q = 2r o q + r = 2p o r + p = 2q. Esto es si y solo si 0 = (p + q-2r) (q + r-2p) (r + p-2q). Este es un polinomio simétrico de grado 3, por lo que puede construirse a partir de a, b, c de alguna manera, y comparar grados sería una suma de a ^ 3, ab y c. Entonces, sin hacer álgebra, sabemos que para algunas constantes K, L, M la condición es equivalente a 0 = K a ^ 3 + L ab + M c. Ahora, solo necesitamos encontrar K, L, M, pero multiplicar y comparar coeficientes suena aburrido, así que intentemos con diferentes polinomios como x ^ 3-1, x ^ 3-x ^ 2 y (x- 1) ^ 3 y eso te dará inmediatamente lo que K, L, M deberían ser.
- ¿Cuál es el uso del comando ‘Prueba’ en Coq?
- ¿Qué se siente hacer un descubrimiento verdaderamente único y elegante en matemáticas? ¿La mayoría de los matemáticos hacen descubrimientos como este?
- ¿Cómo se prueba [matemáticas] a, b \ in \ mathbb {N}, n = \ frac {a ^ 2 + b ^ 2 + 1} {ab} \ in \ mathbb {N} \ Rightarrow n = 3 [/ matemáticas]?
- ¿Es un razonamiento circular para probar el teorema del valor medio utilizando el teorema de Rolle?
- ¿Cómo podemos demostrar que no existe un cuadrilátero que sea tanto un trapecio como una cometa?