Profesores

Csar Carranza Saravia

Rosa Cardoso Paredes
Alex Molina Sotomayor
Hernn Neciosup Puican
ACADEMIA NACIONAL
DE CIENCIAS


TPICOS DE MATEMTICAS PARA
FORMADORES DE PROFESORES DE
EDUCACIN PRIMARIA
Academia Nacional de Ciencias del Per
Pontificia Universidad Catlica del Per
Profesores
Csar Carranza Saravia
Rosa Cardoso Paredes
Alex Molina Sotomayor
Hernn Neciosup Puicn
Auspician: Organizacin de Estados Americanos-Fondo
Especial Multilateral del Consejo Interamericano para el
Desarrollo Integral (OEA- FEMCIDI)-Panel Interacademias
(IAP)-Programa de Educacin en Ciencias de la Red
Interamericana de Academia de Ciencias (IANAS)

Febrero 2008

TOPICOS DE MATEMATICAS
ESQUEMA DEL MTODO AXIOMATICO DE LA MATEMTICA

Para iniciar el estudio de las diferentes teoras matemticas: Conjuntos,
Sistemas de nmeros (naturales, enteros, racionales, reales y complejos),
Geometra euclidiana, Grupos, Anillos, Espacios Vectoriales, Espacios
Topolgicos, etc. se utiliza el mtodo axiomtico; cuyo esquema presentamos
a continuacin:

























PRIMITIVOS.- No se definen
Ejemplos:
Conjunto, elemento. Nmero natural, cero, uno, suma
y producto de nmeros naturales. Punto, recta, plano.
DEFINIDOS.- Se definen
Ejemplos:
Inclusin, unin e interseccin de conjuntos, par
ordenado, dos, tres, cuatro, relacin menor que en
los nmeros naturales, diferencia y cociente de dos
nmeros naturales.
CONCEPTOS
AXIOMAS O POSTULADOS.- Se aceptan como
verdaderos.
Ejemplos:
Si p(x) es una proposicin verdadera para x, y si
u = x, entonces p(u) es tambin verdadera.
A = B si, y slo si, A c B y B c A.
Si a, b, c, 0 y 1 son nmeros naturales,
a + b = b + a, a + 0 = a, a.1 = a, a + c = b + c implica
a = b,
a.(b+c) = a.b + a.c.

TEOREMAS.- Se debe demostrar que son verdaderos.
Ejemplos:
A ( B C) = (A B) (A C).
a.0 = 0
(a b).c = a.c b.c
LOGICA
PROPOSICIONES
2
SISTEMAS DE NMEROS
INTRODUCCIN
Estas notas estn dedicadas a los profesores de educacin primaria, con el
objeto de que conozcan los conceptos fundamentales de la Matemtica que
son imprescindibles para ensear de una manera integrada los temas de
Matemtica y Ciencias Naturales (Biologa, Fsica y Qumica), que figuran en
los planes de estudio oficiales y; en particular, para que sigan la hermosa
experiencia que iniciamos con los nios todos los mircoles por la tarde del ao
2006, en la Institucin Educativa N 1214 Seor de los Milagros de
Magdalena.
La intencin de estas notas es, dar una idea de cmo se introducen
matemticamente los Sistemas de Nmeros Naturales, Enteros y Racionales.
Para esto suponemos que todos los que lean estas notas conocen el lenguaje
de los Conjuntos, que inclusive, actualmente, lo estn enseando a los nios
desde los primeros grados de primaria. Sin embargo, creemos necesario
recordar algunos conceptos, con la intencin de facilitar la lectura:
CONJUNTOS
En Matemtica se trata con objetos llamados conjuntos y elementos. Como
se indic antes, los conceptos de conjunto y elemento se consideran como
conceptos primitivos; es decir, aquellos que no se definen pero que todos
los seres humanos tenemos un sentido intuitivo de ellos desde que
comenzamos a percibir el mundo a travs de nuestros sentidos: tacto, vista,
odo, olfato, gusto. Es as que todos desde una cierta edad podemos apreciar
directamente o a simple vista, lo que es la unidad, un par de objetos, o una
terna, etc.), Es decir, un conjunto es una cierta coleccin o agrupacin de
objetos llamados elementos. Los conjuntos se representan con letras maysculas
como A, B, C y los elementos con letras minsculas como a, b, c
Una de las relaciones ms elementales e importantes que existe entre los
objetos, elementos o conjuntos, es la relacin de igualdad, la cual se
representa por el smbolo = y se lee igual. La expresin a = b se lee a es
igual a b y significa que el elemento representado por a es el mismo que el
elemento representado por b.
3
En lo que sigue de las notas, por razones de comodidad, se dir simplemente
el elemento a, en lugar de el elemento representado por a y el conjunto A
en lugar de el conjunto representado por A.
La negacin de la relacin a = b se denota por a = b y se lee a no es igual a
b a es diferente de b.
La relacin de igualdad cumple con las siguientes propiedades:
Si a, b y c son elementos de U
i) a = a para todo elemento a de U (Reflexiva)
ii) Si a = b entonces b = a (Simtrica)
iii) Si a = b y b = c entonces a = c (Transitiva)
De esta manera cuando definamos el Sistema de los Nmeros Naturales como
un conjunto provisto de ciertas relaciones y operaciones, queda tcitamente
establecido que se cumple en el Conjunto la relacin de Igualdad con sus
tres propiedades: reflexiva, simtrica y transitiva.

DEFINICIN AXIOMTICA DE
El Sistema de los Nmeros Naturales es un conjunto, denotado por ,
provisto de la relacin de igualdad y de dos operaciones internas: adicin y
multiplicacin.
Por lo dicho anteriormente, la igualdad de nmeros naturales goza de las
propiedades reflexiva, simtrica y transitiva.
La adicin es una operacin en , que asocia a cada par de nmeros
naturales (a, b) e un nico nmero natural llamado suma de a y b, que
se denota a + b e . Simblicamente se escribe +: , tal que
(a, b) a + b
Los nmeros naturales a y b reciben el nombre de sumandos.

La multiplicacin es una operacin en , que asocia a cada par de nmeros
naturales (a, b) e un nico nmero natural llamado producto de a y b,
que se denota a.b e . Simblicamente se escribe . : , tal que
(a, b) a.b. En general, se designa por ab (en lugar de a.b). Los nmeros a y
b reciben el nombre de factores.
4
La adicin y la multiplicacin tienen las siguientes propiedades, que en este
caso llamamos axiomas:
AXIOMAS ADICIN MULTIPLICACIN
Conmutatividad N1) a+b = b+a a, be N5) ab = ba a, be
Asociatividad N2) (a+b) + c = a + (b+c)
a, b, c e

