LA GEOMETRA ELEMENTAL DEL PLANO COMO SISTEMA AXIOMTICO

Recordamos que un sistema formal o lgico consta de:

Trminos indefinidos
Definiciones
Axiomas
Teoremas

Revisaremos la Geometra Elemental como un ejemplo de sistema formal.

Los trminos indefinidos de la Geometra Elemental son: Punto, recta y plano.

Se sabe que tanto la recta y como el plano son conjuntos de puntos.

Definicin: Llamamos espacio al conjunto de todos los puntos. El espacio es el

Conjunto Universal de esta teora.

Qu es realmente un punto o una recta o un plano? Puesto que son trminos

indefinidos, no hay una definicin para ellos, pero pueden caracterizarse mediante
propiedades o relaciones entre ellos que deben cumplir y que se establecen en los
axiomas.

Axioma 1.- a) Por dos puntos diferentes pasa una nica recta. Otra forma de
expresarlo es que dos puntos distintos determinan una nica recta.
b) Toda recta contiene al menos dos puntos diferentes.

Denotamos la recta que pasa por los puntos A y B como AB.

Definicin: Si tres o ms puntos pertenecen a una recta se dice que estn

alineados o que son colineales.
Note que dos puntos son siempre colineales. Por qu?

Axioma 2.- a) Por tres puntos no alineados pasa un nico plano. Otra forma de
expresarlo es diciendo que tres puntos no alineados determinan un plano.
b) Todo plano contiene al menos tres puntos no alineados.

Gua de Matemtica Bsica ________________________________________________________________ 1

Axioma 3.- Si dos puntos diferentes estn en un plano, la recta que ellos
determinan est totalmente contenida en el plano.

Axioma 4.- (Postulado de la regla) Entre la recta y el conjunto de los nmeros

reales existe una correspondencia biunvoca que preserva la distancia y el
orden.

El axioma anterior permite establecer coordenadas en la recta y en el plano. As

mismo podemos hablar de la distancia entre dos puntos A y B que denotamos por
AB o tambin por d(A, B). La correspondencia mencionada induce en la recta una
relacin de orden. Esta relacin de orden nos permite, para los puntos de una recta
cualquiera, hablar de estar entre, ser anterior (preceder), o seguir a y en
particular se puede definir segmento de extremos A y B, as como semirrecta de
origen A que contiene a B.

Definicin: Se define el segmento de extremos A y B como el conjunto de puntos

entre A y B adems de A y de B. Lo denotaremos AB. Tambin se denomina
segmento cerrado de extremos A y B.
B

AB = {A, B} U {P AB / A - P - B}.
A

A y B son los extremos del segmento.

Podemos hablar tambin del segmento abierto: (A, B) = {P AB / A - P - B}.

Es el conjunto de puntos entre A y B. Note que A y B siguen siendo los extremos aun cuando
no pertenezcan al segmento abierto. El segmento abierto no incluye a los extremos, mientras
que el cerrado s los incluye. Note que (A, B) = AB {A, B} y AB = (A, B) {A, B}

Definicin: Se llama longitud de un segmento a la distancia entre sus puntos extremos,

pertenezcan stos o no al segmento.

Si el segmento tiene extremos A y B denotaremos su longitud por AB.

Gua de Matemtica Bsica ________________________________________________________________ 2

Note que de acuerdo a la definicin anterior, el segmento abierto y el cerrado con los mismos
extremos tienen la misma longitud. Adems para nosotros segmento es sinnimo de segmento
cerrado.

Definicin: Se llaman segmentos congruentes aquellos que tienen la misma longitud.

Establecida la nocin de distancia es posible definir circunferencia.

Definicin: Se llama circunferencia de centro O y radio r (un nmero real

positivo) al conjunto de los puntos P del plano cuya distancia al punto O es r.
{P / PO = r} denota el plano

Observe que si en la definicin anterior se omite la palabra plano y en

consecuencia los puntos P pertenecen al espacio, entonces se obtendra una
esfera. Mientras que si ponemos {P / PO r} obtenemos el crculo.

