Demostraciones PDF

Ttulo: Principio de Induccin Sistema Axiomtico de Peano
Autores: Maldonado, Ana Laura Seimandi, Florencia

Profesoras: Delgado, Erika Fregona, Dilma Parnisari, Marta
Carrera: Profesorado en Matemtica
Fecha: 31 de Marzo de 2011
Informe final de MOPE 2
Maldonado, Ana Laura - Seimandi, Florencia
RESUMEN
En el presente trabajo se describen las prcticas realizadas en un Instituto de Enseanza
Superior de la ciudad de Crdoba, de gestin pblica, en la carrera de Profesorado en
Matemtica.
Los temas de prctica son el Principio de Induccin y el Sistema Axiomtico de Peano.
Este informe contiene la planificacin de los temas, las descripciones de algunos ejercicios
y de las evaluaciones, el anlisis de una problemtica desde una perspectiva terica y
algunas consideraciones finales.
PALABRAS CLAVE
Nmeros Naturales
Induccin
Sistema Axiomtico de Peano
CLASIFICACIN
97 - Mathematics Education
Las prcticas se realizaron en un Instituto de Enseanza Superior de la ciudad de

Crdoba, de gestin pblica, en la carrera de Profesorado en Matemtica. Se dictaron 2
temas en Algebra II, una materia de segundo ao del plan de estudios.
Practicantes: Maldonado, Ana Laura

Seimandi, Florencia
Horarios de clase: Lunes de 20:00 a 21:20 hs.
Mircoles de 18:10 a 19:50 hs.
Perodo de observaciones: 17 de Mayo al 26 de Mayo de 2010
Perodo de prctica: 31 de Mayo al 25 de Agosto de 2010. Dado que haba solo un curso,
las prcticas se hicieron en forma sucesiva.
ACERCA DE LA INSTITUCIN
La oferta acadmica del Instituto consta de profesorados y tecnicaturas. Adems del
Profesorado en Matemtica, se puede estudiar Geografa, Fsica, Qumica y Lengua y
Literatura. Las tecnicaturas son en Administracin Pblica, Gestin Ambiental, Informtica
y ptica y Contactologa.
El cursado de la carrera es a partir de las 18 hs. El Profesorado en Matemtica tiene
una duracin de 4 aos con un total de 30 materias anuales. Por ao se dictan 4 materias
referidas a la prctica docente.
MODALIDAD DE TRABAJO EN EL PERODO DE LAS OBSERVACIONES

Los alumnos disponan del libro lgebra I de Armando Rojo Editorial El Ateneo en
diferentes ediciones, por lo cual los contenidos disponibles no eran los mismos y tambin
contaban con un apunte elaborado por la profesora. Esas notas eran utilizadas como una
gua para el desarrollo de la clase, constaban de un desarrollo terico seguido de
actividades referidas al mismo.
Individualmente o en pequeos grupos los alumnos estudiaban la teora y luego
resolvan las actividades correspondientes, algunas de las cuales eran corregidas en el
pizarrn. El libro era utilizado a modo de consulta de los ejercicios. La profesora circulaba
permanentemente en el aula y atenda dudas sobre aspectos tericos como prcticos.
TEMA DE PRCTICA
Principio de Induccin y Sistema Axiomtico de Peano. Estos temas se ubicaban en el
programa de la materia en la UNIDAD II: EL CONJUNTO DE LOS NMEROS NATURALES.
Fundamentacin axiomtica de la existencia y propiedades del conjunto de los
nmeros naturales. Induccin completa. Conjunto inductivo. Teorema de induccin
completa. Principio de induccin completa. Sistema axiomtico de Peano. El conjunto de
los nmeros naturales. Propiedades. Operaciones en el conjunto de los nmeros
naturales: adicin, multiplicacin, potenciacin. Orden en el conjunto de los nmeros
naturales. Compatibilidad de la relacin de orden y la adicin. Compatibilidad de la
relacin de orden y la multiplicacin. Principio de buena ordenacin. El conjunto de los
nmeros naturales est bien ordenado.
La secuenciacin de temas desarrollados durante la prctica es la siguiente:
Definicin de conjunto inductivo. Definicin del conjunto de los Nmeros Naturales.

Teorema de Induccin. Principio de Induccin. Simbolizacin y propiedades de la
sumatoria y productoria.
Sistema Axiomtico de Peano y su conformacin. Definicin de las operaciones de
adicin, multiplicacin, potenciacin. Orden. Propiedades de las operaciones y del orden.
Principio de buena ordenacin.
OBJETIVOS GENERALES
Durante el desarrollo de estas prcticas pretendimos que los alumnos sean capaces de:
Valorar la ayuda entre los compaeros y el intercambio de ideas como fuente de
construccin de conocimientos.
Aceptar el error como herramienta de aprendizaje.
Producir argumentos deductivos en el mbito de las interacciones entre docentes y
alumnos.
Utilizar correctamente conceptos matemticos e incorporarlos al lenguaje y a las
argumentaciones habituales.
Realizar conjeturas, desarrollar argumentos y tomar decisiones, justificando rigurosa
y ordenadamente.
Manejar procedimientos bsicos en todas sus formas: oral, escrita y simblica.
Familiarizarse con el uso del pizarrn y utilizarlo adecuadamente.
DESARROLLO DE LA PRCTICA
Elaboramos dos apuntes de acuerdo a la secuencia de temas presentados
anteriormente: uno referido al Principio de Induccin y el otro al Sistema Axiomtico de
Peano. Dichas notas aparecen en este informe en el Anexo I y en el Anexo II
respectivamente. Describiremos algunas de las actividades desarrolladas en cada tema.
TEMA: PRINCIPIO DE INDUCCIN

En esta primera parte establecimos como propsitos que los estudiantes puedan:
Reconocer conjuntos inductivos, entre ellos el de los naturales como el menor.
Analizar, encontrar regularidades, conjeturar y probar utilizando el Principio de
Induccin.
Demostrar propiedades que valen para los nmeros naturales.
Conocer y usar expresiones abreviadas de sumas y productos, y sus propiedades.
Trabajar grupalmente algunas actividades.
Reconocer el valor del Principio de Induccin como medio de prueba de
propiedades que valen para los nmeros naturales.
Para comenzar a desarrollar este tema propusimos la siguiente actividad1:

Consideremos la siguiente sucesin:
Calcular:
Cuntos puntos hay en la figura que est en el 7 mo lugar?
Cuntos puntos hay en la figura que est en el lugar nmero 50?
Establezca la cantidad de puntitos en la figura que se encuentra en la posicin .
La intencin era que los alumnos se dieran cuenta que cuando no alcanza con grficos
y clculos para resolver un ejercicio hay que buscar otra forma de hacerlo.
Para contestar la primera pregunta solo bastaba con hacer el grfico y contar. Para la
segunda esto llevara mucho tiempo, por lo que se deba recurrir a otra forma de
1
Se utiliza fuente itlica para destacar actividades realizadas en clase que ameritan un anlisis particular.
resolverlo. Nuestra intencin era que se dieran cuenta de que este proceso de contar se
puede generalizar. La tercera pregunta apuntaba a establecer esa generalizacin para
cualquier posicin y a identificar a qu se corresponde la misma, es decir determinar la
siguiente igualdad:
( + 1)
1 + 2 + + =
2
La dificultad se present al momento de reconocer esta igualdad, si bien llegaron a la
expresin de la derecha de manera rpida, no les fue tan fcil darse cuenta que esta es
igual a la suma de los primeros nmeros naturales.
Una vez que qued clara la igualdad era necesario afirmar la validez de la misma para
cualquier nmero natural, as se introduce el Principio de Induccin como un mtodo
matemtico para demostrar esta validez.
Para poder definir este principio es necesario el manejo de determinados conceptos.
Para ello dimos las definiciones de conjunto inductivo y conjunto de nmeros naturales,
como as tambin una serie de actividades. Podemos destacar la siguiente:
Actividad 1:
Decir cules de los siguientes conjuntos son inductivos. Justificar la respuesta.
) | = ,
Aqu, se present un problema. La definicin de conjunto inductivo no fue aplicada

para los elementos del conjunto dado. Utilizaban la definicin para los y no para los .
Es decir, lo que hacan era establecer que la raz cuadrada de cualquier nmero natural es
un real, de esta manera el conjunto era inductivo. Sin embargo, el conjunto | =
, no es inductivo, basta probar con =2.
Luego de realizada esta actividad, enunciamos y demostramos el Teorema de Induccin
y el Principio de Induccin. Hicimos la demostracin de este ltimo de una manera ms
detallada de la que se presenta en el anexo, para que quedara claro cmo se utiliza el
Teorema de Induccin en su prueba, mostrando cmo se cumplen las hiptesis del
mismo. Dentro de las actividades destacamos las siguientes:
Actividad 2:
2) Utilizando el ejemplo 1 deducir y probar por induccin las frmulas para:
)La suma de los primeros naturales pares.
)La suma de los primeros naturales impares.
Realizamos la parte ) al frente y sin inconvenientes. Sin embargo la parte ) present

