Using Structure to Rewrite Expressions - Algebra 1

SECTION 1

Historical Context & Motivation

People have been rewriting mathematical expressions for thousands of years. Ancient civilizations discovered that breaking apart complex calculations into simpler pieces made problem-solving much easier. The idea of factoring — rewriting a single expression as a product of two or more parts — grew out of this practical need. Over time, mathematicians developed powerful patterns and shortcuts that still form the backbone of algebra today.

~300 BCE • Euclid's Geometric Algebra

The Greek mathematician Euclid used geometric shapes — rectangles and squares — to represent products and sums. His visual approach to "completing the square" foreshadowed modern factoring techniques.

~825 CE • Al-Khwarizmi's Algebra

The Persian scholar al-Khwarizmi wrote the first dedicated algebra textbook. He showed how to rearrange and simplify equations by identifying structure — giving us the word "algebra" itself (from the Arabic al-jabr).

1591 • Viète Introduces Symbolic Notation

François Viète began using letters to represent unknowns and constants. This leap made it possible to see the structure of expressions at a glance, rather than writing everything out in words.

1800s • Factoring Becomes Standard

By the 19th century, techniques like the difference of squares, perfect square trinomials, and grouping were taught as core algebra skills. These patterns remain essential in classrooms today.

The central question behind this lesson is: How can you look at an expression and see a simpler form hiding inside it? Whether you are solving an equation, graphing a function, or simplifying a formula, the ability to rewrite expressions by recognizing their structure is one of the most useful tools in all of algebra.

SECTION 2

Core Principles & Definitions

Before you can rewrite expressions, you need to understand a few key ideas. The structure of an expression is the way its parts — terms, factors, and operations — are arranged. Recognizing structure means seeing familiar patterns even when the specific numbers or variables change. Here are the foundational principles that make this work.

Chunking

You can treat a complicated piece of an expression as a single "chunk." For example, in (3x + 1)² − 9, you can think of (3x + 1) as one unit, just like a single variable.

Pattern Recognition

Certain forms appear again and again in algebra: difference of squares, perfect square trinomials, and sum/difference of cubes. Spotting these patterns is the key to factoring.

Equivalent Expressions

Two expressions are equivalent if they produce the same value for every input. Factoring doesn't change an expression's value — it just rewrites it in a more useful form.

Reversibility

Expanding (multiplying out) and factoring are reverse operations. If you expand a factored form and get the original expression back, your factoring is correct.

✦

KEY TAKEAWAY

Think of expression structure like seeing a word inside a longer word. The word "understand" contains "under" and "stand." In the same way, the expression x⁴ − y⁴ contains the hidden form (x²)² − (y²)², which is a difference of squares in disguise. Once you see the pattern, factoring becomes straightforward.

SECTION 3

Visual Explanation — Seeing the Structure

A powerful way to understand expression structure is to visualize it as a tree. Each branch represents an operation, and each leaf is a number or variable. The diagram below shows how the expression x⁴ − y⁴ can be "unpeeled" layer by layer until you reach its fully factored form.

This tree diagram shows how x⁴ − y⁴ is first rewritten as (x²)² − (y²)², then factored as a difference of squares into (x² − y²)(x² + y²). The left branch factors again because x² − y² is itself a difference of squares. The right branch (x² + y²) cannot be factored further over the real numbers.

Notice how each level of the tree reveals more structure. At the top, x⁴ − y⁴ looks like a single expression. By recognizing it as (x²)² − (y²)², you unlock the difference-of-squares pattern. The left branch splits again because x² − y² is also a difference of squares. The right branch, x² + y², is a sum of squares — and sums of squares do not factor using real numbers, so that branch stops.

SECTION 4

Mathematical Framework — Key Factoring Identities

To use structure to rewrite expressions, you need a toolkit of factoring identities — formulas that tell you how specific patterns factor. Think of these as "recipes" that you match to the structure you see in an expression.

DIFFERENCE OF SQUARES

a² − b² = (a − b)(a + b)

Works whenever you have one perfect square subtracted from another. The key letters a and b can stand for any expression — a number, a variable, or even a whole chunk like (3x + 1).

PERFECT SQUARE TRINOMIAL

a² ± 2ab + b² = (a ± b)²

The middle term must be exactly 2 × a × b. If it is, you can collapse the trinomial into a single squared binomial. The ± means there are two versions: one with all plus signs and one with a minus in the middle.

GREATEST COMMON FACTOR (GCF)

ab + ac = a(b + c)

Before trying any special pattern, always check if all terms share a common factor. Pulling out the GCF first often reveals a simpler structure underneath.

SUM & DIFFERENCE OF CUBES

a³ ± b³ = (a ± b)(a² ∓ ab + b²)

The ∓ sign means "opposite of the sign above it." For a³ + b³, you get (a + b)(a² − ab + b²). For a³ − b³, you get (a − b)(a² + ab + b²). These appear less often but are important at the Algebra 2 level.

