Unidad 2

Nmeros reales
Objetivos

Al finalizar la unidad, el alumno:

Aplicar el concepto de nmero natural y sus propiedades.

Aplicar el concepto de nmero entero y sus propiedades.
Aplicar el concepto de nmero racional y sus propiedades.
Aplicar el concepto de nmero real y sus propiedades.
 nmeros reales

Introduccin

C ontar es establecer una relacin uno a uno entre dos conjuntos; el conjunto
cuya cantidad de elementos se indaga, y el conjunto de smbolos conocidos
como nmeros. Los nmeros naturales nacieron debido a la necesidad de contar
de nuestros ancestros. En esta unidad se estudiarn algunas propiedades de los
nmeros naturales.
Tambin estudiaremos un mtodo muy til para demostrar verdades
matemticas, conocido como induccin matemtica, que nos ayudar a establecer
algunas relaciones que existen entre los nmeros.
Terminando de estudiar los nmeros naturales estudiaremos el conjunto
de los nmeros enteros. Estos nmeros incorporan los nmeros negativos al conjunto
de los nmeros naturales. Se estudiarn sus propiedades as como su orden y su
representacin en la recta numrica.
Continuando con el estudio de las propiedades de los nmeros enteros,
lo primero que notamos es la existencia de nmeros pares, es decir, existen
nmeros que son exactamente divisibles entre 2; tambin hay nmeros que
son exactamente divisibles entre 3, etc. Esta clasificacin de los nmeros nos
habla de una nocin que se encuentra en la base del estudio de los nmeros: la
divisibilidad. En forma general, sta se refiere a aquellos casos en que un entero
cabe un nmero exacto de veces en otro.
En esta unidad revisaremos tambin el estudio de la divisin para definir
un nuevo conjunto de nmeros llamados racionales, Q; estudiaremos sus
operaciones y sus propiedades.
Por ltimo, estudiaremos el ltimo conjunto de nmeros: los irracionales.
Despus, con la ayuda de todos los conjuntos de nmeros conocidos, podremos
definir un conjunto de nmeros con el nombre de reales.

2.1. Concepto de nmero natural

Los nmeros que nos sirven para contar los elementos de un conjunto
son los nmeros naturales y se designan por N ={0,1,2,3,4,...}.

43
 lgebra superior

Consideraremos en este texto al cero como el primer nmero natural,

siendo importante resaltar que muchos autores no lo consideran as.
Existir el ltimo nmero natural?
Los nmeros naturales se encuentran ordenados de manera natural y
grficamente se representan en la recta numrica, cuyo origen es el cero y se
extiende hacia el 1, luego el 2, luego el 3, etctera.
Ntese que los nmeros naturales aunque tienen primer elemento no
tienen ltimo.

Existen dos operaciones bsicas que pueden realizarse con los nmeros
naturales: la suma y el producto.
Estas operaciones cumplen con las propiedades que enlistaremos a
continuacin:

Propiedades de la suma y el producto de nmeros naturales

1. Cerradura de la suma.
Cuando se suman dos nmeros naturales, a y b, se obtiene otro
nmero natural, c
a+b=c
2. Conmutatividad de la suma.
Para todo a y b en N,
a+b=b+a
3. Asociatividad en la suma.
Para todo a, b y c en N,
(a+b)+c=a+(b+c)
4. Elemento neutro aditivo.
El elemento neutro para la adicin es el cero. Para todo a en N,
a+0=a

44
 nmeros reales

5. Cerradura de la multiplicacin.
Cuando se multiplican dos nmeros naturales, a y b, se obtiene otro
nmero natural c:
ab=c
6. Conmutatividad de la multiplicacin.
Para todo a y b en N,
ab=ba
7. Asociatividad en la multiplicacin.
Para todo a, b y c en N
(ab)c=a(bc)
8. Elemento neutro multiplicativo.
El elemento neutro para la multiplicacin es el 1. Para todo a en N,
a1=a
9. Distributividad.
La multiplicacin es distributiva respecto a la suma. Para todo a,b y
c en N se tiene que
a(b+c)=ab+ac

Ms adelante estudiaremos otros tipos de nmeros y descubriremos que

cada uno tiene sus propiedades caractersticas que los diferencian de los dems.

2.1.1. Definicin de nmeros primos

Dentro de los nmeros naturales existen algunos que slo pueden ser
divididos entre ellos mismos y la unidad. A estos se les conoce con el nombre de
nmeros primos.

Un nmero natural p es llamado primo cuando tiene como nicos

divisores a 1 y a p.

4
 lgebra superior

Un nmero natural que no es primo es llamado compuesto.

Ejemplos de nmeros primos son 11, 2 y 7.
Ejemplos de nmeros compuestos son 4, 9 y 10.
Al nmero 1 no se le considera ni primo ni compuesto.

De importancia fundamental son los nmeros primos ya que cualquier

nmero natural puede expresarse como producto de nmeros primos. A esta
propiedad de los naturales se le conoce como el teorema fundamental de la
aritmtica.
Este resultado es intuitivamente muy claro, ya que un nmero, si no es
primo, se puede descomponer sucesivamente hasta que todos sus factores lo
sean.
Ejemplos de descomposicin de nmeros naturales en factores primos,
llamada tambin descomposicin cannica, son:
180 = 2 2 3 3 5
3087 = 3 3 7 7 7
15 = 3 5

Para encontrar la descomposicin cannica de un nmero no existe un

mtodo fcil y rpido, pero s existe un mtodo infalible aunque laborioso: ir
dividiendo el nmero entre todos los primos menores que l y hacer lo mismo
con sus divisores hasta que ya no se puedan dividir ms que por ellos mismos o
por la unidad.
Por ejemplo, encontremos la descomposicin cannica de 1575.
Empecemos dividiendo 1575 entre 2, cuyo resultado no es un nmero
natural, entonces el 2 no divide a 1575.
Ahora dividimos 1575 entre 3 y obtenemos el entero 525.
Entonces 1575 se puede escribir como:
1575=3525
Repetimos el proceso para el 525.
Empezamos a dividir por el ltimo divisor que se encontr, o sea el 3.
Encontramos que 525 si se divide entre 3 arroja un cociente de 175. De lo
que:

4
 nmeros reales

1575=33175
Ahora dividamos a 175 entre 3 y encontramos que el cociente no es entero.
Por lo que dividimos al 175 entre 5, el primo que sigue al 3, y encontramos que
175=5 35. De lo que:
1575=33535
Ahora el 35 tambin se divide entre 5 con cociente entero, 7, de lo que:

1575=3 3 5 5 7
Como 7 tambin es primo, entonces ya termin el proceso. Por lo que la
descomposicin cannica de 1575 es:
1575 = 3 3 5 5 7

La descomposicin cannica de un nmero es nica; este resultado

garantiza que no encontremos dos formas de escribir a un nmero en factores
primos.

