DEMOSTRACIONES DIRECTAS E INDIRECTAS

La demostracin de la validez de una proposicin a travs del razonamiento se

fundamenta en otras proposiciones ya demostradas, o bien, en otras proposiciones que
sin haber sido demostradas las aceptamos como verdaderas. Existen varios mtodos de
demostracin como lo son: El mtodo de demostracin directa e indirecta las cuales
vamos a estudiar a continuacin.

Demostracin Directa.

Para probar que A B (A implica a B)

Se parte " de A (es decir, se supone que la hiptesis A es cierta) y se llega" a B (se
demuestra entonces que la tesis B es cierta).

Pasos para la prueba de un teorema

1. Si el teorema no tiene la forma si entonces, debe ponerse en esta forma.
2. Dibjese y rotlese un diagrama para mostrar las condiciones del teorema.
3. Identificar hiptesis y tesis.
4. Analcese lo que se va a probar e idese un plan.
5. Formlese la prueba dando como razones definiciones, postulados o teoremas ya
probados.

Ejemplo 1.

Cuando A es congruente con B y B es congruente con C, tambin es verdadero

que A es congruente con C.

PRUEBA
Paso 1. Si A es congruente con B y B es congruente con C, entonces A es
congruente con C.
Paso 2. La grfica o diagrama.

Paso 3. Hiptesis:

AByBC

Tesis:

AC

Paso 4. Idese el plan,

Si se consideran los datos como proposiciones sobre medicin de ngulos, entonces se
puede usar la propiedad transitiva de los nmeros. Y por la definicin de los ngulos
congruentes se sabe que estos tienen igual medida.
Paso 5.
Ejemplo 2.

Si los puntos A, B, C y D estn sobre una recta de manera que B es el punto medio del
segmento AC y C es el punto medio del segmento BD, entonces
PRUEBA
Paso 1. El primer paso est contenido en la proposicin del teorema.
Paso 2.

Paso 3. Hiptesis: B es el punto medio del segmento AC

C es el punto medio del segmento BD

Tesis:
Paso 4. Idese el plan,
Se interpretar cada una de las proposiciones de los datos como una proposicion sobre la
congruencia de segmentos y se utilizar la propiedad transitiva.

Paso 5.

Ejemplo 3.

En un tringulo issceles, el segmento que va del ngulo diferente al punto medio del lado
opuesto forma un par de tringulos congruentes.
PRUEBA.
Paso 1.
Paso 2.

Paso 3.

Paso 4.
Idese un plan.
Se usar la informacin proporcionada, la definicin de punto medio, la propiedad reflexiva
y el postulado LLL de la congruencia.

Paso 5.
Ejemplo 4.

Dadas dos rectas y una secante si dos de sus ngulos alternos internos son congruentes
entonces las rectas son paralelas.
PRUEBA.
En la solucin de este ejercicio NO se resaltaron los pasos necesarios para su
demostracin.

Ejercicios:
A continuacion encontrars una serie de ejercicios que te ayudarn a afianzar el metodo
directo de demostracin.
En los ejercicios 1 a 3 se presenta un teorema de la forma si entonces. Hgase un dibujo
y establezca la hiptesis y la tesis usando el dibujo y sus nombres. Guate por el ejemplo:

2. Teorema. Si X e Y son los puntos medios de los lados de un triangulo, entonces XY es

igual a la mitad de la longitud del tercer lado.
3. Si AC = DF, BC = EF, B es un punto entre A y C, y E es un punto entre D y F, entonces
AB = DE
En los ejercicios 4 a 6, formlese de nuevo el teorema en la forma si entonces, dibjese
un diagrama y establezca la hiptesis. Guate por el ejemplo:

Ejemplo. Un tringulo equiltero es un tringulo issceles.

Solucin:
4. Dos rectas intersecantes forman dos pares de ngulos congruentes.

5. Dos rectas intersecantes que no sean perpendiculares forman un para de ngulos

