Dada una ecuación cuadrática general de la forma , donde representa una incógnita y los coeficientes , , y representan números reales o complejos conocidos con , los valores de que satisfacen la ecuación, llamados raíces o ceros , se pueden encontrar utilizando la fórmula cuadrática,
donde el símbolo más-menos " " indica que la ecuación tiene dos raíces. [1] Escritas por separado, son :
La cantidad se conoce como el discriminante de la ecuación cuadrática. [2] Si los coeficientes , y son números reales, entonces cuando , la ecuación tiene dos raíces reales distintas ; cuando , la ecuación tiene una raíz real repetida ; y cuando , la ecuación no tiene raíces reales pero tiene dos raíces complejas distintas, que son conjugadas complejas entre sí.
Geométricamente, las raíces representan los valores en los que la gráfica de la función cuadrática , una parábola , cruza el eje : las intersecciones del gráfico con el eje . [3] La fórmula cuadrática también se puede utilizar para identificar el eje de simetría de la parábola . [4]
Derivación completando el cuadrado
La forma estándar de derivar la fórmula cuadrática es aplicar el método de completar el cuadrado a la ecuación cuadrática genérica . [5] [6] [7] [8] La idea es manipular la ecuación en la forma para algunas expresiones y escritas en términos de los coeficientes; tomar la raíz cuadrada de ambos lados; y luego aislar .
Comenzamos dividiendo la ecuación por el coeficiente cuadrático , lo cual está permitido porque no es cero. Después, restamos el término constante para aislarlo en el lado derecho:
El lado izquierdo ahora tiene la forma , y podemos "completar el cuadrado" agregando una constante para obtener un binomio al cuadrado . En este ejemplo, sumamos a ambos lados para que se pueda factorizar el lado izquierdo (ver la figura):
Como el lado izquierdo ahora es un cuadrado perfecto, podemos sacar fácilmente la raíz cuadrada de ambos lados:
Finalmente, restando de ambos lados para aislar se obtiene la fórmula cuadrática:
Formulaciones equivalentes
La fórmula cuadrática se puede escribir de manera equivalente utilizando varias expresiones alternativas, por ejemplo
que se puede obtener dividiendo primero una ecuación cuadrática por , lo que da como resultado , y luego sustituyendo los nuevos coeficientes en la fórmula cuadrática estándar. Debido a que esta variante permite la reutilización de la cantidad calculada de manera intermedia , puede reducir ligeramente la aritmética involucrada.
Raíz cuadrada en el denominador
Una fórmula cuadrática menos conocida, mencionada por primera vez por Giulio Fagnano , [9] describe las mismas raíces a través de una ecuación con la raíz cuadrada en el denominador (asumiendo ):
Aquí el símbolo menos-más " " indica que las dos raíces de la ecuación cuadrática, en el mismo orden que la fórmula cuadrática estándar, son
Esta variante ha sido llamada en tono de broma la fórmula "citardauq" ("cuadrático" escrito al revés). [10]
Cuando tiene el signo opuesto a o , la resta puede causar una cancelación catastrófica , lo que resulta en una precisión deficiente en los cálculos numéricos; elegir entre la versión de la fórmula cuadrática con la raíz cuadrada en el numerador o denominador dependiendo del signo de puede evitar este problema. Consulte § Cálculo numérico a continuación.
Esta versión de la fórmula cuadrática se utiliza en el método de Muller para encontrar las raíces de funciones generales. Se puede derivar de la fórmula estándar de la identidad , una de las fórmulas de Vieta . Alternativamente, se puede derivar dividiendo cada lado de la ecuación por para obtener , aplicando la fórmula estándar para encontrar las dos raíces , y luego tomando el recíproco para encontrar las raíces de la ecuación original.
Otras derivaciones
Cualquier método o algoritmo genérico para resolver ecuaciones cuadráticas se puede aplicar a una ecuación con coeficientes simbólicos y utilizarse para derivar una expresión en forma cerrada equivalente a la fórmula cuadrática. Los métodos alternativos a veces son más simples que completar el cuadrado y pueden ofrecer información interesante sobre otras áreas de las matemáticas.
Completando el cuadrado con el método de Śrīdhara
En lugar de dividir por para despejar , puede ser un poco más simple multiplicar por en lugar de para obtener , lo que nos permite completar el cuadrado sin necesidad de fracciones. Entonces los pasos de la derivación son: [11]
Multiplica cada lado por .
Añade a ambos lados para completar el cuadrado.
Tome la raíz cuadrada de ambos lados.
Aislar .
La aplicación de este método a una ecuación cuadrática genérica con coeficientes simbólicos produce la fórmula cuadrática:
Este método para completar el cuadrado es antiguo y era conocido por el matemático indio Śrīdhara del siglo VIII-IX . [12] En comparación con el método estándar moderno para completar el cuadrado, este método alternativo evita las fracciones hasta el último paso y, por lo tanto, no requiere un reordenamiento después del paso 3 para obtener un denominador común en el lado derecho. [11]
Por sustitución
Otra derivación utiliza un cambio de variables para eliminar el término lineal. Entonces la ecuación toma la forma en términos de una nueva variable y alguna expresión constante , cuyas raíces son entonces .
Sustituyendo en , expandiendo los productos y combinando términos semejantes, y luego resolviendo , tenemos:
Finalmente , después de sacar la raíz cuadrada de ambos lados y sustituir la expresión resultante en , surge la conocida fórmula cuadrática :
Mediante el uso de identidades algebraicas
El siguiente método fue utilizado por muchos matemáticos históricos: [13]
Sean las raíces de la ecuación cuadrática y . La derivación parte de una identidad para el cuadrado de una diferencia ( válida para dos números complejos cualesquiera), de la que podemos sacar la raíz cuadrada en ambos lados:
Esto implica que la suma y el producto . Por lo tanto, la identidad puede reescribirse:
Por lo tanto,
Las dos posibilidades para cada uno de y son las mismas dos raíces en orden opuesto, por lo que podemos combinarlas en la ecuación cuadrática estándar:
Este enfoque se centra en las raíces mismas en lugar de reorganizar algebraicamente la ecuación original. Dado un polinomio cuadrático mónico , suponga que y son las dos raíces. Por lo tanto , los factores polinomiales son
lo que implica y .
Como la multiplicación y la suma son ambas conmutativas , intercambiar las raíces y no cambiará los coeficientes y : se puede decir que y son polinomios simétricos en y . Específicamente, son los polinomios simétricos elementales : cualquier polinomio simétrico en y se puede expresar en términos de y en su lugar.
El enfoque de la teoría de Galois para analizar y resolver polinomios es preguntar si, dados los coeficientes de un polinomio cada uno de los cuales es una función simétrica en las raíces, uno puede "romper" la simetría y así recuperar las raíces. Usando este enfoque, resolver un polinomio de grado está relacionado con las formas de reordenar (" permutar ") términos, llamado el grupo simétrico en letras y denotado . Para el polinomio cuadrático, las únicas formas de reordenar dos raíces son dejarlas como están o transponerlas , por lo que resolver un polinomio cuadrático es simple.
Para encontrar las raíces y , considera su suma y diferencia:
Estos se denominan resolventes de Lagrange del polinomio, a partir de los cuales se pueden recuperar las raíces como
Como es una función simétrica en y , se puede expresar en términos de y específicamente como se describió anteriormente. Sin embargo, no es simétrica, ya que intercambiar y produce el inverso aditivo . Por lo tanto , no se puede expresar en términos de los polinomios simétricos. Sin embargo, su cuadrado es simétrico en las raíces, expresable en términos de y . Específicamente , lo que implica . Tomar la raíz positiva "rompe" la simetría, lo que da como resultado
de donde se recuperan las raíces y como
cual es la fórmula cuadrática para un polinomio mónico.
Sustituyendo , se obtiene la expresión habitual para un polinomio cuadrático arbitrario. Los resolventes se pueden reconocer como
respectivamente el vértice y el discriminante del polinomio mónico.
Un método similar pero más complicado funciona para ecuaciones cúbicas , que tienen tres resolventes y una ecuación cuadrática (el "polinomio resolutivo") que relaciona y , que se puede resolver mediante la ecuación cuadrática, y de manera similar para una ecuación cuártica ( grado 4), cuyo polinomio resolutivo es un cúbico, que a su vez se puede resolver. [14] El mismo método para una ecuación quíntica produce un polinomio de grado 24, que no simplifica el problema y, de hecho, las soluciones de las ecuaciones quínticas en general no se pueden expresar utilizando solo raíces.
Cálculo numérico
La fórmula cuadrática es exactamente correcta cuando se realiza utilizando la aritmética idealizada de números reales , pero cuando se utiliza en su lugar una aritmética aproximada, por ejemplo, la aritmética con lápiz y papel realizada con un número fijo de decimales o la aritmética binaria de punto flotante disponible en las computadoras, las limitaciones de la representación numérica pueden llevar a resultados sustancialmente inexactos a menos que se tenga mucho cuidado en la implementación. Las dificultades específicas incluyen la cancelación catastrófica al calcular la suma si ; el cálculo catastrófico al calcular el discriminante mismo en los casos en que ; la degeneración de la fórmula cuando , , o se representa como cero o infinito; y el posible desbordamiento o subdesbordamiento al multiplicar o dividir números extremadamente grandes o pequeños, incluso en los casos en que las raíces se pueden representar con precisión. [16] [17]
La cancelación catastrófica ocurre cuando se restan dos números que son aproximadamente iguales. Si bien cada uno de los números puede ser representable independientemente con una cierta cantidad de dígitos de precisión, los dígitos iniciales idénticos de cada número se cancelan, lo que resulta en una diferencia de precisión relativa menor. Cuando , la evaluación de causa una cancelación catastrófica, al igual que la evaluación de cuando . Cuando se utiliza la fórmula cuadrática estándar, calcular una de las dos raíces siempre implica una suma, que preserva la precisión de trabajo de los cálculos intermedios, mientras que calcular la otra raíz implica una resta, que la compromete. Por lo tanto, seguir ingenuamente la fórmula cuadrática estándar a menudo produce un resultado con menos precisión relativa de lo esperado. Desafortunadamente, los libros de texto de álgebra introductoria generalmente no abordan este problema, a pesar de que hace que los estudiantes obtengan resultados inexactos en otras materias escolares, como la química introductoria. [18]
Por ejemplo, si se intenta resolver la ecuación usando una calculadora de bolsillo, el resultado de la fórmula cuadrática podría calcularse aproximadamente como: [19]
Aunque la calculadora utilizó diez dígitos decimales de precisión para cada paso, calcular la diferencia entre dos números aproximadamente iguales arrojó un resultado con solo cuatro dígitos correctos.
Una forma de obtener un resultado preciso es utilizar la identidad . En este ejemplo, se puede calcular como , que es correcta hasta los diez dígitos. Otro enfoque más o menos equivalente es utilizar la versión de la fórmula cuadrática con la raíz cuadrada en el denominador para calcular una de las raíces (consulte el § Raíz cuadrada en el denominador más arriba).
Las implementaciones informáticas prácticas de la solución de ecuaciones cuadráticas comúnmente eligen qué fórmula usar para cada raíz dependiendo del signo de . [20]
Estos métodos no evitan el posible desbordamiento o subdesbordamiento del exponente de punto flotante al calcular o , lo que puede provocar que las raíces numéricamente representables no se calculen con precisión. Una estrategia más robusta pero computacionalmente costosa es comenzar con la sustitución , convirtiendo la ecuación cuadrática en
donde es la función signo . Si , esta ecuación tiene la forma , para la cual una solución es y la otra solución es . Las raíces de la ecuación original son entonces y . [21] [22]
Con una complicación adicional, se puede evitar el gasto y el redondeo extra de las raíces cuadradas al aproximarlas como potencias de dos, evitando al mismo tiempo el desbordamiento del exponente para raíces representables. [17]
Desarrollo histórico
Los primeros métodos para resolver ecuaciones cuadráticas eran geométricos. Las tablillas cuneiformes babilónicas contienen problemas que se pueden reducir a la resolución de ecuaciones cuadráticas. [23] El Papiro egipcio de Berlín , que data del Imperio Medio (2050 a. C. a 1650 a. C.), contiene la solución de una ecuación cuadrática de dos términos. [24]
El matemático griego Euclides (circa 300 a. C.) utilizó métodos geométricos para resolver ecuaciones cuadráticas en el Libro 2 de sus Elementos , un influyente tratado matemático [25] Las reglas para ecuaciones cuadráticas aparecen en la obra china Los nueve capítulos sobre el arte matemático circa 200 a. C. [26] [27] En su obra Arithmetica , el matemático griego Diofanto (circa 250 d. C.) resolvió ecuaciones cuadráticas con un método más reconociblemente algebraico que el álgebra geométrica de Euclides. [25] Su solución da solo una raíz, incluso cuando ambas raíces son positivas. [28]
El matemático indio Brahmagupta incluyó un método genérico para encontrar una raíz de una ecuación cuadrática en su tratado Brāhmasphuṭasiddhānta (circa 628 d. C.), escrito en palabras al estilo de la época pero más o menos equivalente a la fórmula simbólica moderna. [29] [30] Su solución de la ecuación cuadrática fue la siguiente: "Al número absoluto multiplicado por cuatro veces el [coeficiente del] cuadrado, agregue el cuadrado del [coeficiente del] término medio; la raíz cuadrada del mismo, menos el [coeficiente del] término medio, dividida por dos veces el [coeficiente del] cuadrado es el valor". [31]
En notación moderna, esto se puede escribir . El matemático indio Śrīdhara (siglos VIII-IX) ideó un algoritmo similar para resolver ecuaciones cuadráticas en una obra sobre álgebra ahora perdida citada por Bhāskara II . [32] La fórmula cuadrática moderna a veces se denomina fórmula de Sridharacharya en la India y fórmula de Bhaskara en Brasil. [33]
El matemático persa del siglo IX Muḥammad ibn Mūsā al-Khwārizmī resolvió ecuaciones cuadráticas algebraicamente. [34] La fórmula cuadrática que cubre todos los casos fue obtenida por primera vez por Simon Stevin en 1594. [35] En 1637, René Descartes publicó La Géométrie que contiene casos especiales de la fórmula cuadrática en la forma que conocemos hoy. [36]
Significado geométrico
En términos de geometría de coordenadas, una parábola alineada al eje es una curva cuyas coordenadas son la gráfica de un polinomio de segundo grado, de la forma , donde , y son coeficientes constantes de valor real con .
Geométricamente, la fórmula cuadrática define los puntos en la gráfica, donde la parábola corta el eje . Además, se puede separar en dos términos,
El primer término describe el eje de simetría , la línea . El segundo término, , da la distancia a la que se encuentran las raíces con respecto al eje de simetría.
Si el vértice de la parábola está en el eje , entonces la ecuación correspondiente tiene una única raíz repetida en la línea de simetría, y este término de distancia es cero; algebraicamente, el discriminante .
Si el discriminante es positivo, entonces el vértice no está en el eje sino que la parábola se abre en la dirección del eje , cruzándolo dos veces, por lo que la ecuación correspondiente tiene dos raíces reales. Si el discriminante es negativo, entonces la parábola se abre en la dirección opuesta, nunca cruzando el eje , y la ecuación no tiene raíces reales; en este caso las dos raíces complejas serán conjugadas complejas cuya parte real es el valor del eje de simetría.
Análisis dimensional
Si las constantes , , y/o no son atípicas , entonces las cantidades y deben tener las mismas unidades, porque los términos y concuerdan en sus unidades. Por la misma lógica, el coeficiente debe tener las mismas unidades que , independientemente de las unidades de . Esta puede ser una herramienta poderosa para verificar que una expresión cuadrática de cantidades físicas se ha configurado correctamente.
^ Sterling, Mary Jane (2010), Álgebra I para tontos, Wiley Publishing, pág. 219, ISBN 978-0-470-55964-2
^ "Revisión discriminante", Khan Academy , consultado el 10 de noviembre de 2019
^ "Entender la fórmula cuadrática", Khan Academy , consultado el 10 de noviembre de 2019
^ "Eje de simetría de una parábola. Cómo encontrar el eje a partir de una ecuación o de un gráfico. Para encontrar el eje de simetría...", www.mathwarehouse.com , consultado el 10 de noviembre de 2019
^ Rich, Barnett; Schmidt, Philip (2004), Esquema de teoría y problemas de álgebra elemental de Schaum, The McGraw–Hill Companies, Capítulo 13 §4.4, pág. 291, ISBN0-07-141083-X
^ Li, Xuhui. Una investigación sobre el conocimiento matemático de los profesores de álgebra de secundaria para enseñar a resolver ecuaciones algebraicas , pág. 56 (ProQuest, 2007): "La fórmula cuadrática es el método más general para resolver ecuaciones cuadráticas y se deriva de otro método general: completar el cuadrado".
^ Rockswold, Gary. Álgebra universitaria y trigonometría y precálculo , pág. 178 (Addison Wesley, 2002).
^ Beckenbach, Edwin y col. Álgebra y trigonometría universitaria moderna , p. 81 (Wadsworth Pub. Co., 1986).
^ En concreto, Fagnano comenzó con la ecuación y encontró que las soluciones eran (en el siglo XVIII, el cuadrado se escribía convencionalmente como ).
Fagnano, Giulio Carlo (1750), "Applicazione dell' algoritmo nuovo Alla resoluzione analitica dell' equazioni del secondo, del terzo, e del quarto grado" [Aplicación de un nuevo algoritmo a la resolución analítica de ecuaciones de segundo, tercero y cuarto grado], Produzioni matematiche del conte Giulio Carlo di Fagnano, Marchese de' Toschi, e DiSant' Ononio (en italiano), vol. 1, Pesaro: Gavelliana, Apéndice segundo, eq. 6, pág. 467, doi : 10.3931/e-rara-8663
^ Goff, Gerald K. (1976), "La fórmula de Citardauq", The Mathematics Teacher , 69 (7): 550–551, JSTOR 27960584
^ ab Hoehn, Larry (1975), "Un método más elegante para derivar la fórmula cuadrática", The Mathematics Teacher , 68 (5): 442–443, doi :10.5951/MT.68.5.0442, JSTOR 27960212
^ Partiendo de una ecuación cuadrática de la forma , el método de Śrīdhara, citado por Bhāskara II (c. 1150): "Multiplica ambos lados de la ecuación por un número igual a cuatro veces el [coeficiente del] cuadrado, y súmales un número igual al cuadrado del [coeficiente de la] cantidad desconocida original. [Luego extrae la raíz.]".Smith 1923, pág. 446
^ Debnath, Lokenath (2009), "El legado de Leonhard Euler: un homenaje al tricentenario", Revista internacional de educación matemática en ciencia y tecnología , 40 (3): 353–388, doi :10.1080/00207390802642237, S2CID 123048345
^ ab Clark, A. (1984). Elementos de álgebra abstracta . Courier Corporation. pág. 146.
^ Forsythe, George E. (1969), "Resolver una ecuación cuadrática en una computadora", Las ciencias matemáticas: una colección de ensayos , MIT Press, págs. 138-152, ISBN0-262-03026-8
^ ab Goualard, Frédéric (2023), Los pros y los contras de la resolución de ecuaciones cuadráticas con aritmética de punto flotante (informe técnico), Universidad de Nantes, HAL hal-04116310
^ Thompson, H. Bradford (1987), "Buena técnica numérica en química: La ecuación cuadrática", Journal of Chemical Education , 64 (12): 1009, doi :10.1021/ed064p1009
^
Este ejemplo viene de: Henrici, Peter (1982), Fundamentos del análisis numérico con demostraciones con calculadora de bolsillo , Nueva York: Wiley, pág. 13
^ Forsythe, George E. (1966), ¿Cómo se resuelve una ecuación cuadrática? (PDF) (informe técnico), Universidad de Stanford, STAN-CS-66-40 (AD639052)
^ Baker, Henry G. (1998), "Se puede aprender mucho de una ecuación cuadrática: la sobrecarga se considera perjudicial", SIGPLAN Notices , 33 (1): 30–38, doi : 10.1145/609742.609746
^ Mastronardi, Nicola; Van Dooren, Paul (2015), "Revisitando la estabilidad del cálculo de las raíces de un polinomio cuadrático", Electronic Transactions on Numerical Analysis , 44 : 73–83
^ Irving 2013, pág. 34.
^ La historia antigua de Cambridge, parte 2, Historia temprana de Oriente Medio, Cambridge University Press, 1971, pág. 530, ISBN978-0-521-07791-0
^ desde Irving 2013, pág. 39.
^ Aitken, Wayne, "Un clásico chino: los nueve capítulos" (PDF) , Departamento de Matemáticas, Universidad Estatal de California , consultado el 28 de abril de 2013
^ Smith 1923, pág. 380.
^ Smith 1923, pág. 134.
^ Bradley, Michael. El nacimiento de las matemáticas: desde la antigüedad hasta 1300 , pág. 86 (Infobase Publishing 2006).
^ Mackenzie, Dana. El universo en cero palabras: la historia de las matemáticas contada a través de ecuaciones , pág. 61 (Princeton University Press, 2012).
^ Stillwell, John (2004), Matemáticas y su historia (2.ª ed.), Springer, pág. 87, ISBN0-387-95336-1
^ Rocha, Rodrigo Luis da (2023). O uso da expressão 'fórmula de bhaskara' em livros didáticos brasileiros e sua relação com o método resolutivo da equação do 2º grau [ El uso de la expresión 'fórmula bhaskara' en los libros de texto brasileños y su relación con el método de resolución de ecuaciones cuadráticas ] ( tesis de maestría) (en portugues). Universidad Federal de Paraná. hdl :1884/82597. Guedes, Eduardo Gomes (2019). A equação quadrática e as contribuições de Bhaskara [ La ecuación cuadrática y las contribuciones de Bhaskara ] (tesis de maestría) (en portugués). Universidad Federal de Paraná. hdl : 1884/66582. Banerjee, Isha (2 de julio de 2024). "India moldeó las matemáticas. Luego Europa las reclamó" . The Juggernaut . Por ejemplo, algunas escuelas indias llaman a la fórmula cuadrática la fórmula de Sridharacharya y algunas escuelas brasileñas la llaman la fórmula de Bhaskara.
^ Irving 2013, pág. 42.
^ Struik, DJ; Stevin, Simon (1958), Las principales obras de Simon Stevin, Matemáticas (PDF) , vol. II–B, CV Swets & Zeitlinger, pág. 470
^ René Descartes, La geometría
Referencias
Smith, David Eugene (1923), Historia de las matemáticas, vol. 2, Boston: Ginn
Irving, Ron (2013), Más allá de la fórmula cuadrática, MAA, ISBN 978-0-88385-783-0