Demostracin en matemtica

(Redirigido desde Demostracin matemtica)

Para otros usos de este trmino, vase Demostracin.

Uno de los fragmentos sobrevivientes ms antiguos de Elementos de Euclides, un libro de texto utilizado
durante miles de aos para ensear tcnicas de demostracin de escritura. El diagrama acompaa el
Libro II, Proposicin 5.1.1

En matemticas, una demostracin o bien una prueba es un argumentodeductivo para

asegurar la verdad de una proposicin matemtica. En la argumentacin se pueden usar otras
afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales
o axiomas 2 . En principio una demostracin se puede rastrear hasta afirmaciones
generalmente aceptadas, conocidas como axiomas.3 4 Las demostraciones son ejemplos
de razonamiento deductivo y se distinguen de argumentos inductivos o empricos; una
demostracin debe demostrar que una afirmacin es siempre verdadera (ocasionalmente al
listar todos los casos posibles y mostrar que es vlida en cada uno), ms que enumerar
muchos casos confirmatorios. Una afirmacin no probada que se cree verdadera se conoce
como conjetura.
Las demostraciones emplean lgica pero normalmente incluyen una buena parte de lenguaje
natural, el cual usualmente admite alguna ambigedad. De hecho, la gran mayora de las
demostraciones en las matemticas escritas puede ser considerada como aplicaciones
de lgica informal rigurosa. Las demostraciones puramente formales, escritas en lenguaje
simblico en lugar de lenguaje natural, se consideran en teora de la demostracin. La
distincin entredemostraciones formales e informales ha llevado a examinar la lgica
matemtica histrica y actual, el cuasi-empirismo matemtico y el formalismo matemtico.
La filosofa de las matemticas concierne al rol del lenguaje y la lgica en las demostraciones,
y en las matemticas como lenguaje.
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.
ndice
[ocultar]

1Etimologa e historia

2Naturaleza y Propsito

3Mtodos de demostracin

3.1Demostracin directa

3.2Demostracin por Principio de induccin matemtica

3.3Demostracin por contraposicin

3.4Demostracin por reduccin al absurdo

3.5Demostracin constructiva o por construccin

3.6Demostracin por exhaustividad

3.7Demostracin probabilstica

3.8Demostracin por combinatoria

3.9Demostracin no constructiva

3.10Pruebas estadsticas en matemticas puras

3.11Pruebas asistidas por computador

4Afirmaciones indecidibles

5Matemtica heurstica y experimental

6Conceptos relacionados
o

6.1Demostracin visual

6.2Demostracin elemental

6.3Demostracin de dos columnas

6.4Uso coloquial de "demostracin matemtica"

6.5Demostracin estadstica usando datos

6.6Pruebas de lgica inductiva y el anlisis bayesiano

6.7Pruebas como objetos mentales

6.8Influencias de los mtodos matemticos de demostracin fuera de las

matemticas

7Fin de una demostracin

8Informacin adicional

9Vase tambin

10Referencias

11Fuentes

12Enlaces externos

Etimologa e historia[editar]
Vase tambin: Historia de la lgica

La palabra prueba viene del latn probare, que significa probar. Palabras modernas
relacionadas son las palabras espaolas probar (degustar, oler o ensayar), probidad,
probo (o proba) y probabilidad,5 la palabra alemana probieren (intentar), la
italiana probare (intentar) y las palabras inglesas probe y probation. El uso temprano del
trmino ingls probity (probidad) significaba presentacin de evidencia legal. Una persona
de autoridad que en general era cualquier persona con mucho dinero se deca que era
una persona proba, y su evidencia pesaba ms que cualquier otro testimonio o
demostracin emprica.6
Los argumentos de plausibilidad que usaban recursos heursticos tales como imgenes y
analogas precedieron a la demostracin matemtica estricta.7 Es probable que la idea de
demostrar una conclusin se mostrara primero en conexin con la geometra, la cual
originalmente significaba medida de la tierra o agrimensura. 8 El desarrollo de la demostracin
matemtica es el producto primario de la matemtica Griega antigua, y uno de sus ms
grandes logros.Tales de Mileto (624-546 a. C.) demostr algunos teoremas en
geometra. Eudoxo (408-355 a. C.) y Teeteto (417-369 a. C.) formularon teoremas pero no los
demostraron. Aristteles (384-322 a. C.) dijo que las definiciones deban describir el concepto
a definir en trminos de otros conceptos ya conocidos. Las demostraciones en matemticas
fueron revolucionadas por Euclides (300 a. C.), quien introdujo el mtodo axiomtico que an
se usa en la actualidad, empezando con trminos indefinidos y axiomas (proposiciones
concernientes a los trminos indefinidos asumidas como evidentemente ciertas, vienen
del griego axios, que significa valioso), y usaba estos para probar teoremas usando lgica
deductiva. Su libro, los elementos, fue ledo por cualquiera que se considerara educado en el
occidente hasta mediados del siglo XX.9 En adicin a los teoremas familiares en geometra,
tales como el teorema de Pitgoras, los elementos incluyen una demostracin de que la raz
cuadrada de dos es irracional y de que hay infinitos nmeros primos.
Avances posteriores tomaron lugar en las matemticas medievales Islmicas. Mientras que las
demostraciones Griegas tempranas eran sobre todo demostraciones geomtricas, el
desarrollo del aritmtica y el lgebra por los matemticos Islmicos permiti demostraciones
ms generales que no dependan de la geometra. En el siglo X d. C., el matemtico iraqu AlHashim dio a proveer demostraciones generales para nmeros (ms que demostraciones
geomtricas) al considerar multiplicacin y divisin entre otros por lneas. Usaba este
mtodo para proveer una demostracin de la existencia de nmeros irracionales.10
Una demostracin inductiva para secuencias aritmticas fue introducida en el Al-Fakhri
(1000 d. C.) por Al-Karaji, quien la us para probar el teorema del binomio y propiedades
del tringulo de Pascal. Alhazen tambin desarroll el mtodo de demostracin por
contradiccin, como el primer intento de probar el postulado euclidiano de las paralelas.11
La teora moderna de demostraciones trata a las demostraciones como estructuras de datos
definidas inductivamente. Ya no se tiene se asume que los axiomas son ciertos en ningn

