Demostración en matemática

En matemáticas, una demostración o bien una prueba es un argumento

deductivo para asegurar la verdad de una proposición matemática. En la
argumentación se pueden usar otras afirmaciones previamente establecidas,
tales como teoremas o bien las afirmaciones iniciales o axiomas.2 En
principio una demostración 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 empíricos; una demostración debe demostrar que una
afirmación es siempre verdadera (ocasionalmente al listar todos los casos Uno de los fragmentos sobrevivientes más
posibles y mostrar que es válida en cada uno), más que enumerar muchos antiguos de Elementos de Euclides, un
libro de texto utilizado durante miles de
casos confirmatorios. Una afirmación no probada que se cree verdadera se
años para enseñar técnicas de
conoce como conjetura.
demostración de escritura. El diagrama
acompaña el Libro II, Proposición 5.1.1
Las demostraciones emplean lógica pero normalmente incluyen una buena
parte de lenguaje natural, el cual usualmente admite alguna ambigüedad.
De hecho, la gran mayoría de las demostraciones en las matemáticas escritas puede ser considerada como aplicaciones de lógica
informal rigurosa. Las demostraciones puramente formales, escritas en lenguaje simbólico en lugar de lenguaje natural, se
consideran en teoría de la demostración. La distinción entre demostraciones formales e informales ha llevado a examinar la lógica
matemática histórica y actual, el cuasi-empirismo matemático y el formalismo matemático. La filosofía de las matemáticas
concierne al rol del lenguaje y la lógica en las demostraciones, y en las matemáticas como lenguaje.

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.

Índice
Etimología e historia
Naturaleza y Propósito
Métodos de demostración
Demostración directa
Demostración por Principio de inducción matemática
Demostración por contraposición
Demostración por reducción al absurdo
Demostración constructiva o por construcción
Demostración por exhaustividad
Demostración probabilística
Demostración por combinatoria
Demostración no constructiva
Pruebas estadísticas en matemáticas puras
Pruebas asistidas por computador
Afirmaciones indecidibles
Matemática heurística y experimental
Conceptos relacionados
 Demostración visual
Demostración elemental
Demostración de dos columnas
Uso coloquial de "demostración matemática"
Demostración estadística usando datos
Pruebas de lógica inductiva y el análisis bayesiano
Pruebas como objetos mentales
Influencias de los métodos matemáticos de demostración fuera de las matemáticas
Fin de una demostración
Información adicional
Véase también
Referencias
Fuentes
Enlaces externos

Etimología e historia
Véase también: Historia de la lógica
La palabra «prueba» viene del latín probare, que significa ‘probar’. Palabras modernas relacionadas son las palabras españolas
«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 término inglés probity
(‘probidad’) significaba ‘presentación de evidencia legal’. Una persona de autoridad ―que en general era cualquier persona con
mucho dinero― se decía que era una persona «proba», y su evidencia pesaba más que cualquier otro testimonio o demostración
empírica.6

Los argumentos de plausibilidad que usaban recursos heurísticos tales como imágenes y analogías precedieron a la demostración
matemática estricta.7 Es probable que la idea de demostrar una conclusión se mostrara primero en conexión con la geometría, la
cual originalmente significaba ‘medida de la tierra’ o agrimensura.8 El desarrollo de la demostración matemática es el producto
primario de la matemática Griega antigua, y uno de sus más grandes logros. Tales de Mileto (624-546 a. C.) demostró algunos
teoremas en geometría. Eudoxo (408-355 a. C.) y Teeteto (417-369 a. C.) formularon teoremas pero no los demostraron.
Aristóteles (384-322 a. C.) dijo que las definiciones debían describir el concepto a definir en términos de otros conceptos ya
conocidos. Las demostraciones en matemáticas fueron revolucionadas por Euclides (300 a. C.), quien introdujo el método
axiomático que aún se usa en la actualidad, empezando con términos indefinidos y axiomas (proposiciones concernientes a los
términos indefinidos asumidas como evidentemente ciertas, vienen del griego axios, que significa ‘valioso’), y usaba estos para
probar teoremas usando lógica deductiva. Su libro, los elementos, fue leído por cualquiera que se considerara educado en el
occidente hasta mediados del siglo XX.9 En adición a los teoremas familiares en geometría, tales como el teorema de Pitágoras,
los elementos incluyen una demostración de que la raíz cuadrada de dos es irracional y de que hay infinitos números primos.