2.1.2. Mtodo de induccin matemtica

La induccin matemtica nos ayudar a establecer, de manera general,
ciertas propiedades que observamos suceden de manera particular para algunos
nmeros naturales o conjunto de ellos.

Por ejemplo, si se suman los nmeros naturales del 1 al 5 se obtiene:

1 + 2 + 3 + 4 + 5 = 15
y 15 se obtiene de multiplicar a 5 por 6 y dividirlo entre 2.
Si se suman los nmeros naturales del 1 al 10 se obtiene:
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 = 55
y 55 se obtiene de multiplicar 10 por 11 y dividirlo entre 2.

4
 lgebra superior

Entonces, podr demostrarse que la suma de los nmero naturales del 1

al n es igual a la mitad del producto de n y n+1? Esto se ver ms adelante.
Cualquier proposicin puede clasificarse como general o particular. Por
ejemplo, son proposiciones generales:

Todos los alumnos de esta universidad estudian.

Todos los nmeros terminados en 2 son pares.
Todos los crculos tienen un centro.

Y son proposiciones particulares:

El alumno de esta universidad, Pedro Lpez, estudia.

22 es un nmero par.
El crculo A tiene su centro en (h,k).

El proceso por el cual pasamos de las proposiciones generales a las

particulares se llama deduccin.
Del hecho de que todas las personas sean mortales se deduce que si Juan
es persona, entonces Juan es mortal.
El proceso de obtener proposiciones generales de proposiciones particulares
se llama induccin. De ver que un cuervo es negro, y luego ver otro cuervo
negro y as sucesivamente se induce que todos los cuervos son negros.
El razonamiento inductivo puede llevar a concluir proposiciones verdaderas
o falsas.
Por ejemplo:

1. El nmero 10 es divisible entre 5, el nmero 20 es divisible entre 5,

el nmero 30 es divisible entre 5, por tanto se induce que todos los
nmeros terminados en cero son divisibles entre 5. En este caso la
proposicin general obtenida de la particular es correcta.

2. El nmero 120 es divisible entre 5, el nmero 935 es divisible entre 5, el

nmero 460 es divisible entre 5, por tanto todos los nmeros naturales
de tres cifras son divisibles entre 5. En este caso la proposicin general
obtenida a partir de las particulares es falsa.

48
 nmeros reales

Entonces, cmo puede aplicarse la induccin en matemticas para que las

proposiciones generales siempre sean verdaderas?

La induccin matemtica nos dice que una proposicin matemtica

se cumple para todo nmero natural n si se satisfacen las condiciones
siguientes:

Condicin 1. La proposicin se cumple para el primer elemento del

conjunto, en este caso para n=1.
Condicin 2. La veracidad de la proposicin para cualquier nmero natural
n=k implica su veracidad para el siguiente nmero natural n=k+1.

Una demostracin por induccin matemtica necesariamente consta de

dos partes, es decir, necesitamos verificar que la proposicin satisfaga las dos
condiciones independientes dadas anteriormente.
Un ejemplo del uso de la induccin matemtica es verificar que la suma:

Sn = + + + .... +
1 1 1 1
1 2 2 3 3 4 n(n + 1)
(1)

es igual a Sn =
n
n+1
(2)

Condicin 1. El primer elemento del conjunto es n=1. Veamos si se cumple

para n=1. Para la relacin (1) S1 es igual a:

S1 = =
1 1
1 2 2

S1 = =
1 1
1+1 2
y para la relacin (2) se tiene:

por lo que s se cumple la igualdad para la condicin 1.

Condicin 2. Aqu trataremos de demostrar que si la hiptesis es verdadera

para n=k esto es:

4
 lgebra superior

Sk = + + + ... + =
1 1 1 1 k
1 2 2 3 3 4 k(k + 1) k + 1
,

donde k es cualquier nmero natural, entonces debe cumplirse para

n=k+1, es decir:
k+1
Sk+1 =
k+2

Tenemos por hiptesis que se cumple para n=k, esto es:

Sk = + + + ... + =
1 1 1 1 k
1 2 2 3 3 4 k(k + 1) k + 1
ahora sumndole el trmino:
1
(k + 1)(k + 2)

se obtiene la expresin para k+1, as:

Sk + = + + + ... + + =
1 1 1 1 1 1
(k + 1)(k + 2) 1 2 2 3 3 4 k(k + 1) (k + 1)(k + 2)

Desarrollando la ltima igualdad:

Sk+1 = +
k 1
k + 1 (k + 1)(k + 2)
k(k + 2) + 1
Sk+1 =
(k + 1)(k + 2)
k2 + 2 k + 1
Sk+1 =
(k + 1)(k + 2)
(k + 1)2
Sk+1 =
(k + 1)(k + 2)
(k + 1)
Sk+1 =
(k + 2)

0
 nmeros reales

Queda demostrado que s se cumple la propiedad.

Otro ejemplo sera demostrar que la suma de los n primeros nmeros
naturales es:

n(n + 1)
2
Es decir,

n(n + 1)
S = 1 + 2 + 3 + ... + n =
2
Condicin 1. La hiptesis se cumple para n=1 ya que:

1(1 + 1)
S1 = 1 = =1
2
Condicin 2. Suponiendo que:

k(k + 1)
Sk = 1 + 2... + k =
2
demostremos que:

(k + 1)(k + 2)
Sk+1 =
2
En efecto, porque:

k(k + 1)
Sk + (k + 1) = 1 + 2 + ... + k + (k + 1) = Sk+1 = + (k + 1)
2
de lo que:

k(k + 1) 2(k + 1) (k + 1)(k + 2)

Sk+1 = + =
2 2 2
por lo que s se cumple la propiedad.

1
 lgebra superior

Ejercicio 1

1. Verifica que se cumplan las propiedades de los nmeros naturales para

una terna de nmeros distintos.

2. Por qu la resta y la divisin no son una propiedad de los naturales?

Qu condiciones no cumplen?

3. Demuestra que la suma de los primeros n nmeros impares es Sn=n2.

4. Demuestra que la suma de los cuadrados de los n primeros nmeros

n(n + 1)(2 n + 1)
naturales es Sn =
6

2.2. Nmeros enteros: definicin a partir de los naturales

Los nmeros naturales no son suficientes para realizar muchas de las
operaciones elementales como la resta. Para poder restar dos nmeros cualesquiera
es necesario tener otro conjunto de nmeros, este conjunto se llama el conjunto
de los nmeros enteros y se define de la siguiente manera.

Los nmeros enteros son la unin del conjunto de los nmeros naturales
{0,1,2,3,...} y el conjunto formado por sus inversos aditivos {1,2,3,}.
El conjunto de nmeros enteros se representa con letra Z.
Z={...3,2,1,0,1,2,3,...}

2
 nmeros reales

2.2.1. Operaciones fundamentales y sus propiedades