sentido; esto permite que se creen teoras matemticas paralelas en conjuntos alternos de
axiomas (vase Teora axiomtica de conjuntos y geometra no euclidiana como ejemplos).

Naturaleza y Propsito[editar]
Como se haba dicho, una demostracin se escribe en lenguaje natural, siendo esta un
argumento riguroso con propsito de convencer a la audiencia de la veracidad de una
afirmacin o definicin. El rigor estndar no es absoluto y ha variado a travs de la historia.
Una demostracin puede ser presentada en formas diferentes dependiendo de la audiencia
esperada. En orden de ganar aceptacin, una demostracin tiene que cumplir parmetros
comunes de rigor; un argumento considerado vago o incompleto ha de ser rechazado.
El concepto de una demostracin se formaliza en el campo de la lgica
matemtica.12 Una demostracin formal se escribe en lenguaje formal en vez de lenguaje
natural. Una demostracin formal se define como una secuencia de frmulas en un lenguaje
formal en la cual cada frmula es una consecuencia lgica de las precedentes. Tener una
definicin de demostracin formal hace el concepto de demostracin ameno de estudiar. De
hecho, el campo deteora de demostraciones estudia las demostraciones formales y sus
propiedades, por ejemplo, la propiedad de una afirmacin de tener una demostracin formal.
Una aplicacin de la teora de demostraciones es la de mostrar que ciertas afirmaciones
indecidibles no pueden tener demostracin.
Se supone que la definicin de demostracin formal est para capturar el concepto de la
demostracin tal como se escribe en la prctica de la matemtica. La sonoridad de esta
definicin descansa en la creencia de que una demostracin publicada puede, en principio,
ser convertida en una demostracin formal. De todos modos, fuera del campo de los
asistentes automticos para demostraciones, esto se hace raramente en la prctica. Una
pregunta clsica de la filosofa pregunta si las demostraciones matemticas
son analticas o sintticas. Kant, quien introdujo ladistincin entre analticos y sintticos, crea
que las demostraciones en matemticas son sintticas.
Las demostraciones pueden ser vistas como objetos estticos, admiradas por su belleza
matemtica. El matemticoPaul Erds describi las demostraciones que consideraba
particularmente elegantes como venidas de El Libro, un texto hipottico que supuestamente
contiene los mtodos ms hermosos de probar cada teorema. El ensayo Las demostraciones
de El libro, publicado en 2009, presenta 32 demostraciones que sus editores encuentran
particularmente satisfactorias.

Mtodos de demostracin[editar]
Aunque en general no existe un procedimiento nico de demostracin de tesis, si existen
diferentes tipos de demostraciones que son utilizados comnmente en matemticas:

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

Por otra parte, a pesar del alto grado de intervencin humana necesario para hacer una
demostracin, tambin existen tcnicas computacionales que permiten hacer demostraciones
automticas, notablemente en el campo de lageometra euclidiana.

Demostracin directa[editar]
Artculo principal: Demostracin directa

Se plantea una proposicin, en la forma si p entonces q, donde p se