Avances posteriores tomaron lugar en las matemáticas medievales Islámicas. Mientras que las demostraciones Griegas tempranas
eran sobre todo demostraciones geométricas, el desarrollo de la aritmética y el álgebra por los matemáticos Islámicos permitió
demostraciones más generales que no dependían de la geometría. En el siglo X d. C., el matemático iraquí Al-Hashim dio a
proveer demostraciones generales para números (más que demostraciones geométricas) al considerar multiplicación y división
entre otros «por líneas». Usaba este método para proveer una demostración de la existencia de números irracionales.10

Una demostración inductiva para secuencias aritméticas fue introducida en el Al-Fakhri (1000 d. C.) por Al-Karaji, quien la usó
para probar el teorema del binomio y propiedades del triángulo de Pascal. Alhazen también desarrolló el método de demostración
por contradicción, como el primer intento de probar el postulado euclidiano de las paralelas.11
La teoría moderna de demostraciones trata a las demostraciones como estructuras de datos definidas inductivamente. Ya no se
asume que los axiomas son «ciertos» en ningún sentido; esto permite que se creen teorías matemáticas paralelas en conjuntos
alternos de axiomas (véase Teoría axiomática de conjuntos y geometría no euclidiana como ejemplos).

Naturaleza y Propósito
Como se había dicho, una demostración se escribe en lenguaje natural, siendo esta un argumento riguroso con propósito de
convencer a la audiencia de la veracidad de una afirmación o definición. El rigor estándar no es absoluto y ha variado a través de
la historia. Una demostración puede ser presentada en formas diferentes dependiendo de la audiencia esperada. Con el fin de
ganar aceptación, una demostración tiene que cumplir parámetros comunes de rigor; un argumento considerado vago o
incompleto ha de ser rechazado.

El concepto de una demostración se formaliza en el campo de la lógica matemática.12 Una demostración formal se escribe en
lenguaje formal en vez de lenguaje natural. Una demostración formal se define como una secuencia de fórmulas en un lenguaje
formal en la cual cada fórmula es una consecuencia lógica de las precedentes. Tener una definición de demostración formal hace
el concepto de demostración ameno de estudiar. De hecho, el campo de teoría de demostraciones estudia las demostraciones
formales y sus propiedades, por ejemplo, la propiedad de una afirmación de tener una demostración formal. Una aplicación de la
teoría de demostraciones es la de mostrar que ciertas afirmaciones indecidibles no pueden tener demostración.

Se supone que la definición de demostración formal está para capturar el concepto de la demostración tal como se escribe en la
práctica de la matemática. La sonoridad de esta definición descansa en la creencia de que una demostración publicada puede, en
principio, ser convertida en una demostración formal. De todos modos, fuera del campo de los asistentes automáticos para
demostraciones, esto se hace raramente en la práctica. Una pregunta clásica de la filosofía pregunta si las demostraciones
matemáticas son analíticas o sintéticas. Kant, quien introdujo la distinción entre analíticos y sintéticos, creía que las
demostraciones en matemáticas son sintéticas.

Las demostraciones pueden ser vistas como objetos estéticos, admiradas por su belleza matemática. El matemático Paul Erdős
describió las demostraciones que consideraba particularmente elegantes como venidas de El Libro, un texto hipotético que
supuestamente contiene los métodos más hermosos de probar cada teorema. El ensayo Las demostraciones de «El libro»,
publicado en 2009, presenta 32 demostraciones que sus editores encuentran particularmente satisfactorias.

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

Demostración por contraposición (formalizado y utilizado en los silogismos por Aristóteles).

Demostración por reducción al absurdo (formalizado y utilizado por Aristóteles) y, como caso particular,
descenso infinito
Inducción matemática
Inducción fuerte
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.

Demostración directa
Se plantea una proposición, en la forma «si p, entonces q», donde p se denomina hipótesis (condición suficiente) y q se llama
tesis o conclusión (condición necesaria). Por ejemplo, si llueve, la pista está mojada; esto es que una condición suficiente para
que se moje la pista, es que llueva. Y si llueve, necesariamente se moja la pista. En el contexto matemático, de la verdad de la
hipótesis se llega a la verdad de la conclusión, usando proposiciones cuya certeza se conoce previamente.13