N6) (ab)c = a(bc)
a, b, ce
Existencia del elemento
neutro
N3) Existe un nico nmero
natural llamado cero,
denotado por 0, tal que:
a + 0 = a, ae
N7) Existe un nico nmero
natural llamado uno,
denotado por 1, 1 = 0,
tal que: a.1 = a, ae
Ley de cancelacin N4) a, b, ce ,
si a + c = b + c a = b,
N8) a, b, c e
Si ac = bc y c=0 a = b
Distributividad N9) a ( b + c ) = ab + ac, a, b, c e
Definicin 1. Sean a y b dos nmeros naturales. Se dice que a es menor que b,
y se escribe a < b si, y slo si, existe un nmero natural c = 0 tal que a + c = b.
Simblicamente:
a < b - ce , c = 0 / a + c = b
La relacin menor tiene las siguientes propiedades que en este caso llamamos
axiomas:
Tricotoma

N10) Para todo a, b e se cumple una y slo una de las
siguientes posibilidades: a < b; a = b; b < a.
Buen Orden N11) Todo subconjunto no vaco (que tiene elementos)
A c posee un elemento mnimo m e A; es decir,
m < a v m = a a e A.


Consecuencias importantes de los axiomas anteriores
Teorema 1. Si a, b y c son nmeros naturales, se cumplen las siguientes
propiedades:
Si a = b entonces a + c = b +c y ac = bc.
5
Corolario.
a) a = b . c=d a + c = b + d
b) a = b . c=d a.c = b.d
Las demostraciones verlas en [1, Teorema 1, pgina 44.]

Teorema 2. Si a y b son nmeros enteros, se cumplen las siguientes
propiedades:
a) a.0 = 0
b) ab = 0 a = 0 v b = 0
Corolario. Si a = 0 . b = 0, entonces ab = 0
Las demostraciones verlas en [1, Teorema 1, pgina 45]


Definicin 2. Sean a y b dos nmeros naturales. Se dice que a es menor o

igual que b, y se denota a s b si, y slo si a < b o a = b

Ejemplos.
0 s 0 pues 0 = 0 y 0 s 1 pues 0 < 1
En general, si ae entonces a s a pues a = a.
A continuacin se introducen, como es la costumbre?, nuevos smbolos para
representar los otros nmeros naturales distintos de 0 y 1, que existen, en
virtud de N3 y N7, mediante la siguiente

Definicin 3. Dados los nmeros naturales 0 y 1, se definen:
2 = 1 + 1 que se lee dos
3 = 2 + 1 que se lee tres
4 = 3 + 1 que se lee cuatro
5 = 4 + 1 que se lee cinco,
6 = 5 + 1 que se lee seis
7 = 6 + 1 que se lee siete
8 = 7 + 1 que se lee ocho
9 = 8 + 1 que se lee nueve
10 = 9 + 1 que se lee diez.
6
As, 2 e , 3 e , 4 e , 5 e , 6 e ,, etc. y se pueden, usando los
axiomas anteriores y la definicin anterior, calcular las tablas de la adicin y
multiplicacin, que antes las aprendamos de memoria, sin saber de donde
provenan. Usamos para la multiplicacin el smbolo x que conocemos desde la
primaria.

TABLA DE LA ADICIN TABLA DE LA MULTIPLICACION

+ 0 1 2 3 4 5 x 0 1 2 3 4 5
0 0 1 2 3 4 5 0 0 0 0 0 0 0
1 1 2 3 4 5 6 1 0 1 2 3 4 5
2 2 3 4 5 6 7 2 0 2 4 6 8 10
3 3 4 5 6 7 8 3 0 3 6 9 12 15
4 4 5 6 7 8 9 4 0 4 8 12 16 20
5 5 6 7 8 9 10 5 0 5 10 15 20 25

Demostraremos algunos resultados de las tablas anteriores, usando los
axiomas de las operaciones mencionadas:
3 + 2 = 3 + (1 + 1) = (3 + 1) + 1 = 4 + 1 = 5, en virtud de la definicin 3, la
propiedad N2, y nuevamente la definicin 3.
(2 x 0) + 0 = (2 x 0) = 2 x (0 + 0) = (2 x 0) + (2 x 0), en virtud de las propiedades
N3, y N9; luego aplicando la propiedad transitiva de la igualdad, se sigue que
(2 x 0) + 0 = (2 x 0) + (2 x 0), de donde aplicando la propiedad N4
(cancelacin), resulta 0 = 2 x 0 lo que es lo mismo 2 x 0 = 0.
Mas generalmente, se puede probar que a x 0 = 0 para todo nmero natural a
Anlogamente, 3 x 2 = 3 x (1+1) = (3 x 1) + (3 x 1) = 3 + 3 = 6, aplicando
sucesivamente la definicin 3, el axioma N9 , las tablas de multiplicar y sumar.






7
Observaciones:
1. Las propiedades conmutativa y asociativa, permiten sumar tres o ms
nmeros con facilidad, asociando los sumandos y modificando el orden
segn convenga.
Ejemplo: 20 + 35 + 60 = (20 + 35) + 60 = 55 + 60 = 115
20 + 35 + 60 = 20 + (35 + 60) = 20 + 95 = 115
En general se prueba que: a + b + c = (a + b) + c = a + (b + c)
2. Como a(b + c) = ab + ac, aplicando la propiedad simtrica de la igualdad se
sigue que ab + ac = a(b + c), que es conocida en el lgebra elemental
como el proceso de factorizar. Por ejemplo:
Sacar factor comn: 3a + 3ab + 6ac = 3a (1 + b + 2c).
Agrupar trminos semejantes:
2 + 3b + 5 + 10b = (2 + 5)a + (3 + 10)b = 7a + 13b.
Finalmente, teniendo en cuenta la definicin de la relacin menor, y si
escribimos
+
= { n e / n = 0 } = - {0} , podemos afirmar que:
1 < 2 pues existe 1 e
+
tal que 1 + 1 = 2;
2 < 3 pues existe 1 e
+
tal que 2 + 1 = 3,
En general, se prueba que a < a+1 para todo a e , luego se sigue que:
0 < 1< 2 < 3 < 4 < 5 <
Se puede demostrar tambin, que no existen nmeros naturales entre 0 y 1;
es decir, no existe a e tal que 0< a < 1 y, en general, que no existe a e
tal que n < a < n + 1. Ver [Teorema 9. Pg. 52]
Se tiene finalmente que: 0 < 1< 2 < 3 < 4 < 5 < ...
Se pueden identificar los nmeros naturales con ciertos puntos de la recta
geomtrica 9, llamado tambin espacio unidimensional o de dimensin uno.
Al nmero natural cero 0 se le asigna un punto cualquiera de la recta
geomtrica y luego fijando una cierta "unidad de medida" se asigna a los
nmeros 1, 2, 3, 4, 5, puntos a la derecha del 0, tal como lo indica la
siguiente figura:
8
0 1 2 3 4 5

6 N
R