Los nmeros enteros cumplen con las nueve propiedades que ya conocamos
de los nmeros naturales. (Vase subtema 2.1) y tienen una propiedad
adicional:

10. Para todo nmero a en Z existe su inverso aditivo en Z, que se

denota por a, tal que:
a + (a)=0
Con esta nueva propiedad podemos incluir a la resta dentro de las
operaciones que realizamos con los nmeros que hasta ahora conocemos. Ntese
que el conjunto de los nmeros naturales, N, son un subconjunto propio de los
enteros, Z.
NZ

2.2.1.1. Orden en los enteros

Podemos decidir si un entero es mayor que otro?

S, y para ello tenemos lo siguiente:

Dados dos nmeros enteros, a y b, a es mayor que b siempre que ab sea

un nmero natural. En smbolos:

a > b a b N

Donde los smbolos y > quieren decir si y slo si y mayor que,

respectivamente.
Por ejemplo, verifiquemos que 8 es mayor que 5.
Tenemos que 85=3, ahora como 3 es un nmero natural, entonces 8 es
mayor que 5.
El orden en los nmeros enteros tambin tiene propiedades que son muy
tiles.

3
 lgebra superior

Por ejemplo, supongamos que sabemos que un nmero a es mayor que

b, y a su vez sabemos que b es mayor que c. Podremos afirmar que a es mayor
que c?
Para resolver este problema utilizaremos los siguientes pasos:

1. Por la propiedad 1 de los nmeros naturales, su cerradura bajo la suma,

sabemos que si (ab) es un nmero natural y si (bc) es un nmero natural,
entonces:
(ab)+(bc)
tambin es un nmero natural.

Ahora, de lo anterior se tratar de llegar al resultado que (ac) es un

nmero natural usando diversas propiedades de los nmeros enteros.
Primero, por la propiedad asociativa se tiene:
(a b)+(b c) = a+[ b+(b c)]
y usando otra vez la propiedad asociativa se llega a:
= a+[(b+b) c)]
Usando la propiedad del inverso aditivo obtenemos:
= a+[0 c]
y finalmente, usando la propiedad del neutro aditivo, se puede escribir
como:
= (a c),
que es un nmero natural.

2. Como (ac) es un nmero natural, entonces a es mayor que c.

Esta propiedad se le conoce como transitividad de la relacin de orden.

4
 nmeros reales

Ejercicio 2

1. Se podr afirmar que el cuadrado de cualquier entero distinto de cero

es positivo? Por qu?

2. Demuestra que si a,b,c son enteros tales que a>b y c>0, entonces
ac>bc.

2.3. Nmeros racionales

Una operacin bsica que no hemos estudiado es la divisin. Para estudiarla,
primero necesitamos definir qu se entiende por divisin.

Sean a y b enteros. Decimos que a (divisor) divide a b (dividendo) si

existe un entero q tal que:
b=aq

Tambin es comn decir, a es factor de b, a es divisor de b o bien b es

mltiplo de a o b es divisible entre a.
Existir algn entero que no tenga divisores? No, todo entero a tiene al
menos a 1, 1, a y a como divisores.
La divisin tiene las siguientes propiedades importantes:

1. a divide a 0 para todo entero a.

2. Si a divide a b y b divide a c, entonces a divide a c.
3. Si a divide a b y b divide a a, entonces a=b.


 lgebra superior

4. Si a divide a b, entonces a divide a bc para todo entero c.

5. Si a divide a b y a divide a c, entonces a divide a b+c.

La demostracin de las primeras tres propiedades es inmediata a partir

de la definicin. No as las propiedades 4 y 5 que demostraremos a modo de
ejemplo.

4. Como a divide a b, entonces, por definicin, existe un entero q tal

que:
b=qa,
ahora multiplicando ambos lados de la igualdad por un entero c cualquiera,
tenemos:
bc=qac,
aplicando la propiedad asociativa y conmutativa resulta:
bc=(qc)a,
de donde concluimos que a divide al producto bc.

5. Como a divide a b y a divide a c, entonces, por definicin, existen

enteros m y n tales que:
b=ma y c=na,
sumando ambas expresiones tenemos:
b+c=(m+n)a,
de donde a divide a b+c.

2.3.1. Algoritmo de la divisin

En los enteros no siempre es posible dividir de tal suerte que el resultado
sea de nuevo un nmero entero (esto slo sucede cuando el dividendo es mltiplo
del divisor). Sin embargo, lo que s es cierto es que al dividir cualesquiera dos


 nmeros reales

enteros siempre obtenemos, en forma nica, un cociente y un residuo, que s son

enteros. Por ejemplo:
2
13 29
3

En este caso el cociente es 2 y el residuo es 3.

Otra forma de expresar la divisin anterior es a travs del algoritmo de
la divisin:
29 =132 + 3
Es evidente que el residuo siempre es menor que el divisor, puesto que
en el caso contrario seguiramos dividiendo. El hecho de que siempre es posible
dividir dos enteros positivos cualesquiera para obtener un cociente y un residuo
nicos, lo podemos enunciar en forma general como sigue:

Sean a y b enteros positivos con a 0, entonces existen enteros q y r

nicos tales que:
b = aq + r y 0 r < a

A este enunciado se le conoce con el nombre de algoritmo de la

divisin.
Obsrvese que b es el dividendo, a el divisor, q el cociente y r el residuo.
Veamos algunos ejemplos de cmo funciona el algoritmo de la divisin.

Consideremos:
a=13 y b=29,
en este caso:
q=2 y r=3,
de lo que:
29=132+3


 lgebra superior

Sin embargo, tambin sucede que

29=131+16
29=130+29
29=131+16
29=132+3
29=133+(10)
29=134+(23)

Ntese que los residuos siempre difieren consecutivamente en 13 y que

el nico que es no negativo y menor que el divisor es el mnimo de todos los
residuos no negativos, que en este caso es 3.
Veamos otro ejemplo.

Sean a=8, b=35, entonces 35=84+3 de donde q=4 y r=3.

Sin embargo,

35=82+19
35=83+11
35=84+3
35=85+(5)
35=86+(13)

Aqu volvemos a observar el mismo fenmeno: el menor de los nmeros no

negativos que aparecen hasta la derecha es el nico residuo que simultneamente
es no negativo y menor que el divisor. Modificando ligeramente las listas
anteriores podemos escribir los residuos de la siguiente manera:

29130=29 3582=19
29131=16 3583=11
29132=3 3584=3
29133=11 3585=5
29134=24 3586=13

8
 nmeros reales

Con lo que hemos visto podemos afirmar el caso general: que dados los
enteros a y b:

1. Hay una multitud de enteros q y r tales que:

b = aq+r
2. Todos los residuos son de la forma:
b ax,
donde x es algn entero. Adems, la diferencia entre cualesquiera dos
residuos siempre es mltiplo de a.