En la demostración directa, la conclusión se establece al combinar lógicamente los axiomas, definiciones, y teoremas previos.14
Por ejemplo, la demostración 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 definición, es par. Por lo tanto la suma de dos
enteros pares es par.

Esta demostración usa la definición de enteros pares, las propiedades de los enteros para la clausura bajo la adición y la
multiplicación, y la distributividad.

También un teorema se puede enunciar en la forma «p si y sólo si q», que conlleva dos enunciados «si..., entonces». Se prueba «si
p..., entonces q» y además, «si q..., entonces p». Como ejemplo, es un número impar si y sólo si es par. Enunciados de
esta índole, en la práctica, pueden demostrarse directamente los dos o bien por reducción al absurdo. Lo importante es el enlace
bicondicional.15

Demostración por Principio de inducción matemática

La inducción matemática no es una forma de razonamiento inductivo. En una demostración por inducción matemática se
demuestra un único «caso base» y también una «regla de inducción», la cual establece que un cierto caso implica el siguiente.
Aplicando la regla de inducción repetidamente, empezando del caso base independientemente probado, demostración muchos, a
veces infinitos en número, otros casos.16 Como el caso base es verdadero, el infinito de los otros casos debe también serlo,
incluso si todos ellos no pueden ser probados directamente dada su infinitud. Un subconjunto de inducción es infinitamente
descendiente. El descenso infinito puede ser usado para probar la irracionalidad de la raíz cuadrada de dos.

Una aplicación común de la inducción matemática es la de probar que una propiedad conocida por mantenerse para un número se
mantiene para todos los naturales:17

Sea N = {1,2,3,4,...} el conjunto de los números naturales,y P(n) la afirmación matemática

que involucra al número 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 números naturales n.

Por ejemplo, podemos probar por inducción 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 algún n, 2(n+1) + 1 = (2n+1) + 2. Si 2n + 1 es impar, luego (2n+1) + 2 debe ser
impar, porque añadir 2 a un número impar da un número impar. Así que P(n+1) es verdadero si P(n) es
verdadero.

Por lo tanto 2n + 1 es impar, para todos los números naturales n.

Es común decir «demostración por inducción» en vez de «demostración por inducción matemática».18
Demostración por contraposición
La demostración por contraposición infiere la conclusión «si el evento p implica el evento q, entonces no evento q implica no
evento p », o, matemáticamente: La afirmación «si no q, entonces no p» se llama la contrapositiva
de la afirmación de «si p, entonces q».

Un ejemplo lógico no matemático 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 lógicas que se derivan de la anterior afirmación, sólo una de ellas es cierta: que si vamos un día y no hay paella,
entonces seguro que no es jueves. O dicho de otro modo, «no paella» implica «no jueves».

Un ejemplo matemático: la contraposición 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 número par por él mismo, obtenemos otro número 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, entonces a es impar.

En el sistema de los números reales se tiene el teorema «si , entonces o », que conlleva la proposición
contrapositiva «si y entonces ».19

Demostración por reducción al absurdo

En la demostración por contradicción (también conocida como reductio ad absurdum, que significa ‘por reducción al absurdo’ en
latín), se muestra que si cierta afirmación es verdadera, ocurre una contradicción lógica, por tanto esa afirmación es falsa. Un
ejemplo famoso de demostración por contradicción muestra que es un número irracional:

Supóngase que es un número racional, así por definición 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 al lado izquierdo, también
debe dividir al lado derecho (de otra forma, un número par equivaldría a un número non).
Así, es par, lo cual implica que debe ser también par. Así que podemos escribir
, donde c también es entero. Sustituyendo en la ecuación 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 asunción, así que nos vemos forzados a concluir que es un número
irracional.

Demostración constructiva o por construcción

La Demostración por construcción, o demostración por ejemplo, es la construcción de un ejemplo concreto con una propiedad
específica para mostrar que algo que posea esa propiedad existe. Joseph Liouville, por ejemplo, probó la existencia de los
números trascendentes construyendo un ejemplo explicito. También puede ser usado para construir un contraejemplo para probar
que no es cierta la proposición de que todos los elementos tienen una cierta propiedad.

