LA DEMOSTRACIÓN MATEMÁTICA

En matemáticas no se acepta una proposición como verdadera hasta que se construye su

demostración formal, aunque la proposición sea válida para un número finito de casos no significa
que sea válida para todo el universo, por ejemplo, la conjetura de Goldbach se ha verificado
utilizando computadoras para millones de casos, pero a pesar de ello no se acepta como verdadera.

Un método de demostración es un esquema argumentativo válido con fundamento lógico no

perteneciente en si a la matemática sino como elemento propio de una meta teoría. La validez de
la argumentación radica en la veracidad de las hipótesis consideradas para deducir una conclusión.

Los métodos de demostración estudiados aquí son:

1) Método de demostración directa

2) Método de demostración indirecta
3) Método de demostración por contraposición
4) Método de demostración por exclusión
5) Método de demostración por refutación

Métodos de demostración

Demostrar una proposición es establecer la verdad de ella usando los axiomas, definiciones,
proposiciones ya demostradas y las leyes de la lógica. Las proposiciones ya demostradas se llaman
teoremas.

Muchos teoremas en matemática son de la forma “si p entonces q”, donde p es la hipótesis y q la
tesis.

Existen diferentes métodos para demostrar una proposición.

1) Método de Demostración Directa.

Una proposición ha sido demostrada directamente, si para ello hemos usando el valor de verdad
definido en lógica. Esto es:

i. ~𝑝 es verdadera si y solamente si 𝑝 es falsa.

ii. 𝑝 ∨ 𝑞 es verdadera si y solamente si al menos una de ellas es verdadera.
iii. 𝑝 ∧ 𝑞 es verdadera si y solamente si ambas son verdaderas.
iv. 𝑝 ⇒ 𝑞 es verdadera si y solamente si no es el caso que 𝑝 sea verdadera y 𝑞 sea falsa.
v. 𝑝 ⟺ 𝑞 es verdadera si y solamente si ambas son verdaderas o ambas falsas.

Ejemplo 1: Demostrar que: [(𝑝 ⟹ 𝑞) ∧ (𝑞 ⟹ 𝑟)] ⟹ (𝑝 ⟹ 𝑟)

Hipótesis: (𝑝 ⟹ 𝑞) ∧ (𝑞 ⟹ 𝑟)
Tesis : (𝑝 ⟹ 𝑟)
Demostración:
𝐷𝑒𝑚: ) Si (𝑝 ⟹ 𝑞) es verdadera, entonces 𝑝 es verdadera o 𝑝 es falsa.
 Si 𝑝 es verdadera, necesariamente 𝑞 es verdadera y como (𝑞 ⟹ 𝑟) es
(i)
verdadera, necesariamente 𝑟 es verdadera. Luego (𝑝 ⟹ 𝑟) es verdadera.
(ii) Si 𝑝 es falsa, entonces (𝑝 ⟹ 𝑟) es verdadera, independiente del valor de 𝑟.
l.q.d.d.
2) Método de Demostración Indirecta.

Supondremos que (𝑝 ⟹ 𝑞) es falsa y combinaremos este supuesto con proposiciones ya conocidas

para llegar a una contradicción.

En la tautología: (𝑝 ⟹ 𝑞) ⟺ [(𝑝 ∧∼ 𝑞) ⟹ (𝑟 ∧∼ 𝑟)]

Notamos que (𝑟 ∧∼ 𝑟) es una contradicción, es decir, es una proposición falsa.

Esta tautología señala que para demostrar (𝑝 ⟹ 𝑞), basta con suponer (𝑝 ∧∼ 𝑞) como verdadera
y obtener como consecuencia una contradicción.

Por otra parte, (𝑝 ∧∼ 𝑞) ≡∼ (𝑝 ⟹ 𝑞), por lo tanto asumir que (𝑝 ∧∼ 𝑞) es verdadera es lo mismo
que suponer que la proposición (𝑝 ⟹ 𝑞) es falsa.

Ejemplo 2: Demuestre que la suma de los ángulos exteriores de un triángulo es igual a 4 rectos.

Hipótesis: Δ𝐴𝐵𝐶 cualquiera, 𝛿, 𝜀, 𝜃 medidas de los ángulos exteriores al Δ𝐴𝐵𝐶.

Tesis: 𝛿 + 𝜀 + 𝜃 = 4𝑟𝑒𝑐𝑡𝑜𝑠

Demostración indirecta:

𝐷𝑒𝑚: ) Supongamos que Δ𝐴𝐵𝐶 cualquiera y 𝛿, 𝜀, 𝜃 medidas de los ángulos exteriores al Δ𝐴𝐵𝐶 y
𝛿 + 𝜀 + 𝜃 ≠ 2𝑟𝑒𝑐𝑡𝑜𝑠. Supongamos 𝛿 + 𝜀 + 𝜃 < 4𝑟𝑒𝑐𝑡𝑜𝑠.

Si llamamos 𝛼, 𝛽, 𝛾 las medidas de los ángulos interiores del Δ𝐴𝐵𝐶 y asumimos que su suma es igual
a 2𝑟𝑒𝑐𝑡𝑜𝑠, se tiene:
 𝛿 =𝛽+𝛾
𝜀 =𝛼+𝛾
𝜃 = 𝛼+𝛽

Como 𝛿 + 𝜀 + 𝜃 < 4𝑟𝑒𝑐𝑡𝑜𝑠, entonces 2(𝛼 + 𝛽 + 𝛾) ≠ 4 𝑟𝑒𝑐𝑡𝑜𝑠, pero sabemos que:

𝛼 + 𝛽 + 𝛾 = 2𝑟𝑒𝑐𝑡𝑜𝑠, lo que es una contradicción.
l.q.d.d.