⚠

Watch Out!

A sum of squares (a² + b²) does not factor over the real numbers. Many students mistakenly try to write a² + b² as (a + b)², but expanding (a + b)² gives a² + 2ab + b², which has an extra middle term. Remember: only the difference of squares factors.

SECTION 5

Detailed Breakdown — Recognizing Patterns in Disguise

The real skill in A-SSE.2 is not just memorizing the formulas — it is recognizing them when they are dressed up in unfamiliar clothing. Expressions can disguise familiar patterns by using higher powers, coefficients, or nested groups. The diagram below shows several expressions alongside the "hidden" pattern they contain.

Four examples of expressions with hidden structure. Row 1: a difference of squares with coefficients. Row 2: a higher-power difference of squares. Row 3: a perfect square trinomial. Row 4: a GCF that reveals a difference of squares underneath.

The strategy box at the bottom of the diagram summarizes a great approach: always start by asking two questions. First, "Is there a greatest common factor I can pull out?" Second, "What is being squared (or cubed)?" Answering these questions steers you toward the right identity. In the fourth row, for instance, you would not see the difference of squares at all until after you factor out 2x.

SECTION 6

Worked Example — Factoring x⁴ − y⁴ Completely

Let's walk through the classic example from the standard: factor x⁴ − y⁴ completely. This means we keep factoring until no factor can be broken down further.

Factor x⁴ − y⁴ Completely

1
Step 1 — Rewrite Using Structure

Recognize that x⁴ is the same as (x²)² and y⁴ is the same as (y²)². So the expression becomes (x²)² − (y²)². Now it looks like a² − b² where a = x² and b = y².

x⁴ − y⁴ = (x²)² − (y²)²
2
Step 2 — Apply the Difference of Squares Identity

Using the identity a² − b² = (a − b)(a + b), substitute a = x² and b = y². This gives (x² − y²)(x² + y²).

(x²)² − (y²)² = (x² − y²)(x² + y²)
3
Step 3 — Check Each Factor

Look at each factor separately. The factor (x² − y²) is itself a difference of squares: x² − y² = (x − y)(x + y). The factor (x² + y²) is a sum of squares, which does not factor over the real numbers. So leave it as is.

x² − y² = (x − y)(x + y) ✓ — x² + y² cannot be factored ✗
4
Step 4 — Write the Fully Factored Form

Combine all the factors from Steps 2 and 3.

x⁴ − y⁴ = (x − y)(x + y)(x² + y²)
5
Step 5 — Verify by Expanding

Multiply (x − y)(x + y) to get x² − y². Then multiply (x² − y²)(x² + y²) to get x⁴ − x²y² + x²y² − y⁴ = x⁴ − y⁴. The middle terms cancel, confirming our answer.

(x − y)(x + y)(x² + y²) = x⁴ − y⁴ ✓

🔄

CHECK YOUR WORK

Always verify your factoring by expanding (multiplying out) to see if you get the original expression. It is like checking your work on a puzzle — if the pieces fit back together, you know you got it right.

SECTION 7

Strategy Comparison — When to Use Each Pattern

With several factoring identities available, how do you decide which one to use? The table below compares the most common patterns, showing what to look for and where each one works best.

Pattern	What to Look For	Strengths & Limitations
GCF	A factor common to every term (number, variable, or both)	Always try this first — it simplifies the expression before other patterns. Limitation: alone, it may not fully factor the expression.
Difference of Squares	Exactly two terms separated by a minus sign, each of which is a perfect square	Very common and easy to apply. Can be nested (applied more than once). Does NOT work for a sum of squares.
Perfect Square Trinomial	Three terms where the first and last are perfect squares and the middle term equals 2ab	Collapses a trinomial into a single squared binomial. Limitation: if the middle term is not exactly 2ab, the pattern does not apply.
Sum/Difference of Cubes	Two terms, each of which is a perfect cube, separated by + or −	Useful for higher-degree expressions. The resulting trinomial factor does not factor further over the reals.
Grouping	Four terms that can be paired so each pair shares a factor, and the leftovers match	A versatile fallback when no standard identity fits. Requires some trial and error.

Comparison of common factoring strategies

📋

STRATEGY ORDER

Think of factoring like cleaning out a closet. First, pull out everything that does not belong (GCF). Then sort what is left into matching groups (difference of squares, perfect square trinomial, etc.). If nothing matches, try rearranging and grouping. This step-by-step approach prevents you from missing hidden structure.

SECTION 8

Connection to Advanced Topics

The skill of seeing structure in expressions does not stop at Algebra 1. It is the gateway to many advanced topics. When you learn to complete the square in Algebra 2, for example, you are really using the perfect-square-trinomial pattern in reverse to rewrite quadratics in vertex form. In precalculus and calculus, you will factor expressions to simplify rational functions, find zeros of polynomials, and compute limits.