En una recta un punto A cualquiera, junto con el orden, determinan dos subconjuntos muy
importantes: las semirrectas o rayos de origen A, que pueden ser abiertas o cerradas.

La semirrecta cerrada de origen A que contiene a B: Son todos los

Puntos P de la recta AB que, en el orden de la recta, siguen a A. B
A, ) = {P AB / A - B - P}. Tambin se denota por AB A

C
La semirrecta abierta de origen A que no contiene a B es el
Conjunto de puntos de la recta que en el orden de la recta, preceden a A.
(, A) = {P AB / A - C - P}.

La semirrecta cerrada tambin se llama rayo e incluye al punto A que es el origen del rayo o
semirrecta. La semirrecta abierta no incluye al punto origen. Ambos conjuntos son
complementarios en la recta.

Definicin: Se llama ngulo a la unin de dos semirrectas con origen comn o

dos segmentos con un extremo comn. El punto comn se llama vrtice.

B
C

1 A
A B
C
Gua de Matemtica Bsica ________________________________________________________________ 3
El ngulo se denota por BAC, en ese caso la letra central corresponde al vrtice.
Si no hay lugar a confusin de denota A para indicar el ngulo de vrtice A. Una
notacin muy cmoda y ms simple es 1 cuando no se presta a confusin.

Si las dos semirrectas coinciden el ngulo se llama nulo, si son diferentes y estn
incluidas en una misma recta el ngulo se llama llano.
Si s1 y s2 son semirrectas con origen A. Observe que, si s1 U s2 es una
semirrecta, entonces el ngulo se llama nulo y si s1 U s2 es una recta, entonces el
ngulo se dice llano.

Axioma 5 (Medidas de ngulos).- Asumiremos que a cada ngulo se le puede

asignar un nmero (su medida) y que dados dos ngulos con medidas y
(> ) se pueden construir ngulos con medidas + y -. La medida de un
ngulo llano es 180 o , segn el sistema utilizado. Indicaremos la medida de
los ngulos con letras griegas, as
mBAC) y decimos que es la medida del ngulo.

(Ver pg. 19 Postulado de adicin de ngulos).

Definicin: Diremos que dos ngulos son congruentes si tienen la misma
medida.

Notacin: Usaremos el smbolo para denotar la congruencia. As ABC D

se lee: el ngulo ABC es congruente al ngulo de vrtice D.

Ej. 1- Dados dos ngulos de medidas y explique un procedimiento para

construir con regla y comps ngulos con medidas la suma ( + y la diferencia
( - .

Dos rectas que se cortan forman varios ngulos. 4

1
De dos ngulos como 1 y 3 o 2 y 4 diremos que son 3 2
Opuestos por el vrtice.

Teorema 1- ngulos opuestos por el vrtice son congruentes.

Demostracin.- Veamos por ejemplo que 1 3 Para demostrar la afirmacin

basta observar que si es la medida de 1, la medida de 3 y la de 2,

Gua de Matemtica Bsica ________________________________________________________________ 4

entonces + = 180 y + = 180 luego + = + de donde se concluye que
=

Recordamos que dos ngulos se llaman complementarios si la suma de sus

medidas es 90 y se denominan suplementarios si la suma de sus medidas es
180.

Definicin: La bisectriz de un ngulo BAC es una semirrecta AD tal que BAD

DAC

Definir: ngulos adyacentes, ngulo recto. (Ver pg. 22 y 23 del Geltner )

Definicin: Rectas contenidas en un mismo plano son paralelas si no tienen

puntos en comn. Equivale a decir que son coplanarias y su interseccin es vaca.

Si dos rectas paralelas son cortadas por una transversal se forman, entre otros, los
ocho ngulos que se indican:

2 1
3 4

6 5
7 8
Figura 1

Los ngulos 1 y 5 se llaman correspondientes as como tambin 2 y 6, 3 y

7, adems de 4 y 8. (Ver definicin en la pg. 80 del Geltner)

Los ngulos 3 y 5 se llaman alternos internos. Tambin son alternos internos 4

y 6. Los ngulos1 y 7 se llaman alternos externos igual que 2 y 8. (Ver
definicin en la pg. 80 del Geltner)

Por comodidad y para abreviar nuestra exposicin adoptaremos como axioma que
en una situacin como la de la figura 1, dos ngulos correspondientes en particular
son congruentes.

Axioma 6 - Si dos rectas paralelas son cortadas por una transversal y los
ngulos que se forman se denotan como en la figura 1, entonces
asumiremos como cierto que 1 5

Gua de Matemtica Bsica ________________________________________________________________ 5

Teorema 2.- a) Si dos rectas paralelas son cortadas por una transversal, entonces
los ngulos alternos internos son congruentes.
b) Si dos rectas paralelas son cortadas por una transversal,
entonces los ngulos alternos externos son congruentes.
c) Dos ngulos correspondientes cualesquiera son congruentes.

