Capítulo IV: El Conjunto de los Números Racionales   Teoría de

Números

CAPÍTULO IV

EL CONJUNTO DE LOS

NÚMEROS RACIONALES  

COMPETENCIAS ESPECÍFICOS

1) Definir el Conjunto de los Números Racionales   .

2) Definir la suma y la multiplicación en el Conjunto de los Números

Racionales   .

3) Demostrar las propiedades de la adición y multiplicación en el Conjunto

de los Números racionales   .

4) Establecer la Relación de Orden en el Conjunto de los Números

Racionales   .

5) Demostrar las propiedades de la Relación de Orden en el Conjunto de

los Números Racionales   .

6) Definir sustracción y división en el Conjunto de los Números Racionales

 .
7) Demostrar las propiedades de la sustracción y la división en el Conjunto

de los Números Racionales   .

128
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

INTRODUCCIÓN

Es de hacer notar que existen ecuaciones lineales que se pueden resolver en , por
ejemplo 2x  10,  4x  8,  3x  0, 10 x  20  0 , pero hay otras que no, tales como
4x  5  0, 2x  1  0, 3x  10. Este defecto manifiesto se resuelve uniendo a los
enteros otros números, que se llamarán Números Fraccionarios (F), es decir, la
operación de conjuntos  F da como resultado el Conjunto de los Números
Racionales y se simbolizará por . El uso de la letra , se origina porque en
varios idiomas europeos cociente se escribe “quotient”, así que los matemáticos de
la época estudiosos de las fracciones decidieron el uso de esta letra para
representar al conjunto de los números racionales. La construcción de es similar
a la construcción de .

Un poco de historia

Los babilónicos utilizaban fracciones cuyo denominador era una potencia de 60,
mientras que los egipcios usaron, sobre todo, las fracciones con numerador igual a
1, llamadas fracciones unitarias. Además tenían predilección por las fracciones
1 2
y . En la escritura, la expresaban con un óvalo, que significaba parte o partido,
3 3
y debajo, o al lado, ponían el denominador. El numerador no se ponía por ser
siempre 1. Los griegos y romanos usaron también las fracciones unitarias, cuya
utilización persistió hasta la época medieval. En el siglo XIII, Leonardo de Pisa,
llamado Fibonacci, introdujo en Europa la barra horizontal para separar
numerador y denominador en las fracciones tal como se usa actualmente.

A principios del siglo XV, el árabe Al Kashi fue el que generalizó el uso de los
números decimales tal y como los conocemos hoy. A finales del siglo XVI, Simon
Stevin desarrolló y divulgó las fracciones decimales que se expresaban por medio
de números decimales: décimas, centésimas, milésimas, etc., pero los escribía de
una forma complicada, así para 456,765 (también 456.765) escribía 456 (0) 7(1) 6(2)
5(3). Para el siglo XVII, los números decimales ya aparecieron tal y como los
escribimos hoy, separando con un punto o una coma la parte entera de la parte
decimal. Los números decimales se impusieron, en casi todos los países, al
adoptarse el Sistema Métrico Decimal, en el siglo XVIII, concretamente en 1792.

129
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

Ejemplos de representación de fracciones:

a) En escritura egipcia:

Ojo de Horus (Udyat) contiene los símbolos de las primeras fracciones utilizadas

b) En la cultura babilónica:

c) Ejemplos de representación de fracciones por los romanos:

Monedas de uso en Roma:

Una moneda triens (1/3 o 4/12 de un as). Los Una moneda semis (1/2 o 6/12
cuatro puntos •••• indican su valor. de un as). La letra S indica su
valor.
Tomado de www.google.hn/search?q=historia+numeros+racionales

Fracción Número Romano Nombre Significado Fracción Número Romano Nombre

1 1
Uncia Onza Triens
12 3
1 1 Semis
Sextans Sexto S
6 2 (medio)
1 2
Quadrans Cuarto Bes
4 3

130
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

IV.1 LA RELACIÓN BINARIA

La construcción de es similar a la de . Se empezará definiendo el conjunto K

por K  I   I  0   s, m / s  I , m  I .
Nota: Por convención en la notación del texto, se simbolizará el producto s n o
también s  n como s n y a, b c , d  a, b c , d

Se define la relación binaria como:

DEFINICIÓN 1: Si  s, m ,  t , n  K ,  s, m t , n si y solo si sn  mt .
En la definición de , es de hacer notar que el elemento 0  no puede aparecer
como segunda componente en cualquier para ordenado  s, m  , es decir,  s,0  no
está definido.