3. El menor de todos los residuos tal que:

b ax 0

es un nmero r que satisface

0r<a

Conviene notar que aunque hemos establecido el algoritmo de la divisin

para enteros positivos, ste se puede generalizar a todos los enteros.

En efecto, en este caso tenemos:

Sean a y b enteros con a 0 entonces existen enteros q y r nicos
tales que b=aq+r con 0 r < a
En el algoritmo de la divisin siempre que se divida un residuo distinto de
cero entre el divisor nos encontramos con nmero que no es entero. Como r <
a, entonces r/a no es un nmero entero:

Z
r
a
Para poder incluir a este tipo de nmeros en la recta numrica necesitamos
definirlos y establecer sus propiedades.


 lgebra superior

a
Los nmeros que tienen forma se llaman racionales o fraccionarios y
b
forman el conjunto de nmeros que se denota con la letra Q.
a
Se deine a Q como el conjunto de todos los nmeros tales que a
b
es un entero y b es otro entero distinto de cero. Es decir:

Q=
Q { a
b }
/ a Z y b Z pero b 0

Notaremos con Q+ al subconjunto de los racionales positivos y por Q al

subconjunto de los negativos.
Si dado un racional a/b se tiene que b=1, como a/1=a y a Z , entonces
el racional a/1 es un nmero entero.
Esto es, los nmeros enteros son un subconjunto propio de los nmeros
racionales.
Es evidente que hay muchas maneras de representar a un mismo nmero
racional, por ejemplo 1/2 y 2/4, entonces, cundo dos nmeros a/b y c/d son
iguales?
Diremos que dos nmeros racionales a/b y c/d son iguales siempre que
ad=bc. Incluso la aseveracin puede ser ms fuerte y decir que:

= ad = bc
a c
b d

Entonces tambin se cumple que si ad = bc, los nmeros racionales a/b y

c/d son iguales.
A veces es necesario representar los nmeros racionales en forma decimal.
Para escribir un nmero racional en forma decimal basta hacer la divisin
indicada. El decimal as obtenido puede ser finito, como en el caso de:

= 0.75
3
4
O bien puede tener un grupo de dgitos que se repiten sin fin, como es el
caso de:
= 1.09230769230769230769230769230769...
71
65
donde el grupo de dgitos que se repite es el 923076.

0
 nmeros reales

Al grupo de nmeros que se repite se les llama peridicos o con periodicidad

infinita.
Existe una manera de indicar que los nmeros son peridicos. Para esto, se
escribe una barra encima de los nmeros que se repiten, as:

1.09230769230769230769230769230769 = 1.0923076
Donde la barra sobre el 923076 indica que se repite indefinidamente.
Cmo saber si un nmero con decimales es un racional? El criterio para
saber si un nmero decimal es un racional es el siguiente:
Siempre que se tenga un nmero cuyos decimales tienen una periodicidad
infinita, se trata de un nmero racional escrito de manera decimal. Tambin son
nmeros racionales aquellos cuyos decimales distintos de cero terminan despus
de un nmero finito de ellos.

Por ejemplo, el nmero 1.465

se escribe como el racional 1465

1000
293
y por la igualdad en Q, se puede escribir como:
200
Supongamos que al trmino de algunas operaciones, con ayuda de una
calculadora, nos encontramos con un nmero cuyos decimales son peridicos y
estamos interesados en conocer el nmero racional que representa.
Entonces, cmo convertir un nmero con decimales peridicos a una
fraccin?
Para escribir un nmero con decimales peridicos en forma de fraccin se
realizan varios pasos que se explicarn con el siguiente ejemplo.

Convertir en forma de fraccin el nmero 25.3564

Primero contemos el nmero de cifras que tiene el periodo decimal del

nmero.
En este caso el nmeros de cifras es 3 (5, 6 y 4).

1
 lgebra superior

Despus se multiplica el nmero por 10n, donde n es el nmero de cifras

decimales peridicas, en este caso por 103.
(25.3564)(103 ) = 25356.4564

Se obtiene un nmero que tiene los mismos decimales peridicos que el

nmero con el que empezamos.
Ahora, si se restan estos dos nmeros es de esperarse que los decimales
peridicos se cancelen y quede un nmero sin decimales peridicos:
25356.4564 25.3564 = 25331.1
y el resto es slo aritmtica.

Convirtiendo en base 10 a 25356.4564 , se escribe como 25.3564(103 ),

entonces:
25.3564(103 ) 25.3564 = 25331

25.3564((10
( 31)
1))1 ==2533.1
Factorizando 25.3564 se tiene:

despejando:
25.3564 =
25331.1
999
y finalmente, eliminando el punto decimal en el numerador:

25.3564 =
253311
9990

lo que representa al nmero 25.3564 como racional.

2
 nmeros reales

Ejercicio 3

1. Sern iguales las fracciones 2/3 y 616/924? Por qu?

2. Construye dos fracciones iguales a 11/17

3. Encuentra el nmero decimal equivalente a:

a) 53
11
23
b)
17
Utiliza la notacin peridica de los decimales.

4. Encuentra el nmero racional equivalente a:

a) 2.3478
b) 3.48745

2.3.2. Operaciones fundamentales y sus propiedades

Ahora, si se tienen dos nmeros racionales a/b y c/d necesitamos definir
dos operaciones bsicas, suma y multiplicacin. La suma se define como:
a c ad + bc
+ =
b d bd
y la multiplicacin como:

=
a c ac
b d bd

3
 lgebra superior

Los nmeros racionales, en las operaciones anteriormente definidas, tienen

las siguientes propiedades:

1. Cerradura de la suma. Cuando se suman dos nmeros racionales, a/b y

c/d, se obtiene otro nmero racional e/f.

+ =
a c e
b d f
2. Conmutatividad de la suma. Para todo a/b y c/d en Q:

+ = +
a c c a
b d d b

Demostracin:
a c ad + bc bc + ad cb + da c a
+ = = = = +
b d bd db db d b
Ntese que (ad+bc) es igual a (cb+da), as como bd es igual a db,
apoyndonos exclusivamente en la propiedad de conmutatividad de los nmeros
enteros.
En otras propiedades tambin se manipularn los nmeros enteros
que constituyen a los nmeros racionales y se tendr siempre en cuenta sus
propiedades sin hacer mencin de ellas.

3. Asociatividad en la suma. Para todo a/b, c/d y e/f en Q:

a c e a c e
+ + = + +
b d f b d f

Demostracin:
a c e ad + bc e (ad + bc) f + e(bd) (ad) f + (bc) f + e(bd)
+ + = + = =
b d f bd f (bd) f b(df )
a(df ) + b(cf + ed) a cf + ed a c e
= = + = + +
b(df ) b df b d f

4
 nmeros reales

4. Elemento neutro aditivo. El elemento neutro para la adicin es el 0/1.

