Demostración matemática


Demostración matemática

Demostración matemática

Para otros usos de este término, véase Demostración.

Una deducción o demostración matemática es una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hipótesis, permite asegurar la veracidad de una tesis. Estos pasos deben estar fundamentados en la aplicación de reglas de deducción (fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas básicas de deducción del sistema en cuestión). El hecho de no conocer ninguna demostración de un teorema no implica su no veracidad; sólo la demostración de la negación de este resultado implica que es falso.

Aunque en general no existe un procedimiento único de demostración de teoremas, sí existen diferentes tipos de demostraciones que son utilizados comúnmente en matemáticas:

Por otra parte, a pesar del alto grado de intervención humana necesario para hacer una demostración, también existen técnicas computacionales que permiten hacer demostraciones automáticas, notablemente en el campo de la geometría euclidiana.

Ejemplo de una demostración por contradicción

Llamada también demostración al absurdo

Demostración de la afirmación 1>0\,

Antes de demostrar esto debemos tener claro que existen ciertos axiomas que nos permitirán, en este caso, demostrar nuestra afirmación. Dado que nos basaremos en axiomas, tenemos que nuestra demostración (siendo cada paso lógico correcto) es verdadera.

  • Usaremos los siguientes Axiomas de los Números Reales:
1. 1\not=0\,
2. Si a>b\, y c<0\,, con a,b,c reales. Entonces
ac<bc\,

Asumidos ciertos estos axiomas podemos comenzar con nuestra demostración.

Supongamos que 1<0\, como:

1<0\,, aplicando el axioma 2 al multiplicar por 1 (que es menor que cero), tenemos que
1>0\,, lo cual es una contradicción.

Como nuestra hipótesis era que 1<0\,, y ésta es falsa, lo único que ahora podemos decir es que 0\leq 1. Pero el axioma 1 dice que 1\not=0\,

Luego

1>0\,
  • Razonamiento

Es claro que lo que debemos tener es una contradicción. Para ello, primero debemos plantear una hipótesis, y comprobar si es cierta o no. De no serla nos conducirá a una contradicción. Debe tenerse claro que nuestra hipótesis comienza cuando decimos que 1 es menor que cero y no en los axiomas mencionados anteriormente (porque éstos están ya demostrados o bien, asumidos ciertos y no requieren, por lo tanto, mayor análisis). Como sabemos que la afirmación "'1 es menor que cero" es falsa, debiéramos llegar a una contradicción. Pero no basta sólo con saberlo, ya que debe ser demostrado.

Nuestra hipótesis fue que uno era menor que cero y, luego de ciertos pasos lógicos correctos usando los axiomas, concluimos que uno era mayor que cero, lo cual claramente no puede ser cierto, ya que por la ley de tricotomía, dos números reales deben cumplir una y sólo una de las siguientes relaciones

x>y\,; x<y\, o bien x=y\,,

pero nunca dos ni tres juntas. Luego, como nuestra hipótesis nos conduce a una contradicción, 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 sólo queda la opción de que 1 sea mayor que cero

  • Razonamiento incorrecto

Un error común entre quienes comienzan el estudio de estas materias, es el de pensar que han llegado a una contradicción sin haberlo hecho. Por ejemplo: Suponen que:

1<0\,, Luego sumando (-1) a ambos lados
0<{-1}\, lo cual es una contradicción ya que 0>{-1}\,.

Este razonamiento tiene un error, ya que no llegamos a una contradicción. Nuestra hipótesis era que 1 era menor que cero y por lo tanto, con los procedimientos realizados 1<0<{-1}\,, que es verdadero. En esta caso la afirmación 0>{-1}\, es falsa.

Nótese que para llegar a una contradicción debemos tener lo siguiente:

  • Una afirmación P (en nuestra hipótesis) que diga que ésta es cierta.
  • Una conlcusión que diga que P es falsa.

Claramente ninguna afirmación puede cumplir con esto. En lógica esto la afirmación sería:

P es cierta y ~P es cierta, que se lee "P es cierta y no P es cierta".

Ejemplo de una demostración por inducción

Demostrar que

\sum_{k=1}^n {\frac{1}{k(k+1)}} = \frac{n}{n+1}

Demostración

  • Debemos comprobar si la afirmación es cierta para \mathit{n=1} \,\!, ya que la sumatoria parte desde \mathit{k=1} \,\!.

Sea \mathit{n=1} \,\!, entonces

\sum_{k=1}^1 {\frac{1}{k(k+1)}} = \frac{1}{1+1} = \frac{1}{2} .

y la afirmación es cierta para \mathit{n=1} \,\!.

  • Supongamos ahora, que la afirmación es cierta para un \mathit{n>1} \,\! fijo, y veamos que sucede para \mathit{n+1} \,\!.

Por propiedad de las sumatorias tenemos que

\sum_{k=1}^{n+1} {\frac{1}{k(k+1)}} = \sum_{k=1}^{n} {\frac{1}{k(k+1)}} + \sum_{k=n+1}^{n+1} {\frac{1}{k(k+1)}}