TEOREMA 1: La relación binaria es una relación de equivalencia.

Debe demostrarse que es reflexiva, simétrica y transitiva.
Demostración:
Parte a) Se debe probar que  s, m  s, m para todo  s, m  K .
Para todo s, m  , sm  sm es cierto y sm  sm es el enunciado de la propiedad
(M2) conmutativa del producto en . Por lo tanto,  s, m  s, m . Luego, es
reflexiva.

Parte b) Probar: si  s, m  n, t  entonces  n, t   s, m para todo  s, m ,  n, t   K .

Como  s, m  n, t  , por definición de , se cumple que st  mn , por la propiedad
simétrica de la igualdad, mn  st y por la propiedad conmutativa en se cumple
nm  ts , entonces por definición de  n, t   s, m . Luego, es simétrica.

Parte c) Probar: Si  s, m  n, t  y  n, t   u, v  entonces  s, m  u, v  para todo

 s, m ,  n, t  , u, v   K .
Como  s, m  n, t  y  n, t   u, v  , por definición de se cumple que st  mn y
nv  tu . Por las propiedades: uniforme de la igualdad, asociativa y conmutativa:
 st  nv    mn  tu 
 s  tn v   m  nt  u
 s  tn v   m  tn  u
131
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

Luego  tn sv    tn mu implica sv  mu . Por definición de , se cumple que

 s, m  u, v  . Luego, es transitiva.
Por lo tanto, por a), b) y c) es una relación de equivalencia.

La relación binaria induce en el conjunto K una partición en clases de

equivalencia que se denota por J , es decir:
J   s, m , n, t  , u, v ,... , donde  s, m   a, b  :  a, b   K ,  a, b   s, m , donde
s , m, t , n  .
Las clases de equivalencia del conjunto se llamaran números racionales, y en todo
el desarrollo de este capítulo se verá que el conjunto J es isomorfo al conjunto
de números racionales ya conocido.

IV.1.1 LA ADICIÓN Y MULTIPLICACIÓN EN J Y SUS PROPIEDADES

DEFINICIÓ 2: ADICIÓN EN J.
Sean  s, m , n, t   J. La adición se define por:
s, m  n, t   st  mn, mt  ; s, m, n, t  ; m  0, t  0 .

DEFINICIÓN 3: MULTIPLICACIÓN EN J.
La multiplicación se define por  s, m n, t    sn, mt  , donde  s, m , n, t   J.

En el capítulo II se mostró que la adición y la multiplicación son operaciones bien

definidas, lo mismo ocurre con la adición y multiplicación en J. Previo a
demostrar teoremas, se efectúan operaciones con racionales utilizando clases de
equivalencia.

Ejemplo 1 2 1
Efectuar  usando clases de equivalencia
3 4

132
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

2 1
Sea  x
3 4
2 1
  2, 3    1, 4 
3 4
2 1
Luego    2, 3   1, 4 
3 4
  2 4  3 1, 3 4 
 8  3, 12 

 11, 12 
luego x  11, 12 
2 1 11
Entonces  
3 4 12
2
Nota: Para este caso particular de suma de racionales, se le asignó al número la
3
2 1 1
clase   2, 3 . En el caso de se le asignó  1, 4 . Se puede utilizar cualquier
3 4 4
otro par de números enteros que estén en la misma razón, por ejemplo:
2 2 2 4
  ,luego se asigna:   4,6  , es decir  2, 3    4,6  implica 
3 3 3 6
2 2 2 6 6
  ,luego se asigna:    6,  9  , es decir  2, 3   
 6,  9  implica  
3 3 3 9 9
Ejemplo 2 Efectuar  3  2 usando clases de equivalencia
7 9

133
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

3 2
Sea    x
7 9
3 2
  
 3, 7     2, 9 
7 9
3 2
Luego     3, 7    2, 9 
7 9 
 
 3 9  7 2, 7 9 
 
 27  14, 63 
 
 13, 63 

  13, 63  
luego x   13, 63 
3 2 13
Entonces    
7 9 63

Ejemplo 3 3
Efectuar  5 usando clases de equivalencia
8
3
Sea 5 x
8
3
  3, 8   5   5, 1
8
3
Luego  5   3, 8    5, 1
8
  3 1  8 5, 8 1
  3  40, 8 

  43, 8  
luego x   43, 8 
3 43
Entonces  5
8 8

