TEOREMA (2.42) Sea Entonces la representacin canonca de un entero s, y solo si y sea un antero positivo.

Donde DEMOSTRACION

, para cada ,

) Supongamos que

donde

, entonces

Donde ) Supongamos que .

es un entero, luego

. Por definicin existe un entero , positivo en este caso tal que

La unicidad de la representacin canonca de nos garantiza que los primos que aparecen en la factorizacin de y son los mismos que aparecen en la de . As

Donde

y

, tenemos que



TEOREMA (2.43) Sean . Entonces , donde es primo para todo y para todo

  Donde  y  .

DEMOSTRACION Sea i. ii. Como . Veamos que y satisface las condiciones para ser para cada , por al teorema anterior , donde . . . y . y

Si existe  entero tal que y . Entonces para cada y entonces . Luego . Veamos que .

Sea i. ii. iii.

satisface las condiciones para ser

Como y para cada , por el teorema anterior , donde Si existe  entero tal que y . Entonces para cada y entonces . Luego .

. y

TEOREMA (3.18) Sea una raz de polinomio  enteros. Entonces , sean los coeficientes es un entero o un nmero irracional.

DEMOSTRACION Supongamos que con es racional. Entonces hagamos , sean y enteros primos relativos , tenemos

. Puesto que es una raz de

Multiplicando por

Luego

Veamos que . Asumamos que . Entonces tiene un divisor primo . Entonces y , por transitividad , de aqu tenemos que . Entonces decir que es una contradiccin, tendramos que , en consecuencia si es racional, y tenemos que es un entero.

EJEMPLO (3.21) Sea un entero positivo, que su -sima potencia no es entero. Entonces es irracional, es una raz de , en consecuencia los nmeros por el teorema anterior, son irracionales. TEOREMA Sea un racional, , es una raz del polinomio

Donde DEMOSTRACION Si

enteros. Entonces



un racional, es una raz de

, tenemos

Multiplicando por

, tenemos 

Donde , luego Ahora, .

es un entero. Entonces

y como

Donde , luego

es un entero. Entonces

y como