Matemática discreta: ¿Cómo demuestro si: [matemáticas] b ^ 2 – 4ac> 0 [/ matemáticas] y [matemáticas] a \ neq 0, [/ matemáticas] y luego [matemáticas] p (x) = ax ^ 2 + bx + c [/ math] tiene dos raíces reales distintas?

La ecuación cuadrática general es

[matemáticas] \ displaystyle ax ^ 2 + bx + c = 0 \ tag {1} [/ matemáticas]

Aquí [math] x [/ math] representa un desconocido, mientras que [math] a, b, [/ math] y [math] c [/ math] son ​​constantes con [math] a \ neq0 [/ math].


Método 1 :

Larry Hoehn en 1975, completar el cuadrado se puede lograr mediante una secuencia diferente que conduce a una secuencia más simple de términos intermedios: (1) multiplique cada lado por [matemáticas] 4a [/ matemáticas], (2) reorganice, (3) luego agregar [matemáticas] b ^ 2 [/ matemáticas].

En otras palabras, la fórmula cuadrática se puede derivar de la siguiente manera:

[matemáticas] \ displaystyle \ begin {align *} ax ^ 2 + bx + c & = 0 \\ 4a ^ 2x ^ 2 + 4abx + 4ac & = 0 \\ 4a ^ 2x ^ 2 + 4abx + b ^ 2 & = b ^ 2-4ac \\ (2ax + b) ^ 2 & = b ^ 2-4ac \\ 2ax + b & = \ pm \ sqrt {b ^ 2-4ac} \\ 2ax & = -b \ pm \ sqrt {b ^ 2-4ac} \ end {align *} \ tag * {} [/ math]

Dividiendo por [matemáticas] 2a [/ matemáticas], obtenemos

[matemáticas] \ displaystyle x = \ frac {-b \ pm \ sqrt {b ^ 2-4ac}} {2a} \ tag * {} [/ matemáticas]


Método 2:

El matemático Sridhar Acharya también resolvió la ecuación.

[matemáticas] \ displaystyle \ begin {align *} ax ^ 2 + bx & = -c \\ x ^ 2 + \ frac bax & = – \ frac ca \\ x ^ 2 + \ frac bax + \ left (\ frac b {2a} \ right) ^ 2 & = \ left (\ frac b {2a} \ right) ^ 2- \ frac ca \\\ left (x + \ frac ba \ right) ^ 2 & = \ frac {b ^ 2 } {4a ^ 2} – \ frac ca \\ x + \ frac ba & = \ pm \ sqrt {\ frac {b ^ 2} {4a ^ 2} – \ frac ca} \ end {align *} \ tag * { }[/matemáticas]

Aislando [math] x [/ math], obtenemos

[matemáticas] \ displaystyle x = \ frac {-b \ pm \ sqrt {b ^ 2-4ac}} {2a} \ tag * {} [/ matemáticas]


Método 3:

[matemáticas] \ displaystyle ax ^ 2 + bx + c = 0 \ etiqueta * {} [/ matemáticas]

vamos, las raíces de la cuadrática son [matemáticas] \ alpha [/ matemáticas] y [matemáticas] \ beta [/ matemáticas].

Entonces,

[matemáticas] \ displaystyle \ begin {align *} & (x- \ alpha) (x- \ beta) = 0 \\ & \ implica x ^ 2 – (\ alpha + \ beta) x + \ alpha \ beta = 0 \ end {alinear *} \ etiqueta * {} [/ matemáticas]

Comparando ambas ecuaciones, [math] \ alpha + \ beta = -b / a [/ math] y [math] \ alpha \ beta = c / a [/ math]. Entonces,

[matemáticas] \ displaystyle \ alpha- \ beta = \ sqrt {\ frac {b ^ 2} {a ^ 2} – \ frac {4c} a} = \ frac {\ sqrt {b ^ 2-4ac}} a \ etiqueta * {} [/ math]

Por lo tanto,

[matemáticas] \ displaystyle \ begin {align *} & \ alpha = – \ frac b {2a} + \ frac {\ sqrt {b ^ 2-4ac}} {2a} \\ & \ beta = – \ frac b { 2a} – \ frac {\ sqrt {b ^ 2-4ac}} {2a} \ end {align *} \ tag * {} [/ math]

Cada una de las soluciones dadas por la fórmula cuadrática se llama raíz de la ecuación cuadrática. Geométricamente, estas raíces representan los valores de x en los cuales cualquier parábola , dada explícitamente como y = ax2 + bx + c, cruza el eje x. Además de ser una fórmula que producirá los ceros de cualquier parábola, la ecuación cuadrática dará el eje de simetría de la parábola, y se puede usar para determinar de inmediato cuántos ceros tiene.

El discriminante (da información sobre la naturaleza de sus raíces )

D = b ^ 2 -4 * a * c

si D> 0; entonces dos raíces reales distintas

si D = 0; entonces las raíces son iguales, lo que significa dos raíces reales coincidentes x1 = x2 = -b / 2a

si D <0; dos raíces complejas distintas

Fórmula cuadrática – Wikipedia

Hola

Vamos a demostrar que [matemáticas] P (x) = ax ^ 2 + bx + c [/ matemáticas] tiene dos raíces reales distintas

¡Bien! Dejanos empezar

let [matemática] P (x) = 0 [/ matemática]. Luego,

[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ática] x ^ 2 + \ frac {b} {a} x + \ frac {c} {a} = 0 [/ matemática] si simplificamos por [matemática] a [/ matemática]

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

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

