Académique Documents
Professionnel Documents
Culture Documents
X
z
y
Z
z2
y B El tringulo rectngulo XYZ es issceles.
4
Si recuerdas los ejercicios que has hecho en el captulo 1 en el apartado Algo sobre la
proposicin Si A entonces B, cuando quieres probar que A implica B, puedes
suponer que A es verdadera y usar de alguna forma esta informacin para concluir que
B es verdadera.
z2
.
4
xy z 2
2
4
A3:
xy x 2 y 2
.
2
4
Uno de los problemas de este mtodo es que es tambin posible construir algunas
proposiciones carentes de utilidad, por ejemplo: El ngulo X es menor de 90.
Como no hay normas especficas para construir nuevas proposiciones, tengamos
presente que, en nuestro caso, el mtodo de demostracin directa est dirigido a probar
la proposicin B2: x y 0, que fue la ltima que dedujimos en el mtodo de
demostracin indirecta. El hecho de que B2 no contenga el nmero z es la razn por la
que hemos eliminado z2 de A1 y A2 para construir A3.
Continuando con el mtodo de demostracin directa, debes intentar volver a escribir A3
para que se parezca ms a B2. Por ejemplo
A4: x2 2xy y2 0, que factorizndola da A5: (x y)2 0.
Es interesante hacer notar que el mtodo de demostracin directa nos ha dado una
respuesta a la pregunta clave que habamos asociado con B2: Cmo puedo demostrar
que la diferencia de dos nmeros reales es cero?, que, en este caso, sera demostrando
que el cuadrado de su diferencia es cero.
Como ves, normalmente mezclamos los dos mtodos vistos. Un resumen de nuestra
demostracin podra ser:
Proposiciones
A: rea de XYZ es
A1:
Justificaciones
z2
4
Dado
xy z 2
2
4
rea
A2: x2 y2 z2
A3:
xy x y
2
4
2
base altura
2
Teorema de Pitgoras
2
De A2 y A1
A4: x2 2xy y2 0
A5: (x y)2 0
B2: x y 0.
B1 : x y
B: XYZ es issceles
De A3
Factorizando A4
De A5
De B2
De B1
Como te habrs dado cuenta, no es normal escribir todos estos pasos en una
demostracin; suelen aparecer versiones mucho ms condensadas. Por ejemplo, en
nuestro caso, aparecera algo as como
Demostracin. La hiptesis, junto al teorema de Pitgoras, nos lleva a x2 y2 2xy, de
donde (x y)2 0 y el tringulo es issceles como queramos probar.
2m
2m
2.
3.
La primera pregunta es, con mucho, la ms difcil de responder, porque no hay normas
especficas. Cada problema origina su propia contradiccin, hay normalmente que tener
creatividad, esfuerzo, persistencia ... y suerte para llegar a esa contradiccin.
7
Mtodo
Demostracin directa-indirecta
Supongo
A
Reduccin al absurdo
A y no B
Contraposicin
no B
10
directa
directa
directa
Concluyo
...
...
...
Indirecta
contradiccin
Indirecta
no A