Ejemplo 4 3 2
Efectuar  usando clases de equivalencia
7 9

134
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

3 2
Sea  x
7 9
3 2
  3, 7     2, 9 
7 9
3 2
Luego   3, 7   2, 9 
7 9 
 
 3 2 , 7 9 
 
 6, 63 
 
 6, 63  ,  6 y 63 son divisibles por 3
 
 2, 21

   2, 21 
luego x    2, 21 , clase simplificada
3 2 2
Entonces  
7 9 21

Ejemplo 5 13
Efectuar  5 usando clases de equivalencia
15
13
Sea  5 x
15
13
5  
 5, 1   13, 15 
15 
13
Luego  5  5, 1 13, 15 
15 
 
 5 13 , 1 15 
 
 65, 15 
 
 13, 3  ,  65 y 15 son divisibles por 5
 
 13, 3 

  13, 3  
luego x   13, 3  , clase simplificada
13 13
Entonces  5 
15 3

135
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

Se enuncian y demuestran a continuación las propiedades que cumplen la suma y

multiplicación de racionales.

TEOREMA 2: La adición y la multiplicación en J son operaciones bien definidas.

Este resultado implica demostrar:
a) Probar que la suma está bien definida implica que para cualesquiera dos
elementos de J, la suma está en J . Es decir: Si  a, b   m, n , c , d  s, t  entonces
a, b  c , d  m, n  s, t  .
b) Probar que el producto está bien definido implica que para cualesquiera dos
elementos de J, el producto está en J . Es decir: Si  a, b   m, n , c , d  s, t 
entonces  a, b c , d   s, m t , n .
Demostración.
Sean  a, b   m, n  c , d  s, t  , por definición de J, los pares ordenados
 a, b   m, n y  c , d   s, t  y por definición de , se cumple que an  bm y ct  ds .
Parte a)
a, b  c , d  ad  bc , bd Por definición de +
  ad  bc   nt  , bd  nt  Multiplicando mn
 adnt  bcnt ,  bd   nt  Propiedad distributiva
  an  dt    ct   bn ,  bd   nt  Prop. Asoc. del produc
  bm dt    ds  bn ,  bd   nt  Por dato, an  bm y ct  ds
  bd   mt    db   sn ,  bd   nt  Asociativa del producto
  bd   mt    bd   ns  ,  bd   nt  Conmutativa del producto
  bd   mt  ns  ,  bd   nt  Distributiva de  y 
  mt  ns, nt  Simplificando
  m, n  s, t  Definición de
Luego,  a, b  c , d   m, n  s, t  y la adición está bien definida en J.

Parte b) Análogamente, se prueba que:

 a, b c , d   ac , bd (Justifique cada paso)
  ac  nt  ,  bd   nt 
  acnt , bdnt 
  an ct  ,  bd   nt 

136
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

  bm ds  ,  bd   nt 

 bmds, bdnt 
  bd   ms  ,  bd   nt 
  ms, nt 
  m, n  s, t 
Luego,  a, b c , d   m, n  s, t  y por lo tanto la multiplicación es una operación
bien definida en J.

DEFINICIÓN 4: Definición de cero, uno, inverso aditivo y multiplicativo

a) El cero se define por 0  0, m
b) El uno se define por 1   m, m
c) El inverso aditivo se define por:   s, m   s, m para todo elemento  s, m  J.
d) El inverso multiplicativo se define por:   s, m   s, m para todo elemento
1

 s, m  J, s  0.

Las propiedades de la multiplicación y la división se pueden demostrar en una

forma análoga a la de los números enteros. Estas se enuncian y demuestran a
continuación.

1) PROPIEDADES DE LA ADICIÓN EN J
Sean x, y , z  J , entonces:
A1:  x  y   J Ley de clausura
A2: x  y  y  x Ley conmutativa.
A3: x   y  z    x  y   z Ley asociativa.
A4: Si x  y  z  y entonces x  z Ley cancelativa
A5: existe un elemento neutro para la adición, 0  J tal que x  0  0  x  x, para
todo x 
A6: para todo x  J, existe un simétrico aditivo, x  J tal que x   x    x   x  0.
x se llama opuesto de x.

Se demuestran las propiedades A1, A3, A4; quedaran como ejercicios A2, A5 y A6.
Sean x   s, m , y  n, t  , z  u, v .

137
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

