Skip to main content

Section 2.2 Equivalent Algebraic Expressions

Two algebraic expressions are equivalent if whenever particular values are substituted into both expressions, the end result is the same for both expressions.

Consider the algebraic expressions
\begin{equation*} \frac{2x+5}{x+3}\ \mbox{and} \ 2-\frac{1}{x+3}. \end{equation*}
Solution.

Let's try \(x=-2\) first. Substituting into the first expression we have

\begin{equation*} \frac{2\cdot(-2)+5}{-2+3} = \frac{1}{1} = 1. \end{equation*}

In the second expression we get

\begin{equation*} 2-\frac{1}{-2+3} = 2-1 = 1. \end{equation*}

Since we got the same result when \(x=-2\text{,}\) the expressions might be equivalent.

Now let's try \(x=4\text{.}\) Substituting into the first expression we have

\begin{equation*} \frac{2\cdot(4)+5}{4+3} = \frac{13}{7}. \end{equation*}

In the second expression we get

\begin{equation*} 2-\frac{1}{4+3} = \frac{14}{7}-\frac{1}{7} = \frac{13}{7}. \end{equation*}

Again, the same result is obtained. You should try some of your own values of \(x\) now; if you evaluate correctly, these two expressions should always give the same result.

Remark 2.2.2.

Note that testing values isn't really enough to prove two expressions are equivalent. It just provides evidence. We'll prove these expressions are equivalent in 2.2.14.

Thinking of algebraic expressions procedurally, we have the following characterization of equivalent algebraic expressions:

People who are good at algebra often speak of manipulating/simplifying algebraic expressions and putting expressions into different forms. What they are talking about is replacing an expression with an equivalent expression. The reason for manipulating expressions is that sometimes one version of an expression makes it easier to see a solution to a problem. For instance, the expression used to find the temperature in \(^{\circ}\)C given the temperature in \(^{\circ}\)F is

\begin{equation*} C = \frac{5}{9}F - \frac{160}{9}, \end{equation*}

where \(F\) is the temperature in \(^{\circ}\)F and \(C\) is the temperature in \(^{\circ}\)C. Suppose we want to know what temperature in \(^{\circ}\)F corresponds to \(0^{\circ}\)C. Even if you already know the answer is \(32^{\circ}\)F, the given expression does not make it obvious. However, the given expression is equivalent to the following:

\begin{equation*} C = \frac{5}{9}(F - 32). \end{equation*}

Now the solution is more clear; if we substitute \(F=32\) into the expression for \(C\) in terms of \(F\text{,}\) we get \(\frac{5}{9}(32-32) = 0\text{.}\)

Notice that these two expressions represent different procedures if we write them down sequentially. The first version (\(C = \frac{5}{9}F - \frac{160}{9}\)) obtains \(C\) from \(F\) by the following steps:

S1:
Multiply \(F\) by \(\frac{5}{9}\text{.}\)
S2:
Subtract \(\frac{160}{9}\) from S1.

The second version (\(C = \frac{5}{9}(F - 32)\)) obtains \(C\) from \(F\) through a different sequence of steps:

S1\('\text{:}\)
Subtract \(32\) from \(F\text{.}\)
S2\('\text{:}\)
Multiply S1\('\) by \(\frac{5}{9}\text{.}\)

The procedures are different, so are these two expressions equivalent? The answer here comes from the arithmetic rule known as the distributive law (to be discussed more later 2.2.19). We can take the second expression and distribute the \(\frac{5}{9}\) as follows:

\begin{equation*} \frac{5}{9}(F-32) = \frac{5}{9}F - \frac{5}{9}\cdot 32 = \frac{5}{9}F-\frac{160}{9}. \end{equation*}

Another example of equivalent expressions is give by Example 2.1.4. In this case, we used the fact that the expression \(\frac{2}{x+1}\) is equivalent to \(2 \cdot \frac{1}{x+1}\text{.}\)

Fundamentally, since algebraic expressions are built using the operations of arithmetic, equivalence of algebraic expressions is determined by using rules of arithmetic. We will discuss the most commonly used ways of manipulating expressions into equivalent ones in the remainder of this section. However, we will first discuss how to tell if two expressions are inequivalent.

Subsection 2.2.1 Inequivalent Expressions

Two expressions are not equivalent if there are some values of the variables in the expression that yield different numbers when you substitute. So, if you plug the same number into two expressions and get different results, then the two expressions are inequivalent (assuming you did the arithmetic correctly). With practice, you’ll get good at being able to detect inequivalent expressions without even needing to substitute anything. For now, we’ll look at some important examples that sometimes trip people up.

The two expressions \((x+y)^2\) and \(x^2 + y^2\) are not equivalent. One may detect this by noting the order in which operations are performed on \(x\) and \(y\text{.}\) In one expression you add the two variables, then square. In the other, you square each variable, then add. Based one our experience with order of operations (order matters), we think these may not be equivalent. It turns out that if you pick any two numbers for \(x\) and \(y\text{,}\) as long as neither is zero, these two expressions will evaluate to different numbers. For instance, if we substitute \(x=1\) and \(y=2\text{,}\) then the first expression gives

\begin{equation*} (1+2)^2 = 3^2 =9, \end{equation*}

whereas the second expression gives

\begin{equation*} 1^2+2^2 = 1+4 = 5. \end{equation*}

It is also possible to see that these two expressions are inequivalent by giving the geometric representations. We begin by thinking of \(x\) and \(y\) as lengths. Then \((x+y)^2\) is the area of a square whose side length is \(x+y\text{,}\) while \(x^2+y^2\) is the sum of areas of squares that fit inside the square of side length \(x+y\) as in the following diagram:

Figure 2.2.5.

In this figure we see that the total shaded area is \(x^2+y^2\) while the area of the entire square is \((x+y)^2\text{.}\) If you note that the unshaded portions of the square each have area \(xy\text{,}\) we can see that \((x+y)^2\) is equivalent to \(x^2+2xy+y^2\) (That can be seen symbollically using the distributive law 2.2.19, which we will see soon.).

Explain why \(\sqrt{x^2 + y^2}\) is not equivalent to \(x+y\text{.}\) Do this both by plugging in numbers and by either referring to the last example, or using the Pythagorean Theorem to explain the inequivalence geometrically.

Use volumes to give a geometric explanation of why \((x+y)^3\) is equivalent to \(x^3+3x^2y+3xy^2+y^3\text{,}\) but is not equivalent to \(x^3+y^3\text{.}\) (This question may be a test of your artistic skills.)

\(\frac{1}{x}+\frac{1}{3}\) is not equivalent to \(\frac{2}{x+3}\text{.}\) A simple, but perhaps not helpful, reason is because that's not how you add fractions. Let's make sure we really see that this is not how you add fractions. First substitute \(x=1\text{.}\) Then the first expression evaluates to

\begin{equation*} \frac{1}{1} + \frac{1}{3}=1+\frac{1}{3}, \end{equation*}

while the second evaluates to

\begin{equation*} \frac{2}{4} = \frac{1}{2}. \end{equation*}

Even if you forget how to add fractions you can tell these are not equal. The first one is larger than one and the second is smaller than one.

Remark 2.2.9.

Again, it is important to note that for two expressions to be equivalent, they must evaluate to the same number for all values of the variables, not just some. For instance, in the example with squares, if \(x=0\) the two expressions do evaluate to the same thing. However, this does not make the expressions equivalent.

Subsection 2.2.2 Reordering and Regrouping

Sometimes the order in which operations are performed in an algebraic expression doesn't affect the result. Specifically, if the expression only involves addition, order of operations doesn't tell you which one to do first because it doesn't matter. Likewise for multiplication. Specifically, we have the following rules for addition and multiplication:

In Chapter 1 you were asked to explain the commutativity of addition geometrically using lengths on the number line (1.1.5). Explain the commutativity of multiplication, by thinking of \(a\) and \(b\) as lengths of the sides of a rectangle similar to the way we thought of \(x\) and \(y\) in 2.2.4.
Solution.
Using the fact that the area of a rectangle is given by
\begin{equation*} \mbox{Area} = \mbox{base}\times\mbox{height}, \end{equation*}
we can arrange our rectangle with \(a\) on the bottom and \(b\) on the side to get the area to be \(ab\text{.}\) If we simply rotate the rectangle \(90\) degrees, the are is then seen as \(ba\text{.}\) Since rotation doesn't change the area, we must have \(ab = ba\text{.}\)
Figure 2.2.12. These rectangles have the same area, so \(ab=ba\)

Now we would like geometric explanations of the associative laws.

  1. Explain the associative law for addition using lengths on the number line.

  2. Explain the associative law for multiplication using the fact that the volume of a rectangular prism is the area of its base multiplied by its height (similar to our explanation of the commutative law for multiplication).

These rules are most useful in simplifying complex expressions that involve many terms being added together or multiplied.

To prove that
\begin{equation*} \frac{2x+5}{x+3}\ \mbox{and} \ 2-\frac{1}{x+3} \end{equation*}
are equivalent, the easiest way is to begin \(2-\frac{1}{x+3} \) and turn it into the other expression by first getting a common denominator and using the disributive law:
\begin{align*} 2-\frac{1}{x+3} \amp = \amp \frac{2(x+3)}{x+3} - \frac{1}{x+3} \\ \ \amp = \amp \frac{2x+6}{x+3} - \frac{1}{x+3}\ \amp \text{(using the distributive law)} \\ \ \amp = \amp \frac{2x+5}{x+3}. \end{align*}
Suppose you have two cans, both are \(5\) inches tall, but one has a diameter that is three times that of the other one. Let \(d\) denote the diameter of the smaller can, in inches. Find a simplified expression for the total volume of the two cans in terms of \(d\text{.}\)
Solution.
First we note the formula for the volume of a cylinder: \(V=\pi r^2h\text{,}\) where \(r\) is the radius and \(h\) is the height. Since both cans have a height of \(5\) inches, we substitute \(h = 5\text{.}\) Since \(r= \frac{d}{2}\text{,}\) the volume of the first can is then given by \(\pi\cdot\left(\frac{d}{2}\right)^2\cdot 5\text{.}\) Using associativity and commutativity, this simplifies to
\begin{equation*} \mbox{volume of smaller can} = \frac{5}{4}\pi d^2\ \mbox{in}^3. \end{equation*}
Since the diameter of the larger can is three times that of the smaller can, its radius is \(\frac{3d}{2}\text{,}\) which makes its volume
\begin{equation*} \mbox{volume of larger can} = \pi\cdot\left(\frac{3d}{2}\right)^2\cdot 5 = \frac{45}{4} \pi d^2\ \mbox{in}^3. \end{equation*}
Adding them together we have
\begin{equation*} \mbox{Total Volume} = \frac{5}{4}\pi d^2 + \frac{45}{4}\pi d^2 = \frac{25}{2}\pi d^2\ \mbox{in}^3. \end{equation*}

In the last step of the previous example we performed an important type of regrouping known as combining like terms. This is when all the terms with the same algebraic type (same exponents on a variable for example) are combined into a single term by adding together the constants by which they are multiplied. It is important to note that terms can only be combined when the only difference between them is a constant multiplier. For instance,

\begin{align*} 3x^2 + 4\sqrt{x} + 5x^2 - \sqrt{9x}\amp = \amp 8x^2+4\sqrt{x}-3\sqrt{x} \amp\amp (\text{combine } x^2 \text{ terms})\\ \amp = \amp 8x^2+\sqrt{x}.\amp\amp (\text{combine } \sqrt{x} \text{ terms}) \end{align*}

The remaining terms cannot be combined further because one has an exponent of \(2\) while the other has an exponent of \(\frac{1}{2}\text{.}\)

Let's see another reason unlike terms can't be combined. Consider the expression \(4x^3+ 6x\text{.}\) To make it more meaningful, we may think of \(x\) as a length with units of meters. Then \(x^3\) represents a volume in cubic meters. Because of dimensional considerations, \(x\) and \(x^3\) cannot be combined in a meaningful way. In order for this expression to make any practical sense when \(x\) is in meters, the \(6\) needs to be in square meters. However, then the \(4\) is dimensionless, while the \(6\) represents an area. We cannot add the \(4\) and the \(6\text{,}\) since they represent different units. So thinking of \(4x^3 + 6x\) as representing some geometric quantity shows that it cannot be simplified any further.

Give a collection of objects (geometric shapes, not necessarily real-world objects) that would have a volume represented by \(4x^3 + 6x\text{?}\)

Decide if the following attempts to combine like terms are correct. If a mistake was made, say what it was and correct it.

  1. \(4xy+7y^2x + 3x^2y +2yx = 6xy + 10x^3y^3\)

  2. \((2x^2+1) + (3x+7) + (x^2-8x) = 3x^2-5x+8\)

Subsection 2.2.3 Distributing, Expanding, and Factoring

One of the most important rules in constructing equivalent algebraic expressions is the Distributive Law.

This fact asserts that you can

  • add two lengths, \(b\) and \(c\text{,}\) on the line together, then expand/compress by a factor of \(a\text{,}\) or

  • expand/contract each of \(b\) and \(c\) by a factor of \(a\text{,}\) then add the results together.

The end result is the same in either case because the stretch/compression caused by multiplication by \(a\) is uniformly applied to all lengths. We can also see this in terms of areas like we did with other properties of the real numbers that involve multiplication (like 2.2.4 again). In the equation

\begin{gather*} \end{gather*}

We can think of \(b\) and \(c\) as horizontal lengths and \(a\) as a vertical length as in the diagram below:

Figure 2.2.20. The right-hand side of the distributive law represents the sum of the areas of two separate recatngles, one is \(b\times a\) amd the other is \(c\times a\text{.}\)

When we glue these two recangles together, we have one rectangle whose area is \(a(b+c).\) Since gluing didn't change the total area, we have

\begin{equation*} a(b+c) = ab+ac. \end{equation*}

Figure 2.2.21. The left-hand side of the distributive law represents the area of one \(a\times(b+c)\) rectangle obtained by gluing the previous two together.

Many seemingly complex algebraic manipulations boil down to using the distributive law several times and collecting like terms; it's just that \(a\text{,}\) \(b\text{,}\) and \(c\) may be some sort of algebraic expressions.

Find the expanded form of \((x+y)^2\) using the distributive law.
Solution.
\begin{align*} (x+y)^2 \amp = \amp (x+y)(x+y)\ \amp \text{ First we use the distributive law with } a=(x+y),\ b=x\ \text{and}\ c=y.\\ \amp = \amp (x+y)x + (x+y)y \ \amp\ \text{ Now apply the distributive law to each term.}\\ \amp = \amp (x^2+xy) + (xy+y^2)\ \amp\ \text{Finally, combine like terms.}\\ \amp = \amp x^2+2xy+y^2 \end{align*}

Describe what each term in the second and third lines of the manipulation given above represents geometrically as areas, as in the example in the last section showing \((x+y)^2 = x^2+2xy+y^2\text{.}\) Hint: Go back and look at 2.2.4 again.

Simplify the expression
\begin{equation*} 3x^2 - (4x+2x^2) \end{equation*}
by combining like terms.
Solution.

Subtraction of quantities in parentheses is often simplified using the distributive law and remembering that subtraction is really just addition of \(-1\) times the given quantity. For instance, suppose we want to simplify the expression

\begin{equation*} 3x^2 - (4x+2x^2) \end{equation*}

First, re-write it with addition and \(-1\) multiplying the piece in parentheses, then apply the distributive law:

\begin{align*} 3x^2 - (4x+2x^2) \amp = \amp 3x^2 + (-1)(4x+2x^2)\\ \amp = \amp 3x^2+((-1)4x+(-1)2x^2)\\ \amp = \amp 3x^2-4x-2x^2\\ \amp = \amp x^2-4x. \end{align*}

With practice, you probably won't need to write this many steps down. This process is often referred to as “distributing a minus sign”.

Now is probably a good time to just get a little practice expanding/distributing and collecting like terms. Just remember the distributive law and you'll see it's not that hard.

Expand (write as an equivalent expression without parentheses) each of the following expressions and collect like terms:

  1. \(3ab(2a-5b)\)

  2. \((2x+1)(3x-4)\)

  3. \(3x^2(1-x)^3\)

  4. \(2x-\frac{1}{3}x(5-3x-2x^2)\)

Now we will go backward from expanding/distributing. This process is known as factoring. When we expand an expression, we write it as an equivalent expression that is a sum of simple terms that each only involve multiplication and/or division. To factor an expression means to write it as a product of simple terms. For example, earlier in this chapter we had two expressions for the temperature in \(^{\circ}\)C in terms of the temperature in \(^{\circ}\)F. The expression \(C = \frac{5}{9}F - \frac{160}{9}\) is in expanded form, while \(C = \frac{5}{9}(F-32)\) is in factored form. Factored forms of expressions are often useful for solving equations as we'll see in the next chapter. Factoring isn't something that can be done in all cases by a single procedure; the following are just a few examples of common factoring methods.

When each term of an expression is divisible by some common factor one can “un-distribute” that factor. For instance, if we are given the expression

\begin{equation*} 12xy+6y^2+3y^3, \end{equation*}

we can see that each term contains \(y\) and \(3\) as a factor. This means we can factor \(3y\) out of the expression to get the equivalent expression

\begin{equation*} 3y(4x+2y+y^2). \end{equation*}

Note that you can check your answer by applying the distributive law. An interpretation of pulling out a common factor like this is that each term is being stretched/compressed by the same amount, hence we can think of this as a single entity being stretched/compressed, which may be simpler.

Expressions of the form \(ax^2+bx+c\text{,}\) where \(a\text{,}\) \(b\text{,}\) and \(c\) are constants are known as quadratic expressions in the variable \(x\text{.}\) Factoring such expressions is a very common and useful algebraic task. It is possible to give a procedure for factoring quadratics, but right now it is best to proceed with examples and practice. For instance, consider the expression
\begin{equation*} 12x^2+5x-2. \end{equation*}
We wish to re-write this expression in the form
\begin{equation*} (rx+p)(sx+q) \end{equation*}
for some numbers \(r\text{,}\) \(s\text{,}\) \(p\text{,}\) and \(q\text{.}\) (We present two solutions, which you may use based on your own preferences.)
Solution 1.
(Trial and Error Method) First, let's expand \((rx+p)(sx+q)\text{:}\)
\begin{equation*} (rx+p)(sx+q) = {\color{blue} rs}x^2 + {\color{red}(rq + ps)}x + {\color{teal} pq} \end{equation*}
We note that
  • \({\color{blue}rs}\) must equal \({\color{blue}12}\text{,}\)

  • \({\color{teal}pq}\) must equal \({\color{teal}-2}\text{,}\) and

  • \({\color{red} rq + ps}\) must equal \({\color{red} 5}\text{.}\)

Now you can do a little trial and error to find your solution (This is a very common thing to do in mathematics.)

Attempt 1:
The term \({\color{blue}rs}\) must equal \({\color{blue}12}\text{.}\) So let's try \(r=2\) and \(s=6\text{.}\) From the fact that \({\color{teal}pq}\) must equal \({\color{teal}-2}\) we can try \(p=2\) and \(q=-1\text{.}\) However, then we find
\begin{align*} rq+ps \amp = \amp 2\cdot (-1) + 2\cdot 6 \\ \ \amp \neq \amp {\color{red}5}. \end{align*}
So that combination won't work. With that combination of \(r\) and \(s\) we will find that \(p=\pm 2\) and \(q=\mp 1\) will always fail (note how the \(\pm\) and \(\mp\) must line up because \(p\) and \(q\) have opposite signs). So we move on to another try.
Attempt 2:
The term \({\color{blue}rs}\) must equal \({\color{blue}12}\text{.}\) So let's try \(r=3\) and \(s=4\text{.}\) Again, we know that \({\color{teal}pq}\) must equal \({\color{teal}-2}\) we can try \(p=2\) and \(q=-1\text{.}\) However, then we find
\begin{align*} rq+ps \amp = \amp 3\cdot (-1) + 2\cdot 4 \\ \\ \ \amp = \amp {\color{red}5}. \end{align*}
Notice that works out. Hence we can say
\begin{equation*} 12x^2 + 5x+2 = (3x+2)(4x-1). \end{equation*}
Solution 2.
(The \(ac\) Method, with explanation) We begin the same way, by expanding \((rx+p)(sx+q)\text{:}\)
\begin{equation*} (rx+p)(sx+q) = {\color{blue} rs}x^2 + {\color{red}(rq + ps)}x + {\color{teal} pq} \end{equation*}
Now we make some clever observations:
  • The product of the two terms in \({\color{red}(rq + ps)}\) is equal to the product of the first and last coefficients. that is,

    \begin{equation*} {\color{red}(rq \cdot ps)} = {\color{blue} rs}\cdot {\color{teal} pq}. \end{equation*}

  • Since \({\color{blue}rs}\) must equal \({\color{blue}12}\) and \({\color{teal}pq}\) must equal \({\color{teal}-2}\) we must be able to break \({\color{red} 5}\) into a sum of two numbers that multiply to \(-24\text{.}\)

Noting that \({\color{red} 5} = -3+8\text{,}\) we have

\begin{align*} {\color{blue}12}x^2+{\color{red} 5}x -{\color{teal}2} \amp = \amp {\color{blue}12}x^2+{\color{red}(-8+3)}x -{\color{teal}2}\\ \\ \ \amp = \amp 12x^2 - 8x +3x-2 \\ \\ \ \amp = \amp 4x(3x-2) + (3x-2) \\ \\ \ \amp = \amp (4x+1)(3x-2) \end{align*}

The second solution is the so-called \(ac\) method including the reasoning behind it. Applying it blindly isn't terribly insightful in terms of explaining what factoring really does, but it gets the answer. For this reason it is recorded below:

Example 2.25. Any expression of the form \(a^2-b^2\) may be factored as \((a+b)(a-b)\) (\(a\) and \(b\) may represent more complicated expressions in this). One may check this using the distributive law. To see how this factorization works geometrically, consider the following figure with \(b\) being thought of as a number smaller than \(a\text{.}\)

Figure 2.2.30.

In this figure the entire square has an area of \(a^2\) units and the gray shaded area has an area of \(a^2-b^2\) units. Each of the smaller shaded rectangles has area \(b(a-b)\) and the lower right shaded square has an area of \((a-b)(a-b)\text{.}\) Hence the total shaded area is

\begin{equation*} a^2-b^2 = (a-b)(a-b) + 2b(a-b). \end{equation*}

Now each term has a common factor of \((a-b)\text{,}\) hence we may factor it off and simplify by collecting like terms:

\begin{align*} a^2-b^2 \amp = \amp (a-b)(a-b) + 2b(a-b)\\ \amp = \amp (a-b)(a-b+2b)\\ \amp = \amp (a-b)(a+b). \end{align*}

One may also see this factorization geometrically by taking the shaded rectangle on top and moving it to the left hand side of the diagram.

Figure 2.2.31.

Now we have a single shaded rectangle whose height is \(a-b\) and whose width is \(a+b\text{,}\) hence the total area is \((a-b)(a+b)\text{.}\)

Factor each of the following expressions as completely as possible.

  1. \(x^2+5x+6\)

  2. \(x^4-25x^2y^2\)

  3. \(4x^2+19x+12\)

  4. \(y^2-y^4\)

  5. \(2x^3-16x^2+32x\)

  6. \(z^4+z^2-2\)

Think of \(x\text{,}\) \(y\text{,}\) and \(1\) as positive lengths to use areas of rectangles to explain why

\begin{equation*} 6xy + 2y+6x+2 = (3x+1)(2y+2). \end{equation*}