D e m o s t r a c i n e n g e o m e t r a

La demost r aci n de l a val i dez de una pr oposi ci n a t r avs del

r azonami ent o se f undament a en ot r as pr oposi ci ones ya demost r adas, o
bi en, en ot r as pr oposi ci ones que si n haber si do demost r adas l as
acept amos como ver dader as.
Ei st en var i os mt odos de demost r aci n!
"t odo de super posi ci n,
"t odo di r ect o o deduct i vo y
"t odo i ndi r ect o por r educci n al absur do.

MTODO DE SUPERPOSI CI N
#onsi st e est e mt odo en col ocar una f i gur a sobr e ot r a y demost r ar por el
r azonami ent o que, dadas l as condi ci ones supuest as, as como l a ver dad de
ci er t as pr oposi ci ones pr evi ament e est abl eci das, l as dos f i gur as deben
coi nci di r en t odas sus par t es y ser por t ant o i gual es.

MTODO DI RECTO
$or demost r aci n di r ect a, ent endemos el encadenami ent o l gi co de l as
pr oposi ci ones, de maner a que, de l as hi pt esi s es posi bl e l l egar a l a t esi s.
La demost r aci n en geomet r a gener al ment e const a de!
a% &i gur a
b% 'i pt esi s
c% (esi s
d% )azonami ent o
e% #oncl usi n

a% La FI GURA i l ust r a l a pr oposi ci n que desea demost r ar y est *

const i t ui da por t r azos f undament al es y t r azos aui l i ar es que se i ndi can con
l neas no cont i nuas. La cl ar i dad de l a f i gur a ayuda a l a demost r aci n per o
de ni nguna maner a const i t uye l a demost r aci n.
b% La HI PTESI S es el supuest o que se acept a como ci er t o y que si r ve de
base par a el r azonami ent o.
c% La TESI S es l o que se desea demost r ar .
d% El RAZONAMI ENTO es el con+ unt o de af i r maci ones y r azones que en
or den l gi co r el aci onan l a hi pt esi s con l a t esi s y per mi t e l a deducci n de
st a a par t i r de l a hi pt esi s.
e% La CONCLUSI N es l a t esi s o pr oposi ci n deduci da medi ant e el
r azonami ent o.
, ndependi ent ement e del gr ado de di f i cul t ad que t enga l a demost r aci n de
una pr oposi ci n si empr e se l l evar * el cami no - hi pt esi s . t esi s- . Es
t ambi n muy conveni ent e pr ef i + ar un - $L/0 de desar r ol l o de l a
demost r aci n- con el ob+ et o de t ener cl ar o el cami no que a nuest r o + ui ci o
es el m*s conveni ent e par a l i gar l o que suponemos ci er t o 1 l a hi pt esi s%
con l o que deseamos demost r ar 1 l a t esi s% .

MTODO I NDI RECTO
El mt odo i ndi r ect o, t ambi n l l amado por r educci n al absur do, es un
encadenami ent o l gi co de pr oposi ci ones que par t en de 23$40E) #, E)(4
l o cont r ar i o de l o que se qui er e demost r ar 1 t esi s% y a par t i r de esa
suposi ci n l l egar a una cont r adi cci n, que hace evi dent e que l a suposi ci n
de que se par t i es f al sa y por l o t ant o, l o cont r ar i o 1 l o que se qui er e
demost r ar % es ver dader o.

)E#5 $)4#/. 2i dos pr oposi ci ones son t al es que l o que se supone en l a
una es l o que debe demost r ar se en l a ot r a, cada una de el l as se l l ama
pr oposi ci n r ec pr oca, o br evement e r ec pr oca, de l a ot r a.
2i es una pr oposi ci n se supone que /# 6 7#, y es pr eci so
demost r ar que / 6 7.
La pr oposi ci n r ec pr oca ser * suponer que /#6 7#
4bsr vese muy especi al ment e que - de que una pr oposi ci n sea ver dader a
no se si gue necesar i ament e que su r ec pr oca l o es- .
/s , de l a pr oposi ci n! - si dos *ngul os son r ect os, son i gual es- , su
r ec pr oca es! - si dos *ngul os son i gual es, son r ect os- , no necesar i ament e
es ci er t a.
EJEMPLO DE DEMOSTRACI N DI RECTA
(eor ema! Si dos ngul os son opuest os por el vr t i ce, ent onces, di chos
ngul os son congr uent es
Hi pt esi s: a y b son *ngul os opuest os por el vr t i ce.
Tesi s: a b
Demost !"i #:
Paso
$A% i m!
"i o#es
R!&o#e
s
a 8 c 6 9:;< $or ser a y c supl ement ar i os
= b 8 c 6 9:;< $or ser b y c supl ement ar i os
> a 8 c 6 b 8 c , gual ando 9% y =%
? a 6 b
2i a cant i dades i gual es se r est an cant i dades
i gual es, l os r esul t ados son i gual es