De esta manera, se establece una aplicacin o: 9 que hace corresponder a
cada nmero natural un punto de la recta geomtrica, identificando (de esta
manera) a los nmeros 0, 1, 2, 3, 4, 5, con los puntos que se les asocia y
recprocamente. Los nmeros 0, 1, 2, 3, 4, 5, reciben los nombres de
coordenadas naturales de los puntos correspondientes.
Como se observa en el siguiente grfico, si considerramos 2 rectas, la primera
9
1
horizontal y la segunda 9
2
vertical, ambas con coordenadas naturales y tal
que se intersectan en el punto 0 = (0,0), se obtendr la rplica de una parte del
plano geomtrico 9
1 x
9
2
espacio bidimensional, de dimensin dos,
llamada primer cuadrante y contiene al subconjunto de puntos cuyas
coordenadas en el plano geomtrico son:
x
=
(0,0), (0,1), (1,0), (1,1), (1,2), (2,1), (2,2),, (4,5), (5,4), (5,5),


al cual lo llamaremos conjunto de puntos de coordenadas naturales del primer
cuadrante.
1 2 3 4 5 6
1
2
3
4
5
6
0

R
2
R
1
(1,1) (1,2) (0,1)
(0,0) (2,0)
(0,3)
(0,4)
(0,5)
(0,2)
(1,0) (3,0) (4,0) (5,0) (6,0)
(0,6)
(1,2)
(3,1) (4,1)
(2,2)
(1,3)




Podemos suponer el piso del aula en la que nos encontramos o el piso de
nuestra habitacin, est situado en el plano geomtrico 9
1
x 9
2
y
9
consideramos una tercera recta 9
3
perpendicular al plano determinado por 9
1

y 9
2
, para as obtener una rplica de una parte del espacio que ocupa
nuestra aula o nuestra habitacin y de esta manera obtener lo que llamaremos
el primer octante, del espacio geomtrico en el cual vivimos, 9
1
x 9
2
x 9
3

que tambin recibe el nombre de espacio tridimensional o de dimensin tres,
as como un subconjunto de coordenadas naturales.

1 2 3 4 5
1
2
3
4
5
1
2
3
4
5




Sustraccin y Divisin en

Definicin 4. Dado los nmeros naturales a y b, se llama diferencia de a y
b, y se denota a b, al nmero natural c, si existe, tal que a = b + c.
Es decir, a b = c a = b + c.
Ejemplos.
a) 3 - 2 = 1 puesto que existe 1e tal que 3 = 2 + 1.
b) Como 7 = 4 + 3 resulta 7 4 = 3 tambin, 7 3 = 4.
c) En cambio, la diferencia 2 3 no existe, puesto que no es posible encontrar
un nmero natural m tal que 2 = 3 + m.
10
Se pueden demostrar formalmente los siguientes teoremas:
Teorema 3. Dado los nmeros naturales a y b, se cumplen las siguientes
propiedades:
a) Si a > b, entonces existe a b
b) Si a < b, entonces no existe a b.
Ver [1, Teorema 7]

Teorema 4. Sea a, b, c, m e , y a - b = c, entonces se cumplen las
siguientes propiedades, siempre que cada diferencia exista en :
a) (a +m) - b = c + m d) a - (b - m) = c +m
b) (a - m) - b = c m e) (a + m) - (b + m) = c
c) a - (b +m) = c m f) (a - m) - (b - m) = c
Ver [1, Teorema 8]

Definicin 5. Dado los nmeros naturales a y b con b = 0, se llama
cociente de a por b, y se denota
b
a
, al nmero natural c, si existe, tal que
a = b.c.
Es decir
b
a
= c a = bc
Ejemplos.
a)
6
4224
= 704, pues 4224 = 704 x 6.
b) Recprocamente, 8 x 12 = 96, implica que
12
96
= 8 y que,
8
96
= 12.
c) No existe el cociente
3
58
pues no existe ne tal que 58 = 3n. En
particular, no existe el cociente
0
a
.
En general, se puede probar que si 0 < a < b, no existe el cociente
b
a
.


11
Observaciones Importantes
Acabamos de ver que, por definicin, la suma y el producto de dos nmeros
naturales siempre existe y es un nmero natural, pero que la diferencia y el
cociente no siempre existen.
Mediante algunos ejemplos analicemos el primer caso: No existe un nmero
natural que sea resultado de la diferencia 2 5, y sin embargo esta diferencia
puede interpretarse como un hecho real el descenso de cinco grados de la
columna termomtrica a partir de dos grados sobre cero o tambin como la la
prdida de cinco soles que Hernn Neciosup experimenta en un juego de
damas, cuando solo tiene dos soles en su bolsillo. Estos ejemplos
corresponden en trminos algebraicos a la imposibilidad de resolver la
ecuacin algebraica x + 5 = 2. Para salvar estas limitaciones, se hizo necesario
introducir nuevos nmeros con los cuales podemos describir otras situaciones
reales como el ejemplo anterior que puede describir situaciones en dos
sentidos: Grados sobre cero y grados bajo cero, Saldos deudor y acreedor,
Latitudes norte y sur, etc. Es pues necesario, crear un nuevo sistema de
nmeros al cual lo llamaremos Conjunto de los Nmeros Enteros que lo
denotaremos por , que contenga al conjunto de los nmeros naturales y
que goce de las mismas propiedades de ms una nueva que ser muy
importante.

DEFINICIN AXIOMTICA DE
El Sistema de los Nmeros Enteros es un conjunto, denotado por ,
provisto de dos operaciones llamadas adicin y multiplicacin.
La Adicin es una operacin en , que asocia a cada par de nmeros enteros
(a, b) e un nico nmero entero llamado suma de a y b, denotado por
a + b. Simblicamente:
+ : , tal que (a, b) a + b
Los nmeros enteros a y b reciben el nombre de sumandos.
La Multiplicacin es una operacin en , que asocia a cada par de nmeros
enteros (a, b) e un nico nmero entero llamado producto de a y b,
denotado por a.b o simplemente ab. Simblicamente:
12
. : , tal que (a, b) a.b
Los nmeros a y b reciben el nombre de factores.
La adicin y la multiplicacin satisfacen las siguientes diez propiedades:
AXIOMAS ADICIN MULTIPLICACIN
Conmutatividad E1) a + b = b + a, a, be E5) ab = ba a,be
Asociatividad E2) (a + b) + c = a + (b + c)
a, b, c e
E6) (ab)c = a(bc)
a, b, ce
Elemento Neutro E3) Existe un nico nmero
entero llamado cero,
denotado por 0, tal que:
a + 0 = a; a e
E7) Existe un nico nmero
entero llamado uno,
denotado por 1, tal que:
a.1 = a; a e
Elemento Opuesto E4) Para todo ae existe un nico
b e , llamado opuesto de a,
y denotado por -a tal que
a + b = 0.
O sea, a + (-a) = 0.

Cancelacin E8) Si a c = b c y c = 0
entonces a = b
Distributividad E9) a.( b + c ) = a.b + a.c a, b, c e

Nota:
Como es un conjunto, queda tcitamente establecido que se cumple la
relacin de Igualdad, la que, obviamente, goza de las propiedades: reflexiva,
simtrica y transitiva.

Consecuencias importantes de los axiomas anteriores