Para todo a/b en Q:

+ =
a 0 a
b 1 b
Demostracin:

a 0 a 1 + b0 a
+ = =
b 1 b 1 b

5. Cerradura de la multiplicacin. Cuando se multiplican dos nmeros

racionales, a/b y c/d, se obtiene otro nmero racional, g/h.

=
a c g
b d h
6. Conmutatividad de la multiplicacin. Para todo a/b y c/d en Q:

=
a c c a
b d d b
Demostracin:
= = =
a c ac ca c a
b d bd db d b

7. Asociatividad en la multiplicacin. Para todo a/b, c/d y e/f en Q:

a c e a c e
=
b d f b d f
Demostracin:

a c e ac e (ac)e a ce a c e
= = = =
b d f bd f (bd) f b df b d f


 lgebra superior

8. Elemento neutro. El elemento neutro para la multiplicacin es el 1/1.

Para todo a/b en Q:

=
a 1 a
b 1 b
Demostracin:
a 1 a 1 a
= =
b 1 b 1 b

9. Distributividad. La multiplicacin es distributiva respecto a la suma,

para todo a/b, c/d y e/f en Q se tiene que:

a c e ac ae
+ = +
b d f bd bf
Demostracin:

a c e a cf + de a(cf + de) a(cf ) + a(de) (ac) f + (ae)d

+ = = = =
b d f b df b(df ) b(df ) (db) f

= + = +
(ac) f (ae)d ac ae
(bd) f (bf )d bd bf

10. Para todo nmero a/b en Q existe su inverso aditivo en Q, denotado

por a/b, tal que:
a a
+ = =0
0
b b bb

Demostracin:

a a ab + ( ab ) 0
+ = = =0
b b bb bb

Ntese que se defini al neutro aditivo como 0/1 y ahora obtenemos 0/bb,
es fcil darse cuenta que 0/1=0/bb, es cuestin de aplicar el criterio de cundo dos
nmeros racionales son iguales. En este caso 0/1=0/bb ya que 0(bb)=0=01.


 nmeros reales

Aparte los racionales cumplen con otra propiedad: todo racional 0

tiene inverso multiplicativo (otro racional que al ser multiplicado por l da el
producto igual a la unidad).

que pertenece a Q tiene un

a 0
11. Inverso multiplicativo. Todo nmero
b 1
solo inverso multiplicativo denotado por b/a tal que:

= = = = 11 = 1
a b ab ab a b
b a ba ab a b
El nmero racional ab/ab es igual a 1/1, esto se sigue del criterio de
igualdad expuesto antes.

2.3.2. Concepto de orden en Q

A partir de las definiciones de orden que se han dado con anterioridad,
definiremos el orden en Q.

Sean a/b y c/d elementos de Q, decimos que:

> Q+
a c a c
b d si b d
Por ejemplo, 3/4 es ms grande que 2/3 ya que:
3 2 98 1
= = Q+
4 3 12 4
La relacin de transitividad se cumple con los racionales?

S, la definicin de orden en los racionales tambin cumple con la relacin

de transitividad.

Sean a/b, c/d y e/f elementos de Q, entonces si:

> y > >

a c c e a e
b d d f b f


 lgebra superior

Veamos un ejemplo:

2/5 es mayor que 3/8:

2 3 16 15 1
= = Q+
5 8 40 40

y 3/8 es mayor que 1/3,

98 1
= = Q+
3 1
8 3 24 24

de lo que 2/5 es mayor que 1/3:

2 1 65 1
= = Q+
5 3 15 15

La relacin de orden en los racionales tiene propiedades que slo se

cumplen en stos. Una de ellas es la siguiente:

Sean a/b y a/c elementos de Q+ tal que a, b, c >0 y a/b>a/c, entonces

c>b.

Para demostrar esta propiedad fijmonos en que si:

Q+
a a
b c
ac ab
Q+
implica que: bc

y dado que bc>0, entonces: ac ab>0

factorizando a tenemos: a (c b ) > 0 ,

y como a>0: (c b ) > 0

de lo que: c>b

8
 nmeros reales

Ejercicio 4

1. Dados los nmeros 43 y 5, encuentra q y q distintas, y r y r distintos

tales que:
43=5q+r con 0 r<|5|
y
43=5q+r con 0 r<|5|

2. Encuentra cinco formas distintas de escribir el nmero 34 en mltiplos

de 7.

3. Encuentra la forma de escribir el nmero 46 en mltiplos de 4 con el

residuo mnimo no negativo.

2.4. Nmeros reales

En la seccin anterior se estudiaron los nmeros racionales que se pueden
identificar porque su expresin decimal es finita o bien infinita peridica. Sin
embargo existen algunos nmeros que tienen una expresin decimal infinita no
peridica, como 2 = 1.414213562... y = 3.141592654... . Estos nmeros
no son racionales, ni enteros ni naturales. Qu tipo de nmero son?

2.4.1. Nmeros Irracionales

Los nmeros irracionales son aquellos cuyos decimales son infinitos y
sin periodicidad. Se representan con la letra I.

Son irracionales tambin adems de: 2 = 1.414213562...

y = 3.141592654... , e= 2.718281828459...
cos 45= 0.7071067811865..., entre otros.


 lgebra superior

Si incorporamos los nmeros irracionales a los racionales tenemos un

conjunto llamado nmeros reales.
Los nmeros reales, representados por la letra R, son el conjunto de
nmeros que es resultado de la unin del conjunto de los nmeros racionales
con el conjunto de los irracionales.

Ahora, con los nmeros irracionales podemos incluir entre las operaciones
a realizar con los nmeros reales, adems de las que ya estudiamos a la raz.

Si n es un entero y si a es un nmero real no negativo entonces se dice

que b es la nsima raz de a si bn=a

Los nmeros reales satisfacen todas las propiedades de los conjuntos

anteriores, adems de tener un orden que se puede definir de igual manera que
con los otros conjuntos de nmeros.

2.4.2. Recta numrica

Ahora que hemos incrementado bastante la cantidad de nmeros que
conocemos; podemos localizarlos en la recta numrica de la siguiente manera:

Los naturales y los enteros se localizan as:

Con los nmeros racionales, la recta numrica se representa de la siguiente

manera:

0
 nmeros reales

Al colocar en la recta numrica los nmeros racionales, pareciera que se ha

llenado, sin embargo todava hay espacios.
Esos espacios que quedan se terminan de llenar con los nmeros
irracionales, de este modo todos los puntos de la recta numrica tienen asignado
un nmero real y a todos los nmeros reales les corresponde un punto en la recta
numrica.
Si se cree que el estudio de los nmeros y sus propiedades ha terminado,
obsrvese que, con los nmeros reales, no podemos conocer un nmero que
sea igual a 1 . Esto sucede debido a que en los nmeros reales no hay tal que
multiplicado por s mismo d un nmero negativo. Para poder hacer este tipo
de operaciones necesitamos otro tipo de nmeros, los imaginarios. Los nmeros
imaginarios se estudiarn en la unidad 4 de este libro.

