Académique Documents
Professionnel Documents
Culture Documents
Tipos de
Demostraciones
Nombre:
Diego Montenegro Ducaud
Denisse Orrego Astudillo
Grupo 7
Profesor:
Rubn Figueroa
Introduccin
Demostracin Directa
Demostracin Indirecta por contradiccin
Demostracin Indirecta por contra recproco
Demostracin Indirecta por exclusin para Teoremas.
Demostracin Directa
Teorema: Sea
xR x 0
Demostracin:
+
+ x=0 (x ) R
x R x R
/Axioma de Tricotoma
+
+ x =0 (x )(x ) R
xx R
2
+
2
2
+ x =0 x R
x2 R
/Multiplicar ( x) y (x ) R
x 2> 0 x 2=0
x2 0
x2 0
Demostracin:
Por axioma de existencia de neutro para la suma, sabemos que existe el elemento neutro.
Supongamos que hemos encontrado dos de ellos, y los llamaremos e 1 y e 2 , entonces:
x R :e 1+ x=x ( 1 )
x R :e 2+ x=x (2)
R , por lo que:
De (1)
e 1+ e2=e2
De (2)
e 2+ e1=e1
Resolviendo:
e 1=e 2+ e1
e 1+ e2
/ pero e 1+ e2=e2
e2
Luego, hemos llegado a la conclusin de que si existen dos neutros para la suma, entonces
son el mismo elemento.
Teorema: Si
p , q pertenecen a
+
R tales que
pq
p+ q
2
entonces
Demostraremos que
Sean
+ : p=q pq=
+
p , q R tal que
p=q / q
2
pq=q /
pq=q (1)
p+ q
2
p , q R
p=q , tenemos por una parte:
p q
p+ q
=q (2)
2
Igualando (1) y (2) tenemos:
p+ q
pq=
2
Luego
+ : p=q pq=
p+ q
2
p , q R
p+ q
pq
2
p , q R
+ : pq
x, y R
Demostracin:
Supongamos que
x1 R
xx1=1
tal que
Luego:
y= y1
1
/Axioma Neutro Multiplicativo y= y( xx )
1
/Axioma Inverso Multiplicativo y=( yx )x
1
Mult. y=( x y )x
/Axioma Asociatividad
1
/Axioma Conmutatividad Mult. y=0x
/Hiptesis
xy=0
y=x10
Anlogamente, si
1
y R tal que
xy=0 y 0
yy =1
Luego:
x=x1
1
/Axioma Neutro Multiplicativo x=x( yy )
1
/Axioma Inverso Multiplicativo x=( xy )y
/Axioma Asociatividad
1
Mult. x=0y
1
x= y 0
/Hiptesis
/Axioma Conmutatividad Mult.
xy=0
x=0
Hemos llegado a la conclusin que si uno de los dos nmeros no es cero, el otro
obligatoriamente, tiene que serlo:
x , y R : xy =0 x=0 y =0
Conclusiones