denomina hiptesis ( condicin suficiente) y q, se llama tesis o conclusin ( condicin
necesaria). Por ejemplo, si llueve la pista est mojada; esto es: que es una condicin
suficiente para que se aniegue la pista, es que llueva. Y si llueve necesariamente se moja la
pista. En el contexto matemtico, de la verdad de la hiptesis se llega a la verdad de la
conclusin, usando proposiciones cuya certeza se conoce previamente. 13
En la demostracin directa, la conclusin se establece al combinar lgicamente los axiomas,
definiciones, y teoremas previos.14 Por ejemplo, la demostracin directa puede ser usada para
establecer que la suma de dos enteros pares es siempre par:
Considere dos enteros pares x e y. Como son pares, pueden ser escritos
como x = 2a e y = 2b, respectivamente, para enteros a y b. Luego la suma x + y =
2a + 2b = 2(a+b). Por lo tanto x+y tiene un factor de 2 y, por definicin, es par. Por lo
tanto la suma de dos enteros pares es par.
Esta demostracin usa la definicin de enteros pares, las propiedades de los enteros para
la clausura bajo la adicin y la multiplicacin, y la distributividad.
Tambin un teorema se puede enunciar en la forma "p si, slo si q", que conlleva dos
enunciados "si...entonces". Se prueba " si p...entonces q" y adems, " si q... entonces p".
Como ejemplo, es un nmero impar si, slo si es par. Enunciados de esta ndole, en la
prctica, pueden demostrase directamente los dos o bien por reduccin la absurdo. Lo
importante es el enlace bicondicional.15

Demostracin por Principio de induccin matemtica[editar]

Artculo principal: Induccin matemtica

La induccin matemtica no es una forma de razonamiento inductivo. En una

demostracin por induccin matemtica se demuestra un nico caso base y tambin
una regla de induccin, la cual establece que un cierto caso implicael siguiente.
Aplicando la regla de induccin repetidamente, empezando del caso base
independientemente probado, demostracin muchos, a veces infinitos en nmero, otros
casos.16 Como el caso base es verdadero, el infinito de los otros casos debe tambin
serlo, incluso si todos ellos no pueden ser probados directamente dada su infinitud. Un
subconjunto de induccin es infinitamente descendiente. El descenso infinito puede ser
usado para probar lairracionalidad de la raz cuadrada de dos.
Una aplicacin comn de la induccin matemtica es la de probar que una propiedad
conocida por mantenerse para un nmero se mantiene se mantiene para todos los
naturales:17
Sea N = {1,2,3,4,...} el conjunto de los nmeros naturales,y P(n) la afirmacin
matemtica que involucra al nmero natural n que pertenece a N tal que:

(i) P(1) es verdadero, p.e., P(n) es verdadero para n = 1.

(ii) P(n+1) es verdadero donde sea que P(n) sea verdadero, p.e., P(n) es
verdadero implica que P(n+1) es verdadero.

 Por lo tanto P(n) es verdadero para todos los nmeros naturales n.

Por ejemplo, podemos probar por induccin que todos los enteros de la forma 2n + 1
son impares:

(i) Para n = 1, 2n + 1 = 2(1) + 1 = 3, y 3 es impar. Luego P(1) es verdadero.

(ii) Para 2n + 1 para algn n, 2(n+1) + 1 = (2n+1) + 2. Si 2n + 1 es impar, luego

(2n+1) + 2 debe ser impar, porque aadir 2 a un nmero impar da un nmero
impar. As que P(n+1) es verdadero si P(n) es verdadero.
Por lo tanto 2n + 1 es impar, para todos los nmeros naturales n.
Es comn decir demostracin por induccin en vez de
demostracin por induccin matemtica.18

Demostracin por contraposicin[editar]

Artculo principal: Contrarrecproco

La demostracin por contraposicin infiere la conclusin

si el evento p implica el evento q, entonces no
evento qimplica no evento p , o, matemticamente: La
afirmacin "si no q entonces no p" se llama la
contrapositiva de la afirmacin de "si p entonces q".
Un ejemplo lgico no matemtico puede ser el siguiente:
Imaginemos que un restaurante ofrece en su men
paella todos los jueves. Es decir, el evento "jueves"
implica el evento "paella". Puede ser que vayamos un
lunes y haya paella. O puede ser que vayamos un martes
y no la haya. Pero lo que sabemos seguro es que todos
los jueves hay paella. De todas las posibles conclusiones
lgicas que se derivan de la anterior afirmacin, slo una
de ellas es cierta: que si vamos un da y no hay paella,
entonces seguro que no es jueves. O dicho de otro
modo, "no paella" implica "no jueves".
Un ejemplo matemtico: la contraposicin se puede usar
para establecer que si a es impar, entonces a es impar.
Es evidente que a par implica a par (si multiplicamos un
nmero par por l mismo, obtenemos otro nmero par).
Por lo tanto, podemos afirmar que si a no es par,
entonces a tampoco lo es. O dicho de otro modo, si a es
impar, entoncesa es impar.
En el sistema de los nmeros reales se tiene el teorema "
si , entonces o ", que conlleva la proposicin
contrapositiva " si y entonces ".19 .

Demostracin por reduccin al

absurdo[editar]
Artculo principal: Demostracin por contradiccin

