UNIVERSIDAD DE CONCEPCIN

CAMPUS LOS NGELES

DEPARTAMENTO DE CIENCIAS BSICAS

GEOMETRIA I 452482
RESUMEN.
La geometra deductiva formal que se presenta en este curso cumple con las siguientes condiciones:
1. Se debe enunciar explcitamente los trminos primitivos, que sirven de base para definir los otros
conceptos de la teora.
2. Se deben enunciar explcitamente las primeras proposiciones con ayuda de las cuales se propone
demostrar todas las dems. Estas proposiciones son los axiomas.
3. Que las relaciones establecidas entre los elementos sean nicamente relaciones lgicas, permaneciendo independiente del sentido concreto que pueda darse a los trminos.
4. Que en las demostraciones slo intervengan estas relaciones, lo que prohbe tomar prestado algo
a la consideracin de las figuras.

1.

Teora de la Demostracin

Todo razonamiento est basado en ciertos principios o axiomas lgicos que han sido considerados
como verdaderas leyes del pensamiento, estos son: el de IDENTIDAD, el de NO CONTRADICCIN, el
de TERCERO EXCLUDO, y el de RAZN SUFICIENTE. Los tres primeros fueron formulados por el
filsofo griego Aristteles y el ltimo por el gran pensador alemn Leibnitz. Son principios universales
y sirven de fundamento a las distintas operaciones lgicas, a los razonamientos y a las demostraciones.

1.1.

Principio de Identintidad

Todo concepto es igual a si mismo.

1.2.

Principio de no Contradiccin

Es imposible que algo sea y no sea al mismo tiempo y bajo la misma relacin.
Este principio establece que si hay dos proposiciones, de las cuales una afirma y la otra niega la
misma cosa, (proposiciones contradictorias), entonces no es posible que ambas sean verdaderas al mismo
tiempo.

1.3.

Principio del Tercero Excluido

Si dos proposiciones son contradictorias, una de ellas ha de ser forzosamente verdadera.

Segn este principio, cuando tenemos dos proposiciones que se contradicen, una de ellas es verdadera
si se demuestra que la otra es falsa, quedando excluida toda posibilidad de una tercera proposicin.

1.4.

Principio de Razn Suficiente

Toda proposicin debe tener una razn suficiente, es decir, una causa.
Este principio establece que son verdaderos aquellos conocimientos que podemos probar suficientemente basndonos en otros conocimientos reconocidos como verdaderos.

UNIVERSIDAD DE CONCEPCIN
CAMPUS LOS NGELES
DEPARTAMENTO DE CIENCIAS BSICAS

2.

La Geometra como Sistema Formal

La geometra como sistema formal puede ser fundamentada de distintas maneras, segn qu conceptos
se tomen como primitivos y cules sean los axiomas que se adopten para relacionar estos conceptos.
Los axiomas que se utilicen deben cumplir las siguientes condiciones:
1. Deben ser compatibles y no contradictorios
2. Deben ser integrales y completos, es decir, toda proposicin de la teora debe poder derivarse
lgicamente de stos.
3. Deben ser independientes entre si, o sea, ningn axioma puede derivarse de otro.

2.1.

Presentacin Axiomtica de la Geometra

Los trminos o nociones primitivas son los conceptos que sirven para iniciar el desarrollo de una
teora matemtica. De un modo intuitivo, podemos pensar que se trata de las palabras con las que se
inicia una de esas teoras.
La axiomatizacin de una teora requiere de un conjunto de nociones primitivas, es decir nociones
no definidas y un grupo de axiomas que describen las propiedades mnimas que deben satisfacer las
nociones primitivas. A partir de estos elementos, respetando las reglas de inferencia lgica, se deben
deducir todas las otras proposiciones que constituyen la teora. Es deseable que los axiomas y nociones
primitivas tengan un gran contenido intuitivo.

2.2.

Conceptos Elementales de Geometra segn la Presentacin de Euclides