This Lesson (A-SSE.2)	Where It Leads
Difference of squares: a² − b² = (a − b)(a + b)	Simplifying rational expressions by canceling common factors (Algebra 2)
Perfect square trinomial: a² + 2ab + b² = (a + b)²	Completing the square to derive the quadratic formula and write vertex form (Algebra 2)
Recognizing chunked structure	U-substitution for integration (Calculus) and substitution techniques in higher algebra
Factoring completely (multi-step)	Finding all zeros of polynomial functions and sketching their graphs (Precalculus)

How A-SSE.2 skills connect to future math courses

In short, mastering structure now gives you a huge advantage later. Every time you see a complicated expression in a future class, your first instinct will be to ask, "What familiar pattern is hiding here?" That instinct — trained by problems like x⁴ − y⁴ — is what separates students who struggle with advanced math from those who thrive in it.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words why the sum of squares a² + b² does not factor into (a + b)(a − b) or (a + b)². Use a specific numerical example to support your reasoning.

Show answer

If you try (a + b)(a − b), expanding gives a² − b², not a² + b² — the sign on b² is wrong. If you try (a + b)², expanding gives a² + 2ab + b², which has an extra middle term 2ab. For example, let a = 3 and b = 2. Then a² + b² = 9 + 4 = 13, but (a + b)² = 25, and (a + b)(a − b) = 5. Neither equals 13. The sum of squares simply does not match any factoring pattern over the real numbers, so it must be left as is.

Question 2: BASIC CALCULATION

Factor completely: 25x² − 36.

Show answer

First, recognize that 25x² = (5x)² and 36 = 6². The expression is a difference of squares. Applying the identity a² − b² = (a − b)(a + b) with a = 5x and b = 6 gives: 25x² − 36 = (5x − 6)(5x + 6). Neither factor can be factored further, so the final answer is (5x − 6)(5x + 6).

Question 3: INTERMEDIATE

Factor completely: 3x³ − 48x.

Show answer

Start by finding the GCF. Both terms share the factor 3x, so pull it out: 3x³ − 48x = 3x(x² − 16). Now examine x² − 16. Since x² = (x)² and 16 = 4², this is a difference of squares: x² − 16 = (x − 4)(x + 4). Putting it all together: 3x³ − 48x = 3x(x − 4)(x + 4). Always remember to look for a GCF first — it revealed the hidden difference-of-squares pattern inside the parentheses.

Question 4: APPLIED

A square garden has an area of x⁴ square meters. A square pond inside it has an area of 81 square meters. Write a fully factored expression for the remaining garden area (the area of the garden minus the area of the pond).

Show answer

The remaining area is x⁴ − 81. Rewrite this as (x²)² − 9², a difference of squares. Factoring gives (x² − 9)(x² + 9). The factor x² − 9 is itself a difference of squares: x² − 9 = (x − 3)(x + 3). The factor x² + 9 is a sum of squares and cannot be factored over the reals. So the fully factored form is (x − 3)(x + 3)(x² + 9). This tells us the garden's remaining area can be expressed as a product of three factors, which could be useful if you needed to find dimensions or set the area equal to a specific value.

Question 5: CRITICAL THINKING

Factor completely: x⁸ − 1. How many times can you apply the difference-of-squares pattern? Explain why the process eventually stops.

Show answer

First, rewrite x⁸ − 1 as (x⁴)² − 1². Apply the difference of squares: (x⁴ − 1)(x⁴ + 1). Now factor x⁴ − 1 as (x²)² − 1² = (x² − 1)(x² + 1). Factor x² − 1 as (x − 1)(x + 1). The factor x² + 1 is a sum of squares, so it does not factor further over the reals. The factor x⁴ + 1 is also a sum of even powers and does not factor as a difference of squares (it can be factored using advanced techniques, but not with standard real-number factoring). So the fully factored form is (x − 1)(x + 1)(x² + 1)(x⁴ + 1). You can apply the difference-of-squares pattern three times total. The process stops whenever you reach a sum of squares, because a² + b² has no real-number factorization.

SUMMARY

Lesson Summary

Summary

Using structure to rewrite expressions (CCSS HSA-SSE.A.2) is a high school standard (grades 9–12) focused on pattern recognition. You learn to see an expression like x⁴ − y⁴ not just as "x to the fourth minus y to the fourth," but as (x²)² − (y²)² — a difference of squares that factors into (x² − y²)(x² + y²). The key identities in your toolkit are the GCF, the difference of squares, the perfect square trinomial, and the sum and difference of cubes. This standard is part of the High School Algebra strand and builds on the expression and equation work of grades 6–8 (6.EE, 7.EE, 8.EE), which serve as the prerequisite foundation.

Your strategy should always begin with pulling out any greatest common factor, then asking what is being squared or cubed. Remember that a sum of squares does not factor over the real numbers. Always verify your work by expanding (multiplying out) to make sure you recover the original expression. This skill is the foundation for Algebra 2, precalculus, and calculus, where recognizing structure lets you simplify complex problems quickly.