Comprehensive Guide to Algebraic Identities and Factorisation

Introduction to Algebraic Identities and Numerical Patterns

In the study of algebra, identities represent special mathematical rules that simplify complicated calculations and allow for the efficient manipulation of algebraic expressions. Unlike standard linear equations, which describe relationships between specific quantities, identities provide a framework for transforming expressions universally. A primary way to understand the power of identities is through numerical patterns. Consider the behavior of three consecutive square numbers, such as $1$, $4$, and $9$. If we add the smallest and the largest squares ($1 + 9 = 10$) and subtract twice the middle square ($10 - (2 \times 4) = 2$), the result is $2$. This pattern holds for any set of three consecutive squares. For instance, with $9$, $16$, and $25$, the calculation $(9 + 25) - (2 \times 16) = 34 - 32 = 2$ holds true. Similarly, for $25$, $36$, and $49$, we find $(25 + 49) - (2 \times 36) = 74 - 72 = 2$. This consistent outcome suggests an underlying algebraic rule that we can eventually prove using formalized identities.

Visualising Identities through Geometrical Models

Algebraic identities can be visualized using geometry, specifically through the construction of squares and rectangles to represent various terms. Consider a square with a side length of $(a + b)$ units. This larger square can be partitioned into four distinct areas: a square with area $a^2$, a square with area $b^2$, and two rectangles each having an area of $ab$. Summing these parts demonstrates the identity $(a + b)^2 = a^2 + 2ab + b^2$. This model illustrates that the total area of the outer square, $(a + b)^2$, is identical to the sum of the areas of its interior components. While this geometric model is intuitive for positive lengths, the identity holds true for all real numbers, including negative and rational numbers.

To verify the identity with negative numbers, let $a = -2$ and $b = -3$. Here, $(a + b) = -5$, so $(a + b)^2 = 25$. Calculating the right side of the identity gives $a^2 = 4$, $b^2 = 9$, and $2ab = 2 \times (-2) \times (-3) = 12$. Summing these yields $4 + 12 + 9 = 25$, confirming the identity. For rational numbers, consider $a = -\frac{2}{3}$ and $b = \frac{3}{4}$. The sum $(a + b) = \frac{1}{12}$, making $(a + b)^2 = \frac{1}{144}$. Evaluating the expansion, we get $a^2 = \frac{4}{9}$, $b^2 = \frac{9}{16}$, and $2ab = 2 \times (-\frac{2}{3}) \times (\frac{3}{4}) = -1$. Summing $\frac{4}{9} - 1 + \frac{9}{16}$ results in $\frac{64 - 144 + 81}{144} = \frac{1}{144}$, showing that the identity remains valid. Algebraically, this is fundamentally derived from the distributive property: $(a + b)^2 = (a + b)(a + b) = a(a + b) + b(a + b) = a^2 + ab + ba + b^2 = a^2 + 2ab + b^2$.

Defining the Distinction between Equations and Identities

It is critical to distinguish between an algebraic equation and an algebraic identity. An algebraic identity is an equation that remains true for every possible value of the variables involved. In contrast, a standard equation is only true for specific values. For example, the equation $x^2 - 1 = 24$ is only true when $x = 5$ or $x = -5$. However, $(x + y)^2 = x^2 + 2xy + y^2$ is an identity because it holds for all values of $x$ and $y$.

A common misconception is that $(a + b)^2 = a^2 + b^2$. By comparing the two, we see that $(a + b)^2$ includes an additional term, $2ab$. Whether $(a + b)^2$ is greater than, less than, or equal to $a^2 + b^2$ depends entirely on the sign and value of the term $2ab$. For instance, if $a = 10$ and $b = 2$, then $(a + b)^2 = 144$ and $a^2 + b^2 = 104$, meaning $(a + b)^2 > a^2 + b^2$. If either $a$ or $b$ is zero, the expressions are equal. If $2ab$ is negative (one variable is negative and the other is positive), then $(a + b)^2 < a^2 + b^2$.

