SEMINARIO DE ARITMTICA

CICLO: ANUAL UNI 2002-I

EL CONJUNTO DE LOS NMEROS RACIONALES
Se conoce que las operaciones de adicin, sustraccin
y multiplicacin estn bien definidas en el conjunto de
los enteros Z, es decir que la suma, diferencia y
producto de 2 nmeros enteros, es otro entero (Ley de
Clausura cerradura).
Ahora, si consideramos un par de nmeros enteros, a
y b (b 0) y establecemos el cociente a b a/b; tal
que:
. 7
4
28
Z. c
b
a
Z 7
4
28
Z. 3
5
15

Pero:
13 2 c que tal Z c existe no que ya Z c
2
13

De ah que la operacin de divisin no este bien
definida en z, siendo necesario definir un nuevo
conjunto donde este incluido Z y estn bien definidas
las operaciones de adicin, sustraccin multiplicacin
y divisin y ampliando Z.
Consideramos el conjunto de pares de entero: (a; b)
con b 0 que denotemos mediante la operacin de
divisin: } 0 { Z z :
b
a
*

0} b b a { Z Z
*

De aqu hay muchos pares ordenados que
aparentemente son diferentes pero que
consideramos como el mismo.
Por ejemplo:
..... ...... .......... .......... ,
6
30
,
5
25
,
4
20
,
3
15
,
2
10
,
1
5
......... .......... .......... ,
42
18
,
35
15
,
28
12
,
21
9
,
14
6
,
7
3
...... .......... .......... ,.........
12
6
,
10
5
,
8
4
,
6
3
,
4
2
,
2
1
De aqu se define una relacin en Z x Z* de
equivalencia:
R: dados 2 pares ordenados a/b y c/d son
equivalentes si y slo si ad = bc, denotado:
bc ad
d
c
~
b
a

por ejemplo:
3 6 9 2 que ya
9
6
~
3
2

Por ser una relacin de equivalencia cumple con ser:
a) Reflexiva :
ba ab que ya
b
a
~
b
a

b) Simtrica :
: que ya
b
a
~
d
c

d
c
~
b
a

Humanizando al hombre con la educacin
Seminario 2
lgebra Anual UNI
bc ad
d
c
~
b
a

b
a
d
c
da cb
ad bc



c) Transitiva:
f
e
~
b
a
f
e
~
d
c
d
c
~
b
a

f
e
~
b
a

be af bcde adcf
de cf
f
e
~
d
c
bc ad
d
c
~
b
a

Segn esto es posible clasificar a todas los pares a/b
de ZZ
*
, es decir que se est particionando ZZ
*
en
clases de equivalencia o simplemente clases, por
ejemplo: 1/2 pertenece a la clase.
{ } ,...
8
4
,
6
3
,
4
2
,
2
1
,
2 -
-1
,
4 -
-2
- ,
6 -
-3
,
8 -
-4
...,
Que llamaremos [1/2] [4/8] entendindose que nos
indica la clase a la cual pertenece 1/2 4/8, los cuales
son representantes de una misma clase, siendo el
representante cannico aquel cuyos trminos son
enteros positivos PESI. Otras clases:
{ } ,...
12 -
9
,
8 -
6
,
4 -
3
,
4
-3
,
8
-6
,
12
-9
...,
4
-3

1
]
1

{ } ,...
3
3
,
2
2
,
1
1
,
1 -
-1
,
2 -
-2
,
3 -
-3
...,
4
1

1
]
1

{ } ,...
3
0
,
2
0
,
1
0
,
1 -
0
,
2 -
0
,
3 -
0
...,
2
0

1
]
1

Observndose que no hay un par que pueda estar en 2

clases, de aqu que sean disjuntos y que la unin de
todas las clases de equivalencia de esta forma nos de
ZZ
*
.
Definicin: El conjunto de los nmeros racionales es:
1
]
1

1
]
1

'

1
]
1

b
a
racional nmero o a/b clase llama se
b
a
donde , Z Z b) (a, /
b
a
Q
*
Representacin grfica de Q como particin de ZZ
*

Observaciones:
1) El conjunto Q es un conjunto de conjuntos de
conjuntos donde cada nmero racional tiene
infinidad de representantes.
2) La grfica de cualquier clase
1
]
1

