Consider adding an expression like \(4x+5\) to an expression like \(3x+7\text{:}\)
\begin{equation*}
(4x+5)+(3x+7)
\end{equation*}
Can we simplify this? It’s great if you already see that the parentheses in this case can be removed and it would not change the outcome:
\begin{equation*}
4x+5+3x+7
\end{equation*}
And then using what you know about like terms, you could conclude that this is \(7x+12\text{.}\)
Several steps that are described above are sweeping things under the rug, taking multiple steps at once without really justifying why that is legal. Why exactly is it OK to just ignore those parentheses? Why is it ok to add \(4x\) and \(3x\) when they are separated with the \(5\) in between? With the algebra properties, we can cleanly justify why \((4x+5)+(3x+7)\) simplifies to \(7x+12\text{,}\) explaining one step at a time.
\begin{align*}
\amp\highlight{(4x+5)}+\Big(\highlight{3x}+\highlight{7}\Big)
\end{align*}
View this as three things being added, and apply associativity of addition.
\begin{align*}
\amp=\Big((4x+5)+3x\Big)+7\\
\amp=(\highlight{(}4x+5\highlight{)}+3x)+7
\end{align*}
Once again apply associativity of addition. We won’t change the order anything is written, but we will move that inner pair of parentheses.
\begin{align*}
\amp=(4x+(5+3x))+7\\
\amp=(4x+(\highlight{5}+\highlight{3x}))+7
\end{align*}
Now apply commutativity of addition.
\begin{align*}
\amp=(4x+(3x+5))+7
\end{align*}
We’ve made noteworthy progress because the \(x\)-terms are finally written close to each other.
\begin{align*}
\amp=(4x+\highlight{(}3x+5\highlight{)})+7
\end{align*}
Apply associativity of addition to the inner parentheses.
\begin{align*}
\amp=((4x+3x)+5)+7\\
\amp=(\highlight{(4x+3x)}+\highlight{5})+\highlight{7}
\end{align*}
Apply associativity of addition again.
\begin{align*}
\amp=(4x+3x)+(5+7)\\
\amp=\highlight{(4x+3x)}+(5+7)
\end{align*}
Use the distributive property.
\begin{align*}
\amp=(4+3)x+(5+7)
\end{align*}
And finally, we can just respect the order of operations and carry out the additions inside the parentheses.
\begin{align*}
\amp=7x+12
\end{align*}
That was a lot to do! So it’s worth repeating that it is good if you can more quickly simplify \((4x+5)+(3x+7)\) to \(7x+12\text{.}\) The above demonstrates how the algebra properties, one at a time, truly justify and validate that simplification.