Teorema Fundamental de la lgebra El teorema fundamental del lgebra (TFA) dice que "toda ecuacin polinmica de grado n con

coeficientes complejos tiene n races complejas". La demostracin de Gauss de 1816 es puramente algebraica y las nicas suposiciones en las que se basa son que: (i) (ii) toda ecuacin real de grado impar tiene una raz real y toda ecuacin cuadrtica con coeficientes complejos tiene dos races complejas. Al empezarla demostracin, Gauss dice "La demostracin sera sumamente sencilla si pudisemos 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 algn campo o extensin del mismo, entonces se puede formar la combinacin lineal:

con una t nueva e indeterminada. Si se permutan las races a,b, c, lacombinacin lineal formada valores posibles que son las races de una ecuacin auxiliar de grado m de la tiene forma y funciones lineales de t. Tan pronto como conocemos una raz de la ecuacin auxiliar, conocemos tambin a+b y ab ya que ambas se pueden expresar por medio de races cuadradas. Ello ser siempre cierto si la t indeterminada es distinta para cada una de las funciones lineales. Si m es un nmero de la forma

donde k es impar, el grado de la ecuacin auxiliar ser de la forma Teorema del Binomio

Si n es un nmero entero positivo, entonces,

Demostracin 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

forma vemos que en cada uno de los cuatro sumandos que configuran el resultado figura uno, y slo un elemento de cada factor. El siguiente diagrama resume la situacin.

Procediendo de forma idntica, 

el diagrama siguiente representa:

el siguiente rbol muestra el desarrollo de

Obsrvese que al elegir una letra, y slo una (la a o la b), de cada factor, todos y cada uno de los factores resultantes han de tener el mismo nmero de letras, dos en , tres en cuatro en y as sucesivamente. Veamos un ejemplo de lo que decimos e intentemos sacar alguna conclusin. Supongamos que queremos saber el coeficiente de alguno de los sumandos del desarrollo de . Como hemos visto todos tendrn siete letras. Consideremos por ejemplo ababaaa, es decir y fijmonos 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, podemos utilizar el siguiente esquema:

Por lo tanto, el nmero de veces que se repetir (y, consecuentemente, ) es igual al nmero 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, el coeficiente de en el desarrollo de es . Un razonamiento idntico nos permite decir que el coeficiente de en el mismo desarrollo es , y as podemos calcular los coeficientes de todos los sumandos. Este mismo razonamiento puede utilizarse para calcular el coeficiente de cualquier sumando

en el desarrollo de . Si k es cualquier nmero entero entre 0 y n, el sumando tiene la a repetida k veces correspondiendo una, y slo una, a cada factor, luego son grupos de k elementos (factores) elegidos entre n (total de factores) y donde el orden no importa. Por lo tanto su nmero es . De acuerdo con todo lo expuesto, ya estamos en condiciones de escribir el desarrollo de
.   

Plantearemos ahora el mismo problema de forma ligeramente distinta. En el clculo que hicimos del coeficiente de en el desarrollo de , nos hemos fijado nicamente en las a. Qu pasara si nos fijamos tanto en las aes como en las b? El esquema siguiente refleja la situacin.

El nmero de productos posibles de la forma tal que cada a y cada b est en uno y slo un factor sera 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, . En general, el nmero de productos del tipo sera igual al nmero 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, es decir,

Por lo tanto

Algoritmo de la divisin son nmeros enteros con , entonces existen dos enteros, y , nicos, tales que , con  . A los nmeros , , y se les suele llamar, respectivamente, dividendo, divisor, cociente y resto. Si y Demostracin Existencia de y . sea el mayor de los mltiplos de menor o igual

Bastara tomar como un nmero entero tal que que , es decir tal que .

Una vez obtenido el cociente q, podemos calcular el resto r sin ms que hacer . Por otra parte, si , es decir, , entonces el siguiente mltiplo de ,   As pues, existen y , enteros tales que , con Unicidad de y . , , y , enteros tales que   , ser estrictamente mayor que

Entonces,