b
a
es parte de
una recta que pasa por el origen y cuya
pendiente es
a
b
.
3) Se tiene que
2 -
-1
4
2
2
1
osea ,
2 -
-1

4
2

2
1

De lo anterior tenemos que pese a que y -1/-2
son pares ordenados diferentes, segn nuestra
relacin son equivalentes y en
forma usual decimos que son iguales, de modo
que cuando hablemos del nmero racional [1/2]
simplemente diremos, el nmero racional
que podemos llamarlo 2/4 -1/-2, etc.
Humanizando al hombre con la educacin
Seminario 3
lgebra Anual UNI
4. El conjunto Z coincide con el
conjunto de clases
1
]
1

1
n
, con
1
n
= n luego Z
Q
5. Refirindonos a 2 cualesquiera
nmeros racionales a/b y c/d, definimos para
ellos:
Adicin:
d . b
bc ad
d
c
b
a +
+
Sustraccin:
d . b
bc ad
d
c
b
a

Multiplicacin:
d . b
c . a
d
c
.
b
a

Divisin:
c . b
d . a
d
c
b
a
+
Ejemplos:
5
9
y
3
2
15
37
5 . 3
3 . 9 5 . 2
5
9
3
2

+
+
15
17
5 . 3
3 . 9 5 . 2
5
9
3
2

+

15
18
5 . 3
9 . 2
5
9
x
3
2

27
10
9 . 3
5 . 2
5
9
x
3
2

6. Definicin: La relacin (de orden) en un
conjunto A se llama denso, si dados dos
elementos cualesquiera a y b de A. Tales que a <
b, existe un elemento c A tal que a < c < b.
De lo anterior tenemos que Q es denso con el
orden o simplemente, pues entre 2 racionales
cualesquiera distintos(una mayor que otro),
siempre puede encontrarse otro nmero racional
que en forma particular podra ser la misma de
los dos racionales dados. Veamos en la
recta numrica.
En general si tenemos 2 nmeros racionales a y b tal
que:
a < b = > a < b ,
a < b
2
a b
a
a b a a
+
<
+ < +
b
2
a b
b b a b
<
+
+ < +
Si escogemos : tenemos , Q
2
a b
c
+

Es importante darse cuenta que sea cual el punto que

se elija hay una infinidad de nmeros racionales
prximos a l.
Pese a lo anterior, no es posible que los nmeros
racionales cubran toda la recta numrica y la cul
todava tiene huecos que corresponde a otros
nmeros los llamados nmeros racionales, por
ejemplo:
. etc , e , , ........ , 2 , 2 , 3 , 3 , 2 , 2
3
3

: los cuales no pueden provenir de dividir 2 nmeros
enteros. Vemos la representacin geomtrica de
2 y 2 .
Humanizando al hombre con la educacin
Seminario 4
lgebra Anual UNI
Que se obtiene al hacer girar en sentido horario y
antihorario respectivamente al extremo final de la
hipotenusa de un tringulo rectngulo cuyos
catetos miden 1, tomndolo como radio centrado en
O. Veamos analticamente que
2
non es
racional; si lo fuese
2
podra ser igual
al representante cannico de algn racional, osea:
2 2
2 2
2
2 2
k 2 q
) k 2 ( q 2 : ) 1 ( En
k 2 forma la de , par es p
par es p
) 1 ( ......... p q 2
PESI son q y p donde , P 2
>

>
>
>

Se obtuvo entonces que p y q son partes, lo cual es
imposible pues son PESI, pero esta imposibilidad a
contradiccin deviene de que pensbamos
al inicio de que
2
era un nmero racional.
De lo anterior la recta numrica quedara completa y
representara a la recta real, debiendo entenderse que
el conjunto de los nmeros reales es la unin
disjunta (interseccin nula) de los conjuntos de
nmeros racionales con el de los irracionales.
NMEROS FRACCIONARIOS
Son aquellos nmeros racionales que no son enteros.
f =

B A y 0 B ; Z B y A
Clasificacin de las fracciones:
1. Por la comparacin de su valor con respecto a
la unidad
i) Propia : Cuando es menor que la unidad
= 1
B
A
< , de donde A < B
ii) Impropio : Cuando es mayor que la unidad
= 1
B
A
< , de donde A > B
Ejemplos:
*
21
11
,
4
3
,
2
1
son fracciones propias
****
35
160
;
11
17
;
2
5
son fracciones
impropias