dificultades. Primero les fue difcil establecer cules son los ltimos trminos de la suma.
Luego no saban cmo llegar a la frmula. Por lo que les dimos una ayuda: propusimos
utilizar la frmula ya encontrada para la suma de los primeros naturales y la de la parte
). De esa manera se dieron cuenta que podan deducir esta frmula restando las dos
anteriores, pero no se percataron que deban extender la primera de estas sumas, pues si
no lo hacan el resultado sera algunos impares y algunos pares negativos. Lo correcto es
extender la primera de las sumas hasta los 2 primeros naturales y luego s restarles los
primeros pares.
Seguido de estas actividades, presentamos ejercicios del siguiente tipo:
3) Demostrar por induccin las siguientes igualdades.

1
) 2 + 5 + 8 + + 3 1 = (3 + 1)
2
Aqu se presentaron problemas en la aplicacin del Principio de Induccin y del tipo

algebraicos. En este ejercicio en particular, cuando tenan que probar que esa igualdad se
cumple para + 1, hacan lo siguiente:
2 + 5 + 8 + + 3 1 1 + 3 1 + 3 + 1 1 =
Lo cual no es correcto, pues supriman los parntesis y de esa manera no se estara
probando la validez de la sumatoria original. Una escritura correcta de la suma es de la
siguiente manera:
2 + 5 + 8 + + 3 1 1 + 3 1 + 3 + 1 1 =
El problema algebraico reside, en este caso, en la manipulacin de parntesis cuando
se trata de expresar trminos que conllevan 1 o + 1.
En todos los incisos de esta actividad 3, encontramos dificultades en el dominio
algebraico para producir expresiones equivalentes que permitan obtener, a partir del
primer miembro, el segundo miembro de la igualdad. Los estudiantes, a menudo, decan
no llego a nada manifestando as el estado de avance en el desarrollo de su trabajo.
Ante esto, sugerimos, partir del segundo miembro y tratar de, mediante manipulaciones
algebraicas correctas, llegar a reconocer la equivalencia con algunas de las expresiones
antes obtenidas.
4) Probar las siguientes afirmaciones usando induccin:

) 3 + ( + 1)3 + ( + 2)3 9
Este ejercicio nos llam la atencin porque no saban escribir la igualdad, no podan
expresar 9 simblicamente.
Para finalizar con esta primera parte, dimos propiedades de la sumatoria y de la
productoria, y actividades relacionadas con estas. El siguiente fue el ltimo ejercicio dado.
Actividad 3:
5) Actividad en grupo: Probar que un cuadrado se puede dividir en cuadrados
para 6.
El abordaje de este ejercicio exige un tratamiento un tanto diferente a los ya realizados,

y ese era el atractivo que se esperaba generar. Sin embargo, ante la incertidumbre que
provoc, muy pocos estudiantes intentaron resolverlo. Destinamos un espacio en clase,
pero la atencin estuvo centrada en otros ejercicios que respondan ms directamente al
tipo de tareas que estaban realizando. La mayora manifest preocupacin por la posible
inclusin de estos ejercicios en futuras evaluaciones.
EVALUACIN
Evaluamos este tema con la misma modalidad utilizada por la profesora titular, la cual
consiste en una serie de trabajos prcticos y un parcial que incluye teora. Esta primera
evaluacin corresponda al trabajo prctico nmero dos de la materia. Realizamos dos
exmenes2 distintos ya que estaban distribuidos en bancos de a dos. El total de alumnos
que realiz el examen fue de 40.
Para que sea ms fcil y objetiva la correccin decidimos asignar puntajes especficos a
cada paso de la resolucin de los ejercicios. A modo de muestra detallamos los puntajes
en el trabajo prctico del Tema 1.
1) Enunciar y demostrar el Principio de Induccin.
1 punto: enunciacin del principio.
0.5 punto: fundamentacin de que es un conjunto inductivo.
0.5 punto: aplicacin del Teorema de Induccin.
2) Verificar si el siguiente conjunto es inductivo:
= 4 3 + 5 3
0.25 punto: comprobacin de que 1 .
1.50 puntos: comprobacin de que si entonces + 1
0.25 punto: aplicacin de la Definicin de Conjunto Inductivo
El valor de este ejercicio era de 2 puntos, pero no todos lo haban resuelto aplicando la
definicin. Para los que lo resolvieron aplicando el Principio de Induccin le asignamos el
valor de 1 punto al total del ejercicio.
3) Determinar la frmula que permite calcular la siguiente suma y probar que es
vlida para todo :
12 + 32 + 52 + + (2 1)2
1 punto: determinacin la frmula.
0.25 punto: prueba de que la frmula es vlida para = 1.
0.75 punto: prueba de que si la frmula es vlida para entonces lo es para + 1.
4) Probar que 2 + 2 es divisible por 3 .
0.25 punto: determinacin de la proposicin ().
0.25 punto: comprobacin de que (1) es verdadera.
1.25 puntos: comprobacin de que si () es verdadera entonces ( + 1) lo es.
2
Los exmenes se encuentran en el Anexo III.
0.25 punto: aplicacin del Principio de Induccin.

5) Demostrar por Induccin que la siguiente igualdad se cumple :

(3 1)
3 2 =
2
=1
Mismos puntajes que en el ejercicio 4.
Entre las dificultades ms comunes que se presentaron, podemos destacar las

siguientes:
Distinguir entre el uso del Teorema y del Principio de Induccin. Una de las causas
de esta dificultad pudo haber sido el no distinguir un conjunto de una propiedad. Esto se
vio reflejado en el ejercicio 2. En la siguiente imagen se puede ver un ejemplo:
La idea de este ejercicio era que utilizaran la definicin de conjunto inductivo o el

Teorema de Induccin, sin embargo la mayora no los tena en cuenta. Si bien se poda
recurrir al Principio de Induccin como se ve en el ejemplo, es necesario definir la

proposicin () y reescribir el conjunto:
: 4 3 + 5 = 3,
= { }
Luego de esto se debe comprobar que () es verdadera para todo que pertenece a
los naturales, o sea que = , y como los nmeros naturales son un conjunto inductivo,
es inductivo.
Resolucin del ejercicio 2
12%
Es claro que la utilizacin de la definicin de
12% Como
Comoen
enelelejemplo
ejemplo
conjunto inductivo o la del Teorema hubiera 27%
27%
Usando
Usandolaladefinicin
definicin
61%
61%
sido un camino ms rpido. No
Noresuelto
resuelto
Esta situacin se pone de manifiesto en la

correccin del ejercicio que arroj los resultados presentados en el grfico.
Deducir una frmula que permita calcular una determinada suma. Esta dificultad se
present durante las clases, no solo en esta instancia. Algunos de los alumnos, como en
los siguientes ejemplos del ejercicio 3, arriesgaban un resultado, que claramente no
reflejaba un anlisis previo.
En el siguiente grfico se puede ver el nivel de dificultad que presenta una actividad de
este tipo:
Realizacin de la deduccin de la frmula del

ejercicio 3
22%
No realiz
78% Realiz
No declarar la proposicin (). Con esto nos referimos a que al momento de

realizar una demostracin utilizaban una proposicin pero en ningn momento
explicitaban cul era. Nos pareci importante tener esto en cuenta al momento de la
correccin pues determinar la propiedad que se quiere probar es fundamental en una
demostracin.
En los ejercicios 4 y 5 se vio claramente esta situacin. A continuacin se muestra un
ejemplo:
En el grfico se puede observar que este

Determinacin de la propiedad
problema se present en el ejercicio 5 en ms
24%
de 3/4 de los alumnos que realizaron el Determina
76% No determina
examen.
A continuacin presentamos los grficos correspondientes a los alumnos aprobados

segn sea el Tema 1 (20 alumnos) o el Tema 2 (20 alumnos). El examen se aprobaba con
una nota igual o mayor a 4.
Tema 1 Tema 2
20% 35%
Aprobados Aprobados
65%
80% No aprobados No aprobados
La diferencia en el porcentaje de aprobados entre ambos temas es notoria, habra que

explorar las razones de tal diferencia en trminos de equivalencia o no en los temas,
estudiantes que integraban cada grupo, etc. para poder realizar una interpretacin
adecuada.
En el posterior grafico mostramos los resultados totales que arrojaron los exmenes.
Total
Aprobados No aprobados
28%
73%
TEMA: SISTEMA AXIOMTICO DE PEANO