En la demostracin por contradiccin (tambin conocida

como reductio ad absurdum, que significa por reduccin
al absurdo en latn), se muestra que si cierta afirmacin
es verdadera, ocurre una contradiccin lgica, por tanto

esa afirmacin es falsa. Un ejemplo famoso de

demostracin por contradiccin muestra que es
un nmero irracional:
Supongase que es un nmero racional, as por definicin donde a y b son dos
enteros diferentes de cero sin factores comunes. Por tanto, . Elevando al cuadrado
ambos lados se tiene que . Como 2 divide el lado izquierdo, 2 debe dividir al lado
derecho (pues son iguales ambos enteros). As es par, lo cual implica que debe ser
tambin par. As que podemos escribir , donde c tambin es entero. Substituyendo en
la ecuacin original tenemos . Dividiendo a ambos lados por 2 tenemos . Pero
entonces, por el mismo argumento de antes, 2 divide a , entonces b debe ser par. De
todas maneras, si a y b son ambos enteros, comparten un factor, que es 2. Esto
contradice nuestra asuncin, as que nos vemos forzados a concluir que es un
nmero irracional.

Demostracin constructiva o por

construccin[editar]
Artculo principal: Demostracin por construccin

La Demostracin por construccin, o demostracin

por ejemplo, es la construccin de un ejemplo
concreto con una propiedad especfica para mostrar
que algo que posea esa propiedad existe. Joseph
Liouville, por ejemplo, prob la existencia de
los nmeros trascendentes construyendo un ejemplo
explicito. Tambin puede ser usado para construir
un contraejemplo para probar negativamente una
proposicin de que todos los elementos tienen una
cierta propiedad.
Esta forma de demostracin fue aplicada por Cantor
para probar que el conjunto de los nmeros reales
es no numerable. El esquema demostrativo parte de
la hiptesis de que todos los nmeros reales pueden
ser enumerados y dispuestos en una sucesin, y
se construye luego un nmero real que no figura en
tal sucesin. Salta una contradiccin con la hiptesis
inicial , que asuma que todos los nmeros reales
estaban incluidos en la sucesin. De aqu que la
hiptesis de la enumeracin de los nmeros reales
resulta absurda; de modo que hiptesis contraria,
esto es, la proposicin de Cantor de que el conjunto
de los nmeros reales no es numerable queda
probada.20

Demostracin por exhaustividad[editar]

Artculo principal: Demostracin por exhaustividad

En la demostracin por exhaustividad, la conclusin

se establece al dividirla en un nmero finito de casos
y probarlos cada uno por separado. El nmero de
casos a veces puede ser muy grande. Por ejemplo,
la primera demostracin delteorema de los cuatro
colores fue una demostracin por exhaustividad con
1936 casos. Esta demostracin fue controvertida

pues la mayora de los casos fueron verificados con

un programa de computador y no a mano. La
demostracin conocida ms corta del teorema de los
cuatro colores fue de 2011 y todava tiene ms de
600 casos.

Demostracin probabilstica[editar]
Artculo principal: Mtodo probabilstico

Una demostracin probabilstica es una en la cual se

muestra que un ejemplo existe, con certeza, usando
mtodos de la teora de probabilidad. Esto no se
debe confundir con un argumento de que un teorema
es 'probablemente' cierto. Este tipo de razonamiento
puede ser llamado un argumento de plausibilidad y
no conlleva una demostracin. En el caso de
la conjetura de Collatz est claro que tan lejos est
eso de ser una demostracin genuina.21 La
demostracin probabilstica, como la demostracin
por construccin, es una de las muchas formas de
demostrar teoremas de existencia.

Demostracin por combinatoria[editar]

Artculo principal: Demostracin por combinatoria

Una demostracin por combinatoria establece la

equivalencia de expresiones diferentes al mostrar
que cuentan para el mismo objeto en formas
diferentes. A menudo se usa una biyeccin entre dos
conjuntos para mostrar que las expresiones para sus
dos tamaos son iguales. Alternativamente, un
argumento de doble conteo provee dos expresiones
diferentes para el tamao de un solo conjunto,
mostrando nuevamente que las dos expresiones son
iguales.

Demostracin no constructiva[editar]
Artculo principal: Demostracin no constructiva

Una demostracin no constructiva establece que

un objeto matemtico con una cierta propiedad existe
sin explicar como tal objeto se puede encontrar. A
menudo, estas toman la forma de una demostracin
por contradiccin en la cual la no existencia de el
objeto se demostracin imposible. En contraste, una
demostracin constructiva establece que un objeto
particular existe al proveer un mtodo para
encontrarlo.
Un ejemplo famoso de demostracin no-constructiva
muestra que existen dos nmeros
irracionales a y b tal que es un nmero racional:
O bien es un nmero racional y acabamos (tomese ), o es irracional por lo que
podemos escribir y . Esto produce , lo cual es un por tanto racional de la forma .