Demostracin. a) Veamos por ejemplo que 3 5. Sabemos por el axioma 6

que:
1 5
Adems: 1 3 por ser opuestos por el vrtice (Teorema 1).
En consecuencia 3 5.
De forma anloga se prueban b) y c)

Teorema 3.- ngulos con lados respectivamente paralelos son o bien congruentes
o bien suplementarios.

Demostracin: Si la posicin relativa de los ngulos 1 y 2 fuese como se ve en

La figura, llamando 3 al ngulo que resulta de la
interseccin de un lado de 1 con otro de 2 se tiene
1 3
que ngulo 1 y el 3 son correspondientes, como
2
tambin lo son 2 y 3. De acuerdo con Teorema 2 c) se tiene que 1 3 y 2
3, por ser ngulos correspondientes entre paralelas. En consecuencia es 1 2.
Note que hay otros casos a considerar, por ejemplo si los ngulos no se intersecan
(dibuje este caso) se puede aplicar el argumento recin visto prolongando un lado.
Dibuje un caso en el los ngulos resulten suplementarios. Cmo sera la prueba en
este caso?

Axioma 7 (Postulado de Euclides).- Por un punto exterior a una recta existe una
nica paralela a ella.

El axioma de Euclides garantiza la existencia de paralelas a una recta dada por

cualquier punto que no pertenezca a la recta.

Teorema 4.- Si dos rectas son cortadas por una transversal y dos ngulos
correspondientes son congruentes, entonces las rectas son paralelas.
(demostracin indirecta)

Gua de Matemtica Bsica ________________________________________________________________ 6

 B C
Demostracin: Supongamos que BAC1, se
G
quiere ver que AC es paralela a EF. Si AC no es A

paralela a EF, por el Axioma 7 existe por el punto E 1 F

A una paralela a EF. Tracmosla y llammosla AG.
Puesto que AG y EF son paralelas, se tiene BAG 1 por el Axioma 6, con lo cual
se tiene que BAC BAG puesto que ambos ngulos son congruentes al 1. Ello
obliga a que mCAG = 0 y por lo tanto las rectas AC y AG deben coincidir contra la
suposicin de que son distintas.

Ej. 2.- Por un punto exterior a una recta construir la paralela a ella.( ver
construcciones elementales pg. 25 del Geltner)
Teorema 5- La suma de las medidas de los ngulos interiores de un tringulo es
igual a la medida de un ngulo llano.
C
1 2
Demostracin: Por C trazamos una paralela
a la recta por A y B (ello es posible por el
Axioma 7) Consideremos ahora los ngulos A B

1 y 2. Puesto que 1 y CAB son alternos

Internos resulta 1 CAB. De igual forma se tiene que 2 CBA y as tenemos
que mCAB + m ACB + m CBA = m1 + mACB + m2 = 180

Teorema 6- La suma de las medidas de dos ngulos interiores de un tringulo es

igual a la medida del suplemento del tercero.

Demostracin: Si el tringulo tiene vrtices A, B y C, por el teorema anterior se

tiene que: mA + mB + mC = 180. De aqu obtenemos que mA + mB =
180- mC y 180- mC es la medida del suplemento de C.

