|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{About|the mathematical concept|other uses|Factor (disambiguation){{!}}Factor|and|Integer factorization}}
| | I am Oscar and I completely dig that name. California is our birth place. Supervising is my occupation. Body building is 1 of the issues I adore most.<br><br>Take a look at my weblog - diet meal delivery ([http://Www.Myprgenie.com/view-publication/weight-loss-getting-you-down-these-tips-can-help visit the following website page]) |
| {{Refimprove|date=December 2011}}
| |
| [[File:Factorisatie.svg|thumb|rught|The polynomial ''x''<sup>2</sup> + ''cx'' + ''d'', where ''a + b = c'' and ''ab = d'', can be factorized into (''x + a'')(''x + b'').]]
| |
| | |
| In [[mathematics]], '''factorization''' (''also'' '''factorisation''' ''in [[American and British English spelling differences#-ise, -ize (-isation, -ization)|British English]]'') or '''factoring''' is the decomposition of an object (for example, a [[number]], a [[polynomial]], or a [[matrix (mathematics)|matrix]]) into a [[product (mathematics)|product]] of other objects, or ''factors'', which when [[multiplication|multiplied]] together give the original. For example, the number 15 factors into [[prime number|primes]] as 3 × 5, and the polynomial ''x''<sup>2</sup> − 4 factors as (''x'' − 2)(''x'' + 2). In all cases, a product of simpler objects is obtained.
| |
| | |
| The aim of factoring is usually to reduce something to “basic building blocks”, such as numbers to prime numbers, or polynomials to [[irreducible polynomial]]s. Factoring integers is covered by the [[fundamental theorem of arithmetic]] and [[polynomial factorization|factoring polynomials]] by the [[fundamental theorem of algebra]]. [[Viète's formulas]] relate the coefficients of a polynomial to its roots.
| |
| | |
| The opposite of polynomial factorization is [[polynomial expansion|expansion]], the multiplying together of polynomial [[divisor|factors]] to an “expanded” polynomial, written as just a sum of terms.
| |
| | |
| [[Integer factorization]] for large integers appears to be a difficult problem. There is no known method to carry it out quickly. Its complexity is the basis of the assumed security of some [[public key cryptography]] algorithms, such as [[RSA (algorithm)|RSA]].
| |
| | |
| A [[matrix (math)|matrix]] can also be factorized into a product of matrices of special types, for an application in which that form is convenient. One major example of this uses an [[orthogonal matrix|orthogonal]] or [[unitary matrix]], and a [[triangular matrix]]. There are different types: [[QR decomposition]], ''LQ'', ''QL'', ''RQ'', ''RZ''.
| |
| | |
| Another example is the factorization of a [[function (mathematics)|function]] as the [[function composition|composition]] of other functions having certain properties; for example, every function can be viewed as the composition of a [[surjective function]] with an [[injective function]]. This situation is generalized by [[factorization system]]s.
| |
| | |
| ==Integers==
| |
| {{Main|Integer factorization}}
| |
| By the [[fundamental theorem of arithmetic]], every positive [[integer]] greater than 1 has a unique [[prime factorization]]. Given an algorithm for integer factorization, one can factor any integer down to its constituent [[Prime number|primes]] by repeated application of this algorithm.<ref>{{Cite book|last1=Hardy |last2= Wright|title= An Introduction to the Theory of Numbers|isbn=978-0198531715|edition=5th|year=1980|publisher=Oxford Science Publications}}</ref> For very large numbers, no efficient [[algorithm]] is known.
| |
| | |
| ==Polynomials==
| |
| {{Main|Factorization of polynomials}}
| |
| | |
| ===Quadratic polynomials===
| |
| Any [[quadratic polynomial]] over the [[complex numbers]] (polynomials of the form <math>ax^2+bx+c</math> where <math>a</math>, <math>b</math>, and <math>c</math> ∈ <math>\mathbb{C}</math>) can be factored into an [[Expression (mathematics)|expression]] with the form <math>a(x - \alpha)(x - \beta) \ </math> using the [[quadratic formula]]. The method is as follows:
| |
| | |
| :<math>
| |
| \begin{align}
| |
| ax^2 + bx + c & = a(x - \alpha)(x - \beta) \\
| |
| & = a\left(x - \frac{-b + \sqrt{b^2-4ac}}{2a}\right) \left(x - \frac{-b - \sqrt{b^2-4ac}}{2a}\right),
| |
| \end{align}
| |
| </math>
| |
| | |
| where <math>\alpha</math> and <math>\beta</math> are the two [[root of a function|roots]] of the polynomial, found with the [[quadratic formula]].
| |
| | |
| ====Polynomials factorable over the integers====
| |
| Quadratic polynomials can sometimes be factored into two binomials with simple integer coefficients by use of [[Vieta's formulas]], without the need to use the quadratic formula. In a [[quadratic equation]], this will expose its two roots. The formula
| |
| | |
| :<math>ax^2+bx+c,\,\!</math>
| |
| | |
| would be factored into:
| |
| | |
| :<math>(mx+p)(nx+q),\,\!</math>
| |
| where
| |
| : <math>mn = a,\ pq = c\,\!</math>
| |
| and
| |
| : <math>pn + mq = b. \,</math>
| |
| | |
| Each binomial can then be set equal to zero, and solving for ''x'' reveals the two roots.
| |
| | |
| Consider for example 2''x''<sup>2</sup> − 5''x'' + 2 = 0. Because ''a'' = 2 and ''mn'' = ''a'', ''mn'' = 2, which means that of ''m'' and ''n'', one is 1 and the other is 2. Now we have (2''x'' + ''p'')(''x'' + ''q'') = 0. Because ''c'' = 2 and ''pq'' = c, ''pq'' = 2, which means that of ''p'' and ''q'', one is 1 and the other is 2 or one is −1 and the other is −2. A guess and check of substituting the 1 and 2, and −1 and −2, into ''p'' and ''q'' (while applying ''pn'' + ''mq'' = ''b'') tells us that 2''x''<sup>2</sup> − 5''x'' + 2 = 0 factors into (2''x'' − 1)(''x'' − 2) = 0, giving us the roots ''x'' = {0.5, 2}.
| |
| | |
| '''Note:''' A quick way to check whether the second term in the binomial should be positive or negative (in the example, 1 and 2 and −1 and −2) is to check the second operation in the trinomial (+ or −). If it is +, then check the first operation: if it is +, the terms will be positive, while if it is −, the terms will be negative. If the second operation is −, there will be one positive and one negative term; guess and check is the only way to determine which one is positive and which is negative.
| |
| | |
| If a polynomial with integer coefficients has a [[discriminant]] that is a perfect square, that polynomial is factorable over the integers. For example, consider the polynomial 2''x''<sup>2</sup> + 2''x'' − 12. If the values of the expression are substituted into the quadratic formula, the discriminant ''b''<sup>2</sup> − 4''ac'' becomes 2<sup>2</sup> − (4 × 2 × (−12)), which equals 100. 100 is a perfect square, so the polynomial 2''x''<sup>2</sup> + 2''x'' − 12 is factorable over the integers; its factors are 2, (''x'' − 2), and (''x'' + 3).
| |
| | |
| Now consider the polynomial ''x''<sup>2</sup> + 93''x'' − 2. Its discriminant, 93<sup>2</sup> − 4 × 1 × (−2), is equal to 8657, which is not a perfect square. So ''x''<sup>2</sup> + 93''x'' − 2 cannot be factored over the integers.
| |
| | |
| ====Perfect square trinomials====
| |
| [[File:A plus b au carre.svg|thumb|200px|right|A visual illustration of the identity (''a'' + ''b'')<sup>2</sup> = ''a''<sup>2</sup> + 2''ab'' + ''b''<sup>2</sup>]]
| |
| Some quadratics can be factored into two identical binomials. These quadratics are called perfect square trinomials. Perfect square trinomials can be factored as follows:
| |
| | |
| :<math> a^2 + 2ab + b^2 = (a + b)^2,\,\!</math>
| |
| | |
| and
| |
| | |
| :<math> a^2 - 2ab + b^2 = (a - b)^2.\,\!</math>
| |
| | |
| ====Sum/difference of two squares====
| |
| {{Main|Difference of two squares}}
| |
| | |
| Another common type of algebraic factoring is called the [[difference of two squares]]. It is the application of the formula
| |
| | |
| :<math> a^2 - b^2 = (a+b)(a-b),\,\!</math>
| |
| | |
| to any two terms, whether or not they are perfect squares. If the two terms are subtracted, simply apply the formula. If they are added, the two binomials obtained from the factoring will each have an imaginary term. This formula can be represented as
| |
| | |
| :<math> a^2 + b^2 = (a+bi)(a-bi). \,\!</math>
| |
| | |
| For example, <math>4x^2 + 49</math> can be factored into <math>(2x + 7i)(2x - 7i)</math>.
| |
| | |
| ====Factoring by grouping====
| |
| Another way to factor some polynomials is factoring by grouping. For those who like algorithms, “factoring by grouping” may be the best way to approach factoring a trinomial, as it takes the guess work out of the process.
| |
| | |
| | |
| Factoring by grouping is done by placing the terms in the polynomial into two or more groups, where each group can be factored by a known method. The results of these factorizations can sometimes be combined to make an even more simplified expression. For example, to factor the polynomial
| |
| | |
| <math>4x^2+20x+3yx+15y \,</math>
| |
| | |
| Group similar terms, <math>(4x^2+20x)+(3yx+15y)\,</math>
| |
| | |
| Factor out [[Polynomial greatest common divisor|greatest common factor]], <math>4x(x+5)+3y(x+5)\,</math>
| |
| | |
| Factor out binomial <math>(x+5)(4x+3y)\,</math>
| |
| | |
| ==== AC Method ====
| |
| If a quadratic polynomial has rational solutions, we can find p and q so that pq = ac and p + q = b. (If the discriminant is a square number these exist, otherwise we have irrational or complex solutions, and the assumption of rational solutions is not valid.)
| |
| | |
| :<math>
| |
| \begin{align}
| |
| ax^2 + bx + c & = \frac{a^2x^2 + abx
| |
| + ac}{a} & = \frac{(ax+p)(ax+q)}{a}
| |
| \end{align}
| |
| </math>
| |
| | |
| The terms on top will have common factors that can be factored out and used to cancel the denominator, if it is not 1. As an example consider the quadratic polynomial:
| |
| | |
| :<math>
| |
| \begin{align}
| |
| 6x^2 + 13x + 6
| |
| \end{align}
| |
| </math>
| |
| Inspection of the factors of ac = 36 leads to 4 + 9 = 13 = b.
| |
| :<math>
| |
| \begin{align}
| |
| 6x^2 + 13x + 6 & = \frac{(6x+4)(6x+9)}{6} \\
| |
| &= \frac{2(3x+2)(3)(2x+3)}{6} \\
| |
| &= (3x+2)(2x+3)
| |
| \end{align}
| |
| </math>
| |
| | |
| ===Factoring other polynomials===
| |
| ====Sum/difference of two cubes====
| |
| [[File:Differenceofcubes.jpg|thumb|A visual representation of the factorization of cubes using volumes. For a sum of cubes, simply substitute z=-y.]]
| |
| Another formula for factoring is the sum or difference of two cubes. The sum can be represented by
| |
| :<math> a^3 + b^3 = (a + b)(a^2 - ab + b^2),\,\!</math>
| |
| and the difference by
| |
| :<math> a^3 - b^3 = (a - b)(a^2 + ab + b^2).\,\!</math>
| |
| | |
| ====Difference of two fourth powers====
| |
| Another formula is the difference of two fourth powers, which is
| |
| :<math> a^4 - b^4 = (a^2 + b^2)(a + b)(a - b).\,\!</math>
| |
| * This formula is derivable from the difference-of-two-squares formula by treating ''a''<sup>4</sup> and ''b''<sup>4</sup> as the squares of ''a''<sup>2</sup> and ''b''<sup>2</sup>, respectively; applying the difference-of-two squares formula in factoring (''a''<sup>4</sup> - ''b''<sup>4</sup>) into ([''a''<sup>2</sup> + ''b''<sup>2</sup>] · [''a''<sup>2</sup> - ''b''<sup>2</sup>]); and reapplying the difference-of-two-squares formula to the second factor, thereby restating the overall expression as ([''a''<sup>2</sup> + ''b''<sup>2</sup>] · [''a'' + ''b''] · [''a'' - ''b'']).
| |
| | |
| ====Sum/difference of two fifth powers====
| |
| Another formula for factoring is the sum or difference of two fifth powers. The sum can be represented by
| |
| :<math> a^5 + b^5 = (a + b)(a^4 - a^3 b + a^2 b^2 - a b^3 + b^4),\,\!</math>
| |
| and the difference by
| |
| :<math> a^5 - b^5 = (a - b)(a^4 + a^3 b + a^2 b^2 + a b^3 + b^4).\,\!</math>
| |
| (Both of these can be factored further, but not with integer coefficients.)
| |
| | |
| ====Sum/difference of two sixth powers====
| |
| Then there's the formula for factoring the sum or difference of two sixth powers. The sum can be represented by
| |
| :<math> a^6 + b^6 = (a^2 + b^2)(a^4 - a^2 b^2 + b^4),\,\!</math>
| |
| and the difference by
| |
| :<math> a^6 - b^6 = (a + b)(a - b)(a^2 - ab + b^2)(a^2 + ab + b^2).\,\!</math>
| |
| | |
| ====Sum/difference of two seventh powers====
| |
| And last there’s the formula for factoring the sum or difference of two seventh powers. The sum can be represented by
| |
| :<math> a^7 + b^7 = (a + b) (a^6 - a^5 b + a^4 b^2 - a^3 b^3 + a^2 b^4 - a b^5 + b^6),\,\!</math>
| |
| and the difference by
| |
| :<math> a^7 - b^7 = (a - b)(a^6 + a^5 b + a^4 b^2 + a^3 b^3 + a^2 b^4 + a b^5 + b^6).\,\!</math>
| |
| | |
| ====Sum/difference of two n<sup>th</sup> powers ====
| |
| The above factorization of differences of powers can be extended to any positive integer power ''n'' by use of the [[Geometric series#Formula|geometric series]]. By noting that
| |
| :<math> x^{n-1} + x^{n-2} + \ldots + x + 1 = \frac{x^n -1}{x-1}, </math>
| |
| and multiplying by the (''x'' − 1) factor, the desired result is found. To give the general
| |
| form as above, we can replace ''x'' by ''a/b'' and multiply both sides by ''b''<sup>n</sub>.
| |
| This gives the general form for the difference of two ''n''<sup>th</sup> powers as
| |
| :<math> a^n - b^n = (a-b)(a^{n-1} + ba^{n-2} + b^2 a^{n-3} + \ldots + b^{n-2} a + b^{n-1} ).\!</math>
| |
| The corresponding sum of two ''n''<sup>th</sup> powers depends on whether ''n'' is even or odd.
| |
| If ''n'' is odd, ''b'' can be replaced by −''b'' in the above formula, to give
| |
| | |
| :<math> a^n + b^n = (a+b)(a^{n-1} - ba^{n-2} + b^2 a^{n-3} - \ldots - b^{n-2} a + b^{n-1} ).\!</math>
| |
| | |
| If ''n'' is even, we consider two cases:
| |
| | |
| 1. If n is a power of 2
| |
| :<math> a^n + b^n\!</math>
| |
| is unfactorable.
| |
| | |
| 2.Let ''n'' equal
| |
| :<math> m*2^k,\!</math>
| |
| where m is odd.
| |
| | |
| Then, the expression can be written
| |
| :<math> a^{m*2^k} + b^{m*2^k}.\!
| |
| </math>
| |
| Now, the general factorization is
| |
| :<math> a^n + b^n = (a^{2^k} + b^{2^k})(a^{n-2^k} - (b^{2^k} a^{n-2^{k+1}}) + (b^{2^{k+1}} a^{n-2^{k+2}}) - \ldots - (b^{n-2^{k+1}} a^{2^k}) + b^{n-2^k}).\!
| |
| </math>
| |
| | |
| ====Other factorization formulae ====
| |
| :<math>x^3 + y^3 + z^3 - 3xyz = (x + y + z)(x^2 + y^2 + z^2 - xy - xz - yz).\!
| |
| </math>
| |
| | |
| ==Matrices==
| |
| {{Main|Matrix decomposition}}
| |
| | |
| ==Euclidean domains==
| |
| {{Empty section|date=January 2012}}
| |
| | |
| ==See also==
| |
| *[[Completing the square]]
| |
| *[[Factorization of polynomials]]
| |
| *[[Factor theorem]]
| |
| *[[FOIL rule]]
| |
| *[[Monoid factorisation]]
| |
| *[[Pascal's triangle]]
| |
| *[[Prime factor]]
| |
| *[[Fermat's factorization method]]
| |
| *[[Euler's factorization method]]
| |
| *[[Integer factorization]]
| |
| *[[Program synthesis]]
| |
| *[[Table of Gaussian integer factorizations]]
| |
| *[[Unique factorization domain|Unique factorization]]
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| | |
| ==External links==
| |
| {{Wiktionary|factorisation|factorization}}
| |
| * {{springer|title=Factorization of polynomials|id=p/f130010}}
| |
| * [http://factors.evalwave.com/ One hundred million numbers factored on html pages.]
| |
| * [http://library.thinkquest.org/20991/alg/factoring.html?tqskip1=1 A page about factorization, Algebra, Factoring]
| |
| * [http://wims.unice.fr/wims/wims.cgi?module=tool/algebra/factor.en WIMS Factoris] is an online factorization tool.
| |
| * [[Wolfram Alpha]] [http://www.wolframalpha.com/input/?i=Factor%20-2006+%2B+1155+x+-+78+x^2+%2B+x^3 can factorize too].
| |
| | |
| [[Category:Arithmetic]]
| |
| [[Category:Elementary algebra]]
| |