Pruebas estadsticas en matemticas

puras[editar]
Artculo principal: Demostracin estadstica

La expresin demostracin estadstica puede

ser usada tcnica o coloquialmente en reas
de matemticas puras, tales como las que
involucran criptografa, series caticas y teora
de nmeros probabilstica o analtica.22 23 24 No es
tan comnmente usada para referirse a una
demostracin matemtica en el rea de las
matemticas conocida comoestadstica
matemtica. Vase tambin la seccin inferior de
demostracin estadstica con el uso de datos.

Pruebas asistidas por

computador[editar]
Artculo principal: Demostracin asistida por

computador
Hasta el siglo XX se asuma que cualquier
demostracin deba, en principio, ser revisada
por un matemtico competente para confirmar su
validez.7 De todas formas, los ordenadores se
usan ahora para probar teoremas y para hacer
clculos que para un humano o grupo de ellos
seran muy largos de revisar; La primera
demostracin delteorema de los cuatro
colores es un ejemplo de una demostracin
asistida por ordenador. Algunos matemticos
estn preocupados de que la posibilidad de un
error en un programa de computador o un error
de ejecucin en sus clculos pueda afectar la
validez de tales demostraciones asistidas por
computador. En la prctica las posibilidades de
un error que invalide una demostracin asistida
por computador pueden reducirse al incorporar
redundancia y auto-revisiones en los clculos, y
al desarrollar enfoques y programas mltiples e
independientes. Los errores tampoco podrn ser
totalmente superados en caso de la verificacin
humana de una demostracin, especialmente si
la demostracin contiene lenguaje natural y
requiere un trasfondo matemtico profundo.

Afirmaciones indecidibles[editar]
Una sentencia que no es demostrable ni positiva
ni negativamente dese un conjunto de axiomas
de llama indecidible (desde esos axiomas). Un
ejemplo es el postulado de las paralelas, el cual
no es ni demostrable ni refutable desde los
dems axiomas de la geometra euclidiana.

Los matemticos han mostrado que hay muchas

sentencias que no son ni demostrables ni
refutables en la teora de conjuntos de ZermeloFraenkel con el axioma de eleccin (ZFC), el
sistema estndar de la teora de conjuntos en
matemticas (asumiendo que ZFC es
consistente); vase la lista de sentencias
indecidibles en ZFC.
El primer teorema de la incompletitud de
Gdel muestra que muchos sistemas
axiomticos de inters matemtico tendrn
sentencias indecidibles.

Matemtica heurstica y
experimental[editar]
Artculo principal: Matemtica heurstica y

experimental
Mientras que los matemticos tempranos
como Eudoxo de Cnidus no usaban
demostraciones, a partir de Euclideshasta
los desarrollos fundacionales de las
matemticas del tardo siglo XIX y XX, las
demostraciones se convirtieron en una parte
esencial de las matemticas.25 Con el incremento
del poder computacional en los aos sesenta, en
lamatemtica experimental se empez a realizar
un trabajo significativo investigando objetos
matemticos fuera del marco de demostracinteorema.26 Los pioneros tempranos de esos
mtodos pretendan que el trabajo finalmente se
tradujera al clsico marco de trabajo
demostracin-teorema, por ejemplo, el desarrollo
temprano de la geometra fractal,27 el cual fue
finalmente muy apreciado.

Conceptos relacionados[editar]
Demostracin visual[editar]
A pesar de no ser una demostracin formal, una
demostracin visual de un teorema matemtico
es a veces llamada una demostracin sin
palabras. La imagen de la izquierda mostrada
abajo es un ejemplo de la histrica demostracin
visual del Teorema de Pitgoras en el caso del
tringulo de lados con medidas (3,4,5).

Demostracin visual para el tringulo de lados (3,

4, 5) tal como aparece en el Chou Pei Suan
Ching 500200 BC.

Demostracin visual animada del teorema de

Pitgoras por reacomodacin.

Una segunda demostracin animada del teorema

de Pitgoras.

Demostracin elemental[editar]
Artculo principal: Demostracin elemental

Una demostracin elemental es una

demostracin que solo usa tcnicas bsicas. El
trmino se usa ms especficamente en la teora
de nmeros para referirse a las demostraciones
que no hacen uso del anlisis complejo. Por
algn tiempo se pensaba que ciertos teoremas,
como el teorema de los nmeros primos, solo
podra ser probado usando matemticas
superiores. De todas formas, al pasar al tiempo,
muchos de esos resultados pudieron ser
nuevamente probados usando solo tcnicas
elementales.

Demostracin de dos columnas[editar]

Una demostracin de dos columnas publicada en

1913

Una forma particular de organizar una

