En matemáticas , una ecuación cuadrática (del latín quadratus ' cuadrado ') es una ecuación que se puede reorganizar en forma estándar como [1] donde x representa un valor desconocido , y a , b y c representan números conocidos, donde a ≠ 0 . (Si a = 0 y b ≠ 0 entonces la ecuación es lineal , no cuadrática). Los números a , b y c son los coeficientes de la ecuación y se pueden distinguir llamándolos respectivamente, el coeficiente cuadrático , el coeficiente lineal y el coeficiente constante o término libre . [2]
Los valores de x que satisfacen la ecuación se denominan soluciones de la ecuación y raíces o ceros de la expresión en su lado izquierdo. Una ecuación cuadrática tiene como máximo dos soluciones. Si solo hay una solución, se dice que es una raíz doble . Si todos los coeficientes son números reales , hay dos soluciones reales, o una única raíz doble real, o dos soluciones complejas que son conjugadas complejas entre sí. Una ecuación cuadrática siempre tiene dos raíces, si se incluyen raíces complejas y una raíz doble se cuenta como dos. Una ecuación cuadrática se puede factorizar en una ecuación equivalente [3] donde r y s son las soluciones para x .
La fórmula cuadrática expresa las soluciones en términos de a , b y c . Completar el cuadrado es una de las diversas formas de obtener la fórmula.
Las soluciones a problemas que pueden expresarse en términos de ecuaciones cuadráticas se conocían ya en el año 2000 a. C. [4] [5]
Debido a que la ecuación cuadrática involucra solo una incógnita, se la llama " univariante ". La ecuación cuadrática contiene solo potencias de x que son números enteros no negativos y, por lo tanto, es una ecuación polinómica . En particular, es una ecuación polinómica de segundo grado , ya que la mayor potencia es dos.
Una ecuación cuadrática con coeficientes reales o complejos tiene dos soluciones, llamadas raíces . Estas dos soluciones pueden ser distintas o no, y pueden ser reales o no.
Es posible expresar una ecuación cuadrática ax 2 + bx + c = 0 como un producto ( px + q )( rx + s ) = 0 . En algunos casos, es posible, mediante una simple inspección, determinar valores de p , q , r y s que hagan que las dos formas sean equivalentes entre sí. Si la ecuación cuadrática se escribe en la segunda forma, entonces la "Propiedad del factor cero" establece que la ecuación cuadrática se satisface si px + q = 0 o rx + s = 0 . Resolver estas dos ecuaciones lineales proporciona las raíces de la ecuación cuadrática.
Para la mayoría de los estudiantes, la factorización por inspección es el primer método de resolución de ecuaciones cuadráticas al que están expuestos. [6] : 202–207 Si se da una ecuación cuadrática en la forma x 2 + bx + c = 0 , la factorización buscada tiene la forma ( x + q )( x + s ) , y uno tiene que encontrar dos números q y s que sumen b y cuyo producto sea c (esto a veces se llama "regla de Vieta" [7] y está relacionada con las fórmulas de Vieta ). Como ejemplo, x 2 + 5 x + 6 se factoriza como ( x + 3)( x + 2) . El caso más general donde a no es igual a 1 puede requerir un esfuerzo considerable en prueba y error de conjeturas y comprobaciones, suponiendo que se puede factorizar por inspección.
Salvo casos especiales como cuando b = 0 o c = 0 , la factorización por inspección solo funciona para ecuaciones cuadráticas que tienen raíces racionales. Esto significa que la gran mayoría de ecuaciones cuadráticas que surgen en aplicaciones prácticas no se pueden resolver mediante factorización por inspección. [6] : 207
El proceso de completar el cuadrado hace uso de la identidad algebraica que representa un algoritmo bien definido que se puede utilizar para resolver cualquier ecuación cuadrática. [6] : 207 Comenzando con una ecuación cuadrática en forma estándar, ax 2 + bx + c = 0
Ilustramos el uso de este algoritmo resolviendo 2 x 2 + 4 x − 4 = 0
El símbolo más-menos "±" indica que tanto x = −1 + √ 3 como x = −1 − √ 3 son soluciones de la ecuación cuadrática. [8]
Completar el cuadrado se puede utilizar para derivar una fórmula general para resolver ecuaciones cuadráticas, llamada fórmula cuadrática. [9] A continuación se resumirá brevemente la prueba matemática . [10] Se puede ver fácilmente, por expansión polinomial , que la siguiente ecuación es equivalente a la ecuación cuadrática: Tomando la raíz cuadrada de ambos lados y despejando x , se obtiene:
Algunas fuentes, en particular las más antiguas, utilizan parametrizaciones alternativas de la ecuación cuadrática, como ax 2 + 2 bx + c = 0 o ax 2 − 2 bx + c = 0 , [11] donde b tiene una magnitud de la mitad de la más común, posiblemente con signo opuesto. Estas dan como resultado formas ligeramente diferentes para la solución, pero por lo demás son equivalentes.
En la literatura se pueden encontrar varias derivaciones alternativas . Estas demostraciones son más sencillas que el método estándar de completar el cuadrado, representan aplicaciones interesantes de otras técnicas de uso frecuente en álgebra o brindan información sobre otras áreas de las matemáticas.
Una fórmula cuadrática menos conocida, como la utilizada en el método de Muller , proporciona las mismas raíces a través de la ecuación Esto se puede deducir de la fórmula cuadrática estándar mediante las fórmulas de Vieta , que afirman que el producto de las raíces es c / a . También se deduce de dividir la ecuación cuadrática dando resolviendo esto para y luego invirtiendo.
Una propiedad de esta forma es que produce una raíz válida cuando a = 0 , mientras que la otra raíz contiene una división por cero, porque cuando a = 0 , la ecuación cuadrática se convierte en una ecuación lineal, que tiene una raíz. Por el contrario, en este caso, la fórmula más común tiene una división por cero para una raíz y una forma indeterminada 0/0 para la otra raíz. Por otro lado, cuando c = 0 , la fórmula más común produce dos raíces correctas, mientras que esta forma produce la raíz cero y una forma indeterminada 0/0 .
Cuando ni a ni c son cero, la igualdad entre la fórmula cuadrática estándar y el método de Muller se puede verificar mediante la multiplicación cruzada , y de manera similar para la otra elección de signos.
A veces es conveniente reducir una ecuación cuadrática de modo que su coeficiente principal sea uno. Esto se hace dividiendo ambos lados por a , lo que siempre es posible ya que a no es cero. Esto produce la ecuación cuadrática reducida : [12]
donde p = b / a y q = c / a . Esta ecuación polinómica mónica tiene las mismas soluciones que la original.
La fórmula cuadrática para las soluciones de la ecuación cuadrática reducida, escrita en términos de sus coeficientes, es
En la fórmula cuadrática, la expresión debajo del signo de raíz cuadrada se denomina discriminante de la ecuación cuadrática y, a menudo, se representa mediante una D mayúscula o una delta griega mayúscula : [13] Una ecuación cuadrática con coeficientes reales puede tener una o dos raíces reales distintas, o dos raíces complejas distintas. En este caso, el discriminante determina el número y la naturaleza de las raíces. Hay tres casos:
Por lo tanto, las raíces son distintas si y sólo si el discriminante es distinto de cero, y las raíces son reales si y sólo si el discriminante es no negativo.
La función f ( x ) = ax 2 + bx + c es una función cuadrática . [16] La gráfica de cualquier función cuadrática tiene la misma forma general, que se llama parábola . La ubicación y el tamaño de la parábola, y cómo se abre, dependen de los valores de a , b y c . Si a > 0 , la parábola tiene un punto mínimo y se abre hacia arriba. Si a < 0 , la parábola tiene un punto máximo y se abre hacia abajo. El punto extremo de la parábola, ya sea mínimo o máximo, corresponde a su vértice . La coordenada x del vértice estará ubicada en , y la coordenada y del vértice se puede encontrar sustituyendo este valor de x en la función. La intersección con el eje y se encuentra en el punto (0, c ) .
Las soluciones de la ecuación cuadrática ax 2 + bx + c = 0 corresponden a las raíces de la función f ( x ) = ax 2 + bx + c , ya que son los valores de x para los cuales f ( x ) = 0 . Si a , b y c son números reales y el dominio de f es el conjunto de números reales, entonces las raíces de f son exactamente las coordenadas x de los puntos donde la gráfica toca el eje x . Si el discriminante es positivo, la gráfica toca el eje x en dos puntos; si es cero, la gráfica toca en un punto; y si es negativo, la gráfica no toca el eje x .
El término es un factor del polinomio si y solo si r es una raíz de la ecuación cuadrática. De la fórmula cuadrática se deduce que En el caso especial b 2 = 4 ac donde la cuadrática tiene solo una raíz distinta ( es decir , el discriminante es cero), el polinomio cuadrático se puede factorizar como
Las soluciones de la ecuación cuadrática se pueden deducir de la gráfica de la función cuadrática que es una parábola .
Si la parábola interseca el eje x en dos puntos, hay dos raíces reales , que son las coordenadas x de estos dos puntos (también llamadas intersección con el eje x ).
Si la parábola es tangente al eje x , existe una raíz doble, que es la coordenada x del punto de contacto entre la gráfica y la parábola.
Si la parábola no interseca el eje x , hay dos raíces conjugadas complejas . Aunque estas raíces no se pueden visualizar en el gráfico, sí se pueden visualizar sus partes reales e imaginarias . [17]
Sean h y k respectivamente la coordenada x y la coordenada y del vértice de la parábola (es decir, el punto con la coordenada y máxima o mínima) . La función cuadrática puede reescribirse Sea d la distancia entre el punto de la coordenada y 2 k en el eje de la parábola, y un punto en la parábola con la misma coordenada y (véase la figura; hay dos puntos de este tipo, que dan la misma distancia, debido a la simetría de la parábola). Entonces la parte real de las raíces es h , y su parte imaginaria es ± d . Es decir, las raíces son o en el caso del ejemplo de la figura
Aunque la fórmula cuadrática proporciona una solución exacta, el resultado no es exacto si se aproximan números reales durante el cálculo, como es habitual en el análisis numérico , donde los números reales se aproximan mediante números de punto flotante (llamados "reales" en muchos lenguajes de programación ). En este contexto, la fórmula cuadrática no es completamente estable .
Esto ocurre cuando las raíces tienen diferente orden de magnitud o, equivalentemente, cuando b 2 y b 2 − 4 ac son de magnitud cercana. En este caso, la resta de dos números casi iguales provocará pérdida de significancia o cancelación catastrófica en la raíz más pequeña. Para evitar esto, la raíz que es más pequeña en magnitud, r , se puede calcular como donde R es la raíz que es más grande en magnitud. Esto es equivalente a usar la fórmula
usando el signo más si y el signo menos si
Una segunda forma de cancelación puede ocurrir entre los términos b 2 y 4 ac del discriminante, es decir, cuando las dos raíces están muy próximas. Esto puede llevar a la pérdida de hasta la mitad de las cifras significativas correctas en las raíces. [11] [18]
La proporción áurea se encuentra como la solución positiva de la ecuación cuadrática.
Las ecuaciones del círculo y de otras secciones cónicas ( elipses , parábolas e hipérbolas ) son ecuaciones cuadráticas en dos variables.
Dado el coseno o el seno de un ángulo, encontrar el coseno o el seno del ángulo que es la mitad de grande implica resolver una ecuación cuadrática.
El proceso de simplificar expresiones que involucran la raíz cuadrada de una expresión que involucra la raíz cuadrada de otra expresión implica encontrar las dos soluciones de una ecuación cuadrática.
El teorema de Descartes establece que por cada cuatro círculos que se besan (tangentes entre sí), sus radios satisfacen una ecuación cuadrática particular.
La ecuación dada por el teorema de Fuss , que da la relación entre el radio del círculo inscrito de un cuadrilátero bicéntrico , el radio de su círculo circunscrito y la distancia entre los centros de esos círculos, puede expresarse como una ecuación cuadrática para la cual la distancia entre los centros de los dos círculos en términos de sus radios es una de las soluciones. La otra solución de la misma ecuación en términos de los radios relevantes da la distancia entre el centro del círculo circunscrito y el centro del círculo ex tangencial de un cuadrilátero ex tangencial .
Los puntos críticos de una función cúbica y los puntos de inflexión de una función cuártica se encuentran resolviendo una ecuación cuadrática.
En física , para un movimiento con aceleración constante , el desplazamiento o posición de un cuerpo en movimiento se puede expresar como una función cuadrática del tiempo dada la posición inicial y la velocidad inicial : .
En química , el pH de una solución de ácido débil se puede calcular a partir del logaritmo negativo en base 10 de la raíz positiva de una ecuación cuadrática en términos de la constante de acidez y la concentración analítica del ácido.
Los matemáticos babilónicos , ya en el año 2000 a. C. (como se muestra en tablillas de arcilla de la antigua Babilonia ), podían resolver problemas relacionados con las áreas y los lados de los rectángulos. Hay evidencia que data de este algoritmo en la Tercera Dinastía de Ur . [19] En la notación moderna, los problemas generalmente implicaban resolver un par de ecuaciones simultáneas de la forma: que es equivalente a la afirmación de que x e y son las raíces de la ecuación: [20] : 86
Los pasos dados por los escribas babilónicos para resolver el problema del rectángulo mencionado anteriormente, en términos de x e y , fueron los siguientes:
En notación moderna, esto significa calcular , que es equivalente a la fórmula cuadrática moderna para la raíz real más grande (si la hay) con a = 1 , b = − p y c = q .
Los métodos geométricos se utilizaron para resolver ecuaciones cuadráticas en Babilonia, Egipto, Grecia, China e India. El Papiro egipcio de Berlín , que data del Reino Medio (2050 a. C. a 1650 a. C.), contiene la solución de una ecuación cuadrática de dos términos. [21] Los matemáticos babilónicos de alrededor del 400 a. C. y los matemáticos chinos de alrededor del 200 a. C. utilizaron métodos geométricos de disección para resolver ecuaciones cuadráticas con raíces positivas. [22] [23] Las reglas para ecuaciones cuadráticas se dieron en Los nueve capítulos sobre el arte matemático , un tratado chino sobre matemáticas. [23] [24] Estos primeros métodos geométricos no parecen haber tenido una fórmula general. Euclides , el matemático griego , produjo un método geométrico más abstracto alrededor del 300 a. C. Con un enfoque puramente geométrico, Pitágoras y Euclides crearon un procedimiento general para encontrar soluciones de la ecuación cuadrática. En su obra Arithmetica , el matemático griego Diofanto resolvió la ecuación cuadrática, pero dando sólo una raíz, incluso cuando ambas raíces eran positivas. [25]
En 628 d. C., Brahmagupta , un matemático indio , dio en su libro Brāhmasphuṭasiddhānta la primera solución explícita (aunque todavía no completamente general) de la ecuación cuadrática ax 2 + bx = c de la siguiente manera: "Al número absoluto multiplicado por cuatro veces el [coeficiente del] cuadrado, se suma el cuadrado del [coeficiente del] término medio; la raíz cuadrada del mismo, menos el [coeficiente del] término medio, siendo dividido por dos veces el [coeficiente del] cuadrado es el valor". [26] Esto es equivalente a El Manuscrito Bakhshali escrito en la India en el siglo VII d. C. contenía una fórmula algebraica para resolver ecuaciones cuadráticas, así como ecuaciones lineales indeterminadas (originalmente de tipo ax / c = y ). Muhammad ibn Musa al-Khwarizmi (siglo IX) desarrolló un conjunto de fórmulas que funcionaban para soluciones positivas. Al-Khwarizmi va más allá al proporcionar una solución completa a la ecuación cuadrática general, aceptando una o dos respuestas numéricas para cada ecuación cuadrática, mientras proporciona pruebas geométricas en el proceso. [27] También describió el método de completar el cuadrado y reconoció que el discriminante debe ser positivo, [27] [28] : 230 lo que fue demostrado por su contemporáneo 'Abd al-Hamīd ibn Turk (Asia Central, siglo IX) quien dio figuras geométricas para demostrar que si el discriminante es negativo, una ecuación cuadrática no tiene solución. [28] : 234 Si bien el propio al-Khwarizmi no aceptó soluciones negativas, los matemáticos islámicos posteriores que lo sucedieron aceptaron soluciones negativas, [27] : 191 así como números irracionales como soluciones. [29] Abū Kāmil Shujā ibn Aslam (Egipto, siglo X) en particular fue el primero en aceptar números irracionales (a menudo en forma de raíz cuadrada , raíz cúbica o raíz cuarta ) como soluciones a ecuaciones cuadráticas o como coeficientes en una ecuación. [30] El matemático indio del siglo IX Sridhara escribió reglas para resolver ecuaciones cuadráticas. [31]
El matemático judío Abraham bar Hiyya Ha-Nasi (siglo XII, España) fue autor del primer libro europeo que incluía la solución completa de la ecuación cuadrática general. [32] Su solución se basó en gran medida en el trabajo de Al-Khwarizmi. [27] El escrito del matemático chino Yang Hui (1238-1298 d. C.) es el primero conocido en el que aparecen ecuaciones cuadráticas con coeficientes negativos de 'x', aunque él atribuye esto al anterior Liu Yi. [33] En 1545, Gerolamo Cardano recopiló los trabajos relacionados con las ecuaciones cuadráticas. La fórmula cuadrática que cubre todos los casos fue obtenida por primera vez por Simon Stevin en 1594. [34] En 1637, René Descartes publicó La Géométrie que contiene la fórmula cuadrática en la forma que conocemos hoy.
Las fórmulas de Vieta (que deben su nombre a François Viète ) son las relaciones entre las raíces de un polinomio cuadrático y sus coeficientes. Son el resultado de comparar término por término la relación con la ecuación
La primera fórmula de Vieta es útil para graficar una función cuadrática. Dado que el gráfico es simétrico con respecto a una línea vertical que pasa por el vértice , la coordenada x del vértice se ubica en el promedio de las raíces (o intersecciones). Por lo tanto, la coordenada x del vértice es La coordenada y se puede obtener sustituyendo el resultado anterior en la ecuación cuadrática dada, lo que da Además, estas fórmulas para el vértice se pueden deducir directamente de la fórmula (ver Completar el cuadrado )
Para el cálculo numérico, las fórmulas de Vieta proporcionan un método útil para hallar las raíces de una ecuación cuadrática en el caso en que una raíz sea mucho más pequeña que la otra. Si | x 2 | << | x 1 | , entonces x 1 + x 2 ≈ x 1 , y tenemos la estimación: La segunda fórmula de Vieta proporciona entonces: Estas fórmulas son mucho más fáciles de evaluar que la fórmula cuadrática bajo la condición de una raíz grande y una pequeña, porque la fórmula cuadrática evalúa la raíz pequeña como la diferencia de dos números casi iguales (el caso de b grande ), lo que causa un error de redondeo en una evaluación numérica. La figura muestra la diferencia entre [ aclaración necesaria ] (i) una evaluación directa utilizando la fórmula cuadrática (precisa cuando las raíces están cerca una de la otra en valor) y (ii) una evaluación basada en la aproximación anterior de las fórmulas de Vieta (precisa cuando las raíces están ampliamente espaciadas). A medida que aumenta el coeficiente lineal b , la fórmula cuadrática es precisa al principio y la fórmula aproximada mejora en precisión, lo que lleva a una diferencia menor entre los métodos a medida que aumenta b . Sin embargo, en algún momento la fórmula cuadrática comienza a perder precisión debido al error de redondeo, mientras que el método aproximado continúa mejorando. En consecuencia, la diferencia entre los métodos comienza a aumentar a medida que la fórmula cuadrática empeora cada vez más.
Esta situación surge comúnmente en el diseño de amplificadores, donde se desean raíces ampliamente separadas para garantizar una operación estable (ver Respuesta al escalón ).
En la época anterior a las calculadoras, la gente utilizaba tablas matemáticas (listas de números que mostraban los resultados de un cálculo con distintos argumentos) para simplificar y acelerar los cálculos. Las tablas de logaritmos y funciones trigonométricas eran habituales en los libros de texto de matemáticas y ciencias. Se publicaron tablas especializadas para aplicaciones como la astronomía, la navegación celeste y la estadística. Existían métodos de aproximación numérica, llamados prostaféresis , que ofrecían atajos para operaciones que consumían mucho tiempo, como la multiplicación y la extracción de potencias y raíces. [35] Los astrónomos, en particular, estaban interesados en métodos que pudieran acelerar las largas series de cálculos implicados en los cálculos de mecánica celeste .
Es en este contexto que podemos entender el desarrollo de medios para resolver ecuaciones cuadráticas con la ayuda de la sustitución trigonométrica . Consideremos la siguiente forma alternativa de la ecuación cuadrática,
donde el signo del símbolo ± se elige de modo que a y c sean ambos positivos. Sustituyendo
y luego multiplicando por cos 2 ( θ ) / c , obtenemos
Introduciendo funciones de 2 θ y reordenando, obtenemos
donde los subíndices n y p corresponden, respectivamente, al uso de un signo negativo o positivo en la ecuación [1] . Sustituyendo los dos valores de θ n o θ p encontrados a partir de las ecuaciones [4] o [5] en [2] se obtienen las raíces requeridas de [1] . Las raíces complejas ocurren en la solución basada en la ecuación [5] si el valor absoluto de sen 2 θ p excede la unidad. La cantidad de esfuerzo involucrado en la resolución de ecuaciones cuadráticas utilizando esta estrategia mixta de búsqueda de tablas trigonométricas y logarítmicas fue dos tercios del esfuerzo utilizando solo tablas logarítmicas. [36] Calcular raíces complejas requeriría utilizar una forma trigonométrica diferente. [37]
Para ilustrarlo, supongamos que disponemos de tablas trigonométricas y logarítmicas de siete cifras y deseamos resolver lo siguiente con una precisión de seis cifras significativas:
Si la ecuación cuadrática con coeficientes reales tiene dos raíces complejas (el caso en el que se requiere que a y c tengan el mismo signo entre sí), entonces las soluciones para las raíces se pueden expresar en forma polar como [38]
donde y
La ecuación cuadrática se puede resolver geométricamente de varias maneras. Una de ellas es mediante el método de Lill . Los tres coeficientes a , b , c se dibujan formando ángulos rectos entre ellos, como en SA, AB y BC en la Figura 6. Se dibuja un círculo con el punto inicial y final SC como diámetro. Si este corta la línea media AB de las tres, entonces la ecuación tiene una solución, y las soluciones se dan por el negativo de la distancia a lo largo de esta línea desde A dividido por el primer coeficiente a o SA. Si a es 1, los coeficientes se pueden leer directamente. Por lo tanto, las soluciones en el diagrama son −AX1/SA y −AX2/SA. [39]
El círculo de Carlyle , llamado así en honor a Thomas Carlyle , tiene la propiedad de que las soluciones de la ecuación cuadrática son las coordenadas horizontales de las intersecciones del círculo con el eje horizontal . [40] Los círculos de Carlyle se han utilizado para desarrollar construcciones con regla y compás de polígonos regulares .
La fórmula y su derivación siguen siendo correctas si los coeficientes a , b y c son números complejos o, más generalmente, miembros de cualquier cuerpo cuya característica no sea 2. (En un cuerpo de característica 2, el elemento 2 a es cero y es imposible dividirlo por él).
El símbolo en la fórmula debe entenderse como "cualquiera de los dos elementos cuyo cuadrado es b 2 − 4 ac , si tales elementos existen". En algunos campos, algunos elementos no tienen raíces cuadradas y otros tienen dos; solo el cero tiene una sola raíz cuadrada, excepto en campos de característica 2 . Incluso si un campo no contiene una raíz cuadrada de algún número, siempre hay un campo de extensión cuadrático que sí la contiene, por lo que la fórmula cuadrática siempre tendrá sentido como fórmula en ese campo de extensión.
En un cuerpo de característica 2 , la fórmula cuadrática, que se basa en que 2 es una unidad , no se cumple. Considere el polinomio cuadrático mónico sobre un cuerpo de característica 2 . Si b = 0 , entonces la solución se reduce a extraer una raíz cuadrada, por lo que la solución es y solo hay una raíz ya que En resumen, consulte residuo cuadrático para obtener más información sobre la extracción de raíces cuadradas en cuerpos finitos.
En el caso de que b ≠ 0 , hay dos raíces distintas, pero si el polinomio es irreducible , no se pueden expresar en términos de raíces cuadradas de números en el cuerpo de coeficientes. En cambio, defina la raíz 2 R ( c ) de c como una raíz del polinomio x 2 + x + c , un elemento del cuerpo de descomposición de ese polinomio. Se verifica que R ( c ) + 1 también es una raíz. En términos de la operación de raíz 2, las dos raíces del polinomio cuadrático (no mónico) ax 2 + bx + c son y
Por ejemplo, sea a un generador multiplicativo del grupo de unidades de F 4 , el campo de Galois de orden cuatro (por lo tanto a y a + 1 son raíces de x 2 + x + 1 sobre F 4 . Como ( a + 1) 2 = a , a + 1 es la única solución de la ecuación cuadrática x 2 + a = 0 . Por otra parte, el polinomio x 2 + ax + 1 es irreducible sobre F 4 , pero se descompone sobre F 16 , donde tiene las dos raíces ab y ab + a , donde b es una raíz de x 2 + x + a en F 16 .
Éste es un caso especial de la teoría de Artin-Schreier .