Ninth Grade Mathematics: Standard & Extended Algebraic Identities

Algebraic identities are equations that hold true for all possible real values of the variables involved. Unlike conditional equations—which are satisfied only by specific solutions—identities represent structural equalities that serve as indispensable shortcuts for expanding expressions and factoring polynomials.

Foundational Degree-Two Identities

The three core quadratic identities form the bedrock of algebraic manipulation:

Identity 1: Square of a Binomial Sum
            (a + b)^2 = a^2 + 2*a*b + b^2

Identity 2: Square of a Binomial Difference
            (a - b)^2 = a^2 - 2*a*b + b^2

Identity 3: Difference of Two Squares
            (a + b) * (a - b) = a^2 - b^2

Geometric Proof of (a + b)^2

These identities are not arbitrary algebraic tricks; they represent geometric truths about areas. Consider a large square with side length (a + b):

             <------- a -------> <--- b --->
          ^  +------------------+----------+
          |  |                  |          |
          a  |     a * a        |  a * b   |
          |  |     = a^2        |          |
          v  +------------------+----------+
          ^  |                  |          |
          b  |     b * a        |  b * b   |
          v  +------------------+----------+

Total Area = a^2 + a*b + b*a + b^2 = a^2 + 2*a*b + b^2

Partitioning the large square shows that it consists of four regions: one square of area a^2, one square of area b^2, and two identical rectangles each of area ab. This visual proof confirms that (a + b)^2 is never simply a^2 + b^2; the middle cross-term 2a*b must always be included.

Square of a Trinomial

Extending the binomial square to three terms produces the square of a trinomial:

Identity 4: Square of a Trinomial
            (a + b + c)^2 = a^2 + b^2 + c^2 + 2*a*b + 2*b*c + 2*c*a

To derive this, group (a + b) as a single term: ((a + b) + c)^2 = (a + b)^2 + 2(a + b)c + c^2 = a^2 + 2ab + b^2 + 2ac + 2bc + c^2. Rearranging terms yields the identity. When negative signs appear in the trinomial, simply treat them as negative terms:

Example: Expand (2*x - 3*y + 4*z)^2
Let a = 2*x, b = -3*y, c = 4*z:
= (2*x)^2 + (-3*y)^2 + (4*z)^2 + 2*(2*x)*(-3*y) + 2*(-3*y)*(4*z) + 2*(4*z)*(2*x)
= 4*x^2 + 9*y^2 + 16*z^2 - 12*x*y - 24*y*z + 16*z*x

Cubic Identities

Degree-three identities govern the expansion and factorization of cubic polynomials:

Identity 5: Cube of a Binomial Sum
            (a + b)^3 = a^3 + 3*a^2*b + 3*a*b^2 + b^3
                      = a^3 + b^3 + 3*a*b*(a + b)

Identity 6: Cube of a Binomial Difference
            (a - b)^3 = a^3 - 3*a^2*b + 3*a*b^2 - b^3
                      = a^3 - b^3 - 3*a*b*(a - b)

Identity 7: Sum of Two Cubes
            a^3 + b^3 = (a + b) * (a^2 - a*b + b^2)

Identity 8: Difference of Two Cubes
            a^3 - b^3 = (a - b) * (a^2 + a*b + b^2)

Notice the sign patterns in the sum and difference of cubes: in a^3 + b^3, the linear factor has a plus sign (a + b) and the middle quadratic term has a minus sign (-ab). In a^3 - b^3, the linear factor has a minus sign (a - b) and the middle quadratic term has a plus sign (+ab).

The Conditional Three-Variable Cubic Identity

An advanced identity with widespread applications in algebra connects the sum of three cubes to their product:

Identity 9:
a^3 + b^3 + c^3 - 3*a*b*c = (a + b + c) * (a^2 + b^2 + c^2 - a*b - b*c - c*a)

Conditional Corollary:
If a + b + c = 0, then:
a^3 + b^3 + c^3 = 3*a*b*c

This conditional property allows you to calculate the sum of three cubes instantly whenever their bases sum to zero, without cubing each individual number.

Chapter Exercises

Exercise 1: Expand and simplify each of the following expressions using algebraic identities: (3x - 5y)^2, (2a + 3b - c)^2, and (2*x + 5)^3.

Exercise 2: Factor completely using cubic identities: 8x^3 + 27y^3, and 64a^3 - 125b^3.

Exercise 3: Without directly calculating the individual cubes, find the numerical value of (28)^3 + (-15)^3 + (-13)^3 using the conditional cubic identity.

Solutions and Explanations

Solution 1: For (3x - 5y)^2, use (a - b)^2 = a^2 - 2ab + b^2 with a = 3x and b = 5y: (3x)^2 - 2(3x)(5y) + (5y)^2 = 9x^2 - 30xy + 25y^2. For (2a + 3b - c)^2, use the trinomial square identity with terms 2a, 3b, and -c: (2a)^2 + (3b)^2 + (-c)^2 + 2(2a)(3b) + 2(3b)(-c) + 2(-c)(2a) = 4a^2 + 9b^2 + c^2 + 12ab - 6bc - 4ca. For (2x + 5)^3, use (a + b)^3 = a^3 + 3a^2b + 3ab^2 + b^3: (2x)^3 + 3(2x)^2(5) + 3(2x)(5^2) + 5^3 = 8x^3 + 3(4x^2)(5) + 3(2x)(25) + 125 = 8x^3 + 60x^2 + 150x + 125.

Solution 2: For 8x^3 + 27y^3, express each term as a perfect cube: (2x)^3 + (3y)^3. Apply the sum of cubes identity a^3 + b^3 = (a + b)(a^2 - ab + b^2) with a = 2x and b = 3y: (2x + 3y)((2x)^2 - (2x)(3y) + (3y)^2) = (2x + 3y)(4x^2 - 6xy + 9y^2). For 64a^3 - 125b^3, rewrite as (4a)^3 - (5b)^3. Apply the difference of cubes identity a^3 - b^3 = (a - b)(a^2 + ab + b^2) with a = 4a and b = 5b: (4a - 5b)((4a)^2 + (4a)(5b) + (5b)^2) = (4a - 5b)(16a^2 + 20ab + 25b^2).

Solution 3: Let a = 28, b = -15, and c = -13. First check the sum of the bases: a + b + c = 28 + (-15) + (-13) = 28 - 28 = 0. Because a + b + c = 0, the conditional cubic identity applies: a^3 + b^3 + c^3 = 3ab*c. Substituting the values: 3 * (28) * (-15) * (-13) = 3 * 28 * 195 = 84 * 195 = 16,380. Thus, (28)^3 + (-15)^3 + (-13)^3 = 16,380.