demostracin, que usa dos columnas paralelas,
se usa a menudo en las clases de geometra
elemental en los EEUU.28 La demostracin se
escribe como una serie de lneas en dos
columnas. En cada lnea, la columna izquierda
contiene una proposicin, mientras que la
columna derecha contiene una corta explicacin
de como la proposicin correspondiente de la
columna izquierda es o bien un axioma, una
hiptesis, o puede ser derivada lgicamente de
las preposiciones anteriores. La columna
izquierda es tpicamente llamada Afirmaciones
y la derecha, Razones.29

Uso coloquial de "demostracin

matemtica"[editar]
La expresin demostracin matemtica es
usada popularmente para referirse a usar
mtodos matemticos o discutir apoyndose
en objetos matemticos como nmeros,
para demostrar algo de la vida diaria, o cuando
los datos usados en una discusin son
numricos. A veces tambin significa
demostracin estadstica (ms abajo),
especialmente cuando se usa para discutir
con datos.

Demostracin estadstica usando

datos[editar]
Artculo principal: Demostracin estadstica

La demostracin estadstica usando datos se

refiere a la aplicacin de la estadstica, anlisis
de datos, o el anlisis bayesiano para inferir
proposiciones concernientes a
la probabilidad de datos. Mientras se usa una

demostracin matemtica para establecer

teoremas en estadstica, estas usualmente no
son demostraciones matemticas en sentido de
que las asunciones de las que las sentencias en
probabilidad se derivan requieren evidencia
emprica de afuera de las matemticas para
verificarse. En la Fsica, en adicin o mtodos
estadsticos, demostracin estadstica puede
referirse a especializados mtodos matemticos
de la fsica aplicados a analizar datos en
aexperimentos en fsica de partculas o estudios
observacionales en cosmologa. Demostracin
estadstica tambin puede significar los datos
sin trabajar o un diagrama convincente que usa
datos, tal como los scatter plots, donde los datos
o el diagrama convencen adecuadamente sin
mayor anlisis posterior.

Pruebas de lgica inductiva y el

anlisis bayesiano[editar]
Artculos principales: Lgica inductiva e Inferencia

bayesiana.
Las demostraciones que usan lgica inductiva,
mientras son consideradas matemticas en la
naturaleza, buscan establecer proporciones con
un grado de certeza, el cual acta en forma
similar a la probabilidad, y podra ser menos que
una certeza. El anlisis bayesiano establece
aserciones tal como el grado de creencia
subjetiva de la persona. La lgica inductiva no
debe ser confundida con la induccin
matemtica.

Pruebas como objetos mentales[editar]

Artculos principales: Psicologa y Lenguaje del

pensamiento.
El Psicologismo ve a las demostraciones
matemticas como objetos psicolgicos o
mentales. filsofos de la matemtica, tales
como Leibniz, Gottlob Frege, y Rudolf Carnap,
hubieron intentado desarrollar una semntica
para lo que ellos consideraban era el lenguaje
del pensamiento, donde sea los estndares de la
demostracin matemtica pudiese ser aplicada a
la ciencia emprica.

Influencias de los mtodos

matemticos de demostracin fuera
de las matemticas[editar]
Filsofos y matemticos (personas con ambos
oficios) tales como Spinoza hubieron intentado
formular argumentos filosficos en un estilo

axiomtico, donde sea que los estndares de la

demostracin matemtica puedan ser aplicados
a la argumentacin en la filosofa general. Otros
filsofos y matemticos hubieron intentado usar
los estndares de la demostracin matemtica y
la razn, sin empirismo, tales como el argumento
del cogito deDescartes.

Fin de una demostracin[editar]

Algunas veces, la abreviacin QED se escribe
para indicar el fin de una demostracin. Esta
abreviacin significa quod erat demonstrandum,
lo cual en latn quiere decir lo que se quera
demostrar. Una alternativa ms comn es usar
un cuadrado o un rectngulo, tales como o ,
conocidos como tombstone o halmos (por
su epnimo Paul Halmos). A menudo, lo que se
quera demostrar se escribe verbalmente al
escribir QED, , o en una presentacin oral
sobre una pizarra.

Informacin adicional[editar]
Ejemplo de una demostracin por
contradiccin Llamada tambin demostracin al
absurdo
Demostracin de la afirmacin
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.

Usaremos los siguientes axiomas de

los nmeros reales:

Ax1.
Ax2. Si y , con a,b,c reales. Entonces
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 , y sta es falsa, lo nico
que ahora podemos decir es

que . Pero el axioma Ax1 dice

que la nica posibilidad donde
no existe contradiccin es que
efectivamente
Luego
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 se dice
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".
Ejemplo de
una
demostracin
por induccin
Demostrar que
Demostracin

Debemos
comprobar
si la
afirmacin
es cierta
para , ya
que la
sumatoria
parte
desde .

Sea , entonces
.
y la afirmacin
es cierta para .

Supongamo
s ahora,

que la
afirmacin
es cierta
para un fijo,
y veamos
que sucede
para .
Por propiedad
de las
sumatorias
tenemos que
como la
afirmacin es
cierta para ,
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 , esta
es cierta slo si
se cumple que