Esta forma de demostración fue aplicada por Cantor para probar que el conjunto de los números reales es no numerable. El
esquema demostrativo parte de la hipótesis de que todos los números reales pueden ser enumerados y dispuestos en una sucesión,
y se construye luego un número real que no figura en tal sucesión. Salta una contradicción con la hipótesis inicial , que asumía
que todos los números reales estaban incluidos en la sucesión. De aquí que la hipótesis de la enumeración de los números reales
resulta absurda; de modo que hipótesis contraria, esto es, la proposición de Cantor de que el conjunto de los números reales no es
numerable queda probada.20

Demostración por exhaustividad

En la demostración por exhaustividad, la conclusión se establece al dividirla en un número finito de casos y probarlos cada uno
por separado. El número de casos a veces puede ser muy grande. Por ejemplo, la primera demostración del teorema de los cuatro
colores fue una demostración por exhaustividad con 1936 casos. Esta demostración fue controvertida pues la mayoría de los casos
fueron verificados con un programa de computador y no a mano. La demostración conocida más corta del teorema de los cuatro
colores fue de 2011 y todavía tiene más de 600 casos.

Demostración probabilística
Una demostración probabilística es una en la cual se muestra que un ejemplo existe, con certeza, usando métodos de la teoría 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 demostración. En el caso de la conjetura de Collatz está
claro que tan lejos está eso de ser una demostración genuina.21 La demostración probabilística, como la demostración por
construcción, es una de las muchas formas de demostrar teoremas de existencia.

Demostración por combinatoria

Una demostración por combinatoria establece la equivalencia de expresiones diferentes al mostrar que cuentan para el mismo
objeto en formas diferentes. A menudo se usa una biyección entre dos conjuntos para mostrar que las expresiones para sus dos
tamaños son iguales. Alternativamente, un argumento de doble conteo provee dos expresiones diferentes para el tamaño de un
solo conjunto, mostrando nuevamente que las dos expresiones son iguales.

Demostración no constructiva
Una demostración no constructiva establece que un objeto matemático con una cierta propiedad existe sin explicar como tal
objeto se puede encontrar. A menudo, estas toman la forma de una demostración por contradicción (reducción al absurdo)
probando que si una proposición no fuese cierta, entonces conduciría a una contradicción. En contraste, una demostración
constructiva establece que un objeto particular existe al proveer un método para encontrarlo.

Un ejemplo famoso de demostración no-constructiva muestra que existen dos números irracionales a y b tal que es un número
racional:

O bien es un número racional y acabamos (tómese ), o es

irracional por lo que podemos escribir y . Esto produce

, lo cual es un por tanto racional de la forma .

Pruebas estadísticas en matemáticas puras

La expresión «demostración estadística» puede ser usada técnica o coloquialmente en áreas de matemáticas puras, tales como las
que involucran criptografía, series caóticas y teoría de números probabilística o analítica.22 23 24 No es tan comúnmente usada
para referirse a una demostración matemática en el área de las matemáticas conocida como estadística matemática. Véase
también la sección inferior de «demostración estadística con el uso de datos».
Pruebas asistidas por computador
Hasta el siglo XX se asumía que cualquier demostración debía, en principio, ser revisada por un matemático competente para
confirmar su validez.7 De todas formas, los ordenadores se usan ahora para probar teoremas y para hacer cálculos que para un
humano o grupo de ellos serían muy largos de revisar; La primera demostración del teorema de los cuatro colores es un ejemplo
de una demostración asistida por ordenador. Algunos matemáticos están preocupados de que la posibilidad de un error en un
programa de computador o un error de ejecución en sus cálculos pueda afectar la validez de tales demostraciones asistidas por
computador. En la práctica las posibilidades de un error que invalide una demostración asistida por computador pueden reducirse
al incorporar redundancia y auto-revisiones en los cálculos, y al desarrollar enfoques y programas múltiples e independientes. Los
errores tampoco podrán ser totalmente superados en caso de la verificación humana de una demostración, especialmente si la
demostración contiene lenguaje natural y requiere un trasfondo matemático profundo.

Afirmaciones indecidibles
Una sentencia que no es demostrable ni positiva ni negativamente desde un conjunto de axiomas se llama indecidible (desde esos
axiomas). Un ejemplo es el postulado de las paralelas, el cual no es ni demostrable ni refutable desde los demás axiomas de la
geometría euclidiana.