Axiomas o Postulados
1. Trazar una lnea recta desde cualquier punto a cualquier otro punto.
2. Prolongar a una lnea recta cualquier segmento rectilneo.
3. Describir un crculo con cualquier centro y radio.
4. Todos los ngulos rectos son iguales entre s
5. Si una lnea recta que incide sobre dos lneas rectas dadas produce ngulos internos del mismo
lado menores que dos rectas, entonces esas dos lneas rectas, prolongadas indefinidamente, se
cruzarn por el lado en que los ngulos internos sean menores que dos rectas
Axiomas de igualdad
1. Cosas iguales a una misma cosa son iguales entre s.
2. Si a cosas iguales se aaden otras iguales, los resultados son iguales.
3. Si de cosas iguales se extraen iguales, los resultados son iguales.
4. Cosas que coinciden una con la otra son iguales.
5. El todo es mayor que sus partes.
Libro I: Definiciones Bsicas
1. Punto es lo que no tiene partes.
2. Lnea es lo que tiene longitud y no ancho.
2

UNIVERSIDAD DE CONCEPCIN
CAMPUS LOS NGELES
DEPARTAMENTO DE CIENCIAS BSICAS

3. Los extremos de una lnea son puntos.

4. Una lnea recta es una lnea tal que dados 2 puntos de ella, el segmento determinado por ella est
contenido en la recta.
5. Una superficie es lo que tiene ancho y largo solamente.
6. Los extremos de una superficie son lneas.
7. Una superficie plana es una superficie que contiene a todas sus rectas.
8. Un ngulo plano es la inclinacin de una recta respecto a otra en un plano, las rectas se cortan y
no coinciden.
9. Cuando las rectas que forman (contienen) el ngulo son rectas, el ngulo se llama rectilneo.
10. Cuando una recta levantada sobre otra forma ngulos adyacentes iguales, cada ngulo es recto, y
la lnea recta levantada se llama perpendicular a la recta sobre la cual se levant.
11. Un ngulo obtuso es un ngulo mayor que un ngulo recto.
12. Un ngulo agudo es un ngulo menor que un ngulo recto.
13. Frontera es el extremo de alguna cosa.
14. Una figura es lo que est contenido por una frontera o varias.
15. Un crculo es una figura plana contenida por una lnea tal que todas las rectas (segmentos) que
van desde esta lnea hasta un punto dentro de la figura son iguales entre ellas.
16. El punto en el interior se llama centro del crculo.
17. El dimetro de un crculo es cualquier segmento rectilneo que pasa por el centro y esta limitado
por puntos de la circunferencia del crculo. Tal segmento corta al crculo en dos.
18. Un semicrculo es la figura comprendida por el dimetro y la circunferencia cortada por l.
19. Figuras rectilneas son aquellas que estn contenidas por lneas rectas. Trilteras se llaman aquellas
contenidas por tres lneas rectas, cuadrilteras las contenidas por cuatro y multilteras aquellas
contenidas por ms de 4 lneas rectas.
20. Entre las figuras trilteras, un tringulo equiltero es el que tiene sus tres lados iguales, un
tringulo issceles es el que tiene solamente 2 lados iguales y tringulo escaleno es el que tiene
sus tres lados distintos.
21. Entre las figuras trilteras, un tringulo rectngulo es el que tiene un ngulo recto, un tringulo
obtusngulo es el que tiene un ngulo obtuso, y un tringulo agudngulo (acutngulo) es el que
tiene sus tres ngulos agudos.
22. Entre las figuras cuadrilteras, un cuadrado es el que tiene sus lados iguales y sus ngulos rectos.
Un rectngulo (oblongo) es el que tiene sus ngulos rectos, pero no es equiltero. Un rombo es
una figura equiltera, pero no tiene ngulos rectos y un romboide es el que tiene sus lados y
ngulos opuestos iguales, pero no es equiltero ni rectngulo. Todos los otros cuadrilteros se
llaman trapecios.
23. Son rectas paralelas las que, estando en el mismo plano y prolongadas indefinidamente en ambas
direcciones no se encuentran.