A1: si x, y  J entonces  x  y   J
Demostración:
 x  y   s, m  n, t   st  mn, mt  , y como  st  mn   mt  , entonces
 st  mn, mt   J , es decir  x  y   J.

A3: x   y  z    x  y   z
Demostración: (Justifique cada paso)
 s, m  n, t   u, v  s, m  nv  tu, tv
  s  tv   m  nv  tu , m  tv 
  s  tv   m  nv   m tu ,  mt  v
  st  mn v   mt  u,  mt  v
  st  mn, mt   u, v
  s, m  n, t   u, v
Por lo tanto x   y  z    x  y   z .

A4: Si x  y  z  y entonces x  z
Demostración:
Si  s, m  n, t   u, v  n, t  entonces
st  mn, mt   ut  vn, vt  Por def. de + en J
 st  mn vt   mt ut  vn Por def. de clase de equivalencia
 st  mn vt    ut  vn mt  Por M3 en
 st  mn v   ut  vn m Por M4 en
stv  mnv  utm  vnm Por D2 en
stv  utm Por A4 en
sv  mu Por M4 en
 s , m   u, v  Por def. de
 s, m  u, v Por el teorema 3, cap. II

2) PROPIEDADES DE LA MULTIPLICACIÓN EN J
Sean x, y , z  J , entonces:
M1:  xy   J Ley de clausura
M2: xy  yx Ley conmutativa

138
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

M3: x  yz    xy  z Ley asociativa

M4: Si xy  zy entonces x  z Ley cancelativa
M5: Existe un elemento neutro respecto de la multiplicación, el 1  J tal que
1x  x1  x, para todo x  J.
M6: para todo x  J, x  0 , existe un simétrico multiplicativo, x1  J tal que
xx1  x1x  1. A x 1 se le llama opuesto de x.
Nota: El opuesto y el inverso de un número racional distinto de cero son únicos.

Se demuestran a continuación las propiedades M2 y M6, quedaran como ejercicios

M1, M2, M4 y M5.

M2: xy  yx , para todo x, y  J.

Sean x   s, m , y  n, t  , z  u, v elementos de M2.
Demostración:
 s, m n, t   sn, mt  Def. de mult. en J
 ns, tm Por conm. de mult. en los enteros
 n, t   s, m Def. de mult. en J
Por lo tanto, xy  yx

1 1 1
M6: xx  x x  1 , para todo x  J. Además x es único.
Demostración:
Para x   s, m entonces x1   m, s con m y s distintos de 0:
 s, m  m, s  sm, ms Por definición de multiplicación
  sm, sm Por propiedad conmutativa
Se tiene que  sm, sm  r , r  , ya que  sm, ms   r , r  porque sm  r  ms  r ,
entonces, por definición de 1, 1   sm, sm . Entonces, xx1  1 , por la
conmutatividad, xx1  x1x  1. Para demostrar la unicidad de x 1 , supongamos
que existe y J, tal que xy  yx  1 . Como xx1  1 y xy  1 , entonces xx1  xy , lo
que implica que x1  y . Por lo tanto, x 1 es único.

TEOREMA 3. Si x, y  J, distintos de cero, entonces  xy   x1y 1

1

Demostración:

139
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

Sean x   s, m , y  n, t  luego x1   m, s , y 1  t , n

 xy    s, m n, t    sn, mt 
1 1 1

  mt , sn
Luego,  xy    mt , sn
1

Por otro lado, x1 y 1   m, st , n   mt , sn

Luego x1 y 1  tm, ns , se deduce que  xy   x1y 1
1

IV.1.2 EJERCICIOS DE AUTOEVALUACIÓN 1

Demostrar cada una de las siguientes propiedades justificando cada paso.

A. Demostrar:
a) A2: x  y  y  x para todo x, y  J
b) A5: x  0  0  x  x, para todo x  J
c) A6: x   x    x   x  0, para todo x  J

B. Demostrar:
a) M1:  xy   J
b) M3: x  yz    xy  z , x, y , z  J
c) M4: Si xy  zy entonces x  z , x, y , z  J
d) M5: 1x  x1  x, para todo x  J

C. Demostrar:
a) D1: x  y  z   x y  x z , con x, y , z  J
b) D2:  y  z  x  y x  z x con x, y , z  J

D. Verificar:
a)  s, m  0, n   s, m
b)  s, m  0, n  0, n
c)  s, m   s, m  0, n
d)  s, m   s, m  0, n
e)  s, m   m, s  n, n

140
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

