42 ACADMICO

Tcnicas de demostracin
Jos Fabio Dvila Escobar*
Luz Mytriam Padilla Gil**
RESUMEN
El diseo de algoritmos es un actividad mental que la lleva a cabo profesionales
de diferentes reas, particularmente matemticos e ingenieros. Es considerada
una de las actividades intelectuales ms difciles, particularmente cuando se tiene
que demostrar que el algoritmo es eficiente y correcto. La herramienta necesaria
y suficiente para verificar la correctitud de un algoritmo es el Principio de
Induccin Matemtica (PIM). El algoritmo es la materia prima fundamental para
el ingeniero y en especial para el de sistemas, con ellos se construye programas y
con programas se construye software complejo aplicable a todas las campos de la
actividad humana.

Se muestra la construccin de un algoritmo dado en forma de pseudo cdigo y apoyado

en el Principio de Induccin Matemtica realizamos la comprobacin del mismo.

INTRODUCCI N

El mtodo deductivo, muy usado en matemtica, obedece a la siguiente idea:

A partir de un cierto conjuntos de axiomas aceptados sin demostracin y de
reglas lgicas no contradictorias, se deducen otros enunciados llamados teoremas
combinando los axiomas y respetando en cada etapa las reglas lgicas.

Otro mtodo para demostrar resultados generales que dependen en algn sentido
de los nmeros naturales es conocido con el nombre de Induccin Matemtica.

Esta dependencia de los nmeros naturales significa: se sabe que una determinada
afirmacin es verdadera para algunos casos particulares y surge la pregunta. Dicha
afirmacin sigue siendo verdadera para los infinitos nmeros naturales restantes?

Existen muchas afirmaciones que slo son vlidas para un nmero finito de casos y
en consecuencia son falsas para un nmero infinitos de situaciones.

Fecha de recepcin: enero 30 de 2007.

Fecha de aceptacin: marzo 5 de 2007. El mtodo de induccin matemtica se aplica cuando:

1
Magster en Ingeniera de Sistemas, i. sabemos la respuesta al principio.
Universidad Nacional. Docente
investigador, Universidad Libre. ii. sabemos cmo determinar la respuesta en una etapa a partir de la respuesta en
2
Especialista en software para redes la etapa anterior, y
y telemtica. Docente investigador,
Universidad Libre. iii. tenemos una expectativa (una idea) de la respuesta general.

1. Qu es una
demostracin?
En este artculo se dar una definicin
de lo que se considera como una
demostracin, adems todo el
mundo sabe qu es una demostracin
matemtica. Una demostracin
de un teorema matemtico es una
sucesin de pasos que conducen a
la conclusin deseada. Las reglas
que dichas sucesiones de pasos
deben seguir fueron hechas explcitas
cuando fue formalizada la lgica
al principio de este siglo, y no han
cambiado desde entonces. Estas
reglas pueden ser usadas para refutar
una demostracin con errores lgicos;
sin embargo, no pueden ser usadas
para encontrar una demostracin de
la cual no se tenga una conjetura
matemtica expresada en trminos
de una proposicin, lo cual significa
que dado un argumento este debe ser
convincente para que la proporcin a
demostrar sea verdadera. La lgica
esta relacionada con lo que hace
convincentes a los argumentos.
2. Principio de Induccin
Matemtica
De las herramientas matemticas
bsicas tiles en la algoritmia, quiz
no haya ninguna ms importante que
la induccin matemtica. No solo
nos permite demostrar propiedades
interesantes acerca de la correccin y
eficiencia de los algoritmos, sino que
adems puede incluso utilizarse para
determinar que propiedades es preciso
probar. La induccin matemtica se
emplea cada vez ms por los expertos
en computacin.
La induccin matemtica es una tcnica
de demostracin la cul se puede
definir de la siguiente forma:
Suponga que se tiene una funcin
proporcional P(n) cuyo dominio de
discurso es el conjunto de los nmeros
naturales, adems asuma que:
a) Paso Base. P(1) es verdadero, el
cual es fcil de calcular
b) Hiptesis inductiva. Suponga
verdadero para un k el cul
pertenece a los nmeros naturales,
entonces P(k) se debe asumir
verdadero.
c) Verificacin. Si P(k) es verdadero
se debe comprobar para el
siguiente termino, es decir P(k+1).
Por lo tanto se debe concluir que
P(n) es verdadero para todo n en
los naturales.
A continuacin se desarrollar un
ejercicio de aplicacin del PIM
P n !: 1 $ 2 $ 3 $ 4 $ 5 $ 6 $ ... $ n %
n n $ 1!
, #n " N (a)
2
DEMOSTRACI N 2
Se puede enunciar de la forma: la suma
de los n primeros nmeros, donde n se
encuentra en los nmeros naturales.
La anterior proporcin tiene un valor de
verdad, dependiendo del nmero que
se le asigne a n, el cual debe empezar
desde 1, hasta un valor determinado.
P n !: 1 $ 2 $ 3 $ 4 $ 5 $ 6 $ ... $ n %
n n $ 1!
, #n " N
2 una serie de lneas consecutivas, esto
a) Es un poco complejo realizar su
demostracin de forma directa; es
decir p => q.
Por eso, es til el principio de induccin
matemtica, para la verificacin de
este tipo de proposiciones.
43
Se puede observar que la proposicin
esta escrita en forma ascendente,
pero tambin es posible escribir de
forma descendente; esto es:
P(n): n + (n 1) + (n 2) + ... + 1 =
(b)
n (n $ 1)
2
b) Si observamos tenemos escrito, la
misma expresin de dos formas,
una en la que se encuentra con el
(a) y la otra con (b).
Ahora si sumamos miembro a
miembro las dos expresiones:
S n !% 1 $ 2 $ 3 $ 4 $ 5 $ 6 $ ... $ n
S n !% n $ n & 1!$ n & 2 !$ n & 3 !$ n & 4 !$ ... $ 1
2S n !% n $ n $ 1!$ n $ 1!$ n $ 1!$ n $ 1!$ ... $ n $ 1!
Observamos que en la suma hay n
sumandos. Esto es: 2S(n) = n(n + 1)
Despejando:
n n $ 1!
S (n ) %
qu era la expresin original.
La forma de obtener la proporcin
inicial fue de un matemtico celebre.
Lo ideal es retomar el PIM para
probar secuencias que tengan un
comportamiento de sucesin.
Tomando lo anterior es posible
comprobar la correccin de un
algoritmo el cul esta compuesto por
le da un comportamiento de sucesin
y es as como utilizamos el PIM para
comprobar su correcto funcionamiento.
Por tanto en el siguiente pseudocdigo,
se ver su aplicacin. Para entender
un poco esto realizamos el siguiente
ejemplo.
 44 ACADMICO