UNIVERSIDAD DE CONCEPCIN
CAMPUS LOS NGELES
DEPARTAMENTO DE CIENCIAS BSICAS

2.3.

Presentacin Axiomtica de Hilbert

Nociones primitivas : punto, recta, plano.

Relaciones entre estos elementos: incidencia, estar entre, igual (congruencia). Axiomas: En
esta presentacin, los axiomas estn agrupados segn su naturaleza, en cinco grupos.
I. Axiomas de incidencia.
II. Axiomas de orden.
III. Axiomas de congruencia.
IV. Axioma de las paralelas.
V. Axiomas de continuidad.
Aximas de Incidencia
I.1 Dos puntos pertenecen al menos a una recta. A una recta pertenecen al menos dos puntos.
I.2 Dos puntos cualesquiera pertenecen a una lnea recta.
I.3 Tres puntos que no pertenecen a una misma recta pertenecen al menos a un plano.
I.4 Tres puntos no colineales determinan un nico plano.
I.5 Si dos puntos de una recta pertenecen a un plano, todos los puntos de la recta pertenecen a un
mismo plano.
I.6 Si un punto pertenece a dos planos, existe al menos otro punto que pertenece a los dos planos.
I.7 Existen al menos cuatro puntos que no pertenecen a un mismo plano.
Axiomas de Orden
II.1 Si A, B, C, son puntos de una recta y si B est entre A y C, entonces B est entre C y A.
II.2 Si A, B, C son tres puntos diferentes de una recta, uno y slo uno de ellos est entre los otros
dos. Recprocamente: S uno de los rdenes: ABC, BCA, CAB es vlido para los puntos A, B,
C en una recta, entonces A, B, C son diferentes entre ellos. A, B y C en una recta, entonces A,
B y C son diferentes entre ellos.
a) Si A, B, C y D son puntos de una recta para la cual los rdenes ABC y BCD son vlidos,
se sigue que ABD es tambin vlido.
b) Si A, B , C y D son puntos de una recta para los cuales los rdenes ABC y ABD son
vlidos, entonces el orden BCD o BDC es vlido.
II.3 Si A y B son diferentes de la recta L, existe un punto D L , para el cual el orden ABD es
vlido.
a) Si A y B son puntos diferentes de la recta L, existe un punto C L para la cual el orden
ACB es vlido.
Axiomas de Congruencia
III.1 Igualdad de segmentos: Todo segmento AB es igual a si mismo: AB = AB y AB = BA . Si
AB es igual A0 B 0 , entonces A0 B 0 es igual a AB. Si AB es igual A0 B 0 y A0 B 0 es igual a A00 B 00 ,
entonces AB es igual a A00 B 00 .
4

UNIVERSIDAD DE CONCEPCIN
CAMPUS LOS NGELES
DEPARTAMENTO DE CIENCIAS BSICAS