Teorema 5. Si a, b y c son nmeros enteros, se cumplen las siguientes
propiedades:
Si a = b entonces a + c = b +c y ac = bc.
Corolario.
a) a = b . c = d a + c = b + d
13
b) a = b . c = d a.c = b.d
Las demostraciones son anlogas a las realizadas en .

Teorema 6. Si a y b son nmeros enteros, se cumplen las siguientes
propiedades:
a) a.0 = 0
a) ab = 0 a = 0 v b = 0
Equivalentemente, a = 0 . b = 0 si, y slo si, ab = 0
Las demostraciones son anlogas a las realizadas en .


Teorema 7 (Propiedades del opuesto)
Si a y b son nmeros enteros, se cumplen las siguientes propiedades:
a) -(-a) = a , para todo a e
b) -(a + b) = (-a) + (-b)
c) (-1)a = - a
d) a (-b) = (-a)b = -(ab)
e) (-a)(-b) = ab
Demostracin:
a) Como (-a) es el opuesto de a y -(-a) es el opuesto de (-a), se tiene:
a + (-a) = 0 y (-a) + a = 0
de donde, por la unicidad del opuesto, resulta a = -(-a)
b) El opuesto de a + b es - (a + b). Por otra parte, aplicando sucesivamente
las propiedades asociativa, conmutativa, asociativa y de los elementos neutro y
opuesto, se tiene:
(a + b) + { (-a) + (-b) } = a + (b + (-a)) + (-b) = a + ((-a) + b) + (-b) =
(a + (-a)) + (b + (-b)) = 0 + 0 = 0
Por lo tanto, (-a) + (-b) es tambin el opuesto de a + b y como el opuesto es
nico se concluye que: -(a + b) = (-a) + (-b).
c) Aplicando sucesivamente las propiedades del elemento neutro, conmutativa
y distributiva, del opuesto y el teorema 2, podemos escribir:
14
a + (-1)a = a.1 + a(-1) = a(1 + (-1)) = a.0 = 0
As, (-1) a es el opuesto de a y como es nico, se tiene que (-1)a = -a.
d) Aplicando sucesivamente la parte c), las propiedades asociativa y
conmutativa, la parte c), la propiedad asociativa y la parte c), podemos escribir:
a (-b) = a((-1)b) = (a(-1))b = ((-1)a)b = (-a)b = (( -1)a)b = (-1)(ab) = -(ab) = a(-b)
= (-a)b = -(ab).
Por lo tanto a (-b) = -(ab ).
b) Aplicando sucesivamente la parte c), las propiedades asociativa y
conmutativa, la parte c) y la parte a), podemos escribir:
(- a)(- b) = (-a)((-1)b) = ((-1)(-a)) b = (-(-a)) b = ab.
Por lo tanto, (-a)(-b) = ab.

Teorema 8. (Cancelacin en la Adicin)
Si a, b y c son nmeros enteros, se tiene que:
a + c = b + c implica a = b.
Demostracin:
Si a + c = b + c entonces (a + c) + (-c) = (b + c) + (-c),
de donde se sigue que a + ( c + (-c)) = b + (c + (-c)),
o sea a + 0 = b + 0, lo que implica a = b.

A continuacin, se presenta el ltimo axioma del Sistema de los Nmeros
Enteros:
E10) c de manera tal que =
+
{ 0 }
-
,
donde
+
=
+
y
-
= { u e / -u e
+
}; es decir, todo nmero entero
es un nmero natural o el opuesto de un nmero natural.
Las operaciones de adicin y multiplicacin de , restringidas a ,
coinciden con las operaciones dadas en la definicin axiomtica de .
Para todo a e se cumple una y slo una de las siguientes
posibilidades:
a e
+
v a = 0 v -a e
+
(Ley de Tricotoma)


Nota
15
Para mayor comprensin de este axioma, ver [1] pginas 85-87.

ORDEN EN
Definicin 6. Sean a y b dos nmeros enteros. Se dice que a es menor que b
y se denota a < b, si, y slo si, existe c e
+
tal que a + c = b.
Simblicamente: a < b - c e
+
/ a + c = b.
Se dice que b es mayor que a, y se denota b > a si, y slo si, a < b
Simblicamente: b > a a < b
Observaciones:
Como consecuencia de estas definiciones se tiene:
Si c e
+
, entonces c > 0 pues existe c e
+
tal que 0 + c = c.
Si c e
-
, entonces c < 0 pues existe -c e
+
tal que c + (-c) = 0.
Luego, si a<
/
b entonces, por la ley de tricotoma, a > b a = b. Este hecho
permite definir las siguientes relaciones:
a s b a < b v a = b que se lee a es menor o igual que b, y
a > b a > b v a = b que se lee a es mayor o igual que b.
La negacin de a < b es a > b.
As:

+
= { 1, 2, 3, 4, 5,} se llama el conjunto de los nmeros enteros positivos y

-
= { -1, -2, -3, -4, } se llama el conjunto de los nmeros enteros negativos,
luego para todo a e , se tiene
a e
+
v a = 0 v a e
-

Por otro lado, como:
Para todo a e
+
, -(a+1) < -a ya que existe 1 e
+
tal que -(a + 1) + 1 =
[(-a) + (-1)] + 1 = (-a) + [(-1) + 1] = (-a) + 0 = -a.
Resulta -5 < -4 < -3 < -2 < -1 < 0 < 1< 2 < 3 < 4 < 5 <
O sea = { -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, }.
As mismo, como en el caso de los nmeros naturales, podemos hacer
corresponder a cada nmero entero un punto que llamaremos punto entero de
la recta geomtrica 9. Al nmero entero cero 0 se le asigna un punto
16
cualquiera de la recta y luego fijando una cierta "unidad de medida" a los
nmeros enteros positivos y a los negativos se les asigna los puntos enteros
correspondientes a la derecha y a la izquierda del 0, respectivamente, tal como
lo indica la siguiente figura:
-2 -1 0 1 2

3 -3 < < < < < < < Z

R

De esta manera, se establece una aplicacin funcin |: 9, que hace
corresponder a cada nmero entero un punto de la recta geomtrica, lo que nos
permite identificar el conjunto de los nmeros enteros con el conjunto de los
puntos correspondientes. Tambin, utilizando el mismo razonamiento dado en los
nmeros naturales podemos obtener las nociones de plano entero de dos
dimensiones y de espacio entero de tres dimensiones.
1 2 3 4 5
-1
-2
-3
-4
-5
-1 -2 -3 -4 -5
1
2
3
4
5
1 2 3 4 5
1
2
3
4
5
1
2
3
4
5


Definicin 7. Dados los nmeros enteros a y b, se llama diferencia de a y
b, y se denota a b, al nmero entero c tal que a = b + c. Es decir,
a b = c a = b + c.
Los nmeros a y b reciben los nombres de minuendo y sustraendo,
respectivamente