obtusos.
6. La bisectriz de un ngulo de un tringulo equiltero es perpendicular al lado opuesto a
dicho ngulo
En los ejercicios 7 al 10, emplese la hiptesis y la tesis para hacer un dibujo. Luego
formlese un teorema general. Guate por el ejemplo:
Ejemplo:
 Demostracin Indirecta

La demostracin indirecta establece la verdad de una afirmacin demostrando la falsedad

de la afirmacin contraria.

Ejemplo 1.

Demostrar que hay infinitos nmeros primos (resultado de Euclides).

Supongamos que los nmeros primos no son infinitos. Entonces, seran finitos:
2, 3, 5, 7,... P
Siendo P el mayor de todos los nmeros primos.
Consideramos ahora el nmero H = (2357 ...P) + 1
H no es primo, pues es mayor que P. Entonces H debe tener algn divisor primo.
Pero si dividimos H por cualquiera de los nmeros primos, obtendremos resto 1, por la
forma en que se ha definido H.
hemos llegado a una contradiccin. Luego la afirmacin inicial es cierta.

En el anterior ejemplo, hemos demostrado un teorema combinando los dos mtodos:

demostracin indirecta y reduccin al absurdo. En efecto, para demostrar el teorema
hemos refutado su contrario. Y para refutar ste, de l hemos deducido una contradiccin.

Tambin es clebre la demostracin indirecta de Cantor para demostrar que el

conjunto de los nmeros reales no es numerable. Supone que todos los nmeros reales
pudieran ser dispuestos formando una sucesin:

r1 = N1, a1a2a3a4a5 ...

r2 = N2, b1b2b3b4b5 ...
r3 = N3, c1c2c3c4c5 ...
y, a partir de dicha sucesin, por un "proceso diagonal", construye un nmero

r = 0, a b c ...

donde a es una cifra distinta de a1, de 0 y de 9 (para evitar las ambigedades del tipo
0,999... = 1,000); b es una cifra distinta de b2, de 0 y de 9, y as sucesivamente.

Este nmero r difiere de r1 en la primera cifra decimal, difiere de r2 en la segunda cifra

decimal, y as sucesivamente. Por lo tanto, no puede estar en la sucesin, lo cual es
contradictorio con la hiptesis inicial. Luego R no es numerable.

Estos mtodos han encontrado la oposicin de algunos filsofos y lgicos (Intuicionismo,

Brouwer) que renuncian a las demostraciones por reduccin al absurdo y slo proponen
rdemostraciones por construccin. Kolmogorov prescindi del Principio del Tercio Excluso
(principio de no contradiccin) construyendo una Lgica No Aristotlica, de modo
semejante a la existencia de Geometras No Eucldeas.

En el terreno del aprendizaje, la objecin se formula as:

"Atendiendo a una demostracin de este tipo, debemos fijar constantemente nuestra

atencin sobre una hiptesis falsa que despus debemos olvidar, y no sobre el teorema
correcto que debemos retener".

En una demostracin constructiva se tiene un objeto tangible, mientras que en la

reduccin al absurdo slo se tiene una contradiccin.

La atencin a esta objecin nos lleva a reformular el problema para transformar la

demostracin indirecta en un razonamiento constructivo, pasando de un "problema por
demostrar" a un "problema por resolver".
Ejemplo 2.

En el caso de la infinitud de los nmeros primos, el nuevo problema sera"Dados los n

nmeros primos p1, p2, p3,... pn, encontrar un nuevo nmero primo pn+1diferente de todos
los nmeros primos dados".
El nmero p1p2 p3 ... pn+ 1, o bien es primo o contiene factores primos que han de ser
distintos de los n hallados previamente. Puesto que estos factores primos pueden hallarse
por ensayos directos, estamos seguros de que, en todo caso, hay al menos un nuevo
factor primo pn+1.

Procediendo de este modo se ve que la sucesin de los nmeros primos construibles

siempre puede ser ampliada y no tiene fin, sin necesidad de considerar situaciones
imposibles.

Ejemplo 3.