Rewrite radicals without losing the domain

Try

A square has area x². If x=−3, its area is 9 and its side length is 3, not −3. The formula for that nonnegative side is √(x²)=|x|, where |x| means distance from zero. A symbolic simplification must work at every input in its stated domain, including negative inputs when they are allowed.

Calculate √(4x²) at x=−3 in two ways: substitute first, then simplify first. Both methods should give 6. If one gives −6, the simplification has lost the principal-root convention.

Predict

Predict which restriction is needed for √x/x: x≥0 or x>0. The radical alone permits zero, but the denominator does not. Both restrictions must hold simultaneously. Simplifying an expression may hide a restriction without removing it from the original problem.

Also predict whether ((−4)²)^(1/2) equals (−4)^(2·1/2). Do not apply a power rule until you have checked its domain. Evaluating each side separately is a useful way to detect an overgeneralized law.

Experiment

Build a sign table. The first two columns are evaluations of the original expressions; the last column is the proposed simplified quotient.

x	√(x²)	√(x²)/x	∣x∣/x
−3	3	−1	−1
0	0	Undefined	Undefined
2	2	1	1

The vertical bars in the column label mean absolute value. Explain why no value should be inserted into either quotient cell at zero. Then test the claim √(x²)=x against the first row. A single valid counterexample refutes a rule stated for every real x.

Understand

For any real x, the number |x| is nonnegative and its square is x². The principal square root is characterized by those two properties, so √(x²)=|x|. Consequently √(25x²y⁴)=5|x|y² for real x,y: the proposed answer is nonnegative and its square is exactly the radicand. Squaring alone would not distinguish this answer from its negative.

On a positive-base domain, rewrite radicals by rational exponents. For a>0, √a·∛a=a^(1/2+1/3)=a^(5/6). If t is the positive sixth root of a, the same calculation is t³t²=t⁵. A quotient such as a^(7/4)/a^(3/4) reduces to a because the denominator is nonzero; keep the original a>0 domain attached to that equality.

Nested powers need care. With base −4, the expression ((−4)²)^(1/2) is √16=4, while (−4)^1=−4. Thus the unrestricted law (aᵐ)ⁿ=a^(mn) fails here. Although selected odd-denominator powers of negative bases can be defined as real numbers, treating every rational rewrite as valid on negative bases leads to contradictions. Positive bases give a consistent shared domain for the laws used in this unit.

Apply

For each simplification, write three items: original domain, rewritten expression, and a substitution check. For √(x²)/x the domain is all real x except zero. Its value is 1 on positive inputs and −1 on negative inputs. The new expression does not create a missing value at zero.

A useful drawing is a number line marked with the two constant quotient values and an open point at zero. A text alternative can state the intervals and the omitted point exactly. It communicates the domain more accurately than a sketch that connects across the undefined input.

Continue

Optional depth: the equation y²=x² factors as (y−x)(y+x)=0, so y=x or y=−x. Choosing the nonnegative solution produces |x|. This connects the radical convention with a polynomial identity instead of a memorized exception.

The practice asks for product rewriting, a nested-power counterexample and a general absolute-value argument. These supply distinct actions for N-RN.A.2. Before using radicals in complex arithmetic, examine which arithmetic operations preserve rational and irrational number types.