En esta segunda parte establecimos los siguientes propsitos para los estudiantes:
Conocer cmo est constituido un sistema axiomtico.
Reconocer los postulados de Peano como una construccin axiomtica e identificar
claramente sus componentes.
Considerar el Principio de Induccin como uno de los axiomas que conforman este
sistema.
Repasar las operaciones definidas para el conjunto de los nmeros naturales y
algunas propiedades.
Demostrar las propiedades utilizando el sistema axiomtico.
Para comenzar con este tema habamos pensado partir de algo que pudiese ser
conocido para los alumnos, los Axiomas de Incidencia de Euclides. Euclides pretenda
describir las propiedades de nuestro espacio de una forma evidente y sistemtica, esto lo
hizo a travs de axiomas. La idea era ver cules son todos los componentes de este
sistema axiomtico, luego establecer una generalizacin y finalmente estudiar el Sistema
Axiomtico de Peano.
En la primera clase preguntamos a los alumnos que saban acerca de los sistemas
axiomticos, algunos de ellos tenan conocimiento sobre este tema y podan identificar
como estn constituidos ya que haban visto algunos de los Axiomas de Euclides en
geometra.
Con el aporte de los estudiantes establecimos cules son los componentes de un
sistema axiomtico, como as tambin las condiciones que debe cumplir un conjunto de
axiomas para que est bien constituido.
Dimos una breve resea histrica acerca de los Axiomas de Peano y luego
determinamos cmo qued conformado. Es decir, sus trminos primitivos, axiomas, entre
los que se diferencia el tercero pues se conoce como el Axioma de Induccin o Principio
de Induccin, definiciones y teoremas.
Durante las clases siguientes trabajamos sobre la demostracin de los teoremas que
son las propiedades de las operaciones que fueron definidas.
El primer teorema que trabajamos fue el siguiente:
Teorema 1: La funcin sucesor es sobreyectiva.

La lectura de su demostracin trajo algunas dificultades, por lo que en clase la

realizamos ms detalladamente segn la siguiente propuesta:
Sea = {1} , con = {(): }. Veamos que = .
1 A por definicin de A.
Supongamos que + 1
Si = () con = + 1
Por otro lado + 1 = () y como , + 1 + 1
Por el , = .
Al Teorema 2, el cual presenta las propiedades de la adicin, lo demostramos por

completo en clase sin ningn problema.
Para la demostracin del Teorema 3 comenzamos por la ley distributiva. Dimos otra
prueba de esta propiedad distinta de la que est en el apunte, pues sta utiliza
propiedades que an no habamos demostrado. Como las demostraciones de las otras
propiedades necesitaban de sta, modificamos su prueba de modo tal que solo
utilizramos las definiciones y el Teorema 2:
4) Ley distributiva respecto de la suma: , , se tiene que + = +
Consideremos , fijos y = + = + . Veamos que = .
Si = 1 entonces
+ 1 = () (por ) de la Def. 1)
= + (por ) de la Def.)
= + 1 (por ) de la Def. )
Entonces 1 .
Supongamos ahora que , es decir + = + . Probemos que
, es decir + = + ()
+ () = ( + + 1 ) (por ) de la Def. 1)
= ( + + 1) (por 1) del Teo. 2)
= ( + ) (por ) de la Def. 1)
= + + (por ) de la Def. 2)
= + + (pues )
= + ( + ) (por 1) del Teo. 2)
= + () (por ) de la Def. 2)
Esto dice que y, por lo tanto = y se tiene, entonces, la propiedad
enunciada.
Tambin demostramos la ley de cancelacin y la regla del producto de potencias de

igual base del Teorema 4.
Durante el desarrollo de la teora destinbamos parte de la clase a resolver la gua de

actividades, de la cual destacamos las siguientes:
1) Probar las siguientes propiedades utilizando el sistema axiomtico de Peano.

c) Para todo , 1, existe tal que = ().
Discutimos esta propiedad en clase pues no lograban comprender que enuncia lo
mismo que el Teorema 1, luego se puede aplicar la misma demostracin.
3) a) Probar las propiedades de los teoremas 2, 3 y 4 que no han sido demostradas.

b) Expresar las propiedades de la potenciacin en lenguaje coloquial.
De las propiedades que present ms dificultad para ser demostrada fue la ley de
cancelacin del Teorema 3, pues en la segunda parte deban usar dos veces la hiptesis
inductiva y esto nunca lo haban hecho:
3) Ley de cancelacin: , , , si se tiene que = , entonces = .
Sea = { = = } con , fijos. Probemos que = .
Sea = 1, si 1 = 1 1 = 1 (por 2)del Teo. 3)
= (por ) de la Def. 2)
1
Supongamos ahora , es decir si = = , queremos ver que
() , o sea si = = .
Si = = (por 2) del Teo. 3)
+ = + (por ) de la Def. 2)
+ = + (por 2) del Teo. 3)
= (pues y por 3) del Teo. 2)
= (pues )
()
Luego = y as queda demostrada la propiedad.
La profesora titular nos aconsej que agregramos la parte b), pensando que los
alumnos son futuros profesores y por lo tanto deben manejar el lenguaje.
4) Demostrar aplicando el axioma 3 :

a) , , ( + ) = +
Este ejercicio lo incluimos pues es una propiedad utilizada para demostrar otras
propiedades como la ley conmutativa del Teorema 3 y queramos asegurarnos que
quedara probada. Los alumnos generalmente pasan por alto algunas demostraciones o
consideran como verdaderas ciertas propiedades solo por el hecho de ser similares a
otras, o simplemente no se dan cuenta que es necesario demostrarlas.
5) Utilizando las propiedades de las operaciones definidas en el sistema axiomtico

de Peano:
a) Probar que si , , entonces: + ( + ) = ( + ) +
b) , ( + ()) = () + ()
c) , ((). ()) = () + . + ()
d) , , , . ( + ). = (. ). + . (. )
e) , () + () = ( + ) + 1
Como se puede ver la prueba de estas propiedades no presenta dificultad, su finalidad
era que se justificara detalladamente cada uno de los pasos.
6) El 0 , Peano mismo lo introdujo en otra versin de su sistema axiomtico

para 0 . En este no modifica los axiomas esencialmente, salvo que 1 es sustituido por
el smbolo 0. Sin embargo se deben cambiar las definiciones de las operaciones, en
particular de la adicin y de la multiplicacin, las cuales adoptan las siguientes
expresiones:
I. Adicin.
i. + 0 = cualquiera que sea que pertenece a 0 .
ii. + = ( + ) , 0 .
iii. 0 = 0 + 1.
II. Multiplicacin.
i. . 0 = 0 cualquiera que sea que pertenece a 0 .
ii. . = . + , 0 .
Utilizando este sistema axiomtico, demostrar que , , 0 . :

a) + ( + ) = ( + ) +
b) + 0 = 0 +
c) + = +
d) ( + ). = . + .
La idea de este ejercicio era desligarse de las definiciones y propiedades anteriores y
limitarse a esta nueva versin, lo cual no result como esperbamos: si bien usaban las
nuevas definiciones, tambin aplicaban las anteriores y las propiedades probadas para los
naturales con primer elemento 1. Un ejemplo de esto lo podemos ver en la resolucin del
apartado ).
b) + 0 = 0 +
Sea = 0 + 0 = 0 + . Veamos que = 0 .
0 , pues 0 + 0 = 0 + 0.
Supongo que , queremos probar que () .
+ 0 = () (por definicin . .)
=+1 (por Def. 1 ))
= +0 +1 (por definicin . .)
= 0+ +1 (por hiptesis inductiva)
= 0 + ( + 1) (por parte a) de este ejercicio)
= 0 + () (por Def. 1 ))
Se deduce entonces que () . Luego por 3 se tiene que = 0 .
En esta demostracin se utiliza la Def. 1 ), la cual corresponde al sistema axiomtico

para y no para esta nueva versin. Una demostracin correcta sera la siguiente.
Supongo que , queremos probar que () .

+0= +0 +0 (por definicin . .)
= + 0 +0 (por definicin . .)
= + ( 0 + 0) (por parte a) de este ejercicio)
= + (0) (por definicin . .)
= ( + 0) (por definicin . .)
= (0 + ) (por hiptesis inductiva)
= 0 + () (por definicin . .)
Se deduce entonces que () . Luego por 3 se tiene que = 0 .
Ya resueltos estos ejercicio para continuar con la gua hacan falta la definicin y las
propiedades del orden, que enunciamos en el Teorema 5 del apunte. Demostramos en
clase las tres propiedades. La demostracin de la tricotoma consta de tres partes,
explicamos en qu consista cada una de ellas y realizamos una. El resto de los casos deba
resolverlos cada uno, sin embargo no todos lo pudieron hacer por lo que terminamos la
demostracin en clase.
Con estas propiedades se pudo continuar con la gua de prctico.
7) Demostrar las propiedades del teorema 5 que no han sido probadas y las
siguientes:
a) < ()
b) , , < <
Comenzamos con este ejercicio, pues los alumnos tenan asociado el mtodo de
induccin a la prueba de igualdades y por lo tanto no comprendan como este mtodo
puede ser utilizado para comprobar la veracidad de una desigualdad. No pudieron darse
cuenta inmediatamente que bastaba con aplicar la definicin 4 para entrar en el terreno
de las igualdades.
Con respecto al apartado b), tuvieron dificultad al demostrar < < , pero
cuando les propusimos probar la implicacin mediante la proposicin contrarrecproca lo
resolvieron inmediatamente. Creemos que esto se debe a un manejo apropiado de
determinados principios lgicos adquiridos durante su formacin.
En el ejercicio 9 eliminamos los apartados d), e) y g) porque para su demostracin