Ejercicio 5

1. Indica uno de los conjuntos de nmeros a los que pertenecen los

siguientes:

a) 3
b) 8
c) 4.567343434343434...
d) 1.236390486829263...

2. Verifica que se cumplan las 11 propiedades de los nmeros racionales

para los nmeros reales 4, 3.1415926... y 1/2.

3. Haciendo una analoga con la relacin de orden para los nmeros

enteros, indica la relacin de orden para los nmeros reales.

Las matemticas se aprenden haciendo ejercicios. A continuacin se

presenta una serie de problemas resueltos y otra de problemas propuestos para que
observes, en los ejercicios resueltos, la manera como se plantean y solucionan, con
el propsito de que las pongas en prctica al resolver los problemas propuestos.

1
 lgebra superior

Problemas resueltos

a+b
1. La media aritmtica cumple con las propiedades de los nmeros
naturales? (La media aritmtica entre dos nmeros a y b se define como ).
2
Respuesta: no, ya que no cumple con la cerradura, dos nmeros naturales
cuya suma es impar, su media aritmtica no es un nmero natural.

2. Demuestra por induccin matemtica que la suma de los cubos de los

primeros n nmeros naturales es:
n2 ( n + 1)
2

4
Respuesta:

Condicin 1. La hiptesis se cumple para n=1 en tanto:

S1 = 13 = 1

12 (1 + 1)
y adems:

S1 = = =1
2
4
4 4
Por lo que s se cumple la condicin 1.

Condicin 2. Suponiendo que:

k2 ( k + 1)
Sk = 1 + 2 + ... + k =
2
3 3 3
,
4

demostremos que:

(k + 1)2 (k + 2 )2
Sk+1 =
4

2
 nmeros reales

En efecto, como:

k2 ( k + 1)
Sk + (k + 1) = 13 + 23 + ... + k3 + (k + 1) = Sk+1 = + ( k + 1)
2
3 3 3

k2 ( k + 1)
entonces:

= + ( k + 1)
2
3
Sk+1

k2 ( k + 1) + 4 ( k + 1)
4

=
2 3

(k + 1)2 k2 + 4 (k + 1)
4

(k + 1) (k2 + 4 k + 4 )
4

=
2

(k + 1) (k + 2 )2 ,
4

=
2

por lo que s se cumple la propiedad.

3. Podremos afirmar que si a<0, a Z entonces a es un nmero

natural?

Respuesta: s, ya que si a<0, entonces 0>a, y esto quiere decir que 0a

es un nmero natural. Pero 0 es el neutro aditivo, de lo que 0 a = a, por lo
que a es un nmero natural.

4. Demuestra que si a>c y b>d entonces a+b>c+d.

Respuesta: para realizar la demostracin se utilizar la proposicin:

si q>w entonces q+s>w+s
demostrada anteriormente. Si a>c entonces se tiene que:
a+b>c+b

3
 lgebra superior

Por otro lado, si b>d se tiene que:

b+c>d+c
Ahora, como c+b=b+c, por transitividad se tiene:
a+b>b+c>d+c

a+b>d+c
Con lo que queda demostrada la propiedad.

5. Encuentra los nmeros primos entre el 30 y el 40.

Respuesta: primero desechemos a todos los nmeros pares entre el 30 y

el 40, ya que seran divisibles entre 2 y entonces ya no seran primos. Ahora, el
33 se puede escribir como 311, el 35 como 75 y el 39 como 313 de lo que
los nicos primos entre el 30 y el 40 son el 31 y el 37.

6. Encuentra ejemplos de nmeros enteros tales que a<b y a2>b2.

Respuesta: los nmeros que necesitamos encontrar no pueden ser los

dos positivos debido a la propiedad de los nmeros naturales de que si c y d
pertenecen a los naturales y si c<d, entonces c2<d2. Entonces busquemos que
uno de ellos sea negativo. Como cualquier nmero negativo es menor que uno
positivo, y como el cuadrado de un nmero negativo es uno positivo, entonces
encontremos un nmero negativo cuyo cuadrado sea mayor que el cuadrado del
positivo y ya se tienen los nmeros buscados. Por ejemplo, el 1 y el 2. Tambin
se cumple la propiedad si los dos son nmeros negativos.

7. Encuentra la forma de escribir al 50 en mltiplos de 9 con el residuo

mnimo no negativo.

Respuesta: 50=(9)(5)+5

4
 nmeros reales

8. Encuentra tres maneras de escribir al 38 en mltiplos de 4.

Respuesta: 38=(4)(9)+2
38=(4)(11)6
38=(4)(5)+18

9. Construye una fraccin igual a 34/22

Respuesta: dividiendo al numerador y denominador entre 2 se tiene:

17/11

10. Encuentra el nmero decimal equivalente a:

a) 11/15 Respuesta: 0.73

b) 22/7 Respuesta: 3.142857

11. Indica el conjunto al que pertenecen los nmeros:

a) 56.7 Respuesta: nmeros racionales.

b) 3.81736402948573759183... Respuesta: nmeros irracionales.

Problemas propuestos
1.Se podr afirmar que la suma de dos nmeros cualesquiera al cuadrado
es mayor o igual que cero? Por qu?

2. Es la resta una operacin que cumple con las propiedades de los enteros
pares? Y de los impares?

3. Demuestra por induccin que:

3 n +1 1
1 + 3 + 32 + ... + 3n =
2


 lgebra superior

4. Encuentra la descomposicin cannica de 363 y de 6825.

5. Encuentra los nmeros primos que existen entre el 70 y el 80.

6. Existen nmeros primos pares? Cuntos?

7. Los nmeros primos cumplen con la cerradura bajo la suma? Esto es,
siempre que se sumen dos primos, el resultado es otro primo?

8. Indica la manera de escribir al 35 en mltiplos de 8 de tal forma que su

residuo sea 3.

9. Indica si son iguales las fracciones 35/22 y 70/46

10. Encuentra el nmero decimal equivalente de las siguientes

fracciones:

a) 12/30
b) 56/18

11. Encuentra el nmero racional equivalente a:

a) 31.6
b) 0.30434782608695652173913

12. Indica a qu conjunto pertenecen los siguientes nmeros:

a) 1.3529411764705882352941176470588235294117647...
b) 4.56


 nmeros reales

Autoevaluacin
1. De las siguientes operaciones, cules no cumplen con las propiedades
de los nmeros naturales?

a) Suma.
b) Neutro aditivo.
c) Resta.
d) Neutro multiplicativo.

2. De las siguientes operaciones, cules no cumplen con las propiedades

de los nmeros naturales?

a) Multiplicacin.
b) Divisin.
c) Asociatividad en la suma.
d) Asociatividad en la multiplicacin.

