Sei sulla pagina 1di 58

AMBIENTACIN EN CIENCIA MATEMTICA Y TRABAJO VIRTUAL

MDULO MATEMTICAS.
PROFESOR: OMAR EVELIO OSPINA A.
PARTE 1.
EVOLUCION DEL CONCEPTO DE NMERO
(Llenando una recta con nmeros)
1. PRESENTACIN.
REQUISITOS PREVIOS:
Estamos bajo el supuesto de que los estudiantes conocen y manipulan los nmeros
naturales, las fracciones, y posiblemente los nmeros negativos. No va orientado a
estudiantes de primaria o secundaria, sino a profesores
OBJETIVO:
Dar a conocer una visin terica ms amplia de los sistemas numricos conocidos, y a
partir de ella, dar a conocer los dems sistemas, caracterizndolos, y conociendo sus
operaciones y propiedades de ellas, hasta llegar a los nmeros reales.
Se busca que los profesores reflexionen, sobre ciertas formas usadas para presentar los
diferentes sistemas numricos, algunas de las cuales carecen de fuerza suficiente para
que ellos sean asimilados como objetos matemticos, como por ejemplo, introducir los
nmeros negativos as:
Los nmeros negativos, son aquellos que dan solucin a ecuaciones de la forma:
x + 5 = 0, en cuyo caso ser el nmero 5.
O iniciar la presentacin de los sistemas numricos como:
Los sistemas numricos elementales, estn definidos por:
Nmeros Naturales:
N=
Nmeros Enteros:

