Teorema Fundamental de la Álgebra El teorema fundamental del álgebra (TFA) dice que "toda ecuación polinómica de grado n con

coeficientes complejos tiene n raíces complejas". La demostración de Gauss de 1816 es puramente algebraica y las únicas suposiciones en las que se basa son que: (i) (ii) toda ecuación real de grado impar tiene una raíz real y toda ecuación cuadrática con coeficientes complejos tiene dos raíces complejas. Al empezarla demostración, Gauss dice "La demostración sería sumamente sencilla si pudiésemos presuponer que Y es un producto de factores lineales"

Gauss empieza con un polinomio real de grado m: Si suponemos, por un momento, que Y se puede factorizar en factores lineales

en algún campo o extensión del mismo, entonces se puede formar la combinación lineal:

con una t nueva e indeterminada. Si se permutan las raíces a,b, c, « lacombinación lineal formada valores posibles que son las raíces de una ecuación auxiliar de grado m¶ de la tiene forma y funciones lineales de t. Tan pronto como conocemos una raíz de la ecuación auxiliar, conocemos también a+b y ab ya que ambas se pueden expresar por medio de raíces cuadradas. Ello será siempre cierto si la t indeterminada es distinta para cada una de las funciones lineales. Si m es un número de la forma

donde k es impar, el grado de la ecuación auxiliar será de la forma Teorema del Binomio

Si n es un número entero positivo, entonces,

Demostración Se observa lo siguiente:

donde hemos multiplicado el primer sumando (la a) del primer factor (a + b) por los dos del segundo y luego el segundo sumando (la b) del primer factor por los dos del segundo. De esta

 el diagrama siguiente representa: el siguiente árbol muestra el desarrollo de . El siguiente diagrama resume la situación. y sólo un elemento de cada factor.forma vemos que en cada uno de los cuatro sumandos que configuran el resultado figura uno. Procediendo de forma idéntica.

