Discriminant sign determines the root count
Statement
For , the equation has exactly two distinct real roots if , exactly one real root if , and no real root if .
Why is it true?
This turns "how many times does the parabola cross the x-axis" — a question about a picture — into "check the sign of one number" — a question you can answer without drawing anything.
Proof sketch
Every step of this proof reuses the identity established in the previous theorem, which holds for any real with regardless of the sign of — only the final square-root step depended on .
**Case .** The right side is a positive number (a positive numerator over a positive denominator ), so it has two distinct square roots, and , which differ because . Each gives a different value of , hence a different value of : exactly two distinct real roots.
**Case .** The right side becomes , and the only real number whose square is is itself — there is no "" ambiguity left. So , giving the single root . This matches factoring the left side directly as , a perfect square touching zero exactly once.
**Case .** The right side is now negative. But the left side is a square of a real number, and the square of any real number is always — it can never equal a negative number. So no real can satisfy in this case, meaning the original equation has no real solution at all.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.