Los matemáticos han mostrado que hay muchas sentencias que no son ni demostrables ni refutables en la teoría de conjuntos de
Zermelo-Fraenkel con el axioma de elección (ZFC), el sistema estándar de la teoría de conjuntos en matemáticas (asumiendo que
ZFC es consistente); véase la lista de sentencias indecidibles en ZFC.

El primer teorema de la incompletitud de Gödel muestra que muchos sistemas axiomáticos de interés matemático tendrán
sentencias indecidibles.

Matemática heurística y experimental

Mientras que los matemáticos tempranos como Eudoxo de Cnidus no usaban demostraciones, a partir de Euclides hasta los
desarrollos fundacionales de las matemáticas del tardío siglo XIX y XX, las demostraciones se convirtieron en una parte esencial
de las matemáticas.25 Con el incremento del poder computacional en los años sesenta, en la matemática experimental se empezó
a realizar un trabajo significativo investigando objetos matemáticos fuera del marco de demostración-teorema.26 Los pioneros
tempranos de esos métodos pretendían que el trabajo finalmente se tradujera al clásico marco de trabajo demostración-teorema,
por ejemplo, el desarrollo temprano de la geometría fractal,27 el cual fue finalmente muy apreciado.

Conceptos relacionados

Demostración visual
A pesar de no ser una demostración formal, una demostración visual de un teorema matemático es a veces llamada una
«demostración sin palabras». La imagen de la izquierda mostrada abajo es un ejemplo de la histórica demostración visual del
Teorema de Pitágoras en el caso del triángulo de lados con medidas (3,4,5).
 Demostración visual para Demostración visual Una segunda
el triángulo de lados (3, animada del teorema de demostración animada
4, 5) tal como aparece Pitágoras por del teorema de
en el Chou Pei Suan reacomodación. Pitágoras.
Ching 500–200 BC.

Demostración elemental
Una demostración elemental es una demostración que solo usa técnicas básicas. El término se usa más específicamente en la
teoría de números para referirse a las demostraciones que no hacen uso del análisis complejo. Por algún tiempo se pensaba que
ciertos teoremas, como el teorema de los números primos, solo podría ser probado usando «matemáticas superiores». De todas
formas, al pasar al tiempo, muchos de esos resultados pudieron ser nuevamente probados usando solo técnicas elementales.

Demostración de dos columnas

Una forma particular de organizar una demostración, que usa dos columnas
paralelas, se usa a menudo en las clases de geometría elemental en los EEUU.28
La demostración se escribe como una serie de líneas en dos columnas. En cada
línea, la columna izquierda contiene una proposición, mientras que la columna
derecha contiene una corta explicación de como la proposición correspondiente
de la columna izquierda es o bien un axioma, una hipótesis, o puede ser derivada
lógicamente de las preposiciones anteriores. La columna izquierda es
típicamente llamada «Afirmaciones» y la derecha, «Razones».29

Uso coloquial de "demostración matemática"

Una demostración de dos columnas
La expresión «demostración matemática» es usada popularmente para referirse a publicada en 1913
usar métodos matemáticos o discutir apoyándose en objetos matemáticos
―como números―, para demostrar algo de la vida diaria, o cuando los datos
usados en una discusión son numéricos. A veces también significa «demostración estadística» (más abajo), especialmente cuando
se usa para discutir con datos.

Demostración estadística usando datos

La «demostración estadística» usando datos se refiere a la aplicación de la estadística, análisis de datos, o el análisis bayesiano
para inferir proposiciones concernientes a la probabilidad de datos. Mientras se usa una demostración matemática para establecer
teoremas en estadística, estas usualmente no son demostraciones matemáticas en sentido de que las asunciones de las que las
sentencias en probabilidad se derivan requieren evidencia empírica de afuera de las matemáticas para verificarse. En la Física, en
adición o métodos estadísticos, «demostración estadística» puede referirse a especializados métodos matemáticos de la física
aplicados a analizar datos en a experimentos en física de partículas o estudios observacionales en cosmología. «Demostración
estadística» también 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 análisis posterior.

Pruebas de lógica inductiva y el análisis bayesiano

Las demostraciones que usan lógica inductiva, mientras son consideradas matemáticas en la naturaleza, buscan establecer
proporciones con un grado de certeza, el cual actúa en forma similar a la probabilidad, y podría ser menos que una certeza. El
análisis bayesiano establece aserciones tal como el grado de creencia subjetiva de la persona. La lógica inductiva no debe ser
confundida con la inducción matemática.

