Los Números Racionales.: Lema
Los Números Racionales.: Lema
Los Números Racionales.: Lema
Una fracción es una expresión de la forma m con m y n enteros, n>0. Al hablar de fracciones
n m
asumimos que es posible partir a cada numero natural m en n partes iguales, La fracción n
representa a la única cantidad que multiplicada por n (es decir, sumada n veces) da m y que
llamamos m dividido entre n.
m 1 m
Observar que si m es un entero entonces m = y que m n
= .
1 n
Observar también que hay muchas fracciones distintas que representan la misma cantidad: si a
es entero, entonces m y am representan la misma cantidad ya que si multiplicamos ambas
n an
cantidades por an dan lo mismo.
A las cantidades que pueden representarse como fracciones se les llama números racionales.
m
Los números enteros son los racionales que pueden representarse por fracciones de la forma 1
.
m m'
Lema. Dos fracciones y representan el mismo número racional si y solo si mn'=m'n.
n n'
Teorema. Cada número racional distinto de 0 puede expresarse de manera única como una
fracción m
n
donde m y n son primos relativos y n es positivo.
m
Demostración. Si en la fracción los números m y n no son primos relativos y su mcd es d, entonces,
n a
m
m=da y n=db donde a y b son primos relativos y = b , así que cada racional distinto de 0 es una
n
fracción de primos relativos. Veamos que esta fracción reducida es única
m
Si = m' con m, n primos relativos y m', n' primos relativos, entonces por el lema mn'=m'n.
n n'
Así que m|m'n y como m y n son primos relativos entonces m|m'. También m'|mn' y como m' y n' son
primos relativos entonces m'|m. Como m|m' y m'|m y m y m' tienen el mismo signo, entonces m=m'.
El mismo argumento prueba que n=n' . □
Problemas.
2. (Sin usar calculadora) Ordena estas fracciones de acuerdo a las cantidades que representan:
5/7 6/9 7/10 8/11 9/13 (hint: ¿que diría el lema si en lugar de buscar la igualdad
buscamos una desigualdad?)
3. Demuestra que los únicos racionales que pueden expresarse simultáneamente como fracciones
de la forma a/m y b/n con m y n son primos relativos son los enteros.
m m'
Es natural definir la suma de dos fracciones con el mismo denominador como n +
n = m+m'n
ya que al multiplicar las dos primeras fracciones por n y las sumarlas dan la tercera multiplicada
por n. La suma de dos fracciones con distinto denominador debe ser
m m' mn' nm' mn'+m'n
+ = + = .
n n' nn' nn' nn'
Es inmediato que la suma de fracciones es conmutativa y es fácil ver que es asociativa (tarea).
Ademas m n
+ 0 n
= mn
y m
+ -m = 0 = 0 así que 0 es el neutro aditivo y cada fracción tiene
n n n
un inverso aditivo.
a
La multiplicación de fracciones queda determinada por la igualdad m ∙ b = ma b
que dice que al
sumar m veces la cantidad que sumada b veces da a se obtiene la cantidad que sumada b veces
da am. Ahora, si queremos que la multiplicación de fracciones sea asociativa entonces:
1 a 1 na 1 a 1 a a a
n
∙ b
= n
∙ nb
= n
∙ (n ∙ nb
)= ( n
∙n) = (1) ∙ =
nb nb nb
Y por lo tanto
m a 1 a 1 a a ma
n
∙ b
= (m ∙ n
)∙ b
=m∙( n
∙ b
)=m∙ nb
= nb
m
Así que multiplicar una cantidad por n
equivale a multiplicarla por m y dividirla entre n.
a m es m a
Las fracciones también pueden dividirse: : la cantidad que multiplicada por da b
.
b n n
an m a a m a n
Como bm
∙ n
= b
entonces b
: n
= b
∙ m .
Teorema. Los números racionales con la suma y la multiplicación, forman un campo denotado por
Q (por quotient).
Demostración. La suma de fracciones es una fracción y el producto de fracciones es otra fracción La suma y
el producto son operaciones asociativas y conmutativas, y el producto se distribuye con la suma. Hay un
neutro aditivo (m/n+0=0+m/n=m/n), cada racional tiene un inverso aditivo (m/m+(-m/n)=0/n=0).
También hay un neutro multiplicativo (el 1) y cada racional tiene un inverso multiplicativo ya que
m/n ∙ n/m = mn/nm = 1 ). Así que se cumplen todos los axiomas de campo. □
Problemas.
d. 4/15 ∙ 9/10 ∙ 25/6 e. (10/9) : (5/6 : 3/4) f. (2/3 : 4/5) : (6/7 : 8/9)
5. (Fracciones egipcias) Cada fracción positiva se puede descomponer como suma de inversos de
naturales distintos (o sea como una suma de fracciones 1/n1+1/n2+...1+/nk con distintos ni's).
Por ejemplo, 3/4=1/2+1/4. Encuentra descomposiciones en fracciones egipcias para las
siguientes fracciones:
a. 2/3 b. 3/5 c. 2/5 d. 4/5
Números irracionales.
Los pitagóricos creían que el universo esta regido por los números enteros, y en particular,
pensaban que todas las cantidades podrían representarse usando fracciones, hasta que a alguno
de ellos se le ocurrió preguntarse cual fracción representaría a la longitud de la diagonal de un
cuadrado de lado 1:
D2=12+12= 2
m
Si d es un numero racional entonces podemos escribirlo como D=
n
D 1 donde m, n son primos relativos.
2 m2
Elevando al cuadrado obtenemos 2= D2= ( m ) =
n n2
2 2
Así que 2n =m por lo que m es par, y por lo tanto m es par, m=2a.
Sustituyendo queda 2n2=(2a)2 =4a2
1 Así que n2=2a2 por lo que n es par. Pero entonces m y n son pares,
por lo que no son primos relativos, contradiciendo nuestra elección de
m y n. Esto muestra que tal fracción no existe.
La conclusión es que no existe ninguna fracción que represente a la longitud D (que en términos
modernos es √2) así que existen cantidades que no pueden expresarse como fracciones. Estas
son llamadas irracionales (porque no son la razón de dos enteros).
Demostración. Si r y r' son racionales y i es irracional, entonces r+i=r' implicaría que i=r-r', pero la diferencia
de racionales es racional. Y si ri=r' y r≠0, entonces i=r'/r pero el cociente de racionales es racional. □
Demostración. Si a todos los números racionales les sumamos el mismo numero irracional, obtenemos puros
números irracionales. Esto da una función invectiva del conjunto de números racionales al conjunto de
números irracionales (ya que si r+i=r'+i entonces r=r'). □
Demostración. Digamos que n=m2 donde m=a/b donde a y b son primos relativos. Entonces n=a 2/b2 y por lo
tanto nb2 = a2. Recordar que cada numero natural mayor que 1 tiene una factorización prima que es única
salvo por el orden de los factores. Los factores pronos de a 2 son los mismos factores primos de a, pero
repetidos el doble de veces. Y los factores primos de nb 2 son los factores primos de n junto con los factores
primos de b2, que son los factores primos de b repetidos el doble de veces. Como nb2 = a2 y la factorización
en primos es única, en los dos lados deben aparecer los mismos primos el mismo numero de veces. Como
los primos de las factorizaciones de b2 y a2 aparecen un numero par de veces, entonces cada primo en la
factorización de n debe aparecer un numero par de veces, así que n es un cuadrado. □
Problemas.
7. Demuestra que √2+√3 es irracional, así que la suma de irracionales puede ser irracional.
(hint: elevado al cuadrado y usa el ejercicio anterior)
8. Demuestra que si una fracción reducida m/n tiene una raíz cuadrada racional, entonces m y n
tienen raíces enteras.
Expansión decimal.
La notación decimal con la que escribimos a todos los enteros como sumas de potencias de 10,
puede usarse para escribir a todas las fracciones cuyos denominadores son potencias de 10,
123
usando un punto: se escribe 12.3 mientras que 234567 se escribe 123.567 : el
10 1000
desplazamiento del punto desde la derecha indica potencia de 10.
Cada expresión como 356.32819 representa una fracción con denominador una potencia de 10,
sin embargo la mayoría de las fracciones no pueden escribirse exactamente así (tarea: solo se
pueden aquellas fracciones reducidas cuyo denominador es producto de potencias de 2 y/o de 5).
3 1 4 33 1 34 333 1 334
• Ejemplo.
10
< <
3 10
,
100
<
3
<
100
,
1000
< <
3 1000
,...,
1 1 1
o sea que 0.3 < < 0.4 0.33 < 3 < 0.34 0.333 < 3 < 0.334
3
1 1
Escribimos = 0.333333... (con puntos suspensivos) para indicar que no termina ahí sino que
31 3 1
0.333333 < < 0.333334 . Las aproximaciones sucesivas con mas y mas decimales dan el valor de
3 3
cada vez con mas precisión, pero nunca dan el valor exacto, que estaría dado por una secuencia infinita de
3's.
Podemos hallar la secuencia decimal infinita que representa a cualquier fracción usando la división
sintética.
1
• Ejemplo, para 6
hacemos la división
0.1666
6 1
0
10
6
40
36
40
36
4
1
Como el residuo se repite cada vez, el numero esta representado por una secuencia infinita
6
1
= 0.1666666... que se escribe 0.16 para indicar que el 6 se repite una infinidad de veces.
6
3 3
• Similarmente, para hallar la representación decimal de y hacemos las divisiones
7 7
0.428571 0.571428
7 3 7 4
0 0
30 40
28 35
20 50
14 49
60 10
56 7
40 30
50 28
49 20
10 14
7 60
3 56
4
y ya llegamos a un residuo que habíamos visto antes, lo que quiere decir que a partir de ahí las divisiones se
repiten.
3 4
Así que = 0.428571428571428... y = 0.571428571428571...
7 7
Lema. Cada fracción tiene una representación decimal con cola periódica, y todos los decimales
con colas periódicas vienen de fracciones.
Demostración. Si un numero a tiene una expansión decimal con una cola que se repite periódicamente con
periodo k entonces el numero ka-a tiene expansión decimal finita (porque las colas de ka y a se cancelan
después de la primera repetición) así que ka-a es una fracción, ka-a=m/n y por lo tanto a=(m/n)/(k-1)
también es una fracción
La expansión decimal de la fracción m/n se obtiene por división repetida, y los residuos en cada paso son
menores que n. Si algún residuo es 0, la división termina y m/n tiene expansión decimal finita. Si las
divisiones no paran, entonces (como solo hay una cantidad finita de naturales menores que n) los residuos
no pueden ser distintos a los anteriores indefinidamente, así que alguno se repite, y ese momento las
divisiones que habíamos hecho se repiten hasta llegar de nuevo al mismo residuo, etc. □
Ejemplo. Ya vimos que √2 no es racional así que debe tener una expansión decimal infinita y no periódica
Para hallarla hay que encontrar las fracciones con denominador 10 k que mejor aproximan √2 para cada k.
1<√2<2 ya que que los cuadrados satisfacen 1 < 2 < 4
14 15 196 225
10 <√2< 10 ya que los cuadrados satisfacen
100
<2<
100
141 142 19881 20164
<√2< ya que los cuadrados satisfacen <2<
100 100 10000 10000
Si escribimos √2 = 1.42415... estamos diciendo es que 1.41425 <√2 < 1.41426
142415 142416
es decir, que < √2 < lo que puede comprobarse elevando al cuadrado.
100000 100000
Encontrar la expansión decimal de √2 equivale a encontrar las mejores aproximaciones de √2 con fracciones
cuyos denominadores son potencias de 10.
Problemas.
10. ¿A que fracciones reducidas corresponden las siguientes expansiones decimales periódicas?
11. ¿Que tan largo puede ser el periodo de la expansión decimal de m/n?
12. ¿Que relación hay entre las expansiones decimales de 3/7, 4/7 y 5/7? ¿será casualidad?
13. ¿Que relación hay entre dos fracciones cuyas expansiones decimales tienen las mismas colas?
Los números naturales sirven para contar y los números racionales son suficientes para dividir y
para la mayoría de las aplicaciones, pero no bastan para la geometría y las matemáticas mas
avanzadas como el calculo y el álgebra abstracta.
Los números reales surgieron del deseo de medir exactamente. Podemos identificar a los números
reales con todas las posibles longitudes a lo largo de una linea recta, con signo + o – dependiendo
de la dirección. La suma de longitudes es una longitud:
a b
a+b
Si l es una longitud y m es un entero, definimos m∙l como la suma de m veces l, y definimos l/n
como la longitud que sumada n veces da l. Combinando este producto y división por enteros
podemos definir el producto de longitudes por fracciones m/n.
Para multiplicar longitudes primero debemos identificar al numero 1 con alguna longitud (la que
sea), y esto determina con cuales longitudes deben identificarse todos los enteros y todas las
fracciones.
Una vez que decimos a que longitud corresponde el numero 1, es posible multiplicar cualesquiera
2 longitudes para obtener otra longitud, usando la semejanza de triángulos:
a
1
b ab
Lo anterior da una manera “geométrica” de definir a los números reales y a sus operaciones, pero
tenemos que confiar en que la geometría esta bien. En particular, tenemos que mostrar que con
esta definición el producto es conmutativo y asociativo, y que el producto se distribuye con la
suma. Esto es una consecuencia del Teorema de Desargues sobre triángulos en perspectiva.
Problemas.
15. Di como hallar geométricamente el inverso multiplicativo de una longitud distinta de 0.
16. Muestra como hallar geométricamente el cociente de dos longitudes.
Una manera de definir a los números reales sin usar geometría es identificarlos con las sucesiones
infinitas anan-1...a1a0.a-1a-2a-3a-4a-5. . . donde cada ai es un numero entre 0 y 9, y hay un punto
decimal después de a0. La sucesión representa una suma infinita de potencias de 10:
an10n+an-110n-1+...a110+a0100+a-110-1+a-210-2+a-310-3+a-410-4+a-510-5+ . . .
La suma infinita es el limite de las sumas finitas, así que la sucesión an...a1a0.a-1a-2a-3a-4a-5. . .
representa al limite de la secuencia de racionales
an...a1a0
an...a1a0.a-1
an...a1a0.a-1a-2
an...a1a0.a-1a-2a-3
an...a1a0.a-1a-2a-3a-4
an...a1a0.a-1a-2a-3a-4a-5
. . . . . . . . . . . . . . . . ..
Observar que si una sucesión tiene una cola de 9's, podemos reemplazarlos por 0's y aumentar el
dígito anterior en 1 para obtener otra sucesión sin cola de 9's y que representa al mismo numero
0.99999=1 (ya que el limite de las sumas finitas 0.9, 0.99, 0.999, 0.999 es 1)
Los números racionales se identifican con sucesiones de este tipo con colas periódicas (las que se
acaban se pueden escribir con colas de 0's).
Falta definir la suma y el producto de estas sucesiones. Esto es muy fácil cuando las sucesiones
son finitas, pero no es tan fácil cuando son infinitas porque no hay donde empezar a sumar y
multiplicar. Pero podemos definirlos como los limites de las sumas y productos de sucesiones
finitas. No vamos a hacer los detalles, pero usaremos esta descripción de los reales como
sucesiones infinitas para mostrar que casi ningún numero real es racional.
Problema.
17. Si a= 0.a1a2a3a4 . . . aj-1bjbj+1 . . . y b= 0.b1b2b3b4 . . . bj-1bjbj+1 . . . son dos reales entre 0
y 1 (para hacerlo mas fácil) ¿que tanto afecta el n-esimo decimal de a al producto ab? ¿cuales
decimales del producto ab dependen de an?
Lema. Q es numerable.
Demostración. Basta ver que podemos numerar a todas las fracciones m/n, es decir, asignarle a cada una un
numero natural de modo que no falte ninguna. Para esto, acomodamos a las fracciones en renglones de
acuerdo a su denominador:
. . . . . . -5/1 -4/1 -3/1 -2/1 -1/1 0/1 1/1 2/1 3/1 4/1 5/1 . . . . .
. . . . . . -5/2 -4/2 -3/2 -2/2 -1/2 0/2 1/2 2/2 3/2 4/2 5/2 . . . . .
. . . . . . -5/3 -4/3 -3/3 -2/3 -1/3 0/3 1/3 2/3 3/3 4/3 5/3 . . . . .
. . . . . . -5/4 -4/4 -3/4 -2/4 -1/4 0/4 1/4 2/4 3/4 4/4 5/4 . . . . .
. . . . . . -5/5 -4/5 -3/5 -2/5 -1/5 0/5 1/5 2/5 3/5 4/5 5/5 . . . . .
. . . . . . -5/6 -4/6 -3/6 -2/6 -1/6 0/6 1/6 2/6 3/6 4/6 5/6 . . . . .
. . . . . . . . . . . . . . . . . . . . . .
Lema. R no es numerable.
Demostración. Basta mostrar que el conjunto de reales entre 0 y 1 no es numerable, y para esto basta ver
que el las sucesiones que empiezan con en punto decimal no pueden numerarse con los naturales
Supongamos que existiera una lista de todas esas sucesiones, pongamos una en cada renglón:
a11a12a13a14a15a16a17 . . .
a21a22a23a24a25a26a27 . . .
a31a32a33a34a35a36a37 . . .
a41a42a43a44a45a46a47 . . .
. . . . . . . ...
. . . . . . . ...
Vamos a ver que hay una sucesión b 1b2b3b4 . . . bj-1bjbj+1 . . . que no esta en la lista:
Elijamos b1 distinto de a11, elijamos b2 distinto de a22, elijamos b3 distinto de a33 , y para cada i, elijamos bi
distinto de aii. Entonces la sucesión b1b2b3b4 . . . bj-1bjbj+1 es distinta de todas las de la lista (ya que difiere
de todas ellas en al menos un dígito). Esto muestra que nuestra lista, no importa como la hagamos, no
puede tener a todas las sucesiones, y esto contradice la suposición de que R es numerable. □
Otra manera mas de definir a los números reales, y que es la que se usa en calculo, es identificar
a cada real con un conjunto de números racionales.
Pensemos en los conjuntos de racionales con las siguientes propiedades:
(*) Si el conjunto contiene a un racional r, entonces contiene a todos los racionales menores que r
(**) El conjunto no es todo Q.
Cada uno de estos conjuntos determina a un numero real: el mas chico que es mayor o igual a
todos los racionales en el conjunto. Por ejemplo, el conjunto de todos los racionales cuyos
cuadrados son menores que 2 determina al numero real √2. Esto puede parecer trampa (estamos
diciendo que el conjunto determina a un real que no sabemos si existe) pero no lo es si pensamos
que los números reales son esos conjuntos de racionales, y si decimos como sumarlos y
multiplicarlos, lo que es muy fácil:
Dado un conjunto A y un conjunto B con la propiedad (*) definimos A+B como el conjunto
formado por las sumas de elementos en A y en B, y definimos A∙B como el conjunto de productos
de elementos en A y elementos en B. Es fácil ver que A+B y A∙B tienen las propiedades (*) y
(**), así que esto define la suma y el producto. Y es inmediato de las propiedades de la suma y el
producto en Q que esta suma y producto son conmutativos y asociativos, y que el producto se
distribuye con la suma.
Problema.
18. Supongamos que identificamos a un numero real a con un conjunto A de racionales que tiene
la propiedad (*). ¿Con que conjunto de racionales se identifica -a? ¿con que conjunto de
racionales se identifica a-1? Los conjuntos tienen que estar descritos en terminos de A y deben
tener la propiedad (*) Hint: complementos.
Cualquier campo que contenga a los enteros, debe contener a los inversos de los enteros y a sus
múltiplos enteros, por lo tanto debe contener a Q. Ya sabemos que Q es un campo, y que R es un
campo mas grande que contiene a Q.
Ejemplo. Los números de la forma r+s√2 con r,s en Q forman un campo, ya que
1. La suma y el producto de números de esa forma es de esa forma:
r+s√2 + u+v√2 = (r+u) + (s+v)√2
(r+s√2) (u+v√2) = (ru+2sv) + (rv+su)√2
2. Los inversos aditivos y multiplicativos de números de esa forma también son de esa forma:
(r+s√2) + (-u-v√2)=0+0√2 = 0
r s
(r+s√2) ( - √2) = 1
r2+s2 r2+s2
Los campos que contienen a Q son llamados extensiones de Q, Observar que la intersección de dos campos
contenidos en R es un campo (tarea), por lo que dado un conjunto de números reales r 1 , r2 , . . . , rk , la
intersección de todos los campos que contienen a r 1,r2,...,rk es un campo (el mas pequeño que los contiene)
llamado el campo generado por r1,r2,...,rk y es denotado por Q(r1,r2,...,rk).
En el ejemplo anterior vimos que Q(√2) esta formado por los números de la forma r+s√2 con r,s en Q.
Ejemplo. Sabemos que la raíz cubica de 5 no esta en Q pero si esta en R. Si queremos encontrar el campo
mas pequeño dentro de R que contiene a 3√5, este campo debe contener al cuadrado de 3√5, que es 3√25 ,
por lo tanto contiene a todos los números de la forma r + s 3√5 + t 3√52 con r,s,t en Q .
Estos números forman un anillo, ya que la suma y el producto de números de esa forma es de esa forma:
(r+s√5+t3√52) (u+v√5+w3√52 ) = (ru+5sw+5tv) + (rv+su+5tw) 3√5 + (rw+tu+sv) 3√52
Para ver que el anillo A formado por los numeros de esta forma es un campo hay que ver que los inversos
aditivos y multiplicativos de los numeros de esa forma tambien son de esa forma. Lo primero es inmediato,
pero para lo segundo necesitamos usar álgebra lineal.
Observar que el anillo A es un espacio vectorial sobre Q (ya que la suma de elementos de A es un elemento
de A, y el producto de un elemento de Q por un elemento de A esta en A, y podemos pensar a los elementos
de A como vectores y a los elementos de Q como escalares).
A es un espacio vectorial de dimensión 3 sobre Q ya que esta generado por los vectores 1, 3√5 y 3√52.
Como A tiene dimension 3, si V es cualquier elemento de A entonces los vectores 1, V, V 2 y V3 deben ser
linealmente dependientes sobre Q. Así que existen escalares r,s,t,u en Q tales que r1+sV+tV 2+uV3=0.
Esto dice que 1 = -s/r V – t/r V2 – u/r V3 = V (-s/r – t/r V – u/r V2)
Por lo tanto W= -s/r – t/r V – u/r V 2 es el inverso multiplicativo de V. Pero W es una combinación lineal de
1, V y V2 que son elementos de A, por lo tanto W es un elemento de A. Esto dice que todos los elementos de
A tienen inversos multiplicativos en A y por lo tanto A es un campo.
Los números algebráicos (reales) son los números reales que son raíces de polinomios con
coeficientes enteros.
Ejemplos.
• 3/5 es algebráico porque es solución de 5x - 3 = 0
Lema. Un número real a es algebraico si y solamente si sus potencias 1, a, a2, a3, a4, ... son
linealmente dependientes sobre Q.
Demostración. Si las potencias de a son linealmente dependientes sobre Q entonces hay una combinación
lineal no trivial (con coeficientes en Q) de algunas de ellas que da 0, es decir, existen números racionales
r0,r1,r,r3,...rn tales que rnan+...+r3a3+r2a2+r1a+r01= 0. Así que a es raíz del polinomio
rnxn+...+r3x3+r2x2+r1x+r0= 0 cuyos coeficientes son racionales, y multiplicando por el mínimo común
múltiplo de los denominadores de los r1's obtenemos un polinomio equivalente con coeficientes enteros.
Recíprocamente, si a es raíz del polinomio rnxn+...+r3x3+r2x2+r1x+r0= 0 con coeficientes en Z, entonces
rnan+...+r3a3+r2a2+r1a+r01= 0 lo que da una combinación lineal no trivial (con coeficientes en Z) de 1, a, a2,
a3,.., an que da 0, y esto dice que las potencias de a son linealmente dependientes sobre Q. □
Ejemplos.
• Para ver que a=√2+√3 es algebraico, calculemos sus primeras potencias y busquemos alguna
dependencia lineal sobre Q:
a = √2+√3
a2= (√2+√3)2 = 2+2√2√3+3 = 5+2√6
a3= (√2+√3)3 = 2√2+3∙2√3+3∙3√2+3√3 = 11√2+9√3
a4= (5+2√6)2 = 25+20√6+24 = 49+20√6
así que a4-10a2 = -1 por lo tanto √2+√3 es raíz del polinomio x4-10x2 +1 = 0.
• Si a es raiz del polinomio 2x3 -3x2 +4x +5 = 0 entonces todas las potencias de a mayores o iguales
que 3 son combinaciones lineales (con coeficientes en Q) de a2, a y 1:
Como 2a3 -3a2 + 4a +5 = 0 podemos despejar
a3 = 3/2 a2 -2a -5/2
a5 = 3/2 a4 -2a3 -5/2a2 = 3/2(9/4 a2 -5a -25/4) -2(3/2 a2 -2a -5/2) -5/2a2 = -23/8 a2 -7/2a - 35/8
....
Es claro que la suma de elementos de A esta en A. Para ver que el producto de elementos de A esta en A,
observar que como a es raíz de un polinomio de grado n entonces an es combinación lineal de las potencias
de a menores que n, y esto implica (por inducción) que todas las potencias de a mayores que n son
combinaciones lineales de las potencias de a menores que n. Por lo tanto todos los productos de elementos
de A, que son sumas de potencias de a, se pueden expresar como combinaciones de potencias de a menores
que n, y por lo tanto están en A.
Es claro que los inversos aditivos de elementos de A están en A. Para ver que los inversos multiplicativos de
elementos de A también están en A, basta ver que si b= r 0+r1a+r2a2+...+rn-1an-1 entonces 1, b, b2, b3,.., bn
son linealmente dependientes sobre Q (ya que son n+1 vectores en un espacio vectorial de dimensión n
sobre Q). Y si s0+s1b+s2b2+...+snbn=0 con s0≠0 entonces
1= -s1/s0b-s2/s0b2-...-sn/s0bn = b ( -s1/s0-s2/s0b -...-sn/s0bn-1) así que el inverso de b es de esa forma. □
Demostración. Hay que ver que la suma y el producto de números algebráicos son números algebráicos, y
que los inversos de números algebráicos distintos de 0 son números algebráicos. Esto ultimo es lo mas fácil:
Supongamos que el número a es raíz del polinomio r nxn + rn-1xn-1 + rn-2xn-2 + . . . + r2x2 + r1x + r0 = 0,
No es claro como obtener un polinomios con raíces a+b o ab a partir de polinomios con raíces a y b. En lugar
de tratar de hallarlos directamente usaremos los resultados anteriores.
Por el lema anterior todas las potencias de a son combinaciones lineales (con coeficientes en Q) de las
potencias de a menores que m, y todas las potencias de b son combinaciones lineales (con coeficientes en Q)
de las potencias de b menores que m. Así que todos los productos de potencias de a y b son combinaciones
lineales de productos de potencias de a y b menores que m y n respectivamente.
Esto implica como en el corolario anterior, que los números que son combinaciones lineales de productos de
potencias de a y b menores que m y n forman un campo. Este campo contiene a a+b, ab y a todas sus
potencias. Como el campo tiene dimensión a lo mas mn sobre Q (porque esta generado por los productos de
potencias de m y n menores que m y n) entonces las potencias de a+b deben ser linealmente dependientes
sobre Q, y lo mismo es cierto para las potencias de ab. Esto dice que a+b y ab son algebráicos. □
Ejemplos.
1
• √3 es raíz del polinomio x2-3=0 por lo tanto es raíz del polinomio -3x 2+1=0.
√3
• Vimos que la razón áurea 1+√5 es raíz del polinomio x 2-x-1=0
2
por lo tanto su inverso 2 es raíz del polinomio -x 2-x+1=0.
1+√5
Problemas.
19. a. Encuentra un polinomio con coeficientes enteros que tenga raíz a=2+√3
hint: encuentra una combinación lineal de a y a 2 que sea racional.
3
b. Encuentra un polinomio con coeficientes enteros que tenga raíz b=√2 √5
hint: encuentra una potencia de b que sea racional.
20. Muestra que las raíces n-esimas de los números algebraicos son números algebraicos.
22. Muestra que todos los números reales que se pueden obtener a partir de números racionales
sumando, multiplicando, dividiendo y sacando raíces n-esimas, como
3
√2+√3 y √2 + √3 s son números algebraicos. hint: usa un teorema y un ejercicio anterior.
√5 - √7
23. Si a es raiz del polinomio x3-2x+5=0 muestra como se expresa cada una de las potencias
a3, a4 y a5 como combinacion lineal (con coeficientes en Q) de 1, a y a2 .