necesitaran conocer determinadas sumatorias que los alumnos no manejaban. Adems
modificamos el inciso f), quedando el ejercicio de la siguiente manera:
9) Probar que las siguientes desigualdades son verdaderas usando el
axioma 3 :
a) 2 >
b) 3 + 5 2+2
c) 3 3
d) es un factor de
A continuacin resolvemos el apartado ) y especificamos los errores ms comunes.
Sea : 3 + 5 2+2 . Veamos que vale mediante el axioma 3 .
Veamos que 1 es verdadera.
31 + 51 = 8 21+2 = 8, por lo tanto 1 es verdadera.
Aqu no queda demostrada la desigualdad. Si bien est claro que esto es cierto al
cumplirse la igualdad, se debera justificar usando la definicin dada en el ejercicio 8. Una
manera de argumentar la desigualdad podra ser la siguiente:
31 + 51 = 8 y 21+2 = 8 , por lo tanto 31 + 51 = 21+2 .
Luego 31 + 51 > 21+2 31 + 51 = 21+2 . Entonces 31 + 51 21+2 , por la definicin
del ejercicio 8.
Supongamos que es verdadera. Veamos que () es verdadera.

+1
3 + 5+1 = 3 3 + 5 5 3 2 + 5 2 = 3 + 5 2
2 +2 2 (por hiptesis inductiva)
+2+1 +1 +2
=2 =2 = 2 +2
La mayora de los alumnos resolvi esta parte del ejercicio de esta manera, la cual no
es incorrecta pero faltan las justificaciones de cada paso. A nuestro entender es una parte
fundamental ya que con las justificaciones especifican las definiciones y propiedades que
aplicaron. A continuacin presentamos una posible argumentacin de dichos pasos:
3 + 5 = 3 3 + 5 5 (por Def. 3 ))

Veamos que 3 3 3 2 (1)
3 2, pues 3 = 2 + 1 y 1 3 > 2 por definicin 4, por lo tanto 3 2.

Como 3 , pues la potencia es cerrada en , por el ejercicio 8) ) se tiene que
3.3 2.3 . Luego por propiedad conmutativa de la multiplicacin 3 3 3 2.
Anlogamente se prueba que 5 5 5 2 (2)
Teniendo (1) y (2), por la ley de monotona )
3 3 + 5 5 3 2 + 5 2
= (3 + 5 )2 (por ejercicio 4 a))
+2
2 .2 (por hiptesis inductiva)
+2+1
=2 (por Teorema 4 2))
= 2+1+2 (por Teorema 2 2))
()+2
=2 (por Def. 1 a))
Luego () es verdadera y por 3 es verdadera .
Con el ejercicio 9 termina la gua de prctico y para finalizar con el apunte de esta
segunda parte enunciamos y demostramos el Principio de Buena Ordenacin.
EVALUACIN
Realizamos dos exmenes3 distintos y el total de alumnos que lo rindi fue de 32. Al
igual que para el primer examen detallamos los puntajes asignados a cada parte de la
resolucin de los ejercicios, en este caso lo mostramos con el trabajo prctico del Tema 2.
1) Enunciar y demostrar, usando el axioma 3 del sistema axiomtico de Peano, la

propiedad distributiva de la potenciacin con respecto a la multiplicacin en .
0.50 punto: enunciacin de la propiedad.
0.50 punto: comprobacin de que la propiedad vale para 1.
1 punto: comprobacin de que si la propiedad vale para entonces tambin vale para
+ 1.
0.50 punto: justificacin de cada paso.
2) Demostrar la siguiente propiedad usando el sistema axiomtico de Peano para
0 :
. . = . . , , 0
0.50 punto: verificacin de que la propiedad es vlida para 0
+ 1.
3) Sean , , , probar que si . = entonces < .
0.75 punto: resolucin del ejercicio.
4) Utilizando las propiedades de las operaciones definidas en el sistema axiomtico
de Peano probar que:
, : . = . + +
0.75 punto: resolucin del ejercicio.
5) Probar que la siguiente desigualdad es verdadera 3, usando el axioma 3
+ 3 < 2
0.50 punto: verificacin de que la propiedad es vlida para = 3.
+ 1.
1 punto: justificacin de cada paso
3
Los exmenes se encuentran en el Anexo III.
Podemos destacar lo siguiente:

En algunos casos definan un conjunto contenido en los naturales pero lo utilizaban
como si fuese una proposicin. Este error fue muy recurrente en la primera evaluacin,
sin embargo en esta oportunidad se present en muy pocos casos, como por ejemplo en
el siguiente:
Observamos que el alumno que resolva de esta manera no solo lo haca para un
ejercicio particular, sino que lo haca en todos los casos.
Asumir como verdadera la igualdad o desigualdad a probar. Esto, generalmente,

ocurra en los casos en los que la veracidad es evidente.
Interpretando lo que est escrito en el primer ejemplo, el alumno comienza tomando
como verdadera la igualdad. Lo adecuado hubiese sido organizar la prueba de otra
manera, por ejemplo desarrollar cada miembro por separado y luego comparar.
En el segundo caso no solo se da la misma situacin sino que adems la demostracin
queda incompleta. En situaciones tan obvias como esta sigue haciendo falta la
justificacin, bastaba con aplicar la definicin de orden. Este error era muy frecuente en
ejercicios como el 9 del prctico, por lo que dedicamos tiempo en clase para su correccin
y para mostrar una manera completa de probar cierta proposicin. Sin embargo, esto se
present en algunos exmenes lo que podemos atribuir a la inasistencia a clases o al

hecho de no parecerles algo necesario de probar por ser elemental.
Los siguientes grficos representan los porcentajes de los alumnos que resolvieron los
ejercicios de la manera que mencionamos antes.
Resolucin de ejercicios 2 (tema 2) y Resolucin del ejercicio 5

3 (tema 1)
Asumen la 38% Asumen la

47% 53% igualdad desigualdad
63%
Prueban que vale Prueban que vale la
la igualdad desigualdad
En el ejercicio 5 de ambos temas notamos dificultad en su resolucin. Si bien

advertimos esto durante el desarrollo de las clases, no pudimos dedicar el tiempo
necesario para que los alumnos desarrollen, mediante la prctica, habilidades para
detectar un truco que les permitiera resolver con xito el ejercicio. En el grfico se ve
reflejado el nivel de dificultad que este tipo de ejercicios representaba para ellos.
Resolucin del ejercicio 5
25%
No detectaron el
"truco"
75%
Detectaron el
"truco"
En este segundo examen notamos una evolucin respecto del primero. Esto se
evidenci en el desarrollo de las demostraciones y las calificaciones.
Si comparamos esta prueba con alguna del primer trabajo prctico se ve una mejor
organizacin.
Aqu presentamos los grficos correspondientes a los alumnos aprobados segn sea el
Tema 1 (17 alumnos) o el Tema 2 (15 alumnos).
Tema 1 Tema 2
12% 7%
Aprobados Aprobados
No Aprobados 93% No Aprobados
88%
A continuacin mostramos los resultados totales que arrojaron los exmenes.
Total
Aprobados No Aprobados
9%
91%
ANLISIS DE UNA PROBLEMTICA DESDE UNA PERSPECTIVA TERICA

Durante el perodo de observaciones realizadas previo a la prctica, notamos una gran
disparidad entre los alumnos en cuanto a edad, conocimientos previos, habilidades
algebraicas, dedicacin al estudio, entre otros. Sin embargo, en el transcurso de la
prctica advertimos que las dificultades que se presentaban al momento de trabajar con
demostraciones no era una diferencia entre ellos.
El concepto demostracin matemtica no ha sido siempre el mismo, ha evolucionado
notablemente a travs de la historia. Esta idea es relativa y vara de una cultura a otra. No
existen definiciones al respecto que sean aceptadas unnimemente, por lo que al abordar
este trmino, es de gran utilidad conocer la significacin que le otorgan diferentes
autores.
Balacheff (1987), utiliza el trmino explicacin como idea primitiva de la cual derivan
las de prueba y demostracin. Para este autor, la explicacin es un discurso que pretende
hacer inteligible el carcter de verdad, adquirido para el locutor, de una proposicin o de
un resultado. Balacheff propone reservar el trmino prueba para las explicaciones
aceptadas por una comunidad dada en un momento dado (p. 148). Segn esto, para que
una explicacin sea una prueba debe ser reconocida por alguien como razn suficiente en
el correspondiente marco discursivo.
El uso que hace Balacheff de explicacin difiere del de Duval (1993). Este autor
distingue entre explicacin y argumentacin:
en la argumentacin se trata de mostrar el carcter de verdad de una
proposicin, mientras que en la explicacin los enunciados tienen una
intencin descriptiva de un fenmeno, resultado o comportamiento (Duval,
1993, p. 40).
Tanto Balacheff como Duval utilizan el trmino demostracin con significados similares.
Para ellos, una demostracin es una secuencia de enunciados organizados segn reglas
determinadas. Este concepto tambin est muy ligado al de verdad.
La demostracin es el procedimiento de validacin que caracteriza la
matemtica respecto de las ciencias experimentales y as ocupa un lugar
central desde el punto de vista epistemolgico en esta disciplina. (Arsac, 1988)
A lo largo de los aos la intencionalidad de la demostracin ha variado, como lo
plantea Evelyne Barbin (IREM du Mans, Francia) quien divide la historia de la
demostracin en tres etapas (citado por Arsac, 1988)