podemos utilizar el siguiente esquema: Por lo tanto. ) es igual al número de grupos de 5 factores que podamos elegir entre los 7 de que disponemos y de tal forma que el orden no influye en el hecho de que dos grupos sean distintos. es decir y fijémonos únicamente en las aes. Teniendo en cuenta que cada una de ellas pertenece a un único factor y llamando estos      para calcular todas las opciones posibles. Este mismo razonamiento puede utilizarse para calcular el coeficiente de cualquier sumando . consecuentemente. Veamos un ejemplo de lo que decimos e intentemos sacar alguna conclusión. es decir. de cada factor. tres en cuatro en y así sucesivamente. todos y cada uno de los factores resultantes han de tener el mismo número de letras. y así podemos calcular los coeficientes de todos los sumandos. el coeficiente de en el desarrollo de es .Obsérvese que al elegir una letra. el número de veces que se repetirá (y. y sólo una (la a o la b). dos en . Supongamos que queremos saber el coeficiente de alguno de los sumandos del desarrollo de . Como hemos visto todos tendrán siete letras. Consideremos por ejemplo ababaaa. Un razonamiento idéntico nos permite decir que el coeficiente de en el mismo desarrollo es .

el número de productos del tipo sería igual al número de palabras distintas que pueden escribirse de tal forma que cada una tuviera n veces repetida la a y n í k veces repetida la b. Por lo tanto . a cada factor. Por lo tanto su número es .    Plantearemos ahora el mismo problema de forma ligeramente distinta. y sólo una. ¿Qué pasaría si nos fijamos tanto en las aes como en las b? El esquema siguiente refleja la situación. el sumando tiene la a repetida k veces correspondiendo una. El número de productos posibles de la forma tal que cada a y cada b esté en uno y sólo un factor sería igual al de palabras de siete letras que podamos formar con cinco a y dos b o lo que es igual todas las ordenaciones posibles que puedan hacerse con ellas. es decir. Si k es cualquier número entero entre 0 y n. En el cálculo que hicimos del coeficiente de en el desarrollo de .en el desarrollo de . es decir. nos hemos fijado únicamente en las a. ya estamos en condiciones de escribir el desarrollo de . luego son grupos de k elementos (factores) elegidos entre n (total de factores) y donde el orden no importa. . En general. De acuerdo con todo lo expuesto.

. cociente y resto. A los números . divisor. .     Supongamos que no son únicos. es decir.   Así pues. Una vez obtenido el cociente q.Algoritmo de la división son números enteros con . o sea. será estrictamente mayor que Entonces. entonces el siguiente múltiplo de . y . enteros tales que . si . supongamos que existen verifican el teorema. con  . . . con Unicidad de y . . sea el mayor de los múltiplos de menor o igual Bastaría tomar como un número entero tal que que . existen y . y se les suele llamar. y . Por otra parte. únicos. dividendo. es decir tal que . tales que . enteros tales que   . Si y Demostración Existencia de y . entonces existen dos enteros. respectivamente. podemos calcular el resto r sin más que hacer . es decir.

.   y al ser  será luego. o que b es divisible por a.0.  y al ser . Propiedades de la divisibilidad: . Considerando el conjunto de los enteros Z = {. tendremos que  de donde sigue que y como y son enteros. o que b es un múltiplo de a. y podemos decir que a es divisor de b. entonces escribimos como a b.í 1.Entonces.1.   de donde se sigue también que Divisibilidad Un concepto central en la teoría de números es la divisibilidad. b  Z decimos que a divide a b si az = b para algún z  Z. entonces tenemos que a | b. tendrá que ser por tanto.... Si a no divide a b.}. Si a divide b.í 2..2.. Para a.

b. 1 | a por que podemos escribir como 1 · a = a. |z| • 1. En efecto. Para todo a. por lo tanto |a| ” |a||z| = |b|. En efecto.1. a | a por que podemos escribir a · 1 = a. (ii) y   0 En efecto.  y al ser y no tener divisores de cero. . a | 0 por que se puede expresar como a · 0 = 0. Si a | b y b 0. si az = b 0 para algún entero z. usando propiedades de algebra elemental de enteros. entonces a and z 0. entonces 1 ” | a | ” | b |. tenemos que: i)    ii)     ×   iii)     ×       ×    iv)          v)          Demostración Estas propiedades pueden ser fácilmente derivadas de la definición de divisibilidad. Por ejemplo. se sigue que  luego. por lo que |a| • 1.Teorema 1.      (iii) a |b y b |c =) a |c . c  Z.

 con .13.. entonces decimos que n es primo. n es compuesto si y sólo si n= ab para algunos enteros a. b y c son enteros tal que y ab=ac. se tiene que a | b y b | a si y sólo si a = ± b. Trivialmente. Si cualquiera a o b son cero. Para todo a. Por lo que asumimos que no es cero. Los primeros números primos son: 2.11. b  Z se tiene que a|1 si y sólo si a=±1. Si n>1. entonces otros deben ser cero también.2. entonces se debe tener que b=c. La segunda sentencia se deriva de la primera afirmación mediante el establecimiento de b:=1 y teniendo en cuenta que a | 1.5. 1 y n dividen n. luego      (iv) y En efecto. Evidentemente. por lo tanto b=c. luego   siendo . a | b implica | a | | b |. Por la observación anterior. | a |=| b |y por lo tanto a = ± b. En particular. de hecho.3. ab=ac implica que a(b-c)=0 y por lo tanto implica que b-c=0. b  Z. El producto de dos números enteros distintos de cero es diferente de cero. Lo que prueba la primera sentencia. entonces se dice que n es compuesto. y b | a implica que | b | | a |. Número Primos y Compuestos Sea n un entero positivo. Esto implica la ley de cancelación: Si a. si a = ± b. demostrar que a = ± b.17. para cada a. Teorema 1. por lo que.7... Prueba: Claramente. El número 1 no se considera que es primo o compuesto. b con 1<a<n y 1<b<n. Un hecho fundamental es que cada número entero distinto de cero puede expresarse como un producto de números primos de manera esencialmente única. además de 1 y n que dividen a n. entonces a | b = ± b y b | a. . pero n no es primo. Asumiendo que a | b y b | a. Si n>1 y no hay otros enteros positivos..

Bujalance.D.Teorema 1. Costa y E.E. Bujalance. Editorial Sanz y Torres. E. F. A. Grimaldi. . 201 Problemas resueltos de Matemática Discreta.3 (Teorema fundamental de la aritmética). Prensas Universitarias de Zaragoza. Cada entero diferente de cero puede expresarse como: Bibliografía Matemáticas Discreta y Combinatoria. U. Elementos de Matemática Discreta. Bujalance. Editorial Sanz y Torres. Bujalance.D. Costa y E. Martínez. Martínez.N. U. A. Addison-Wesley Iberoamericana. Vicente Meavilla Seguí. Ralph P. J.E.N. F. A. A. Problemas de Matemática Discreta. J. E.