`1, 2 , 3 , 4 , 5

3 , 2 , 1 , 0 ,1, 2 , 3 ,

Z=
es decir los naturales, el cero y los naturales pero con signo negativo.
Nmeros Racionales:
p

Q =

p , q ,

q 0

Nmeros Irracionales:
Q*. Son aquellos que no son racionales
Nmeros Reales: R.
Q Q* = R
CARACTERSTICA FUNDAMENTAL DE LA PRESENTACIN:

Omar Evelio Ospina A.

Pgina 1

No es una presentacin axiomtica, y est lejos del formalismo matemtico. Se prioriza


la visin intuitiva de los nmeros, que se va adquiriendo a travs del conocimiento de su
proceso de evolucin.
2. EL INICIO. LA NECESIDAD DE CONTAR: LOS NMEROS NATURALES
Como lo manifiesta Tobas Dantzig en su libro El nmero lenguaje de las ciencias.
El sentido del nmero, es decir la facultad del hombre de reconocer que algo ha
cambiado en una pequea coleccin cuando, sin su conocimiento directo, se ha sacado o
aadido un objeto se puede considerar la etapa ms primitiva del acercamiento del
hombre a lo que hoy conocemos como nmero.
Determinar si dos colecciones de objetos tienen o no la misma cantidad de elementos
Buscando Correspondencia biunvoca
Si se encuentra: Concepto de Equipotencia
Si NO se encuentra: Hay ms o menos elementos en un conjunto que en otro. Concepto
de Cardinalidad
Agregando un elemento a un conjunto con un elemento, y luego un elemento al
conjunto resultante, y uno al nuevo conjunto, y continuando as sucesivamente, se puede
pensar en construir una secuencia ordenada de todos los nmeros. Llegando a
conceptos de
Sucesor de un Nmero, Infinitud de este conjunto numrico, Nmero Ordinal y
Proceso de Contar
Dar nombres a conjuntos con la misma cantidad de elementos. Inicialmente dependan
de la naturaleza de los elementos
Como lo dice Bertrand Russell en su Introduccin a la Filosofa Matemtica
Deben haberse necesitado muchos siglos para descubrir que un par de faisanes y un par
de das son, ambos ejemplos del nmero 2
Superado esto: Se llega al Concepto Abstracto de Nmero
(***) Se introducen Smbolos para representar los nmeros. Segn las diferentes
culturas aparecen diferentes sistemas de numeracin
Este conjunto as construido se conoce como el conjunto de los nmeros naturales. Y
en nuestra cultura estn representados por los smbolos que aparecen a continuacin.
N = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, }
Estos nmeros, se pueden ubicar en una semirrecta, tomando una medida fija, que
llamaremos unidad, para separar uno del otro, y ubicndolos de menor a mayor de
izquierda a derecha, como aparece en el siguiente diagrama:
|_____|_____|_____|_____|_____|_____|_____|_____|_____|_____|. . . . . . . . . . .
2
3
4
5
6
7
8
9
10
1

Omar Evelio Ospina A.

Pgina 2

Observe que en esta semirrecta aparecen espacios que no representan ningn nmero
natural. Es decir: La semirrecta NO est llena de nmeros naturales. Y se pueden ir
recorriendo, partiendo del 1, y pasando sucesivamente de un nmero a su
correspondiente sucesor.
OPERACIONES CON NMEROS NATURALES
(***) Suma de nmeros naturales
La reunin de los elementos de dos conjuntos en uno slo, es el origen de la operacin
suma de nmeros naturales, que consiste en:
Hallar el nmero que se asigna a la coleccin resultante de agrupar dos colecciones,
con cantidad de elementos representadas por los nmeros que se van a sumar
(***) Resta de nmeros naturales
Se origina con representar el nmero resultante de quitar a una coleccin la cantidad de
elementos que indica otra coleccin ms pequea hasta agotar esta ltima, llegando a un
conjunto ms pequeo que el primero
La operacin se realiza, representando con nmeros las cantidades de elementos de las
colecciones que intervienen en este proceso
(***) Propiedades de la Suma
De forma natural, teniendo en cuenta solamente el proceso de agrupar, se pueden
ilustrar intuitivamente las propiedades conmutativa y asociativa de la suma, y adems se
puede presentar, como consecuencia de esta ltima, que es posible extender la suma a
ms de dos nmeros
Multiplicacin de nmeros naturales
A partir de la suma de nmeros naturales se defini otra operacin, llamada La
multiplicacin de nmeros naturales: dados dos nmeros naturales a, b se define la
multiplicacin o el producto de a y b y se nota a . b. al resultado de sumar a veces
el nmero b. Con representaciones grficas que se dieron posteriormente a los nmeros
y significado geomtrico a sus operaciones, se pudo comprobar que esta operacin era
conmutativa, asociativa, y que se podan mezclar la suma y el producto a travs de la
propiedad distributiva. En trminos modernos:
i.

Si

a,bN

ii.

Si

a,b,c N

entonces

a . ( b . c ) =( a . b ) . c

iii.

Si

a,b,c N

entonces

a . ( b+c )=a .b +a . c

entonces a . b = b . a

Pero Cmo podramos visualizar ante los estudiantes estas propiedades grficamente?
Una forma de hacerlo es recurriendo a ciertos diagramas.
Si como se haca en la escuela pitagrica, se representa cada nmero por un punto,
cualquier nmero es un conjunto de puntos independientemente de la forma como se
ubiquen. As

Omar Evelio Ospina A.


Pgina 3

etc.

Como a . b es el nmero que resulta de sumar a veces el nmero b (en ese orden).
Considere el nmero b con puntos columna, o sea en forma vertical y represente el
hecho de que b se repite a veces colocando a columnas de b en forma horizontal.
As (en esta ilustracin, para a = 4
b = 6) a .b estar representado por:





Pero es claro que el nmero de puntos que representa a . b no vara si se invierte el


mismo diagrama, por ejemplo as:



Lo cual representa segn la interpretacin grfica dada, el nmero b . a (cada una de


las b columnas representa el nmero a) y as se tiene visualizada la propiedad
conmutativa del producto.
Cmo se podr visualizar la propiedad asociativa? Con la misma representacin
grfica, a. (b . c) significa sumar a veces el nmero b . c (y esto significa sumar b
veces el nmero c ), grficamente (para a = 4 b = 6
c = 3) consiste en repetir a
veces el bloque b . c (que es repetir b veces el bloque a)


Si se renen estos puntos se observa que el nmero c est repetido a veces grupos de
b es decir a .b veces as a . (b . c) = (a . b) . c
Omar Evelio Ospina A.

Pgina 4

Y la propiedad distributiva?
Para esos mismos valores de a, b, c la representacin de a . b + a . c
bloques el de a veces el b y el de a veces el c.


es agrupar dos

Los cuales se pueden agrupar en uno solo colocando uno sobre el otro y obteniendo un
bloque donde se repiten a veces el nmero b + c como se aprecia en el diagrama,
que corresponde al nmero a . (b + c)









As

a . (b + c) = a . b + a . c.

Aunque estas visualizaciones no corresponden a demostraciones matemticas rigurosas;


si se tiene en cuenta que las operaciones suma y producto, en esta etapa de su evolucin
o en la de su presentacin en el aula en un curso elemental, se muestran como resultados
de un anlisis de situaciones intuitivas, no se puede esperar que en la presentacin de
sus propiedades se diese algn tipo de demostracin ms rigurosa, pues en esta etapa
tampoco hay definiciones rigurosas de los nmeros.
Desde el punto de vista didctico, en mi concepto, es mejor presentar este tipo de
visualizaciones que presentar las propiedades como dogmas, sin ningn tipo de
justificacin.
Es preciso resaltar la importancia de la presentacin de las propiedades, pues con ellas
se ha justificado detalles como que la suma y producto no vara si se cambia el orden de
Omar Evelio Ospina A.

Pgina 5

sumandos o factores (conmutatividad), o tambin, que la suma y producto se pueden


extender a ms de dos elementos (asociatividad), o que la propiedad distributiva, es la
que bsicamente justifica el mtodo que tradicionalmente se utiliza para realizar la
operacin de multiplicacin de dos nmeros cualesquiera. (***)
3. LA NECESIDAD DE MEDIR: LOS NMEROS FRACCIONARIOS.
Problemas que conducen a medidas
Comparando extensiones de terrenos y contenidos de lquidos en recipientes
Concepto de Patrn de Medida
Insuficiencia del Patrn de Medida para comparar medidas
Concepto de Fraccin de Patrn
Cmo representar diferentes tamaos de pedazos de Patrn?
Cmo reunir esos pedazos y representar esa unin?
Abstraccin del concepto de Fraccin de Patrn y Simbologa
Representar usando los nmeros que se conocen
Representacin de cualquier Patrn por la Unidad
p
Representacin de la forma q
Fracciones Propias- Fracciones Impropias
Representacin de los naturales como si fueran fracciones
p
sp p
=1 = ()
p
sq q
Simplificacin de fracciones Fracciones Irreducibles
Nmeros Racionales Positivos
p

Q
p , q N
q

Vamos a aplazar por el momento su ubicacin en la recta.


OPERACIONES CON NMEROS FRACCIONARIOS
Primero desde el punto de vista de la definicin intuitiva del concepto de fraccin, se
debe tener claro que:
1=

p
n. p p
y que
= ( )
p
n.q q

Suma de fracciones
Omar Evelio Ospina A.

Pgina 6

Inicialmente a partir del concepto de nmero fraccionario como pedazos de un patrn,


se puede observar que si se le da al signo + entre dos fracciones, el significado de unin
de estos pedazos, resulta claro intuitivamente que la suma de fracciones unitarias, es
decir con numerador 1, y con el mismo denominador, est dada por:
1 1 1
1 p
+ + + =
n n n
n n

p veces

Expresin, que por extensin de la idea de producto de naturales como una suma
abreviada, tambin se notar como
p.

1
n

Manejando este mismo concepto de nmero fraccionario y con el mismo significado


que se le dio al signo + y con el resultado y notacin que se acaba de presentar, las
siguientes igualdades tambin resultan evidentes intuitivamente, lo que generaliza la
suma a cualquier tipo de fracciones unitarias:
p q 1 1 1
1
1 1 1
1
1 1 1
1
+ = + + + + + + + = + + +
n n
n n n
n
n n n
n
n n n
n

p veces

)(

q veces

)(

p+q veces

p+ q
1
=( p+q ) .
n
n

()

Ahora al tomar fracciones con denominadores diferentes, se utiliza la propiedad de


simplificacin de fracciones vista atrs, para que este trabajo se haga con
denominadores iguales. As:
1 1
m
n
m+ n
+ =
+
=
n m n.m
n.m
m. n

( )( )

Y ms general:
p q
p.m
q.n
+ =
+
n m n .m
m.n

( )( )

p . m+ q . n
m. n

que corresponde al conocido mtodo para sumar fracciones.


Omar Evelio Ospina A.

Pgina 7

Multiplicacin de fracciones
Ahora, la pregunta que surge para los que ya sabemos multiplicar fracciones es:
cmo se llega al mtodo conocido para multiplicar fracciones?
Pero para contestar ello, y poder tener las bases para ensear a multiplicar fracciones
primero se debe dar respuesta a la siguiente pregunta:
qu es lo que va a significar intuitivamente el producto de fracciones?
pues no se le puede dar para las fracciones, el mismo significado que para el caso de la
multiplicacin de nmeros naturales, ya que no tiene como mucho sentido decir que
3
7
3
multiplicar por ejemplo 4 por 5 equivale a sumar 4 de veces el nmero
7
5
Inicialmente se define intuitivamente el producto o multiplicacin de dos fracciones
unitaria
1 1
.
s q

( )( )

Como:
la fraccin que resulta del proceso de partir la unidad en q partes iguales y tomar
una, y sta que se tom, partirla en s partes iguales y tomar 1.
La primera tarea consiste en verificar, puede ser por medio de diagramas, como el que
aparece abajo, y para casos particulares, que dicho pedazo de unidad as construido,
coincide con el pedazo que representa la fraccin:
1
s.q
es decir, que es lo mismo partir la unidad en q pedazos, de estos tomar uno, y ste
partirlo en s pedazos y de l tomar uno, que desde el comienzo partir la unidad en p. q
pedazos y de ellos tomar uno. Convencidos intuitivamente de ello, se tiene entonces
que:

( 1s ).( q1 )=( s1.q )


En el diagrama se representa, segn las definiciones, en la parte superior el pedazo que
corresponde a ( 1/4 ) . ( 1/3 ) , y en la inferior el que corresponde a ( 1/12 ) .

Omar Evelio Ospina A.

Pgina 8

Del mismo proceso del que se dedujo lo anterior se puede concluir la conmutatividad de
este producto. (***)
Ahora, definiendo en forma ms general:

( ps ) .( rq )
Como:
el pedazo de unidad que se obtiene del siguiente proceso: partir la unidad en q
pedazos, de ellos tomar r, y ese nuevo pedazo resultante, partirlo en s pedazos y de ellos
tomar p pedazos.
Se puede verificar, tambin por medio de diagramas como el que aparece abajo, y para
casos particulares, que el pedazo de unidad que se obtiene al aplicar la definicin dada
arriba, coincide con el pedazo que representa la fraccin:
p.r
s,q
Es decir se debe justificar intuitivamente que la fraccin representada por la definicin,
coincide con el pedazo de unidad que se obtiene al partir la unidad en (s .q) pedazos, y
de ellos toma ( p. r) pedazos. De donde se concluye que:

( ps ) .( rq )= sp,.qr
Omar Evelio Ospina A.

Pgina 9

En el diagrama se representa, segn las definiciones, en la parte superior el pedazo de


unidad que corresponde a ( 3/4 ) . ( 2/3 ) , y en la inferior, el que corresponde a

( 6/ 12 ) .

Teniendo en cuenta esta presentacin y la conmutatividad del producto de nmeros


naturales entonces se deduce que el producto de nmeros racionales positivos es
tambin conmutativo. (***)
Adems observe que si a es un nmero racional positivo, al interpretar el producto
1.a, (igual a a.1) como el resultado de sumar una vez el nmero a, este resultado es por
tanto el mismo a, lo cual indica que el nmero 1 se comporta como un mdulo o
elemento idntico para el producto.

ALGO DE HISTORIA
En el papiro Rhind o papiro de Ahmes, hallado en 1858, y que contiene informacin
matemtica de entre los aos 2000 y 1800 A.C. y escrito por Ahmes alrededor de 1650
A.C., aparecen ya las fracciones y operaciones elementales entre ellas. Estas fracciones
salvo pocas excepciones son unitarias, es decir fracciones con numerador 1
.
Hacia el ao 2400 A.C. en Babilonia donde se trabajaba ya con un sistema de
numeracin posicional en base 60, se manipulaban tambin las fracciones, lgicamente
sexagesimales y no slo unitarias como en el caso de los egipcios.

Omar Evelio Ospina A.

Pgina 10

En la escuela pitagrica (aproximadamente en el ao 540 A.C.), como ya se haba


comentado, los nmeros eran para ellos slo los de contar, sin incluir el 1.
Diferenciaban el concepto de magnitud del concepto de nmero como lo manifiesta
Luis Cornelio Recalde en el libro los nmeros reales como objeto matemtico: segn
Euclides: La magnitud es infinitamente divisible, el nmero es divisible un nmero
finito de veces. El nmero es discreto, la magnitud es continua. Y relacionaban los
nmeros con las magnitudes por medio de la conmensurabilidad: Dos magnitudes P y
Q son conmensurables si existe una magnitud R y dos nmeros m y n (naturales
lgicamente) tales que:
P=mR
Q=nR
lo que en trminos actuales se puede traducir diciendo que:
longitud (R) =

es decir:

longitud ( P) longitud Q
=
m
n
Longitud(P) m
=
Longitud (Q) n

O sea que el cociente de las longitudes de P y Q es lo que se conoce actualmente como


una fraccin. Pero ellos representaban esa medida a travs de la definicin de la
conmensurabilidad, lo que significaba que para ellos, para medir bastaban los nmeros
de contar, aunque realmente era una relacin entre magnitudes y dos nmeros para
contar.
En resumen para los pitagricos las llamadas fracciones no eran nmeros.
Pero esta idea primitiva de medida funcion hasta que al interior de la misma escuela se
encontraron magnitudes que no eran conmensurables: un lado de un cuadrado no es
conmensurable con su diagonal. (***)
Los rabes fueron los principales divulgadores de la matemtica de la India, y es as
como a finales del siglo IX, contribuyeron a perfeccionar el sistema posicional decimal
de la India, e incluyeron las fracciones decimales.
Leonardo de Pissa (1180 1250) conocido como Fibonacci, a travs de su obra El
Liber abaci, dio a conocer en Europa la manipulacin de los nmeros arbigos y el
manejo de fracciones, especialmente orientado a resolver problemas comerciales. Usaba
con ms frecuencia las fracciones sexagesimales y no las fracciones decimales.
Fue Franciscus Vieta (1540 1603) quin defendi el uso de las fracciones decimales,
pero su divulgacin y explicacin en detalle se debe a Simn Stevin (1548 1620)
aunque usando una notacin algo complicada. En una traduccin de la obra
Descriptio de John Napier (1571 1630) en 1616 ya figuraba la notacin de las
fracciones como las usamos actualmente.
El Cero
Sistemas NO Posicionales y Sistemas Posicionales
Omar Evelio Ospina A.

Pgina 11

XXXII

9899

Sistemas Posicionales
Necesidad de Smbolo para representar Espacios Vacios
2003
203
23
230
2300
Babilonia - 330 A.C Base 60 Dos cuas inclinadas
Mayas (Yucatn) 400 D.C Base 20 Concha de Caracol
India Siglo VII Base 10 Shunya
rabes Siglos VII y VIII Mejoran la notacin India Zephirum
Europa Se introdujo el sistema rabe, entre otros por Fibonacci en su Liber Abacci
en 1202 con smbolos muy parecidos a los actuales.
El Cero como Nmero
Por su origen, en esta presentacin no se le va a considerar como nmero natural
Actualmente varias de las formas rigurosas de construir los nmeros naturales parten
del cero como el primer nmero natural
Representar la ausencia de cantidad - ausencia de elementos en un conjunto
Pero se le va a considerar como un nmero fraccionario
ya que se puede representar tambin como hemos representado las fracciones
0

0 0 0 0

1 2 3 4

etc.

Pues esto indicar que la unidad se dividi en 1, 2, 3, 4 en general en n partes, y no se


tom ninguna de ellas, por tanto hay ausencia total de objeto, independientemente del
nmero de pedazos en que se haya partido la unidad.
0
0
La expresin
no aparece entre las que hemos presentado para representar el nmero
cero, pues dijimos que el denominador poda ser cualquier nmero natural, y no hemos
considerado al cero como nmero natural.
Es importante recalcar que la expresin
0
0

no es cero, ni es uno
Es una expresin extraa que no tiene sentido matemticamente, lo mismo que
cualquier otro nmero fraccionario con denominador cero, ya que:.
Segn la presentacin intuitiva que se ha hecho de las fracciones, no tiene sentido
afirmar que la unidad se parte en cero pedazos.
As, el cero por tanto tambin se le va a considerar como un nmero racional pero no
positivo.
Representacin en la semirrecta
Todos los nmeros racionales presentados atrs, junto con el cero forma el conjunto de
los nmeros racionales no negativos
Omar Evelio Ospina A.

Pgina 12

p
p 0 ,1, 2, 3,
q

Q 0

q 1, 2, 3,

Cuya representacin en la semirrecta ser:


|_ _ _ _ _ _ _ _ _ ._ _ _ _ _ _ _ _ _ ._ _ _ _ _ _ _ _ _ _ _ _ __ _ _ _ _ ._ _ _ _ _ _
1
0
1
35/27
2
3
La primera pregunta que surge, despus de apreciar cmo se ubican estos nmeros en
una semirrecta, como lo acabamos de presentar, es:
Qu tanto espacio en la semirrecta que hemos venido trabajando son ocupados por
todos los nmeros que representamos como fraccionarios?
Para responder a ello observamos el siguiente resultado que nos deja una inquietud muy
interesante:
Supongamos que s y t son dos nmeros fraccionarios cualesquiera, y consideremos
s < t, (aqu el smbolo < entre nmeros fraccionarios tiene el mismo significado que se
le dio cuando apareci entre nmeros naturales (***)) respondamos a la pregunta:
Cuntos fraccionarios hay entre s y t?
Como
entonces, sumando t a los dos lados:
o sea

de donde
De la misma forma:
entonces, sumando s a los dos lados:
o sea

de donde

s <
s+ t <
s+ t <
st
2
<

t
t+t
2t

s < t
s+ s < s+t
2s < s+t
st
2
s <

st
2

As, el nmero
es ms pequeo que t y ms grande que s, y es fraccionario,
pues es la suma de dos fraccionarios s y t dividido entre un fraccionario (el 2). Es
decir,
st
2
s <
< t

Omar Evelio Ospina A.

Pgina 13

|__________ __________|
st
2
s
t
Luego entre dos fraccionarios cualesquiera, siempre hay un fraccionario.
st
2

Pero, habr ms de uno? Es claro que como


st
st
2
2
hay otro fraccionario, cul? Y entre
st
2
entre cualquiera de estos y s o t o
continuando con este proceso podemos concluir
fraccionarios.
De lo cual concluimos que:

es fraccionario entonces entre s y

y t hay otro fraccionario, cul? Y

hay tambin otros fraccionarios, y


que entre s y t hay infinitos

Entre dos nmeros fraccionarios, independientemente de lo cerca que est el uno del
otro, hay infinitos nmeros fraccionarios
4. EXISTENCIA DE NMEROS NO FRACCIONARIOS SOBRE LA
SEMIRRECTA: IRRACIONALES POSITIVOS.
Existencia de un nmero no fraccionario en la semirrecta
De la anterior conclusin, resulta como comprensible que nos atrevamos a afirmar que
la semirrecta que estamos considerando se encuentra completamente llena de nmeros
fraccionarios.
Pero esto no es cierto. Para demostrarlo, basta con mostrar un nmero que estando en la
semirrecta no es fraccionario

2 est ubicado en la semirrecta


Si se considera un tringulo rectngulo con catetos iguales a 1 su hipotenusa h, por el
teorema de Pitgoras, ser:
h2 = 12 + 12

entonces,

h 2

nmero que tiene una ubicacin en la semirrecta, como se puede aprecia en la siguiente
figura:

Omar Evelio Ospina A.

Pgina 14

2 no es fraccionario
Pero sucede que dentro de la misma escuela pitagrica, donde en otros trminos se
haba planteado el mismo problema, se demostr, con la siguiente demostracin
por el absurdo, sencilla y contundente, aproximadamente en el ao 430 A.C. que
2
ese nmero
no era fraccionario.
p
p
, con
2

Suponga que
= q
fraccin irreducible. Multiplicando los dos
q
lados de la ecuacin por q y elevndolos al cuadrado, se tiene que
tanto

2q =p

, por

es par, lo que implica que p es par (se puede demostrar fcilmente que

si un nmero elevado al cuadrado es par, entonces el nmero tiene que ser par), por
p2=4 t 2 , luego al reemplazar
consiguiente p = 2t para algn t natural, y as
2
2
2
2
2
arriba se tiene que 2 q =4 t , as, q =2t , es decir q es par, por tanto q es

par, de donde, como tanto p como q son pares, se concluye que p y q son divisibles
p
por 2, por tanto la fraccin q
no es irreducible, lo cual contradice la hiptesis,
entonces

no puede expresarse en la forma

p
q , con p y q naturales.

2 no es fraccionario.
La semirrecta no est llena de nmeros fraccionarios
Existencia de ms nmeros NO fraccionarios en la semirrecta
Son NO fraccionarios y estn sobre la semirrecta:
p
3
5
7
,
,
, en general
, siendo p un nmero primo
6 12
Races de algunos nmeros que no son primos, como
,

El nmero , cuya demostracin de no racionalidad no es elemental, y fue realizada


solamente hasta el ao 1767 por el matemtico suizo Johann Henrich Lambert.
Omar Evelio Ospina A.

Pgina 15

Todo nmero de la forma r + k, donde r es cualquier nmero fraccionario y k


cualquier nmero no fraccionario es un nmero no fraccionario, ya que si r + k = q,
fuese fraccionario, entonces k = q r, sera fraccionario, ya que la diferencia de
fraccionarios es fraccionario, lo cual es absurdo, pues se haba establecido ya que k
era no fraccionario.
Por tanto estos nmeros no fraccionarios, mnimo son tantos como los fraccionarios.
El conjunto de estos nmeros lo llamaremos el conjunto de los Irracionales Positivos
Caracterizacin de los Nmeros Irracionales Positivos
Pero, cmo se pueden caracterizar estos nmeros que no son fraccionarios, as
como se caracterizaron los fraccionarios como los de la forma
p
q0
q
, con p y q naturales,
?
Para caracterizar estos nmeros, es necesario caracterizar primero los nmeros
fraccionarios de otra forma diferente, para lo cual se requiere conocer algo sobre
la representacin de los nmeros en forma decimal.
REPRESENTACIONES DECIMALES
Nuestro sistema de numeracin, es un sistema decimal (en base 10) y posicional.
a0 a1 , a2 , a3 .. , an {0, 1, 2,3, 4, 5, 6,7, 8, 9, }
Es decir, si
entonces el valor que
representa el smbolo
an an 1 an2 a4 a3 a2 a 1 a 0

es:

a0 ( 10 ) +a1 ( 10 ) +a2 ( 10 ) + a3 ( 10 ) + +a n1 ( 10 )

n1

+an ( 10 )

As por ejemplo, la expresin


208245
representa el nmero

( 5 ) (10 )0+ 4 ( 10 )1 +2 ( 10 )2+ 8 ( 10 )3+ 0 ( 10 )4 +2 ( 10 )5


esto, claro est, cuando los nmeros son naturales.
Pero qu representa en este sistema un nmero como 632.8741?
Este nmero consta de dos partes: la parte entera que es el nmero natural 632, y la
parte decimal que es el nmero natural que aparece despus del punto, es decir 8741,
el cual no representa aqu ese nmero natural, sino un nmero menor que uno, el cual
simboliza la reunin de pedazos de la unidad obtenidos de la siguiente forma: primero
la unidad se parti en 10 pedazos, y de estos se tomaron 8, luego uno de estos pedazos
se dividi en 10 nuevos pedazos, y de estos se tomaron 7, uno de estos nuevos pedazos
se parti en otros 10 pedazos, y de estos se tomaron 4, y finalmente uno de estos ltimos
pedazos se dividi en 10 pedacitos y de ellos se tom 1.
En general, en este caso nos estamos refiriendo a nmeros de la forma:
an an 1 . a1 a0 .b 1 b 2 b3 .
Omar Evelio Ospina A.

Pgina 16

an , an1 , . a1 , a 0 , b1 , b2 , b3 .

donde

{0, 1, 2,3, 4, 5,6, 7, 8, 9 }

y la cantidad

de nmeros a la derecha del punto puede ser infinita.


Estos nmeros en potencias de 10 se representan en la forma:
n

an ( 10 ) +a n1 ( 10 )

n1

++a 2 ( 10 ) +a1 ( 10 ) +a0 ( 10 ) +b1 ( 10 )

+b2 ( 10 )2+ b3 ( 10 )3+


donde
k

10 =

1
=0.
000 .0 1
( k1 ) veces
10k

para cualquier valor de k = 1, 2,3 n

As por ejemplo la expresin


302.2428
representa el nmero:

( 3 ) ( 10 )2+ ( 0 )( 10 )1 + ( 2 ) ( 10 )0 + ( 2 ) (10 )1+ 4 ( 10 )2 +2 (10 )3+ 8 ( 10 )4

Pero qu relacin tiene esta representacin, con el objetivo planteado, de dar una
nueva caracterizacin a los nmeros fraccionarios?
Primero que todo el tratamiento que dimos atrs al considerar las fracciones de la forma
1
como una divisin, no es un caso aislado ni caprichoso. (***)
( 10 )P
En general, si consideramos una fraccin de la forma

P
q

irreducible, al realizar la

divisin completa de p entre q, es decir con todas las cifras decimales que aparezcan,
este nmero decimal ser nico para esa fraccin y todas las que se obtengan de sta por
ampliacin (es decir multiplicando numerador p y denominador q por un mismo
nmero natural)
Lo interesante adems es que la ubicacin en la semirrecta de la fraccin es la misma
que la de la expresin decimal resultante al realizar la divisin. Este nmero es
precisamente la representacin decimal de la fraccin.
Esto se conoce como la
Interpretacin de las fracciones como una Divisin
NOTA: Cuando se hace referencia a que a cada fraccin irreducible le corresponde una
nica representacin decimal, es necesario aclarar que los nmeros naturales tienen 2
Omar Evelio Ospina A.

Pgina 17

representaciones decimales de apariencia diferente, ya que por ejemplo el 2 se puede


representar como 2.0000. o como 1.9999.
Veamos por qu:
Sea

a = 1.9999.

entonces
restando:

10. a = 19.9999.
10. a = 19.999.

a=1.999 .
9. a=18.000
entonces

a=

18
=2
9

as
2 = 2.000. = 1.999.
Existen dos tipos de representaciones decimales, las peridicas, que son aquellas que a
partir de determinada posicin empieza a repetir sin interrupcin hasta el infinito un
determinado bloque de dgitos el cual llamamos perodo, por ejemplo:
0.3333.
24.875 421 421 421 421
327.642 642 642 642.
6. 24928754 37592 37592 37592.
Y las NO peridicas, que son aquellas que no tienen este tipo de presentacin, por
ejemplo
3. 412 411 2 4 111 2 411112 411111 2.
observe que aqu, entre el 4 y el 2 en cada bloque, aumenta el nmero de unos lo que
impide cualquier repeticin de cualquier bloque de nmeros.
0.170 270 370 470 570 670 770 870.
observe que antes de cada 70 van ordenadamente los nmeros naturales, los cuales
evidentemente interrumpen cualquier tipo de periodicidad.
Si se tiene una fraccin

P
q

, para obtener su representacin decimal dividimos p

entre q. Suponga que cuando se termina la divisin en su parte entera, es decir antes de
r 1 ( 0<r 1 <q )
empezar a considerar la parte decimal, se tiene como residuo
.
A partir de all agregamos un cero a la derecha de

r1

y un punto en el cociente y

dividimos obteniendo el primer dgito decimal y un residuo


Omar Evelio Ospina A.

Pgina 18

r 2 ( 0<r 2 <q )

continuamos agregando a la derecha de


segundo dgito decimal y un residuo
van encontrando residuos

r2

r 3 ( 0<r 3 <q )

r 1 ,r 2 , r 3 , .

un cero, y dividiendo se obtiene el


. Continuando con este proceso se

todos ellos mayores que cero y menores

que q, luego es evidente que a lo ms despus del q-simo residuo se debe repetir uno
de ellos, pues todos ellos son menores que q. Suponga que en el paso k, cuando se
rk
rj
halla el residuo
, ste resulta ser igual al residuo
que ya se haba hallado

( j<k ) , entonces a partir de all se repite la misma divisin que se haba hecho desde
el paso j hasta el paso k, repitindose lgicamente en el cociente, ese bloque de k j
rj
dgitos. A partir de all, como otra vez estamos en el residuo
, se vuelve a repetir
el bloque de dgitos en el cociente, y contina de esa forma hasta infinito.
As por ejemplo para
2

|7

60

2
7

0. 285714 285 714

40
50
10
30
20
60
40
50
10
30
20

En conclusin:
La representacin decimal de toda fraccin es una representacin decimal peridica.
As por ejemplo se tiene que:
1
3

= 0.33333.
602
125
= 4.816000
Omar Evelio Ospina A.

el bloque que se repite es 3

el bloque que se repite es 0


Pgina 19

338
99

1
7

= 3.414141

el bloque que se repite es 41

= 0.142857142857142857.

el bloque que se repite es142857

Recuerde, que de acuerdo a lo que se acaba de plantear, el nmero de dgitos que


aparece en cada bloque debe ser menor que lo que indica el denominador. Pero pueden
ser pocos, as el denominador sea grande, como en el tercer ejemplo. Puede que sean
muchos as el denominador sea pequeo, como en el caso del ejemplo 4, en donde
aparece el mayor nmero de dgitos posibles para el denominador 7, es decir 6 dgitos;
caso que se puede presentar incluso para denominadores ms grandes, como es el caso
1
de la fraccin 97 , cuyo perodo tiene 96 dgitos. Tambin puede ser posible que en
algn momento de la divisin, el residuo sea cero, en este caso, a partir de este instante
el cociente se seguir llenando de ceros, quedando as conformado su perodo por un
slo dgito que es el nmero cero, como en el segundo ejemplo. Ejemplo que tambin
sirve para apreciar que el perodo no necesariamente empieza inmediatamente despus
del punto, sino que puede haber un nmero de dgitos despus del punto previos al
inicio del perodo.
Pero lo importante es que tambin se tiene lo contrario, es decir:
Toda expresin decimal peridica siempre representa una fraccin
como se ver a continuacin.
Se va a ilustrar como es el proceso para, partiendo de cualquier representacin decimal
peridica, llegar a una fraccin que representa esta expresin decimal. Como presentar
el proceso en general, aunque no es complicado, puede resultar algo engorroso, se
presentar el proceso a partir de un ejemplo.
Sea a = 32.273535 la representacin decimal peridica de un nmero.
Primero se cuentan los dgitos que aparecen en la parte decimal hasta donde termina el
primer bloque peridico, en este caso cuatro, y se toma el nmero:
104a = 322735,3535,
Luego se toma el nmero a multiplicado por 10 elevado a la potencia que indique el
nmero de dgitos que hay en la parte decimal antes de empezar el bloque peridico, en
este caso 2, es decir se toma el nmero:
2

10 a=3227,3535
Por ltimo se hace la diferencia entre estos dos resultados as:

Omar Evelio Ospina A.

Pgina 20

10 a=322735,3535
10 2 a=3227,3535
10 4 a102 a=319508
luego
a ( 104 102 ) =319508
as que
a=

319508 319508
=
9900
10 4102

que es un nmero de la forma

p
q , con

p , q N , q 0 , con lo cual se ha

representado el nmero a como se quera.


Con estos dos resultados podemos afirmar entonces que:
Los nmeros fraccionarios se caracterizan porque su representacin decimal es
peridica, y recprocamente, todo nmero cuya representacin decimal es peridica es
un nmero fraccionario
De acuerdo a esto, resulta evidente que los nmeros que hemos presentado como no
fraccionarios no tendrn este tipo de representacin. Para manipular estos nmeros, en
general se aproximan con un nmero racional tomando un nmero finito de cifras
decimales, segn la necesidad. As por ejemplo:

1.4142135623730950488016887242097

1.7320508075688772935274463415059

5
7

3
2+

2.2360679774997896964091736687313
2.6457513110645905905016157536393
3.7320508075688772935274463415059

3.1415926535897932384626433832795

2+ 5.1415926535897932384626433832795

4.5558062159628882872643321074892

Omar Evelio Ospina A.

Pgina 21

Donde el smbolo significa aqu, aproximadamente igual.


Entonces a estos nmeros que no tienen representacin decimal peridica, como ya se
haba dicho, se les llamarn nmeros irracionales positivos
Luego concluimos que:
Los nmeros irracionales positivos, se caracterizan porque su representacin decimal
no es peridica.
Atrevmonos a construir algunos de ellos:
623.432332233222332222332222233222222332222222332.
41.61611611161111611111611111116111111116111111111611.
7.2822882228882222888822222888882222228888882222222888
Donde los puntos suspensivos indican que se continan colocando dgitos, siguiendo el
mismo proceso usado para construir los anteriores dgitos, es decir:
En el primero colocamos 6 veces 2 y el 33, luego 7 veces 2 y el 33 y as sucesivamente.
En el segundo el 6 y 7 veces 1, luego el 6 y 8 veces 1, el 6 y 9 veces 1..
En el tercero 7 veces 8 y 7 veces 2, luego 8 veces 8 y 8 veces 2 etc..
Evidentemente continuando con estas construcciones los resultados nunca darn
representaciones decimales peridicas
Todos estos nmeros tienen una posicin en la semirrecta. Por tanto la semirrecta estar
completamente llena por el cero, los racionales positivos, y los irracionales positivos,
pues un nmero diferente de cero, o tiene representacin decimal peridica o no la tiene,
es decir o es racional positivo o es irracional positivo. Con elementos del Anlisis
Matemtico, se puede demostrar que entre dos irracionales positivos hay infinitos
irracionales e infinitos racionales positivos, y entre dos racionales positivos, o el cero y
un racional positivo, hay infinitos irracionales positivos e infinitos racionales positivos
(este ltimo caso ya se demostr atrs).
(***) Comentario sobre operaciones con nmeros irracionales positivos

La necesidad de aproximar nmeros irracionales por racionales. Nmeros irracionales


como lmite de sucesin de nmeros racionales.
As se ha alcanzado gran parte del objetivo presentado en el segundo ttulo que se le
ha dado a esta parte del trabajo: llenando una recta con nmeros, pues ya se tiene
que:
La semirrecta queda as completamente llena por el cero, los nmeros racionales
positivos y lo nmeros irracionales positivos.
La pregunta que surge ahora es:
Cmo llenar de nmeros la recta completa? Es decir cmo llenar de nmeros la otra
semirrecta que falta para completar la recta?
Omar Evelio Ospina A.

Pgina 22

Esto implica la introduccin de un nuevo conjunto numrico: el conjunto de los


nmeros negativos.

5. COMPLETANDO
NEGATIVOS.

LA RECTA: CONSTRUCCIN DE NMEROS

Modelo de temperatura
Punto de referencia temperatura cero
Semirrecta conocida, para temperaturas mayores que cero
Semirrecta nueva, rplica de la anterior, pegada a sta del cero a la izquierda, colocando
un signo menos a los nmeros, para diferenciarlos de los de la semirrecta inicial
Recta Llena
Por tanto al juntar estas dos semirrectas en una sola recta sta est completamente llena
de nmeros, que se pueden clasificar en el cero, 0, (punto de unin y comn de las
dos semirrectas), los positivos, a la derecha del cero que avanzan hacia la derecha de
menor a mayor, y los negativos, que avanzan hacia la izquierda de mayor a menor es
decir, grficamente los puntos ubicados en la siguiente recta satisfacen:
______________________________|__________________________________
d

b>a
d<c

a>0

c<0

b>0

d<0

c<a

b>c
c<b

a, b positivos
c, d

negativos

Es decir al comparar dos nmeros x , y en la recta, si x est a la derecha de y


entonces x es mayor que y, (que lo simbolizamos como x > y ), sin importar si estn a
la izquierda o a la derecha del cero (es decir si son positivos o negativos)
Simetra de positivos y negativos respecto al cero
Otras situaciones que motivan la construccin de nmeros negativos
De las muchas situaciones de este tipo se presentan estos otros dos modelos:
a) Dinero que se posee y deudas.
b) Pendientes de rectas (***)
Queda pendiente para un poco ms adelante, la presentacin de operaciones con
nmeros negativos.
ALGO DE HISTORIA
Aunque los nmeros negativos segn parece, haban sido propuestos por los
matemticos Indios en el siglo VI D.C., su aceptacin en Europa solamente se dio hasta
el siglo XVII. Incluso en los trabajos de Tartaglia, Cardano y Stiefel en el siglo XVI,
relacionados con la solucin de ecuaciones cuadrticas, cbicas y cuartas, se aprecia la
tendencia a obviar los nmeros negativos como coeficientes en este tipo de ecuaciones,
lo cual se convirti en un obstculo para conseguir generalizaciones que permitieran un
trabajo ms sistemtico que permitiera hallar soluciones a dichas ecuaciones. Pero en
Omar Evelio Ospina A.

Pgina 23

los procesos de las soluciones de dichas ecuaciones, as se presentasen con coeficientes


positivos, podan aparecer nmeros negativos, los cuales aunque los manipulaban en
forma anloga a como se haca con nmeros positivos, si al final aparecan soluciones
negativas, stas no las aceptaban como soluciones verdaderas, es ms, Cardano las
llam soluciones intiles.
Nmeros Reales
Con los modelos expuestos atrs, se buscaba justificar intuitivamente la existencia de
los nmeros negativos, e incluso su ubicacin geomtrica, la cual permiti ampliar la
semirrecta llena de nmeros, a una recta llena de nmeros. A esta recta llena de
nmeros se le llamar la recta real, y a los nmeros representados por sus puntos se les
llamar nmeros reales. Y as a los nmeros reales que se encuentra representados por
puntos a la derecha del cero se les llamar nmeros reales positivos, y los que se
encuentran representados por puntos a la izquierda del cero se les llamar nmeros
reales negativos.
Extensin de Operaciones a la Recta Llena
Cmo extender las operaciones que conocemos con los nmeros reales positivos a los
nmeros ubicados en la recta completa?
Importante!:
Conservar las propiedades bsicas que satisfacen las operaciones inicialmente
definidas.
Aclaracin sobre la notacin
Cuando se dice que - a es un nmero negativo, es porque a es positivo, es decir - a
es el simtrico, al lado izquierdo del cero, del nmero a que se encuentra a la derecha
del cero.
________|________|_______|_______
-a
0

a>0
a

Pero si se afirma que a es un nmero negativo, es porque se est asumiendo que el


signo menos (-) ya est implcito en a es decir, a slo, sin el signo menos, se
debe ubicar a la izquierda del cero. En este caso el nmero (- a) ser positivo, y se debe
ubicar simtricamente a (a) a la derecha del cero
_______|_______|_________
a
0

a<0
-a

En el desarrollo que se realizar aqu, por lo pronto se asumir que cuando se haga
referencia a un nmero - a es porque a es positivo.
Suma de Nmeros Reales
Apoyndonos en el modelo del dinero, se tiene que:
0: no tener dinero ni tener deudas.
Nmero positivo A: tener A cantidad de dinero
Nmero negativo - B: deber B cantidad de dinero

Omar Evelio Ospina A.

Pgina 24

Si una persona tiene una deuda de a pesos y tiene a pesos evidentemente si rene
estas dos situaciones, es decir si con los a pesos que tiene paga la deuda de a pesos, su
saldo ser cero, es decir

(a ) +a=0
donde con el signo + se est representando esa reunin.
En forma anloga, si una persona tiene a pesos y los rene con una deuda de
a pesos tambin queda con saldo cero, es decir
a+ (a ) =0

aa=0

Este ltimo resultado se acostumbra a expresar tambin por

En este sentido un nmero negativo se puede considerar como el inverso aditivo de su


correspondiente positivo, y recprocamente el positivo como el inverso aditivo de su
correspondiente negativo, en el sentido de que al sumar los dos en cualquier orden su
resultado es cero.
Este resultado es el que realmente nos permite resolver cierto tipo de ecuaciones, en las
que al buscar su solucin afirmamos que una cantidad que est sumando a un lado de la
ecuacin pasa al otro lado a restar, y recprocamente. Por ejemplo, si se trata de hallar
un x que satisfaga la ecuacin
x+7=0
Sumando a los lados de la ecuacin el inverso aditivo de 7 es decir - 7 se obtiene:

( x+7 ) + (7 )=0+ (7 )
x+ ( 7+ (7 ) )=0+ (7 )
x+ 0=0+ (7 )
x=7

Aqu se est usando el hecho de que el resultado de sumar un nmero positivo con cero
(agregarle nada) es el mismo nmero, y se est extendiendo este resultado a los nmeros
negativos (pues tambin agregamos nada a la deuda). Adems se est extendiendo al
nuevo conjunto la asociatividad de la suma, la cual fcilmente se puede justificar con las
ideas intuitivas con que se est trabajando.
Ahora si una persona tiene una deuda de a pesos, y luego asume otra deuda de b
pesos, al reunir las dos deudas queda con una deuda de a + b pesos, o sea:

Omar Evelio Ospina A.

Pgina 25

a+ (b )=( a+ b )

ab=( a+b )

Es decir para sumar dos nmeros negativos, se suman sus correspondientes positivos, y
se coloca al resultado el signo menos (-).
Pero los nmeros negativos se pueden sumar tambin con los nmeros positivos:
Suponga que una persona tiene una deuda de a pesos y quiere reunir esa deuda con
b pesos que tiene en su poder, es claro que:
Si a = b queda con cero pesos
Si a es mayor que b, queda con una deuda de a b pesos, es decir el resultado de
abonar (restar) b pesos a la deuda.
Si a es menor que b, queda con un saldo a su favor de b a pesos pues paga la
deuda a y le sobran b a pesos
As para sumar un nmero negativo con uno positivo, olvdese del signo, reste el ms
grande del ms pequeo y coloque a esa respuesta el signo del ms grande.
Con estas situaciones queda justificada una presentacin de lo que es la suma de
nmeros reales
(***) Con este modelo, se pueden tambin justificar la conmutatividad y
asociatividad de la suma de nmeros reales.
Resta de Nmeros Reales
La resta de nmeros reales queda tambin definida, transformndola en una suma de
nmeros reales, con slo observar que:
ab=a+ (b )

(a )b=a+ (b )

pero qu significado tiene


b

(b )

(b )

(b ) ?

a(b )=a+ ((b ) )

: por partes:

es el inverso aditivo de

es el inverso aditivo de

b ,que es b. O de otra forma,

es el inverso aditivo del inverso aditivo de (- b), el cual si lo miramos con


detenimiento es el mismo b. Por tanto:

(b )=b

Y adems

a(b )=a+ ((b ) )=a+ b

Multiplicacin de Nmeros Reales


Una persona tiene una deuda de a pesos y multiplica esa deuda por el nmero positivo
b, es evidente que su deuda se convertir en ba pesos es decir:
b (a )=b a

Omar Evelio Ospina A.

Pgina 26

(a ) b=b a

y de esta forma se podra justificar el producto de un nmero negativo por uno


positivo.
Ahora cul ser el resultado de multiplicar un nmero real por el cero?
Para el caso de n un nmero natural, el producto de cero por n, es decir 0.n, o, n.0, se
puede interpretar como sumar n veces el nmero cero, lo cual evidentemente es igual a
cero, Pero para a un nmero real, no se puede dar la misma interpretacin a a.0 a 0.a
aunque se espera un resultado similar. Pero si tenemos en cuenta que la operacin de
multiplicacin que queremos extender a los nmeros reales tiene su origen en los
nmeros reales positivos en donde posee las propiedades asociativa y distributiva
respecto a la suma; propiedades que le vamos a exigir tenga la operacin extendida al
nuevo conjunto, podemos demostrar este resultado, asumiendo estas caractersticas de la
multiplicacin en los nmeros reales.
Para ello, supongamos que para a un nmero real cualquiera, se tiene que a.0 = c,
donde c, es un nmero real, y como tal tiene un inverso para la suma, el nmero real
c =( a.0 ) , lo que significa que:
c + (c )=cc=a .0+ (( a .0 ) )=a .0a .0=0
Ahora, de acuerdo a lo planteado, se pueden justificar los siguientes pasos:
a. 0 = c
a.(0 +0) = c
a. 0 + a.0 = c
a.0 + c = c
(a.0 + c) + (- c) = c + (- c)
a.0 + (c + (-c)) = 0
a.0 + 0 = 0
a.0 = 0
Por tanto, para cualquier nmero real a, se tiene que:
a.0 = 0
Pero ahora, para concluir con este proceso de extender la multiplicacin de nmeros
reales positivos a los nmeros reales, falta responder por el tratamiento que se dar al
producto de dos nmeros negativos.
Lo mismo que en el caso anterior, desde el punto de vista intuitivo, no se puede dar una
justificacin del resultado que se presentar. La dificultad de justificar en lenguaje
cotidiano dicho resultado, se puede poner de manifiesto en la respuesta que dio Euler
(1707 1783) a este interrogante:
Despus de justificar que a (- b) = - a b, ms o menos basado en las mismas ideas con
que acabamos de obtener este resultado, Euler argument que:
como (- 1) (- 1) no puede ser (-1), pues ste es el resultado de multiplicar (1). (- 1),
entonces necesariamente debe ser 1. Despus basado en este resultado concluye que
(a ) (b )=a b

Omar Evelio Ospina A.

Pgina 27

Este resultado que en los cursos elementales, generalmente se presenta como una parte
de la llamada regla de los signos, realmente tiene que cumplirse en el conjunto de los
nmeros reales, si se quieren extender, como lo dijimos anteriormente, la propiedad
distributiva del producto con la suma y la propiedad asociativa de la multiplicacin, que
se cumplen en el conjunto de los reales no negativos, al conjunto completo de los
nmeros reales.
Suponga que

(1 ) (1 )=a , y que se cumple la propiedad distributiva, entonces:

(1 ) ( 1+ (1 ) )=(1 )( 1 ) + (1 )(1 )
(1 ) . 0= (1 ) +a
o sea que

1+ a
a=1

as
por tanto

(1 ) (1 )=1
y en forma anloga se puede demostrar que en general, para cualquier par de nmeros
reales a y b
(a ) ( b ) =a b

pues si suponemos que

(a ) (b )=c

, y se cumplen las propiedades ya

enunciadas, entonces:

(a ) (b+ b )= (a )(b ) + (a ) ( b )

(a ) .0=c + (a ) ( b )
0=c+(( a b ) )

a . b=c
y de esta forma queda completa la justificacin de los diferentes casos que se pueden
presentar al realizar el producto de dos nmeros reales, teniendo en cuenta sus signos.
6. CLASIFICACIN DE LOS NMEROS EN LA RECTA LLENA.
As construida la recta llena de nmeros, es claro que se han generado varios conjuntos
numricos perfectamente caracterizados: los nmeros naturales, los nmeros enteros,
los nmeros racionales, los nmeros irracionales, y los nmeros reales. En cada uno de
ellos, a excepcin del conjunto de los nmeros naturales, se distinguen tres
subconjuntos disjuntos, cuya reunin es todo ese conjunto: el conjunto cuyo nico
elemento es el cero, el conjunto de los nmeros positivos de ese conjunto y el conjunto
de los nmeros negativos de ese conjunto.
En resumen, y con las notaciones que se acostumbran usar para distinguirlos se tienen:
Omar Evelio Ospina A.

Pgina 28

Nmeros Naturales: N=

`1, 2 , 3 , 4 , 5