C
Este teorema resulta ms interesante referido a E

una figura. Observe que si prolongamos AB y por 2

1
B trazamos una paralela BE a AC tenemos: D
A B
CBD es el suplemento B, A 1 por ser ngulos
correspondientes entre las paralelas AC y BE y la transversal AB. Adems C 2
por ser alternos internos (cules paralelas y cul transversal?). Note adems que
m1 + m2 es la medida del suplemento de B y que mCBD = mA + mC.

Gua de Matemtica Bsica ________________________________________________________________ 7

Es fcil demostrar (basta trazar diagonales) los dos siguientes teoremas:

Teorema 7- La suma de los ngulos interiores de un cuadriltero es igual a la

suma de la medida de 2 llanos.

Teorema 8- La suma de los ngulos interiores de un polgono de n lados es igual a

la suma de la medida de (n-2) llanos.

Axioma 8.- Criterios de congruencia de tringulos

i) (LLLLLL) Primer criterio de congruencia de tringulos: Dos tringulos son
congruentes si tienen respectivamente congruentes sus tres lados.
ii) (LALLAL) Segundo criterio de congruencia de tringulos: Dos tringulos son
congruentes si tienen respectivamente congruentes dos lados y el ngulo
comprendido.
iii) (ALAALA) Tercer criterio de congruencia de tringulos: Dos tringulos son
congruentes si tienen respectivamente congruentes dos ngulos y el lado comn
a ellos.

Ej. 3.-a) Construir un tringulo conociendo los tres lados. Discutir.

b) Construir un tringulo conociendo dos lados y el ngulo comprendido.
c) Construir un tringulo conociendo un lado y los ngulos adyacentes. Discutir.

Con los axiomas y teoremas vistos se pueden demostrar, entre otros, los teoremas
que siguen y que dejamos como ejercicio

Teorema 9- En un tringulo issceles los ngulos formados por cada uno de los
lados iguales con la base son iguales.

Teorema 10- En un tringulo issceles la bisectriz del ngulo opuesto a la base,

corta a sta en su punto medio y es perpendicular a ella.

Gua de Matemtica Bsica ________________________________________________________________ 8

Teorema 11- Las bisectrices de ngulos adyacentes suplementarios son
perpendiculares.

Teorema 12- En todo tringulo issceles la bisectriz del ngulo exterior al ngulo
desigual es paralela a la base.

Teorema 13- Si el dimetro de una circunferencia corta a una cuerda (que no sea
dimetro) en su punto medio, entonces es perpendicular a sta.

Teorema 14- Las bisectrices de ngulos adyacentes suplementarios son

perpendiculares.

Teorema 15- En todo tringulo issceles la bisectriz del ngulo exterior al ngulo
desigual es paralela a la base.

Teorema 16- Las diagonales de un rombo son perpendiculares y se cortan en el

punto medio.

Definicin: Se llama mediatriz de un segmento al conjunto de puntos que

equidistan de sus extremos.

Teorema 16- La mediatriz de un segmento es la recta perpendicular al mismo en

su punto medio.

Ej. 4- a) Construir la mediatriz de un segmento.

b) Construir la bisectriz de un ngulo.

Teorema 17- Las tres mediatrices de los lados de un tringulo son concurrentes
(pasan por un mismo punto).

Semejanza de tringulos

Razones y proporciones

Gua de Matemtica Bsica ________________________________________________________________ 9

Definicin: Se llama razn al cociente de dos nmeros (o dos cantidades
expresadas en la misma unidad), en donde el denominador es diferente de cero.

Escribimos la razn como a/b, o tambin a : b, expresiones que slo tienen sentido
si b 0.

La razn es una forma de comparar dos nmeros o cantidades.

Note que distinguimos entre nmeros y cantidades. Aqu llamamos cantidad al

resultado de la medida de alguna magnitud y como tal vienen expresadas en
unidades. Por ejemplo si medimos una velocidad no tiene sentido decir que vale
5, pero s 5 Km/h. Note que 80 kilmetros por hora y 80 millas por hora
representan velocidades muy diferentes.

