Você está na página 1de 7

Universidad Metropolitana de Ciencias de la Educacin.

Facultad de Ciencias Bsicas.


Departamento de Matemticas.
Geometra Axiomtica.
Prof. Rubn Figueroa

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)

mbito: Espacio; axiomtica de Pash


Previo:
Definicin de semiplano
Definicin de relacin de equivalencia
Definicin de

Por demostrar:
i K ( L , A ) K ( L , B)

L,B
ii K ( L , A ) K

Demostracin

i) Sabemos que B K (L , A) ie K ( L , A )={B ( P A ) / AB }

sea x K (L , A ) de donde obtenemos por definicin de semiplano

que xA

luego como xA AB entonces xB , por transitividad

de donde x K (L , B )

K ( L , A ) K ( L, B)

ii) Sea x K ( L , B ) , de donde se obtiene por definicin de semiplano que

x B

luego como x B BA , entonces xA , por transitividad

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 )

mbito: Espacio; axiomtica de Pash


Previo:
Definicin de semiplano
Definicin de
Definicin de relacin de equivalencia

Hiptesis: B K ( L , A ) C L

Tesis: s (C , B) K ( L , A )

Demostracin

Sea X s( C , B) entonces se cumple que:

i) X =B

ii) CX B

iii) CBX

i) Si X =B entonces X K (L, A) por hiptesis

ii) Si CX B entonces X L
L=
XB

X B / por def de

Adems por hiptesis B A

XA / por transitividad de

X K ( L, A ) / por def de semiplano

iii) Si CBX entonces XL

BX L=

B X / por def de
X B / por simetra de

Adems por hiptesis B A

XA / por transitividad de

X K ( L, A ) / por def de semiplano


Teorema 10 de semiplanos
K ( L, A ) ]
( X ,Y ) :[ X ,Y K ( L , A ) XY

mbito: Espacio; axiomtica de Pash


Previo:
Definicin de semiplano
Definicin de
Definicin de relacin de equivalencia

Hiptesis: X , Y K ( L, A )

Tesis: XY K ( L , A )

Demostracin

Sabemos que X K ( L , A ) X A / por def de semiplano

AX / por simetra de

Y K ( L , A ) Y A / por def de semiplano

Como Y A A X Y X / por transitividad 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 ]

mbito: Espacio; axiomtica de Pash


Previo:
Definicin de semiplano
Definicin de


Hiptesis: X K ( L , A ) Y K ( L , A )

Tesis: XY L

Demostracin

L X Y
XY
Suponer que / por def de

Por hiptesis tenemos que X K ( L , A ) X A / por def de semiplano

Y K ( L , A) Y A / por def de
semiplano

Como X A Y A X Y , Lo que produce una

contradiccin
L
XY

Você também pode gostar