IV.1.3 SUSTRACCIÓN Y DIVISIÓN EN J Y SUS PROPIEDADES

Se definen a continuación las operaciones aritméticas de la suma y división.

Además se enuncian y demuestran las propiedades que estas operaciones
cumplen.

DEFINICIÓN 5: SUSTRACCIÓN DE RACIONALES.

Si x, y J, la sustracción se define por x  y  x    y  .

DEFINICIÓN 6: DIVISIÓN DE RACIONALES.

Si x, y J , la división se define por x  y  xy 1 .

Nota: La sustracción se define como una suma y la división como un producto. La

sustracción y división verifican la propiedad de la clausura, pero no la asociativa ni
la conmutativa.

PROPIEDADES DE LA SUSTRACCIÓN Y LA DIVISIÓN EN J

TEOREMA 4.
x, y J, entonces: a)  x  y   J
b) x  y  J
Demostración:
Sean x, y J, luego  y  , y 1 existen y pertenecen también a J. Como
x  y  x    y  y como  x   y   J,  x  y  J.
entonces En forma similar,
x  y  xy 1 , como xy 1  J , entonces también  x  y   J.

Como un ejercicio muy particular, se demuestra que, para todo x  0, y  0 :

a) x  y  y  x : La resta es no conmutativa.
b) x   y  z    x  y   z : La resta es no asociativa
Sean x   s, m , y  n, t  , z  u, v y x   m, s ,  y  t , n ,  z   v, u
Demostración:
Parte a) x  y  x    y    s, m   n, t    st   mn , mt 
Luego, y  x  y   x   n, t    s, m  nm   ts  , tm , y como en general:

141
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

st   mn , mt   nm   ts , tm porque  st   mn , mt   nm   ts , tm , se

concluye que x  y  y  x . Por lo tanto, la resta no es conmutativa.

Parte b) Se tiene que: x   y  z   x   z  y   x   z    y   . Entonces:

x   z    y    s , m  u, v   n, t 
 s , m  ut   vn  , vt 
  svt  m  ut   vn   , mvt 
 svt  mut  mvn, mvt 
Por otro lado:  x  y   z   x    y     z 
 x    y     z   s, m  n, t   u, v
 st   mn  , mt   u, v 
  st   mn   v   mtu  , mtv 
 stv  mnv  mtu, mtv 
En general svt  mut  mvn, mvt   stv  mnv  mtu, mtv porque:
 svt  mut  mvn, mvt   stv  mnv  mtu, mtv  . Por lo tanto, la resta no es
conmutativa.

Nota: Siguiendo la misma estrategia anterior queda como ejercicio demostrar que
la división no es asociativa ni conmutativa.

IV.2 LOS RACIONALES ENTEROS

Se sabe que los números enteros se pueden expresar como un racional, es lo que
llamamos racionales enteros.
Sea la función aplicación: t ,1  t , donde t ,1  J, t  .
Se puede demostrar que dicha función es un isomorfismo de un cierto subconjunto
de J sobre , si denotamos por J  dicho subconjunto: J   t ,1 ,  s,1 , r ,1 ,... ,
podemos reemplazar J  por , luego para completar la identificación de J  con
x s
, reemplazamos xy 1 por , y en particular  s, m por .
y m
142
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

DEFINICIÓN 7: NÚMERO RACIONAL POSITIVO

Un elemento x  o sea x   s, m ,  s, m  J, se llama positivo si y solo si

s m > 0. El subconjunto de todos los elementos positivos de se denota por ,y
el subconjunto correspondiente de J por J  .

DEFINICIÓN 8: NÚMERO RACIONAL NEGATIVO

Un elemento y  , o sea y  n, t  se llama negativo si y solo si sm < 0. El

subconjunto de todos los elementos negativos de se designa por , y el
subconjunto correspondiente de J por J  .

IV.2.1 RELACIÓN DE ORDEN EN

Se definirá la relación de orden en el conjunto de los números racionales, además

se enuncian y demuestran teoremas relacionados con esta relación.
DEFINICIÓN 9: DE LA RELACIÓN DE ORDEN MENOR QUE
Si x, y  , entonces x  y sí y solo si x  y  0

DEFINICIÓN 10: DE LA RELACIÓN DE ORDEN MAYOR QUE

Si x, y  , entonces x > y sí y solo si x  y > 0

