Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Factoring"
m (→‎Other Useful Factorizations)
 
(9 intermediate revisions by 7 users not shown)
Line 2: Line 2:
  
 
==Differences and Sums of Powers==
 
==Differences and Sums of Powers==
−
<math>a^2-b^2=(a+b)(a-b)</math>
 
  
−
<math>a^3-b^3=(a-b)(a^2+ab+b^2)</math>
+
Using the formula for the sum of a [[geometric sequence]], it's easy to derive the general formula for difference of powers:
  
−
Using the formula for the sum of a [[geometric sequence]], it's easy to derive the more general formula:
+
<cmath>a^n-b^n=(a-b)(a^{n-1}+a^{n-2}b + \cdots + ab^{n-2} + b^{n-1})</cmath>
  
−
<math>a^n-b^n=(a-b)(a^{n-1}+ba^{n-2} + \cdots + b^{n-2}a + b^{n-1})</math>
+
If <math>n=2</math>, this creates the difference of squares factorization, <cmath>a^2-b^2=(a+b)(a-b)</cmath>
 +
 
 +
This leads to the difference of cubes factorization, <cmath>a^3-b^3=(a-b)(a^2+ab+b^2)</cmath>
  
 
In addition, if <math>n</math> is [[odd integer | odd]]:
 
In addition, if <math>n</math> is [[odd integer | odd]]:
  
−
<math>a^n+b^n=(a+b)(a^{n-1} - ba^{n-2} + b^2a^{n-3} - b^3a^{n-4} + \cdots + b^{n-1})</math>
+
<cmath>a^n+b^n=(a+b)(a^{n-1} - a^{n-2}b + a^{n-3}b^2 - a^{n-4}b^3 + \cdots + b^{n-1})</cmath>
 
   
 
   
 
This also leads to the formula for the sum of cubes,
 
This also leads to the formula for the sum of cubes,
  
−
<math>a^3+b^3=(a+b)(a^2-ab+b^2)</math>
+
<cmath>a^3+b^3=(a+b)(a^2-ab+b^2)</cmath>
  
−
Another way to discover these factorizations is the following: the expression <math>a^n - b^n</math> is equal to zero if <math>a = b</math>.  If one factorizes a product which is equal to zero, one of the factors must be equal to zero, so <math>a^n - b^n</math> must have a factor of <math>a - b</math>.  Similarly, we note that the expression <math>a^n + b^n</math> when <math>n</math> is odd is equal to zero if <math>a = -b</math>, so it must have a factor of <math>a - (-b) = a + b</math>.  Note that when <math>n</math> is even, <math>(-b)^n + b^n = 2b^n</math>, rather than 0, so this gives us no useful information.
+
Another way to discover these factorizations is the following: the expression <math>a^n - b^n</math> is equal to zero if <math>a = b</math>.  If one factorizes a product which is equal to zero, one of the factors must be equal to zero, so <math>a^n - b^n</math> must have a factor of <math>a - b</math>.  Similarly, we note that the expression <math>a^n + b^n</math> when <math>n</math> is odd is equal to zero if <math>a = -b</math>, so it must have a factor of <math>a - (-b) = a + b</math>.  Note that when <math>n</math> is [[even integer | even]], <math>(-b)^n + b^n = 2b^n</math>, rather than 0, so this gives us no useful information.
  
 
== Vieta's/Newton Factorizations ==
 
== Vieta's/Newton Factorizations ==
 
