Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Me To Dos Demos Trac Ion
Me To Dos Demos Trac Ion
Universidad de San Carlos de Guatemala Facultad de Humanidades Departamento de Postgrado Maestra en Investigacin
La presente investigacin fue presentada por el autor, como requisito previo a optar el Grado Acadmico de Maestra en Investigacin
Esta tesis es dedicada a: mi linda esposa Luvia Estela, mi hija Luvia Gabriela que es la nia de mis ojos, mi beb que nacer en noviembre o diciembre del 2008
NDICE
INTRODUCCIN.....6
CAPITULO UNO
1 Historia de los fundamentos de la matemtica......10 1.1 Orgenes de la matemtica........10 1.2 Historia de los mtodos deductivos en matemtica..........11 1.3 Desarrollo de la matemtica como ciencia deductiva14 1.3.1 Escuelas filosficas......16 1.3.2 Geometras no Euclidianas.....18
CAPITULO DOS
2 La matemtica como ciencia deductiva.21 2.1 Principios fundamentales...21 2.2 Argumentos deductivos..22 2.3 Sistemas axiomticos formales.......23 2.4 Propiedades de los sistemas axiomticos formales...25 2.5 Axiomatizacin de la lgica...27 2.5.1Sistema axiomtico de Kleene.27 2.5.2 Deduccin natural de Gentzen.......31
CAPITULO TRES
3 Mtodos de demostracin en matemtica36 3.1 Introduccin...36 3.2 Mtodo directo de demostracin..37 3.3 Mtodos de demostracin indirectos..42 3.3.1 Mtodo de demostracin por reduccin al absurdo....42 3.3.2 Mtodo de demostracin por contrapositiva.....48 3.4 Mtodo de demostracin por induccin matemtica.50
Conclusin........56
Bibliografa....61
INTRODUCCIN
Este trabajo de investigacin est formado bsicamente por dos partes. La primera parte es una investigacin de naturaleza bibliogrfica sobre los elementos esenciales a considerar en los mtodos de demostracin usuales en matemticas, empezando por una breve descripcin histrica del origen y desarrollo de la matemtica como ciencia deductiva y posteriormente elementos metatericos
pertenecientes a la metamatemtica como son los sistemas axiomticos formales estudiados exclusivamente en su dimensin sintctica, sin interpretacin, en otras palabras, la exclusin de la dimensin semntica.
En la segunda parte se tiene una seleccin y construccin de demostraciones en matemticas de un nivel adecuado para la mayora de lectores intentando mostrar la belleza y poder de la matemtica deductiva. Algunas de las demostraciones en esta segunda parte son construidas por el autor, mientras que otras son demostraciones clsicas que aparecen en la literatura usual.
diferentes
tpicos realmente
atractivos de la matemtica como: Clculo, Aritmtica, Teora de conjuntos, entre otros. Pero no solamente es una exposicin formal de las demostraciones sino
que es una exposicin en un lenguaje asequible, mostrando cuando corresponda, procesos heursticos que conducen a la formulacin de conjeturas matemticas transformables en teoremas y su relacin con otros tpicos matemticos que generalmente son de un nivel superior.
Es la matemtica la ciencia deductiva por excelencia y no es aceptada una conjetura como verdadera hasta que es construida formalmente su demostracin. El matemtico profesional demuestra con naturalidad y facilidad, un proceso que fuera de la comunidad de matemticos se podra considerar innecesario o excesivamente complicado y no plenamente comprensible debido a varios factores, como por ejemplo: notacin matemtica, contenido y nivel matemtico, condensacin de la secuencia de proposiciones y resultados, lenguaje y metalenguaje matemtico empleado, desconocimiento o no especificacin del mtodo de demostracin empleado, entre otros.
Para demostrar una proposicin se necesita bsicamente un conjunto de hiptesis, definiciones, transformacin de frmulas que son reglas de inferencia o deduccin de naturaleza sintctica, y otros resultados demostrados con
Los matemticos en la redaccin final de una demostracin, por razones absolutamente vlidas generalmente no hacen referencia a todos los elementos previos involucrados en la construccin de una conjetura demostrable, como por ejemplo la heurstica o algunos procesos inductivos e intuitivos. El prncipe de los matemticos Karl Gauss afirmaba respecto de sus demostraciones cuando se construye un edificio no se dejan los andamios, tenindose como consecuencia que algunas demostraciones podran resultar hasta cierto grado artificiosas.
Esta obra no solamente es una recopilacin de los mtodos de demostracin, su principal propsito es mostrar una descripcin adecuada de los fundamentos de los mtodos de demostracin clsicos en matemticas proveyendo ejemplos de los mismos en demostraciones de diferente nivel matemtico con explicaciones de sus componentes tericas (matemtica) y metatericas (metamatemtica).
Al estudiar la matemtica es indispensable conocer las partes esenciales de su historia, por lo que en el capitulo uno se tiene una descripcin histrica de los fundamentos de la matemtica, especficamente como se desarrollo el concepto de sistema axiomtico formal a lo largo de ms de 2000 aos, iniciando en la antigua Grecia hasta la actualidad considerando exclusivamente, sin una masa de detalles innecesarios, los puntos sobresalientes en beneficio de la naturaleza de un trabajo de esta categora.
En el capitulo dos se estudian la matemtica como ciencia deductiva con nfasis en los sistemas axiomticos formales, se tiene su definicin formal y se dan importantes ejemplos de teoras metamatemticas axiomatizadas en su carcter sintctico como son la lgica proposicional y la lgica de primer orden que constituyen el fundamento lgico de una inmensa parte de teoras matemticas precisamente las llamadas teoras de primer orden.
Los mtodos de demostracin son tratados en el capitulo tres donde se construyen ejemplos adecuados didcticamente para la comprensin de los esquemas o mtodos de demostracin. Algunas demostraciones son clsicas y la mayora son realizadas o redescubiertas por el autor.
Los mtodos de demostracin estudiados son: Mtodo directo, Mtodo de demostracin por reduccin al absurdo, mtodo de demostracin por
induccin
matemtica. No es una seleccin exhaustiva de los mtodos de demostracin, puesto que existen otros mtodos que no son estudiados aqu, como por ejemplo el principio de induccin matemtico transfinito.
Finalmente se tienen expectativas y conclusiones de la teora expuesta, as como tambin algunos elementos en el mbito guatemalteco relacionados con este
trabajo. Son mencionadas aqu las lneas de investigacin, es decir, la extensin, relacin o aplicacin de esta investigacin en reas cientficas de diferente naturaleza
CAPITULO UNO
previas a la cultura Griega asentadas en el antiguo Egipto y Mesopotamia donde exista indudablemente una matemtica significativamente desarrollada como se observa en antiguos papiros egipcios y en cientos de tablillas de arcilla babilnicas que contienen, entre otros temas: nocin de nmero entero, manejo de nmeros fraccionarios, abundantes ideas de aritmtica, lgebra, proporciones, frmulas geomtricas de rea y volumen.
Esta magnifica matemtica emprica en el sentido estricto de que no aparece ninguna demostracin o deduccin matemtica general, fue aplicada ampliamente por ambas culturas en diversidad de campos como: economa, agricultura, astronoma, ingeniera, arquitectura as como en la construccin de templos y pirmides.
A pesar del carcter puramente emprico de las matemticas egipcias y babilnicas no son totalmente descartados sus encadenamientos lgicos mnimos realizados de una forma no enteramente consciente1 y sus conocimientos de alguna aplicacin general como sucedi con el famoso teorema de Pitgoras2.
1 2
Bourbaki, N., Elementos de historia de las matemticas. pgina 14 Crespo, C., R. El papel de las argumentaciones en matemticas en el discurso escolar. pgina 45
10
Ni babilonios ni egipcios se interesaron especialmente por demostrar, fundamentar o generalizar sistemticamente sus conocimientos matemticos que cultivaron durante siglos, slo se interesaban por la resolucin de problemas prcticos, mientras que en la Grecia clsica en el periodo de 600 a.C. hasta 300 a.C. aproximadamente, los griegos centran su intereses en la razn humana, en su aplicacin y poder, con los griegos, la razn empieza a reemplazar a leyendas y mitos como explicacin del universo y transciende como facultad distintiva del ser humano, en palabras de Aristteles de Estagira: As para el hombre es la vida de acuerdo con la razn, ya que sta es la que lo hace hombre.
Los griegos fundamentando sus conocimientos en la razn perfeccionaron ciertas disciplinas y crearon otras completamente nuevas como por ejemplo: Filosofa, ciencias puras, ciencias aplicadas, instituciones polticas, formas literarias y escritos histricos. La meditacin filosfica y cientfica juntamente con la pasin por la vida pblica eran parte esencial del alma de la cultura griega.
Especficamente en matemticas, los griegos conociendo plenamente la matemtica egipcia y tambin babilnica no desarrollan el mismo empirismo sino que desarrollan la abstraccin, generalizacin, sistematizacin y argumentacin, constituyndose en los fundadores de las matemticas en sentido estricto.
En general, es aceptado por la comunidad de matemticos, filsofos e historiadores entre otros especialistas, que los griegos revolucionaron la naturaleza de la matemtica al crear el mtodo deductivo o mtodo axiomtico.
11
En el siglo IV a.C. surgiendo de la praxis de la academia platnica, se tiene la monumental obra de Aristteles, discpulo de Platn, que consiste en la primera construccin de los fundamentos de la Lgica como la ciencia formal del razonamiento, el propio filosofo consciente de la magnitud de su obra, escribe en sus Tpicos:
Mas de la presente doctrina no haba hasta ahora algo elaborado ya y otra parte todava sin elaborar, sino que hasta el presente no exista en absoluto nada de ella3.
Por otra parte y casi al mismo tiempo pero en forma completamente diferente entre los siglos IV y III a.C., los filsofos Megricos y Estoicos entre los que sobresale Crisipo de Solos, definen por primera vez los elementos de la lgica proposicional como los conectivos lgicos y formas de razonamientos que tienen la forma de argumentos como el Modus Ponens, indemostrables . asentados como los
En efecto, antes de la lgica aristotlica no se conoce una teora elaborada de las reglas y leyes lgicas aunque se tuviese y aplicase una estructura lgica implcita en las deducciones y argumentaciones correctas de matemticos y filsofos
griegos antecesores de Aristteles. El mismo Aristteles menciona al matemtico y filosofo griego Zenn de Elea discpulo de Parmnides como el fundador de la Dialctica, obviamente Zenn no poda enunciar sus famosas paradojas sin conocimiento de algunos principios lgicos. A Zenn se le atribuye la invencin del mtodo de demostracin indirecto llamado reduccin al absurdo en el siglo V a.C. al contrastar una hiptesis con otra y demostrar indirectamente la verdad de una de ellas por la obtencin de una contradiccin. En general, los matemticos griegos razonaban de modo perfectamente correcto antes de Aristteles; de hecho, su trabajo era el modelo tradicional de razonamiento correcto.
3
12
Ambos principios constituyen el fundamento lgico de los mtodos de demostracin indirectos. La teora de la demostracin o razonamiento cientfico aparece en la obra aristotlica intitulada Segundos analticos donde se desarrolla el mtodo axiomtico o mtodo deductivo, afirmando que es el mtodo sobre todo adecuado para la matemtica. En los Primeros analticos Aristteles realiza el anlisis formal del razonamiento o silogismo4.
Es precisamente el gemetra griego Euclides de Alejandra, que recopilando las ideas y conocimiento matemtico de su poca, aplica magistralmente la lgica aristotlica en su monumental obra intitulada Elementos donde muestra por primera vez a la matemtica como la ciencia deductiva por excelencia en el siglo III a.C.
El valor esencial de la obra de Euclides es su rigurosa deduccin sistematizada mostrando componentes de una ciencia demostrativa como: definiciones de conceptos, principios generales o axiomas que son nociones comunes y postulados que son reglas tcnicas de construccin geomtrica entre las que se encuentra el famoso Quinto postulado de Euclides.
13
Una de las demostraciones clsicas por reduccin al absurdo ms bellas5 de la matemtica mencionada varias veces por Aristteles es:
2 es irracional,
apareciendo en algunas versiones de los Elementos de Euclides como proposicin 117 del libro X y es atribuida por algunos autores a la escuela pitagrica constituyndose como un teorema de teora de nmeros.
limitaciones de diferente
naturaleza y han recibido serias objeciones clsicas al respecto pero indudablemente forman el primer sistema axiomtico formal de matemticas y han servido como un modelo para el trabajo de generaciones de matemticos,
Cuando se estudia el desarrollo de los mtodos deductivos es estrictamente necesario considerar la historia y desarrollo de la lgica como una parte esencial de los fundamentos de la matemtica. Iniciando con la lgica clsica o tambin llamada lgica tradicional formulada por Aristteles, sta se mantuvo en esencia, casi sin modificaciones, durante siglos y los silogismos que son principios
lgicos bsicos aristotlicos fueron empleados y enseados desde la Edad Media hasta principios del siglo XX como parte del trivium (gramtica, retrica y
desde Aristteles no ha tenido que dar un paso atrs ni tampoco hasta ahora ha podido dar un paso adelante. As pues, segn toda apariencia hallase conclusa y perfecta6
5 6
Bourbaki, N., Elementos de historia de las matemticas. pgina 14 Bochnski, I.M., Historia de la lgica formal. pagina 15
14
Pero 50 aos despus fue desarrollada una teora matemtica revolucionaria iniciada por George Boole y otros, al crear versiones algebraicas de la lgica debido a las evidentes limitaciones de la lgica tradicional, posteriormente Gottlob Frege en 1879 desarrolla la lgica cuantificada construyendo los cimientos de la lgica moderna aunque el lgico matemtico y filsofo Bertrand Russell mostraba que su sistema era inconsistente, es decir, dotado de contradiccin.
En 1901 cuando el logicista B. Russell trata de deducir la matemtica de la lgica descubre la paradoja de Russell, que provoc una crisis en los fundamentos de la matemtica quedando resuelta a inicios del siglo XX con la lgica de primer orden que constituye en la actualidad uno de los principales fundamentos de las matemticas modernas.
Las limitaciones de la lgica de primer orden debido a su gran poder, fueron descubiertas alrededor de 1930 por Kurt Gdel, Alan Turing y Alonzo Church, entre otros, siendo Kurt Gdel quien construyo un sistema deductivo completo y correcto de la lgica de primer orden. Alfred Tarski dota a la lgica de primer orden de una semntica formal y a partir de 1934 Gerhard Gentzen y otros la
deduccin natural, desde entonces la lgica de primer orden toma su forma actual.
Subordinando la lgica al lenguaje matemtico, es decir la matematizacion de la lgica modernamente se nombra como lgica simblica o lgica matemtica desde 1904. En la actualidad la lgica matemtica cumple una importante funcin en diferentes reas, especialmente en ciencias de la computacin.
15
Las lgicas no clsicas se obtienen excluyendo el principio aristotlico del tercero excluido y se han construido a partir de 1920-1921 por obra de Jan Lukasiewicz y Emil Post, entre otros.
Con el descubrimiento de la paradoja de Russell en 1901 se produce una crisis de los fundamentos de las matemticas provocando diversas polmicas entre matemticos, lgicos, filsofos y lingistas teniendo como consecuencia la creacin de las tres corrientes filosficas7 contemporneas de las matemticas: Intuicionismo, Logicismo y Formalismo, descritas as:
Intuicionismo El intuicionismo afirma que la matemtica se fundamenta en ciertas intuiciones fundamentales y conceptualmente se origina con Kant. Hablar de intuicionismo es hablar de constructivismo, puesto que en esta corriente filosfica la matemtica se genera a travs de mtodos constructivos finitos. En el intuicionismo se excluye el principio aristotlico del tercero excluido por lo que la negacin de una proposicin sea falsa no significa que la proposicin sea verdadera por lo que las demostraciones por reduccin al absurdo son rechazadas. El mximo exponente del intuicionismo fue el matemtico holands Brouwer
Logicismo Se origina al final del siglo XIX con Dedekind y Frege buscando bsicamente la fundamentacion del anlisis en la aritmtica y por ende en la lgica. Los logicistas fueron dirigidos por Russell y Whitehead considerando a la matemtica como una
7
16
rama de la lgica. Con los logicistas la matemtica pierde su autonoma puesto que el programa de Russell pretenda reconstruir toda la matemtica clsica a partir de una base puramente lgica, de modo que todas las definiciones matemticas, reglas de inferencia y sustitucin puedan ser reducidas a sus contrapartes lgicas. El programa de Russell es expuesto en su obra Principia Matemtica (1910-1913)
Formalismo El famoso matemtico D. Hilbert funda la corriente filosfica del formalismo a inicios del siglo XX al perfeccionar las ideas subyacentes en la axiomtica de los Elementos de Euclides, para el formalismo, la matemtica es un conjunto de sistemas formales constituido por su propia lgica, axiomas, teoremas, definiciones y reglas de inferencia. Hilbert cre una disciplina llamada metamatemtica y pretenda en su programa expuesto en 1900 demostrar que en la matemtica no hay contradicciones, es decir, que es consistente y que la
a la lgica. El
ambicioso programa de Hilbert finalizo de una forma inesperada con el trascendental teorema de incompletitud de Kurt Gdel en 1930 que da una respuesta negativa al programa de Hilbert.
Una demostracin consiste en una sucesin de formulas que, o bien son axiomas, o bien son teoremas, o se han obtenido de stas
17
En el formalismo las demostraciones son realizadas y fundamentadas en aspectos puramente sintcticos excluyendo la intuicin y el empirismo completamente, de tal manera que los objetos matemticos solamente son trminos de un lenguaje formal.
Debido a la exclusin de las componentes intuitiva y semntica en los sistemas axiomticos en el formalismo fue posible realizar demostraciones a travs de Por primera vez,
utilizando computadoras, en el ao 1976 los matemticos K. Appel y W. Haken demostraron asistidos por computadoras el famoso teorema de los cuatro colores. Despus de esta demostracin se ha desarrollado ampliamente la deduccin automtica utilizando algunas versiones generalizadas de la Deduccin natural de Gentzen.
Como un punto critico en el desarrollo de la matemtica como ciencia deductiva se tiene la concepcin de las geometras no euclidianas descrita en la siguiente seccin.
se
consideran postulados y axiomas, que son verdades absolutas intuitivamente evidentes y se aceptan sin necesidad de demostracin. El postulado famossimo en la geometra Euclidiana es el Quinto Postulado enunciado asi por Euclides:
18
Si dos rectas M y L se encuentran con otra recta n, de modo que la suma de los ngulos y sea menor de 180o, entonces las rectas M y L se encontrarn en el lado de la recta n donde estn los ngulos y .
Las concepciones establecidas en los Elementos de Euclides en matemticas, permanecieron intactas durante siglos, si bien algunos de los ms brillantes
matemticos intentaron demostrar el Quinto Postulado de Euclides sin xito, arribndose a un punto critico en el siglo XIX con la creacin de las geometras no euclidianas donde el Quinto Postulado es sustituido por otros, modificndose el concepto de sistema deductivo y consecuentemente las deducciones y argumentaciones matemticas. Un postulado ya no tendra que ser
absoluta, una propiedad matemtica es verdadera en una teora matemtica y es falsa en otra, por ejemplo, la suma de los ngulos internos de un triangulo es 180o que es un resultado verdadero de la geometra euclidiana, y falso en las
geometras no euclidianas. La geometra euclidiana dejo de ser la nica geometra verdadera que poda explicar el universo.
19
Los matemticos Nicolai Lobachevsky (1793-1856), Janos Bolyai (1802-1860) y Georg Riemann (1826-1866) son considerados los creadores de las geometras no euclidianas que posteriormente tuvieron importantes e interesantes aplicaciones como por ejemplo en la teora de la relatividad de Einstein.
20
CAPITULO DOS
Una ciencia es un conjunto de conocimientos obtenidos mediante la observacin y el razonamiento, sistemticamente estructurados y de los que se deducen principios y leyes generales. Por definicin, siendo la matemtica la ciencia de las abstracciones y la ciencia deductiva por excelencia es estrictamente necesario estudiar los principios y mtodos utilizados sistemticamente en la construccin de teoras matemticas para comprender su naturaleza, un objetivo imprescindible en el contexto de la metamatemtica.
Se define a la metamatemtica como la teora lgica formal de las pruebas o demostraciones matemticas, entre los elementos de la metamatemtica
considerados esenciales en esta obra se tiene los sistemas axiomticos formales dando mayor importancia a las reglas de inferencia del sistema que son esenciales en la demostracin de teoremas.
conocimiento en matemticas, que la diferencia notablemente de otras ciencias en las cuales se realiza un razonamiento generalmente de tipo inductivo, a continuacin una descripcin del concepto de argumento.
21
Los argumentos inductivos constituyen de alguna forma el fundamento de teoras o ciencias de naturaleza inductiva y son estudiados por la lgica inductiva mientras que los argumentos deductivos constituyen el fundamento de las ciencias deductivas como eminentemente es la matemtica.
El propsito fundamental de la lgica formal es precisamente el estudio de los argumentos deductivos que son llamados en esta obra simplemente
argumentos. Un argumento es un conjunto de proposiciones de tal manera que uno de ellos que es llamado conclusin se deduce de los otros que son llamados hiptesis o premisas, por lo que a cada inferencia o deduccin posible le corresponde un argumento.
Existen dos clases de argumentos, los argumentos vlidos, correctos o bien construidos y los argumentos invlidos, incorrectos o mal construidos. Un argumento se dice que es vlido cuando no es posible que sus hiptesis sean verdaderas y su conclusin falsa, es decir que en un argumento vlido la verdad de las hiptesis es incompatible con la falsedad de la conclusin, todo lo que se requiere para la validez es que si las hiptesis fuesen verdaderas entonces la conclusin tendra que ser verdadera.
La validez de un argumento no garantiza la verdad de su conclusin puesto que se tienen argumentos validos con hiptesis falsas y conclusin falsa pero la falsedad de la conclusin de un argumento garantiza que el argumento es o bien invlido o que alguna de sus hiptesis es falsa.
22
La nica combinacin de valores de verdad que no puede darse en un argumento vlido es que las hiptesis sean verdaderas y la conclusin falsa, mientras que en los argumentos invlidos se tienen todas las combinaciones de valores de verdad de donde la validez de un argumento no depende simplemente de los valores de verdad de las hiptesis y la conclusin. La validez de un argumento no garantiza que cualquiera de las premisas sea de hecho verdadera ni da informacin alguna acerca del valor de verdad de la conclusin en el caso en que alguna hiptesis sea falsa.
En la construccin de una demostracin de algn enunciado o proposicin se emplea un mtodo que bsicamente es un esquema lgico argumentativo vlido perteneciente a los fundamentos de la matemtica que es una rea perteneciente a la metamatemtica, es decir que en un argumento valido se deduce lgicamente una proposicin verdadera llamada conclusin de un conjunto de proposiciones verdaderas llamadas hiptesis y la validez lgica del mismo radica en que cuando las hiptesis son verdaderas entonces la conclusin tambin lo ser.
Por las leyes que gobiernan la aritmtica elemental es verdadero que 23 + 2 = 25 en otro contexto o universo resulta tambin verdadero que 23 + 2 = 1 puesto que en ese contexto no existe un objeto llamado 25 y no es un contexto desconocido para el lector, de hecho es cotidiano, puesto que cuando son las 23 horas y se decide estudiar otras 2 horas se tiene que 23 ms 2 ser igual a la 1 de la noche. Formalmente a esta teora se le conoce en matemticas con el nombre de los enteros mdulo 24.
23
La diferencia fundamental es bsicamente las definiciones, los smbolos con su significado, y las leyes, que son componentes elementales de sistemas
axiomticos o sistemas deductivos, que gobiernan en esos universos, los matemticos crean universos matemticos con sus leyes en un proceso que generalmente es perfectible y gradual.
La teora de la prueba o teora de la demostracin es una parte de la metamatemtica que estudia los fundamentos de la matemtica, de tal manera que el estudio o investigacin metamatemtica de un tpico de la matemtica generalmente se realiza sobre la base de un sistema axiomtico formal correspondiente a ese tpico en particular.
Como se ha mencionado, los primeros sistemas axiomticos en la historia se tienen en la Antigua Grecia con Aristteles en lgica y Euclides en geometra. El concepto moderno de sistema axiomtico se debe a la concepcin y elaboracin de los sistemas axiomticos perfeccionados en los escritos de pensadores de primera categora como: Frege, Peano, Hilbert, Russell, Lukasiewicz, ente otros.
Un sistema axiomtico S es denotado por: S=(A, F, X, R), donde sus componentes8 en su naturaleza puramente sintctica son:
Un conjunto de axiomas que constituyen las frmulas primitivas del sistema, son frmulas vlidas por definicin y se denotan por X
24
Un conjunto de reglas de formacin de frmulas, es decir, las reglas de sintaxis del sistema que permiten construir frmulas bien formadas, son denotadas por F
Un conjunto finito de reglas de inferencia o deduccin en S que determinan las transformaciones de las frmulas en S, se denota por R
De acuerdo a la definicin de sistema axiomtico es esencial en esta obra una definicin de demostracin:
Una demostracin o prueba en un sistema axiomtico es una secuencia finita de frmulas bien formados donde cada uno de ellos es o bien un axioma o una frmula obtenida como consecuencia de algunas de las reglas de deduccin. El ltimo enunciado de una demostracin es llamado teorema o tambin frmula derivada9.
Los axiomas sern teoremas por definicin, si p es un teorema se escribir de la siguiente forma: p
Una de las principales tareas de la metateora de la metamatemtica es considerar las propiedades de un sistema axiomtico, especialmente se consideran las siguientes:
25
Se dice que el sistema axiomtico S es consistente o que tiene la propiedad de consistencia si est exento de contradiccin. Es decir que no se obtiene ni se obtendr una conclusin contradictoria en S.
El sistema axiomtico S es llamado completo si para cualquier frmula E de S se tiene que por lo menos una de las siguientes dos afirmaciones se cumple: E es un teorema en S o no-E es un teorema en S. Es decir que el sistema axiomtico S es lo suficientemente potente suministrando todas las conclusiones correspondientes o esperadas en S.
El sistema axiomtico S es decidible si existe un procedimiento estndar, generalmente un algoritmo, que permite decidir si una frmula es deducible, es decir, demostrable.
Finalizada la construccin sintctica del sistema axiomtico, corresponde la interpretacin del mismo que es la parte semntica de los sistemas axiomticos. En el siglo XX los formalistas exageraron la parte sintctica de los sistemas axiomticos con un decaimiento de la parte semntica, puesto que los smbolos eran carentes de alguna interpretacin.
Entre los magnficos ejemplos de sistemas axiomticos en matemticas sobresalen los brillantes sistemas axiomticos modernos de la teora de conjuntos entre los que se tienen: Teora de Zermelo-Fraenkel (ZF), Teora de Von
26
Tambin como ejemplos sobresalientes se tienen los siguientes sistemas axiomticos de la lgica de proposicional y cuantificacional de primer orden:
Los fundamentos lgicos de los mtodos de demostracin en matemticas suelen ser considerados como axiomas en el desarrollo de una teora matemtica al considerar a la lgica como una rama de la matemtica, siendo su pleno reconocimiento y aplicacin fundamentales en el razonamiento, argumentacin y demostracin matemticas. Para conocer la parte sintctica de la lgica de primer orden, se expone un sistema axiomtico que el autor considera conveniente. El sistema axiomtico expuesto se origino en 1934 con Hilbert y es perfeccionado por Kleene en 1952 apareciendo en la obra clsica Introduccin a la metamatemtica
Existen diferentes sistemas axiomticos de la lgica elemental o de primer orden como los diseados por: Whitehead-Russell (1910) Hilbert-Bernays (1934) Lukasiewicz (1929), Church (1956). Debido a su amplia aceptacin entre lgicos, matemticos y filsofos se ha seleccionado como un magnifico ejemplo, el sistema axiomtico de Kleene.
El sistema axiomtico de Stephen C. Kleene de la lgica proposicional denotado por K=(A, F, X, R) se define as
27
A: el alfabeto est formado por: Los smbolos p, q, r, s ,, p1, p2, p3, de proposiciones atmicas los smbolos lgicos de conectivos , , , los smbolos de agrupacin: (,)
F: el conjunto de las frmulas bien construidas denotado por (fbc) se define recursivamente as:
toda proposicin atmica es una fbc. Si P y Q son fbc entonces P, P Q y Q P10 son fbc. P Q, P Q,
X: El conjunto de axiomas es: K1: P(QP) K2: (PQ) ((P(QR)) (PR)) K3: P(QPQ) K4: PQP K5: P PQ
PQQ Q PQ
10
28
R: la nica regla de deduccin o de inferencia es la regla clsica llamada MODUS PONENS abreviada como (MP)
P PQ__ Q
El sistema de Kleene est construido es su dimensin sintctica y la interpretacin del sistema de Kleene corresponde a la teora de la lgica proposicional, labor que no se realiza en esta obra debido a su carcter elemental y a la importancia de las reglas de demostracin sobre la parte propiamente semntica del sistema formal.
El sistema axiomtico de Kleene de la lgica proposicional con algunas modificaciones se transforma en un sistema axiomtico de la lgica de primer orden utilizada como fundamento en los mtodos de demostracin en matemticas. La modificacin del alfabeto A es omitida y solamente se dir que se agregan los cuantificadores universal y existencial como smbolos lgicos denotados respectivamente como , .
Las modificaciones correspondientes exclusivamente a las reglas de inferencia y smbolos lgicos son:
Axiomas del clculo de predicados: K9: x A(x) A (t) K10: A (t) xA(x)
29
El sistema axiomtico de Kleene de la lgica proposicional tiene las propiedades de completitud, consistencia y decidibilidad, mientras que el sistema axiomtico de Kleene de la lgica de primer orden solamente posee las propiedades de completitud y consistencia. Solamente para mostrar como se obtiene un teorema en el sistema axiomtico de Kleene se tiene la siguiente demostracin paso por paso:
Demuestre que la frmula A se deduce de la frmula A, es decir AA 1) El axioma K1 es: P(QP), sustituyendo P por A y Q por A se tiene:
A(AA)
2) El axioma K2 es: (PQ) ((P(QR)) (PR)) sustituyendo P por A, Q por (AA) y R por A se tiene: (A(AA)) ((A((AA)A)) (AA)) 3) Aplicando la regla modus ponens a las proposiciones de 1) y 2) se tiene: (A((AA)A)) (AA) 4) Utilizando de nuevo A1 con Q dado por AA se tiene: A((AA)A) 5) Aplicando Modus Ponens a las proposiciones de los pasos 3) y 4) se tiene: AA
30
Cada teorema obtenido facilita la demostracin de otros teoremas construyndose as el cuerpo deductivo de la lgica de primer orden. Dando precisamente mayor importancia a las reglas de inferencia se tiene un sistema axiomtico equivalente llamado Deduccin natural de Gentzen
Despus de exhibir un primer ejemplo de sistema axiomtico en su dimensin sintctica de la lgica de primer orden se observa que es sencillo, elegante y poderoso, sirviendo de fundamento a una amplia gama de teoras matemticas incluyendo, por ejemplo, a la teora de conjuntos. Ahora se dar mayor nfasis a las reglas de deduccin construidas por G. Gentzen en 1934 en su tesis doctoral.
En el Sistema deductivo de Gentzen G=(A, F, X, R) los conjuntos A y F se definen de forma similar como en el sistema de Kleene mientras que el conjunto de
axiomas X es vaco. Se presta atencin especial al conjunto R formado por las reglas de deduccin:
Las siguientes reglas bsicas de deduccin natural y sus generalizaciones son ampliamente expuestas en obras clsicas de deduccin natural.11 Introduccin de la conjuncin ( I ): De la afirmacin de dos frmulas se deduce su conjuncin, en forma simblica se escribe as:
11
J.M. Anderson y H. W. Johnstone, Natural deduction Wadsworth Publ., California, 1962 M. Garrido Lgica simblica editorial tecnos, Espaa 2003
31
A B AB
Eliminacin de la conjuncin ( E ): De la conjuncin de dos frmulas se deduce las dos frmulas, simblicamente:
AB A
AB B
Introduccin de la disyuncin ( I ): La disyuncin de dos frmulas se deduce de cada una de ellas, simblicamente:
A AB
B AB
Eliminacin de la disyuncin (E): consiste en que dada una disyuncin AB y si de A se deduce C como tambin de B se deduce C entonces se deduce C. La regla E es el fundamento de la famosa regla de inferencia llamada dilema. En forma simblica:
AB A C B C C
32
Introduccin del negador ( I ): Una frmula es rechazada o inadmisible cuando d lugar a una contradiccin. La estructura de la regla I es:
A B B A
La regla I es utilizada como un principio en la demostracin indirecta reduccin al absurdo. Eliminacin del negador ( E ): Negar doblemente una frmula es afirmarla, simblicamente:
A A
Eliminacin de la implicacin ( E ): De una implicacin y su antecedente se deduce el consecuente. La regla E no es otra que el famoso Modus Ponens y es conocida tambin con el nombre de regla de separacin. Su estructura es:
AB A B
Introduccin de la implicacin ( I ): Si de una frmula A se deduce una frmula B entonces se deduce AB. La regla deduccin, su estructura es:
33
A B AB
Introduccin del cuantificador universal ( I ):Al seleccionar un elemento arbitrario en un conjunto D llamado dominio y obteniendo la frmula P() como una afirmacin entonces P(x) es verdadera para todo x perteneciente a D, simblicamente:
P( ) xP (x)
Eliminacin del cuantificador universal ( E ): De una generalizacin se deduce un caso particular suprimiendo el cuantificador universal, la estructura es:
xP (x) P ( )
Introduccin del cuantificador existencial( I ): dada una frmula con un parmetro se admite otra frmula que precede de la primera al cambiar el parmetro por una variable individual antecediendo el cuantificador existencial. En forma simblica:
P ( ) xP ( x)
Eliminacin del cuantificador existencial ( E ): De la existencia e identificacin de un individuo se deduce una frmula. En forma simblica:
34
xP ( x) P ( ) A A
Despus de la descripcin del sistema axiomtico G, se tiene un ejemplo de demostracin: Demuestre que
PQ Q P
Demostracin: Bsicamente es una demostracin por reduccin al absurdo al aadir como hiptesis P y aplicar la regla I , 1) PQ 2) Q 3) P 4) Q 5) QQ 6) P hiptesis hiptesis hiptesis pasos 1) y 3) y regla E pasos 2) y 4) y regla I pasos 3) a 5) y regla I
Recordando que se utilizan esquemas de argumentos vlidos en los mtodos de demostracin usuales en matemticas definitivamente no es posible estudiar los mtodos de demostracin en matemticas sino se posee por lo menos una idea general de las reglas de deduccin expuestas aqu, puesto que tambin sern empleadas en todas las demostraciones en el siguiente capitulo.
35
CAPITULO TRES
3.1 INTRODUCCIN
En matemticas no se acepta una proposicin como verdadera hasta que se construye su demostracin formal, aunque la proposicin sea vlida para un nmero finito de casos no significa que sea vlida para todo el universo, por ejemplo la conjetura de Goldbach se ha verificado utilizando computadoras para millones de casos pero a pesar de ello no se acepta como verdadera.
Un mtodo de demostracin es un esquema argumentativo vlido con fundamento lgico no perteneciente en si a la matemtica sino como elemento propio de una metateora. La validez de la argumentacin radica en la veracidad de las hiptesis consideradas para deducir una conclusin.
12
36
En el mtodo de demostracin directa se tiene como hiptesis verdaderas las proposiciones H1 y H2 y y Hn procediendo a la deduccin de que la conclusin Q es verdadera a travs de un proceso lgico deductivo, es decir como una cadena de implicaciones lgicas. El esquema directo es de la forma: de demostracin en el mtodo
Si H1 y H2 y y Hn entonces Q en forma simblica: H1 H2 Hn Q El mtodo de demostracin directo tiene como fundamento lgico la regla de inferencia clsica o esquema argumentativo vlido llamado: Modus Ponens [ P (PQ) ] Q
Modus Ponens
que significa: si la hiptesis P es verdadera y la hiptesis P implica la conclusin Q entonces la conclusin Q es verdadera.
Para una
13
Es el mtodo clsico de demostracin por induccin matemtica que se diferencia del mtodo de induccin transfinito. El lector interesado puede consultar la obra de Paul R. Halmos Teora intuitiva de los conjuntos pginas 71 y 100
37
Proposicin 1.0 Demuestre que si las funciones f(x) y g(x) son derivables en x = b entonces la funcin f(x)g(x) es derivable en x = b Demostracin: Se identifican las hiptesis y la conclusin:
Despus de identificar las hiptesis y la conclusin, se tiene una pregunta fundamental que aparece constantemente en diferentes niveles acadmicos
Cmo iniciar la secuencia de la demostracin? La respuesta se encuentra precisamente en la conclusin f(x).g(x) es derivable en x= b por lo que un inicio correcto es considerar la derivada del producto f(x).g(x) en x = b, por definicin:
f ( x )g ( x ) f ( b )g ( b ) xb xb
(f (b )g(b )) = lim
(1)
Cmo se puede reescribir el cociente expresado en (1) de tal manera que sean aplicables las hiptesis H1 y H2? La respuesta se encuentra en que f ( x ) y g ( x ) son de la forma:
f (b ) = lim
f ( x ) f (b ) xb xb
g (b ) = lim
g( x ) g(b ) xb xb
(2)
que sugieren estudiar una relacin entre los numeradores de (1) y (2). Bsicamente se suma y resta un trmino adecuado al numerador en (1) que permita extraer factor comn para que aparezcan los numeradores de (2), seleccionando el trmino: f(x)g(b), se tiene:
38
(f (b )g(b )) = lim
f ( x )g ( x ) + f ( x )g ( b ) f ( x )g ( b ) f ( b )g ( b ) xb xb
(f (b )g(b )) = lim
(f (b )g(b )) = lim
(f (b )g(b )) = lim
evaluando
(f (b )g(b )) = f (b )g (b ) + g(b )f (b )
Se construye la demostracin formal de la siguiente proposicin perteneciente al anlisis de variable real y posteriormente se relaciona con elementos de algebra lineal como es el concepto fundamental de producto interno.
39
La proposicin 1.1 escrita en un lenguaje matemtico formal es: r,s R, ( r2 + s2 = 0 r=0 y s=0)
que contiene el cuantificador universal propio de la lgica de primer orden y denotado por de tal manera que es necesario aplicar la regla de inferencia de deduccin natural llamada introduccin del cuantificador universal que tiene la forma: ___HQ__ x,y HxyQxy que significa que se tiene que seleccionar individuos cualesquiera o elementos arbitrarios en R denotados por y reduciendo la inferencia a la lgica de conectores en la proposicin HQ que demuestra la veracidad de la conclusin en la lgica cuantificacional de primer orden.
En la demostraciones que contienen si y slo si se utiliza la equivalencia lgica siguiente: [(PQ)(QP)] (PQ) que significa: Si P es hiptesis entonces se obtiene la conclusin Q y si Q es hiptesis entonces se obtiene la conclusin P.
En una demostracin con bicondicional generalmente una de las implicaciones es ms fcil de demostrar que la otra. Para mayor claridad en la demostracin de cada implicacin sean las proposiciones: P: r2 + s2 = 0 Q: r=0 y s=0
40
Demostracin de la implicacin (PQ) Sean , cualesquiera nmeros reales y supongamos que 2 + 2 = 0 entonces cada una de las siguientes proposiciones es verdadera
razn por hiptesis ley de signos i2=1 donde i= 1 diferencia de cuadrados Si xy=0 entonces x=0 y = 0 por paso 5) y escritura de cero como nmero complejo igualdad de nmeros complejos y paso 6) por paso 5) y escritura de cero como nmero complejo por paso 8) por proposiciones 7) y 9)
Para mayor claridad, se hace notar que en la proposicin 5) se aplica una de las reglas de inferencia llamadas dilemas, en la deduccin natural eliminacin de la disyuncin (E) H1H2 H1Q _H2Q_ Q
41
La relacin que guarda la proposicin 1.1 en algebra lineal corresponde a la definicin de producto interno en R2 as: xy= (x1,x2)(y1,y2) = x1y1+x2y2 siendo uno de los axiomas que satisface: el producto interno de una pareja ordenada v=(r,s) consigo misma es igual a cero si y slo si (r,s) = (0,0). Que en forma simblica se escribe as: vv = 0 v = (0,0) que en trminos de componentes se expresa as: r,s R, ( r2 + s2 = 0 r=0 y s=0) justamente la proposicin 1.1
El mtodo de demostracin directa no siempre es aplicable debido a la naturaleza de las proposiciones a demostrar, por lo que es necesario realizar una demostracin indirecta las cuales son ampliamente usadas en matemticas, a continuacin algunos de los mtodos usuales de demostracin indirecta.
Se atribuye al filsofo griego Zenn de Elea, alrededor del siglo V a.C., la invencin del mtodo de reduccin al absurdo que utilizaba en sus argumentos y en sus famosas paradojas, desde entonces es un mtodo ampliamente aplicado en matemticas.
42
El procedimiento general para demostrar indirectamente por reduccin al absurdo una proposicin de la forma (H1 H2 Hn ) Q consiste en: R1) Negar la conclusin Q utilizando las leyes de la lgica, la negacin de Q es denota por Q que se lee no Q R2) El conjunto de hiptesis ahora es de la forma H1 H2 Hn Q, es decir que Q se aade como una hiptesis R3) Del conjunto de hiptesis enunciadas en contradiccin evidente, una R2) obtener una
siempre es falsa y es denotada por C, en forma simblica: H1 H2 Hn Q C, es decir que el {H1, conjunto de hiptesis
R4) entonces Q es verdadera por la obtencin de una contradiccin al suponer verdadera la negacin de Q
Aristteles fundamento lgicamente la demostracin por reduccin al absurdo en dos principios: principio de no contradiccin (pq) considerada ley suprema de la lgica segn Kant y Aristteles, que significa que una proposicin no es verdadera y falsa simultneamente y el principio del tercero excluido (pp) que significa que una proposicin es verdadera o falsa. Si no son aceptados los
43
lgica llamada precisamente reduccin al absurdo: (PQ)[(P Q)C] donde P es de la forma H1 H2 Hn Q y C denota una contradiccin
Cuando solamente se afirma una proposicin Q sin ninguna hiptesis, como por ejemplo: es transcendental, entonces la veracidad de Q se obtiene de la regla de inferencia: (QC)Q
Proposicin 1.2 Demuestre que para todo entero n, si n2 es par entonces n es par
Demostracin: De nuevo aparece el cuantificador universal que se elimina por la regla de eliminacin del cuantificador universal reducindose la demostracin de la lgica de primer orden a la lgica proposicional como se explico en la proposicin 1.1
Seleccionando un entero arbitrario n e identificando hiptesis y conclusin se tiene: Hiptesis H1: n2 es par
Cmo se inicia la secuencia de la demostracin? La respuesta no es nica como veremos en esta demostracin pero una gua general es la generacin de una contradiccin. Para tal fin, consideremos la suma de n2 y n en el siguiente
Proposicin 1) n es par 2) n es impar 3) n +n es impar 4) n +n=n(n+1) 5) n+1 es par 6) n(n+1) es par 7) n2+n es par 8) n2+n es impar y n2+n es par
2 2 2
Razn hiptesis hiptesis la suma de un par e impar es impar distributividad por proposicin 2) por proposicin 5) por proposiciones 4) y 6) por proposiciones 3) y 7)
Se ha obtenido una evidente contradiccin en la proposicin 8) por lo tanto la negacin de Q no es verdadera: n es impar y se acepta la veracidad de Q: n es par. Queda formalmente demostrada la proposicin 1.2.
En matemticas existen diferentes demostraciones para una proposicin, por lo que se construye otra demostracin de la proposicin 1.2
45
4) n21=(n+1) (n1) 5) n+1 y n1 son pares 6) n21=(n+1) (n1) es par 7) n21 es impar y n21 es par
2 no es racional
La conclusin Q es:
2 es racional
es decir,
por proposicin 1.2 se tiene que es par, por lo que existe un entero k tal que =2k, sustituyendo en la ecuacin 2 2=2 se tiene que 22= (2k)2 que al simplificar queda 2=2k2 de tal manera que 2 es par y por proposicin 1.2 es par. La contradiccin que se obtiene es que y son primos relativos, es decir que su mximo comn divisor es 1 y por otra parte, y son divisibles por 2 porque ambos son pares. Ante esta evidente contradiccin se tiene que la negacin de Q es falsa por lo que Q es verdadera.
Utilizando el mtodo de reduccin al absurdo la demostracin de la proposicin 1.3 fue realizada por Euclides hace ms de 2000 aos!
46
Para finalizar la exposicin del mtodo de reduccin al absurdo, consideremos la paradoja de Russell descubierta por B. Russell a inicios del siglo XX que causo una crisis en los fundamentos de las matemticas que fue resuelto posteriormente alrededor de 1920.
Proposicin 1.4 Sea A cualquier conjunto. Se define el conjunto B como: B = {xA : xx} es decir que B es el conjunto de los elementos pertenecientes al conjunto A que no pertenecen a s mismos. Por definicin de B es conveniente escribir: Si B entonces A y Si A y entonces B la pregunta esencial es: B es un elemento de A? Supongamos que la proposicin Q: BA es verdadera, entonces se tienen dos casos:
(B1) (B2)
Para H2: Si BB y BA por proposicin B2 se obtiene que BB, obteniendo la contradiccin BB y BB. En conclusin Q: BA es falsa, es decir, Q: BA es verdadera. En otras palabras, para cualquier conjunto arbitrario A existe algo llamado B tal que BA, es decir: No existe algo que contenga a todo!
47
La demostracin de la proposicin 1.4 es un razonamiento realizado en teoras antiguas de conjuntos previas a su axiomatizacin.
El mtodo de demostracin por contrapositiva es un mtodo indirecto que tiene como fundamento la equivalencia lgica
(PQ)(QP)
Para realizar una demostracin por contrapositiva se toma como hiptesis la negacin de la conclusin escrita como Q para obtener como conclusin la negacin de la hiptesis escrita como P. El esquema argumentativo de la deduccin por contrapositiva es de la forma: Q _QP_ P Se ilustra claramente este procedimiento en las siguientes demostraciones. La Proposicin 1.2 es: para todo entero n, si n2 es par entonces n es par. Demuestre la proposicin 1.2 por contrapositiva.
Demostracin: Se observa que la implicacin: si n2 es par entonces n es par, con hiptesis P: n2 es par y conclusin Q: n es par, es equivalente a la implicacin: si n es impar entonces n2 es impar con hiptesis Q: n es impar, y conclusin P: n2 es impar 48
Recordando que el inicio de la demostracin por contrapositiva es la hiptesis Q: n es impar, se tiene el siguiente proceso lgico deductivo formal:
Razn por hiptesis por proposicin 1) elevando al cuadrado ambos lados de la proposicin 2) algebra elemental y proposicin 3) algebra elemental y proposicin 4) por proposicin 5)
Hemos obtenido como conclusin P: n2 es impar. Queda demostrada formalmente la proposicin 1.2 por contrapositiva
Una demostracin ms por contrapositiva: Demuestre una implicacin de la Proposicin 1.1: Para cualquier r y s reales, si r2 + s2 = 0 entonces r=0 y s=0
Demostracin: La conclusin de la proposicin 1.1 es Q: r=0 y s=0 y su negacin que es la hiptesis en la demostracin por contrapositiva es Q: r0 o s0 sirve para obtener la negacin de P: r2 + s2 = 0 que es P: r2+s20 Sin perdida de generalidad se supone que r0 puesto que la demostracin para s0 es idntica. Si r0 entonces r2>0 entonces r2+s2 r2>0 de donde r2+s20. Para construir otra demostracin por contrapositiva se demuestra la inyectividad de una funcin por definicin en la
49
Proposicin 1.5 Demuestre que la funcin F(x) = 5x+16 definida en el conjunto de nmeros reales sobre s mismo es una funcin inyectiva.
Demostracin Una funcin es inyectiva o uno a uno si transforma elementos diferentes en el dominio A de la funcin f en elementos diferentes en el codominio de f. En notacin simblica: f()f() que tiene como contrapositiva a:
f()=f()=
El principio de induccin matemtica es un principio universalmente vlido en matemticas y es fundamentalmente uno de los axiomas de los nmeros naturales construidos por el matemtico italiano G. Peano a finales del siglo XIX, insistimos en que es un axioma que formalmente pertenece a la lgica de segunda clase al cuantificar propiedades de nmeros naturales, sin embargo, por un tratamiento de
50
letra predicativa como un parmetro se considera al principio de induccin matemtica como un axioma en la lgica de primer orden.
Las demostraciones por el principio de induccin matemtica se consideran indirectas. El principio de induccin matemtica es utilizado para demostrar la veracidad de proposiciones p(n) donde n es un nmero natural mayor que un valor inicial n0, el principio de induccin matemtica consiste en: i) inicialmente se verifica que la proposicin p(n) es verdadera para n=n0, es decir p (n0) es verdadera. ii) Se enuncia la hiptesis de induccin: p (k) es verdadera para el nmero natural k. iii) Usando la hiptesis de induccin enunciada en (ii) y otras proposiciones verdaderas demostradas anteriormente se demuestra que p (k+1) es verdadera. iv) La conclusin consiste en que p(n) es verdadera para todo nn0
En forma simblica el principio de induccin matemtica se escribe as: [p (n0) [k>n0[p(k)p(k+1)]]] k>n0 p(n) A continuacin un ejemplo didctico de la aplicacin del principio de induccin matemtica que contiene la construccin de la proposicin p(n) a travs de
51
se pueden usar diferentes mtodos para determinar la solucin por ejemplo: reescritura o teora elemental de relaciones de recurrencia. Utilizaremos el reconocimiento de patrones algebraicos y numricos como una forma de descubrir o redescubrir una conjetura y despus induccin matemtica. ser demostrada formalmente por
Reconocimiento de patrones algebraicos y numricos: consideremos los siguientes cocientes para descubrir si aparece un patrn numrico:
12 1 3 = = 1 1 3 12 + 2 2 5 = 1+ 2 3 12 + 2 2 + 3 2 14 7 = = 1+ 2+ 3 6 3 12 + 2 2 + 3 2 + 4 2 30 9 = = 1+ 2+ 3+ 4 10 3 12 + 2 2 + 3 2 + 4 2 + 5 2 55 11 = = 1+ 2+ 3+ 4+ 5 15 3
observando que el denominador es 3 y que el numerador se obtiene al multiplicar por 2 el ltimo sumando en el denominador ms 1, por ejemplo, en la ltima ecuacin se tiene: (2)(5)+1=11 Este breve y elemental reconocimiento numrico permite realizar la siguiente conjetura:
52
12 + 2 2 + 3 2 + 4 2 + ... + n 2 2n + 1 = 1 + 2 + 3 + 4 + 5 + ... + n 3
despejando la suma
12 + 2 2 + 3 2 + 4 2 + ... + n 2 =
2n + 1 (1 + 2 + 3 + 4 + 5 + ... + n ) 3
simplificando
12 + 2 2 + 3 2 + 4 2 + ... + n 2 =
n(n + 1)(2n + 1) 6
La frmula anterior tiene la categora de una conjetura y aunque sea verdadera para un nmero finito de casos no significa que sea verdadera para todo el universo, es decir, par todo nmero natural mayor que 1, es aqu donde la matemtica como ciencia deductiva difiere de las llamadas ciencias inductivas. Ahora se realiza la demostracin formal por el principio de induccin matemtica.
Artculo del Autor publicado en la Revista del departamento de matemtica de la Facultad de Ingeniera de la Universidad de San Carlos de Guatemala, Octubre 2004 pginas 11 a 16
14
53
primer paso: Se verifica que la proposicin es vlida para el valor inicial n0=1, en efecto: 12 =
segundo paso: Se enuncia la hiptesis de induccin en trminos del nmero natural k, es decir:
12 + 2 2 + 3 2 + 4 2 + ... + k 2 =
k (k + 1)( 2k + 1) 6
tercer paso: utilizando la hiptesis de induccin y otros resultados demostrados anteriormente se demuestra que la proposicin es verdadera para el sucesor de k que es k+1, sugiriendo considerar la suma: 1 + 2 + 3 + 4 + ... + k + (k + 1)
2 2 2 2 2 2
12 + 2 2 + 3 2 + ... + k 2 + (k + 1) 2 =( 12 + 2 2 + 3 2 + ... + k 2 ) + (k + 1) 2
por hiptesis de induccin
12 + 2 2 + 3 2 + ... + k 2 + (k + 1) 2 =
por distributividad: ab+ac=a(b+c)
k (k + 1)( 2k + 1) + (k + 1) 2 6
k ( 2k + 1) 12 + 2 2 + 3 2 + ... + k 2 + (k + 1) 2 = (k + 1) + (k + 1) 6
por definicin de suma de fracciones
k ( 2k + 1) + 6(k + 1) 12 + 2 2 + 3 2 + ... + k 2 + (k + 1) 2 = (k + 1) 6
por distributividad y reduccin de trminos semejantes:
54
12 + 2 2 + 3 2 + ... + k 2 + (k + 1) 2 = (k + 1)
2k 2 + 7k + 6 6
12 + 2 2 + 3 2 + ... + k 2 + (k + 1) 2 = (k + 1)
(k + 2)(2k + 3) 6
12 + 2 2 + 3 2 + ... + k 2 + (k + 1) 2 =
12 + 2 2 + 3 2 + 4 2 + ... + n 2 =
n(n + 1)(2n + 1) 6
para n 1
La proposicin p(n) demostrada por el principio de induccin matemtica en el ejemplo anterior es utilizada en el clculo integral como una frmula elemental para la evaluacin de integrales definidas por limites de sumas de Riemann.
Despus de una exposicin adecuadas de los mtodos comnmente utilizados en matemticas se tiene el siguiente capitulo referente a conclusiones y posibles lneas de investigacin en el futuro como tambin una breve descripcin de la relacin de esta obra con el contexto nacional.
55
CONCLUSIN
En esta obra se tiene una exposicin sintctica de elementos metamatemticos enmarcados en la contempornea Teora de la demostracin o tambin llamada Teora de la prueba establecida en el siglo XX como la magnifica culminacin de un proceso mostrado en la parte histrica de la obra.
Para apreciar y descubrir la naturaleza y poder de la matemtica se ha mostrado en esta obra una seleccin adecuada de demostraciones utilizando los
esquemas o mtodos de demostracin donde la mayora fueron realizadas por el autor pero tambin se tiene bellsimas demostraciones matemticas clsicas.
No solamente se construyeron las demostraciones con el rigor matemtico necesario por excelencia, sino tambin se da una relacin explicita de la
conclusin obtenida con otros tpicos matemticos que generalmente son de un nivel superior.
Es valiossimo desde diferentes puntos de vista, la exposicin en esta obra de la componente heurstica en algunas demostraciones intentando mostrar cuando corresponda, todo el proceso relacionado con el descubrimiento, construccin y demostracin de una conjetura.
56
As es como se construye el conocimiento matemtico, los resultados nuevos dependern de los resultados anteriores, es decir que para demostrar una proposicin se necesitan considerar proposiciones verdaderas como axiomas o teoremas que son verdades matemticas demostrables. Pero al modificar los
axiomas pertenecientes a un sistema axiomtico formal se tendr como consecuencia la construccin de otras teoras con otras leyes donde el concepto de verdad no es absoluto, teniendo como ejemplo sobresaliente la modificacin del Quinto postulado de Euclides para dar origen a las geometras no Euclidianas como se muestra en la parte axiomtica de esta obra.
Solamente una advertencia al respecto, la matemtica no solamente consiste en la deduccin formal sino que es una ciencia donde tambin se tienen procesos creativos en el descubrimiento o redescubrimiento de conjeturas.
Los sistemas axiomticos perfeccionados en el siglo XX inciden actualmente en la expansin de la matemtica siendo el mtodo usado por excelencia. Pero los sistemas axiomticos no son exclusivos de la matemtica sino que se pueden aplicar en reas tan diversas como por ejemplo en economa y en la gentica, tenindose como consecuencia un anlisis lgico posiblemente inductivo y metodolgico de las hiptesis y teora correspondientes.
Constituye un desafo actual la axiomatizacin de teoras cientficas alcanzando avances significativos en reas insospechadas ajenas o subordinadas a las matemticas.
57
El curriculum nacional base editado por el Ministerio de Educacin de Guatemala dicta directrices oficiales en educacin, especficamente en el rea de matemticas de la escuela secundaria, que es una componente del nivel medio del sistema educativo nacional, se tiene que la demostracin en matemticas constituye un propsito fundamental segn los lineamientos generales del Ministerio de Educacin de Guatemala:
orientar el desarrollo del pensamiento analtico y reflexivo, mediante la integracin de la bsqueda de patrones y relaciones; la interpretacin y el uso de un lenguaje particular, simblico, abstracto; el estudio y representacin de figuras; la argumentacin lgica y la demostracin; son propsitos del rea de matemticas. (curriculum nacional base, ao 2007, pgina 166)
En ese mismo nivel educativo se estudian fundamentos de lgica formal en su dimensin puramente semntica como son: valor de verdad, proposiciones simples, conectivos lgicos, proposiciones compuestas, tablas de verdad,
Se tiene definido como contenido procedimental el estudio de la geometra euclidiana como una formulacin axiomtica que bsicamente es un ejemplo sobresaliente de sistema axiomtico formal.
58
Se considera importante propiciar el razonamiento aplicado en demostraciones en conjuntos de objetos ideales bien definidos que se rigen por axiomas, conduciendo a los y las estudiantes a desarrollar altos niveles de comprensin y abstraccin. (Curriculum nacional base, ao 2007, pgina 184)
De aqu la importancia del desarrollo del razonamiento correcto es decir, la argumentacin vlida y sus relaciones con otras reas que se tendran que
desarrollar sistemticamente a lo largo de todo el nivel medio nacional previo a la educacin superior donde puede ser formalizado completamente de acuerdo a perfiles profesionales actualizados.
En la investigacin documental el autor ha descubierto que las publicaciones a nivel nacional relacionadas con el tema Mtodos de demostracin en matemtica son realmente escasas, proveyendo esta obra una complementacin de ese vaco. El tema de los mtodos de demostracin es amplsimo y puede ser investigado y estudiado desde diferentes perspectivas como las siguientes:
Complementar esta investigacin con investigaciones sobre otros mtodos de demostracin en matemticas que no son utilizados o conocidos ampliamente como por ejemplo el mtodo de induccin matemtica transfinito
Realizar
59
Realizar investigaciones sobre la aplicacin de los sistemas axiomticos generalizados en reas propias y ajenas de las matemticas como por ejemplo la deduccin natural empleada en la deduccin automtica.
60
BIBLIOGRAFA
[2]Crespo, C. R. (2005) El papel de las argumentaciones matemticas en el discurso escolar. La estrategia de deduccin por reduccin al absurdo. Tesis de maestra en ciencias en matemtica educativa. Mxico: Cinvestav
[4] Ferrater Mora, J.; Leblanc H. (1992) Lgica matemtica. Mxico: Fondo de Cultura Econmica.
[5]Garrido, M. (2003) Lgica simblica. Madrid: Tecnos . [6]Halmos, P. R. (1967) Teora intuitiva de los conjuntos. Mxico: CECSA.
[9]Kline, M. (2004) Matemticas para los estudiantes de Humanidades. Mxico: Fondo de Cultura Econmica.
61
[12]Morales S., C., (2004) Demostracin por induccin matemtica. Revista del departamento de matemticas de la Facultad de Ingeniera de la USAC.
[15]Tarski, A. (1951) Introduccin a la lgica y a la metodologa de la ciencias deductivas. Buenos Aires-Mxico: Espasa-Calpe.
62