En Grecia la demostracin busca convencer en medio del debate.
En el Siglo XVII se busca que las demostraciones aclaren ms que convenzan, y los
mtodos de descubrimiento juegan un papel central.
En el Siglo XIX se regresa a un rigor que permita hacer frente a las nuevas
concepciones de los objetos matemtico, que trajo consigo problemas de fundamentos de
la matemtica y la aceptacin de teoras anti-intuitivas o no visibles.
El modelo ideal de la demostracin naci como una necesidad para validar un
conocimiento abstracto, poco tangible y separado de la realidad inmediata del cientfico:
La demostracin formal nace como una respuesta a una demanda continua
de justificacin, una demanda que se remonta a Aristteles y Euclides, a travs
de Frege y Leibniz. Ha habido siempre una necesidad de justificar nuevos
resultados (), no siempre en el sentido limitado de definir su verdad, sino ms
bien en la ms amplia acepcin de suministrar razones para su plausibilidad. La
demostracin formal ha sido y es una respuesta suficientemente til a esta
preocupacin por la justificacin. (Hanna, 1997, p. 246)
La demostracin es parte esencial de la Matemtica, y por lo tanto, un componente
ineludible en la Educacin Matemtica y fundamentalmente en la formacin de
profesores.
Compartimos la idea de Gila Hanna de que la verdadera funcin de la demostracin en
la educacin matemtica es principalmente explicativa. Por esta razn, la prueba no
debera ser tomada en el aula como un ritual, apuntando vagamente a reflejar la prctica
matemtica, sino como una actividad educacional significativa.
En esta experiencia propusimos apuntar a demostraciones explicativas tanto como a
demostraciones que solo prueban. Hacemos esta distincin basndonos en los aportes de
Hanna. Una demostracin que prueba muestra que un teorema es verdadero. Una
demostracin que explica tambin hace eso, pero la evidencia que presenta deriva del
fenmeno mismo. Es decir, las demostraciones que prueban son utilizadas para ver que
un hecho es verdadero y las demostraciones que explican son utilizadas para ver por qu
un hecho es verdadero.
Algunos de los ejercicios que propusimos podan ser fcilmente probados por
induccin, como los siguientes:

) 2 + 4 + 6 + + 2 = + 1
1 +1
) 1 + + 2 + + =
1
Pero la demostracin por induccin tiene poco valor explicativo. Si bien demuestra que
la igualdad es verdadera, no le da al estudiante una pauta de por qu lo es. Por ello, a la
hora de planificar, decidimos agregar ejercicios que adems proporcionen un medio de
explicacin al alumno, por ejemplo:
La deduccin de la frmula en este tipo de ejercicios es la demostracin que explica.
Creemos que el proceso de enseanza/aprendizaje se enriquece si se llega a ver de dnde
se han obtenido las expresiones presentadas para su demostracin, ya que estas
igualdades parece que surgen espontneamente. O sea, con este tipo de ejercicios
pretendamos que los alumnos vean de dnde procede el patrn que van a demostrar que
es cierto. Pensamos que si no se hace as, se est omitiendo una fase importante del
razonamiento matemtico que es la fase inductiva, en ella, los alumnos tienen la
oportunidad de descubrir, de conjeturar y probar sus conjeturas posteriormente.
Segn Polya (1945), los pasos a seguir en un proceso de razonamiento inductivo son:
Trabajo con casos particulares.
Formulacin de conjetura.
Justificacin de la conjetura.
Comprobacin con nuevos casos particulares.
El primer paso es la observacin de alguna semejanza en casos particulares.
Posteriormente se busca establecer una regla general o propiedad, esto es un intento de
alcanzar la verdad. Tras la comprobacin de la conjetura con ejemplos, se busca un
examen ms justo de la misma y, si es necesario, se proceder a su demostracin.
Finalmente se prueba la conjetura con nuevos ejemplos particulares para comprobar si
sigue funcionando.
Creemos que la dificultad se presentaba en los ejercicios en los que se pone de
manifiesto el razonamiento inductivo. Suponemos que esto tiene que ver con la carencia,
durante su desarrollo escolar, de actividades en las que el razonamiento inductivo este
presente. Pese a que los alumnos cursaban el segundo ao de la carrera, no contaban con
la habilidad y formacin necesarias para potenciar este tipo de tareas.
Un profesor de matemticas tiene una gran oportunidad. Si dedica su
tiempo a ejercitar a los alumnos en operaciones rutinarias, matar en ellos el
inters, impedir su desarrollo intelectual y acabar desaprovechando su
oportunidad. Pero s, por el contrario, pone a prueba la curiosidad de sus
alumnos plantendoles problemas adecuados a sus conocimientos, y les ayuda
a resolverlos por medio de preguntas estimulantes, podr despertarles el gusto
por el pensamiento independiente y proporcionarles ciertos recursos para ello
(Polya, 1944, p.5)
CONSIDERACIONES FINALES
A partir de los conocimientos que fuimos adquiriendo en los diferentes espacios
curriculares nos fuimos acercando a la realidad educativa de las instituciones de
formacin docente. Por su parte, las prcticas nos permitieron vincularnos directamente
con una institucin terciaria de formacin docente e involucrarnos activamente en su
realidad.
Como ya habamos mencionado, en las observaciones realizadas previo a la prctica,
notamos una gran diversidad entre los alumnos en cuanto a edad, conocimientos previos,
habilidades algebraicas, dedicacin al estudio, entre otros. Nos encontramos con
estudiantes cuyas edades variaban de los 19 a los 55 aos aproximadamente. Entre ellos
haba personas que retomaron sus estudios luego de varios aos, otros egresados
recientemente del secundario, algunos que decidieron abandonar una carrera
universitaria de profesorado o de otra rea y varios recursando la materia. Sumado a esto,
una gran parte del curso trabajaba y/o tena una familia de la cual ocuparse, lo que no les
permita una dedicacin exclusiva a la carrera.
Si bien durante nuestra formacin acadmica existe una fuerte preocupacin sobre la
problemtica de la enseanza y el aprendizaje de la Matemtica, sta se sostiene sobre un
ambiente de aprendizaje que poco tiene que ver con lo descripto anteriormente.
Frente a esto y con nuestra inexperiencia tratamos de adaptarnos a la forma de trabajo
que se vena desarrollando en el curso sin perder de vista los objetivos propuestos. Para
poder alcanzar estos objetivos, entre otras cosas, planteamos determinados problemas, la
mayora estndares segn nuestra experiencia como estudiantes y la bibliografa
consultada, pero algunos de estos ejercicios resultar
on un reto. Nosotras, como profesoras, nos propusimos ayudar a superar este reto, pero
sentimos que no pudimos cumplir con esta tarea de la manera que hubisemos deseado.
A esto se lo podemos atribuir a la falta de tiempo, al poco inters por parte de los
alumnos en ciertas ocasiones o a planificar sin tener en cuenta algunas caractersticas del
contexto en el que bamos a trabajar.
Adems de proponer problemas estndares, les dimos otros que presentaran un
desafo para ellos, como por ejemplo el ejercicio 5 del apunte de Induccin. No obstante
nos encontramos con que no slo este tipo de ejercicios representaba un reto para ellos,
sino que muchos de los ejercicios propuestos lo eran. Cualquier tipo de actividad que
exiga elaboracin de conjeturas e hiptesis para buscar una regularidad presentaba una
gran dificultad para la mayora. Por ese motivo optamos por dedicarle menos tiempo del
que habamos programado a los ejercicios de este tipo y utilizar ese tiempo para trabajar
en el resto. Al haber trabajado ms exhaustivamente con ejercicios estndares,
elaboramos las evaluaciones en funcin de estos.
Teniendo presente lo anterior, al momento de planificar el segundo tema, tratamos de
seleccionar ejercicios acordes a estas circunstancias. Pero no podamos descartar algunos
que suponamos iban a ser dificultosos para ellos, como por ejemplo los ejercicios 7, 8 y 9
del prctico de Peano, a los cuales planeamos dedicarles ms tiempo. En la prctica esto
se manifest de la manera que esperbamos y a pesar de que le dedicamos el tiempo
planeado, las resoluciones de ejercicios de este tipo en las evaluaciones presentaron las
mismas dificultades que en clase. Tal vez esto es una evidencia de que el tiempo dedicado
no fue suficiente, o quizs se deba a algn otro motivo que no pudimos detectar a
tiempo.
Lo que rescatamos de estas prcticas, ms all de la experiencia en s, es que fue una
instancia en la que pudimos situarnos en el lugar de docentes de un mbito que no est
tan presente durante nuestra formacin. Si bien nuestro ttulo nos habilita para ejercer la
profesin en instituciones terciarias, la mayora de las materias del plan de estudio
apuntan a la enseanza en el nivel medio.
Por ltimo queremos destacar la total libertad, apoyo y predisposicin que nos brind
la docente a cargo del curso para planificar la prctica, as como tambin la aceptacin de
los alumnos. Agradecemos a las docentes responsables de la materia por proporcionarnos
su orientacin y a las autoridades de la institucin por habernos permitido trabajar en
ella.
ANEXO I
INSTITUTO DE ENSEANZA SUPERIOR SIMON BOLIVAR
PROFESORADO EN MATEMATICA
ALGEBRA II
Curso: 2 ao
UNIDAD II: El conjunto de los Nmeros Naturales.