Pruebas como objetos mentales

El psicologismo ve las demostraciones matemáticas como objetos psicológicos o mentales. Filósofos de la matemática, tales
como Leibniz, Gottlob Frege y Rudolf Carnap, intentaron desarrollar una semántica para lo que ellos consideraban era el lenguaje
del pensamiento, donde los estándares de la demostración matemática pudiesen ser aplicados a la ciencia empírica.

Influencias de los métodos matemáticos de demostración fuera de las matemáticas

Filósofos y matemáticos tales como Baruch Spinoza intentaron formular argumentos filosóficos en un estilo axiomático, donde
los estándares de la demostración matemática pudieran ser aplicados en la argumentación filosófica general. Otros filósofos y
matemáticos intentaron usar los estándares de la demostración matemática y la razón, sin empirismo, tales como el argumento del
cogito de Descartes.

Fin de una demostración

Algunas veces, la abreviación QED se escribe para indicar el fin de una demostración. Esta abreviación significa quod erat
demonstrandum, lo cual en latín quiere decir ‘lo que se quería demostrar’. Una alternativa más común es usar un cuadrado o un
rectángulo, tales como □ o ∎, conocidos como tombstone o halmos (por su epónimo Paul Halmos). A menudo, «lo que se quería
demostrar» se escribe verbalmente al escribir QED, □, o ∎ en una presentación oral sobre una pizarra.

Información adicional
Ejemplo de una demostración por contradicción Llamada también demostración al absurdo

Demostración de la afirmación

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:

Ax1.
Ax2. Si y , con a,b,c reales. Entonces

Asumidos ciertos estos axiomas podemos comenzar con nuestra demostración. Supongamos por un momento, contrariamente a lo
esperado que, y veamos que llegamos a una contradicción. Puesto que
 , aplicando el axioma Ax2 al multiplicar por 1 (que es menor que cero), tenemos
que
, lo cual es una contradicción.

Como nuestra hipótesis 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 contradicción es que efectivamente

Luego

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 se dice 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

; o bien ,

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

, Luego sumando (-1) a ambos lados

lo cual es una contradicción ya que .

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 , que es verdadero. En esta caso, la afirmación 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 conclusió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
Demostración

Debemos comprobar si la afirmación es cierta para , ya que la sumatoria parte desde .

Sea , entonces

y la afirmación es cierta para .

Supongamos ahora, que la afirmación es cierta para un fijo, y veamos que sucede para .
Por propiedad de las sumatorias tenemos que

como la afirmación es cierta para , tenemos que

ordenando

como es distinto de , podemos simplificar y

que es lo que queríamos demostrar.

Así, la afirmación también es verdadera para .

Luego, la afirmación es cierta para todo .

Razonamiento

El principio de Inducción dice que dada una afirmación , esta es cierta sólo si se cumple que

es cierta
Si es cierta, entonces también lo es.

Entonces, como nuestro es lo que queremos demostrar, debemos ver si es cierta para su primer término. En este caso para
.
Nótese 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 término. Como la afirmación se cumplía para , el paso siguiente era ver si, asumida cierta para , se cumplía para
. 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 , 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, concluimos que el primer miembro del lado izquierdo de nuestra ecuación, se puede
expresar como lo que queremos demostrar. Por lo tanto, concluimos que la afirmación es cierta para .

Definición formal En lógica matemática y en lógica proposicional, una demostración es una secuencia finita de fórmulas
lógicas bien formadas:

tales que cada Fi es o bien un axioma o bien un teorema que se deduce de dos fórmulas anteriores Fj y Fk (tales que j<i y k<i)
mediante una regla de deducción válida. Es decir,

Dada una demostración 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 fórmulas bien
formadas sintácticamente bien formadas.

Véase también
Belleza matemática
Demostración automática de teoremas
Demostración inválida
Lista de demostraciones incompletas
Lista de demostraciones largas
Lista de demostraciones matemáticas
Demostración no-constructiva
Demostración por intimidación
Lo que la tortuga le dijo a Aquiles