3) Método de Demostración por Contraposición (o Contra recíproco).

En la tautología: (𝑝 ⟹ 𝑞) ⟺ (∼ 𝑞 ⟹ ∼ 𝑝)

Por lo tanto (∼ 𝑞 ⟹ ∼ 𝑝) tiene el mismo valor de verdad que (𝑝 ⟹ 𝑞).

De manera que si (∼ 𝑞 ⟹ ∼ 𝑝) es verdadera, entonces también lo es (𝑝 ⟹ 𝑞).

Esto es, si al negar la tesis de la proposición (𝑝 ⟹ 𝑞) se obtiene como consecuencia la negación de

la hipótesis 𝑝, entonces la proposición (𝑝 ⟹ 𝑞) es verdadera.

Ejemplo 3: Demuestre que, si un par de rectas son cortadas por una secante de tal manera que los
ángulos alternos internos son iguales, entonces las rectas son paralelas.

Hipótesis: ℒ1 , ℒ2 son rectas y 𝒯 secante y 𝛼, 𝛽 ángulos alternos internos y 𝛼 = 𝛽.

Tesis: ℒ1 paralela a ℒ2

Demostración por contra reciproco:

𝐷𝑒𝑚: ) Supongamos ℒ1 no es paralela a ℒ2 , entonces ℒ1 y ℒ2 se cortan en un punto 𝑃.

El ángulo de medida 𝛽 es exterior al ΔMNP, entonces 𝛽 > 𝛼. Luego la hipótesis es falsa.

Por lo tanto se cumple que ℒ1 paralela a ℒ2 .

l.q.d.d.
4) Método de demostración por Exclusión.
La tautología (𝑝 ⟹ 𝑞) ⟺ (∼ 𝑝 ∨ 𝑞)

(𝑟 ⟹ (𝑝 ∨ 𝑞)) ≡ (∼ 𝑟 ∨ (𝑝 ∨ 𝑞))
≡ ((∼ 𝑟 ∨ 𝑝) ∨ 𝑞)
Entonces:
≡ (∼ (𝑟 ∧∼ 𝑝) ∨ 𝑞)
≡ ((𝑟 ∧∼ 𝑝) ⟹ 𝑞)

Por lo tanto, para demostrar teoremas de la forma (𝑟 ⟹ (𝑝 ∨ 𝑞)), basta demostrar que 𝑞 es
consecuencia de (𝑟 ∧∼ 𝑝) o bien que 𝑝 es consecuencia de (𝑟 ∧∼ 𝑞).
Ejemplo 4: Demuestre que: ∀ 𝑥 ∈ ℤ (𝑥 2 − 1 = 0 ⟹ (𝑥 = 1 ∨ 𝑥 = −1))

Demostración por Exclusión:

𝐷𝑒𝑚: ) Sea 𝑎 ∈ ℤ tal que 𝑎2 − 1 = 0 ∧ 𝑎 ≠ 1, entonces (𝑎 + 1)(𝑎 − 1) = 0 ∧ 𝑎 ≠ 1, luego

(𝑎 + 1) = 0 como (𝑎 − 1) = 0 ∧ (𝑎 − 1) ≠ 0.

Por lo tanto (𝑎 + 1) = 0, donde 𝑎 = −1.

Análogamente si 𝑎 ≠ −1 se tiene que 𝑎 = 1.

l.q.d.d.

5) Método de Refutación.

Si conocemos un teorema de forma 𝑝 ⟹ 𝑞 sólo sabemos que la proposición “𝑝 ⟹ 𝑞” es verdadera,

pero nada podemos asegurar de la proposición: “𝑞 ⟹ 𝑝” (esta proposición es la proposición
recíproca de 𝑝 ⟹ 𝑞).

Si se ha tratado inútilmente demostrar la proposición 𝑞 ⟹ 𝑝, se puede intentar su refutación. Hay

dos modos usuales de refutación:

(i) Refutación por Contradicción:

Supondremos que la proposición 𝑞 ⟹ 𝑝 es verdadera y, después, procedemos a sacar
conclusiones de ella. Si una de las conclusiones contradice alguna proposición conocida,
habremos demostrado que 𝑞 ⟹ 𝑝 es falsa.

(ii) Refutación por Contraejemplo:

Este método es efectivo cuando se trata de refutar el recíproco de proposiciones del
tipo: ∀𝑥 ∈ 𝐴: (𝑝(𝑥) ⟹ 𝑞(𝑥)).
Para ello usamos la tautología: (𝑝 ⟹ 𝑞) ⟺ (∼ 𝑞 ⟹ ∼ 𝑝)
Esto es:
∼ (∀ 𝑥 ∈ 𝐴 (𝑞(𝑥) ⟹ 𝑝(𝑥))) ⟺ ∃𝑥 ∈ 𝐴 (~(𝑞(𝑥) ⟹ 𝑝(𝑥)))
⟺ ∃ 𝑥 ∈ 𝐴 (𝑞(𝑥) ∧∼ 𝑝(𝑥))

Para demostrar que ∀ 𝑥 ∈ 𝐴 (𝑞(𝑥) ⟹ 𝑝(𝑥)) es falsa, buscamos 𝑎 ∈ 𝐴 tal que 𝑞(𝑎) es verdadera y
𝑝(𝑎) es falsa.

Ejemplo 5: La proposición : ∀ 𝑥 ∈ ℤ (𝑥 = 2 ⟹ 𝑥 2 = 4) es verdadera, pero su reciproca es falsa,

ya que: ∃(−2) ∈ ℤ ((−2)2 = 4 ∧ −2 ≠ 2).