como se haban definido.

El Cero: El punto de unin de las dos semirrectas construidas. Puede considerarlo o no


como un nmero natural, segn su conveniencia

3 , 2 , 1 , 0 ,1, 2 , 3 ,

Nmeros Enteros: Z =
es decir los naturales, el cero y
los naturales pero con signo negativo.
Observe que por tanto los nmeros naturales tambin son nmeros enteros. Es decir
N Z
p

p , q ,

q 0

Nmeros Racionales: Q =
Observe que a diferencia de los fraccionarios con los que se trabaj inicialmente, aqu
p y q son enteros por tanto p/q puede ser positivo o negativo, o cero.
2
2 2
2

5
5
5
5
(***) si es negativo observe que:
pero no es
es decir el signo
(-) o lo lleva la fraccin o lo lleva slo el numerador, o slo el denominador.
Como consecuencia inmediata se tiene que los enteros son tambin nmeros racionales,
y todos los fraccionarios ya definidos tambin lo son y que la caracterizacin que se
hizo de los fraccionarios por su representacin decimal peridica tambin se tiene para
los fraccionarios negativos, sin olvidar su signo. Por tanto aqu:
Z Q
Nmeros Irracionales: Q*. Son los irracionales positivos definido atrs y los
negativos, los cuales tambin presentan la caracterstica de no periodicidad en su
representacin decimal. Por su construccin se tiene que:
Q Q* =
Nmeros Reales: R. Son todos los nmeros que llenan la recta es decir los racionales y
los irracionales. Estos nmeros y sus propiedades sern la base del objeto de estudio de
las funciones y del clculo, temas fundamentales en la formacin matemtica de los
ingenieros, administradores, economistas, fsicos, matemticos, bilogos y muchos
otros profesionales. Por su construccin es claro que todos los conjuntos numricos que
se construyeron, son subconjuntos del conjunto de los nmeros reales. Adems se tiene
que:
Q Q* = R
y recalcando lo que se dijo anteriormente:
La recta as llena de nmeros se llama la RECTA REAL.
Omar Evelio Ospina A.