Tema: El Principio de Induccin.
Esta primera parte de la unidad est destinada a presentar contenidos y

actividades que permitirn operar con simbologa matemtica, describir, analizar y
aplicar el Principio de Induccin matemtica, a travs del cual se podr comprobar
rpida y eficientemente, la veracidad o falsedad de proposiciones definidas en los
nmeros naturales.
Consideremos, por ejemplo, la sucesin

1, 2, 3, 4, 5, 6, 7, 1
Observemos que
12 23 34
1= ; 1+2 = ; 1+2+3= ; (2)
2 2 2
Estas proposiciones nos hacen pensar en la posible validez del siguiente teorema:
(+1)
La suma de los primeros trminos de la sucesin (1) es igual a 2 .
Si designamos respectivamente con 1 , 2 , 3 , las proposiciones (2) vemos que
el teorema que acabamos de enunciar implica la validez de las infinitas proposiciones
1 , 2 , 3 , , ,
Sabiendo que estas proposiciones son ciertas para los 3, 7, 10, 50 100 primeros
trminos, podemos asegurar que sern validas para todos los ? Si no es as,
cuntas proposiciones debemos analizar para poder afirmar la validez del teorema?
Evidentemente, la respuesta sera todas, pero tal cosa es experimentalmente
imposible. Uno de los mtodos de demostracin matemtica que se usa para poder
afirmar la validez de infinitas proposiciones es el PRINCIPIO DE INDUCCION.
Para poder definir este principio necesitamos el concepto de conjunto inductivo y

nmeros naturales.
DEFINICION 1
Diremos que un subconjunto H de es inductivo si verifica las siguientes
propiedades:
() 1 ,
() si entonces + 1 .
DEFINICION 2
Llamaremos conjunto de nmeros naturales al subconjunto, denotado por ,
caracterizado por las propiedades
() es inductivo
() Si es un conjunto inductivo entonces
Nota: es el menor en sentido de la inclusin subconjunto inductivo de
Actividad 1:
Decir cules de los siguientes conjuntos son inductivos. Justificar la respuesta.
1
)
2
) 0
) Un subconjunto finito de
) | + 4 5
) | = ,
) Un subconjunto infinito de que contenga al 1.
TEOREMA DE INDUCCION
Sea H un subconjunto de tal que:
() 1 ,
() si entonces + 1 .
Entonces = .
PRUEBA. En efecto, () y () implican que es inductivo, luego . Pero como por
hiptesis es subconjunto de , . Por lo tanto = .
El Teorema de induccin es til para probar la veracidad de propiedades relativas a

los nmeros naturales. Por ejemplo, consideremos las siguientes propiedades
(), () ():
() () es la propiedad: 2 1 < 2 + 1,
() () es la afirmacin: 4,
() () es la afirmacin: 2 < 1.
Intuitivamente notamos que () es verdadera para cualquier natural, () lo es
para algunos valores de y es falsa para otros y () es falsa para todo valor de . Sin
embargo, para verificar realmente que la propiedad es verdadera para todo
natural no podemos hacerlo probando para cada n en particular. Resulta entonces
muy til la siguiente versin equivalente del Teorema de Induccin.
PRINCIPIO DE INDUCCION
Sea () una propiedad de tal que:
() (1) es verdadera
() Para todo , () verdadera implica ( + 1) verdadera.
Entonces () es verdadera para todo .
PRUEBA. Basta tomar
= { | () }.
Entonces es un subconjunto de y las condiciones () y () nos dicen que es un
conjunto inductivo. Por el Teorema anterior se sigue que = , es decir que () es
verdadera para todo natural.
Ejemplo 1: Prueba por induccin del teorema:

(+1)
La suma de los primeros nmeros naturales es igual a .
2
(+1)
Consideremos la propiedad 1 + 2 + + = 2 , .
() Debemos probar que la propiedad se verifica para = 1.
1 2
En efecto, (1) es verdadera, pues 1 = 2
Debemos probar la siguiente implicacin:
es verdadera ( + 1) es verdadera.
(+1)
Hiptesis inductiva: = 1 + 2 + + = 2
+1 (+2)
Tesis: + 1 = 1 + 2 + + + + 1 = 2
Teniendo en cuenta la hiptesis inductiva,
+1
+ 1 = 1 + 2 + + + + 1 = + +1
2
Reduciendo a comn denominador y por distributividad
+ 1 + 2( + 1) + 1 ( + 2)
( + 1) = =
2 2
es decir que ( + 1) es verdadera. Luego vale para todo natural.
Actividad 2:
5) Encontrar el error en el siguiente argumento de induccin.
Probaremos que 5 + 3 es mltiplo de 5 .
Supongamos que 5 + 3 es mltiplo de 5, con . Entonces existe tal
que 5 + 3 = 5. Probemos que 5( + 1) + 3 es mltiplo de 5: Como
5 + 1 + 3 = 5 + 5 + 3 = 5 + 3 + 5 = 5 + 5 = 5( + 1)
entonces obtenemos que 5 + 3 es mltiplo de 5. Por lo tanto, por el Principio de
Induccin, probamos que 5 + 3 es mltiplo de 5 para todo .


) 2 + 4 + 6 + + 2 = + 1
2
1 +1
) 1 + + + + =
1
) 1 2 + 2 22 + 3 23 + + 2 = 2 + ( 1)2+1
1 1 1 1
) + + + + =
12 23 34 ( + 1) + 1
1
) 2 + 5 + 8 + + 3 1 = 2 (3 + 1)
8) Probar las siguientes afirmaciones usando induccin:

) 2 +
) 3 + ( + 1)3 + ( + 2)3 9
SUMATORIA Y PRODUCTORIA
En muchas situaciones conviene abreviar la notacin de una suma o de un
producto cuyos trminos admiten cierta ley de formacin. Para estos casos es til la
introduccin del smbolo de sumatoria: y productoria: .
Si el ndice vara de 1 a , la notacin:

=1
significa la suma abreviada de los trminos 1 +2 + + y se lee sumatoria

de con variando desde 1 a .
La notacin:

=1
significa el producto abreviado de los trminos 1 2 y se lee
productoria de con variando desde 1 a .
El desarrollo de una sumatoria o productoria se obtiene asignando a , cada uno de
los sucesivos valores de su rango de variacin, y sumando o multiplicando
respectivamente los trminos as obtenidos. Por ejemplo
4
( + 1)3 = (1 + 1)3 + (2 + 1)3 + (3 + 1)3 + (4 + 1)3

=1
2 = 12 22 32 42 52
=1
Observacin: Dados nmeros reales |

1 +1
= 1 = + +1
=1 =1 =1
1 +1
= 1 = +1
=1 =1 =1
Propiedades de la Sumatoria
Dados nmeros reales | , | y , entonces:

+ = +
=1 =1 =1
Pues:

+ = 1 + 1 + 2 + 2 + 3 + 3 + + +
=1
= 1 + 2 + 3 + + + 1 + 2 + 3 + +

= +
=1 =1
() =
=1 =1
Pues:

= 1 + 2 + 3 + +
=1
= 1 + 2 + 3 + + =
=1

() 1=
=1
(Prueba a cargo del lector).
Actividad 3:
1) Demostrar que:
) Si = , , entonces:

=
=1
) Si ,

( + 1)
+ = +
2
=1
2) Calcular:
6 1
1
) , )
( + 4)
=0 =3
7 8

) , )
1
=1 =2
3) Elaborar un procedimiento para calcular la suma de diez nmeros naturales

consecutivos y justificarlo usando induccin.
4) Demostrar por induccin que las siguientes igualdades se verifican para todo
natural:

+ 1 (2 + 1)
) 2 =
6
=1
2
( + 1)
3
) =
2
=1

( + 1)
) =+1

=1
5) Actividad en grupo: Probar que un cuadrado se puede dividir en cuadrados para

