Articulo de referencia

Factorización

El polinomio x² + cx + d , donde a + b = c y ab = d , se puede factorizar en ( x + a )( x + b ). En matemáticas , la factorización (o factorización ,...

El polinomio + cx + d , donde a + b = c y ab = d , se puede factorizar en ( x + a )( x + b ).              

En matemáticas , la factorización (o factorización , véanse las diferencias ortográficas en inglés ) consiste en escribir un número u otro objeto matemático como producto de varios factores , generalmente objetos más pequeños o más simples del mismo tipo. Por ejemplo, 3 × 5 es una factorización entera de 15 , y ( x − 2)( x + 2) es una factorización polinómica de 4 .

La factorización no suele considerarse significativa dentro de los sistemas numéricos que poseen división , como los números reales o complejos , ya que cualquierincógnita{\displaystyle x}se puede escribir trivialmente como(incógnitay)×(1/y){\displaystyle (xy)\times (1/y)}cuando seay{\displaystyle y}no es cero. Sin embargo, se puede obtener una factorización significativa para un número racional o una función racional escribiéndolo en su mínima expresión y factorizando por separado su numerador y su denominador.

La factorización fue considerada por primera vez por los matemáticos griegos antiguos en el caso de los números enteros. Demostraron el teorema fundamental de la aritmética , que afirma que todo entero positivo puede factorizarse en un producto de números primos , el cual no puede factorizarse a su vez en enteros mayores que 1. Además, esta factorización es única salvo por el orden de los factores. Si bien la factorización de enteros es una especie de operación inversa a la multiplicación, es mucho más difícil algorítmicamente , un hecho que se aprovecha en el sistema criptográfico RSA para implementar la criptografía de clave pública .

La factorización de polinomios también se ha estudiado durante siglos. En álgebra elemental , factorizar un polinomio reduce el problema de encontrar sus raíces a encontrar las raíces de sus factores. Los polinomios con coeficientes enteros o en un cuerpo poseen la propiedad de factorización única , una versión del teorema fundamental de la aritmética con números primos reemplazados por polinomios irreducibles . En particular, un polinomio univariado con coeficientes complejos admite una factorización única (salvo orden) en polinomios lineales : esta es una versión del teorema fundamental del álgebra . En este caso, la factorización se puede realizar con algoritmos de búsqueda de raíces . El caso de los polinomios con coeficientes enteros es fundamental para el álgebra computacional . Existen algoritmos computacionales eficientes para calcular factorizaciones (completas) dentro del anillo de polinomios con coeficientes racionales (véase factorización de polinomios ).

Un anillo conmutativo que posee la propiedad de factorización única se denomina dominio de factorización única . Existen sistemas numéricos , como ciertos anillos de enteros algebraicos , que no son dominios de factorización única. Sin embargo, los anillos de enteros algebraicos satisfacen la propiedad más débil de los dominios de Dedekind : los ideales se factorizan de forma única en ideales primos .

La factorización también puede referirse a descomposiciones más generales de un objeto matemático en el producto de objetos más pequeños o simples. Por ejemplo, toda función puede factorizarse en la composición de una función sobreyectiva con una función inyectiva . Las matrices poseen muchos tipos de factorizaciones matriciales . Por ejemplo, toda matriz tiene una factorización LUP única como producto de una matriz triangular inferior L con todas las entradas diagonales iguales a uno, una matriz triangular superior U y una matriz de permutación P ; esta es una formulación matricial de la eliminación gaussiana .

Números enteros

Según el teorema fundamental de la aritmética , todo número entero mayor que 1 tiene una factorización única (salvo el orden de los factores) en números primos , que son aquellos números enteros que no pueden factorizarse más en el producto de números enteros mayores que uno.

Para calcular la factorización de un entero n , se necesita un algoritmo para encontrar un divisor q de n o determinar si n es primo. Cuando se encuentra dicho divisor, la aplicación repetida de este algoritmo a los factores q y n / q da finalmente la factorización completa de n . [ 1 ]

Para encontrar un divisor q de n , si lo hay, basta con probar todos los valores de q tales que 1 < q y q 2n . De hecho, si r es un divisor de n tal que r 2 > n , entonces q = n / r es un divisor de n tal que q 2n .

Si se prueban los valores de q en orden ascendente, el primer divisor que se encuentra es necesariamente un número primo, y el cofactor r = n / q no puede tener ningún divisor menor que q . Para obtener la factorización completa, basta con continuar el algoritmo buscando un divisor de r que no sea menor que q ni mayor que r .

No es necesario comprobar todos los valores de q para aplicar el método. En principio, basta con comprobar solo los divisores primos. Para ello, se necesita una tabla de números primos que se puede generar, por ejemplo, con la criba de Eratóstenes . Como el método de factorización realiza esencialmente el mismo trabajo que la criba de Eratóstenes, generalmente es más eficiente comprobar si un divisor es aquel número del que no está claro de inmediato si es primo o no. Normalmente, se puede proceder comprobando 2, 3, 5 y los números mayores que  5, cuyo último dígito es 1, 3, 7, 9 y cuya suma de dígitos no es múltiplo de 3.

Este método funciona bien para factorizar números enteros pequeños, pero es ineficiente para números enteros más grandes. Por ejemplo, Pierre de Fermat no pudo descubrir que el sexto número de Fermat

1+225=1+232=4294967297{\displaystyle 1+2^{2^{5}}=1+2^{32}=4\,294\,967\,297}

no es un número primo. De hecho, aplicar el método anterior requeriría más de10 000  divisiones , para un número que tiene 10 dígitos decimales . 

Existen algoritmos de factorización más eficientes. Sin embargo, siguen siendo relativamente ineficientes, ya que, con la tecnología actual, ni siquiera con los ordenadores más potentes se puede factorizar un número de 500 dígitos decimales que sea producto de dos números primos elegidos al azar. Esto garantiza la seguridad del sistema criptográfico RSA , ampliamente utilizado para la comunicación segura en internet .

Ejemplo

Para factorizar n = 1386 en números primos:

  • Comencemos con la división por 2: el número es par, y n = 2 · 693. Continuamos con 693, y 2 como primer candidato a divisor.
  • 693 es impar (2 no es un divisor), pero es un múltiplo de 3: se tiene 693 = 3 · 231 y n = 2 · 3 · 231. Continuamos con 231 y 3 como primer candidato a divisor.
  • 231 también es múltiplo de 3: se tiene 231 = 3 · 77 , y por lo tanto n = 2 · 3 2 · 77. Continuamos con 77 y 3 como primer candidato a divisor.
  • 77 no es múltiplo de 3, ya que la suma de sus dígitos es 14, que no es múltiplo de 3. Tampoco es múltiplo de 5 porque su último dígito es 7. El siguiente divisor impar a comprobar es 7. Tenemos 77 = 7 · 11 , y por lo tanto n = 2 · 3 2 · 7 · 11. Esto demuestra que 7 es primo (fácil de comprobar directamente). Continuamos con 11, y 7 como primer candidato a divisor.
  • Como 7 2 > 11 , se ha terminado. Por lo tanto, 11 es primo, y la factorización prima es
1386 = 2 · 3 2 · 7 · 11 .

Expresiones

La manipulación de expresiones es la base del álgebra . La factorización es uno de los métodos más importantes para la manipulación de expresiones por varias razones. Si se puede expresar una ecuación en forma factorizada EF = 0 , entonces el problema de resolver la ecuación se divide en dos problemas independientes (y generalmente más fáciles): E = 0 y F = 0. Cuando una expresión se puede factorizar, los factores suelen ser mucho más simples y, por lo tanto, pueden ofrecer alguna información sobre el problema. Por ejemplo,

incógnita3aincógnita2bincógnita2doincógnita2+abincógnita+adoincógnita+bdoincógnitaabdo{\displaystyle x^{3}-ax^{2}-bx^{2}-cx^{2}+abx+acx+bcx-abc}

que tiene 16 multiplicaciones, 4 restas y 3 sumas, se puede factorizar en la expresión mucho más simple

(incógnitaa)(incógnitab)(incógnitado),{\displaystyle (xa)(xb)(xc),}

con solo dos multiplicaciones y tres restas. Además, la forma factorizada proporciona inmediatamente las raíces x = a , b , c como raíces del polinomio.

Por otro lado, la factorización no siempre es posible, y cuando lo es, los factores no siempre son más simples. Por ejemplo,incógnita101{\displaystyle x^{10}-1}puede descomponerse en dos factores irreduciblesincógnita1{\displaystyle x-1}yincógnita9+incógnita8++incógnita2+incógnita+1{\displaystyle x^{9}+x^{8}+\cdots +x^{2}+x+1}.

Se han desarrollado diversos métodos para encontrar factorizaciones; algunos se describen a continuación .

La resolución de ecuaciones algebraicas puede considerarse un problema de factorización de polinomios . De hecho, el teorema fundamental del álgebra se puede enunciar de la siguiente manera: todo polinomio en x de grado n con coeficientes complejos puede factorizarse en n factores lineales.incógnitaai,{\displaystyle x-a_{i},}para i = 1, ..., n , donde los a i s son las raíces del polinomio. [ 2 ] Aunque se conoce la estructura de la factorización en estos casos, los a i s generalmente no se pueden calcular en términos de radicales ( raíces n -ésimas ), por el teorema de Abel-Ruffini . En la mayoría de los casos, lo mejor que se puede hacer es calcular valores aproximados de las raíces con un algoritmo de búsqueda de raíces .

Historia de la factorización de expresiones

El uso sistemático de manipulaciones algebraicas para simplificar expresiones (más específicamente ecuaciones ) puede remontarse al siglo IX, con el libro de al-Juarismi, El compendio sobre el cálculo por compleción y equilibrio , que lleva por título dos de estos tipos de manipulación.

Sin embargo, incluso para resolver ecuaciones cuadráticas , el método de factorización no se utilizó antes del trabajo de Harriot publicado en 1631, diez años después de su muerte. [ 3 ] En su libro Artis Analyticae Praxis ad Aequationes Algebraicas Resolvendas , Harriot dibujó tablas para la suma, resta , multiplicación y división de monomios , binomios y trinomios . Luego, en una segunda sección, planteó la ecuación aaba + ca = + bc , y demostró que esta coincide con la forma de multiplicación que había proporcionado previamente, dando la factorización ( ab )( a + c ) . [ 4 ]

Métodos generales

Los siguientes métodos se aplican a cualquier expresión que sea una suma o que pueda transformarse en una suma. Por lo tanto, se aplican con mayor frecuencia a polinomios , aunque también pueden aplicarse cuando los términos de la suma no son monomios , es decir, cuando los términos de la suma son un producto de variables y constantes.

factor común

Puede ocurrir que todos los términos de una suma sean productos y que algunos factores sean comunes a todos ellos. En este caso, la propiedad distributiva permite factorizar dicho factor común. Si existen varios factores comunes, es preferible factorizar el mayor de ellos. Asimismo, si los coeficientes son enteros, se puede factorizar el máximo común divisor de dichos coeficientes.

Por ejemplo, [ 5 ]6incógnita3y2+8incógnita4y310incógnita5y3=2incógnita3y2(3+4incógnitay5incógnita2y),{\displaystyle 6x^{3}y^{2}+8x^{4}y^{3}-10x^{5}y^{3}=2x^{3}y^{2}(3+4xy-5x^{2}y),} puesto que 2 es el máximo común divisor de 6, 8 y 10, yincógnita3y2{\displaystyle x^{3}y^{2}}divide todos los términos.

Agrupamiento

La agrupación de términos puede permitir el uso de otros métodos para obtener una factorización.

Por ejemplo, para factorizar 4incógnita2+20incógnita+3incógnitay+15y,{\displaystyle 4x^{2}+20x+3xy+15y,} Se puede observar que los dos primeros términos tienen un factor común x , y los dos últimos términos tienen un factor común y . Por lo tanto, 4incógnita2+20incógnita+3incógnitay+15y=(4incógnita2+20incógnita)+(3incógnitay+15y)=4incógnita(incógnita+5)+3y(incógnita+5).{\displaystyle 4x^{2}+20x+3xy+15y=(4x^{2}+20x)+(3xy+15y)=4x(x+5)+3y(x+5).} Luego, una simple inspección muestra el factor común x + 5 , lo que lleva a la factorización. 4incógnita2+20incógnita+3incógnitay+15y=(4incógnita+3y)(incógnita+5).{\displaystyle 4x^{2}+20x+3xy+15y=(4x+3y)(x+5).}

En general, esto funciona para sumas de 4 términos que se han obtenido como producto de dos binomios . Aunque no es frecuente, también puede funcionar para ejemplos más complejos.

Suma y resta de términos

En ocasiones, la agrupación de ciertos términos revela parte de un patrón reconocible . En ese caso, resulta útil añadir y restar términos para completar dicho patrón.

Un uso típico de esto es el método de completar el cuadrado para obtener la fórmula cuadrática .

Otro ejemplo es la factorización deincógnita4+1.{\displaystyle x^{4}+1.}Si se introduce la raíz cuadrada no real de –1 , comúnmente denotada por i , entonces se tiene una diferencia de cuadrados.incógnita4+1=(incógnita2+i)(incógnita2i).{\displaystyle x^{4}+1=(x^{2}+i)(x^{2}-i).} Sin embargo, también se puede desear una factorización con coeficientes de números reales . Sumando y restando2incógnita2,{\displaystyle 2x^{2},}y agrupando tres términos, se puede reconocer el cuadrado de un binomio : incógnita4+1=(incógnita4+2incógnita2+1)2incógnita2=(incógnita2+1)2(incógnita2)2=(incógnita2+incógnita2+1)(incógnita2incógnita2+1).{\displaystyle x^{4}+1=(x^{4}+2x^{2}+1)-2x^{2}=(x^{2}+1)^{2}-\left(x{\sqrt {2}}\right)^{2}=\left(x^{2}+x{\sqrt {2}}+1\right)\left(x^{2}-x{\sqrt {2}}+1\right).} Restar y sumar2incógnita2{\displaystyle 2x^{2}}También produce la factorización: incógnita4+1=(incógnita42incógnita2+1)+2incógnita2=(incógnita21)2+(incógnita2)2=(incógnita2+incógnita21)(incógnita2incógnita21).{\displaystyle x^{4}+1=(x^{4}-2x^{2}+1)+2x^{2}=(x^{2}-1)^{2}+\left(x{\sqrt {2}}\right)^{2}=\left(x^{2}+x{\sqrt {-2}}-1\right)\left(x^{2}-x{\sqrt {-2}}-1\right).} Estas factorizaciones funcionan no solo sobre los números complejos, sino también sobre cualquier cuerpo , donde –1, 2 o –2 sea un cuadrado. En un cuerpo finito , el producto de dos números no cuadrados es un cuadrado; esto implica que el polinomioincógnita4+1,{\displaystyle x^{4}+1,}que es irreducible sobre los enteros, es reducible módulo todo número primo . Por ejemplo, incógnita4+1(incógnita+1)4(mod2);{\displaystyle x^{4}+1\equiv (x+1)^{4}{\pmod {2}};}incógnita4+1(incógnita2+incógnita1)(incógnita2incógnita1)(mod3),{\displaystyle x^{4}+1\equiv (x^{2}+x-1)(x^{2}-x-1){\pmod {3}},}desde122(mod3);{\displaystyle 1^{2}\equiv -2{\pmod {3}};}incógnita4+1(incógnita2+2)(incógnita22)(mod5),{\displaystyle x^{4}+1\equiv (x^{2}+2)(x^{2}-2){\pmod {5}},}desde221(mod5);{\displaystyle 2^{2}\equiv -1{\pmod {5}};}incógnita4+1(incógnita2+3incógnita+1)(incógnita23incógnita+1)(mod7),{\displaystyle x^{4}+1\equiv (x^{2}+3x+1)(x^{2}-3x+1){\pmod {7}},}desde322(mod7).{\displaystyle 3^{2}\equiv 2{\pmod {7}}.}

Patrones reconocibles

Muchas identidades establecen una igualdad entre una suma y un producto. Los métodos descritos anteriormente pueden utilizarse para que la suma de una identidad aparezca en una expresión, pudiendo así sustituirse por un producto.

A continuación se muestran identidades cuyos lados izquierdos se utilizan comúnmente como patrones (esto significa que las variables E y F que aparecen en estas identidades pueden representar cualquier subexpresión de la expresión que debe factorizarse). [ 6 ]

Prueba visual de las diferencias entre dos cuadrados y dos cubos.
mi2F2=(mi+F)(miF){\displaystyle E^{2}-F^{2}=(E+F)(E-F)}
Por ejemplo,
a2+2ab+b2incógnita2+2incógnitayy2=(a2+2ab+b2)(incógnita22incógnitay+y2)=(a+b)2(incógnitay)2=(a+b+incógnitay)(a+bincógnita+y).{\displaystyle {\begin{aligned}a^{2}+&2ab+b^{2}-x^{2}+2xy-y^{2}\\&=(a^{2}+2ab+b^{2})-(x^{2}-2xy+y^{2})\\&=(a+b)^{2}-(x-y)^{2}\\&=(a+b+x-y)(a+b-x+y).\end{aligned}}}
  • Suma/diferencia de dos cubos

mi3+F3=(mi+F)(mi2miF+F2){\displaystyle E^{3}+F^{3}=(E+F)(E^{2}-EF+F^{2})}
mi3F3=(miF)(mi2+miF+F2){\displaystyle E^{3}-F^{3}=(E-F)(E^{2}+EF+F^{2})}
a3+b3+3ab(a+b)=(a+b)3{\displaystyle a^{3}+b^{3}+3ab(a+b)=(a+b)^{3}}
a3b33ab(ab)=(ab)3{\displaystyle a^{3}-b^{3}-3ab(a-b)=(a-b)^{3}}
  • Diferencia de dos cuartas potencias
mi4F4=(mi2+F2)(mi2F2)=(mi2+F2)(mi+F)(miF){\displaystyle {\begin{aligned}E^{4}-F^{4}&=(E^{2}+F^{2})(E^{2}-F^{2})\\&=(E^{2}+F^{2})(E+F)(E-F)\end{aligned}}}
  • Suma/diferencia de dos potencias n- ésimas
En las siguientes identidades, los factores a menudo pueden factorizarse aún más:
  • Diferencia, exponente par
mi2norteF2norte=(minorte+Fnorte)(minorteFnorte){\displaystyle E^{2n}-F^{2n}=(E^{n}+F^{n})(E^{n}-F^{n})}
  • Diferencia, exponente par o impar
minorteFnorte=(miF)(minorte1+minorte2F+minorte3F2++miFnorte2+Fnorte1)=(miF)k=0norte1minorte1kFk{\displaystyle E^{n}-F^{n}=(E-F)(E^{n-1}+E^{n-2}F+E^{n-3}F^{2}+\cdots +EF^{n-2}+F^{n-1})=(E-F)\sum _{k=0}^{n-1}{E^{n-1-k}F^{k}}}
Este es un ejemplo que muestra que los factores pueden ser mucho mayores que la suma que se factoriza.
  • Suma, exponente impar
minorte+Fnorte=(mi+F)(minorte1minorte2F+minorte3F2miFnorte2+Fnorte1)=(mi+F)k=0norte1(1)kminorte1kFk{\displaystyle E^{n}+F^{n}=(E+F)(E^{n-1}-E^{n-2}F+E^{n-3}F^{2}-\cdots -EF^{n-2}+F^{n-1})=(E+F)\sum _{k=0}^{n-1}(-1)^{k}{E^{n-1-k}F^{k}}}
(obtenido al cambiar F por F en la fórmula anterior)
  • Suma, exponente par
Si el exponente es una potencia de dos, entonces la expresión no puede, en general, factorizarse sin introducir números complejos (si E y F contienen números complejos, esto puede no ser el caso). Si n tiene un divisor impar, es decir, si n = pq con p impar, se puede usar la fórmula anterior (en "Suma, exponente impar") aplicada a(miq)pag+(Fq)pag.{\displaystyle (E^{q})^{p}+(F^{q})^{p}.}
  • Trinomios y fórmulas cúbicas
incógnita2+y2+z2+2(incógnitay+yz+incógnitaz)=(incógnita+y+z)2incógnita3+y3+z33incógnitayz=(incógnita+y+z)(incógnita2+y2+z2incógnitayincógnitazyz)incógnita3+y3+z3+3incógnita2(y+z)+3y2(incógnita+z)+3z2(incógnita+y)+6incógnitayz=(incógnita+y+z)3incógnita3+y3+z3+3(incógnita+y)(y+z)(incógnita+z)=(incógnita+y+z)3{\displaystyle {\begin{aligned}&x^{2}+y^{2}+z^{2}+2(xy+yz+xz)=(x+y+z)^{2}\\&x^{3}+y^{3}+z^{3}-3xyz=(x+y+z)(x^{2}+y^{2}+z^{2}-xy-xz-yz)\\&x^{3}+y^{3}+z^{3}+3x^{2}(y+z)+3y^{2}(x+z)+3z^{2}(x+y)+6xyz=(x+y+z)^{3}\\&x^{3}+y^{3}+z^{3}+3(x+y)(y+z)(x+z)=(x+y+z)^{3}\\\end{aligned}}}
incógnita4+incógnita2y2+y4=(incógnita2+incógnitay+y2)(incógnita2incógnitay+y2){\displaystyle x^{4}+x^{2}y^{2}+y^{4}=(x^{2}+xy+y^{2})(x^{2}-xy+y^{2})}
incógnita4+incógnita2+1=(incógnita2+incógnita+1)(incógnita2incógnita+1){\displaystyle x^{4}+x^{2}+1=(x^{2}+x+1)(x^{2}-x+1)}
  • Desarrollos binomiales
Visualización de la expansión binomial hasta la cuarta potencia.
El teorema del binomio proporciona patrones que pueden reconocerse fácilmente a partir de los números enteros que aparecen en ellos.
En grado bajo:
a2+2ab+b2=(a+b)2{\displaystyle a^{2}+2ab+b^{2}=(a+b)^{2}}
a22ab+b2=(ab)2{\displaystyle a^{2}-2ab+b^{2}=(a-b)^{2}}
a3+3a2b+3ab2+b3=(a+b)3{\displaystyle a^{3}+3a^{2}b+3ab^{2}+b^{3}=(a+b)^{3}}
a33a2b+3ab2b3=(ab)3{\displaystyle a^{3}-3a^{2}b+3ab^{2}-b^{3}=(a-b)^{3}}
De manera más general, los coeficientes de las formas expandidas de(a+b)norte{\displaystyle (a+b)^{n}}y(ab)norte{\displaystyle (a-b)^{n}}son los coeficientes binomiales que aparecen en la n -ésima fila del triángulo de Pascal .

Raíces de la unidad

Las raíces enésimas de la unidad son los números complejos, cada uno de los cuales es una raíz del polinomio.incógnitanorte1.{\displaystyle x^{n}-1.}Son, por lo tanto, los números mi2ikπ/norte=porque2πknorte+ipecado2πknorte{\displaystyle e^{2ik\pi /n}=\cos {\tfrac {2\pi k}{n}}+i\sin {\tfrac {2\pi k}{n}}} parak=0,,norte1.{\displaystyle k=0,\ldots ,n-1.}

De ello se deduce que para cualesquiera dos expresiones E y F , se tiene: minorteFnorte=(miF)k=1norte1(miFmi2ikπ/norte){\displaystyle E^{n}-F^{n}=(E-F)\prod _{k=1}^{n-1}\left(E-Fe^{2ik\pi /n}\right)}minorte+Fnorte=k=0norte1(miFmi(2k+1)iπ/norte)si norte es incluso{\displaystyle E^{n}+F^{n}=\prod _{k=0}^{n-1}\left(E-Fe^{(2k+1)i\pi /n}\right)\qquad {\text{if }}n{\text{ is even}}}minorte+Fnorte=(mi+F)k=1norte1(mi+Fmi2ikπ/norte)si norte es extraño{\displaystyle E^{n}+F^{n}=(E+F)\prod _{k=1}^{n-1}\left(E+Fe^{2ik\pi /n}\right)\qquad {\text{if }}n{\text{ is odd}}}

Si E y F son expresiones reales, y se desean factores reales, hay que reemplazar cada par de factores conjugados complejos por su producto. Como el conjugado complejo demiiα{\displaystyle e^{i\alpha }}esmiiα,{\displaystyle e^{-i\alpha },}y (abmiiα)(abmiiα)=a2ab(miiα+miiα)+b2miiαmiiα=a22abporqueα+b2,{\displaystyle \left(a-be^{i\alpha }\right)\left(a-be^{-i\alpha }\right)=a^{2}-ab\left(e^{i\alpha }+e^{-i\alpha }\right)+b^{2}e^{i\alpha }e^{-i\alpha }=a^{2}-2ab\cos \,\alpha +b^{2},} uno tiene las siguientes factorizaciones reales (se pasa de una a otra cambiando k por nk o n + 1 − k y aplicando las fórmulas trigonométricas habituales : mi2norteF2norte=(miF)(mi+F)k=1norte1(mi22miFporquekπnorte+F2)=(miF)(mi+F)k=1norte1(mi2+2miFporquekπnorte+F2){\displaystyle {\begin{aligned}E^{2n}-F^{2n}&=(E-F)(E+F)\prod _{k=1}^{n-1}\left(E^{2}-2EF\cos \,{\tfrac {k\pi }{n}}+F^{2}\right)\\&=(E-F)(E+F)\prod _{k=1}^{n-1}\left(E^{2}+2EF\cos \,{\tfrac {k\pi }{n}}+F^{2}\right)\end{aligned}}}mi2norte+F2norte=k=1norte(mi2+2miFporque(2k1)π2norte+F2)=k=1norte(mi22miFporque(2k1)π2norte+F2){\displaystyle {\begin{aligned}E^{2n}+F^{2n}&=\prod _{k=1}^{n}\left(E^{2}+2EF\cos \,{\tfrac {(2k-1)\pi }{2n}}+F^{2}\right)\\&=\prod _{k=1}^{n}\left(E^{2}-2EF\cos \,{\tfrac {(2k-1)\pi }{2n}}+F^{2}\right)\end{aligned}}}

Los cosenos que aparecen en estas factorizaciones son números algebraicos y pueden expresarse en términos de radicales (esto es posible porque su grupo de Galois es cíclico); sin embargo, estas expresiones radicales son demasiado complicadas para ser utilizadas, excepto para valores bajos de n . Por ejemplo, a4+b4=(a22ab+b2)(a2+2ab+b2).{\displaystyle a^{4}+b^{4}=(a^{2}-{\sqrt {2}}ab+b^{2})(a^{2}+{\sqrt {2}}ab+b^{2}).}a5b5=(ab)(a2+152ab+b2)(a2+1+52ab+b2),{\displaystyle a^{5}-b^{5}=(a-b)\left(a^{2}+{\frac {1-{\sqrt {5}}}{2}}ab+b^{2}\right)\left(a^{2}+{\frac {1+{\sqrt {5}}}{2}}ab+b^{2}\right),}a5+b5=(a+b)(a2152ab+b2)(a21+52ab+b2),{\displaystyle a^{5}+b^{5}=(a+b)\left(a^{2}-{\frac {1-{\sqrt {5}}}{2}}ab+b^{2}\right)\left(a^{2}-{\frac {1+{\sqrt {5}}}{2}}ab+b^{2}\right),}

A menudo se busca una factorización con coeficientes racionales. Dicha factorización involucra polinomios ciclotómicos . Para expresar factorizaciones racionales de sumas y diferencias o potencias, necesitamos una notación para la homogeneización de un polinomio : siPAG(incógnita)=a0incógnitanorte+aiincógnitanorte1++anorte,{\displaystyle P(x)=a_{0}x^{n}+a_{i}x^{n-1}+\cdots +a_{n},}Su homogeneización es el polinomio bivariado.PAG¯(incógnita,y)=a0incógnitanorte+aiincógnitanorte1y++anorteynorte.{\displaystyle {\overline {P}}(x,y)=a_{0}x^{n}+a_{i}x^{n-1}y+\cdots +a_{n}y^{n}.}Entonces, uno tiene minorteFnorte=knorteQ¯norte(mi,F),{\displaystyle E^{n}-F^{n}=\prod _{k\mid n}{\overline {Q}}_{n}(E,F),}minorte+Fnorte=k2norte,knorteQ¯norte(mi,F),{\displaystyle E^{n}+F^{n}=\prod _{k\mid 2n,k\not \mid n}{\overline {Q}}_{n}(E,F),} donde los productos se toman sobre todos los divisores de n , o todos los divisores de 2n que no dividen a n , yQnorte(incógnita){\displaystyle Q_{n}(x)}es el n -ésimo polinomio ciclotómico.

Por ejemplo, a6b6=Q¯1(a,b)Q¯2(a,b)Q¯3(a,b)Q¯6(a,b)=(ab)(a+b)(a2ab+b2)(a2+ab+b2),{\displaystyle a^{6}-b^{6}={\overline {Q}}_{1}(a,b){\overline {Q}}_{2}(a,b){\overline {Q}}_{3}(a,b){\overline {Q}}_{6}(a,b)=(a-b)(a+b)(a^{2}-ab+b^{2})(a^{2}+ab+b^{2}),}a6+b6=Q¯4(a,b)Q¯12(a,b)=(a2+b2)(a4a2b2+b4),{\displaystyle a^{6}+b^{6}={\overline {Q}}_{4}(a,b){\overline {Q}}_{12}(a,b)=(a^{2}+b^{2})(a^{4}-a^{2}b^{2}+b^{4}),} ya que los divisores de 6 son 1, 2, 3, 6, y los divisores de 12 que no dividen a 6 son 4 y 12.

Polinomios

Para los polinomios, la factorización está fuertemente relacionada con el problema de resolver ecuaciones algebraicas . Una ecuación algebraica tiene la forma

PAG(incógnita) =definición a0incógnitanorte+a1incógnitanorte1++anorte=0,{\displaystyle P(x)\ \,{\stackrel {\text{def}}{=}}\ \,a_{0}x^{n}+a_{1}x^{n-1}+\cdots +a_{n}=0,}

donde P ( x ) es un polinomio en x cona00.{\displaystyle a_{0}\neq 0.} Una solución de esta ecuación (también llamada raíz del polinomio) es un valor r de x tal que

PAG(r)=0.{\displaystyle P(r)=0.}

SiPAG(incógnita)=Q(incógnita)R(incógnita){\displaystyle P(x)=Q(x)R(x)}es una factorización de P ( x ) = 0 como producto de dos polinomios, entonces las raíces de P ( x ) son la unión de las raíces de Q ( x ) y las raíces de R ( x ) . Por lo tanto, resolver P ( x ) = 0 se reduce a los problemas más simples de resolver Q ( x ) = 0 y R ( x ) = 0 .

Por el contrario, el teorema del factor afirma que, si r es una raíz de P ( x ) = 0 , entonces P ( x ) puede factorizarse como

PAG(incógnita)=(incógnitar)Q(incógnita),{\displaystyle P(x)=(x-r)Q(x),}

donde Q ( x ) es el cociente de la división euclidiana de P ( x ) = 0 por el factor lineal (de grado uno) xr .

Si los coeficientes de P ( x ) son números reales o complejos , el teorema fundamental del álgebra afirma que P ( x ) tiene una raíz real o compleja. Usando el teorema del factor recursivamente, resulta que

PAG(incógnita)=a0(incógnitar1)(incógnitarnorte),{\displaystyle P(x)=a_{0}(x-r_{1})\cdots (x-r_{n}),}

dónder1,,rnorte{\displaystyle r_{1},\ldots ,r_{n}}son las raíces reales o complejas de P , algunas de las cuales pueden repetirse. Esta factorización completa es única hasta el orden de los factores.

Si los coeficientes de P ( x ) son reales, generalmente se busca una factorización cuyos factores tengan coeficientes reales. En este caso, la factorización completa puede tener algunos factores cuadráticos (de segundo grado). Esta factorización se puede deducir fácilmente de la factorización completa anterior. De hecho, si r = a + ib es una raíz no real de P ( x ) , entonces su conjugado complejo s = aib también es una raíz de P ( x ) . Por lo tanto, el producto

(incógnitar)(incógnitas)=incógnita2(r+s)incógnita+rs=incógnita22aincógnita+a2+b2{\displaystyle (x-r)(x-s)=x^{2}-(r+s)x+rs=x^{2}-2ax+a^{2}+b^{2}}

es un factor de P ( x ) con coeficientes reales. Repitiendo esto para todos los factores no reales se obtiene una factorización con factores reales lineales o cuadráticos.

Para calcular estas factorizaciones reales o complejas, se necesitan las raíces del polinomio, que no siempre se pueden calcular con exactitud, sino solo aproximar mediante algoritmos de búsqueda de raíces .

En la práctica, la mayoría de las ecuaciones algebraicas de interés tienen coeficientes enteros o racionales , y puede que se desee una factorización con factores del mismo tipo. El teorema fundamental de la aritmética puede generalizarse a este caso, estableciendo que los polinomios con coeficientes enteros o racionales tienen la propiedad de factorización única . Más precisamente, todo polinomio con coeficientes racionales puede factorizarse en un producto

PAG(incógnita)=qPAG1(incógnita)PAGk(incógnita),{\displaystyle P(x)=q\,P_{1}(x)\cdots P_{k}(x),}

donde q es un número racional yPAG1(incógnita),,PAGk(incógnita){\displaystyle P_{1}(x),\ldots ,P_{k}(x)}son polinomios no constantes con coeficientes enteros que son irreducibles y primitivos ; esto significa que ninguno de losPAGi(incógnita){\displaystyle P_{i}(x)}Se puede escribir como el producto de dos polinomios (con coeficientes enteros) que no son ni 1 ni -1 (los enteros se consideran polinomios de grado cero). Además, esta factorización es única salvo por el orden y el signo de los factores.

Existen algoritmos eficientes para calcular esta factorización, implementados en la mayoría de los sistemas de álgebra computacional . Véase Factorización de polinomios . Desafortunadamente, estos algoritmos son demasiado complejos para realizar cálculos manuales. Además de las heurísticas mencionadas, solo unos pocos métodos son adecuados para cálculos manuales, los cuales generalmente solo funcionan para polinomios de bajo grado, con pocos coeficientes distintos de cero. Los principales métodos de este tipo se describen en las siguientes subsecciones.

Factorización de partes primitivas y contenido

Todo polinomio con coeficientes racionales puede factorizarse, de forma única, como el producto de un número racional y un polinomio con coeficientes enteros, que es primitivo (es decir, el máximo común divisor de sus coeficientes es 1) y tiene un coeficiente principal positivo (el coeficiente del término de mayor grado). Por ejemplo:

10incógnita2+5incógnita+5=(5)(2incógnita2incógnita1){\displaystyle -10x^{2}+5x+5=(-5)\cdot (2x^{2}-x-1)}
13incógnita5+72incógnita2+2incógnita+1=16(2incógnita5+21incógnita2+12incógnita+6){\displaystyle {\frac {1}{3}}x^{5}+{\frac {7}{2}}x^{2}+2x+1={\frac {1}{6}}(2x^{5}+21x^{2}+12x+6)}

En esta factorización, el número racional se llama contenido y el polinomio primitivo es la parte primitiva . El cálculo de esta factorización se puede realizar de la siguiente manera: primero, se reducen todos los coeficientes a un denominador común, para obtener el cociente por un entero q de un polinomio con coeficientes enteros. Luego se divide por el mayor común divisor p de los coeficientes de este polinomio para obtener la parte primitiva, siendo el contenidopag/q.{\displaystyle p/q.}Finalmente, si es necesario, se cambian los signos de p y de todos los coeficientes de la parte primitiva.

Esta factorización puede producir un resultado mayor que el polinomio original (normalmente cuando hay muchos denominadores coprimos ), pero, incluso en esos casos, la parte primitiva suele ser más fácil de manipular para una factorización posterior.

Utilizando el teorema del factor

El teorema del factor establece que, si r es una raíz de un polinomio

PAG(incógnita)=a0incógnitanorte+a1incógnitanorte1++anorte1incógnita+anorte,{\displaystyle P(x)=a_{0}x^{n}+a_{1}x^{n-1}+\cdots +a_{n-1}x+a_{n},}

lo que significa P ( r ) = 0 , entonces hay una factorización

PAG(incógnita)=(incógnitar)Q(incógnita),{\displaystyle P(x)=(x-r)Q(x),}

dónde

Q(incógnita)=b0incógnitanorte1++bnorte2incógnita+bnorte1,{\displaystyle Q(x)=b_{0}x^{n-1}+\cdots +b_{n-2}x+b_{n-1},}

cona0=b0{\displaystyle a_{0}=b_{0}}. Entonces, la división larga de polinomios o la división sintética dan como resultado:

bi=a0ri++ai1r+ai  para  i=1,,norte1.{\displaystyle b_{i}=a_{0}r^{i}+\cdots +a_{i-1}r+a_{i}\ {\text{ for }}\ i=1,\ldots ,n{-}1.}

Esto puede resultar útil cuando se conoce o se puede adivinar una raíz del polinomio.

Por ejemplo, paraPAG(incógnita)=incógnita33incógnita+2,{\displaystyle P(x)=x^{3}-3x+2,}Se puede ver fácilmente que la suma de sus coeficientes es 0, por lo que r = 1 es una raíz. Como r + 0 = 1 yr2+0r3=2,{\displaystyle r^{2}+0r-3=-2,}uno tiene

incógnita33incógnita+2=(incógnita1)(incógnita2+incógnita2).{\displaystyle x^{3}-3x+2=(x-1)(x^{2}+x-2).}

Raíces racionales

Para polinomios con coeficientes racionales, se pueden buscar raíces que sean números racionales. La factorización primitiva de contenido parcial (véase más arriba ) reduce el problema de la búsqueda de raíces racionales al caso de polinomios con coeficientes enteros que no tienen un divisor común no trivial .

Siincógnita=pagq{\displaystyle x={\tfrac {p}{q}}}es una raíz racional de dicho polinomio

PAG(incógnita)=a0incógnitanorte+a1incógnitanorte1++anorte1incógnita+anorte,{\displaystyle P(x)=a_{0}x^{n}+a_{1}x^{n-1}+\cdots +a_{n-1}x+a_{n},}

El teorema del factor muestra que se tiene una factorización.

PAG(incógnita)=(qincógnitapag)Q(incógnita),{\displaystyle P(x)=(qx-p)Q(x),}

donde ambos factores tienen coeficientes enteros (el hecho de que Q tenga coeficientes enteros resulta de la fórmula anterior para el cociente de P ( x ) porincógnitapag/q{\displaystyle x-p/q}).

Comparando los coeficientes de grado n y los coeficientes constantes en la igualdad anterior se observa que, sipagq{\displaystyle {\tfrac {p}{q}}}es una raíz racional en forma reducida , entonces q es un divisor dea0,{\displaystyle a_{0},}y p es un divisor deanorte.{\displaystyle a_{n}.}Por lo tanto, existe un número finito de posibilidades para p y q , que pueden examinarse sistemáticamente. [ 7 ]

Por ejemplo, si el polinomio

PAG(incógnita)=2incógnita37incógnita2+10incógnita6{\displaystyle P(x)=2x^{3}-7x^{2}+10x-6}

tiene una raíz racionalpagq{\displaystyle {\tfrac {p}{q}}}con q > 0 , entonces p debe dividir a 6; es decirpag{±1,±2,±3,±6},{\displaystyle p\in \{\pm 1,\pm 2,\pm 3,\pm 6\},}y q debe dividir a 2, es decirq{1,2}.{\displaystyle q\in \{1,2\}.}Además, si x < 0 , todos los términos del polinomio son negativos y, por lo tanto, una raíz no puede ser negativa. Es decir, se debe tener

pagq{1,2,3,6,12,32}.{\displaystyle {\tfrac {p}{q}}\in \{1,2,3,6,{\tfrac {1}{2}},{\tfrac {3}{2}}\}.}

Un cálculo directo muestra que solo32{\displaystyle {\tfrac {3}{2}}}es una raíz, por lo que no puede haber otra raíz racional. Aplicando el teorema del factor se llega finalmente a la factorización. 2incógnita37incógnita2+10incógnita6=(2incógnita3)(incógnita22incógnita+2).{\displaystyle 2x^{3}-7x^{2}+10x-6=(2x-3)(x^{2}-2x+2).}

Método cuadrático de CA

El método anterior puede adaptarse para polinomios cuadráticos , dando lugar al método ac de factorización. [ 8 ]

Consideremos el polinomio cuadrático

PAG(incógnita)=aincógnita2+bincógnita+do{\displaystyle P(x)=ax^{2}+bx+c}

con coeficientes enteros. Si tiene una raíz racional, su denominador debe dividir exactamente a y puede escribirse como una fracción posiblemente reducible.r1=ra.{\displaystyle r_{1}={\tfrac {r}{a}}.}Según las fórmulas de Vieta , la otra raízr2{\displaystyle r_{2}}es

r2=bar1=bara=b+ra=sa,{\displaystyle r_{2}=-{\frac {b}{a}}-r_{1}=-{\frac {b}{a}}-{\frac {r}{a}}=-{\frac {b+r}{a}}={\frac {s}{a}},}

cons=(b+r).{\displaystyle s=-(b+r).} Por lo tanto, la segunda raíz también es racional, y la segunda fórmula de Vietar1r2=doa{\displaystyle r_{1}r_{2}={\frac {c}{a}}}da

sara=doa,{\displaystyle {\frac {s}{a}}{\frac {r}{a}}={\frac {c}{a}},}

eso es

rs=adoyr+s=b.{\displaystyle rs=ac\quad {\text{and}}\quad r+s=-b.}

Comprobar todos los pares de números enteros cuyo producto sea ac proporciona las raíces racionales, si las hay.

En resumen, siaincógnita2+bincógnita+do{\displaystyle ax^{2}+bx+c}tiene raíces racionales hay enteros r y s talesrs=ado{\displaystyle rs=ac}yr+s=b{\displaystyle r+s=-b}(un número finito de casos para probar), y las raíces sonra{\displaystyle {\tfrac {r}{a}}}ysa.{\displaystyle {\tfrac {s}{a}}.}En otras palabras, se tiene la factorización

a(aincógnita2+bincógnita+do)=(aincógnitar)(aincógnitas).{\displaystyle a(ax^{2}+bx+c)=(ax-r)(ax-s).}

Por ejemplo, consideremos el polinomio cuadrático

6incógnita2+13incógnita+6.{\displaystyle 6x^{2}+13x+6.}

La inspección de los factores de ac = 36 conduce a 4 + 9 = 13 = b , lo que da las dos raíces.

r1=46=23yr2=96=32,{\displaystyle r_{1}=-{\frac {4}{6}}=-{\frac {2}{3}}\quad {\text{and}}\quad r_{2}=-{\frac {9}{6}}=-{\frac {3}{2}},}

y la factorización

6incógnita2+13incógnita+6=6(incógnita+23)(incógnita+32)=(3incógnita+2)(2incógnita+3).{\displaystyle 6x^{2}+13x+6=6(x+{\tfrac {2}{3}})(x+{\tfrac {3}{2}})=(3x+2)(2x+3).}

Uso de fórmulas para raíces de polinomios

Cualquier polinomio cuadrático univariadoaincógnita2+bincógnita+do{\displaystyle ax^{2}+bx+c}se puede factorizar utilizando la fórmula cuadrática :

aincógnita2+bincógnita+do=a(incógnitaα)(incógnitaβ)=a(incógnitab+b24ado2a)(incógnitabb24ado2a),{\displaystyle 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),}

dóndeα{\displaystyle \alpha }yβ{\displaystyle \beta }son las dos raíces del polinomio.

Si a, b, c son todos reales , los factores son reales si y solo si el discriminanteb24ado{\displaystyle b^{2}-4ac}es no negativo. De lo contrario, el polinomio cuadrático no se puede factorizar en factores reales no constantes.

La fórmula cuadrática es válida cuando los coeficientes pertenecen a cualquier cuerpo de característica distinta de dos y, en particular, para coeficientes en un cuerpo finito con un número impar de elementos. [ 9 ]

También existen fórmulas para las raíces de polinomios cúbicos y cuárticos , que, en general, resultan demasiado complicadas para su uso práctico. El teorema de Abel-Ruffini demuestra que no existen fórmulas generales para las raíces, expresadas en términos de radicales, de polinomios de grado cinco o superior.

Utilizando relaciones entre raíces

Puede ocurrir que se conozca alguna relación entre las raíces de un polinomio y sus coeficientes. Este conocimiento puede ayudar a factorizar el polinomio y hallar sus raíces. La teoría de Galois se basa en un estudio sistemático de las relaciones entre raíces y coeficientes, que incluye las fórmulas de Vieta .

Aquí, consideramos el caso más simple donde dos raícesincógnita1{\displaystyle x_{1}} yincógnita2{\displaystyle x_{2}}de un polinomioPAG(incógnita){\displaystyle P(x)}satisfacer la relación

incógnita2=Q(incógnita1),{\displaystyle x_{2}=Q(x_{1}),}

donde Q es un polinomio.

Esto implica queincógnita1{\displaystyle x_{1}}es una raíz común dePAG(Q(incógnita)){\displaystyle P(Q(x))}yPAG(incógnita).{\displaystyle P(x).}Por lo tanto, es una raíz del máximo común divisor de estos dos polinomios. De ello se deduce que este máximo común divisor es un factor no constante dePAG(incógnita).{\displaystyle P(x).}El algoritmo euclidiano para polinomios permite calcular este máximo común divisor.

Por ejemplo, [ 10 ] si uno sabe o supone que: PAG(incógnita)=incógnita35incógnita216incógnita+80{\displaystyle P(x)=x^{3}-5x^{2}-16x+80} tiene dos raíces que suman cero, se puede aplicar el algoritmo euclidiano aPAG(incógnita){\displaystyle P(x)}yPAG(incógnita).{\displaystyle P(-x).}El primer paso de la división consiste en añadirPAG(incógnita){\displaystyle P(x)}aPAG(incógnita),{\displaystyle P(-x),}dando el resto de

10(incógnita216).{\displaystyle -10(x^{2}-16).}

Luego, dividiendoPAG(incógnita){\displaystyle P(x)}porincógnita216{\displaystyle x^{2}-16}da cero como nuevo resto y x − 5 como cociente, lo que lleva a la factorización completa.

incógnita35incógnita216incógnita+80=(incógnita5)(incógnita4)(incógnita+4).{\displaystyle x^{3}-5x^{2}-16x+80=(x-5)(x-4)(x+4).}

dominios de factorización únicos

Los números enteros y los polinomios sobre un cuerpo comparten la propiedad de factorización única; es decir, todo elemento distinto de cero puede factorizarse en un producto de un elemento invertible (una unidad , ±1 en el caso de los enteros) y un producto de elementos irreducibles ( números primos , en el caso de los enteros). Esta factorización es única salvo por la reordenación de los factores y el desplazamiento de unidades entre ellos. Los dominios de integridad que comparten esta propiedad se denominan dominios de factorización única (DFU).

Los dominios universales de datos (DUD) tienen máximos comunes divisores , pero no todos los dominios de integridad en los que existen máximos comunes divisores (conocidos como dominios MCD ) son DUD. Todos los dominios de ideales principales son DUD.

Un dominio euclidiano es un dominio de integridad sobre el cual se define una división euclidiana similar a la de los números enteros. Todo dominio euclidiano es un dominio de ideales principales y, por lo tanto, un dominio de dominio universal (DDU).

En un dominio euclidiano, la división euclidiana permite definir un algoritmo euclidiano para calcular el máximo común divisor. Sin embargo, esto no implica la existencia de un algoritmo de factorización. Existe un ejemplo explícito de un cuerpo F tal que no puede existir ningún algoritmo de factorización en el dominio euclidiano F [ x ] de los polinomios univariados sobre F.

ideales

En la teoría algebraica de números , el estudio de las ecuaciones diofánticas llevó a los matemáticos, durante el siglo XIX, a introducir generalizaciones de los enteros llamados enteros algebraicos . El primer anillo de enteros algebraicos que se ha considerado fueron los enteros gaussianos y los enteros de Eisenstein , que comparten con los enteros usuales la propiedad de ser dominios de ideales principales y, por lo tanto, tienen la propiedad de factorización única .

Desafortunadamente, pronto se hizo evidente que la mayoría de los anillos de enteros algebraicos no son principales y no tienen factorización única. El ejemplo más simple esZ[5],{\displaystyle \mathbb {Z} [{\sqrt {-5}}],}en el cual

9=33=(2+5)(25),{\displaystyle 9=3\cdot 3=(2+{\sqrt {-5}})(2-{\sqrt {-5}}),}

y todos estos factores son irreductibles .

Esta falta de factorización única representa una gran dificultad para resolver ecuaciones diofánticas. Por ejemplo, muchas demostraciones erróneas del Último Teorema de Fermat ( probablemente incluyendo la "demostración verdaderamente maravillosa de esto, que este margen es demasiado estrecho para contener" ) se basaron en la suposición implícita de factorización única.

Esta dificultad fue resuelta por Dedekind , quien demostró que los anillos de enteros algebraicos poseen una factorización única de ideales : en estos anillos, cada ideal es producto de ideales primos , y esta factorización es única hasta el orden de los factores. Los dominios de integridad que poseen esta propiedad de factorización única se denominan ahora dominios de Dedekind . Estos dominios tienen muchas propiedades interesantes que los hacen fundamentales en la teoría algebraica de números.

Matrices

Los anillos de matrices no son conmutativos y carecen de factorización única: en general, existen muchas maneras de escribir una matriz como producto de matrices. Por lo tanto, el problema de factorización consiste en encontrar factores de tipos específicos. Por ejemplo, la descomposición LU da como resultado una matriz producto de una matriz triangular inferior por una matriz triangular superior . Dado que esto no siempre es posible, generalmente se considera la descomposición LUP, cuyo tercer factor es una matriz de permutación .

Consulte la sección Descomposición de matrices para conocer los tipos más comunes de factorizaciones de matrices.

Una matriz lógica representa una relación binaria , y la multiplicación de matrices corresponde a la composición de relaciones . La descomposición de una relación mediante factorización permite perfilar la naturaleza de la misma, como por ejemplo, una relación difuncional .

Véase también

Notas

  1. Hardy; Wright (1980), Introducción a la teoría de los números (5.ª  ed.), Oxford Science Publications, ISBN 978-0198531715
  2. ^ Klein 1925 , págs. 101-102 
  3. En Sanford, Vera (2008) [1930], Una breve historia de las matemáticas , Read Books, ISBN 9781409727101El autor señala: "En vista del énfasis actual que se le da a la solución de ecuaciones cuadráticas mediante factorización, es interesante observar que este método no se utilizó hasta la obra de Harriot de 1631".
  4. ^ Harriot, T. (1631), Artis Analyticae Praxis ad Aequationes Algebraicas Resolvendas (en latín), Apud Robertum Barker, typographum regium
  5. Fite 1921 , pág. 19 
  6. Selby 1970 , pág. 101 
  7. Dickson 1922 , pág. 27 
  8. Stover, Christopher, "Método AC" , Mathworld , archivado del original el 12 de noviembre de 2014.
  9. En un campo de característica 2, se tiene 2 = 0, y la fórmula produce una división por cero.
  10. Burnside y Panton 1960 , pág. 38 

Referencias

  • Burnside, William Snow ; Panton, Arthur William (1960) [1912], La teoría de las ecuaciones con una introducción a la teoría de las formas algebraicas binarias (Volumen uno) , Dover
  • Dickson, Leonard Eugene (1922), "Primer curso de teoría de ecuaciones", Nature , 109 (2746), Nueva York: John Wiley & Sons: 773, Bibcode : 1922Natur.109R.773. , doi : 10.1038/109773c0
  • Fite, William Benjamin (1921), Álgebra universitaria (revisada) , Boston: DC Heath & Co.
  • Klein, Felix (1925), Matemáticas elementales desde un punto de vista avanzado; aritmética, álgebra, análisis , Dover
  • Selby, Samuel M. (1970), Tablas matemáticas estándar CRC (18.ª  ed.), The Chemical Rubber Co.
Obtenido de " https://en.wikipedia.org/w/index.php?title=Factorization&oldid=1362172749 "