es cierta

Si es cierta,
entonces
tambin lo
es.

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 .
Definicin
formal En lgic
a matemtica y
en lgica
proposicional,
una demostraci
n es una
secuencia finita
defrmulas
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 F
k (tales
quej<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.

Vase
tambin[ed
itar]

Belleza
matemtica

Demostraci
n
automtica
de
teoremas

Demostraci
n invlida

Lista de
demostracio
nes
incompletas

Lista de
demostracio
nes largas

Lista de
demostracio
nes

matemtica
s

Demostraci
n noconstructiva

Demostraci
n por
intimidacin

Lo que la
tortuga le
dijo a
Aquiles

Referencia
s[editar]
1.

Volver
arriba B
ill
Casselm
an. On
e of the
Oldest
Extant
Diagram
s from
Euclid.
Universit
y of
British
Columbi
a.
Consulta
do el 26
de
setiembr
e de
2008.

2.

Volver
arriba E
dward.
R.
Scheiner
man. Ma
temtica
s
discreta
s Mxico
D.F.
(2001) I

SBN
970686071-1
3.

Volver
arriba C
upillari,
Antonell
a. The
Nuts
and
Bolts of
Proofs.
Academi
c Press,
2001.
Pg. 3.

4.

Volver
arriba E
ric
Gossett
(2009).
Discrete
Mathem
atics
with
Proof (d
efinition
3.1,
pg. 86).
John
Wiley
and
Sons. IS
BN 047045793-7

5.

Volver
arriba
New
Shorter
Oxford
English
Dictionar
y.
Oxford:
Oxford
Universit
y Press,
1993.

6.

Volver
arriba H
acking,
Ian. The

emergen
ce of
probabili
ty.
7.

Saltar
a:a b The
History
and
Concept
of
Mathem
atical
Proof,
Steven
G.
Krantz.
1.
February
5, 2007

8.

Volver
arriba K
neale,
pg. 2

9.

Volver
arriba H
oward
Eves
(1990):
An
introduct
ion to
the
history
of
mathem
atics,
Saunder
s, ISBN
0-030295580,
pg. 141
: No
work,
except T
he Bible,
has
been
more
widely
used....
.

10. Volver
arriba

Matvievs
kaya,
Galina
(1987),
The
Theory
of
Quadrati
c
Irrational
s in
Medieval
Oriental
Mathem
atics, A
nnals of
the New
York
Academ
y of
Science
s 500:
253277
[260], doi:
10.1111/j.1
7496632.1987.
tb37206.x

11. Volver
arriba E
der,
Michelle
(2000),
Views of
Euclid's
Parallel
Postulat
e in
Ancient
Greece
and in
Medieva
l
Islam, R
utgers
Universit
y,
consulta
do el 23
de enero
de 2008
12. Volver
arriba B
uss,
1997,
pg. 3

13. Volver
arriba B
ushObreanu
. Introdu
ccin a
la
matemt
ica
superior,
Editorial
trillas,
Mxico
D.F.
(1968)
14. Volver
arriba C
upillari,
pg. 20.
15. Volver
arriba S
cheiner
man.,
Op. cit.
16. Volver
arriba C
upillari,
pg. 46.
17. Volver
arriba E
xamples
of simple
proofs
by
mathem
atical
induction
for all
natural
numbers
18. Volver
arriba P
roof by
induction
,
Universit
y of
Warwick
Glossary
of
Mathem
atical

Terminol
ogy
19. Volver
arriba S
. M.
Nikolski
Element
os del
anlisis
matemt
ico Edito
rial Mir ,
Mosc
(1984)
20. Volver
arriba C
ourantRobbins.
Qu es
la
matemt
ica.
Aguilar,
Madrid
(1979)
21. Volver
arriba
While
most
mathem
aticians
do not
think that
probabili
stic
evidence
ever
counts
as a
genuine
mathem
atical
proof, a
few
mathem
aticians
and
philosop
hers
have
argued
that at
least
some
types of

probabili
stic
evidence
(such as
Rabin's
"probabil
istic
algorith
m" for
testing
primality)
are as
good as
genuine
mathem
atical
proofs.
See, for
example,
Davis,
Philip J.
(1972).
"Fidelity
in
Mathem
atical
Discours
e: Is One
and One
Really
Two?".
In: Amer
ican
Mathem
atical
Monthly,
79:
pgs. 25
2-263.
Fallis,
Don
(1997).
"The
Epistemi
c Status
of
Probabili
stic
Proof".
In: Journ
al of
Philosop
hy, 94:
pgs. 16
5-186.
22. Volver
arriba "i
n

number
theory
and
commut
ative
algebra..
. in
particula
r the
statistica
l proof of
the
lemma".
[1]
23. Volver
arriba "
Whether
constant
(i.e.,
pi) is
normal is
a
confusin
g
problem
without
any strict
theoretic
al
demonst
ration
except
for
somesta
tistical p
roof"
(derogat
ory
use). [2]
24. Volver
arriba "t
hese
observati
ons
suggest
a
statistica
l proof of
Goldbac
h's
conjectur
e with
very
quickly
vanishin
g

probabilit
y of
failure
for large
E" [3]
25. Volver
arriba "
What to
do with
the
pictures?
Two
thoughts
surfaced
: the first
was that
they
were
unpublis
hable in
the
standard
way,
there
were no
theorem
s only
very
suggesti
ve
pictures.
They
furnishe
d
convinci
ng
evidence
for many
conjectur
es and
lures to
further
explorati
on, but
theorem
s were
coins of
the
realm
ant the
conventi
ons of
that day
dictated
that
journals
only
publishe

d
theorem
s", David
Mumford
,
Caroline
Series
and
David
Wright, I
ndra's
Pearls,
2002
26. Volver
arriba "
Mandelb
rot,
working
at the
IBM
Researc
h
Laborato
ry, did
some
compute
r
simulatio
ns for
these
sets on
the
reasona
ble
assumpti
on that,
if you
wanted
to prove
somethin
g, it
might be
helpful to
know the
answer
ahead of
time". A
Note on
the
History
of
Fractals
.
27. Volver
arriba
[]

brought
home
again to
Benoit
[Mandel
brot] that
there
was a
mathem
atics of
the eye,
that
visualiza
tion of a
problem
was as
valid a
method
as any
for
finding a
solution.
Amazing
ly, he
found
himself
alone
with this
conjectur
e. The
teaching
of
mathem
atics in
France
was
dominat
ed by a
handful
of
dogmatic
mathem
aticians
hiding
behind
the
pseudon
ym
Bourbak
i (Nigel
LesmoirGordon:
Introduci
ng
Fractal
Geometr
y).

28. Volver
arriba P
atricio G.
Herbst,
Establish
ing a
Custom
of
Proving
in
America
n School
Geometr
y:
Evolutio
n of the
TwoColumn
Proof in
the Early
Twentiet
h
Century,
Educatio
nal
Studies
in
Mathem
atics,
Vol. 49,
No. 3
(2002),
pgs. 28
3-312,
29. Volver
arriba C
arol
Fisher:
Introduct
ion to
the twocolumn
proof.

Fuentes[edi
tar]

Plya,
G. (1954),
Mathematic
s and
Plausible
Reasoning,
Princeton

University
Press.

Fallis, Don
(2002), Wh
at Do
Mathematici
ans Want?
Probabilistic
Proofs and
the
Epistemic
Goals of
Mathematici
ans, Logiq
ue et
Analyse 45:
373-388.

Franklin, J.;
Daoud, A.
(2011), Pro
of in
Mathematic
s: An
Introduction,
Kew
Books, ISBN
0-646-54509-4.

Solow, D.
(2004), Ho
w to Read
and Do
Proofs: An
Introduction
to
Mathematic
al Thought
Processes,
Wiley, ISBN 0471-68058-3.

Velleman,
D.
(2006), Ho
w to Prove
It: A
Structured
Approach,
Cambridge
University

Press, ISBN 0
-521-67599-5.

Enlaces
externos[e
ditar]

Wikcion
ario tiene
definiciones
y otra
informacin
sobre demo
stracin.

Hazewinkel,
Michiel, ed.
(2001), Pr
oof
theory, En
cyclopaedia
of
Mathematic
s (en
ingls),
Springer, ISB
N 9781556080104

What are
mathematic
al proofs
and why
they are
important?

2ix.com:
Logic Part
of a series
of articles
covering
mathematic
s and logic.

How To
Write
Proofs by
Larry W.
Cusick

How to
Write a
Proof by Le
slie
Lamport,
and the
motivation
of proposing
such a
hierarchical
proof style.

Proofs in
Mathematic
s: Simple,
Charming
and
Fallacious

The
Seventeen
Provers of
the World,
ed. by
Freek
Wiedijk,
foreword by
Dana S.
Scott,
Lecture
Notes in
Computer
Science
3600,
Springer,
2006, ISBN
3-54030704-4.
Contains
formalized
versions of
the proof
that is
irrational in
several
automated
proof
systems.

What is
Proof? Thou
ghts on

proofs and
proving.

ProofWiki.or
g A wiki
compendiu
m of
mathematic
al proofs.

planetmath.
org A wiki
style
encyclopedi
a of proofs

A lesson ab
out proofs,
in
a course fro
m Wikiversit
y

The role
and function
of proof by
Michael de
Villiers

Developing
understandi
ng of
different
roles of
proof by
Michael de
Villiers

Richard
Hammack
(2009): Bo
ok of
proof (part
of the Open
Textbook
Initiative;
provides an
introduction
to
mathematic
al proofs).