Referencias
1. Bill Casselman. «One of the Oldest Extant Diagrams from Euclid» (http://www.math.ubc.ca/~cass/Euclid/papyrus/
papyrus.html). University of British Columbia. Consultado el 26 de setiembre de 2008.
2. Edward. R. Scheinerman. Matemáticas discretas México D.F. (2001) ISBN 970-686-071-1
3. Cupillari, Antonella. The Nuts and Bolts of Proofs. Academic Press, 2001. Pág. 3.
4. Eric Gossett (2009). Discrete Mathematics with Proof (definition 3.1, pág. 86). John Wiley and Sons. ISBN 0-470-
45793-7
5. New Shorter Oxford English Dictionary. Oxford: Oxford University Press, 1993.
6. Hacking, Ian. The emergence of probability.
7. The History and Concept of Mathematical Proof (http://www.math.wustl.edu/~sk/eolss.pdf), Steven G. Krantz. 1.
February 5, 2007
8. Kneale, pág. 2
 9. Howard Eves (1990): An introduction to the history of mathematics, Saunders, ISBN 0-03-029558-0, pág. 141:
«No work, except The Bible, has been more widely used....».
10. Matvievskaya, Galina (1987), «The Theory of Quadratic Irrationals in Medieval Oriental Mathematics», Annals of
the New York Academy of Sciences 500: 253–277 [260], doi:10.1111/j.1749-6632.1987.tb37206.x (http://dx.doi.org/10.111
1%2Fj.1749-6632.1987.tb37206.x)
11. Eder, Michelle (2000), Views of Euclid's Parallel Postulate in Ancient Greece and in Medieval Islam (http://www.m
ath.rutgers.edu/~cherlin/History/Papers2000/eder.html), Rutgers University, consultado el 23 de enero de 2008
12. Buss, 1997, pág. 3
13. Bush- Obreanu. Introducción a la matemática superior, Editorial trillas, México D.F. (1968)
14. Cupillari, pág. 20.
15. Scheinerman., Op. cit.
16. Cupillari, pág. 46.
17. Examples of simple proofs by mathematical induction for all natural numbers (http://zimmer.csufresno.edu/~larryc/
proofs/proofs.mathinduction.html)
18. Proof by induction (http://www.warwick.ac.uk/AEAhelp/glossary/glossaryParser.php?glossaryFile=Proof%20by%2
0induction.htm)

Archivado (https://web.archive.org/web/20120218033011/http://www.warwick.ac.uk/AEAhelp/glossary/glossar
yParser.php?glossaryFile=Proof%20by%20induction.htm) el 18 de febrero de 2012 en la Wayback Machine.,
University of Warwick Glossary of Mathematical Terminology
19. S. M. Nikolski Elementos del análisis matemático Editorial Mir , Moscú (1984)
20. Courant- Robbins. ¿Qué es la matemática. Aguilar, Madrid (1979)
21. While most mathematicians do not think that probabilistic evidence ever counts as a genuine mathematical proof,
a few mathematicians and philosophers have argued that at least some types of probabilistic evidence (such as
Rabin's "probabilistic algorithm" for testing primality) are as good as genuine mathematical proofs. See, for
example, Davis, Philip J. (1972). "Fidelity in Mathematical Discourse: Is One and One Really Two?". In: American
Mathematical Monthly, 79: págs. 252-263. Fallis, Don (1997). "The Epistemic Status of Probabilistic Proof". In:
Journal of Philosophy, 94: págs. 165-186.
22. "in number theory and commutative algebra... in particular the statistical proof of the lemma". [1] (http://www.jstor.
org/pss/2686395)
23. "Whether constant π (i.e., pi) is normal is a confusing problem without any strict theoretical demonstration except
for some statistical proof" (derogatory use). [2] (http://www.springerlink.com/content/nj34v59p71m11125/)
24. "these observations suggest a statistical proof of Goldbach's conjecture with very quickly vanishing probability of
failure for large E" [3] (http://people.web.psi.ch/gassmann/eneseminare/abstracts/Goldbach1.pdf)
25. "What to do with the pictures? Two thoughts surfaced: the first was that they were unpublishable in the standard
way, there were no theorems only very suggestive pictures. They furnished convincing evidence for many
conjectures and lures to further exploration, but theorems were coins of the realm ant the conventions of that day
dictated that journals only published theorems", David Mumford, Caroline Series and David Wright, Indra's Pearls,
2002
26. "Mandelbrot, working at the IBM Research Laboratory, did some computer simulations for these sets on the
reasonable assumption that, if you wanted to prove something, it might be helpful to know the answer ahead of
time". «A Note on the History of Fractals» (https://web.archive.org/web/20090215114618/http://home.att.net/~frac
talia/history.htm).
27. «[…] brought home again to Benoit [Mandelbrot] that there was a “mathematics of the eye”, that visualization of a
problem was as valid a method as any for finding a solution. Amazingly, he found himself alone with this
conjecture. The teaching of mathematics in France was dominated by a handful of dogmatic mathematicians
hiding behind the pseudonym “Bourbaki”» (Nigel Lesmoir-Gordon: Introducing Fractal Geometry).
28. Patricio G. Herbst, Establishing a Custom of Proving in American School Geometry: Evolution of the Two-Column
Proof in the Early Twentieth Century, Educational Studies in Mathematics, Vol. 49, No. 3 (2002), págs. 283-312,
29. Carol Fisher: «Introduction to the two-column proof». (http://www.onemathematicalcat.org/Math/Geometry_obj/tw
o_column_proof.htm)