3. Cuntas condiciones se tienen que cumplir en una prueba por

induccin?

a) 2
b) 1
c) 3
d) 4

4. c2>0 implica que:

a) c no puede ser negativo.

b) c no puede ser positivo.
c) c es distinto de cero.
d) c es igual a cero.


 lgebra superior

5. Si a>0 y b>0 con a2<b2, entonces:

a) a<b
b) b<a
c) a2b2<0
d) a2b2<0

6. A la propiedad que dice si a>b y b>c, entonces a>c se le conoce como:

a) Cerradura.
b) Conmutatividad.
c) Asociatividad.
d) Transitividad.

7. El 21 y el 7 son ejemplos de nmeros:

a) Enteros.
b) Primos.
c) Naturales.
d) Compuestos.

8. La descomposicin cannica de 330 es:

2 3 55
2 3 5 11
a)

6 5 11
b)

2 5 33
c)
d)

9. Los nmeros compuestos cumplen con la propiedad de cerradura en la:

a) Divisin.
b) Resta.
c) Suma.
d) Multiplicacin.

8
 nmeros reales

10. El mnimo residuo distinto de cero que se emplea para escribir al 59

en trminos de 6 es:

a) 3
b) 4
c) 5
d) 1

11. Las fracciones 45/7 y 945/147 son:

a) Iguales, ya que (45)(147)=(7)(945)

b) Iguales, ya que (45)(945)=(7)(147)
c) Distintas, ya que (45)(147)(7)(945)
d) Distintas, ya que (45)(945)(7)(147)

12. El nmero decimal equivalente a 34/7 es:

a) 4.857142
b) 4.857142
c) 4.85714286
d) 4.85714285

13. El nmero racional equivalente a 2.142857 es:

a) 1.5/7
b) 214285/1000000
c) 2.14285/1000000
d) 15/7

14. El nmero 3.258946317823649824056... pertenece a:

a) Los nmeros enteros.

b) Los nmeros racionales.
c) Los nmeros naturales.
d) Los nmeros irracionales.


 lgebra superior

15. De las siguientes airmaciones indica la correcta:

a) Todos los nmeros racionales son nmeros enteros.

b) Todos los nmeros enteros son racionales.
c) Todos los nmeros irracionales son racionales.
d) Algunos nmeros irracionales son racionales.

80
 nmeros reales

Respuestas a los ejercicios

Ejercicio 1

1. Tomemos la terna de nmeros naturales 18, 124 y 52.

a) Cerradura de la suma

18+124=142 que tambin es natural. Lo mismo sucede con la adicin de

cualquier otro par de nmeros, incluso con la adicin de los 3: 18+124+52=194,
que tambin es un nmero natural.

b) Conmutatividad de la suma

18+52=70=52+18, lo mismo pasa para cualquier otro par de nmeros.

c) Asociatividad en la suma

(18+124)+52=142+52=194=18+176=18+(124+52). Tambin la
propiedad se cumple si se toman los nmeros en distinto orden.

d) Elemento neutro

El elemento neutro es el cero, por ejemplo 0+18=18. Lo mismo sucede

con los otros dos nmeros naturales.

e) Cerradura de la multiplicacin

Por ejemplo (18)(52)=936, que tambin es un nmero natural. Lo mismo

pasa con la multiplicacin de otros nmeros cualesquiera.

f) Conmutatividad de la multiplicacin

(18)(124)=2232=(124)(18). Lo mismo sucede con cualquier otra

multiplicacin de dos nmeros.

81
 lgebra superior

g) Asociatividad en la multiplicacin

Por ejemplo:

(18)[(124)(52)]=(18)(6448)=116064=(2232)(52)=[(18)(124)](52).

h) Elemento neutro

El elemento neutro para la multiplicacin es el 1. Por ejemplo, (1)(18)=18.

Lo mismo sucede con los otros nmeros.

i) Distributividad

1. La multiplicacin es distributiva respecto a la suma. Por ejemplo:

(18)(124+52)=(18)(176)=3168=2232+936=(18)(124)+(18)(52).

Se sugiere al alumno que verifique todas las propiedades para la terna de

nmeros naturales que eligi.

2. La resta no cumple con la condicin de la cerradura en los naturales. Por

ejemplo, si a 4 se le resta 9 se tiene 5, que no es natural. La divisin tampoco
cumple con la cerradura en los naturales. Por ejemplo, el cociente 4/5 es igual a
0.8, que no es natural.

3. Condicin 1. El primer elemento del conjunto es n=1. De lo que veamos

si se cumple para n=1. Por un lado S1 es igual a:

S1=1
y por otro

S1=12=1,

por lo que s se cumple la igualdad para la condicin 1.

82
 nmeros reales

Condicin 2. Aqu trataremos de demostrar que la hiptesis es verdadera

para n=k esto es:

Sk=1+3+5+7+9+...+2k1=k2,

donde k es cualquier nmero natural, entonces debe cumplirse para

n=k+1, es decir:
Sk+1 = (k + 1)2
Tenemos por hiptesis que se cumple para n=k:

Sk = 1 + 3 + 5 + 7 + 9 + ... + 2 k 1 = k2 ,

ahora, el siguiente trmino de la serie se obtiene sumndole 2 al ltimo,

por lo tanto el siguiente trmino es:
2k+1,
se obtienen la expresin para k+1, as:
Sk + 2 k + 1 = 1 + 3 + 5 + 7 + 9 + ... + (2 k 1) + (2 k + 1) = Sk+1 = k2 + 2 k + 1
Ahora, reacomodando trminos Sk+1, queda como:

Sk+1 = k2 + 2 k + 1
= (k + 1)2

Con lo que queda demostrado que se cumple la propiedad.

4. Condicin 1. El primer elemento del conjunto es n=1. De lo que veamos

si se cumple para n=1. Por un lado S1 es igual a:

S1 = 12 = 1
y por otro

S1 = = =1
(1)(2)(3) 6
6 6
por lo que s se cumple la igualdad para la condicin 1.

83
 lgebra superior

Condicin 2. Aqu trataremos de demostrar que si la hiptesis es verdadera

para n=k esto es:
k(k + 1)(2 k + 1) ,
Sk = 12 + 2 2 + 32 + 4 2 + ... + k2 =
6
donde k es cualquier nmero natural, entonces debe cumplirse para
n=k+1, es decir:
(k + 1)(k + 2)(2 k + 3)
Sk+1 =
6
Tenemos por hiptesis que se cumple para n=k:
k(k + 1)(2 k + 1)
Sk = 12 + 2 2 + 32 + 4 2 + ... + k2 = ,
6
ahora, el siguiente trmino de la serie es
(k+1)2,
por lo que la expresin para k+1 es:

Sk + (k + 1)2 = 12 + 2 2 + 32 + 4 2 + ... + k2 + (k + 1)2 =