Ejemplo 1.- Halle la razn de a a b en los siguientes casos:

i) a = 12 y b = 3
ii) a = 12 cms y b = 4 m.

Solucin: En el caso i) = , luego la razn de a a b es 3 (a es el triple de b), mientras que la

razn de b a a es 1/3 (b es un tercio de a).

En el caso ii) como las cantidades a y b no estn expresadas en las mismas unidades, debemos
comenzar por expresar ambas cantidades en la misma unidad. Expresando todo en centmetros: A =
12 cm y b = 400 cm y a/b = 12/400 = 3/100 = 0.03. Note que si expresamos las cantidades en
metros tendremos a = 0.12 m y b = 4 m y la razn es la misma pues ahora a/b = 0.12/4 = 0.03.

Definicin: Se llama proporcin a la igualdad de dos razones.

En la proporcin , los trminos a y d se llaman extremos, mientras que b y c se
conocen como los medios. Tambin se dice que d es la cuarta proporcional de a, b
y c. Otra forma de escribir una proporcin es: a:b = c:d y en esta notacin resulta
claro el por qu de los trminos medios y extremos. Ya sea que la proporcin se

a c
escriba o de la forma a : b = c : d, la proporcin se lee a es a b como c es
b d
a d.

Gua de Matemtica Bsica ________________________________________________________________ 10

De las propiedades vistas de los nmeros reales pueden demostrarse fcilmente
(hacerlo como ejercicio) las siguientes afirmaciones:
a c b d
1.- Si , entonces (Invirtiendo ambas razones de una proporcin se
b d a c
obtiene otra proporcin)
a c
2.- Si , entonces a.d = b.c (El producto de medios es igual al producto de
b d
extremos)
a c a b
3.- Si , entonces (Intercambiando los medios, se obtiene otra
b d c d
proporcin)
a c ab cd
4.- Si , entonces
b d b d
a c ab cd
5.- Si , entonces
b d b d
a c a c ac ac
6.- Si , entonces
b d b d bd bd

a b
Definicin: En una proporcin , se dice que b es la media geomtrica de a y
b d
c.

Note que si b es la media geomtrica de a y c, entonces b 2 = a.c y recprocamente.

Observe tambin que si b es la media geomtrica de a y c, entonces b = a.c

Definicin: Dos pares de segmentos se dice que son proporcionales, si sus

longitudes forman una proporcin.

Definicin: Dos tringulos ABC y DEF son semejantes si sus ngulos

correspon-dientes son congruentes y sus lados correspondientes son
segmentos proporcionales.

Hablando informalmente, dos tringulos semejantes tienen la misma forma, pero

diferente tamao. En otras palabras se puede pasar de uno al otro mediante un
zoom o mediante un zoom y un giro.

Gua de Matemtica Bsica ________________________________________________________________ 11

La semejanza presupone, igual que en el caso de la congruencia, una
correspondencia uno a uno entre los vrtices del tringulo, la cual induce
naturalmente una correspondencia entre los lados y los ngulos.

Si la correspondencia entre vrtices es: A D, B E, C F, entonces

denotamos la semejanza por ABC DEF y recprocamente al escribir ABC
DEF, entendemos que la correspondencia entre vrtices es: A D, B E, C F.

Axioma 9. (AAAAAA) Si los tres ngulos de un tringulo son respectivamente

congruentes con los tres ngulos de otro, entonces los tringulos son
semejantes.
Observe que la semejanza de tringulos requiere dos condiciones: congruencia de
ngulos y proporcionalidad de lados. El axioma 8 nos permite afirmar la semejanza
de dos tringulos slo con la congruencia de sus ngulos. Ms an vale el siguiente

Teorema 19. (AAAA) Si dos ngulos de un tringulo son congruentes con dos
ngulos de otro, entonces los tringulos son semejantes.

Demostracin: Puesto que la suma de los ngulos internos de un tringulo es