Pgina 29

7. CONSTANTES Y VARIABLES:
Dado un conjunto numrico de los definidos atrs, una constante es un nmero fijo
tomado de este conjunto.
As 3 es una constante natural, pero tambin es entera, como lo es racional como
tambin real, pues pertenece a cualquiera de esos conjuntos. Pero 3 no es constante
5
irracional.
es una constante irracional, como tambin es constante real, pero no es
constante natural, ni entera ni racional.
3
5
es constante racional, como tambin constante real, pero no es constante natural, ni
entera ni irracional.
Muchas veces en problemas generales se asigna con una letra, una constante, por
ejemplo se dice sea a una constante real, se debe entender que en ese problema a
representa un nmero real fijo, determinado, aunque no se ha dicho cual. Por tanto si se
n0
n0
dice que
es una constante natural se entiende que ese representa un nmero
natural fijo, aunque no se establece de entrada cual es.
Una variable es un smbolo que representa cualquier elemento de un conjunto dado,
pero no fijo. Por ejemplo si decimos que n es una variable natural, se entiende que en el
problema n representa cualquier nmero natural, si se dice que es variable entera n
representa cualquier nmero entero. Por ejemplo si se tienen estos problemas:
n 2 9
a) Halle el valor de n natural que satisface la ecuacin
es claro que 3 es
el nico nmero natural que la satisface (se entiende que en esa ecuacin n slo
podr tener respuesta entre los nmeros naturales, por tanto el -3, que tambin es
solucin de esta ecuacin, no nos interesa aqu, pues no es un nmero natural ).
n 2 9
b) Halle el valor de n entero que satisface la ecuacin
, es claro que como
aqu n representa nmeros enteros, y tanto el nmero 3 como el 3 satisfacen la
ecuacin y los dos son enteros, su solucin es n = 3 o n = - 3, es decir hay 2
soluciones al problema. Observe que aqu n siendo variable entera, la solucin del
problema se puede dar expresando que n = 3 o n = - 3 , es decir n, as slo, sin
signo que le preceda, puede ser negativo.
c) Si se afirma que x es una variable real, se supone que el x representa cualquier
elemento del conjunto de los reales, es decir, x puede ser cero, o x puede ser
positivo, o x puede ser negativo (sin que haya que colocarle - x).
d) Observe que si se afirma que x es una variable real positiva, es decir que x
representa cualquier real positivo, (x > 0) entonces - x representar cualquier real
negativo (- x < 0)
Pero OJO, si se afirma que x es una variable real negativa, es decir que x
representa cualquier real negativo (x < 0), entonces - x, en este caso, representar
cualquier real positivo (- x > 0)
e) Si x es variable entera, la ecuacin 2x + 1 = 0 no tiene solucin, pues cuando x
se reemplaza en la parte izquierda de la ecuacin por cualquier entero el resultado