Teorema 9. Dados a, b e , la diferencia a b siempre existe y es nica.
Demostracin:
Dados los nmeros enteros a y b, sea c = a + (-b), entonces c e y b + c =
b + (a +(-b)) = b + ((-b + a) (axioma de sustitucin y conmutativa)
17
= (b + (-b)) + a = 0 + a = a (propiedades asociativa, del opuesto y
elemento neutro).
Luego a = b + c y aplicando la definicin de diferencia, a b = c.

Es importante recordar la igualdad a - b = a + (-b)
El teorema anterior nos permite decir que la aplicacin - que asocia a cada
par de nmeros enteros (a, b), su diferencia a - b.
. : es una operacin llamada Sustraccin.

Definicin 8. Dados los nmeros enteros a y b con b = 0, se llama
cociente de a por b, y se denota
b
a
( a/b), al nmero entero c, si existe,
tal que a = b.c. Es decir
b
a
= c a = bc
Ejemplos.
a) 4224 / 6 = 704, pues 4224 = 704 x 6.
b) Recprocamente, 8 x 12 = 96, implica que 96 / 12 = 8 y que, 96 / 8 = 12.
c) No existe el cociente 58 / 3 pues no existe ne tal que 58 = 3n.
En particular, no existe el cociente a/0 y se puede probar que si 0 < a < b, no
existe el cociente a/b.

Observacin Importante
Acabamos de ver que, por definicin, la suma, el producto y la diferencia de
dos nmeros enteros siempre existe y es un nmero entero, pero que el
cociente no siempre existe.
Sin embargo, por ejemplo, el cociente 7/8, corresponde en la vida real al hecho
de dividir 7 panes entre 8 nios y esta situacin debemos expresarla de alguna
manera matemticamente En el lenguaje algebraico sera equivalente a
resolver la ecuacin 8x = 7.
Para salvar estas limitaciones, se hace necesario, como sucedi en el caso de
los nmeros naturales, de introducir nuevos nmeros con los cuales podemos
describir situaciones reales como la del ejemplo anterior. Debemos pues, crear
un nuevo sistema de nmeros al cual lo llamaremos Conjunto de los Nmeros
18
Racionales y lo denotaremos por que contenga al conjunto de los nmeros
naturales y que goce de las mismas propiedades de ms una nueva que
ser muy importante.

DEFINICIN AXIOMTICA DE
El Sistema de los Nmeros Racionales es un conjunto, denotado por ,
provisto de dos operaciones llamadas adicin y multiplicacin.
La Adicin es una operacin en , que asocia a cada par de nmeros
racionales (a, b) e un nico nmero racional llamado suma de a y b,
denotado por a + b. Simblicamente:
+ : , tal que (a, b) a + b
Los nmeros racionales a y b reciben el nombre de sumandos.
La Multiplicacin es una operacin interna en , que asocia a cada par de
nmeros racionales (a, b) e un nico nmero racional llamado producto
de a y b denotado por a.b o simplemente ab. Simblicamente:
. : , tal que (a, b) a.b
Los nmeros a y b reciben el nombre de factores.
La adicin y la multiplicacin satisfacen los siguientes diez axiomas:
AXIOMAS ADICIN MULTIPLICACIN
Conmutatividad Q1) a + b = b + a, a, b e Q5) ab = ba a, b e a,be
Asociatividad
Q2) (a + b) + c = a + (b + c)
a, b, c e
Q6) (ab)c = a(bc)
a, b, c e
Elemento Neutro
Q3) Existe un nico nmero
racional llamado cero,
denotado por 0, tal que:
a + 0 = a; a e a e
Q7) Existe un nico nmero racional
llamado uno, denotado por 1,
tal que: a 1 = a, a e .
Elementos Opuesto
e Inverso
Q4) Para todo a e , existe
un nico b e , llamado
opuesto de a, y
denotado por -a tal
Q8) Para todo a e , a = 0,
existe un nico elemento de
llamado inverso de a, y
denotado por a
-1
1/a tal
19
que: a + b = 0.
O sea, a + (-a) = 0.
que: aa
-1
= 1 a1/a = 1.

Distributividad

Q9) a ( b + c ) = ab + ac a, b, c e
Nota Importante:
Cuando se define un Sistema Numrico como un conjunto provisto de ciertas
operaciones, queda tcitamente establecido que se cumplen todos los axiomas
de la Teora de Conjuntos y todas las relaciones con sus propiedades que
pueden definirse en l; y como ya mencionamos anteriormente, en particular, la
relacin de Igualdad, que, obviamente, goza de las propiedades: reflexiva,
simtrica y transitiva.

4.1.2 Consecuencias importantes de los axiomas anteriores
Teorema 10. Si a, b y c son nmeros racionales, se cumplen las siguientes
propiedades:
Si a = b entonces a + c = b + c y ac = bc.
Corolario.
a) a = b . c = d a + c = b + d
b) a = b . c = d a.c = b.d
La demostracin es anloga al caso de los nmeros naturales y enteros.

Teorema 11. Si a y b son nmeros racionales, se cumplen las siguientes
propiedades:
a) a.0 = 0
b) ab = 0 a = 0 v b = 0
La demostracin es anloga al caso de los nmeros naturales y enteros.
Corolario.
Si a = 0 . b = 0, entonces ab = 0

Teorema 12. (Propiedades del Opuesto de un nmero racional)
Si a y b son nmeros racionales, se cumplen las siguientes propiedades:
20
a) -(-a) = a , para todo a e
b) -(a + b) = (-a) + (-b)
c) (-1)a = -a
d) a(-b) = (-a)b = -(ab)
e) (-a)(-b) = ab
Demostracin:
La demostracin de todas las propiedades es anloga a la realizada en el
conjunto de los Nmeros Enteros.

Teorema 13. (Propiedades del Inverso)
Si a y b son nmeros racionales diferentes de cero, se cumplen las
siguientes propiedades:
a) (a
-1
)
-1
= a, para todo a e
b) (a.b)
-1
= a
-1
. b
-1
.
Demostracin:
Queda como ejercicio para el lector. Se sugiere adecuar las demostraciones de
las propiedades 3a y 3e.

Teorema 14. (Cancelacin en la Adicin y Multiplicacin)
Si a y b son nmeros racionales se tiene:
a) a + c = b + c a = b
b) Si ac = bc y c = 0 a = b
Demostracin:
a) Es anloga a la realizada en . Basta cambiar la palabra entero por
racional.
b) Si ac = bc, como c 0, existe c
-1
en entonces (ac)c
-1
= (bc)c
-1
de donde
se sigue que
a(c.c
-1
) = b(c.c
-1
), o sea, a.1 = b.1, lo que implica a = b.


21
Teorema 15. Si a, b, c, d son nmeros racionales, c = 0 y d = 0, se cumplen las
siguientes propiedades:
a)
c
b a
c
b
c
a +
= +
b)
cd
bc ad
d
b
c
a +
= +
c)
cd
ab
d
b
c
a
=
d) bc ad
d
b
c
a
= =
e) Si a = 0, la ecuacin 0 b ax = + tiene solucin en y adems es nica.
Demostracin:
a) Si c = 0, existe c
-1
e , luego aplicando la definicin de cociente, se tiene:

c
b a +
= ( )
1
c b a

+ =
1 1
c b c a

+ =
c
b
c
a
+
b) Si c = 0, d = 0, por el Teorema 2, cd = 0, luego existe (cd)
-1
entonces:
1
) cd ( ) bc ad (
cd
bc ad
+ =
+
= ) d c ( ) bc ad (
1 1
+ = ) d c ( ) bc ( ) d c ( ) ad (
1 1 1 1
+
= ) c c ( bd ) d d ( ac
1 1 1 1
+ = 1 bd 1 ac
1 1
+

=
1 1
bd ac

+ =
d
b
c
a
+
c) Si c = 0 y d = 0, entonces cd = 0, luego,

1
) cd ( ab
cd
ab
= = ) d c ( ) ab (
1 1
= ) bd ( ) ac (
1 1
=
d
b
c
a

d)
d
b
c
a
= ac
-1
= bd
-1

(ac
-1
)cd = (bd
-1
)cd, pues cd = 0
ad(c
-1
c) = bc(d
-1
d)
ad = bc
e) Si 0 b ax = + , entonces b ax = . Como a = 0, existe a
-1
y se tiene,
) b )( a ( ) ax )( a (
1 1
=


1 1
a ) b ( x ) a a (

= 1. ) ba ( x
1
=
a
b
x = .
Es decir, la ecuacin 0 b ax = + tiene solucin y es nica.
En particular la ecuacin c ax = tiene solucin nica
a
c
x = .

22
A continuacin, se presenta el ltimo axioma del Sistema de los Nmeros
Racionales:
Q10) c y satisface las siguientes propiedades:
i) Las operaciones de adicin y multiplicacin de , restringidas a ,
coinciden con las operaciones dadas en la definicin axiomtica de .
ii) Para todo r e existen m, n e , n 0 tal que
n
m
r =
.
iii) Si denotamos por
+
= {
n
m
r =
e / m, n e
+
}, se tiene que: Para
todo r e , se cumple una y slo una de las siguientes posibilidades:
r e
+
v r = 0 v -r e
+


Teorema 16.
1) Para todo r, s e
+
, se cumple r + se
+
.
2) Para todo r, s e
+
, se cumple r + se
+
.
Demostracin
1) Si r, s e
+
, por definicin existen a, b, c, d, e
+
, tales que
b
a
r = y
d
c
s = .
Por el Teorema 5, r + s =
b
a
+
d
c
=
bd
bc ad +

Como en
+
, si, b e
+
y d e
+
implican bd e
+
, y tambin a e
+
y c e
+

implican ad + bc e
+
, se tiene que: r + s e
+
.
2) Si r, s e
+
, por definicin existen a, b, c, d e
+
, tales que
b
a
r = y
d
c
s = , luego por el Teorema 12
bd
ac
d
c
.
b
a
s r = = ,
como b e
+
y d e
+
, entonces bd e
+
y tambin, a e
+
y c e
+

implican ac e
+
, en consecuencia rs e
+
.

Nota
Para mayor comprensin de este axioma, ver [1] pginas 121-122.



23
ORDEN EN
Definicin. Sean a y b nmeros racionales. Se dice que a es menor que b y
se denota:
a < b, si, y slo si, existe c e
+
tal que a + c = b. Simblicamente se escribe:
a < b - c e
+
/ a +c = b.
Se dice que b es mayor que a, y se denota b > a si, y slo si, a < b.
Simblicamente:
b > a a < b

Observaciones:
Como en el caso del sistema de los nmeros enteros, como consecuencia de
estas definiciones, se tiene que:
Si c e
+
entonces c > 0 pues existe c e
+
tal que 0 + c = c.
Luego, si a<
/
b entonces, por la ley de tricotoma, a > b a = b.
Este hecho permite definir las siguientes relaciones:
a) a s b a < b v a = b que se lee a es menor o igual que b, y
b) a > b a > b v a = b que se lee a es mayor o igual que b.
La negacin de a < b es a > b.

Teorema 17. Sean r =
n
m
y s =
q
p
nmeros racionales donde m, n, p, q e

+
, entonces
n
m
>
q
p
(en ) si, y slo si, mq > np (en )
Demostracin:
Si
n
m
>
q
p
entonces
n
m
-
q
p
> 0, o sea
nq
np mq
> 0, es decir,
nq
np mq
e
+
.
Y como nq e
+
, entonces mq np e
+
, por lo tanto mq > np.

Observacin:
Este teorema muestra un criterio para establecer la desigualdad de dos
nmeros racionales en trminos de la desigualdad de nmeros enteros.
24
Notemos que la desigualdad
n
m
>
q
p
est definida en , mientras que la
desigualdad mq > np est definida en .
A continuacin se dan algunas propiedades de la relacin menor
Teorema 18. Si a, b y c son nmeros racionales, se cumplen las siguientes
propiedades:
a) a < b . b < c a < c
b) a < b a + c < b + c
c) a < b . c < d a + c < b + d
d) a < b . c > 0 ac < bc
e) a < b . c < 0 ac > bc
f) a > 0 a
-1
> 0
g) a < 0 a
-1
< 0

Teorema 19 . (Densidad de los nmeros racionales)
Si a y b e
+
{0} y a < b, siempre existe un nmero racional c tal que
a < c < b.
Demostracin:
Si a < b, segn la parte (b) del teorema anterior, se tiene que: a + a < b + a y
tambin a + b < b + b, de donde: 2a < a + b < 2b y como
2
1
>0, usando la
parte (d) del mismo teorema se tiene que: a = 2a(
2
1
) < (
2
b a +
)
2
1
< (2b)
2
1
= b,
es decir, a <
2
b a +
< b. Luego, basta tomar c =
2
b a +
y obtenemos
a < c < b.

Observacin Importante
En el caso de los nmeros naturales, hicimos corresponder a cada nmero
natural un punto al cual lo llamamos punto natural de la recta geomtrica 9. Al
nmero natural cero 0 se le asign un punto cualquiera de la recta y luego
fijando una cierta "unidad de medida" a los nmeros naturales positivos se les
25
asign los puntos naturales correspondientes a la derecha del 0,
respectivamente, tal como lo indica la siguiente figura:
1/2 1 3/2 2 5/2

3 0 < < < < < < <

1/4 1/2 3/4 1 5/4

3/2 0 < < < < < < <

R
R
Q
Q


Procediendo anlogamente, consideremos el conjunto
+
{0} y la funcin
f:
+
{0} 9, que asigna a cada nmero racional positivo o el cero, un
punto de la recta geomtrica al cual llamaremos punto racional positivo
cero. De esta manera, podemos identificar el cero y el conjunto de los nmeros
racionales positivos con el punto cero y el conjunto de los puntos racionales
positivos. Utilizando el mismo razonamiento dado en los nmeros naturales
podemos obtener las nociones de cuadrante racional de dos dimensiones y de
octante racional de tres dimensiones.
1 2 3 4 5
-1
-2
-3
-4
-5
-1 -2 -3 -4 -5
1
2
3
4
5
1 2 3 4 5
1
2
3
4
5
1
2
3
4
5