180, la congruencia de dos ngulos implica la congruencia de los tres.
Supongamos que ABC y DEF tienen respectivamente congruentes dos ngulos,
por ejemplo A D y B E, debemos probar que C F. Sabemos por
teorema 5 que mA + mB + mC = 180 de donde se deduce despejando mC
= 180 - (mA + mB). Tambin es vlido que mD + mE + mF = 180, y de
igual forma tenemos mF = 180 - (mD + mE). Pero sabemos que A D y B
E lo cual significa que mA mD y mB mE. Podemos decir entonces:
mC = 180 - (mA + mB) = 180 - (mD + mE) = mF y as los tres ngulos
son congruentes y por el axioma 8 los tringulos son semejantes.

Teorema 20 En cualquier tringulo rectngulo, la altura a la hipotenusa forma dos

tringulos rectngulos que son semejantes entre s y cada uno semejante con el
tringulo original.
En la figura suponemos que ABC es recto en A y queremos demostrar que:

Gua de Matemtica Bsica ________________________________________________________________ 12

 C D
a) ABC y DBA son semejantes
b) ABC y DAC son semejantes
c) ABD y CAD son semejantes
A B

Demostracin: Puesto que AD es la altura, AD BD, luego mAEB = 90 y

entonces los tringulos ABC y DBA comparten el ngulo B y adems tienen un

ngulo recto. Puesto que tienen dos ngulos respectivamente congruentes, son

semejantes por el teorema 19. Queda as probado: a) ABC y DBA son

semejantes. De la misma forma se prueba b) ya que los tringulos ABC y DAC

tienen un ngulo recto y comparten el ngulo C. Para probar c) observamos que

ambos tringulos ABD y CAD tienen un ngulo recto y de acuerdo al teorema 19

bastar ver que tienen otro ngulo congruente para poder asegurar que son
semejantes.
Sabemos por el teorema 5 que mA + mB + mC = 180 y como A es recto,
mA =90. Sustituyendo en la igualdad anterior se tiene mC+ mB = 90.
Anlogamente en el tringulo ABD se verifica que mDAB + mB = 90. Igualando
las dos ltimas expresiones resulta: mC+ mB = mDAB + mB, de donde,
aplicando la propiedad cancelativa, tenemos que mDAB = mC y as DAB C y
al tener dos ngulos congruentes, ABD y CAD son semejantes.

Teorema 21. Si una recta es paralela a un lado de un tringulo y corta a los otros
dos lados en puntos distintos, entonces los divide en segmentos proporcionales

Podemos expresar este teorema en relacin a un dibujo de la siguiente forma:

Dado: ABC, DE // AB C

AD BE
Demostrar:
DC EC
Demostracin: Siendo DE // AB, los ngulos CDE
y A son correspondientes entre paralelas y por el
D E
Axioma 6 resulta CED A y como los tringulos
ABC y DEC comparten el ngulo C, resulta que
A B

Gua de Matemtica Bsica ________________________________________________________________ 13

ABC y DEC son semejantes y por definicin de semejanza sus lados son

AC BC
proporcionales. Podemos, pues, afirmar: . Puesto que D est entre A y C y
DC EC

AD DC BE EC
tambin E est entre B y C podemos escribir: de donde:
DC EC

AD DC BE EC DC EC AD BE
. Puesto que 1 , se tiene: que es
DC DC EC EC DC EC DC EC
precisamente lo que desebamos demostrar.

Esta relacin es muy importante y por las propiedades vistas de proporciones hay
otras relaciones que se deducen de sta. Por ejemplo si intercambiamos los medios

en la proporcin se tiene: AD DC y tomando inversos en la proporcin de la tesis

BE EC

DC EC
ser: . Verifique en la figura los correspondientes segmentos que resultan
AD BE
proporcionales en cada relacin.

En teorema anterior afirma que si una recta es paralela a un lado de un tringulo y

corta a los otros dos lados en puntos diferentes, entonces divide a los otros dos
lados en segmentos proporcionales. El enunciado recproco afirma bsicamente
que si una recta determina segmentos proporcionales en dos lados de un tringulo,
entonces es paralela al tercer lado. Ms precisamente, es cierto el teorema
siguiente:

Teorema 22. Si una recta corta a dos lados de un tringulo en puntos distintos y
divide a estos lados en segmentos proporcionales, entonces es paralela al tercer
lado. C

En referencia a una figura podemos establecer el teorema as:

AD BE
Dado: ABC,
DC EC D E

A B

Gua de Matemtica Bsica ________________________________________________________________ 14

Demostrar: DE // AB
F

Demostracin: Supongamos que se verifica la hiptesis y que DE no es paralela a

AB. Por el Axioma de Euclides por A pasa una paralela a DE y si no es la recta por A
y B, ser otra recta que pasa por A y corta BC en algn punto que llamaremos F. As

pues ser DE // AF. De acuerdo al teorema anterior: AD FE Pero por hiptesis

DC EC ..

sabemos que: AD BE

DC EC

y al ser en ambas proporciones tres trminos iguales debe ser igual el cuarto, luego
BE = FE, lo cual slo es posible si B = F y en consecuencia la recta por A y F
coincide con la que pasa por A y B lo cual lleva a que DE // AB.

Construccin Construye la cuarta proporcional de tres segmentos de recta dados.

Dados tres segmentos de longitudes AB = a, CD = b y EF= c, se pide construir un

segmento de longitud GH = d tal que: a c Para ello basta construir un ngulo

b d .
y copiar, en uno de los lados a partir del vrtice, un segmento de longitud a,
supongamos que este segmento es LM y a continuacin de ste se copia un
segmento de longitud b cuyos extremos sern M y N. Copiamos luego, sobre el otro
lado un segmento de longitud c con extremos L y O. A continuacin
P unimos M con
O y por N trazamos
NP paralela a MO. Hemos construido as el trin-
O
gulo NPL, en el cual MO corta a dos lados en
puntos distintos (M y O) y es paralela al tercer
L M N
lado. Por el teorema 21 tenemos:
NM OP ML OL
, tomando inversos tenemos: , luego OP es la cuarta
ML OL NM OP
proporcional de ML, NM y OL y d = OP es el cuarto proporcional buscado.

Gua de Matemtica Bsica ________________________________________________________________ 15

Ejercicio: Dados dos segmentos de longitudes a y b,
a) construir un segmento con longitud a.b
b) construir un segmento con longitud a/b

(Sugerencia: en la construccin anterior tomar como segmentos dados los de

longitudes a, b y 1 en un orden conveniente para cada caso)

Teorema 23 (Thales) Si tres o ms rectas paralelas son cortadas por dos

transversales, entonces los segmentos que se forman en una recta son
proporcionales a los segmentos correspondientes en la otra transversal.

En relacin a una figura podemos expresar el enunciado de la siguiente forma:

C F
Dado: AD // BE // CF

B E
AB DE
Demostrar:
BC EF
A D

Demostracin: Trazamos por A y F una recta auxiliar y sea G el punto de

interseccin de AF con BE. Aplicando el teorema 21 en
C el F
FG BC
tringulo CAF tenemos: .
GA AB B E
De igual forma, aplicando el mismo G
AG DE A D
teorema en ADF, se obtiene: .
GF EF
tomando inversos en la primera de las proporciones y observando que FG = GF y

AG AB
GA = AG tenemos: e igualando con la expresin anterior llegamos a
FG BC

AB DE
nuestra tesis: .
BC EF

Gua de Matemtica Bsica ________________________________________________________________ 16

 CONGRUENCIA DE TRINGULOS RECTNGULOS

Los criterios de congruencia vistos (establecidos en el Axioma 8) se aplican a

cualquier clase de tringulos. En general estos criterios afirman que establecida la
congruencia de tres elementos especficos (lados y/o ngulos) de dos tringulos, se
puede afirmar la congruencia de los dos tringulos. Se aplican esos criterios a
tringulos rectngulos? Por supuesto que s, pero al decir que un tringulo es
rectngulo ya damos por conocida la medida de uno de sus ngulos: el ngulo
recto. Es obvio si dos tringulos rectngulos tienen un ngulo agudo congruente,
entonces tienen el otro agudo tambin congruente, porque como la suma de las
medidas de sus tres ngulos es 180, la suma de sus ngulos agudos es 90, y si
uno de ellos mide , el otro medir 90- As pues si dos tringulos rectngulos
tienen congruentes un ngulo agudo, tendrn tambin congruente el otro ngulo
agudo. Esta es la clave de los dos teoremas que siguen.