Omar Evelio Ospina A.

Pgina 30

nunca dar cero (observe que

1
2

satisface la ecuacin, pero no es entero). Pero si


1
x
2
x es variable real, la ecuacin 2x + 1 = 0 tiene a
como solucin, pues al
1
1

2
2
reemplazar la x all por
satisface la ecuacin y adems
es racional, y
por ser racional es tambin real.
8. CONCEPTO DE VALOR ABSOLUTO DE NMEROS REALES.
Considere la recta real
Dados dos nmeros en ella, llamamos la distancia entre dos nmeros la longitud del
segmento de recta que los separa. Es claro que por ser longitud siempre ser mayor o
igual a cero. (No hay aqu distancias negativas) as:
La distancia entre el 1 y el 4 es 3 (lo mismo entre 4 y 1)
La distancia entre el 0 y 7 es 7 (lo mismo entre 7 y 0)
La distancia entre el 3 y 0 es 3 (lo mismo entre 3 y 0)
La distancia entre el 7 y 8 es 15 (lo mismo entre 8 y -7)
1 2 y 3 4 es 5 4
3 4 y 1 2
La distancia entre el
(lo mismo entre
)
7 5 y 3 8 es 41 40
La distancia entre
(por qu?)
Dado x real ( x variable real, o sea x puede tomar cualquier valor real, es decir x
puede ser 0, positivo o negativo, x = 0 o x > 0 o x < 0), llamamos el valor absoluto
x
de x a la distancia entre x y el cero, (y se nota
)
As
0 0
pues la distancia entre 0 y 0 es 0
25 25
pues la distancia entre 25 y 0 es 25
25 25
pues la distancia entre - 25 y 0 es 25

25 25

25

Observe que
es decir el mismo nmero pues ste es positivo, pero
ya no es el mismo nmero, pues 25 es negativo y las distancias son positivas, y
claramente la distancia de 0 a 25 y de 0 a 25 es la misma: 25, luego el valor absoluto
de un nmero negativo no es el mismo nmero sino menos el nmero, el cual ser
25 25 25
positivo:
En conclusin como x es variable real puede ser positiva negativo o cero entonces:
Omar Evelio Ospina A.

Pgina 31

x0

x 0

Si

distancia de cero a cero.

x0

x x

Si

distancia de cero a un nmero positivo (el mismo nmero)


x0 x x
Si
como x es negativo, -x es positivo, luego la distancia al cero no
la puede representar x sino -x, pues la distancia es positiva.
Resumiendo:
x0
x0

x si
x si

Generalizando: Si se tiene una expresin matemtica cualquiera,


Expresin
Expresin

Expresin

si Expresin 0
si Expresin 0

Si la expresin es por ejemplo 2x + 1, entonces

2 x 1

2 x 1 0

es decir si x 1

2 x 1 si

2 x 1 0

es decir si x 1

x y
x y

x y0
x y 0

2 x 1

si

Tambin:
x y

si
si

es decir si
es decir si

x y
x y

Una vez se tiene claro el concepto de valor absoluto, se puede concluir, a partir de la
idea intuitiva de la distancia entre dos puntos, que la distancia entre dos nmeros
reales, es el valor absoluto de la diferencia de los dos nmeros.
Observando inicialmente con ejemplos concretos, casos como:

3 7 7 3
Distancia entre 3 y 7

y entre 7 y 3

es

Distancia entre 2 y 5

y entre 5 y 2

es

Distancia entre 7 y 8

y entre 8 y 7

es

=4
25 5 2

7 8

En forma ms general se tiene que, si P y Q son nmeros reales:

Omar Evelio Ospina A.

Pgina 32

=7
8 7
=1

d ( P, Q )=| PQ|
Ya que aplicando la definicin a lo que se aprecia grficamente se tiene que:
Si P = Q
Si Q

d ( P, Q )=0=|PP|=|PQ|

P con P , Q> 0

________
_______|_______|_______|________
0
P
Q
_________________

d ( P , Q )=QP=|QP|=|PQ|

Si

P con P , Q< 0

___________________
_____|_________|________|__________
Q
P
0
_________

d ( P , Q )=Q (P )=PQ=|PQ|
Si

P>Q P> 0 ,Q< 0

________
______|________|________|___________
Q
0
P
_________

d ( P, Q )=Q+ P=PQ=| Pq|

Es claro, que por la propiedad

| A|=|A| , (pues la distancia entre cero y un nmero

es iguala a la distancia entre cero y menos el nmero) se obtiene inmediatamente que:


d ( P, Q )=| PQ|=|QP|

(***)

Omar Evelio Ospina A.

Pgina 33