6.
Bibliografa
GENTILE, E. 1976. Notas de lgebra I. Editorial EUDEBA.
ROJO, A. 1981. lgebra I. Editorial EL ATENEO.
COTLAR, M. y RATTO DE SADOSKY, C. 1971. Introduccin al lgebra. Editorial
EUDEBA.
KISBYE, P. y MIATELLO, R. Notas. lgebra I-Matemtica Discreta I. Fa.M.A.F
ANEXO II
INSTITUTO DE ENSEANZA SUPERIOR SIMON BOLIVAR
PROFESORADO EN MATEMATICA
ALGEBRA II
Curso: 2 ao
UNIDAD II: El conjunto de los Nmeros Naturales.
Tema: Sistema axiomtico de Peano.
En esta segunda parte de la unidad se construye el conjunto de los nmeros

naturales. El propsito es repasar las operaciones definidas para este conjunto de
nmeros y demostrar sus propiedades ms importantes utilizando la induccin
matemtica.
Un sistema axiomtico est constituido por:

Trminos primitivos: son elementos, conjuntos o relaciones que no se definen
explcitamente.
Axiomas: son funciones proposicionales relativas a las variables que representan
a los trminos primitivos. Los axiomas definen implcitamente a estos.
Definiciones de todos los trminos no primitivos.
Teoremas: son propiedades que se deducen de los axiomas.
No toda coleccin de trminos primitivos y de propiedades relativas a estos
caracteriza un sistema axiomtico. Para que un conjunto de axiomas este bien
constituido tiene que cumplir los siguientes requisitos:
Consistencia: partiendo de los axiomas no debe ser posible demostrar un teorema
y la negacin del mismo, es decir, de los axiomas no debe derivar ninguna
contradiccin.
Independencia (no es necesaria): ninguno de los axiomas puede ser deducido a
partir de los dems. Cada axioma debe ser independiente.
Completitud (o compatibilidad): significa que de los axiomas se deduce la verdad
o falsedad de todo enunciado relativo a la teora.
Un muy buen ejemplo de una construccin axiomtica que obedece este patrn, es la
de los Nmeros Naturales, a travs de los Axiomas de Peano (Giuseppe Peano,
matemtico italiano, 1858-1932).
Peano estaba interesado en la axiomatizacin de los Nmeros Naturales desde el
punto de vista de un lenguaje formal, es decir, lo abordaba desde la lgica matemtica.
Originalmente (1889) el sistema axiomtico de Peano estaba constituidos por nueve
axiomas. Despus de anlisis ms profundos por parte de otros matemticos y de la
eliminacin de aquellos postulados que podan deducirse a travs de los otros, el
sistema qued conformado de la siguiente manera:
() Se consideran como trminos primitivos:

un objeto que se denota con 1
un conjunto
una funcin llamada siguiente o sucesor, que simboliza con .
() Axiomas:
1 : El objeto 1 es un elemento de , es decir 1 .
2 : La funcin siguiente es una aplicacin inyectiva de en 1

1 es 1-1
Este axioma establece:
) todo elemento de tiene un sucesor y slo uno.
) el 1 no es sucesor de ningn elemento de .
) si dos elementos de tiene el mismo sucesor, entonces son iguales.
3 : Si es tal que verifica simultneamente las dos siguientes
propiedades:
1
()
entonces = .
Este axioma se conoce como el axioma de induccin o principio de induccin, y puede
expresarse de la siguiente manera:
Si es una propiedad relativa a los elementos de que satisface:
(1) es verdadera
es verdadera ( ) es verdadera, entonces vale para todo
.
Observaciones: El axioma 1 establece que el conjunto de los nmeros naturales no es

vaco, enunciando que contiene el elemento 1; este elemento queda caracterizado por
el axioma 2 ) como el elemento de que no es sucesor de ningn nmero natural.
El axioma 2 ) establece una funcin de en s mismo (la funcin sucesor) que, de
acuerdo con el axioma 2 ), es inyectiva.
El axioma 3 se utiliza en la prueba de muchas de las propiedades que tienen que ver
con los nmeros naturales.
Definiciones:
A partir de estos axiomas se pueden definir en la adicin, la multiplicacin y la
relacin de orden usuales y tambin se pueden probar sus propiedades.
Definicin 1: La operacin de adicin de nmeros naturales se define como la

funcin:
+:
, +
tal que:
) + 1 = cualquiera que sea que pertenece a .
) + = ( + )
A + se le llama suma de y y a los nmeros y se les llama sumandos de la
suma. Observar que la definicin dice que la suma de y 1 es igual al sucesor de y la
suma de y el sucesor de es igual al sucesor de + . En ) vemos reflejada la idea
intuitiva que tenemos sobre el sucesor y ) no es mas que un caso particular de la
propiedad que conocemos como asociatividad.
Definicin 2: La operacin de multiplicacin de nmeros naturales se define

como la funcin:

,
tal que:
) 1 =
) = +
A se le llama producto de y y a los nmeros y se les llama factores del
producto. Observar que ) establece que 1 es neutro para la multiplicacin y ) es un
caso particular de la ley distributiva.
Definicin 3: La operacin de potenciacin se define como:

) 1 =
) () =
La expresin para es el producto de factores iguales a , es decir
=
Definicin 4: Dados y en , decimos que es menor que , y lo denotamos

< , si existe tal que + = . En lugar de < tambin escribiremos
> y diremos que es mayor que .
Teoremas:
Teorema 1: La funcin sucesor es sobreyectiva.

PRUEBA: Sea el conjunto de las imgenes de la funcin siguiente. Debemos probar
que = 1 .
2 = (1) que pertenece a
Supongamos que y vemos que ()
Si ()
Luego = 1 .
Teorema 2: Propiedades de la adicin en . La adicin de nmeros naturales

obedece las siguientes leyes:
1) Ley asociativa: , , se tiene que + + = + ( + ).
2) Ley conmutativa: , se tiene que + = + .
3) Ley de cancelacin: , , , si se tiene que + = + , entonces
= .
PRUEBA: 1) Consideremos , fijos y sea = + + = +
(+). Si probamos que = , habremos probado la asociatividad de la adicin.
Utilizaremos 3 .
Sea = 1, tenemos
+ +1= + (por ) de la Def. 1)
= + () (por ) de la Def. 1)
= + ( + 1) (por ) de la Def. 1)
Se deduce que 1 .
Supongamos ahora que y probemos que () :
+ + = ( + + ) (por ) de la Def. 1)
= ( + + ) (pues suponemos que )
= + ( + ) (por ) de la Def. 1)
= + ( + ) (por ) de la Def. 1)
Se deduce entonces que () .
Luego, por 3 , se tiene que = y, como y son arbitrarios se tiene la
propiedad enunciada.
Teorema 3: Propiedades de la multiplicacin en . La multiplicacin de

nmeros naturales obedece las siguientes leyes:
1) Ley asociativa: , , se tiene que = ().
2) Ley conmutativa: , se tiene que = .
3) Ley de cancelacin: , , , si se tiene que = , entonces = .
4) Ley distributiva respecto de la suma: , , se tiene que + =
+ .
PRUEBA: 4) Sean y fijos en y = + = + . Se
demostrara que = .
Si = 1 entonces
1 + = + (por 2) del Teo. 2 y ) de la Def. 2)
= 1 + 1 (por ) de la Def. 2 y por 2) del Teo. 2)
Entonces 1 .
Supongamos ahora que y probemos que, entonces, .
+ = + () (por 2) del Teo. 2)
= + + ( + ) (por ) de la Def. 2)
= + + ( + ) (por 2) del Teo. 2)
= + + + (pues )
= + + ( + ) (por 2) y 1) del Teo. 2)
= + + ( + ) (por 2) del Teo. 2)
= + () (por ) de la Def. 2)
= + (por 2) del Teo. 2)
Esto dice que y, por lo tanto = y se tiene, entonces, la propiedad
enunciada.
Teorema 4: Propiedades de la potenciacin en :

1) Ley distributiva respecto del producto: , , se tiene que () =
.
2) Regla del producto de potencias de igual base: , , se tiene que
= + .
Teorema 5: Propiedades del orden en . Sean , , :

1) Transitividad: Si < y < entonces < .
2) Tricotoma: Exactamente una de las tres relaciones siguientes es
verdadera:
< , = , >
3) Leyes de monotona:
) Si < entonces + < + .
) Si < y < entonces + < + .
PRINCIPIO DE BUENA ORDENACION
Definicin: Sea un subconjunto de . Decimos que posee primer elemento si

existe un elemento tal que , para todo .
Un subconjunto de se dice bien ordenado si todo subconjunto no vacio de posee
primer elemento.
El principio de buena ordenacin asegura que el conjunto de nmeros naturales es

un conjunto bien ordenado.
PRINCIPIO DE BUENA ORDENACION: es un conjunto bien ordenado. Es decir, para

