Axiomas de Congruencia

Estos axiomas son los que caracterizan a la relacin cuaternaria E de equidistancia.

La frmula , ) , ; , E a b c d se lee:
el punto a es al punto b como el punto c es al punto d o
el punto a esta tan lejos del punto b como el punto c lo est del punto d
Axioma C
1
: Si , ) , ; , E a a c d entonces c d = .
Axioma C
2
: , ) , ; , E a b b a .
Axioma C
3
: Si , ) , ; , E a b c d y , ) , ; , E a b p q entonces , ) , ; , E c d p q .
Teorema 1: , ) , ; , E a b a b .
Teorema 2: Si , ) , ; , E a b c d entonces , ) , ; , E c d a b .
Teorema 3: Si , ) , ; , E a b p q y , ) , ; , E p q r s entonces , ) , ; , E a b r s .
Teorema 4: Si , ) , ; , E a b c d entonces , ) , ; , E b a c d .
Teorema 5: Si , ) , ; , E a b c d entonces , ) , ; , E a b d c .
Congruencia de Segmentos
Definicin 1.1: Dados dos segmentos arbitrarios ab y cd decimos que ab es congruente con cd y escribiremos
ab cd = si y solo si vale , ) , ; , E a b c d .
Esto es: ab cd = si y solo si , ) , ; , E a b c d
Simbolizaremos con al conjunto de todos los segmentos.
Teorema 6: La relacin de congruencia definida sobre es una relacin de equivalencia.
Definicin 1.2: Dadas las figuras
1 2
y F F diremos que
1
F es congruente con
2
F y escribiremos
1 2
F F = si existe una
funcin biyectiva
1 2
: f F F tal que para todo
1
, p q F se verifica que:
( ) ( ) pq f p f q =
1 2
F F = si y solo si ( ) ( ) pq f p f q = para todo , p q F
Entenderemos por figura a subconjuntos no vacos del plano.
Axioma C
4
: Si , )
1 1 1
I a b c y , )
2 2 2
I a b c ,
1 1 2 2
a b a b = ,
1 1 2 2
b c b c = entonces
1 1 2 2
a c a c = .
Axioma C
5
: Para cada semirrecta A con origen en a y cada segmento pq existe un nico punto b A tal que
ab pq = .
Observacin: Dada una semirrecta A de origen a ; un segmento ab A _ y un punto r A , si se cumple ab ar =
entonces b r = .
En efecto: Sabemos qu ab ar = y ab ab = entonces por la unicidad de C
5
resulta b r = .
Axioma C
6
: Dadas las rectas
1 2
, L L y los puntos
1 1 1 1
, , a b c L y
1 1
d L ;
2 2 2 2
, , a b c L y
2 2
d L , )
1 1 1
I a b c ;
, )
2 2 2
I a b c ;
1 1 2 2
a b a b = ;
1 1 2 2
b c b c = ;
1 1 2 2
d a d a = y
1 1 2 2
d b d b = entonces
1 1 2 2
d c d c = .
Axioma C
7
: Sea W un semiplano con frontera K , ab K y tringulo pqr , si ab pq = entonces existe un nico
punto c W tal que ac pr = y bc qr = .
Relaciones entre segmentos de dos rectas.
Teorema 7: Si , )
1 1 1
I a b c , , )
2 2 2
I a b c ,
1 1 2 2
a b d b = y
1 1 2 2
a c a c = entonces
1 1 2 2
b c b c = .
Teorema 8:
(I) Si
1 1 2 2
a c a c = entonces existe un punto , )
2 2 2 2
: b I a b c y
1 1 2 2
a b a b = y
1 1 2 2
b c b c = .
(II) Si
1 1 2 2
b c b c = entonces un punto , )
2 2 2 2
: a a b c ;
1 1 2 2
a b a b = y
1 1 2 2
a c a c = .
Teorema 9: Sea una semirrecta
1
A con origen
1
p y una semirrecta
2
A con origen
2
p , y los puntos
1 1 1
, a b A ;
2 2 2
, a b A tales que
1 1 2 2
p a p a = y
1 1 2 2
p b p b = .
Entonces:
(I)
1 1
a b = implica
2 2
a b =
(II) , )
1 1 1
I p a b implica , )
2 2 2
I p a b
Relaciones entre segmentos de dos planos
Teorema 10: Dadas las lneas
1
L y
2
L ; los puntos
1 1 1 1
, , a b c L ;
1 1
d L ;
2 2 2 2
, , a b c L ;
2 2
d L ; si
, ) , )
1 1 1 2 2 2
, I a b c I a b c ;
1 1 2 2
a b a b = ;
1 1 2 2
b c b c = ;
1 1 2 2
d a d a = y
1 1 2 2
d c d c = entonces
1 1 2 2
d b d b = .
Congruencia de ngulos
Definicin 1.3: Dadas dos ngulos:
1 1
AB con vrtice
1
p y
2 2
A B con vrtice
2
p diremos que estos ngulos son
congruentes, y simbolizaremos
1 1 2 2
AB A B = si existen los puntos
1 1
a A ,
1 1
b B ,
2 2
a A ,
2 2
b B tales que
1 1 2 2
p a p a = ,
1 1 2 2
p b p b = y
1 1 2 2
a b a b = .
Teorema 11: Dados los ngulos
1 1
AB con vrtice
1
p y
2 2
A B con vrtice
2
p ; si
1 1 2 2
AB A B = y para cada
1 1
c A ,
1 1
d B ,
2 2
c A ,
2 2
d B tales que
1 1 2 2
p c p c = ,
1 1 2 2
p d p d = entonces
1 1 2 2
c d c d = .
Teorema 12: La relacin de congruencia definida sobre el conjunto de los ngulos es una relacin de equivalencia.
Teorema 13: Para cada semiplano W con frontera K y para cada semirrecta A con origen p , A K _ y para cada
ngulo CD existe una nica semirrecta B con origen p , A K _ y para cada ngulo CD existe una nica semirrecta
B con origen p , B W _ tal que AB CD = .
ngulos Adyacentes
Definicin 1.4: Diremos que dos ngulos son adyacentes si tienen un lado comn y los otros dos lados son semirrectas
complementarias.
Recordemos que AB es solo los lados.
As dado el ngulo AB tenemos que, AB es adyacente con BA
+
pues tienen una semirrecta comn B y los otros dos
lados: A y A
+
son semirrectas complementarias.
Teorema 14: Los ngulos adyacentes a ngulos congruentes son congruentes.
Teorema 15: Dados ngulos adyacentes
1 1
AB y
1 1
A B
+
, si tres semirrectas,
2 2
, A B y C pertenecientes al mismo haz
satisfacen las siguientes condiciones:
1 1 2 2
AB A B = ,
1 1 2
A B CB
+
= , , )
2 2
( ) I A L B C
entonces
2 2
A B y
2
CB son adyacentes, es decir
2
C A
+
=
ngulos verticales
Definicin 1.5: Decimos que dos ngulos son verticales, si los lados de uno de ellos son semirrectas complementarias de
los lados del otro.
AB y A B
+ +
son ngulos verticales, tambin son llamados ngulos opuestos por el vrtice.
Teorema 16: Los ngulos verticales son congruentes.
Relacin entre ngulos de dos semihaces
Teorema 17: Dados dos semihaces
i
con vrtice
i
p , las semirrectas , ,
i i i i
A B C y los puntos
i i
a A ,
i i
b B ,
i i
c C con 1, 2 i = si se verifica:
(i) , ) ( )
i i i
I AL B C
(ii)
1 1 2 2
AB A B = ,
1 1 2 2
BC B C =
(iii)
1 1 2 2
p a p a = ,
1 1 2 2
p b p b = ,
1 1 2 2
p c p c =
(iv) Si
1 1 1
, , a b c son colineales
entonces
2 2 2
, , a b c son colineales.
Teorema 18: Dados dos semi-haces
1
y
2
y las semirrectas
1 1 1 1
, , A B C y
2 2 2 2
, , A B C se verifican:
(i) , )
1 1 1
( ) I AL B C , , )
2 2 2
( ) I A L B C
(ii)
1 1 2 2
AB A B = y
1 1 2 2
BC B C =
(iii)
1 1 1
, , A B C son co-semi-axiales
entonces
2 2 2
, , A B C son co-semi-axiales.
Teorema 19: Dados dos semi-haces
1
y
2
y las semirrectas
1 1 1 1
, , A B C y
2 2 2 2
, , A B C tales que , )
1 1 1
I ABC y
, )
2 2 2
I A B C ; entonces:
(I) Si
1 1 2 2
AB A B = y
1 1 2 2
BC B C = entonces
1 1 2 2
AC AC = .
(II) Si
1 1 2 2
AB A B = y
1 1 2 2
AC AC = entonces
1 1 2 2
BC B C = .
Teorema 20: Dadas las semirrectas
1 1 1
, , A B C tales que , )
1 1 1
I ABC entonces:
(I) Si
1 1 2 2
AC AC = entonces existe una semirrecta
2
B tal que , )
2 2 2
I A B C ;
1 1 2 2
AB A B = y
1 1 2 2
BC B C = .
(II) Si
1 1 2 2
BC B C = entonces existe una semirrecta
2
A tal que , )
2 2 2
I A B C ;
1 1 2 2
AB A B = y
1 1 2 2
AC AC = .
Relacin entre lados y ngulos de dos tringulos
Teorema 21: Sean los tringulos
1 1 1 2 2 2
, a b c a b c ; si
1 1 2 2
a c a c = ;
1 1 2 2
a b a b = y
1 1 2 2
b c b c = ; entonces
1 2
a a = ;
1 2
b b = y
1 2
c c = .
Definicin 1.6: Diremos que dos tringulos son congruentes si sus lados respectivos son congruentes.
Teorema 22: Sean dos tringulos
1 1 1
a b c y
2 2 2
a b c :
(I) Si
1 1 2 2
a b a b = y
1 1 2 2
b c b c = ,
1 2
b b = entonces
1 1 2 2
a c a c = ,
1 2
a a = y
1 2
c c = .
(II) Si
1 1 2 2
a c a c = ,
1 2
a a = y
1 2
c c = entonces
1 1 2 2
a b a b = ,
1 1 2 2
b c b c = y
1 2
b b = .
Relacin entre lados y ngulos de un tringulo
Teorema 23: En un tringulo abc resulta que:
(I) Lados opuestos a ngulos congruentes son congruentes.
(II) ngulos opuestos a lados congruentes son congruentes.
Definicin 1.7: Un tringulo con dos lados congruentes se dice un tringulo issceles.
Definicin 1.8: Un tringulo que posea los tres lados congruentes se dice un tringulo equiltero.
Relacin menor que y mayor que entre segmentos
Definicin 1.9: Dados dos segmentos
1 1
a b y
2 2
a b diremos que
1 1
a b es menor que
2 2
a b y escribiremos
1 1
a b es menor
que
2 2
a b y escribiremos
1 1 2 2
a b a b < si existe un punto p tal que , )
2 2
I a pb y
1 1 2
a b a p = .
Es una relacin binaria definida sobre el conjunto de segmentos, no es relacin de orden.
Teorema 24: Dados dos segmentos
1 1
a b y
2 2
a b tales que
1 1 2 2
a b a b < entonces:
(I) Si
1 1
ab a b = entonces
2 2
ab a b < .
(II) Si
2 2
ab a b = entonces
1 1
a b ab < .
Teorema 25: Dados los segmentos
1 1
a b ;
2 2
a b ;
3 3
a b se cumple:
(I) Si
1 1 2 2
a b a b < entonces
2 2 1 1
a b a b <
(II) Si
1 1 2 2
a b a b < y
2 2 3 3
a b a b < entonces
1 1 3 3
a b a b <
Definicin 1.10: Diremos que el segmento
1 1
a b es mayor que el segmento
2 2
a b , y simbolizaremos
1 1 2 2
a b a b si se
verifica
2 2 1 1
a b a b < .
Tambin se verifica la ley de tricotoma para segmentos, esto es:
Teorema 26: Dados
1 1
a b ,
2 2
a b se verificar una y solo una de las siguientes relaciones:
1 1 2 2
a b a b < o
1 1 2 2
a b a b o
1 1 2 2
a b a b = .
Relacin menor que y mayor que para ngulos
Definicin 1.11: Sean los ngulos
1 1
AB y
2 2
A B diremos que
1 1
AB es menor que
2 2
A B , y lo simbolizaremos
1 1 2 2
AB A B < si existe una semirrecta C tal que: , )
2 2
I ACB y
1 1 2
AB AC = .
Teorema 27: Dados dos ngulos
1 1
AB ,
2 2
A B ; si
1 1 2 2
AB A B < entonces:
(I) Si
1 1
AB AB = entonces
2 2
AB A B <
(II) Si
2 2
AB A B = entonces
1 1
AB AB <
Teorema 28: Sean tres ngulos:
1 1
AB ,
2 2
A B ,
3 3
A B
(I) Si
1 1 2 2
AB A B < entonces
2 2 1 1
A B AB <
(II) Si
1 1 2 2
AB A B < y
2 2 3 3
A B A B < entonces
1 1 3 3
AB A B <