Theorem · The square root propertyLet k be a real number. The equation x² = k has two real solutions, x = √k and x = -√k, when k > 0; the single solution x = 0 when k = 0; and no real solution when k < 0.
Suppose k > 0. Then √k is defined and positive, and k = (√k)². So x² = k is x² - (√k)² = 0, which factors as (x - √k)(x + √k) = 0 by the difference of squares. “Quadratic Equations and the Zero Product Property” splits it into x = √k or x = -√k, and those are two different numbers because √k is not 0.
If k = 0 the same factorisation reads x · x = 0, so x = 0 is the only solution — the two brackets have collapsed onto each other.
If k < 0, suppose some real x satisfied x² = k. Every real number has x² ≥ 0, so k ≥ 0, contradicting k < 0. No such x exists.
□
The ± is notation, not an operation. x = ±√k abbreviates the sentence "x is √k, or x is -√k". Writing it saves a line. Forgetting it loses a solution, and the answer that remains looks complete.
Why √(x²) is not x
Taking the square root of both sides is often described as "square-rooting", which hides a real difficulty. √(x²) is |x|, not x: at x = -3 the left side is √9 = 3 and x itself is -3. So x² = k gives |x| = √k, and Linear Equations and Inequalities's absolute value equations then split that into the two cases x = √k and x = -√k.
Both routes — the factoring one and the absolute value one — arrive at the same pair, and both of them make the second sign a consequence of the algebra rather than a decoration added at the end.
Isolate the square first
The property is stated for x² = k, so anything standing between the square and the equals sign has to be cleared before it can be used.
3x² - 75 = 0
3x² = 75 add 75 to both sides
x² = 25 divide both sides by 3
x = 5 or x = -5
Clearing the coefficient first is not the only legal order. Taking the root of both sides of 3x² = 75 gives |x|√3 = 5√3, which reduces to |x| = 5 and the same pair of answers. It is simply the order that keeps the arithmetic in plain sight, and it is the one to use.
The shifted form
The property does not care what is being squared. If (x - h)² = k then x - h is one of the two square roots of k, so x - h = ±√k and x = h ± √k. That is the form every completed square arrives at, which is why the whole of “Completing the Square” depends on this one.
Example · A shifted square, with a radical to simplify(x - 4)² = 20. So x - 4 = ±√20, and √20 = √(4 · 5) = 2√5 by Rational and Radical Expressions. The solutions are x = 4 + 2√5 and x = 4 - 2√5, usually written together as x = 4 ± 2√5.
Check the first: (4 + 2√5 - 4)² = (2√5)² = 4 · 5 = 20. The 4s cancel before anything is squared, which is what makes checking a shifted square quick.
Two habits are worth fixing here. Simplify the radical, because 2√5 is the standard form of √20 and Rational and Radical Expressions said so. And leave it as a radical: 2√5 is a number, and replacing it with a rounded decimal replaces the answer with something that is not a solution of the equation.
Example · No real solutionx² + 9 = 0 gives x² = -9, and no real number squares to a negative. The complete and honest answer at this point in the course is "no real solution".
“Complex Numbers” introduces the number system needed to continue, and “Complex Roots of Quadratics” solves the quadratics this lesson has to set aside. The answer there is again a pair produced by this property; no unexplained symbol is needed to finish the real-number work here.