k(k + 1)(2 k + 1)
Sk+1 = + (k + 1)2
6
Ahora, Sk+1 se puede escribir como:

k(k + 1)(2 k + 1)
Sk+1 = + (k + 1)2
6
k(k + 1)(2 k + 1) + 6(k + 1)2
=
6
(k + 1)[ k(2 k + 1) + 6(k + 1)]
=
6
(k + 1)(2 k2 + k + 6 k + 6)
=
6
(k + 1)(2 k2 + 7 k + 6)
=
6

84
 nmeros reales

(k + 1)[(k + 2)(2 k + 3)]

=
6
Con lo que queda demostrado que se cumple la propiedad.

Ejercicio 2

1. Si c>0 entonces, por la definicin de multiplicacin c2 es sumar c veces

c. Como c>0 entonces slo se suman nmeros mayores que cero, de lo que la
suma es mayor que cero. Por lo que:
c2>0
Ahora, si c<0 entonces c lo podemos escribir como c=(1)(c) donde
c>0. Ahora como c>0, entonces:
c2>0,
ahora se puede multiplicar a c2 por 1 y manipular algebraicamente para
obtener:
c2>0
(1)c2>0
(1)(1)c2>0
(1)(1)cc>0
(1)c(1)c>0
Como (1)c=c
cc>0
c2>0

Por lo que el cuadrado de cualquier entero distinto de cero es mayor a

cero.

2. La demostracin se har usando induccin sobre c.

Condicin 1. El primer valor que puede tomar c es 1, entonces:

(1)a>(1)b

8
 lgebra superior

a>b
s se cumple la primera condicin.

Condicin 2. Ahora se pide demostrar que si:

ca>cb
entonces:
(c+1)a>(c+1)b
Tenemos que:
ca>cb
sumndole a a los dos miembros de la desigualdad se tiene:
ca+a>cb+a
Ahora, como a>b entonces:
cb+a>cb+b
Y por transitividad se tiene:
ca+a>cb+b
Que se puede escribir como:
a(c+1)>b(c+1)
Por lo que la propiedad se cumple.

Ejercicio 3

1. S, porque 2(924)=1848=3(616)

= =
11 33 77
2.
17 51 119
3. a) 4.81
b) 1.3529411764705882

8
 nmeros reales

4. a) La periodicidad es 2, por lo tanto:

234.78 2.3478 = 232.44

2.3478(10)2 2.3478 = 232.44
2.3478(10 2 1) = 232.44
2.3478(99) = 232.44

2.3478 =
232.44
99
2.3478 = =
5811 1937
2475 825

b) La periodicidad es 4, por lo tanto:

34874.58745 3.48745 = 34871.1

3.48745(10 4 ) 3.48745 = 34871.1
3.48745(10 4 1) = 34871.1
3.48745(9999) = 34871.1

3.48745 =
34871.1
9999
3.48745 =
10567
3030

Ejercicio 4

1. No se pueden encontrar los dos q y q, y r y r distintos debido a la

unicidad de los nmeros q y r del algoritmo de la divisin. Por lo que si existieran
dos q y q y dos r y r tendran que ser iguales.

8
 lgebra superior

2. 34=7(1)+27
34=7(2)+20
34=7(3)+13
34=7(4)+6
34=7(5)1

3. 46=4(11)+2

Ejercicio 5

1. a) Nmeros naturales.
b) Nmeros enteros.
c) Nmeros racionales.
d) Nmeros irracionales.

2. Verifiquemos las 11 propiedades de los nmeros racionales:

1. Cerradura de la suma. Los nmeros 4 y 1/2 son reales y la suma

4+1/2=3.5 tambin es un real.
2. Conmutatividad de la suma. Los nmeros reales 3.1415926... y 1/2
cumplen con
3.1415926... +1/2=3.6415926=1/2+3.1415926...
3. Asociatividad en la suma. Los nmeros reales 4, 1/2 y 3.1415926...
cumplen con:
(4+)+3.1415926...=3.5+3.1415926...=0.3584074...
y por otro lado:
4+(1/2+3.1415926...)=4+3.6415926...= 0.3584074...

88
 nmeros reales

4. Elemento neutro. El elemento neutro para la adicin es el cero. Para el

nmero real 3.1415926...

3.1415926...+0=3.1415926...

5. Cerradura de la multiplicacin. Cuando se multiplican los nmeros reales

1
4 y /2 se obtiene otro real:
(4)(1/2)=2

6. Conmutatividad de la multiplicacin. Para los nmeros reales 79123 y

0.00005 se cumple que:
(4)( 3.1415926...)= 12.5663704=( 3.1415926...) (4)

7. Asociatividad en la multiplicacin. Para los nmeros reales 4, y

3.1415926... se tiene que:
[(4)()](3.1415926...)=(2)(3.1415926...)= 6.2831852

por otro lado:

(4)[()(3.1415926...)]=(4)( 1.5707963)= 6.2831852

8. Elemento neutro. El elemento neutro para la multiplicacin es el 1. Para

el nmero real 4
(4)1=4
9. Distributividad. La multiplicacin es distributiva respecto a la suma.
Para los nmeros reales 4, y 3.1415926... se tiene que:
(4)(+3.1415926...)=(4)(3.6415926...)=14.5663704...
por otro lado:
(4)(1/2)+(4)(3.1415926...)=212.5663704...= 14.5663704...

8
 lgebra superior

10. Para el nmero real 1/2 existe su inverso aditivo, que se denota por
1/2, tal que:
1/2+(1/2)=0.
11. Inverso multiplicativo. Para el nmero real 4 existe su inverso
multiplicativo 1/4 tal que:

3. El nmero real a ser mayor que el nmero b siempre que (ab) sea
un nmero real positivo.

Respuestas a los problemas propuestos

1. S, porque el cuadrado de cualquier nmero siempre es mayor o igual
a cero.

2. De los pares s, de los impares no (no cumple la cerradura, dos nmeros

impares que se restan pueden resultar en un entero par. Por ejemplo, 53=2)

3.

4. 363=3 112
6825=3 52 7 13

5. 71, 73 y 79.

6. El nico primo par es el 2, ya que todos los dems pares tienen como
divisor al 2 y por tanto no son primos.

7. No, por ejemplo, los primos 5 y 7 al sumarlos obtenemos un nmero

par: el 12.

9. No son iguales ya que (35)(46)=1610 1540=(70)(22)

8. (8)(4)+3=35

0
 nmeros reales

10. a) 0.4
b) 3.1

11. a) 95/3
b) 7/23

12. a) Nmeros racionales.

b) Nmeros racionales.

Respuestas a la autoevaluacin
1. c)
2. b)
3. a)
4. c)
5. a)
6. d)
7. a)
8. b)
9. d)
10. c)
11. a)
12. b)
13. d)
14.d)
15. b)

1