PROOF 19

Prove.

The quadratic formula

On the reals ℝ.

Definition D1

A root of ax² + bx + c = 0 (a ≠ 0) is a real number x for which substitution makes the equality hold.

Proof.

Related labs