Overview
Equivalent expressions can make a calculation much shorter, but equivalence always has a scope. A canceled denominator retains an excluded value, a custom operation follows its own definition, and a polynomial remainder depends on the divisor. This lesson connects those ideas through a common question: what information does a transformation preserve, and is that the information the problem asks you to use?
Use an identity to recover the needed expression
If x + y = 7 and xy = 10, you could solve for x and y individually, but the target x² + y² does not require that work. Expand the square of the known sum: (x + y)² = x² + 2xy + y². Therefore x² + y² = 49 − 20 = 29. The known product supplies the cross term that distinguishes a square of a sum from a sum of squares.
The option 39 subtracts xy only once; 49 omits the cross term completely. These are structural errors, not reasons to distrust the shortcut. Writing the identity before substituting numbers makes the coefficient 2 visible. When the target is symmetric in two variables, look for combinations of their sum and product before isolating each variable. You can often derive the desired value directly while avoiding unnecessary roots or case choices.
Respect a new operation and its parentheses
The definition a ★ b = a² + b specifies exactly what ★ means. In 2 ★ (3 ★ 1), evaluate the inner operation first: 3 ★ 1 = 3² + 1 = 10. Then apply the definition again with a = 2 and b = 10, giving 2² + 10 = 14.
A familiar-looking operation symbol does not inherit all the properties of addition or multiplication. In particular, you cannot reassociate this expression as (2 ★ 3) ★ 1: that changes which quantity is squared and leads to 50 instead. The definition is a substitution rule with two ordered inputs. At each stage, write which number occupies the first slot and which occupies the second. This is also preparation for function composition, where switching order can change the result even when each individual rule is simple.
Cancel a factor without restoring an excluded value
To solve (x² − 9)/(x − 3) = 6, first record x ≠ 3. Factoring the numerator lets you cancel x − 3 and obtain x + 3 = 6 on that restricted domain. The simplified equation proposes x = 3, but this value makes the original denominator zero. Therefore the original equation has no real solution.
Cancellation describes the values where both expressions are defined; it does not fill a hole in the original expression. The distractor “every real x except 3” confuses simplifying the quotient with satisfying the equation. The quotient equals x + 3 on its domain, but it equals the particular number 6 only at the excluded candidate. Carry the domain restriction beside your algebra and check proposed solutions in the original statement. This is especially important when a factor vanishes at the same value that later appears as a solution.
Determine a remainder from its required values
Suppose P leaves remainder 4 on division by x − 1 and remainder −5 on division by x + 2. Thus P(1) = 4 and P(−2) = −5. We need the remainder of (x + 1)P(x) on division by the quadratic (x − 1)(x + 2). That remainder has degree below two, so write it as mx + b.
At x = 1, the product has value 8; at x = −2, it has value 5. The remainder must share these values because the quadratic divisor vanishes at both inputs. Hence m + b = 8 and −2m + b = 5, giving m = 1 and b = 7. The answer is x + 7. The tempting 3x + 1 is the linear remainder of P before multiplying by x + 1. For transfer, identify the final polynomial and divisor first, then use their roots to extract exactly the values the final remainder must preserve.
Apply the method to a new case
Define a ★ b = a² − b. Find all real x such that x ★ (x ★ 1) = 7. Apply the definition to the inner operation first: x ★ 1 = x² − 1. Substituting that entire result as the second input gives x² − (x² − 1) = 1, for every real x. Therefore the equation cannot equal 7, and there is no real solution. The mistake x² − x² − 1 = −1 loses the parentheses around the second input. A second tempting shortcut treats ★ as multiplication and solves a different equation. Test x = 0 and x = 3 to confirm the constant value, but the symbolic cancellation is what proves the conclusion for every x. This case transfers the substitution method to an equation whose result is independent of the variable; solving does not always end with a numerical root.