TEOREMA 5: Si x, y , z  entonces:
a) Si x < y  y < z entonces x < z
b) Si x > y  y > z entonces x > z
La demostración del teorema se hará sin hacer uso de clases de equivalencia.
Demostración:
Parte a)
Si x < y  y < z entonces x  y < 0  y  z < 0 , luego,  x  y  +  y  z  < 0 + 0 . Esto
implica que x     y   y    z   0 , como  y   y  0 resulta que x   z  < 0 ,
entonces x  z  0 . Por definición de menor que, x < z .
Parte b)
Si x  y  y  z entonces x  y > 0  y  z > 0 , luego,  x  y +  y  z > 0 + 0 . Esto
implica que x     y   y    z   0 , como  y   y  0 resulta que x   z  > 0 ,
entonces x  z  0 . Por definición de menor que, x  z .
143
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

IV.2.2 LEY DE TRICOTOMÍA Y PROPIEDAD ARQUIMEDIANA

Se enuncian a continuación dos propiedades matemáticas, no exclusivas de los

números enteros, Ley de Tricotomía y la Propiedad Arquimediana. Ambas
propiedades son de utilidad para ordenar números enteros y encontrar cotas para
un conjunto de números determinado.

TEOREMA 6: Si x, y  , se verifica una y solo una de las relaciones:

a) x  y b) x < y c) x > y
Demostración:
Sean x   s, m  y  n, t  para s, m, n, t  , por la Propiedad de Tricotomía en
se cumple solo una de las siguientes opciones: a) st  mn , b) st < mn , c) st > mn .

Parte a) Si st  mn entonces  s, m  n, t  o sea  s, m  n, t  .

Parte b) Si st < mn entonces stmt < mnmt si mt < 0, o bien stmt > mnmt si mt < 0.
Si stmt < mnmt entonces stmt  mnmt < 0, de donde  st  mn mt < 0, lo que implica
 st  mn, mt  < 0 y esto produce  s, m  n, t  < 0 o sea que  s, m < n, t .
Si stmt > mnmt , entonces stmt  mnmt > 0, de donde  st  mn mt > 0, o sea
 st  mn, mt  > 0, lo cual implica que:  s, m  n, t  > 0 o sea  s, m > n, t  .
Parte c) Si st > mn , entonces, stmt > mnmt si mt > 0, o bien stmt < mnmt , si mt > 0.
Si stmt > mnmt , entonces  s, m < n, t  , y el teorema queda demostrado.

a
Se sabe que un número racional esta es una forma irreducible si y solo si a y b
b
son primos relativos. Se considera la clase  s, m  J, con s  0. Sea d   s, m  , y
escribimos s  ds1 y m  dm1 ; lo cual implica ds1m  dm1s, o sea s1m  ms1 lo cual
s s
implica  s, m  s1 , m1  y esto a su vez  s, m   s1 , m1  en otras palabras  1 .
m m1
Todo lo anterior nos lleva a concluir que cuando consideramos la clase  s, m  J ,
esta clase será considerada como irreducible.

1 1
TEOREMA 7: Si x y y son racionales positivos, x < y , entonces >
x y

144
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

1
Sean x   s, m , y  n, t  , con sm > 0, nt > 0, además  x1   m, s ,
x
1
 y 1  t , n también smnt > 0, luego smnt > 0, lo que implica sn > 0, mt > 0 o
y
bien sn < 0, mt < 0.

Demostración: (Justifique cada paso de la demostración en la línea de la derecha)

Si x < y , entonces  s, m < n, t  ___________________________________

 s, m  n, t  < 0 Por def. < en J
 s, m   n, t  < 0 Por def. de – en J
 st  mn, mt  < 0 ___________________________________
 st  mn mt < 0 ___________________________________
stmt  mnmt < 0 ___________________________________
stmt < mnmt ___________________________________
st < mn, si mt > 0 y sn > 0 ___________________________________
 mn  st  sn, ya que sn > 0 ___________________________________
mnsn > stsn ___________________________________
mnsn  stsn > 0 ___________________________________
 mn  st  sn > 0 ___________________________________
 mn  st , sn > 0 ___________________________________
 m, s   t , n > 0 ___________________________________
 m, s  t , n > 0 ___________________________________
 m, s > t , n ___________________________________
1 1
Luego > ___________________________________
x y
Lo mismo ocurre en el caso sn < 0, mt < 0.

145
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

IV.2.3 PROPIEDAD DE DENSIDAD DE LOS NÚMEROS RACIONALES Y

LA PROPIEDAD ARQUIMEDIANA