III.2 Si A y B son puntos en una recta L y A0 es un punto en la recta L0 , entonces siempre es posible
encontrar sobre la recta L0 , a uno u otro lado de A0 un nico punto B 0 tal que AB = A0 B 0
III.3 Si los segmentos AB y BC sobre la recta L no tienen puntos comunes, y si A0 B 0 y B 0 C 0 sobre
la recta L0 no tienen puntos comunes, entonces se cumple que las igualdades AB = A0 B 0 y
BC = B 0 C 0 implican que AC = A0 C 0 .
Definicin 2.1. Sea P un plano y h,k dos semirrayos diferentes que parten de un punto O en P
y que pertenecen a rectas distintas. El sistema de estos semirrayos se llama ngulo y se designa
con el smbolo (h, k) o (k, h). Los semirrayos se llaman lados del ngulo y el punto O se llama
vrtice del ngulo. Se llama interior del ngulo la regin del plano tal que al unir dos puntos
cualesquiera de ella el segmento queda totalmente contenido en ella.
III.4 Dado un (h, k) en un plano P y una recta L0 en un plano P 0 en el cual se fija un lado de L0 y
h0 es un semirrayo de la recta L0 que parte de un punto O0 . Entonces, existe un nico semirrayo
k 0 de modo que el (h0 k 0 ) sea congruente con el (h, k) tal que los puntos interiores de (h0 k 0 ) se
encuentren en el lado de L0 . En smbolos: (h, k) = (h0 , k 0 ).
III.5 Si el (h, k) es congruente con el (h0 , k 0 ) y el (h0 , k 0 ) es congruente con el (h00 , k 00 ), entonces
el (h, k) es congruente con el (h00 k 00 ).
III.6 Si para los tringulos ABC y A0 B 0 C 0 valen las congruencias AB = A0 B 0 , AC = A0 C 0 y BAC =
B 0 A0 C 0 entonces tambin se tienen las congruencias ABC = A0 B 0 C 0 y ACB = A0 C 0 B 0 .
Axioma de Paralelismo
En un plano P , por un punto A fuera de una recta L se puede trazar una y slo una recta que no
corte a la recta L. Tal recta se llama la paralela con la recta L por el punto P .
Axioma de Arqumides
Dados dos puntos A y B sobre una recta L, siempre es posible construir una sucesin de puntos
A1 , A2 , . . . , An tales que A1 est entre A y B, A2 entre A1 y B, A3 entre A2 y B, etc. donde Ai Ai1
son segmentos iguales y An esta entre An1 y B.

3.

ngulos

Un ngulo es la porcin del plano comprendido entre dos semirectas que tienen el mismo origen.
Los ngulos se clasifican en agudos, recto, obtusos y llano.
Las rectas que forman un ngulo se llaman lados del ngulo. El punto comn de las rectas del
ngulo es el vrtice. Hay dos formas de denominar a los ngulos. Si no hay posibilidad de confusin,
un ngulo puede denotarse con la letra de su vrtice. Los ngulos Tambin pueden denominarse con
tres letras: la primera letra denota a un punto en un lado del ngulo; la segunda denota el vrtice del
ngulo; y la tercera denota a un punto en el otro del ngulo. En este sistema los ngulos de las figuras
pueden denominarse como ngulo ABC, ngulo DEF y ngulo JKL.

3.1.

Clasificacin de los ngulos

ngulo nulo, que es el ngulo definido por dos semirectas que coinciden.
ngulo recto, que es el ngulo convexo definido por dos semirectas perpendiculares.
ngulo llano, cuando las dos semirectas que lo definen tienen la misma direccin, aunque sentidos
opuestos.
ngulo completo, que es el ngulo que abarca todo el plano.
Los ngulos convexos siempre son menores que el ngulo llano.
5

UNIVERSIDAD DE CONCEPCIN
CAMPUS LOS NGELES
DEPARTAMENTO DE CIENCIAS BSICAS

Los ngulos cncavos por el contrario, son siempre mayores que el ngulo llano.
Se llaman ngulos agudos a los que son menores que un ngulo recto.
Se llaman ngulos obtusos a aquellos ngulos convexos (menores que un ngulo llano) que son
mayores que un ngulo recto.

4.

Circunferencia

Dado un punto fijo O, todos los puntos del plano que est a una distancia r al punto O constituyen
la lnea que llamaremos Circunferencia de Centro O y Radio r.
La lnea que llamamos circunferencia de centro O y radio r delimita una regin plana que llamaremos
CIRCULO de Centro O y Radio r. Podemos decir que el crculo es la unin de la circunferencia respectiva
y su interior.
Si unimos dos puntos A y B de la circunferencia, entonces determinaremos en el crculo correspondiente un trazo rectilneo que llamaremos cuerda AB.
Una cuerda mxima en la circunferencia es cualquiera que pasa por el centro y se conoce como
DIAMETRO. En la figura es el segmento P Q. Como la circunferencia es una curva cerrada podemos
preguntarnos por su permetro; es interesante expresar esa longitud usando como unidad el dimetro
de la circunferencia (d = 2r).
El cuociente entre la longitud de la circunferencia de radio r y su diametro es un numero distinto
de los que usamos diariamente: Es un numero trascendente denotado y es un caso especial de numero
irracional con valor 3,14159... El calculo de este numero ha ocupado muchas paginas en la historia de
las Matematicas.

