Equations with Two Moduli
means that and have equal size: they are equal or opposites. Both sides are already non-negative, so there is no extra sign restriction on .
The double arrow means the statements are equivalent: each implies the other.
At both insides are . At they are and . Both roots work.
Equal non-negative numbers have equal squares, and vice versa. Since , we can also write . Use the difference of two squares to avoid unnecessary expansion:
A product is zero only if at least one factor is zero. These factors give exactly the same two cases as before. For linear expressions, the two linear equations are usually shorter.