Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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:
Pgina 1
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
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:
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.
Pgina 5
Q
p , q N
q
p
n. p p
y que
= ( )
p
n.q q
Suma de fracciones
Omar Evelio Ospina A.
Pgina 6
p veces
Expresin, que por extensin de la idea de producto de naturales como una suma
abreviada, tambin se notar como
p.
1
n
p veces
)(
q veces
)(
p+q veces
p+ q
1
=( p+q ) .
n
n
()
( )( )
Y ms general:
p q
p.m
q.n
+ =
+
n m n .m
m.n
( )( )
p . m+ q . n
m. n
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:
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
( 6/ 12 ) .
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.
Pgina 10
es decir:
longitud ( P) longitud Q
=
m
n
Longitud(P) m
=
Longitud (Q) n
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.
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,
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
Pgina 13
|__________ __________|
st
2
s
t
Luego entre dos fraccionarios cualesquiera, siempre hay un fraccionario.
st
2
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
entonces,
h 2
nmero que tiene una ubicacin en la semirrecta, como se puede aprecia en la siguiente
figura:
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
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
,
Pgina 15
es:
a0 ( 10 ) +a1 ( 10 ) +a2 ( 10 ) + a3 ( 10 ) + +a n1 ( 10 )
n1
+an ( 10 )
Pgina 16
an , an1 , . a1 , a 0 , b1 , b2 , b3 .
donde
y la cantidad
an ( 10 ) +a n1 ( 10 )
n1
10 =
1
=0.
000 .0 1
( k1 ) veces
10k
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
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
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
Pgina 18
r 2 ( 0<r 2 <q )
r2
r 3 ( 0<r 3 <q )
r 1 ,r 2 , r 3 , .
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
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.
338
99
1
7
= 3.414141
= 0.142857142857142857.
10 a=3227,3535
Por ltimo se hace la diferencia entre estos dos resultados as:
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
p
q , con
p , q N , q 0 , con lo cual se ha
1.4142135623730950488016887242097
1.7320508075688772935274463415059
5
7
3
2+
2.2360679774997896964091736687313
2.6457513110645905905016157536393
3.7320508075688772935274463415059
3.1415926535897932384626433832795
2+ 5.1415926535897932384626433832795
4.5558062159628882872643321074892
Pgina 21
Pgina 22
5. COMPLETANDO
NEGATIVOS.
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
Pgina 23
a>0
a
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
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
( 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:
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 )
(b )
(b )
(b ) ?
: por partes:
es el inverso aditivo de
es el inverso aditivo de
(b )=b
Y adems
Pgina 26
(a ) b=b 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+ (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
(a ) (b )=c
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
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
Pgina 30
1
2
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
x0
x x
Si
x si
x si
Expresin
si Expresin 0
si Expresin 0
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
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
________
______|________|________|___________
Q
0
P
_________
(***)
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
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
Pgina 35
2 32
La expresin 5 = 5
2 128
La expresin 7 = 7
11
La expresin
2
2048
=
11
11
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=
( 4 )( 5 )
2
Pgina 36
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
2n >n
Evidentemente, verificando para algunos valores de n, se satisface la propiedad:
Para n = 1
21> 1
Pgina 37
Para n = 2
2 >2
Para n = 3
2 >3
Para n = 4
24 > 4
n ( n1 ) n2 2 ( n2 ) ( n1 ) n n3 3
n1
n
a b+
a b + na b + b
2
6
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
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
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
1 1 1
1
2
k k 1
2
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
2 >n
Es claro que la proposicin se cumple para n = 1, pues
Omar Evelio Ospina A.
Pgina 41
2 >1
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
es divisible por 5
o sea que,
2k
es divisible por 5
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
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
1
2k 1 2
8
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
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
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
(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)
As
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
Pgina 46
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
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
Pgina 49
La suma total
AT
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
DEMOSTRACIONES GRFICAS? 3.
Pgina 50
TEOREMA DE PITGORAS
Considere un cuadrado de lado
c 1+ c 2
( c 1 +c 2 ) =c 1 +2 c 1 c 2 +c 2
( )
+ =900 ), es decir, la
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.
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:
( 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 =
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.
A B= A2 + A 4= A3 + A 4
Por tanto
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:
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.
Pgina 55
( A + B ) ( AB )= A 1+ A 2
( )
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
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:
Pgina 57
( A + B )3= A3 +3 A2 B +3 A B2 + B3
Pgina 58