Inicio
c k $1 % d k $1 * e d k $1 % d k $ 1 ck+1 = (e * dk) + e =

cn % d n * e d n % d n &1 $ 1
Funcin Averiguar (e) ck+1 = e(1 + dk)
c 0
d 0 Lo cul se obtiene la proposicin P(n). Pero dk + 1 = 1 * dk = dk+1, igualdad
que se obtiene al comprobar el cdigo
Mientras que
dado anteriormente.
( d <> e) haga P(n): c n % d n * e . d n % d n &1 $ 1
c c+e;
Luego P(k+1): ck+1 = dk+1 * e, que era
d d+1; Con esta proposicin la probamos con la que se deseaba demostrar.
Fin_Mientras_que el PIM, el cul ser verdadero para
Escribir( c ) todo n 0. Dado que cumple con los tres pasos
Fin_Funcin_Averiguar. bsicos del Principio de Induccin
Paso Base Bsico: Se comprueba Matemtica, entonces la proposicin:
Final
para un n = 0, en la proposicin dada. P(n): cn = dn * e, para todo n 0,
A continuacin tratamos de encontrar P(0): c0 = d0 * e, dado que d0 = 0, donde n est en los nmeros naturales
una proposicin en trminos de n, es entonces c0 = 0; lo que comprueba el es verdadera.
decir P(n) que se obtiene del anterior paso base.
fragmento de cdigo. Esto, inicialmente Nos hemos dado cuenta, que el PIM es til
es realizar una prueba de escritorio, la en la comprobacin de un algoritmo dado.
cul tiene como fin extraer del cdigo Paso Inductivo o paso bacano: Se
las variables que intervienen. asume un valor cualquiera verdadero,
sea este valor k, entonces: Ahora bien ya con los anlisis realizados,
podemos sin ningn temor cambiar el
Para ello realizamos la siguiente tabla: nombre del fragmento de cdigo dado
P(k): ck = dk * e, debe ser una anteriormente. Es decir;
c e d tautologa.
0 6 0
Inicio
6 1 Paso verificacin: En el cual hay que
12 2 comprobar el siguiente valor de k, el Funcin Cuadrado ( e )
18 3 cul es (k + 1) en la proposicin. c 0
24 4 d 0
30 5 Esto es: P(k + 1): ck+1 = dk+1 * e Mientras que ( d <> e) haga
36 6 c c+e;
Para comprobar trabajamos el lado d d+1;
Ahora realizando un anlisis detallado
izquierdo de la igualdad:
podemos hacer: Fin_Mientras_que
Escribir( c )
ck+1 = dk+1 * e
Para un valor n 0, se tiene: Fin_Funcin_Averiguar.
c0 % 0 d0 % 0 Esta igualdad se obtiene por la estructura Final.
de control. (Nmero de veces que se ha La funcin ya tiene un nombre el cul es
c1 % d 1 * e d1 % d 0 $ 1 ejecutado el ciclo). coherente con la que la funcin realiza,
para estar acordes con uno de los
c2 % d 2 * e d 2 % d1 $ 1 Ahora por el paso inductivo se tiene: principios de ingeniera de software.