[matemática] (x + \ frac {b} {2a}) ^ 2 = [/ matemática] [matemática] \ frac {b ^ 2} {4a ^ 2} – \ frac {c} {a} [/ matemática] usando la identidad [matemáticas] a ^ 2 + 2ab + b ^ 2 = (a + b) ^ 2 [/ matemáticas]

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

[matemática] (x + \ frac {b} {2a}) ^ 2 = \ frac {b ^ 2-4ac} {4a ^ 2} [/ matemática] cuando simplifica por [matemática] a [/ matemática]

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

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

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

[matemáticas] x = – \ frac {b} {2a} \ pm \ frac {\ sqrt {b ^ 2-4ac}} {2a} [/ matemáticas], por supuesto [matemáticas] a, b, c [/ matemáticas ] debe ser diferente de cero

para que x sean números reales como raíces de [matemática] P (x) [/ matemática], solo se necesita mantener una condición, la expresión desconocida bajo la raíz cuadrada debe ser positiva. Por lo tanto, tenemos [matemáticas] b ^ 2-4ac> 0 [/ matemáticas]

y listo

Nota.

Si [math] b ^ 2-4ac <0 [/ math] entonces vamos a tener números complejos como la raíz de [math] P (x) [/ math]

if [math] b ^ 2-4ac = 0 [/ math] Entonces tenemos un número real como la raíz de [math] P (x) [/ math]

Empecemos,

Deje, [matemáticas] p (x) = 0 [/ matemáticas] entonces,

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

[matemáticas] \ implica x ^ 2 + \ dfrac {bx} {a} + \ dfrac {c} {a} = 0 [/ matemáticas]

[matemáticas] \ implica \ left (x ^ 2 + 2 × x × \ dfrac {b} {2a} + \ dfrac {b ^ 2} {4a ^ 2} \ right) + \ dfrac {c} {a} – \ dfrac {b ^ 2} {4a ^ 2} = 0 [/ matemáticas]

[matemática] \ implica \ izquierda (x + \ dfrac {b} {2a} \ derecha) ^ 2 + \ dfrac {4ac-b ^ 2} {4a ^ 2} = 0 [/ matemática]

[matemáticas] \ boxed {\ implica \ left (x + \ dfrac {b} {2a} \ right) ^ 2 = \ dfrac {b ^ 2–4ac} {4a ^ 2}} [/ math]

De la línea anterior, [matemáticas] 4a ^ 2 \ gt 0 [/ matemáticas] y [matemáticas] ([/ matemáticas] [matemáticas] x + \ dfrac {b} {2a}) ^ 2 \ gt 0 [/ matemáticas]. Entonces está muy claro que [matemáticas] b ^ 2–4ac \ gt 0 [/ matemáticas]

[matemáticas] \ Enorme {\ ddot \ smile} [/ matemáticas]

Puedes usar contraposición aquí también. Suponga que la ecuación tiene una raíz única y demuestre que en ese caso [matemática] b ^ 2-4ac> 0 [/ matemática] no se cumple, es decir [matemática] \ neg B \ implica \ neg A = A \ implica B .[/matemáticas]

Para hacerlo, recuerde que si la ecuación tiene una solución única, entonces se puede factorizar como [matemáticas] a (x- \ alpha) ^ 2. [/ Matemáticas] Después de expandir y encontrar los coeficientes correspondientes, obtiene la solución única [matemáticas] \ alpha = – \ frac {b} {2a} [/ math] junto con [math] b ^ 2-4ac = 0 [/ math], momento en el que has terminado.

Dado que

[matemáticas] p (x) = ax ^ 2 + bx + c [/ matemáticas]

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

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

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

Ya que,

[matemáticas] b ^ 2–4ac \ gt 0 [/ matemáticas]

y [matemáticas] x \ neq a [/ matemáticas]

Por lo tanto, la función anterior p (x) tiene dos raíces reales distintas.

Una suposición adicional que estoy haciendo es que los coeficientes son reales.


Usando la fórmula cuadrática, usted sabe que las raíces están dadas por [matemáticas] x = \ dfrac {-b \ pm \ sqrt {b ^ 2 – 4ac}} {2a} = – \ dfrac {b} {2a} \ pm \ dfrac {\ sqrt {b ^ 2 – 4ac}} {2a} [/ math]

Tenga en cuenta que si el discriminante es cualquier valor menor que 0, tiene una raíz compleja con una parte imaginaria distinta de cero.

Si el discriminante es 0, la fórmula cuadrática da dos raíces dobles.

Solo en el caso de que el discriminante> 0 obtendrá 2 números distintos en el numerador y, por lo tanto, 2 respuestas reales distintas.

Entonces parece que conoces la fórmula cuadrática. La fórmula cuadrática nos dice que [matemática] p (x) = 0 [/ matemática] cuando [matemática] x = \ frac {-b \ pm \ sqrt {b ^ {2} -4ac}} {2a} [/ matemática ]

Ahora si [math] b ^ {2} -4ac> 0 [/ math], entonces obviamente [math] b ^ {2} -4ac \ neq 0 [/ math], lo que significa que [math] \ sqrt {b ^ {2} -4ac} \ neq 0 [/ math], lo que significa que [math] \ sqrt {b ^ {2} -4ac} \ neq – \ sqrt {b ^ {2} -4ac} [/ math], entonces tienes dos raíces distintas, a saber [matemáticas] x = \ frac {-b + \ sqrt {b ^ {2} -4ac}} {2a} [/ matemáticas] y [matemáticas] x = \ frac {-b – \ sqrt {b ^ {2} -4ac}} {2a}. [/ math]

La condición [math] a \ neq 0 [/ math] está ahí para que no se divida por cero.