5.

Tringulos, Poligonos y Poligonales

Hemos visto que los ngulos son partes del plano, comunes a dos semiplanos. Consideraremos ahora
qu ocurre si consideramos tres o ms semiplanos.
Sean A, B, C tres puntos cualesquiera no alineados. La recta AB determina dos semiplanos, en
uno de los cuales est C, anlogamente la recta BC determina un semiplano que contiene a A y la
recta AC un semiplano que contiene a B. Estos tres semiplanos contienen a los tres puntos A, B y C y
por lo tanto a los tres segmentos AB, BC, CA y a infinitos otros puntos. El conjunto de los puntos
comunes a los tres semiplanos se llama tringulo.
Definicin 5.1. Se llama tringulo de vrtices A, B y C, denotado por 4ABC, al conjunto de los
puntos comunes a los tres semiplanos determinados por las tres rectas que los unen y que contiene a los
tres vrtices.
Los segmentos AB, BC y CA determinados por cada par de vrtices se llaman lados del tringulo
y ellos forman el contorno del tringulo. Los dems puntos del tringulo se llaman puntos interiores.
Definicin 5.2. Se llama permetro del tringulo a la suma de los tres lados. Denotando a los lados BC,
CA y AB, por a, b y c respectivamente se tiene que el permetro que se denota por 2s, es 2s = a + b + c.
De la definicion de triangulo, resulta que el 4ABC, esta contenido en el angulo BAC y analogamente esta contenido en los angulos ABC y ACB. Luego, el triangulo puede definirse como la
parte comun a los tres angulos anteriores. Los angulos 4BAC, 4ABC y 4ACB se llaman angulos
interiores del triangulo y se denotan por letras griegas , y . Los angulos adyacentes a cada uno de
ellos, se llaman angulos exteriores.

UNIVERSIDAD DE CONCEPCIN
CAMPUS LOS NGELES
DEPARTAMENTO DE CIENCIAS BSICAS

5.1.

Clasificacin de los Tringulos