OBS: Toda fraccin impropia se puede como
una fraccin mixta, osea con parte entera
ms una fraccion impropia.
2. Por su denominador
i) Decimal : Cuando su denominador es una
potencia entera de 10
=
B
A
, B = 10
t
; k Z
-
ii) Ordinario o comn : Cuando su
denominador no es una potencia entera de
10
=
B
A
, B 10
t
; k Z
+
Ejemplos:
*
100
25
,
10
37
,
1000
7
son fracciones
decimales
**
28
24
,
16
17
,
5
4
son fracciones
ordinarias
Humanizando al hombre con la educacin
Seminario 5
lgebra Anual UNI
3. Por su grupos de fracciones
i) Homogneas : Cuando todas tienen
igual denominador
ii) Heterogneas : Cuando al menos dos de
sus denominadores son diferentes

Ejemplos

*
7
20
,
7
9
,
9
2
son fracciones homognas
**
18
30
;
5
6
;
6
1
son fracciones heterogneas
OBS:
i. Para comparar el valor
de 2 fracciones se puede utilizar la forma
siguiente:
Ejemplo: Quin es mayor 3/7 15/19?

133
105
133
57
7
7
19
15
??
19
19
7
3
19
15
??
7
3
<
(I) (II) (II)
Determinando, por comparacin, la relacin de orden
entre 57 y 105 (57<105) se tiene la misma relacin de
orden en (II) y por consiguiente en (I), verificando
que: 3/7 < 15/19
ii. Dado el conjunto de fracciones homogneas,
ser mayor aquella que presente mayor
numerador
Ejemplo: Ordenar de mayor a menor:
3 20
3 3
;
12 5
12 7
;
4 15
4 9
;
20 3
20 8
20
3
;
5
7
;
15
9
;
3
8

20
3
5
7
3
8
> >
iii. Dado un conjunto de fracciones con igual
numerador ser mayor la que tiene menor
denominador y recprocamente ser menor la
que tiene mayor denominador.
Ejemplo: Ordenar de menor a mayor
21 4
21 3
;
7 13
7 9
;
9 10
9 7
;
21 3
21 3
4
3
;
13
9
;
10
7
;
8
3

4
3
10
7
13
9
8
3
< < <
4. Por los divisores de sus trminos
i) Reductible: Cuando sus trminos tienen
divisores comunes, osea A y B no PESI
Ejemplo:
ii) Irreductible: Cuando sus trminos no
tienen divisores en comn, o sea son PESI
Observaciones:
1. Sea f
1
=
Q
P
una fraccin reductible entonces
MCD
(P,Q)
= d

1 luego, para lograr obtener la

fraccin irreductible equivalente a f
1
se divide
cada trmino entre d
q
d
Q
; P
d
P

p y q P.E.S.I.
le irreductib esfraccin
q
p
dp
dp
Q
P

Ejemplos:
le irreductib fraccin es
16
28
;
26
36
;
16
20
*
les irreductib son
27
17
;
13
18
;
13
7
* *
2. A partir de dos fracciones irreductibles se puede
obtener todas las fracciones equivalentes a ellas
Ejemplo:
Humanizando al hombre con la educacin
Seminario 6
lgebra Anual UNI
Determinar una fraccin equivalente a 27/72,
sabiendo que la diferencia de sus trminos es 15.
Sol:
8
3
72
27
, la funcin es:
8k
3k
B
A

Por dato: 8k 3k = 15; k = 3
Luego:
24
9
B
A
-
8(3)
3(3)

B
A

Propiedades
1. Siendo nZ
+

i) sea f f f f
ii) sea f f f f

2. Dadas las fracciones irreductibles f
1
=
b
a
y
Humanizando al hombre con la educacin
2 1 2 1
1
n B
n A
1
B
A
< <
+
+
<
2 1 2 1
1
n B
n A
1
B
A
< <
+
+
<