Supongamos que no son nicos, es decir, supongamos que existen verifican el teorema, o sea,

Entonces,

y al ser

ser

luego,
y al ser , tendremos que 

de donde sigue que

y como

son enteros, tendr que ser

por tanto,  

de donde se sigue tambin que

Divisibilidad

Un concepto central en la teora de nmeros es la divisibilidad. Considerando el conjunto de los enteros Z = {..., 2, 1,0,1,2,...}. Para a, b  Z decimos que a divide a b si az = b para algn z  Z. Si a divide b, entonces tenemos que a | b, y podemos decir que a es divisor de b, o que b es un mltiplo de a, o que b es divisible por a. Si a no divide a b, entonces escribimos como a b. Propiedades de la divisibilidad:

Teorema 1.1. Para todo a, b, c  Z, tenemos que: i)    ii)       iii)              iv)          v)          Demostracin Estas propiedades pueden ser fcilmente derivadas de la definicin de divisibilidad, usando propiedades de algebra elemental de enteros. Por ejemplo, a | a por que podemos escribir a 1 = a; 1 | a por que podemos escribir como 1 a = a; a | 0 por que se puede expresar como a 0 = 0. Si a | b y b 0, entonces 1 | a | | b |. En efecto, si az = b 0 para algn entero z, entonces a and z 0; por lo que |a| 1, |z| 1, por lo tanto |a| |a||z| = |b|. (ii) y   0

En efecto,
y al ser y no tener divisores de cero, se sigue que  luego,

(iii) a |b y b |c =) a |c . En efecto,


con , luego 
siendo , luego   

 

(iv)

En efecto,

Teorema 1.2. Para todo a, b  Z, se tiene que a | b y b | a si y slo si a = b. En particular, para cada a, b  Z se tiene que a|1 si y slo si a=1. Prueba: Claramente, si a = b, entonces a | b = b y b | a. Asumiendo que a | b y b | a, demostrar que a = b. Si cualquiera a o b son cero, entonces otros deben ser cero tambin. Por lo que asumimos que no es cero. Por la observacin anterior, a | b implica | a | | b |, y b | a implica que | b | | a |, por lo que, | a |=| b |y por lo tanto a = b. Lo que prueba la primera sentencia. La segunda sentencia se deriva de la primera afirmacin mediante el establecimiento de b:=1 y teniendo en cuenta que a | 1. El producto de dos nmeros enteros distintos de cero es diferente de cero. Esto implica la ley de cancelacin: Si a, b y c son enteros tal que y ab=ac, entonces se debe tener que b=c; de hecho, ab=ac implica que a(b-c)=0 y por lo tanto implica que b-c=0, por lo tanto b=c. Nmero Primos y Compuestos Sea n un entero positivo. Trivialmente, 1 y n dividen n. Si n>1 y no hay otros enteros positivos, adems de 1 y n que dividen a n, entonces decimos que n es primo. Si n>1, pero n no es primo, entonces se dice que n es compuesto. El nmero 1 no se considera que es primo o compuesto. Evidentemente, n es compuesto si y slo si n= ab para algunos enteros a, b con 1<a<n y 1<b<n. Los primeros nmeros primos son:

2,3,5,7,11,13,17,....
Un hecho fundamental es que cada nmero entero distinto de cero puede expresarse como un producto de nmeros primos de manera esencialmente nica.

Teorema 1.3 (Teorema fundamental de la aritmtica). Cada entero diferente de cero puede expresarse como:

Bibliografa
Matemticas Discreta y Combinatoria. Ralph P. Grimaldi. Addison-Wesley Iberoamericana. Elementos de Matemtica Discreta. E. Bujalance, J. A. Bujalance, A. F. Costa y E. Martnez. U.N.E.D. Editorial Sanz y Torres. Problemas de Matemtica Discreta. E. Bujalance, J. A. Bujalance, A. F. Costa y E. Martnez. U.N.E.D. Editorial Sanz y Torres. 201 Problemas resueltos de Matemtica Discreta. Vicente Meavilla Segu. Prensas Universitarias de Zaragoza.