c3 % d 3 * e d3 % d2 $ 1
. .
. .
. .
ck % d k * e d k % d k &1 $ 1
P(k): ck = dk * e, reemplazando en 1
resulta: CONCLUSIONES
1. En ingeniera de sistemas, los
ck+1 = ck + 1
temas desarrollados en matemtica
ck+1 = (dk * e) + e = discreta, fundamentan: el anlisis
algortmico y la complejidad

computacional; la teora de la
computabilidad y eficiencia de
programas, la teora de lenguajes
formales, el anlisis sintctico y
su aplicacin a la compilacin
de expresiones y programas; la
deteccin y correccin de errores;
por mencionar algunos.
2. El Principio de Induccin matemtica
es una herramienta til para
comprobar que un algoritmo es
correcto, es decir que haga lo que
tenga que hacer; por tanto el PIM
es un mtodo de demostracin.
BIBLIOGRAFA
BRASSARD G., P. Bratley. (2000).
Fundamentos de Algoritmia. Editorial
Prentice Hall.
JOHNSONBAUGH Richard. (2005).
Matemticas discretas. Sexta edicin.
Editorial Prentice Hall.
MIGALLN Violeta y Jos Penads,
Matemtica Discreta, Editorial Puntero
y Chip, 2004.
Schaum's outlines of discrete
mathematics (2nd ed.): Theory and
problems.
INFOGRAFA
http://www.saber.ula.ve/db/ssaber/
edocs/guias/facultad_ingenieria/
computacion/logica/lm-u2.pdf
http://www.usergioarboleda.edu.co/
matematicas/memorias/memorias13/
Inducci%C3%B3n%20Matem%C3%A1
tica%20y%20Filos%C3%B3fica.pdf
http://docencia.mat.utfsm.cl/~esaez/
iii.pdf
Universidad Libre 45
La calidad acadmica, un compromiso institucional
Ingeniera Mecnica
Registro Calificado Resolucin M.E.N. 2721 de 11 de julio de 2005
Cdigo Icfes: 180646700421100111500
Mantenerse actualizado segn los requeri-
Objetivo del programa
mientos cientficos, tecnolgicos y sociohu-
El programa profesional de Ingeniera Mecnica mansticos.
de la Universidad Libre pretende preparar pro-
fesionales provistos de una sobresaliente forma- Perl ocupacional
cin cientfica, tecnolgica y humanstica, para
formar profesionales que estn en capacidad de El Ingeniero Mecnico de la Universidad Libre
contribuir al desarrollo integral del pas. podr desempearse profesionalmente en las
Adems se busca desarrollar en los estudiantes, siguientes reas:
valores, actitudes y habilidades que les permi- Diseo, Construccin, Adaptacin, Montaje,
tan obrar de acuerdo a la tica y las normas Puesta en Marcha, Mantenimiento y Selec-
establecidas, acorde con la Misin y Visin de cin de mquinas y/o dispositivos mecnicos,
la Universidad. electromecnicos, mecatrnicos, neumticos
e hidrulicos, operados manual o automti-
camente.
Perl profesional Anlisis, Simulacin y Optimizacin de procesos.
Mejorar los sistemas de produccin imple-
El ingeniero mecnico de la Universidad Libre
mentando mecanismos que induzcan a la
estar en capacidad de:
reduccin de costos mediante la aplicacin
Formular y resolver problemas que involu-
de sistemas de control automatizados.
cren aspectos tecnolgicos relacionados con
Planificar y ejecutar programas de manteni-
la Ingeniera Mecnica.
miento para la conservacin de equipos y
Planear y dirigir las operaciones de manu-
sistemas en condiciones operacionales de
factura, diseo mecnico y trmico, mante-
ptima eficiencia.
nimiento de maquinaria, seleccin de mate-
Laborar como ingeniero consultor o ingenie-
riales, evaluacin y optimizacin de procesos
ro de ventas en el ramo de su especialidad.
de conversin de energa, mejoramiento am-
Evaluar y controlar los impactos econmicos,
biental y aplicacin de la Mecatrnica.
sociales y ambientales en el
Planificar y ejecutar programas de manteni-
desarrollo de proyectos.
miento para la conservacin de equipos y
sistemas en condiciones operacionales de
ptima eficiencia.
Supervisar el proceso de construccin de ins-
talaciones mecnicas, para que se ejecuten
las especificaciones, cdigos y normas esta-
blecidas.
Informes e inscripciones
Oficina de Admisiones Campus Bosque Popular
Carrera 70 No 53-40
PBX: 423 2700 - 423 2800 - 423 2724
Telfono Ingeniera Mecnica: 423 2724/29/30
BOGOT, D.C. -COLOMBIA