Definicin 9. Dados los nmeros racionales a y b, se llama diferencia de a
y b, y se denota a b, al nmero racional c tal que a = b + c.
Es decir, a b = c a = b + c.
Los nmeros a y b reciben los nombres de minuendo y sustraendo,
respectivamente

26
Teorema 20. Dados a, b e , la diferencia a b siempre existe y es nica.
Demostracin:
Dados los nmeros racionales a y b, sea c = a + (-b), entonces c e y
b + c = b + (a + (-b)) = b + ((-b + a) (axioma de sustitucin y conmutativa)
= (b + (-b)) + a (propiedades asociativa y del opuesto)
= 0 + a = a (elemento neutro).
Luego a = b + c y aplicando la definicin de diferencia, a b = c.

Es importante recordar la igualdad a - b = a + (-b)
El teorema anterior nos permite decir que la aplicacin - que asocia a cada
par de nmeros racionales (a, b), su diferencia a b, simbolizado por
- : es una operacin llamada Sustraccin.


Divisin.
Definicin 10. Dados los nmeros racionales a y b con b = 0, se llama
cociente de a y b, y se denota
a
b
( a/b ), al nmero racional c tal que a =
bc.
Es decir,
a
b
= c a = bc
Teorema 21. Dados los nmeros racionales a y b, con b = 0, el cociente de
a y b existe y es nico.
Demostracin:
Dados los nmeros racionales a y b, como b = 0, existe
b
1
, luego definiendo
1
c a
b
| |
=
|
\ .
, resulta c e ; adems aplicando sucesivamente el axioma de
sustitucin, las propiedades asociativa, conmutativa y del inverso, se tiene:
a a
b
1
b
b
1
a b b.c =
(

|
.
|

\
|
=
(

|
.
|

\
|
=
Luego a = b.c y aplicando la definicin de cociente, resulta c
b
a
= .
27
Observacin:
Es importante recordar la igualdad: |
.
|

\
|
=
b
1
a
b
a

El teorema anterior nos permite decir que la aplicacin / que asocia a cada
par de nmeros racionales (a, b), con b = 0, su cociente a / b, simbolizada por
/ : ( - {0}) tal que (a, b) a / b
es una operacin interna que recibe el nombre de Divisin.



Observacin Importante
Acabamos de ver que en , la suma a + b, el producto a x b, la diferencia a - b
y el cociente a/b (b 0) de dos nmeros racionales a y b siempre existe y es un
nmero racional, cualidades que convierten a en un conjunto privilegiado
que, en matemtica avanzada, recibe el nombre de cuerpo conmutativo












28

Basados en los axiomas y teoremas relativos a la medida de segmentos y
ngulos, se introduce el concepto de congruencia de segmentos y de ngulos,
que se aplica luego a la congruencia de tringulos y polgonos en general.

MEDIDA DE INTERVALOS O SEGMENTOS EN LA RECTA

Definicin 11. Dados los nmeros reales a y b tales que a s b, se llama
intervalo lineal de extremos a y b, y se denota con J= a, b( a cada uno de
los siguientes conjuntos de 9:
[a, b] = {xe 9 / a s x s b } intervalo cerrado
]a, b[ = {xe 9 / a < x < b } intervalo abierto
]a, b] = {xe 9 / a < x s b } intervalo semiabierto
[a, b[ = {xe 9 / a s x < b } intervalo semiabierto

Se conviene adems en aceptar que el subconjunto vaco C de 9 es un
intervalo. Esta convencin est de acuerdo con el hecho de que el intervalo
abierto ]a, a[ = C. Se demuestra el siguiente

Teorema 22. La familia = {J c 9 J intervalo de 9 } de todos los intervalos
de 9 es un semianillo de conjuntos de 9; es decir, verifica las siguientes
propiedades:
1) La interseccin de dos intervalos es un intervalo; o sea, si J
1
e y J
2
e
entonces J
1
J
2
e .
En general, si J
1
, J
2
,, J
n
son intervalos de 9, entonces:
J
1
J
2
.J
n
e , es decir es un intervalo de 9
2) La diferencia de dos intervalos es la unin de dos intervalos disjuntos
(alguno de ellos puede ser vaco); o sea, si J
1
e y J
2
e , se tiene:
J
1
J
2
= J
1
J
2
e , donde J
1
y J
2
son intervalos disjuntos.

29
Definicin 12. Si J = a, b es un intervalo de 9, se define la medida o
longitud de J y se denota por m(J) al nmero real no negativo dado por :
m(J)= b-a.
Queda entonces definida una aplicacin m:
+
0
, que hace corresponder a
cada intervalo J de , un nmero real m(J) > 0, que recibe el nombre de
medida o longitud de dicho intervalo J de 9.
De la definicin, se sigue inmediatamente que:
m(|a, b|)= m(|a, b|)= m(|a, b|)= m(|a, b|)= ba.
Si en el intervalo |a, b|, se tiene que a=b, se dice que el intervalo |a, b|
degenera en un punto o sea: |a, a| = {a}, que recibe el nombre de intervalo
degenerado y su medida m{a} = m(|a, b|)= 0. Aceptamos tambin que m(C)=0.

Se tiene entonces el siguiente:
Teorema 23. (PROPIEDAD FINITAMENTE ADITIVA)
Si J, J
1
, J
2
son intervalos de 9 y si J=J
1
J
2
donde J
1
J
2
=C, se tiene que
m(J)=m(J
1
)+m(J
2
). En general:
- Si J, J
1
,J
2
,,J
n
son intervalos de 9, disjuntos dos a dos, o no rampantes, es
decir, dos intervalos consecutivos pueden tener un extremo comn, y si
J=J
1
J
2
. J
n
, se tiene que
m(J) = m(J
1
) + m(J
2
) + . + m(J
n
).

Podemos adecuar esta definicin para segmentos en el plano.

Definicin 13. Se dice que el segmento AB es congruente con el segmento
CD y se denota CD AB ~ si, y slo si, la m( AB )
=
m( CD).
Es decir, equivalentemente, dos segmentos son congruentes si, y slo si,
tienen la misma longitud.





B
A
C
D
30
Teorema 24. Todo segmento es congruente consigo mismo.
Demostracin
Dado el segmento AB , se tiene m( AB ) =

m( AB ) que por definicin significa
que AB AB ~
.





















31
MEDIDA DE CONJUNTOS ELEMENTALES EN EL PLANO
A continuacin presentamos ideas relacionadas con una parte de la
matemtica abstracta conocida como teora de la Medida y que permite
concretar el propsito de esta seccin que es introducir el concepto de medida
de subconjuntos elementales en el plano llamadas tambin figuras
elementales del plano, teniendo en cuenta la definicin y propiedades de la
medida o longitud de los intervalos de la recta R, llamados tambin segmentos.
Hemos definido la longitud de un intervalo o segmento J = ,a,b,, donde sus
extremos a y b son tales que a s b como m(J) = b a y probado que m(J) > 0 y
que m(J) es finitamente aditiva. De manera anloga queremos medir, en
primer lugar, subconjuntos del plano acotados por polgonos como los
tringulos, cuadrilteros (cuadrados, rectngulos, y en general, cualquier
polgono de cuatro lados), pentgonos, etc.; llamados regiones poligonales.
En lo sucesivo, en lugar de decir la medida en el plano, llamada histricamente
rea de una regin poligonal, diremos simplemente la medida o rea de un
polgono.

Estableceremos el concepto de rea de una figura en el plano, usando el
mtodo natural de la matemtica que es el axiomtico.
Si es el conjunto de todas las regiones poligonales en el plano, trataremos
de asignar a cada regin poligonal P un nmero real m(P) > 0 que goce de las
siguientes propiedades axiomas:
1) Si C es un cuadrado cuyos lados tienen longitud 1, llamado tambin
cuadrado unitario, entonces el rea de C es: m(C) = 1.
2) Si A, B e son tales que A B = C no rampantes, es decir, A B est
contenido en algn lado de A o de B, entonces: m(A B) = m(A) + m(B)
3) Si A, B e son tales que A es congruente con B, simblicamente A ~ B,
entonces m(A) = m(B).
Aceptaremos que el conjunto vaco C es un polgono y que m(C) = 0.
A partir del cuadrado con lado de longitud 1, utilizando los tres axiomas,
podemos construir inductivamente las reas de las figuras del plano ms
conocidas.
32
1
1


