Question 574282
If the discriminant is defined as b^2 - 4ac, then you cannot prove it (because it could be negative and you would have non-real roots). If it is defined as sqrt(b^2 - 4ac), then it would be a true statement because the roots of the quadratic would be fractions where both numerator and denominator are real.