Definicin 5.3. Tringulo equiltero es el que tiene sus tres lados iguales. Tringulo issceles es un
tringulo que tiene dos lados iguales. Tringulo escaleno es el que tiene sus tres lados desiguales.
Definicin 5.4. Tringulo rectngulo es el que tiene un ngulo recto. Tringulo acutngulo es el que
tiene sus tres ngulos agudos. Tringulo obtusngulo es que tiene un ngulo obtuso.
Definicin 5.5. Sean A, B, C, . . . , H, K puntos dados, en un orden determinado, la linea quebrada
ABC . . . HK, formada por los segmentos AB, BC,. . . , HK, se llama lnea poligonal. Los puntos A, B,
C,. . . ,H,K son los vrtices y los segmentos AB, BC, . . . ,HK, son los lados.
El permetro es la suma de todos los lados. Cada ngulo formado por dos lados consecutivos es un
ngulo de la lnea poligonal.
Si el ltimo vrtice K es distinto del primero A, la lnea poligonal se llama poligonal abierta. Si el
vrtice K coincide con el vrtice A, la poligonal se dice cerrada.
Diremos que una poligonal, abierta o cerrada, es convexa si propongando uno cualquiera de sus
lados toda la poligonal queda en una misma regin del plano. En caso contrario la poligonal se llama
cncava.
Una lnea poligonal convexa slo puede ser cortada por una recta en dos puntos, pues si lo fuese en
tres M , N , P , el primero y el tercero estaran a distinto lado del segundo y por consiguiente el lado BC
no dejara toda la poligonal en la misma regin, como debiera suceder en la hiptesis de ser convexa.
Definicin 5.6. Dados n puntos en un plano A, B, C, . . . . , H, K, ordenados circularmente y tales
que no hayan tres cualesquiera en lnea recta, se llama polgono a la porcin del plano comprendida por
la lnea poligonal cerrada ABC. . . HK.
Los lados de esta poligonal son los lados del polgono y el conjunto de todos ellos es el contorno o
permetro del polgono. Los vrtices son los extremos comunes a dos lados. Los ngulos del polgono, son
los que los lados forman con cada vrtice y las diagonales son los segmentos que unen dos vrtices no
consecutivos. Los ngulos exteriores son los que forma en cada vrtice un de los lados y la prolongacin
del otro. Un polgono es convexo o cncavo, segn lo sea su contorno.
Definicin 5.7. Un polgono se llama equiltero si tiene todos sus lados iguales, y equingulo si
todos sus ngulos son iguales. Un polgono es regular si son iguales todos sus lados y sus ngulos. Dos
polgonos son iguales o congruentes cuando por movimientos pueden colocarse de modo que coincida
cada vrtice del primero con otro del segundo. Los polgonos reciben distintos nombres segn el nmero
de sus lados. El polgono de tres lados se llama tringulo, el de cuatro se llama cuadriltero. Los
dems nombres se forman con el nmero cardinal griego que indica el nmero de lados y seguido con la
terminacin gono, que quiere decir vrtice. As los polgonos de 5, 6, 7, 8, 9 ,10, etc., lados se llaman
pentgono, hexgono, heptgono, octgono, engono y decgono etc.

6.

Teoremas Referidos a Tringulos y Poligonales

Teorema 6.1. En un tringulo, a lados iguales se oponen ngulos iguales.

Corolario 6.2. Los ngulos de un tringulo equiltero son todos iguales entre si.
Teorema 6.3. En un tringulo, cada ngulo exterior es mayor que cada uno de los ngulos interiores
no adyacentes.
Corolario 6.4. En todo tringulo, la suma de dos ngulos interiores es menor que dos rectos.
Teorema 6.5. En un tringulo a dos lados desiguales se oponen ngulos desiguales, al mayor lado se
opone el ngulo mayor.

UNIVERSIDAD DE CONCEPCIN
CAMPUS LOS NGELES
DEPARTAMENTO DE CIENCIAS BSICAS

Teorema 6.6. En un tringulo, a ngulos iguales se oponen lados iguales.

Corolario 6.7. Si en un tringulo, los tres ngulos son iguales entonces es equiltero.
Teorema 6.8. En un tringulo a dos ngulos desiguales se oponen lados desiguales, al mayor ngulo
se opone el mayor lado.
Corolario 6.9. En un tringulo rectngulo, la hipotenusa es mayor que cada cateto.
Corolario 6.10. En un tringulo obtusngulo al mayor lado se opone el ngulo obtuso.
Teorema 6.11. En todo tringulo, la suma de dos lados es mayor que el tercero.
Corolario 6.12. En todo tringulo, un lado cualquiera es mayor que la diferencia de los otros dos.
Teorema 6.13. Si dos tringulos tienen dos lados respectivamente iguales y el ngulo comprendido
desigual, entonces a mayor ngulo se opone mayor lado.
Teorema 6.14. El segmento que une dos puntos cualesquiera es menor que cualquier poligonal que se
trace entre ellos.
Corolario 6.15. Toda lnea curva entre dos puntos, es mayor que el segmento que los une. El segmento
es el ms corto entre dos puntos.
Teorema 6.16. Toda lnea poligonal convexa es menor que cualquiera otra lnea envolvente que tiene
los mismos extremos.