Escolar Documentos
Profissional Documentos
Cultura Documentos
Demostraciones
Teoremas de
Semiplano
Grupo n 2
Integrantes:
Valentina Abarca
Moiss Collio
Constanza Duarte
Camila Pealoza
Teorema 8 de semiplano
B K ( L , A ) K ( L , A )=K ( L , B)
Por demostrar:
i K ( L , A ) K ( L , B)
L,B
ii K ( L , A ) K
Demostracin
que xA
de donde x K (L , B )
K ( L , A ) K ( L, B)
x B
de donde obtenemos x K (L , A )
K ( L , A ) K ( L , B)
Teorema 9 de semiplanos
B K ( L , A ) C L s (C , B)K ( L, A )
Hiptesis: B K ( L , A ) C L
Tesis: s (C , B) K ( L , A )
Demostracin
i) X =B
ii) CX B
iii) CBX
ii) Si CX B entonces X L
L=
XB
X B / por def de
XA / por transitividad de
BX L=
B X / por def de
X B / por simetra de
XA / por transitividad de
Hiptesis: X , Y K ( L, A )
Tesis: XY K ( L , A )
Demostracin
AX / por simetra de
X Y /por simetra de
L=
XY / por def de
K ( L, A)
XY / por def de semiplano
Teorema 11 de semiplanos
( L , A ) XY
( X ,Y ) :[ X K ( L, A ) Y K L ]
Hiptesis: X K ( L , A ) Y K ( L , A )
Tesis: XY L
Demostracin
L X Y
XY
Suponer que / por def de
Y K ( L , A) Y A / por def de
semiplano
contradiccin
L
XY