Fuentes
Pólya, G. (1954), Mathematics and Plausible Reasoning, Princeton University Press.
Fallis, Don (2002), «What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of
Mathematicians» (http://dlist.sir.arizona.edu/1581/), Logique et Analyse 45: 373-388.
Franklin, J.; Daoud, A. (2011), Proof in Mathematics: An Introduction (http://www.maths.unsw.edu.au/~jim/proofs.
html), Kew Books, ISBN 0-646-54509-4.
 Solow, D. (2004), How to Read and Do Proofs: An Introduction to Mathematical Thought Processes, Wiley,
ISBN 0-471-68058-3.
Velleman, D. (2006), How to Prove It: A Structured Approach, Cambridge University Press, ISBN 0-521-67599-5.

Enlaces externos
Wikcionario tiene definiciones y otra información sobre demostración.
Hazewinkel, Michiel, ed. (2001), «Proof theory» (http://www.encyclopediaofmath.org/index.php?title=p/p075430),
Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104
What are mathematical proofs and why they are important? (http://www.math.uconn.edu/~hurley/math315/proofg
oldberger.pdf)
2πix.com: Logic (https://web.archive.org/web/20120726135206/http://2piix.com/articles/title/Logic/) Part of a
series of articles covering mathematics and logic.
How To Write Proofs (http://zimmer.csufresno.edu/~larryc/proofs/proofs.html) by Larry W. Cusick
How to Write a Proof (http://research.microsoft.com/users/lamport/pubs/lamport-how-to-write.pdf) by Leslie
Lamport, and the motivation of proposing such a hierarchical proof style (http://research.microsoft.com/users/lam
port/pubs/pubs.html#lamport-how-to-write).
Proofs in Mathematics: Simple, Charming and Fallacious (http://www.cut-the-knot.org/proofs/index.shtml)
The Seventeen Provers of the World (http://www.cs.ru.nl/~freek/comparison/comparison.pdf), ed. by Freek
Wiedijk, foreword by Dana S. Scott, Lecture Notes in Computer Science 3600, Springer, 2006, ISBN 3-540-
30704-4. Contains formalized versions of the proof that is irrational in several automated proof systems.
What is Proof? (http://www.cut-the-knot.org/WhatIs/WhatIsProof.shtml) Thoughts on proofs and proving.
ProofWiki.org (https://www.proofwiki.org) A wiki compendium of mathematical proofs.
planetmath.org (http://planetmath.org) A wiki style encyclopedia of proofs
A lesson about proofs, in a course from Wikiversity
The role and function of proof (https://web.archive.org/web/20120227142751/http://mzone.mweb.co.za/residents/
profmd/proof.pdf) by Michael de Villiers
Developing understanding of different roles of proof (https://web.archive.org/web/20120227142804/http://mzone.
mweb.co.za/residents/profmd/profmat.pdf) by Michael de Villiers
Richard Hammack (2009): «Book of proof» (http://www.people.vcu.edu/~rhammack/BookOfProof/index.html)
(part of the Open Textbook Initiative; provides an introduction to mathematical proofs).

Obtenido de «https://es.wikipedia.org/w/index.php?title=Demostración_en_matemática&oldid=118131290»

Esta página se editó por última vez el 10 ago 2019 a las 00:59.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.