TEOREMA 8: PROPIEDAD DE DENSIDAD DE LOS NÚMEROS

RACIONALES
Si x, y  , x < y , entonces existe un número racional z tal que x < z < y.
Demostración:
1) Como x < y , entonces x  x < x  y
2) 2x < x  y
3) Como x < y , entonces x  x < x  y
4) O sea x  y < 2y
5) 2x < x  y < 2 y , por la propiedad transitiva de la relación <.
xy
6) x < < y , multiplicando ½ en el paso 5.
2
xy
7) Luego x < z < y , donde z < es uno de los racionales buscados.
2

TEOREMA 9: PROPIEDAD ARQUIMEDIANA

Si x, y   , entonces existen un entero positivo p tal que para p x > y , sean
x   s, m , y  t , n , con s, m, t, n enteros positivos.
Demostración:
Como sn  1, entonces 2sn  2 o sea 2sn > 1.
Si 2sn > 1, entonces 2snmt > mt , ya que mt > 0, es decir 2mtsn > mt , lo que implica

smt   > , y como

s t s t
 x ,  y , entonces 2mt  x  > y , luego podemos tomar
m n m n
p  2mt y el teorema queda resuelto.

IV.2.4 DEMOSTRACIÓN DE PROPIEDADES

TEOREMA 10.
Demostrar: si x, y , z  , entonces, x  z > y + z si y solo si x > y.

146
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

Parte a) si x  z > y + z entonces x > y.

Demostración:
1) Si x  z > y + z , entonces  x  z    y + z  > 0, por definición de > en
2)  x  z     y  z  > 0
3)  x    y    z   z  > 0 Por A2 Y A3 en .
4) x    y  + 0 > 0 Por A6 en
5) x    y  > 0 Por A5 en
6) x  y > 0 Por definición de sustracción en
7) x > y Por definición de > en
Parte b) Si x > y , entonces x  z > y + z. (Se invierten los pasos de la parte a),
justifique los pasos)
1) si x > y , entonces x  y > 0
2) x    y  > 0
3) x    y  + 0 > 0
4)  x    y    z   z  > 0
5)  x  z     y  z  > 0
6)  x  z    y + z  > 0
7) x  z > y + z.

TEOREMA 11.
Si x, y , z  , Si z > 0; xz > yz si y solo si x > y .
Sean x   s, m , y  t , n , z  u, v con uv > 0 sean xz   sv  mu, mv ;
yz  nv  tu ,tv 
Demostración: (Justifique los pasos)
1) xz > yz si y solo si  sv  mu, mv > nv  tu, tv
2)   sv  tu, mv     nv  tu , tv > 0
3)   sv  mu tv  mv  nv  tu , mvtv > 0
4)    sv  mu tv  mv  nv  tu  mvtv > 0
5)   svtv  mutv  mvnv  mvtu mvtv > 0
6)   svtv  mvnv  mvtv > 0

147
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

7)   svtv  mvnv  mt > 0 , ya que v2 > 0

8)   st  mn v2mt > 0
9)   st  mn mt > 0 ya que v2 > 0
10)   st  mn, mt  > 0
11)   s, m   n, t  > 0
12)   s, m  n, t  > 0
13)   s, m > n, t 
14)  x  y

TEOREMA 12.
Si x, y , z  , Si z < 0; xz > yz si y solo si x < y
Demostración: (Justifique los pasos)
1) xz > yz si y solo si x    z   > y    z  
2)   x  z  >   y   z 
3)  x >  y , ya que z > 0
4)  x    y  > 0
5)  x  y > 0
6)  y   x  > 0
7)  y > x
8)  x < y

TEOREMA 13. (Justifique los pasos)

Si w, x, y , z  , xz  0 demostrar:  w  x    y  z    wz  xy   xz
Demostración:
1)  w  x    y  z   wx1  yz 1
w y
2)  
x z
wz  xy
3) 
xz
4)   wz  xy   xz 
1

5)   wz  xy   xz

148
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

IV.2.5 EJERCICIOS DE AUTOEVALUACIÓN 2

A. Demostrar que:
a) Las relaciones > y < son transitivas.
b) Las relaciones > y < son reflexivas.
c) Las relaciones > y < no son simétricas.
B. Demostrar que:
a) J  es cerrado con respecto a la adición y multiplicación.
b) Si  s, m  J también  s, m  J  .
 1

C. Demostrar que:
a) J  es cerrado con respecto a la adición, pero no con respecto a la
multiplicación
b) Si  s, m  J  , también  s, m  J  .
1