PARTE 2.
LA DEMOSTRACIN EN LA ENSEANZA DE LAS MATEMTICAS EN EL
NIVEL BSICO.
1. LA NECESIDAD DE LA INDUCCIN MATEMTICA
(De lo particular a lo general en el universo de los nmeros naturales)
En el estudio de los nmeros naturales, existe la tendencia de generalizar situaciones
particulares relacionadas con ellos, pero esas generalizaciones deben darse de tal forma
que no quede duda alguna de que el resultado obtenido es siempre correcto para
cualquier nmero natural. Una de las formas rigurosas de asegurarnos de ello es por
medio de un proceso de demostracin particular para estas situaciones, conocido como
el mtodo de induccin matemtica.
Si bien es cierto, en los cursos de matemticas en secundaria, en general no se dedica
tiempo al tema de demostraciones usando el mtodo de induccin matemtica,
considero que la claridad conceptual sobre este tema, por parte de los docentes que
ensean en este nivel, puede serles til en el momento que, por ejemplo requieran
motivar o explicar cmo extender un resultado conocido para un nmero pequeo de
casos particulares a un nmero de casos tan amplio como se desee, llegando incluso a
extenderlo a infinitos casos. Puede incluso plantearse si no sera conveniente hacer una
adecuada introduccin sobre este tema en algn curso, as su aplicacin se quede
solamente en ejemplos ilustrativos.
Inicialmente, se plantea la razn de ser de este mtodo, observando las diferentes
situaciones que se pueden presentar en el momento de tratar de hacer una generalizacin
de situaciones que ya han sido verificadas en varios casos particulares. Esta especie de
motivacin se expondr a partir de algunos ejemplos:
CASO 1: FALSAS GENERALIZACIONES.
EJEMPLO 1
Propuesta:
Para todo nmero natural n, la expresin
n 2 n 41
es un nmero primo.
en efecto, analizando la propuesta para algunos nmeros naturales, empezando desde 1
tenemos:
n 2 n 41
para n = 1
= 41 que es primo
Omar Evelio Ospina A.

Pgina 34

n 2 n 41
para n = 2

= 43 que es primo
n n 41
2

para n = 3

= 47 que es primo
n n 41
2

para n = 4

= 53 que es primo

y si de esta forma, continuamos dndole a n los valores de 5,6,7,8,etc., hasta el


nmero 40, siempre obtenemos un nmero primo, lo que nos podra hacer pensar, tal
vez cuando ya cansados lleguemos a n = 30, por ejemplo, de que esta proposicin
siempre es verdadera.
n 2 n 41
Pero OH SORPRESA cuando para n = 41 obtenemos
que evidentemente NO ES UN NMERO PRIMO

41 2

y as, la generalizacin que se nos estaba insinuando, con los clculos particulares, no
era cierta. Estamos frente a una falsa generalizacin.
NOTA: Un resultado anlogo a este, pero ms sorprendente, se tiene con la expresin:
2

n 79 n+1601
la cual genera nmeros primos para todo valor de n menor que 80, pero para n = 80, se
tiene que: (80) 2 (79) (80) + 1601 = 1681 = (41) (41), lo que indica que no es primo.
EJEMPLO 2
En el siglo XVII se plante el siguiente resultado:
Propuesta:
Si laexpresin

2n
para n un nmero natural , tiene como resid uo 2,
n
entonces n es un nmero primo

Es importante aclarar que la propuesta no afirma que todo nmero primo satisface esta
condicin, pues evidentemente el nmero 2 que es primo no la satisface, ya que la
2
2
expresin 2 , tiene como residuo cero y no 2. Lo que afirma es que si un nmero
natural la satisface entonces ese nmero es primo
Verificando para algunos nmeros naturales, vemos que efectivamente se tiene este
resultado:
23 8
=
La expresin
tiene residuo 2, y el 3 es primo
3 3

Omar Evelio Ospina A.

Pgina 35

2 32
La expresin 5 = 5

tiene residuo 2, y el 5 es primo

2 128
La expresin 7 = 7

tiene residuo 2, y el 7 es primo

11

La expresin

2
2048
=
11
11

tiene residuo 2, y el 11 es primo

Y se comprob su veracidad para una gran cantidad de nmeros, no obstante que para
n
la poca los clculos eran manuales, y a medida que n crece, la expresin 2 , va
generando nmeros muy grandes. Pero en 1819, se mostr que la expresin:
2341
341
tiene como residuo 2, pero el nmero 341 NO es primo, pues 341 = (31) (11)
Es decir estbamos tambin ante la presencia de una falsa generalizacin.
CASO 2: GENERALIZACIONES CORRECTAS.
EJEMPLO 1
Propuesta:
Para todo nmero natural n:
n n 1
2
1 + 2 + 3 + 4 + 5 + 6 +.+ n =
Evidentemente, analizando la propuesta, para algunos nmeros naturales empezando
desde 1 se aprecia que se satisface:
1+2=3=

( 2) ( 3)
2

1+2+3=6=

( 3) ( 4 )
2

1+2+3+4=10=

Omar Evelio Ospina A.

( 4 )( 5 )
2

Pgina 36

y de esta forma, si continuamos dndole valores naturales a n, observamos que la


frmula propuesta se cumple. Pero como es imposible hacer la evaluacin para todos los
nmeros naturales, no podemos afirmar que la frmula se cumple para cualquier
nmero natural. Por tanto si la cantidad de clculos nos sugiere que la frmula siempre
es verdadera, debemos hacer una demostracin de ella, usando la variable n, en
representacin de cualquier nmero natural, es decir trabajar con el caso general, ya no
para casos particulares como lo habamos venido haciendo.
La siguiente demostracin clsica, est segn parece basada en una argumentacin de
Gauss para solucionar un caso particular:
Si se nota por Sn, la suma pedida, es decir:
Sn 1 2 3 4 n

A continuacin se escribe esta igualdad de dos formas, representando la expresin de la


derecha al derecho, es decir dejndola tal como est y representndola al revs, es
decir empezando en n. Luego se suman estas dos igualdades, as:
Sn 1

Sn

n 1

n 1

n2

n 3

n 1

n 1

n 1

2 S n n 1

n 1

n 1

2 S n n n 1

as
Sn

luego

n n 1
2

que es precisamente lo que se pretenda demostrar, por tanto esta proposicin es


verdadera para todo nmero natural.
EJEMPLO 2
Propuesta:

Paratodo nmero natural n , se tiene que

2n >n
Evidentemente, verificando para algunos valores de n, se satisface la propiedad:
Para n = 1

21> 1

Omar Evelio Ospina A.

Pgina 37

Para n = 2

2 >2

Para n = 3

2 >3

Para n = 4

24 > 4

Lo mismo que en el ejemplo anterior, si despus de intentar con muchos valores de n se


aprecia que la propiedad se cumple, esto no nos garantiza que se cumpla para cualquier
nmero natural, por tanto, si se pretende hacer una afirmacin en ese sentido, se debe
presentar una demostracin de ello. Como por ejemplo la siguiente:
Recordando el teorema del binomio, se tiene que:

( a+b )n=a n+ n an1 b+

n ( n1 ) n2 2 ( n2 ) ( n1 ) n n3 3
n1
n
a b+
a b + na b + b
2
6

Aplicndolo para a =1 y b = 1, se tiene que:


2n=( 1+1 )n=1 n+ n1n1 1+

n ( n1 ) n2 2
1 1 ++n 1. 1n1+1n
2

entonces.
n

2 =1+n+

n ( n1 )
++n+ 1> n
2

pues todos los nmeros a la derecha de la igualdad son positivos, y la suma de nmeros
positivos siempre es mayor que cualquiera de sus sumandos, en este caso mayor que n,
que es uno de los sumandos que aparecen. As se ha demostrado que para todo nmero
natural n
2n >n

CASO 3. CONJETURAS
EJEMPLO 1. (CONJETURA DE GOLDBACH)
En 1742 el matemtico alemn Christian Goldbach, le propuso a Euler que demostrara
que la siguiente propiedad se cumple para todos los nmeros naturales, o de no poderlo
hacer, que mostrara un ejemplo donde sta no se cumpliera

Omar Evelio Ospina A.

Pgina 38

Propuesta:
Todo nmero par, excepto el 2, que es un nmero primo, se puede expresar como la
suma de dos nmeros primos.
Cuando esto, Goldbach ya haba observado que en todos los casos ensayados, la
proposicin se cumpla, por ejemplo:
4 = 2+2
10 = 5 + 5
16 = 13+ 3

6 =3+3
12 = 5 + 7
18 = 11+7

8=3+5
14 = 7 + 7
20 = 17 +3

Pero Euler, matemticamente no pudo hacer una demostracin de ello, por lo tanto no
poda asegurar que fuese cierta, como tampoco poda afirmar que era falsa, pues no
pudo hallar un ejemplo que la negase. Este tipo de situaciones es lo que se conoce como
una conjetura, y dejar de serlo cuando alguien logre realizar una demostracin de que
se cumple para todo nmero natural, o muestre un nmero par para el cual no se puedan
hallar dos nmeros primos cuya suma reproduzca el nmero.
Lo interesante es que a la fecha an contina siendo una conjetura, pues an nadie ha
conseguido demostrarla, y en cuanto a encontrar un nmero par que no satisfaga la
propiedad, gracias a los adelantos en maquinas de computacin, se ha logrado verificar
la propiedad para todos los nmeros hasta cerca de 400 billones. (***)
EJEMPLO 2 (CONJETURA DE COLLATZ)
Conocida tambin como conjetura de Ullam o como la secuencia encantada, o como el
problema de 3n + 1, fue enunciada por Lothar Collatz en 1937, y se puede plantear as:
Propuesta:
Dado un nmero cualquiera, construya otro de la siguiente forma, si es par dividiendo
el nmero entre 2, y si es impar multiplicando el nmero por 3 y sumndole 1.
Con este resultado, aplicando la misma frmula al resultado del proceso anterior,
construya otro, y con el nuevo resultado construya otro, y de esta forma contine
construyendo una sucesin de nmeros.
La propuesta planteada es que en esa sucesin, despus de un nmero finito de pasos
se llega siempre al nmero 1.
Po ejemplo, aplicando la frmula al nmero 17, construimos los siguientes nmeros
hasta llegar al 1:
17 52 26 13 40 20 10 5 16 8 4 2 1

Hasta la fecha este resultado an no se ha podido demostrar, y en cuanto a encontrar un


contraejemplo, tambin hay pocas esperanzas, pues gracias a las maquinas de
computacin en el ao 2005 se comprob que la proposicin planteada se satisface para
todos los nmeros menores que 258 . Por tanto estamos de nuevo ante una conjetura.
DEMOSTRACIONES POR INDUCCION MATEMATICA:

Omar Evelio Ospina A.

Pgina 39

En el ejemplo 1, del caso 2 que trata sobre generalizaciones correctas, se vio que la
expresin:

1 + 2 + 3 + 4 + 5 + 6 +.+ n =

n n 1
2

era una generalizacin correcta, y para confirmarlo se dio una demostracin, algo
artificiosa de este hecho. Lo mismo se hizo, con una demostracin ms directa, en el
ejemplo 2 tambin del caso 2, y se demostr que:
2n >n
Mas sin embargo, en general, cuando se llega a plantear un posible resultado que se
cumple para todos los nmeros naturales, no resulta tan inmediato dar una demostracin
como se hizo en estos dos casos. Pero gracias a una propiedad importante de los
nmeros naturales, el llamado principio de induccin matemtica, que afirma que:
Si una proposicin cualquiera se satisface para el nmero natural 1, y adems
siempre que se satisfaga para el nmero natural k, se satisface para el nmero natural
k + 1; entonces el conjunto de los nmeros que satisface esta propiedad es el conjunto
de los nmeros naturales.
muchas de estas proposiciones planteadas para todos los nmeros naturales, o para
n0
todos los nmeros naturales a partir de un nmero natural fijo
, se pueden demostrar
utilizando este principio. Pues para demostrar que una propiedad dada se cumple para
todos los nmeros naturales, segn este principio basta demostrar dos cosas: primero
que la proposicin se cumple para 1, y luego en forma general, asumir como hiptesis
(hiptesis de induccin), que sta se cumple para k, y a partir de ello demostrar que la
proposicin se cumple para (k + 1).
El principio de induccin matemtica se puede ilustrar de la siguiente forma: Imagnese
que una persona desea subir todos los escalones de una escalera infinita; si a esa persona
se le garantiza dos cosas: primero, que la dejan subir al escaln nmero uno y segundo,
que siempre que se encuentre en el escaln k, la dejan subir al escaln (k+1), es
evidente que esa persona podra subir todos los escalones, pues ya estando en el 1, se la
deja subir al 2, y estando en el 2 se le deja subir al 3, y de 3 se la permite pasar al 4, y de
ste al 5, y as sucesivamente, continuando de esta forma, podra recorrer todos los
escalones, representados por todos los nmeros naturales, Obsrvese que si una de las
dos condiciones no se da, entonces no se puede garantizar que la persona recorra todos
los escalones, pues si no se le permite subir el primer escaln ya no podr recorrer todos
los nmeros naturales, y si estando autorizado para subir al escaln 1, no se le garantiza
que pude subir al escaln siguiente, en algn escaln va a quedar estancado.
Como un primer ejemplo se presenta la demostracin de la proposicin del ejemplo 1
del caso 2, usando este principio de induccin matemtica:
EJEMPLO DE DEMOSTRACIN POR INDUCCIN 1
Demuestre que para todo nmero natural n, se verifica que:
Omar Evelio Ospina A.

