¿Cómo se deriva el discriminante de una fórmula cuadrática?

En la escuela secundaria, se escribió la fórmula cuadrática y se dijo que el contenido de la raíz cuadrada era el discriminante. Sin embargo, para derivarlo, necesitamos la definición del discriminante de un polinomio. Para el polinomio

[matemáticas] {a_n} {x ^ n} + {a_ {n – 1}} {x ^ {n – 1}} + {a_ {n – 2}} {x ^ {n – 2}} +… + {a_0} [/ math]

el discriminante se define como

[matemática] a_n ^ {(2n – 2)} \ prod \ limits_ {i <j} ^ n {{{({r_i} – {r_j})} ^ 2}} [/ matemática]

Los detalles de esta definición son los siguientes. [math] a_n [/ math] es solo el coeficiente principal. La mayúscula [matemática] \ pi [/ matemática], [matemática] \ prod {} [/ matemática] significa multiplicar, así como [matemática] \ sum {} [/ matemática] significa sumar. Lo que multiplica es el cuadrado de la diferencia de las raíces del polinomio.

Para una cuadrática con raíces [matemáticas] p [/ matemáticas] y [matemáticas] q [/ matemáticas], tenemos

[matemáticas] {a ^ 2} {(p – q) ^ 2} = {a ^ 2} \ left ({{p ^ 2} – 2pq + {q ^ 2}} \ right) [/ math]

Pero esto es

[matemáticas] a ^ 2 \ left ({\ left ({p + q {) ^ 2} + 4pq} \ right)} \ right) [/ math]. Sin embargo,

Pero tenemos [math] p + q = – \ frac {b} {a} [/ math] y [math] pq = \ frac {c} {a} [/ math].

Sustituyendo, el discriminante es

[matemáticas] {a ^ 2} \ left ({{{\ left ({\ frac {b} {a}} \ right)} ^ 2} – \ frac {{4c}} {a}} \ right) = {b ^ 2} – 4ac [/ matemáticas].

Considere la ecuación cuadrática, donde [matemática] a [/ matemática], [matemática] b [/ matemática] y [matemática] c [/ matemática] son ​​números reales

[matemáticas] ax ^ 2 + bx + c = 0 \ etiqueta 1 [/ matemáticas]

Cuando solo queremos resolver (1), lo primero que hay que hacer es dividir ambos lados entre [math] a [/ math]. Entonces tenemos

[matemáticas] x ^ 2 + \ frac {b} {a} x + \ frac {c} {a} = 0 \ etiqueta 2 [/ matemáticas]

Ahora el paso más importante está a punto de suceder, la idea es agregar algo a ambos lados de (2) para obtener un cuadrado perfecto en el lado izquierdo. La cantidad que necesita agregar es [matemática] (\ frac {b} {2a}) ^ 2 [/ matemática]

[matemáticas] x ^ 2 + \ frac {b} {a} x + \ frac {c} {a} + (\ frac {b} {2a}) ^ 2 = (\ frac {b} {2a}) ^ 2 [/matemáticas]

o

[matemáticas] x ^ 2 + \ frac {b} {a} x + (\ frac {b} {2a}) ^ 2+ \ frac {c} {a} = (\ frac {b} {2a}) ^ 2 \ etiqueta 3 [/ matemáticas]

Los primeros tres términos de (3) son un cuadrado perfecto

[matemáticas] (x + \ frac {b} {2a}) ^ 2+ \ frac {c} {a} = \ frac {b ^ 2} {4a ^ 2} [/ matemáticas]

Entonces aislar el cuadrado da

[matemáticas] (x + \ frac {b} {2a}) ^ 2 = \ frac {b ^ 2} {4a ^ 2} – \ frac {c} {a} = \ frac {b ^ 2} {4a ^ 2 } – \ frac {4ac} {4a ^ 2} = \ frac {b ^ 2-4ac} {4a ^ 2} [/ math]

Es en este momento que la verdadera belleza de las ecuaciones cuadráticas asoma su cabeza. Considerar la situación cuidadosamente

[matemáticas] (x + \ frac {b} {2a}) ^ 2 = \ frac {b ^ 2-4ac} {4a ^ 2} \ tag 4 [/ matemáticas]

El lado izquierdo de (4) es un cuadrado perfecto y contiene [matemáticas] x [/ matemáticas]. El lado derecho consta de los números [matemática] a [/ matemática], [matemática] b [/ matemática] y [matemática] c [/ matemática]. Como el denominador del lado derecho siempre es positivo, es el numerador del lado derecho el que determina lo que sucederá con las raíces de (1).

El numerador de la derecha tenía el lado en (4) se conoce como el discriminante y algunos autores usan el delta del capital para denotarlo

[matemáticas] \ Delta = b ^ 2-4ac \ etiqueta 5 [/ matemáticas]

Ahora si [math] \ Delta> 0 [/ math] entonces el enraizamiento cuadrado a ambos lados de (4) producirá dos raíces reales de (1). Si [math] \ Delta = 0 [/ math], entonces solo es posible un resultado (ya que la raíz cuadrada de cero es cero). Ahora, si tenemos [matemática] \ Delta <0 [/ matemática] entonces (1) no posee raíces reales, pero con el advenimiento de números complejos, aún posee dos raíces complejas.

Completamos el cuadrado:

[matemáticas] ax ^ 2 + bx + c = 0 [/ matemáticas]

[matemáticas] a (x ^ 2 + \ frac {b} {a} x + \ frac {c} {a}) = 0 [/ matemáticas]

[matemáticas] a ((x + \ frac {b} {2a}) ^ 2 – \ frac {b ^ 2} {4a ^ 2}) + \ frac {c} {a}) = 0 [/ matemáticas]

[matemáticas] a (x + \ frac {b} {2a}) ^ 2 – \ frac {b ^ 2} {4a} + \ frac {4ac} {4a} = 0 [/ matemáticas]

[matemáticas] (x + \ frac {b} {2a}) ^ 2 = \ frac {b ^ 2} {4a ^ 2} – \ frac {4ac} {4a ^ 2} [/ matemáticas]

[matemáticas] x = \ dfrac {-b \ pm \ sqrt {b ^ 2 – 4ac}} {2a} [/ matemáticas]

[matemáticas] x = \ dfrac {-b \ pm \ sqrt {\ triangular}} {2a} [/ matemáticas]

donde [math] \ triangle = b ^ 2 – 4ac [/ math] se conoce como discriminante.