A continuacin probaremos que con estos 4 axiomas, es posible determinar el
rea de un rectngulo cualquiera, un tringulo y otras regiones poligonales en
el plano.
1) Comenzaremos con un rectngulo R de longitudes m y n, nmeros naturales
positivos.
Dividimos el lado del rectngulo, de longitud m, en m segmentos de longitud 1,
y el lado de longitud n, en n segmentos de longitud 1, obteniendo de esta
manera mn cuadrados C
1
, C
2
,, C
mn
; todos unitarios y congruentes (m
cuadrados horizontales y n cuadrados verticales).



1 1 1 m 1
1
1
n
1
...
C
1
C
2
C
3
... C
m
C
mn


Por el axioma 1, el rea de cada uno de los cuadrados, es 1, o sea a(Ci) = 1.
Siguiendo un proceso inductivo, se prueba que el axioma 2 se puede aplicar a
un nmero finito de regiones poligonales (el rea es finitamente aditiva) y, en
consecuencia se tiene que el rea del rectngulo R es:
a(R) = a(C
1
C
2
C
mn
) = a(C
1
) + a(C
2
) + + a(C
mn
)
=

sumandos mn
1 ... 1 1 + + + = mn
Lo cual equivale a la conocida frmula del rea de una regin rectangular de
lados de longitudes m y n.
33
2) Consideremos ahora un rectngulo cuyos lados tengan como longitudes
nmeros racionales positivos. Supongamos que los lados midan
2
1
y
3
1
,
calculemos el rea de este rectngulo.
1/2
1/3

A partir de la regin rectangular R podemos encontrar otra regin S, acotada
por un cuadrado de lado igual a 1 que contenga a R. Intuitivamente, como se
indica en el siguiente grfico:
1
1/3
1 1/3
1/3
1/2 1/2
R
1
R
2
R
3
R
4
R
5 R
5

Los 6 rectngulos que acotan las regiones rectangulares obtenidas R
1
= R, R
2
,
R
3
, R
4
, R
5
y R
6
, son todas congruentes y por lo tanto tienen igual rea, segn
el axioma 3. Por otro lado la unin de estas 6 regiones es la regin S y
satisfacen las condiciones del axioma 2, se tiene entonces que:
a(S) = a(R
1
R
2
R
3
R
4
R
5
R
6
)
= a(R
1
) + a(R
2
) + a(R
3
) + a(R
4
) + a(R
5
) + a(R
6
)
= a(R) + a(R) + a(R) + a(R) + a(R) + a(R)
= 6a(R)
Resulta as: 6a(R) = a(S). Luego, como a(S) = 1, entonces a(R) =
6
1
que es
precisamente igual a
3
1
2
1
.
3) Si las longitudes del rectngulo R son dos nmeros reales positivos, r y s, no
racionales, entonces utilizando la idea de lmite se prueba que el rea del
rectngulo es rs. De esta manera, en general, si las longitudes de un
rectngulo R son dos nmeros reales positivos, r y s; el rea de la regin del
plano limitado por este rectngulo es rs, es decir a(R) = rs.
34
4) Consideremos ahora un tringulo rectngulo T de base b y altura h, donde b
y h son nmeros reales positivos.
b
h
T

Trazando paralelas podemos obtener un rectngulo R cuyos lados tengan
longitudes b y h:
b
h
T
S

Las regiones triangulares T y S son congruentes, por que estn acotadas por
tringulos congruentes, segn el criterio de congruencia LLL, y su unin es la
regin rectangular acotada por R cuyos lados miden b y h.
Luego, por el axioma 3, como T es congruente con S, simblicamente T ~ S,
se tiene que a(T) = a(S) y el rea del rectngulo R es a(R) = bh, o sea,
bh = a (R) = a(T S) = a(T) + a(S) = 2a(T)
Por tanto: a(T) =
2
1
bh.
Mediante un ligera alteracin de este proceso, se puede demostrar que el rea
de una regin triangular, acotado por un tringulo cualquiera T, de base b y
altura h, es a(T) =
2
1
bh.
5) En general, si se tiene una regin acotada por un polgono, esta regin
puede dividirse en regiones triangulares o rectangulares. Consideremos por
ejemplo un pentgono
Si trazamos las diagonales del pentgono, la regin pentagonal es igual a la
unin de regiones triangulares, por lo tanto su rea ser igual a la suma de
todos estos tringulos.


35
T
1
T
2
T
3








36
BIBLIOGRAFA


[1] Carranza, C; Molina A. Tpicos de Aritmtica y Algebra. Lima, Editorial
Moshera, 2006.
[2] Carranza, C. Algebra. Librera Studium. Lima, 1970.
[2] Carranza, C.; Kong, M. Teora de conjuntos y nmeros naturales. Per
Offset. Lima, 1980.
[5] Carranza, C; Beltrn, A; Chau, M; Doig, E; Molina, A, y Valeriano, E.
Matemtica 1 para bachillerato. Texto del alumno. Metrocolor S.A., 1999.
[6] Carranza, C; Malaspina, U. Matemtica 1 para el bachillerato. Gua del
profesor, 1999.
[7] Carranza C. Tpicos de matemtica para el bachillerato. 18 Coloquio de
la Sociedad Matemtica Peruana. Lima, 2000.
[8] Guas del Profesor para matemticas del primer, segundo, tercer, cuarto,
quinto y sexto grados de educacin primaria. Preprint, 2005.