Pgina 40

1 2 3 n

n n 1
2

i) Se verifica que la propiedad se cumple para n = 1. Haciendo n = 1 en los dos lados


de la ecuacin se tiene:
1

1 1 1
1
2

ii) Se supone que la proposicin se cumple para n = k, es decir, se supone que


1 2 3 k

k k 1
2

que es la llamada hiptesis de induccin.


iii) Asumiendo que la hiptesis de induccin es cierta, se debe demostrar que la
proposicin se cumple para n = k + 1 es decir, que:
1 2 3 k k 1

k 1 k 2
2

En efecto:
1 2 3 k k 1 1 2 3 k k 1

k ( k +1 )
+ ( k +1 ) aplicando la hiptesis de induccin
2

k 2 3k 2
k 1 k 2

2
2

Luego de acuerdo con el principio de induccin matemtica, de lo anterior se concluye


que la proposicin es vlida para todo nmero natural.
EJEMPLO DE DEMOSTRACIN POR INDUCCIN 2
En este ejemplo se va a demostrar la proposicin del ejemplo 2 del caso 2, es decir:
Demuestre que para todo nmero natural n, se tiene que:
n

2 >n
Es claro que la proposicin se cumple para n = 1, pues
Omar Evelio Ospina A.

Pgina 41

2 >1

Suponga ahora que la proposicin se satisface para un k > 1, es decir la hiptesis de


induccin ser
2k >k
Se debe demostrar, que cumplindose esto, se debe tener que:
2k+1 > k+ 1
En efecto.
2k+1 =2 ( 2 k )=2k +2k >k +k > k +1
donde en la penltima desigualdad se est usando la hiptesis de induccin, y en la
ltima el hecho de que k > 1.
EJEMPLO DE DEMOSTRACIN POR INDUCCIN 3
Demostrar que para todo nmero natural n 1 se tiene que:
4 2 n1

es divisible por 5

Primero hay que ver que la proposicin se cumple para n = 1, lo cual evidentemente se
tiene, pues
4 (2 )( 1)1=42 1=15

que es divisible por 5

Suponga ahora que la proposicin se verifica para k, es decir suponga que:


4 2 k 1

es divisible por 5

o sea que,
2k

4 1=5 p para algn p Z


que es la hiptesis de induccin
Se debe ver entonces que, a partir de ello, la proposicin es vlida para (k + 1), es decir
se debe demostrar que:
4 (2 )( K +1)1

es divisible por 5

lo cual es cierto pues:


4 (2 )( K +1)1 = 4 (2 K+2 )1 =
Omar Evelio Ospina A.

2k
4 2 42 k 1 = 16 ( 4 )1

Pgina 42

2k
2k
= 16 ( 4 )1+1515 = 16 ( 4 )16+15

2k
= 16 ( 4 1 ) +15

= 16 ( 5 p )+15

para algn entero p

5 ( 16 p+3 ) = 5t

( 2 )( K +1)
1 es
siendo t=16 p +3 con p Z , que es un nmero entero, luego 4

divisible por 5.
As, por el principio de induccin matemtica, la proposicin es verdadera para todo
nmero natural n
NOTAS
1. Un error frecuente que se comete cuando se pide demostrar que determinada
propiedad es vlida para todos los nmeros naturales, es verificar que sta se cumple
para el 1, para el 2, etc., hasta un nmero natural fijo, y generalizar de all que sta se
satisface para todos los nmeros naturales, como se hizo en los ejemplos 1 y 2 del caso
1, lo cual como se pudo apreciar puede llevarnos a conclusiones falsas.
2. Tambin puede suceder, como se ilustrar en el siguiente ejemplo, que se llegue a
resultados errneos, si una proposicin satisface la segunda condicin planteada en el
principio de induccin, pero no satisface la primera, es decir, siempre es necesario
verificar que se satisfagan las dos condiciones, por ejemplo:
Se plantea la siguiente proposicin:
Para todo nmero natural n,
1 23 n

1
2n 1 2
8

Se demostrar, usando el mtodo de induccin matemtica, pero bajo el supuesto de que


la parte esencial de este proceso es la segunda, pues es la que resulta ms complicada en
la demostracin, se procede a dejar a un lado esta primera parte y solamente realizar la
segunda.
Se supone que la proposicin es cierta para n = k, es decir que:
1 23 k

1
2k 1 2
8

y se debe verificar que es cierta para n = k + 1, es decir, que:


1 2 3 k k 1

1
2 k 1 1 2 1 2k 3 2
8
8

en efecto,
Omar Evelio Ospina A.

Pgina 43

1 2 3 k k 1 1 2 3 k

+ (k + 1)

1
2k 1 2 (k 1)
8

(aplicando la hiptesis de induccin)

1
2k 1 2 1 8k 8 1 4k 2 4k 1 8k 8
8
8
8

1
1
2

4k 2 12k 9 2k 3
8
8

As, la segunda parte de la demostracin por induccin se cumple, es decir estando en


el escaln k, hay autorizacin para subir al escaln (k + 1), mas sin embargo observe
que la proposicin no se cumple para k = 1, o sea que no se puede subir al primer
escaln, y es ms, tampoco se puede subir a cualquier otro escaln, pues para cualquier
otro valor de k, se tiene que la expresin de la izquierda ser siempre una suma de
nmeros naturales, cuyo resultado es un nmero natural, mientras que la expresin de la
derecha siempre es un nmero impar elevado al cuadrado , cuyo resultado siempre es un
nmero impar, el cual al dividirlo entre 8, que es un nmero par, siempre dar como
resultado un nmero fraccionario, no natural. Luego esta igualdad nunca se tendr.
En resumen, no se puede avanzar nada si se tiene la autorizacin de subir al siguiente
escaln estando en cualquiera de ellos, si no hay forma de estar en ninguno de los
escalones.
Es decir, esta demostracin por induccin est incompleta.
2. DEMOSTRACIONES O JUSTIFICACIONES?
Frecuentemente nos preguntamos hasta qu punto las demostraciones en clase influyen
positiva o negativamente en el propsito de motivar a los estudiantes de secundaria a
conocer algunos temas de matemticas? Esto debido a que se puede argumentar que en
algunos casos, una demostracin llega a distraer al estudiante de la ruta que perciba en
el desarrollo del tema, esto tal vez se deba a que por su poca formacin en
matemticas, el estudiante no logra captar los detalles de la misma, ni apreciar su
verdadera importancia, convirtindose as, para l, ms en una barrera, que en un
instrumento que sirve para reforzar ms ampliamente el sentido del concepto que se est
trabajando. Pero en otros casos se considera que son necesarias para que la
presentacin del tema adquiera ms fuerza desde el punto de vista conceptual.
En mi concepto, hay que evitar que en el desarrollo de un curso de matemticas a nivel
de secundaria, las demostraciones se conviertan en algo que desmotive al estudiante a
conocer las matemticas, en algo que lo aleje del inters que posiblemente tena cuando
se iniciaba en algn tema de matemticas. Pero se deben suprimir del todo las
demostraciones a este nivel, y solamente manejar frmulas o resultados desprovistos de
cualquier soporte probatorio? Creo que no. En la medida de lo posible se debe justificar
el camino que conduce a los resultados que se van a manipular ms adelante, aunque no
necesariamente con demostraciones formales, ms bien tratando de evitarlas a menos
Omar Evelio Ospina A.

Pgina 44

que se tenga certeza del efecto positivo que tendr en los estudiantes, pero, en caso
contrario, reemplazndolas por justificaciones, explicaciones, o ejemplos motivadores
que muestren que estos resultados no aparecen como por arte de magia, sino que
provienen de un anlisis juicioso en la construccin de la matemtica.
Desde este punto de vista, ilustrar la presentacin no formal de algunos resultados
relacionados con propiedades de operaciones numricas. Hay que tener en cuenta que
una forma de presentar formalmente estas propiedades, parte de definiciones recursivas
de las operaciones, y demostraciones de sus propiedades utilizando la induccin
matemtica, lo cual no est acorde con la estructura y objetivos de los cursos de
matemticas en secundaria.
Espero que tomen este material a manera de una propuesta, o mejor que l sirva para
crear inquietudes y generar discusiones encaminadas a mejorar la presentacin de estos
resultados.
Propiedad Distributiva
De acuerdo al concepto de producto de un nmero natural por un nmero real, si a, b
son reales y n es natural entonces
na=a+a+ +a n veces

nb=b+b+ +b n veces
na+nb=(
a+ a++ a ) + (
b+ b++b )
n veces

n veces

( a+b )+ ( a+b )+ ( a+b )+ + ( a+b )

(n veces)

= n (a + b)
utilizando las propiedades conmutativa y asociativa de la suma.
De donde concluimos que:
n ( a+b )=na+ nb
Aunque esta demostracin no tiene sentido si n es un nmero no natural, s tenemos
aqu una base para generalizar esta propiedad, si se considera en lugar de n cualquier
nmero real, teniendo as la llamada propiedad distributiva del producto respecto a la
suma, de gran utilidad en procesos de factorizacin:
Si a, b, c son nmeros reales entonces.
c ( a+b ) =ca+ cb
Resultado que visto de derecha a izquierda, representa el caso de factorizacin del
factor comn.
Exponenciales: Caso particular: base real y exponente natural
Omar Evelio Ospina A.

Pgina 45

Si

aR

nN

se define an

como:

an =a. a a

(n veces)

(2 )3 =(2 )(2 )(2 )=8

As

( 3/ 7 )5= (3 /7 ) (3 /7 ) (3 / 7 ) (3 /7 ) (3 /7 )=243 /16807


Propiedades de la exponencial:
a)

a a =a

n+m

pues:
an am =a
a a
a = a
a =an+m
n veces m veces

( n+m ) veces

as:
5
21
26
38 315=323 (2 /7 )4 ( 2/7 )6=( 2/7 )10 ( 7 ) ( 7 ) =( 7 )

b)

( a . b )n=an bn
pues:

( ab )n =(
ab ) ( ab ) ( ab )
n veces

.
a
aa
b. b b=an bn
n veces

n veces

as:
4
21
[ ( 3 ) (7 / 5 ) ] =( 3 )4 ( 7/5 )4 [ (2/3 ) ( /11 ) ] =(2/ 3 )21 ( / 11 )21

c)

( a/ c )n=an /c n

si

c0

se obtiene de (b) haciendo b = 1/c


as:
( 7/ 3 )11 =711 /311

Omar Evelio Ospina A.

Pgina 46

(2/5 )7=(1 )7 27 / 57 =(2 )7 /57 =27 / (5 )7

d)

( a n) =a nm
pues:
m

n. n
( a n) =a
a an
m veces

(
a a a ) (
a a a ) (
a. a a )

n v eces
n veces
n veces

m veces

.
a
aa
.

n m veces

anm

as:
3

[ ( 3 2 ) 2 ] = ( 3 2 )6