These factorizations are useful for problems that could otherwise be solved by [[Newton sums]] or problems that give a polynomial and ask a question about the roots.  Combined with [[Vieta's formulas]], these are excellent factorizations that show up everywhere.
 
These factorizations are useful for problems that could otherwise be solved by [[Newton sums]] or problems that give a polynomial and ask a question about the roots.  Combined with [[Vieta's formulas]], these are excellent factorizations that show up everywhere.
  
−
*<math>\displaystyle (a+b+c)^2=a^2+b^2+c^2+2(ab+bc+ca)</math>
+
*<math>(a+b+c)^2=a^2+b^2+c^2+2(ab+bc+ca)</math>
 +
 
 +
*<math>(a+b+c)^3=a^3+b^3+c^3+3(a+b)(b+c)(c+a)</math>
 +
 
 +
*<math>(a+b+c)^5=a^5+b^5+c^5+5(a+b)(b+c)(c+a)(a^2+b^2+c^2+ab+bc+ca) </math>
  
−
*<math>\displaystyle (a+b+c)^3=a^3+b^3+c^3+3(a+b)(b+c)(c+a)</math>
+
*<math>(a+b+c)^7=a^7+b^7+c^7+7(a+b)(b+c)(c+a)((a^2+b^2+c^2+ab+bc+ca)^2+abc(a+b+c))</math>
  
−
*<math>\displaystyle (a+b+c)^5=a^5+b^5+c^5+5(a+b)(b+c)(c+a)(a^2+b^2+c^2+ab+bc+ca) </math>
 
 
== Other Useful Factorizations ==
 
== Other Useful Factorizations ==
 
*<math>a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca)</math>
 
*<math>a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca)</math>
 +
* [[Binomial theorem]]
 
* [[Simon's Favorite Factoring Trick]]
 
* [[Simon's Favorite Factoring Trick]]
−
* [[Binomial theorem]]
+
* [[Sophie Germain Identity]]
 +
* [[Factor Theorem]]
 +
 
 
== Practice Problems ==
 
== Practice Problems ==
 
* Prove that <math>n^2 + 3n + 5</math> is never divisible by 121 for any positive integer <math>{n}</math>.
 
* Prove that <math>n^2 + 3n + 5</math> is never divisible by 121 for any positive integer <math>{n}</math>.
 
* Prove that <math>2222^{5555} + 5555^{2222}</math> is divisible by 7. - USSR Problem Book
 
* Prove that <math>2222^{5555} + 5555^{2222}</math> is divisible by 7. - USSR Problem Book
 
* Factor <math>(x-y)^3 + (y-z)^3 + (z-x)^3</math>.
 
* Factor <math>(x-y)^3 + (y-z)^3 + (z-x)^3</math>.
−
* Factor <math>x^4 + 1</math> into two polynomials with real coefficients
+
* Factor <math>x^4 + 1</math> into two polynomials with real coefficients.
 +
* Given that <math>a+b+c=0</math>, prove that <math>abc=\dfrac{a^3+b^3+c^3}{3}</math>.
  
 
== Other Resources ==
 
== Other Resources ==
 
* [http://tutorial.math.lamar.edu/pdf/Algebra_Cheat_Sheet_Reduced.pdf More Common Factorizations].
 
* [http://tutorial.math.lamar.edu/pdf/Algebra_Cheat_Sheet_Reduced.pdf More Common Factorizations].
 +
 +
[[Category:Algebra]]
 +
[[Category:Definition]]

Latest revision as of 21:00, 13 January 2024

Factoring is an essential part of any mathematical toolbox. To factor, or to break an expression into factors, is to write the expression (often an integer or polynomial) as a product of different terms. This often allows one to find information about an expression that was not otherwise obvious.

Differences and Sums of Powers

Using the formula for the sum of a geometric sequence, it's easy to derive the general formula for difference of powers:

\[a^n-b^n=(a-b)(a^{n-1}+a^{n-2}b + \cdots + ab^{n-2} + b^{n-1})\]

If $n=2$, this creates the difference of squares factorization, \[a^2-b^2=(a+b)(a-b)\]

This leads to the difference of cubes factorization, \[a^3-b^3=(a-b)(a^2+ab+b^2)\]

In addition, if $n$ is odd:

\[a^n+b^n=(a+b)(a^{n-1} - a^{n-2}b + a^{n-3}b^2 - a^{n-4}b^3 + \cdots + b^{n-1})\]

This also leads to the formula for the sum of cubes,

\[a^3+b^3=(a+b)(a^2-ab+b^2)\]

Another way to discover these factorizations is the following: the expression $a^n - b^n$ is equal to zero if $a = b$. If one factorizes a product which is equal to zero, one of the factors must be equal to zero, so $a^n - b^n$ must have a factor of $a - b$. Similarly, we note that the expression $a^n + b^n$ when $n$ is odd is equal to zero if $a = -b$, so it must have a factor of $a - (-b) = a + b$. Note that when $n$ is even, $(-b)^n + b^n = 2b^n$, rather than 0, so this gives us no useful information.

Vieta's/Newton Factorizations

These factorizations are useful for problems that could otherwise be solved by Newton sums or problems that give a polynomial and ask a question about the roots. Combined with Vieta's formulas, these are excellent factorizations that show up everywhere.

  • $(a+b+c)^2=a^2+b^2+c^2+2(ab+bc+ca)$
  • $(a+b+c)^3=a^3+b^3+c^3+3(a+b)(b+c)(c+a)$
  • $(a+b+c)^5=a^5+b^5+c^5+5(a+b)(b+c)(c+a)(a^2+b^2+c^2+ab+bc+ca)$
  • $(a+b+c)^7=a^7+b^7+c^7+7(a+b)(b+c)(c+a)((a^2+b^2+c^2+ab+bc+ca)^2+abc(a+b+c))$

Other Useful Factorizations

Practice Problems

  • Prove that $n^2 + 3n + 5$ is never divisible by 121 for any positive integer ${n}$.
  • Prove that $2222^{5555} + 5555^{2222}$ is divisible by 7. - USSR Problem Book
  • Factor $(x-y)^3 + (y-z)^3 + (z-x)^3$.
  • Factor $x^4 + 1$ into two polynomials with real coefficients.
  • Given that $a+b+c=0$, prove that $abc=\dfrac{a^3+b^3+c^3}{3}$.

Other Resources

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Factoring&oldid=210663"