Expansion and Factorisation using Quadratic Identities

Identities are dual-purpose tools used for expanding binomials and factoring trinomials. To expand an expression like $(5x + 2y)^2$, we identify $a = 5x$ and $b = 2y$. Applying the identity yields $(5x)^2 + 2(5x)(2y) + (2y)^2 = 25x^2 + 20xy + 4y^2$. This also applies to numerical squares; to find $43^2$, we rewrite it as $(40 + 3)^2 = 40^2 + 2(40)(3) + 3^2 = 1600 + 240 + 9 = 1849$.

In reverse, for factorization, we look for the pattern $a^2 + 2ab + b^2$. For the expression $x^2 + 4x + 4$, we observe $x^2 = (x)^2$, $4 = 2^2$, and $4x = 2(x)(2)$, which matches the identity where $a = x$ and $b = 2$, resulting in $(x + 2)^2$. Another example is $36x^2 + 12x + 1$, which factors into $(6x + 1)^2$. Sometimes, a common factor must be extracted first. For $50p^2 + 60pq + 18q^2$, we extract $2$ to get $2(25p^2 + 30pq + 9q^2)$. This inner part matches our identity with $a = 5p$ and $b = 3q$, resulting in the factored form $2(5p + 3q)^2$.

The Identity (a - b)² and the Proof of Square Patterns

By replacing $b$ with $-b$ in the first identity, we derive the second identity: $(a - b)^2 = a^2 - 2ab + b^2$. This can be geometrically visualized by taking a square of side $a$ and subtracting the area of two rectangles to isolate a square of side $(a - b)$. The derivation follows: $(a - b)^2 = a^2 - ab - b(a - b) = a^2 - ab - ba + b^2 = a^2 - 2ab + b^2$. This identity can be used for calculations like $29^2 = (30 - 1)^2 = 900 - 60 + 1 = 841$.

We can now use this to prove the consecutive square pattern from the introduction. Let the three consecutive numbers be $(n - 1)$, $n$, and $(n + 1)$. The sum of the smallest and largest squares is $(n - 1)^2 + (n + 1)^2 = (n^2 - 2n + 1) + (n^2 + 2n + 1) = 2n^2 + 2$. If we subtract twice the middle square ($2n^2$), we are left with $2$, proving the result is always $2$ regardless of the choice of $n$.

Expanding to Trinomials and the Difference of Squares

Expanding the square of a sum of three numbers, $(a + b + c)^2$, involves treating $(b + c)$ as a single term $d$. Evaluating $(a + d)^2 = a^2 + 2ad + d^2$ and substituting $(b + c)$ back in results in the identity $(a + b + c)^2 = a^2 + b^2 + c^2 + 2ab + 2bc + 2ca$. This is useful for squaring large numbers like $119^2 = (100 + 10 + 9)^2 = 100^2 + 10^2 + 9^2 + 2(100)(10) + 2(100)(9) + 2(10)(9) = 10000 + 100 + 81 + 2000 + 1800 + 180 = 14161$.

Another essential identity is the difference of squares: $a^2 - b^2 = (a + b)(a - b)$. Historically, around 750 CE, Śhrīdharāchārya proposed a version of this, $a^2 = (a + b)(a - b) + b^2$, for rapid mental squaring. For example, to find $55^2$, one could use $(55 + 5)(55 - 5) + 5^2 = 60 \times 50 + 25 = 3000 + 25 = 3025$.

Factorisation with Algebra Tiles and the Splitting Method

Algebra tiles help visualize the product of linear expressions like $(x + 3)(x + 4)$. An $x^2$-tile, seven $x$-tiles, and twelve unit tiles can be arranged into a rectangle with dimensions $(x + 3)$ and $(x + 4)$. This represents the identity $(x + a)(x + b) = x^2 + (a + b)x + ab$. To factor expressions like $x^2 + 7x + 12$ without tiles, we find two numbers $a$ and $b$ such that their sum is the coefficient of the middle term ($a + b = 7$) and their product is the constant term ($ab = 12$). For $x^2 + 11x + 30$, we find $a = 5$ and $b = 6$, resulting in $(x + 5)(x + 6)$. For $x^2 - 5x + 6$, since the middle term is negative and the product is positive, we use $a = -2$ and $b = -3$, resulting in $(x - 2)(x - 3)$.