todo subconjunto de , tiene primer elemento.
PRUEBA. Probaremos que todo subconjunto de que no tiene primer elemento es
el conjunto vaco.
Supongamos que es un subconjunto de que no tiene primer elemento. Sea el
complemento de en , es decir:
= .
Para simplificar la notacin denotaremos con 1, al intervalo natural de los
primeros nmeros naturales, esto es 1, = 1,2, , . Consideremos el conjunto:
= 1, .
Si probamos que es inductivo, entonces tendremos que = , y por lo tanto que
= .
En efecto, notemos que 1 pues de lo contrario tendramos que 1 y 1 sera el
primer elemento de . Por lo tanto 1 pues 1 .
Adems, si , es decir, si 1, , entonces + 1 debe pertenecer a , pues
de lo contrario + 1 estara en y sera su primer elemento. Luego 1, + 1 , lo
que indica que + 1 . Con esto probamos que es un conjunto inductivo, y por lo
tanto = . Pero si = entonces = , como queramos demostrar.
Bibliografa
ROJO, A. 1981. lgebra I. Editorial EL ATENEO.
KISBYE, P. y MIATELLO, R. Notas. lgebra I-Matemtica Discreta I. Fa.M.A.F.
BARRANTES, H. Introduccin a la Matemtica. EUNED.
ANEXO III
LGEBRA II - Trabajo Prctico N 2
Tema 1 30 de Junio de 2010

Nombre:
= 4 3 + 5 3
vlida para todo :
12 + 32 + 52 + + (2 1)2

(3 1)
3 2 =
2
=1
Tema 2 30 de Junio de 2010

Nombre:
= 42+1 + 1 5
vlida para todo :
22 + 62 + 102 + + (4 2)2

(5 1)
5 3 =
2
=1
Tema 1 25 de Agosto de 2010

Nombre:
propiedad asociativa de la multiplicacin en .
2) Utilizando las propiedades de las operaciones definidas en el sistema axiomtico de
Peano probar que:
, : . = . + +
3) Demostrar la siguiente propiedad usando el sistema axiomtico de Peano para 0 :
+ = + , , 0
Recordar:
I. Adicin. II. Multiplicacin.
i. + 0 = 0 . i. . 0 = 0 0 .
ii. + = ( + ) , 0 . ii. . = . + , 0 .
iii. 0 = 0 + 1.
(Asumir la veracidad de las dems propiedades demostradas en para el caso 0 )
4) Sean , , , probar que si = entonces . > .
1 + 2 < 3
Tema 2 25 de Agosto de 2010

Nombre:
propiedad distributiva de la potenciacin con respecto a la multiplicacin en .
2) Demostrar la siguiente propiedad usando el sistema axiomtico de Peano para 0 :
. . = . . , , 0
Recordar:
I. Adicin. II. Multiplicacin.
i. + 0 = 0 . i. . 0 = 0 0 .
ii. + = ( + ) , 0 . ii. . = . + , 0 .
iii. 0 = 0 + 1.
(Asumir la veracidad de las dems propiedades demostradas en para el caso 0 )
3) Sean , , , probar que si . = entonces < .
4) Utilizando las propiedades de las operaciones definidas en el sistema axiomtico de
Peano probar que:
, : . = . + +
+ 3 < 2
BIBLIOGRAFA
GENTILE, E. (1976). Notas de lgebra I. Editorial EUDEBA.
ROJO, A. (1981). lgebra I. Editorial EL ATENEO.
COTLAR, M. y RATTO DE SADOSKY, C. 1971. Introduccin al lgebra. Editorial
EUDEBA.
KISBYE, P. y MIATELLO, R. Notas. lgebra I-Matemtica Discreta I. Fa.M.A.F
BARRANTES, H. Introduccin a la Matemtica. EUNED
BALACHEFF, N. (1987). Processus de preuve et situations de validation. Educational
Studies in Mathematics, 18, pp. 147-176.
DUVAL, R. (1993). Argumenter, demontrer, expliquer: continuit ou rupture
cognitive?. Petit x, 31, pp. 37-61.
ARSAC, G. (1988). Les recherches actuelles sur lapprentissage de la dmostration
et les phnomnes de validation en France. Recherches en Didactique des
Mathmatiques, 9 (3): 247-280
HANNA, G. (1997). Il valore permanente della dimostrazione. La matematica e la
sua didattica. 1997 (3): 236-252
HANNA, G. (1995). Challenges to the importance of proof. For the Learning of
Mathematics. 15,3, 42-49
POLYA, G. (1a. edicin 1945, 17. edicin en espaol 1992). Cmo plantear y
resolver problemas. Ed. Trillas. Traduccin de How to solve it?

Demostraciones PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Demostraciones PDF

Uploaded by

Copyright:

Available Formats

Ttulo: Principio de Induccin Sistema Axiomtico de Peano

Autores: Maldonado, Ana Laura Seimandi, Florencia

Las prcticas se realizaron en un Instituto de Enseanza Superior de la ciudad de

Practicantes: Maldonado, Ana Laura

MODALIDAD DE TRABAJO EN EL PERODO DE LAS OBSERVACIONES

Definicin de conjunto inductivo. Definicin del conjunto de los Nmeros Naturales.

TEMA: PRINCIPIO DE INDUCCIN

Para comenzar a desarrollar este tema propusimos la siguiente actividad1:

Aqu, se present un problema. La definicin de conjunto inductivo no fue aplicada

Realizamos la parte ) al frente y sin inconvenientes. Sin embargo la parte ) present

3) Demostrar por induccin las siguientes igualdades.

Aqu se presentaron problemas en la aplicacin del Principio de Induccin y del tipo

4) Probar las siguientes afirmaciones usando induccin:

El abordaje de este ejercicio exige un tratamiento un tanto diferente a los ya realizados,

0.25 punto: aplicacin del Principio de Induccin.

Mismos puntajes que en el ejercicio 4.

Entre las dificultades ms comunes que se presentaron, podemos destacar las

La idea de este ejercicio era que utilizaran la definicin de conjunto inductivo o el

recurrir al Principio de Induccin como se ve en el ejemplo, es necesario definir la

Esta situacin se pone de manifiesto en la

Realizacin de la deduccin de la frmula del

No declarar la proposicin (). Con esto nos referimos a que al momento de

En el grfico se puede observar que este

A continuacin presentamos los grficos correspondientes a los alumnos aprobados

La diferencia en el porcentaje de aprobados entre ambos temas es notoria, habra que

TEMA: SISTEMA AXIOMTICO DE PEANO

Teorema 1: La funcin sucesor es sobreyectiva.

La lectura de su demostracin trajo algunas dificultades, por lo que en clase la

Al Teorema 2, el cual presenta las propiedades de la adicin, lo demostramos por

Tambin demostramos la ley de cancelacin y la regla del producto de potencias de

Durante el desarrollo de la teora destinbamos parte de la clase a resolver la gua de

1) Probar las siguientes propiedades utilizando el sistema axiomtico de Peano.

3) a) Probar las propiedades de los teoremas 2, 3 y 4 que no han sido demostradas.

4) Demostrar aplicando el axioma 3 :

5) Utilizando las propiedades de las operaciones definidas en el sistema axiomtico

6) El 0 , Peano mismo lo introdujo en otra versin de su sistema axiomtico

Utilizando este sistema axiomtico, demostrar que , , 0 . :

Se deduce entonces que () . Luego por 3 se tiene que = 0 .

En esta demostracin se utiliza la Def. 1 ), la cual corresponde al sistema axiomtico

Supongo que , queremos probar que () .

En el ejercicio 9 eliminamos los apartados d), e) y g) porque para su demostracin

Supongamos que es verdadera. Veamos que () es verdadera.

3 2, pues 3 = 2 + 1 y 1 3 > 2 por definicin 4, por lo tanto 3 2.

Luego () es verdadera y por 3 es verdadera .

1) Enunciar y demostrar, usando el axioma 3 del sistema axiomtico de Peano, la

Podemos destacar lo siguiente:

Asumir como verdadera la igualdad o desigualdad a probar. Esto, generalmente,

present en algunos exmenes lo que podemos atribuir a la inasistencia a clases o al

Resolucin de ejercicios 2 (tema 2) y Resolucin del ejercicio 5

Asumen la 38% Asumen la

En el ejercicio 5 de ambos temas notamos dificultad en su resolucin. Si bien

Resolucin del ejercicio 5

A continuacin mostramos los resultados totales que arrojaron los exmenes.

ANLISIS DE UNA PROBLEMTICA DESDE UNA PERSPECTIVA TERICA

demostracin en tres etapas (citado por Arsac, 1988)

3) Demostrar por induccin las siguientes igualdades.

INSTITUTO DE ENSEANZA SUPERIOR SIMON BOLIVAR

UNIDAD II: El conjunto de los Nmeros Naturales.

Esta primera parte de la unidad est destinada a presentar contenidos y

Consideremos, por ejemplo, la sucesin

Para poder definir este principio necesitamos el concepto de conjunto inductivo y

Nota: es el menor en sentido de la inclusin subconjunto inductivo de

El Teorema de induccin es til para probar la veracidad de propiedades relativas a