([

3
3
5 2+

3 8

]) (
=

3
3
5 2+

24

Caso general
Si se pretende trabajar con
simplemente que

siendo

y b nmeros reales, no se puede decir

ab =a a (b veces), pues si este b es por ejemplo el nmero 3/4

0.375291, no tiene sentido decir que

se repite ese nmero b de

veces, como si lo tendra si ese b fuese un nmero natural. Es claro que por tanto, esta
forma de demostrar o justificar los resultados anteriores no tiene validez para esta
situacin general, pues la interpretacin dada al caso particular no se puede trasladar al
caso general. Ms sin embargo el caso general es necesario tratarlo en este momento,
pues se requiere para manipular expresiones algebraicas.
An cuando la demostracin para este caso general no es tan sencilla, pues no se tienen,
a este nivel, los conocimientos matemticos necesarios para presentarla, y no se van a
presentar aqu; el hecho de que el estudiante conozca la presentacin dada para el caso
particular, puede motivarlo a aceptar, sin demostracin, propiedades anlogas para el
caso general.
3. DEMOSTRACIONES GRAFICAS?
En la enseanza de las matemticas, algunas veces se aprovecha la ilustracin grfica
para motivar algn resultado terico antes de su presentacin rigurosa, o para dar ms
Omar Evelio Ospina A.

Pgina 47

claridad a las ideas que se estn presentando, de tal forma que se logre acercar ms al
estudiante a su conocimiento, en otros casos inclusive se hace necesaria la presencia de
ciertas grficas como apoyo para realizar ciertas demostraciones.
A nivel de la enseanza de la matemtica a nivel de primaria y secundaria, es evidente,
en el caso de la geometra, la necesidad del apoyo grfico, pues sin l, sera
prcticamente imposible llegar a los resultados pretendidos. Ms sin embargo, a este
mismo nivel, pero en la enseanza de otros temas de matemticas diferentes a la
geometra, ya es ms escasa la presencia de ilustraciones grficas en la presentacin de
resultados. Esto debido tal vez a que el docente no considera necesario el uso de
ilustraciones de este tipo para presentar un resultado, pues le parece suficiente con el
trabajo analtico que ha hecho, o en otras ocasiones porque no es tan inmediato
encontrar material grfico que se pueda utilizar para apoyar la exposicin del tema.
Pero a pesar de lo difcil que pueda resultar la elaboracin de este tipo de material, son
de conocimiento pblico en el ambiente matemtico, la ilustracin de algunos
resultados, que considero vale la pena que el docente que ensea a este nivel los
conozca o los recupere, y reflexione sobre la conveniencia de su uso, y de cmo usarlos,
en el momento de presentar el tema al que hace referencia el material.
Presento, adaptado al estilo con que se desarrolla este documento, 8 ejemplos clsicos
de material de este tipo, sobre temas diferentes. Y en la seccin siguiente Parte 3.
Intuicin y Rigor se presentan otros 3 ejemplos ubicados en el sitio adecuado, acorde
con las exigencias del desarrollo terico.

DEMOSTRACIONES GRFICAS? 1.
SUMA DE LOS N PRIMEROS NMEROS NATURALES
Se ha representado el nmero natural 1 con un cuadrito, el 2 con 2 cuadritos, y as
sucesivamente.
En el siguiente grfico se han representado los nmeros desde el 1 hasta el n (para
ilustrar n = 10), ubicados de arriba hacia abajo en la parte izquierda, y tambin los
mismos nmeros pero ubicados de abajo hacia arriba en la parte derecha.
La suma S(n) de los n primeros nmeros naturales, corresponder a la suma de los
cuadritos del diagrama de la derecha, o tambin a los del de la izquierda.
Omar Evelio Ospina A.

Pgina 48

Pero claro, si se renen los dos grficos, la suma de todos los cuadritos corresponder a
dos veces la suma de todos los nmeros naturales desde 1 hasta n. Es decir 2S(n)
Pero en el grfico siguiente se puede apreciar, que al reunirlos se obtiene un rectngulo
con (n + 1) cuadrados en su base y n cuadrados en su altura. Es decir aparecen en total
n(n + 1) cuadritos.

As:
2S(n) = n(n + 1)
Por tanto:
S ( n )=

n ( n+1 )
2

Lo que da una idea para justificar la frmula que permite calcular la suma de los n
primeros nmeros naturales
DEMOSTRACIONES GRFICAS? 2.
FACTOR COMN Y PROPIEDAD DISTRIBUTIVA
Tome n rectngulos de bases

B 1 , B2 , Bn

(para ilustrar sea n = 6)

Omar Evelio Ospina A.

Pgina 49

respectivamente, y altura comn H

La suma total

AT

, de las n reas de los correspondientes rectngulos ser:

A T =B 1 H + B2 H + B3 H +B 4 H+ B5 H + B6 H
El resultado del clculo de esa rea total, ser el mismo, si en lugar de calcular las reas
por separado y sumarlas, reunimos los rectngulos en uno slo grande y calculamos su
rea. As:

Es claro que para este rectngulo su rea ser la base B constituida por la suma de las
B 1+ B 2 + B 3 + B 4 + B 5 + B6
bases
, multiplicado por la altura H as:
A T = ( B 1 + B 2+ B 3 + B 4 + B 5 + B 6 ) H
por tanto, como los dos resultados, obtenidos de forma diferente, son los mismos:
B 1 H + B2 H + B3 H +B 4 H+ B5 H + B6 H

( B1+ B 2+B3 +B4 + B5 + B6 ) H

que visto de izquierda a derecha es caso de


factorizacin de factor comn,
y visto de derecha a izquierda es
la propiedad distributiva del producto respecto a la suma.

DEMOSTRACIONES GRFICAS? 3.

Omar Evelio Ospina A.

Pgina 50

TEOREMA DE PITGORAS
Considere un cuadrado de lado

c 1+ c 2

, presentado en las dos figuras siguientes:

Calculando el rea del cuadrado con la figura de la izquierda se tiene:


Area: =

( c 1 +c 2 ) =c 1 +2 c 1 c 2 +c 2

( )

En la figura de la derecha, como los lados de la figura interna representan la hipotenusa


c1
c2
h del mismo tringulo rectngulo, con catetos
y
, entonces estos son
iguales. Adems observe sus ngulos son rectos, (pues

+ =900 ), es decir, la

figura interna es un cuadrado de lado h.


As, el clculo del rea del mismo cuadrado, pero esta vez utilizando la figura de la
derecha, se puede realizar hallando las reas de los cuatro tringulos internos, y la del
cuadrado interno, y sumndolas. Es decir:
rea=4

rea =

c1 c2 2
+h
2

2 c1 c 2 +h2

( )

Como se trata del mismo cuadrado entonces, el rea debe ser la misma, as se calcule

( )= , y as:
con la figura de la derecha o con la de la izquierda. Es decir
c 21+ 2 c1 c 2+ c 22=2 c 1 c 2 +h2
Que simplificado queda como:
c 21+ c 22=h2
Omar Evelio Ospina A.

Pgina 51

sea:
La suma de los cuadrados de los catetos de un tringulo rectngulo es igual al
cuadrado de la hipotenusa. Esto es: EL TEOREMA DE PITGORAS.
DEMOSTRACIONES GRFICAS? 4.
UN ROMPECABEZAS PARA EL TEOREMA DE PITGORAS
Este apoyo, para introducir el resultado del teorema de Pitgoras, no es precisamente,
como en el caso anterior, un grfico, que nos conduzca a una demostracin de l, sino
que se trata de propiciar una actividad ldica, como es la de jugar con un rompecabezas,
y descubrir a travs de ella este resultado.
La idea es presentar a cada estudiante, o grupo pequeo de ellos un tringulo rectngulo,
en el que se han construido, por fuera de l, pegados a cada uno de sus lados, tres
cuadrados, cuyos lados corresponden exactamente a sus dos catetos y su hipotenusa,
respectivamente.
Adicionalmente se les entrega a cada uno un nmero determinado de fichas, las cuales
se han construido previamente particionando el cuadrado que se construy sobre la
hipotenusa, pero no de cualquier forma, sino hacindolo adecuadamente de modo que
con todos las componentes de esta particin, se puedan llenar completamente los
cuadrados construidos con los catetos.
La actividad consiste en que el estudiante llene completamente el cuadrado sobre la
hipotenusa usando la totalidad de las fichas que se le entregaron, y despus proceda con
las mismas fichas a llenar completamente los cuadrados construidos sobre los dos
catetos.
Como al realizar completamente la actividad, no sobraron ni faltaron fichas cuando se
utilizaron para llenar el cuadrado sobre la hipotenusa, ni cuando se utilizaron para llenar
los cuadrados sobre los dos catetos, se concluye que:
El rea del cuadrado construido con la hipotenusa h, es igual a la suma de las reas de
c1 y c2
los cuadrados construidos con los catetos
, es decir:
h2=c21 + c22
Desde muchos siglos atrs se conocen particiones de este tipo usadas para demostrar el
teorema de Pitgoras, y de cada una de ellas, particionando nuevamente sus elementos,
se pueden construir otras. En internet hay muchas pginas donde se pueden encontrar
una gran variedad de modelos de este tipo. De la pgina Imgenes del teorema de
Pitgoras en rompecabezas, tom la idea para la construccin de este modelo que
presento en la fotografa siguiente.

Omar Evelio Ospina A.

Pgina 52

DEMOSTRACIONES GRFICAS? 5.
CUADRADO DE LA SUMA DE DOS NMEROS
Considere un cuadrado de lado A + B, presentado en las dos figuras siguientes:

Calculando el rea del cuadrado con la figura de la izquierda se tiene que:


rea =

( A + B )2

( )

El rea del mismo cuadrado, pero usando la figura de la derecha se puede calcular,
hallando las reas de las cuatro figuras internas (2 cuadrados y 2 rectngulos) y
sumndolas.
As:
rea =

Omar Evelio Ospina A.

A +2 A B+ B

Pgina 53

Como se trata del mismo cuadrado entonces, el rea debe ser la misma, as se calcule

( )= , y as:
con la figura de la derecha o con la de la izquierda. Es decir

( A + B )2= A2 +2 A B+ B2

DEMOSTRACIONES GRFICAS? 6.
CUADRADO DE LA DIFERENCIA DE DOS NMEROS
Tome un cuadrado de lado A. Cada lado divdalo en dos segmentos uno de longitud B
(B < A) y el otro de longitud A B, y adicione en una de las franjas de ancho B, al
final, un cuadrado de lado B, como aparece en la grfica, en la cual adems, con los
A 1 , A 2 , A3 , A 4 y A 5
smbolos
se est representando el rea de la regin mnima que
encierra al respectivo smbolo.

Observe de la grfica que

A B= A2 + A 4= A3 + A 4

Por tanto

Omar Evelio Ospina A.

Pgina 54

2 A B=A 2+ A 4 + A 3+ A 4
A 2 + A 3 +2 A 4 ()
Por otra parte
A 2 = A 1+ A 2 + A 4 + A 3
A 2 = A 1+ ( A 2 + A 4 ) + ( A 3 + A 4 ) A 4

A 2= A 1+ ( A 2+ A 3 +2 A 4 ) A 4
( )

Pero, de la grfica y de

se tiene que:

A 1=( AB )2 ( A 2+ A 3+ 2 A 4 )=2 AB A 4=B2

Entonces, reemplazando en

se obtiene:
A 2=( AB )2+ 2 B AB2

es decir:
( AB )2= A 22 A B+ B2

DEMOSTRACIONES GRFICAS? 7.
DIFERENCIA DE CUADRADOS
Considere un rectngulo de base A y altura (A + B), con B < A. La base divdala en
dos segmentos B y (A B).
El cuadrado de arriba de rea B2 pselo para abajo como se muestra en la grfica, en la
A 1 , A 2 , A3 , A 4
cual adems, con los smbolos
se est representando, el rea de la
regin mnima que encierra al respectivo smbolo.

Omar Evelio Ospina A.

Pgina 55

De la grfica, observe que:

( A + B ) ( AB )= A 1+ A 2

( )

Adems, por otro lado


A 2=( AB )( B ) =A 3
Luego, se tiene que:

A 1 + A 2= A 1+ A 3

Pero de la grfica:
2

A 1 + A 3= A A4
Por tanto:
2
A 1 + A 2= A A 4
A 2B2

Concluyendo de

( )

que:

( A + B ) ( AB )= A 2B 2
DEMOSTRACIONES GRFICAS? 8.
CUBO DE LA SUMA DE DOS NMEROS
Omar Evelio Ospina A.

Pgina 56

En este caso debido a que la expresin A + B est elevada al cubo, la ilustracin del
resultado no se puede hacer con una grfica en el plano, pero no resulta difcil construir
unos sencillos elementos geomtricos en el espacio, los cuales usndolos
adecuadamente permiten hacer una buena ilustracin del resultado buscado.
Despus de determinar dos longitudes no tan grandes A y B con A

B, el material

de trabajo consiste en 8 paraleleppedos con las siguientes dimensiones:


Un cubo de lado A
Un cubo de lado B
3 paraleleppedos de lados A, A, B
3 paraleleppedos de lados A, B, B.
Como se pueden apreciar en la siguiente foto:

La actividad consiste en que, usando todo ese material, el estudiante construya un cubo
de lado A + B. y calcule su volumen. El volumen del cubo completo es
vol=( A + B )

( )

Este volumen se puede calcular tambin, hallando por separado el volumen de cada uno
de los paraleleppedos con que construy el cubo, y sumando los resultados obtenidos.
Calculado de esta forma el volumen hallado ser:
vol=A 3 +3 A 2 B+3 A B2+ B 3

Puesto que se trata del volumen del mismo slido, hallado de dos formas diferentes,

( )

entonces
y
son iguales, por tanto:

Omar Evelio Ospina A.

Pgina 57

( A + B )3= A3 +3 A2 B +3 A B2 + B3

Omar Evelio Ospina A.

Pgina 58