Cubic Identities and Volume Visualization

The volume of a cube with side $(a + b)$ is given by $(a + b)^3$. This cube can be decomposed into two smaller cubes (volumes $a^3$ and $b^3$) and six cuboids (three with volume $a^2b$ and three with volume $ab^2$). This gives the identity $(a + b)^3 = a^3 + 3a^2b + 3ab^2 + b^3$. Substituting $-b$ for $b$ yields $(a - b)^3 = a^3 - 3a^2b + 3ab^2 - b^3$. These can be used to find the side of a cube given its volume. For example, if a volume is $p^3 + 6p^2q + 12pq^2 + 8q^3$, we recognize this matches the cubic identity where $a = p$ and $b = 2q$, so the side is $(p + 2q)$.

Two other important cubic identities are:

1. $(x - y)(x^2 + xy + y^2) = x^3 - y^3$
2. $(x + y)(x^2 - xy + y^2) = x^3 + y^3$

Additionally, there is a complex trinomial cubic identity: $(x + y + z)(x^2 + y^2 + z2 - xy - xz - yz) = x^3 + y^3 + z^3 - 3xyz$. This is used in problems where the sum of squares, sum of numbers, and products are known to find the sum of cubes. If $x + y + z = 10$, $xyz = 25$, and $x^2 + y^2 + z^2 = 38$, then the sum of cubes $x^3 + y^3 + z^3 = 145$.

Simplification of Rational Expressions and Word Problems

Factorization is the primary tool for simplifying rational algebraic expressions. To simplify $\frac{x^2 - 7x + 12}{5x^2 + 5x - 100}$, we factor both the numerator and denominator. The numerator factors to $(x - 3)(x - 4)$. The denominator is $5(x^2 + x - 20)$, which factors to $5(x - 4)(x + 5)$. Canceling the common factor $(x - 4)$ leaves $\frac{x - 3}{5(x + 5)}$, provided the denominator is non-zero.

Practical applications of these identities often involve finding dimensions of physical objects. If Saira forms a rectangle with an area of $x^2 + 8x + 15$, the length and breadth are the factors $(x + 5)$ and $(x + 3)$. In another instance, a rectangular pool with area $96\text{ sq.m}$ and breadth $4\text{m}$ less than its length results in the equation $x(x - 4) = 96$. Solving $x^2 - 4x - 96 = 0$ yields factors $(x - 12)(x + 8) = 0$. Since length cannot be negative, we find the length to be $12\text{m}$ and the breadth to be $8\text{m}$.

Questions & Discussion

Interactions between James and Reshma: James and Reshma discussed different ways to expand $(a - b)^2 (a + b)$. James suggested expanding the square first: $(a^2 - 2ab + b^2)(a + b)$. Reshma proposed regrouping the terms to use the difference of squares identity: $(a - b) [(a - b)(a + b)] = (a - b)(a^2 - b^2)$. Both methods are mathematically correct and will result in the same product, but Reshma's method utilizes the difference of squares identity to simplify the steps.

Think and Reflect Prompts:

1. What can you say about $a$ and $b$ if $(a+b)^2 < a^2 + b^2$? This implies $2ab < 0$, so one of $a$ or $b$ must be negative while the other is positive.
2. When will $(a+b)^2 = a^2 + b^2$? This occurs when $2ab = 0$, meaning either $a = 0$ or $b = 0$.
3. What if $7x$ in $x^2 + 7x + 12$ was split as $2x + 5x$? This would not allow for a perfect rectangular arrangement of algebra tiles because $2 \times 5 \neq 12$. The splitting must satisfy both the sum and the product requirements of the constant term.