como la afirmación es cierta para \mathit{n} \,\!, tenemos que

\sum_{k=1}^{n+1} {\frac{1}{k(k+1)}} = \frac{n}{n+1} + \frac{1}{(n+1)(n+2)}

ordenando

\sum_{k=1}^{n+1} {\frac{1}{k(k+1)}} = \frac{n(n+2)+1}{(n+1)(n+2)}

\sum_{k=1}^{n+1} {\frac{1}{k(k+1)}} = \frac{n^2+2n+1}{(n+1)(n+2)}

\sum_{k=1}^{n+1} {\frac{1}{k(k+1)}} = \frac{(n+1)^2}{(n+1)(n+2)}

como \mathit{n} \,\! es distinto de \mathit{(-1)} \,\!, pordemos simplificar y

\sum_{k=1}^{n+1} {\frac{1}{k(k+1)}} = \frac{(n+1)}{(n+1)+1}

que es lo que queríamos demostrar.

Así, la afirmación también es verdadera para \mathit{n+1} \,\!.

Luego, la afirmación es cierta para todo  n \in \mathbb{N} .

  • Razonamiento

El principio de Inducción dice que dada una afirmación \mathit{P(n)} \,\!, ésta sera cierta sólo si se cumple que

  • \mathit{P(1)} \,\! es cierta
  • Si \mathit{P(n)} \,\! es cierta, entonces \mathit{P(n+1)} \,\! también lo es.

Entonces, como nuestro \mathit{P(n)} \,\! es lo que queremos demostrar, debemos ver si es cierta para su primer término. En este caso para \mathit{n=1} \,\!.

Nótese que no necesariamente nos debe quedar 1 en la sumatoria. Lo que nos indica el \mathit{P(1)} \,\! es que debemos ver si es cierta para el primer término. Como la afirmación se cumplía para \mathit{n=1} \,\!, el paso siguiente era ver si, asumida cierta para \mathit{n} \,\!, se cumplía para \mathit{n+1} \,\!. Así entonces, usamos lo que queremos ver si es cierto en el único miembro de la izquierda de nuestra ecuación. 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 definición. Sabemos que es cierto para \mathit{n} \,\!, por lo tanto el primer miembro del lado derecho lo podemos sustituir, mientras que al segundo miembro sólo aplicamos la definición de sumatoria.

Luego, sumando las fracciones y agrupando, concluímos que el primer miembro del lado izquierdo de nuestra ecuación, se puede expresar como lo que queremos demostrar. Por lo tanto, concluímos que la afirmación es cierta para \mathit{n+1} \,\!.

Véase también


Obtenido de "Demostraci%C3%B3n matem%C3%A1tica"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Demostración matemática — Una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hipótesis, permite asegurar la veracidad de una tesis. Estos pasos deben estar fundamentados teóricamente (ya sea por axiomas o por teoremas anteriormente …   Enciclopedia Universal

  • Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés …   Wikipedia Español

  • Demostración inválida — Saltar a navegación, búsqueda En matemáticas, hay múltiples demostraciones matemáticas de contradicciones obvias. A pesar de que las demostraciones son erróneas, los errores son sutiles, y la mayor parte de las veces, intencionados. Estas… …   Wikipedia Español

  • Demostración — Saltar a navegación, búsqueda Demostración puede referirse a: Demostración matemática Demostración automática Demostración inválida Demostración por inducción Demostración por contraposición Demostración (merchandising) Teoría de la demostración… …   Wikipedia Español

  • Demostración — (Del lat. demostratio, onis.) ► sustantivo femenino 1 Acción de mostrar la verdad o falsedad de una cosa: ■ hizo una demostración impecable de la teoría. SINÓNIMO argumentación 2 Evidencia o indicación de una cosa: ■ los besos son claras… …   Enciclopedia Universal

  • Matemática — Portal:Matemática Saltar a navegación, búsqueda     …   Wikipedia Español

  • Demostración por inducción — Saltar a navegación, búsqueda La demostración por inducción es un método de demostración utilizado con frecuencia para comprobar igualdades , se utilizan para ello los números enteros. Se procede como sigue: Sea P(n) una proposición o afirmación… …   Wikipedia Español

  • Demostración de la irracionalidad de π — Saltar a navegación, búsqueda Símbolo del número π, popularizado por Leonhard Euler. Aunque la constante matemática conocida como π (pi) ha sido estudiada desde la antigüedad, y también el concepto de número irracional, no fue sin …   Wikipedia Español

  • Demostración interactiva de teoremas — Saltar a navegación, búsqueda La demostración interactiva de teoremas es un campo de la ciencia computacional y la lógica matemática relativo a las herramientas para desarrollar pruebas formales para la colaboración hombre máquina. Esto involucra …   Wikipedia Español

  • Demostración de la irracionalidad de e — Saltar a navegación, búsqueda Artículo principal: Número e En matemática, la representación en serie del número e puede ser usado para probar que e es un número irracional. De las tantas representaciones posibles de e, esta es la serie de Taylor… …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.