Teorema 24 (CA=CA) Dos tringulos rectngulos que tienen respectivamente

congruentes un cateto y un ngulo agudo son congruentes.

Demostracin. Hay dos casos: i) que el ngulo agudo tenga por lado al cateto
dado o ii) que el cateto sea opuesto al ngulo agudo.
En el caso i) ambos tringulos tendrn respectivamente congruentes el cateto y los
dos ngulos adyacentes: el recto y el ngulo agudo y los tringulos resultan
congruentes por ALAALA. En el caso ii) ambos tringulos resultan congruentes por
la misma razn anterior, es decir ALAALA, y los ngulos respectivamente
congruentes son el recto y el ngulo agudo complementario del dado.

Otro teorema es el siguiente.

Teorema 25 (HA=HA) Si la hipotenusa y un ngulo agudo de un tringulo son

respectivamente congruentes con las partes correspondientes de otro tringulo,
entonces los tringulos son congruentes.

Gua de Matemtica Bsica ________________________________________________________________ 17

Demostracin. Tambin es consecuencia del criterio ALA ALA. Note que la
hipotenusa es lado de ambos ngulos agudos y puesto que el tringulo es
rectngulo, basta que dos ngulos agudos (uno en cada tringulo) sean
respectivamente congruentes para que lo sean los otros dos.

El criterio LAL nos permite afirmar la congruencia de dos tringulos conocidos dos
lados y el ngulo comprendido. En el caso de dos tringulos rectngulos, puesto el
ngulo recto de un tringulo es siempre congruente al ngulo recto del otro
tringulo ngulo el mencionado criterio no permite asegurar la congruencia de los
dos tringulos si los catetos de ambos tringulos son respectivamente
congruentes, tenemos pues el siguiente:

Teorema 26 (CC=CC) Si los dos cateos de un tringulo rectngulo son

respectivamente congruentes con las partes correspondientes de otro, entonces los
dos tringulos son congruentes.

Los teoremas antes mencionados, si bien tiles, son esencialmente casos

especiales de los criterios generales de congruencia de tringulos. Si quiere ver
alguna figura ilustrativa de los mismos puede ver la Presentacin N5. El siguiente
criterio requiere de una demostracin algo ms elaborada.

Teorema 27 (HC=HC) Si la hipotenusa y un cateto de un tringulo son

respectivamente congruentes con las partes correspondientes de otro, entonces los
dos tringulos son congruentes.
Podemos reescribir este teorema en relacin a una figura de la siguiente forma:
C

Dado: ABC rectngulo en A D F

DEF rectngulo en D
BC = EF, AC = DF

E
Demostrar: ABC DEF
A B

Gua de Matemtica Bsica ________________________________________________________________ 18

Demostracin: Para demostrarlo procedemos a construir un tringulo DGF
ABC, de la siguiente forma: Prolongamos el lado DE y elegimos G de modo que DG
= AB. Note que por hiptesis DF = AC y adems al ser recto el ngulo FDE, tambin
ser recto el ngulo FDG. En consecuencia resulta G
Por LAL que DGF ABC y por partes correspondientes se
tiene que GF = BC y B G. Pero por hiptesis BC = EF de
donde se concluye que GF = EF y as el tringulo EFG resulta
D F

issceles.
Puesto que en un tringulo issceles los ngulos en la base
son congruentes ser E G y como B G se tiene E
E B. Luego ABC y DEF tienen respectivamente congruentes la hipotenusa y
un ngulo agudo y por el Teorema 25 sern congruentes, que es lo que queramos
demostrar.

Gua de Matemtica Bsica ________________________________________________________________ 19