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:

a c Z. 28 7
b
4

Por

ejemplo:

1, 2 , 3, 4 , 5 , 6 ,.........
.........
..
2 4 6 8 10 12

3, 6 , 9 , 12, 15, 18, ..........

....
7 14 21 28 35 42

5, 10, 15, 20, 25, 30, ..........

....
1 2 3 4 5 6

15 3 Z. 28 7 Z
5
4
Pero:

De aqu se define una relacin en Z x Z* de

equivalencia:
13 c Z yaquenoexiste
c Z tal
quec 2 13
R: dados 2 pares ordenados
2

a/b y c/d son

equivalentes si y slo si ad = bc, denotado:

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.

a ~ c ad bc
b d
por

2 ~ 6 yaque2 9 6 3
3 9

Consideramos el conjunto de pares de entero: (a; b)

con b 0 que denotemos mediante la operacin de
divisin:

Por ser una relacin de equivalencia cumple con ser:

a : z* Z {0}
b

a)

Reflexiva:

a ~ a yaqueab ba
b b

Z Z* {a b b 0}
De aqu hay muchos pares ordenados
aparentemente
son
diferentes
pero
consideramos como el mismo.

ejemplo:

que
que

b)

Simtrica:

a ~ c c ~ a yaque:
b d
d b

Humanizando al hombre con la educacin

Seminario
lgebra Anual UNI

a ~ c ad bc
b d

bc ad
cb da
c a
d b
c)

Transitiva:

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:

Q a / (a,b) Z Z* , donde a
b
b

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

a ~ c ad bc

b d

a
sellamaclasea/bo nmero
racional
b

adcf bcde af be
c ~ e cf de

d f
a ~e
b f
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.

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.

...,--48 , --36 , - --24 , --12 , 21 , 42 , 63 , 48 ,...

2)

La grfica de cualquier clase

a
b

es parte de

una recta que pasa por el origen y cuya

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:

pendiente es
3)

b.
a

Se

tiene

...,-3 , -2 , -1 , 1, 2 , 3,...
- 3 - 2 -1 1 2 3

..., 0 , 0 , 0 , 0 , 0 , 0 ,...
- 3 - 2 -1 1 2 3

que

1 2 -1 , osea1 2 -1
-3 ...,-9 , -6 , -3 , 3 , 6 ,2 94 ,...
-2
2 4-2
4
12 8 4 - 4 - 8De -lo12
anterior tenemos que pese a que y -1/-2
1
4
0
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
lgebra Anual UNI
4.

El conjunto Z coincide con el

conjunto de clases

n
1

n
, con
= n luego Z
1

Q
5.

Refirindonos a 2 cualesquiera
nmeros racionales a/b y c/d, definimos para
ellos:
Adicin:

a c ad bc

b d
b.d

Sustraccin:

a c ad bc

b d
b.d

Multiplicacin:

a c a.c
.
b d b.d

Divisin:

a c a.d

b d b.c

Ejemplos:

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.

2
9
y
3
5

2 9 2.5 9.3 37

3 5
3.5
15
2 9 2.5 9.3 17

3 5
3.5
15
2 9 2.9 18
x

3 5 3.5 15
2 9 2.5 10
x

3 5 3.9 27

En general si tenemos 2 nmeros racionales a y b tal

que:
a<b =>
a<b
,
a<b

a a b a

b a
2
b a b b
b a
b
2
a

Si escogemos

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.

b a
Q, tenemos
:
2

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:
2,

6.

2,

3,

2, 3 2, ........
,,

: 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
lgebra Anual UNI

4
i)

Propia: Cuando es menor que la unidad

A
1 , de donde A < B
B

=
ii)

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

Impropio: Cuando es mayor que la unidad

A
1 , de donde A > B
B

=
Ejemplos:

racional; si lo fuese
2 podra ser igual
al representante cannico de algn racional, osea:

1 3 11
son fracciones propias
, ,
2 4 21
5 17 160
****
son fracciones
;
;
2 P, dondep y q son PESI
2 11 35
*

2q2 p2 .........
(1)

impropias

p2 es par
p espar
, dela forma2k

OBS: Toda fraccin impropia se puede como

una fraccin mixta, osea con parte entera
ms una fraccion impropia.

En(1): 2q2 (2k)2

q2 2k2

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.

Por su denominador
i)

Decimal : Cuando su denominador es una

potencia entera de 10

A,
B

ii)

NMEROS FRACCIONARIOS

B = 10t ; k Z-

Ordinario o comn : Cuando su

denominador no es una potencia entera de
10

Son aquellos nmeros racionales que no son enteros.

f =

A
, B 10t; k Z+
B

Ejemplos:

A y B Z ; B 0 y A B
Clasificacin de las fracciones:
1.

Por la comparacin de su valor con respecto a

la unidad

7 37 25
son fracciones
,
,
100010 100

decimales
**

4 17 24
son fracciones
,
,
5 16 28

ordinarias

Humanizando al hombre con la educacin

Seminario
lgebra Anual UNI

3.

3; 7 ; 9 ; 3 3 21; 7 9 ; 9
8 10 13 4
3 21 10 9 1

Por su grupos de fracciones

i)

Homogneas: Cuando todas tienen

igual denominador

ii)

Heterogneas: Cuando al menos dos de

sus denominadores son diferentes

3 9 7 3
8 13 10 4
4.

Ejemplos

Por los divisores de sus trminos

i)

2 9 20
*
son fracciones homognas
, ,
9 7 7
1 6 30
**
son fracciones heterogneas
; ;
6 5 18

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

OBS:
i.
Para comparar el valor
de 2 fracciones se puede utilizar la forma
siguiente:

Observaciones:

Ejemplo: Quin es mayor 3/7 15/19?

1.

Sea f1 =

P
Q

una fraccin reductible entonces

3 ??15 3 19 ??15 7 57
MCD
= d 1 luego, para lograr obtener la
(P,Q) 105
7
19
7 19 19 7
133
133 equivalente a f1 se divide
fraccin irreductible
(I)

(II)

(II)

cada trmino entre d

P P; Q q
d
d

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.

p y q P.E.S.I.

P dp p esfraccin
irreducti
le
Q
dp q

Dado el conjunto de fracciones homogneas,

ser mayor aquella que presente mayor
numerador
Ejemplo: Ordenar de mayor a menor:

Ejemplos:

20 ; 36 ; 28 esfraccin
irredu
8; 9 ; 7; 3 8 20; 9 4 ; 7*12
3 16
16; 326
3 15 5 20 3 20 15 4 5 12 20 3
* * 7 ; 18 ; 17 sonirreductib
les
13 13 27

8 7 3
3 5 20
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

2.

A partir de dos fracciones irreductibles se puede

obtener todas las fracciones equivalentes a ellas
Ejemplo:

Humanizando al hombre con la educacin

Seminario
lgebra Anual UNI
Determinar una fraccin equivalente a 27/72,
sabiendo que la diferencia de sus trminos es 15.

Sol:

273 , la funcin es: A 3k

72 8
B 8k

Por dato: 8k 3k = 15; k = 3

Luego:

A 3(3)- A 9
B 8(3) B 24

Propiedades
Siendo nZ+

1.

A 1f
A f nf 1
2
1 2
B
B n
A 1f
Af n
f
f
1 1 2
1
2
B
B n

i)

sea f

ii)

sea

2.

Dadas las fracciones irreductibles f1

a
b

Humanizando al hombre con la educacin