Una demostracin matemtica es un razonamiento realizado con una lgica vlida que progresa a partir de ideas que se dan por ciertas (llamadas hiptesis) hasta la afirmacin que se est planteando, o sea, hasta obtener la veracidad de la tesis formulada. Estos pasos deben estar fundamentados en la aplicacin de reglas de deduccin: fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas bsicas de deduccin del sistema en cuestin. El hecho de no conocer ninguna demostracin de un teorema no implica su no veracidad; slo la demostracin de la negacin de este resultado implica que es falso. En lgica matemtica y en lgica proposicional, una demostracin es una secuencia finita de frmulas lgicas bien formadas: tales que cada Fi es o bien un axioma o bien un teorema que se deduce de dos frmulas anteriores Fj y Fk (tales que j<i y k<i) mediante una regla de deduccin vlida. Es decir:
Dada una demostracin como la anterior si el elemento final Fn no es un axioma entonces es un teorema. Desde el punto de vista de los lenguajes formales el conjunto de teoremas demostrables coincide con el conjunto de secuencias de frmulas bien formadas sintcticamente bien formadas. Aunque en general no existe un procedimiento nico de demostracin de tesis, s existen diferentes tipos de demostraciones que son utilizados comnmente en matemticas: la demostracin directa, la demostracin indirecta, la demostracin por contraposicin y la demostracin por reduccin al absurdo.
Demostracin por contraposicin (formalizado y utilizado en los silogismos por Aristteles) Demostracin por reduccin al absurdo (formalizado y utilizado por Aristteles) y, como caso particular, descenso infinito Induccin matemtica Induccin fuerte
Demostraciones directas
Una demostracin directa de p q se construye de la siguiente forma: Asuma que p es verdadero. Deduzca otras proposiciones a partir de p utilizando las reglas de inferencias y los axiomas. Detngase una vez que haya obtenido la proposicin q. Ejemplo: Demuestre directamente que si n es un entero impar entonces n2 tambin es un entero impar. Tome un entero impar n arbitrario;
n = 2k + 1, para algn entero k (axioma); n2 = (2k + 1)2 = 4k2 + 4k + 1 (inferencia); n2 = 2(2k2 + 2k) + 1 (inferencia); n2 es impar (axioma).
Definicin formal
Esta ley lgica puede utilizarse como regla de derivacin en la lnea de premisas de cualquier clculo lgico. Formalmente, puede definirse como la frmula lgica . En efecto, si analizamos su tabla de valores de verdad: A V V F F B (A B) (B A) V V V V F F F V V V V V F V V V
esta equivalencia queda clara, puesto que se obtiene una tautologa. La "demostracin" de esta ley como regla del clculo se realiza mediante la utilizacin de la regla "Introduccin del negador", "Absurdo" o "Demostracin indirecta" (diferentes nombres para una misma regla), de donde la regla "contrarrecproco", tambin llamada de "contraposicin" o "transposicin" es derivada. Aplicando las reglas del clculo deduccin natural: --1 --- 2 -- 3 4 -- 5 --- 6 7
Supuesto provisional 1 Supuesto provisional 2 Modus Ponens, 1-3 Producto 4-2; Cancelacin supuesto 2 Absurdo, 3-5; Cancelacin supuesto 1 Teora de la deduccin, 2-6
Se expone aqu la fundamentacin de una sola modalidad de las cuatro posibles, pues todas siguen los mismos pasos con las mismas reglas, partiendo naturalmente del cambio de la premisa inicial.:1
Una vez fundamentada la ley en todos los casos posibles podemos establecer, como frmulas equivalentes una regla de reemplazo de la siguiente forma: Transposicin lnea n (A B) Frmula de la cadena 2 ============ Doble lnea de cierre Transposicin., lnea n. Conclusin (A B)
Ejemplo
Un ejemplo sencillo: "Demustrese que todos los nmeros primos mayores que 2 son impares". Aqu, la proposicin p es "n es un nmero primo mayor que 2" y la proposicin q es "n es un nmero impar". Demostrar que todo nmero primo mayor que 2 es impar (p -> q) es lo mismo que demostrar que no existe un nmero par que sea nmero primo mayor que 2, o equivalentemente, que el nico nmero primo par es 2 (no q -> no p). Esto es ms fcil de demostrar, ya que todo nmero par se puede escribir como n = 2 k, donde k es mayor o igual que 1 (la idea de nmero primo tiene sentido slo en los nmeros naturales). Si k es igual a 1, tenemos n = 2, nmero primo. Si, por el contrario, k es mayor que 1, entonces n es mayor que 2, pero no es primo ya que tiene algn factor que no es ni 1 ni l mismo. As que 2 es el nico nmero primo par, por lo que se ha demostrado que todos los nmeros primos mayores que 2 son impares.
Antes de demostrar esto debemos tener claro que existen ciertos axiomas que nos permitirn, en este caso, demostrar nuestra afirmacin. Dado que nos basaremos en axiomas, tenemos que nuestra demostracin (siendo cada paso lgico correcto) es verdadera.
Asumidos ciertos estos axiomas podemos comenzar con nuestra demostracin. Supongamos por un momento, contrariamente a lo esperado que, y veamos que llegamos a una contradiccin. Puesto que , aplicando el axioma Ax2 al multiplicar por 1 (que es menor que cero), tenemos que , lo cual es una contradiccin. Como nuestra hiptesis era que que que efectivamente Luego , y sta es falsa, lo nico que ahora podemos decir es
. Pero el axioma Ax1 dice que la nica posibilidad donde no existe contradiccin es
Razonamiento Es claro que lo que debemos tener es una contradiccin. Para ello, primero debemos plantear una hiptesis, y comprobar si es cierta o no. De no serla nos conducir a una contradiccin. Debe tenerse claro que nuestra hiptesis comienza cuando decimos que 1 es menor que cero y no en los axiomas mencionados anteriormente (porque stos estn ya demostrados o bien, asumidos ciertos y no requieren, por lo tanto, mayor anlisis). Como sabemos que la afirmacin "'1 es menor que cero" es falsa, debiramos llegar a una contradiccin. Pero no basta slo con saberlo, ya que debe ser demostrado. Nuestra hiptesis fue que uno era menor que cero y, luego de ciertos pasos lgicos correctos usando los axiomas, concluimos que uno era mayor que cero, lo cual claramente no puede ser cierto, ya que por la ley de tricotoma, dos nmeros reales deben cumplir una y slo una de las siguientes relaciones ; o bien ,
pero nunca dos ni tres juntas. Luego, como nuestra hiptesis nos conduce a una contradiccin, es falsa, y debemos considerar todas las posibilidades, menos esa. Esto es: como uno no es menor que cero, debe, necesariamente, ser mayor o igual que ste (cero). Pero el axioma primero dice que uno es distinto de cero, por lo que slo queda la opcin de que 1 sea mayor que cero
Razonamiento incorrecto Un error comn entre quienes comienzan el estudio de estas materias, es el de pensar que han llegado a una contradiccin sin haberlo hecho. Por ejemplo: Suponen que: , Luego sumando (-1) a ambos lados lo cual es una contradiccin ya que .
Este razonamiento tiene un error, ya que no llegamos a una contradiccin. Nuestra hiptesis era que 1 era menor que cero y por lo tanto, con los procedimientos realizados , que es verdadero. En esta caso la afirmacin es falsa. Ntese que para llegar a una contradiccin debemos tener lo siguiente:
Una afirmacin P (en nuestra hiptesis) que diga que sta es cierta. Una conclusin que diga que P es falsa.
Claramente ninguna afirmacin puede cumplir con esto. En lgica esto la afirmacin sera: P es cierta y ~P es cierta, que se lee "P es cierta y no P es cierta".
Demostracin Sea Debemos comprobar si la afirmacin es cierta para desde . , entonces , ya que la sumatoria parte
, tenemos que
ordenando
como
es distinto de
, podemos simplificar y
que es lo que queramos demostrar. As, la afirmacin tambin es verdadera para Luego, la afirmacin es cierta para todo Razonamiento El principio de Induccin dice que dada una afirmacin cumple que Si es cierta es cierta, entonces tambin lo es. , esta es cierta slo si se . .
Entonces, como nuestro es lo que queremos demostrar, debemos ver si es cierta para su primer trmino. En este caso para . Ntese que no necesariamente nos debe quedar 1 en la sumatoria. Lo que nos indica el es que debemos ver si es cierta para el primer trmino. Como la afirmacin se cumpla para , el paso siguiente era ver si, asumida cierta para , se cumpla para . As entonces, usamos lo que queremos ver si es cierto en el nico miembro de la izquierda de nuestra ecuacin. Luego aplicando propiedades de la sumatoria, podemos descomponer la sumatoria en partes y dejar lo que sabemos que es cierto, separado de lo que se puede aplicar por definicin. Sabemos que es cierto para , por lo tanto el primer miembro del lado derecho lo podemos sustituir, mientras que al segundo miembro slo aplicamos la definicin de sumatoria. Luego, sumando las fracciones y agrupando, concluimos que el primer miembro del lado izquierdo de nuestra ecuacin, se puede expresar como lo que queremos demostrar. Por lo tanto, concluimos que la afirmacin es cierta para .
Ningn resultado matemtico puede considerarse justo, vlido, si no ha sido deducido de las proposiciones de partida.
Induccin matemtica
Una descripcin informal de la induccin matemtica puede ser ilustrada por el efecto domin, donde ocurre unareaccin en cadena con una secuencia de piezas de domin cayendo una detrs de la otra.
En matemticas, la induccin es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposicin que depende de un parmetro que toma una infinidad de
valores enteros. En trminos simples, la induccin matemtica consiste en el siguiente razonamiento: Premisa mayor: El nmero entero tiene la propiedad . tenga la propiedad ). tienen la propiedad .
Premisa menor: El hecho de que cualquier nmero entero implica que tambin la tiene (que se anota
La induccin puede empezar por otro trmino que , digamos por vlido a partir del nmero , es decir, para todo natural . [editar]Ejemplo Para todo Sea
1
, es un nmero que acaba en 6. acaba en 6.
la proposicin:
Es claro que
es cierto, porque
Supongamos que
Un entero acaba por 6 si se puede escribir as: igual a cero. La hiptesis es, pues, Entonces
, con
La induccin es vlida por la construccin misma del conjunto de los naturales mediante los axiomas de Peano. En este caso: 1 es un natural; si lo es, entonces (sucesor de ) lo es tambin.
Existen otras inducciones, para otros conjuntos elaborados de forma distinta, como por ejemplo lainduccin transfinita, y la induccin sobre las frmulas de la lgica proposicional. Adems de la demostracin por induccin, existe la definicin o construccin por induccin. Por ejemplo, una sucesin aritmtica puede ser definida como funcin de : , o por induccin: [editar]Ejemplo
Se tiene por tanto que la proposicin es verdadera para n=1 2. Hiptesis inductiva (n=h)
Por lo tanto, por verificarse la proposicin para n=1 y para n=k+1 siendo k cualquier nmero natural, la proposicin se verifica
Leyes de De Morgan
Las leyes de De Morgan son una parte de la lgica proposicional y lgebra de Boole, y fueron creadas por Augustus De Morgan (1806-1871).
Demostracin formal
si y solo si y .
Para cualquiera x:
Con proposiciones
La prueba utiliza la asociatividad y la distributividad de las leyes y .