D. Demostrar que:
Si x, y  , xy  0 entonces x  0 o y  0
E. Demostrar: si x, y  entonces
a)   x  y   x  y
b)   x   x
F. Demostrar: si x, y , z 
a) x  z < y  z si y solo si x < y
b) Si z > 0, xz < yz si y solo si x < y
c) Si z < 0, xz < yz si y solo si x > y
G. Demostrar:
Si w, x, y , z  , xz  0 ,
a)  w  x    y  z    wz  xy   xz
b)  w  x   y  z   wy  xz
H. Demostrar:
Si w, x, y , z  , xz  0 , entonces  w  x    y  z   wz  xy
I. Demostrar:

a) Si a, b  , a < b entonces a2 < a b  b2

b) Si a, b  , a < b entonces a2 > a b > b2

149
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

IV.3 REPRESENTACIÓN DECIMAL

Se sabe que todo número racional se puede expresar como un decimal, y a su vez,
los decimales son de dos tipos, decimal exacto y decimal inexacto; y los inexactos
se clasifican en periódicos puros y periódicos mixtos.

Ejemplo 1 Forma decimal de números racionales

10
a)  2.5 , decimal exacto.
4
10
b)  3.3333... , decimal inexacto, periódico.
3
643
c)  2.143333... , decimal inexacto, periódico.
300

Se verá un procedimiento que permite hallar la representación decimal de

cualquier número racional, utilizando el algoritmo de la división.

Procedimiento:
a
Sea el racional positivo , con b > 0. Se tiene que:
b
a  q0b  r0 , 0  r0 < b
10r0  q1b  r1 , 0  r1 < b
Como r0 < b, entonces 10r0 < 10b , y además 10r0  q1b  r1 entonces q1b  r1 < 10b lo
qb qb
que implica que 10r1 < 10b o sea q1 < 10 . Si r1  0, entonces r0  1 y a  q0b  1 ,
10 10
a q a
y  q0  1 podemos escribir  q0q1 y decimos que q0 , q1 es la representación
b 10 b
a
decimal de .
b
Si r1  0, entonces 10r1 = q2b  r2 , 0  r2 < b , y como r1 < b entonces 10r1 < 10b , o sea
que q2b  r2 < 10b y esto a su vez q2b < 10b , o sea q2 < 10
a
Si r1  r2 la representación de es q0  q1  q2  q2  q2 ... (decimal periódico).
b

150
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

q2 b q1b q2b q1b q2b

Si r2  0 , entonces r1  , y r0   , a  q0b 
 y
10 10 100 10 100
a q q a
 q0  1  2  q0  q1  q2 , donde q0  q1  q2 es la representación decimal de .
b 10 10 b

Si r2  0, r2  r1 se repite el proceso. Además los distintos residuos r0 , r1 , r2 , r3 ,...

son elementos del conjunto 0,1,2,3,4,5,6,..., b  1 de los residuos modulo b, de
modo que rb debe ser idéntico a algunos de los r0 , r1 , r2 , r3 ,..., rb1 digamos rc de
a
modo que la representación decimal de sería:
b
a
 q0  q1  q2  q3  qb1  qc1  qc2  qb1  qc1  qc2  qb1 , todo lo anterior significa que
b
todo número racional se puede expresar como un decimal exacto o como un
decimal periódico. Ejemplos de cómo se aplica lo anterior.

Ejemplo 2 Hallar la representación decimal de:

8 15551 4
a) b) c)
3 4950 250
Representación:
a) 8  2  3   2
10  2   6  3   2
10  2   6  3   2

8
etc etc , luego,  2.6666...
3
b) 15551  3  4950   701
10  701  1 4950   2060
10  2060   4  4950   800
10  800   1 4950   3050
10  3050   6  4950   800
10  800   1 4950   3050

15551
etc etc , luego,  3.14161616...
4950
151
Capítulo IV: El Conjunto de los Números Racionales   Teoría de
Números

c) 4  0  250   4
10  4   0  250   40
10  40   1 250   150
4
10  250   6  250   0 , luego  0.016
250

IV.3.1 EJERCICIOS DE AUTOEVALUACIÓN 3

A. Hallar la representación decimal de cada número, usando el procedimiento

explicado en la sección IV.3

3 10 10
a) b) c)
125 15 7

458 25 1001
d) e) f)
1053 4 101

B. Expresar los números del inciso A en base 4 y en base 5.

152