UNIVERSIDAD DEL ATLNTICO

FACULTAD DE CIENCIAS BSICAS

DEPARTAMENTO DE MATEMTICAS
GEOMETRA 1.
01. DESARROLLO LGICO SISTEMTICO DE LA GEOMETRA.
Al principio, el hombre consider slo los problemas geomtricos concretos, que se presentaban en forma
individual y sin interconexiones con otros. Cuando la inteligencia humana fue capaz de abstraer de relaciones geomtricas concretas, una relacin abstracta general que contiene a la primera como un caso particular, la geometra adquiri el carcter de ciencia. Los problemas geomtricos pueden ser ordenados por
grupos que siguen un procedimiento general de solucin. Se llega pues a la nocin de una ley o regla geomtrica. Por ejemplo, cuando se comparan las longitudes de los recorridos circulares con los dimetros, se
llega a la ley que establece la razn de la circunferencia a su dimetro como una constante. Se ven los
principios de la geometra como una ciencia en las prcticas primitivas de la agrimensura egipcia; en efecto,
la palabra geometra significa medicin de tierra.
En toda la matemtica prehelnica no se encuentra un solo caso de lo que en la actualidad llamamos demostracin lgica. En lugar de un argumento general hay simplemente descripciones paso a paso de algn proceso aplicado a casos numricos particulares. Los resultados se hallan bsicamente en forma de tanteos.
Su desarrollo est formado por una coleccin de procedimientos empricos que dieron resultados aceptables para sus necesidades. Este razonamiento emprico puede describirse como la formulacin de las conclusiones que se basan en la experiencia y la observacin; contiene a menudo, manipulaciones de casos
especiales, observacin de coincidencias, empleo frecuente de la analoga y destellos de intuicin. Los griegos transformaron la geometra emprica de los antiguos egipcios o babilonios en lo que ahora podra llamarse geometra sistemtica o matemtica.
La geometra griega parece haber comenzado con el trabajo de Thales de Mileto, siglo VI a. de C. Es el
primer individuo conocido a quien se le asocia la utilizacin de mtodos deductivos en la geometra. El
trabajo deductivo tuvo su mximo desarrollo en Euclides.
En algn tiempo entre Thales en 600 a. de C. y Euclides en 300 a. de C. se desarroll la nocin de un discurso lgico como una sucesin de proposiciones obtenidas por razonamiento deductivo de un conjunto
de principios iniciales cuyas verdades sean aceptables o autoevidentes. Un argumento que se lleva a cabo
segn el plan anterior se dice actualmente que se desarrolla por axiomtica material. La contribucin
ms importante de la matemtica griega fue la formulacin del patrn de axiomtica material y la insistencia en que las matemticas deberan sistematizarse conforme a ese patrn.
Patrn de la axiomtica material.
La Geometra como toda teora matemtica consiste en un grupo de proposiciones o enunciados sobre
objetos matemticos y sus relaciones. Comprende:
a) Trminos primitivos: Se dan explicaciones iniciales, sugiriendo su significado. Para la geometra
Euclidiana, son el punto, la recta y el plano.
Idea de Punto: La huella que deja sobre la superficie de una hoja, la punta afilada de un lpiz.
Idea de recta: Un hilo tenso, sostenido con los dedos de las manos, que se extienda hacia las dos
direcciones.
Idea de plano: la superficie de una hoja, extendida en todas las direcciones.
b) Postulados o axiomas: Son enunciados o proposiciones relacionados con los trminos primitivos y
que son aceptados basados en las propiedades de las explicaciones iniciales. Un ejemplo, para la
geometra Euclidiana: Por dos puntos de un plano puede trazarse nicamente una recta.
c) Definiciones: Son descripciones de trminos usando los primitivos u otros ya definidos, para precisar su significado.
d) Teoremas: Son proposiciones o enunciados deducidos lgicamente de los axiomas.
e) Signos especiales para denotar a los objetos y sus relaciones. Ej.: x, P, ||, , .

.Desarrollo lgico sistmico de la Geometra.

En pocas ms recientes, el patrn de la axiomtica material ha sido generalizado para proporcionar una
forma ms abstracta del argumento conocido como axiomtica formal.
Como el razonamiento deductivo tiene la ventaja de que sus conclusiones son incuestionables si las premisas se aceptan, mientras que el procedimiento emprico siempre deja lugar a dudas, se podra proscribir
todo empirismo y toda experimentacin de la geometra. Esto sera un grave error, puesto que aunque en la
actualidad toda la geometra es completamente deductiva, es no menos cierto que los hechos geomtricos
significativos fueron hallados por medio de un trabajo emprico preliminar. Antes de que un principio geomtrico se pueda demostrar o refutar por deduccin, debe primero pensarse o conjeturarse; una conjetura
no es sino una suposicin hecha ms o menos plausible por intuicin, observacin, analoga, experimentacin o alguna otra forma de razonamiento emprico.
Para tener xito en geometra, se tiene que estar dispuesto a experimentar, dibujar y ensayar numerosas
figuras, para probar esto o aquello.
Una forma muy fructfera de hacer conjeturas geomtricas consiste en emplear la analo- ga, aunque muchas de ellas as hechas se han demostrado finalmente que son incorrectas. A propsito de esto se ilustra en
la historia la conjetura hecha por los babilonios para el volumen del tronco de pirmide, producto de la
altura por la mitad de la suma de las bases, la cual result incorrecta y que surgi de la analoga con la
frmula para hallar el rea de un trapecio construido al cortar la parte superior de un tringulo por una
paralela a uno de sus lados.
Para nuestro estudio posterior, asumimos el conocimiento de algunas ideas de las ya expuestas y en particular:
El significado de palabras relativas a teora de conjuntos.
Las figuras las consideraremos formadas por conjuntos de puntos con ciertas caractersticas.
Conjuntos numricos y propiedades de los nmeros Reales.
Mtodos de demostracin en Matemticas.
Revisemos algunos de estos conceptos:
ORDEN EN LA RECTA NUMRICA.
R
-5

Q
-4

P
-3

N
-2

A
-1

C D
1

EF

I
5

J
6

Los nmeros reales quedan ordenados mediante la relacin menor que. Las expresiones que utilizan el
smbolo <, se llaman desigualdades.
Propiedades del orden:
P1: Tricotoma. Para todo par de nmeros x, y se cumple una sola de las siguientes condiciones: x
< y, x = y, x > y.
P2: Transitividad. Si x < y y < z entonces x < z.
P3: Aditiva: Si a < b x y entonces a + x < b + y.
P4: Multiplicativa. Si x < y a > 0 entonces x a < y a.
PROPIEDADES DE LA RELACIN DE IGUALDAD EN LOS REALES.
P1: Reflexiva. Si a R entonces a = a
P2: Simtrica. Si a, b R y a = b entonces b = a
P3: Transitiva: Si a, b, c R y a = b b = c entonces a = c

.Desarrollo lgico sistmico de la Geometra.

PROPIEDADES DE LOS NMEROS REALES.

Si a, b, c son nmeros reales, se tienen las siguientes propiedades:
P1. Cerradura: a + b R y ab R.
P2. Conmutativa: a + b = b + a y ab = ba
P3. Asociativa: a + ( b + c ) = ( a + b ) + c y a ( bc ) = ( ab ) c
P4. Modulativa: ( 0 R )( a + 0 = 0 + a ) y ( 1 R )( a 1 = 1 a = a )
P5. Inversos: :( -a R )[ a + (-a) = (-a) + a = 0 ] y ( a-1 R )( a a-1 = a-1 a = 1 )
P6. Distributiva: a ( b + c ) = ab + ac
P7. Aditiva: Si a = b y c = d entonces a + c = b + d
P8. Multiplicativa: Si a = b y c = d entonces ac = bd
P9. El todo es mayor que las partes: Si a = b + c c > 0 entonces a > b
P10. Existencia de races cuadradas: Si x2 = a entonces x a , es decir, x a x a
Definicin. El valor absoluto de a, representado por | a |, es

a, si a 0
a
a, si a 0

ACTIVIDADES 1.
1. Indicar si cada uno de los siguientes enunciados es falso o verdadero:
a) Los nmeros negativos son nmeros Reales.
b) La recta de los nmeros Reales tiene al menos un extremo.
c) - x es un nmero negativo, para todo x.
d) Si x > y entonces y x > 0
2. Escribir los siguientes enunciados, utilizando los smbolos de ordenacin:
a) x es un nmero mayor que cero.
b) Y es un nmero entre 1 y 2
c) X es un nmero entre -1 y 2, inclusive.
d) K es un nmero positivo.
e) C no es un nmero negativo.
3. Escribir con palabras, los siguientes enunciados:
a) AB > CD b) m n
c) 11< 5 < 8
d) 2 k 2
e) x < 0
f) y 0
4. Cules enunciados son ciertos?

a)

16 4

b)

25 5

c) - 9 3

5. Si r y s son nmeros reales distintos de cero y r > s, indicar si los siguientes enunciados son ciertos (C)
para todo r y todo s; son ciertos para algunos (A) r y s solamente; o nunca (N) son ciertos:

a) s r

b) r - s 0

6. Hallar el valor de cada expresin:

a) | 5 |
b) | - 6 |

c)
c) - | - 6 |

r
1
s

d) s 2 r 2
d) | 2 | + ( - 2 )

7. Indicar cules de los siguientes enunciados son siempre ciertos:

a) | - 3 | = 3 b) | 3 | = 3
c) | 7 9 | = | 9 7 |
8. Completar:
a) Si k > 0 entonces | k | = ____
b) Si k < 0 entonces | k | = ____
c) Si k = 0 entonces | k | = ____

.Desarrollo lgico sistmico de la Geometra.

9. Considerar la recta y la circunferencia como dos conjuntos de puntos. Indicar cul es la interseccin en
cada figura.
A

B
(a)

L1

(b)

L2

(c)

L3

10. Cul es la interseccin del tringulo ABC con el segmento AB?

A
B

11. Si P = {x / x = 2n, n N}, I = {x / x = 2n + 1, n N}, describir:

a. La reunin de P con I
b. La interseccin de P con I
MTODOS DE DEMOSTRACIN EN MATEMTICAS.
Una demostracin es un razonamiento o conjunto de razonamientos para determinar la certeza de una proposicin. Mencionaremos los siguientes:
1) Mtodo directo: Consiste en demostrar proposiciones de la forma p q. La proposicin representada con la letra p es llamada hiptesis o datos conocidos y la representada con q, tesis (informacin a demostrar) o conclusin. Se siguen los siguientes pasos:
a. Se supone que la hiptesis es verdadera.
b. Se construye una cadena de proposiciones basadas en hechos conocidos (definiciones,
axiomas, proposiciones demostradas), que nos conduzcan de p hasta q. Esta cadena es de
la forma p p1, p1 p2, ..., pn q. Cuando se llega aqu, se concluye que q es verdadera.
Ejemplo:
Si a y b son nmeros pares entonces a + b es un nmero par.
Hiptesis: a y b son nmeros pares.
Tesis: a + b es un nmero par
Demostracin:
1. Si a y b son nmeros pares entonces a = 2n y b = 2m, n y m enteros.
2. Si a = 2n y b = 2m entonces a + b = 2n + 2m = 2( n + m )
3. Si a + b = 2( n + m ) entonces a + b es par.
Otra forma de presentar la demostracin, es:
Demostracin:
Proposiciones
Justificacin
1. a y b son pares
hiptesis
2. a = 2n y b = 2m
Definicin de nmero par
3. a + b = 2n + 2m
Ley de adicin.
4. a + b = 2( n + m )
Propiedad distributiva.
5. a + b es par
Definicin de nmero par.
2) Mtodo de Reduccin al absurdo (RAA). Consiste en que:
a. Se desea demostrar que una proposicin es verdadera.
b. Se supone que es falsa.
c. Nuestro supuesto, nos conduce a una conclusin que contradice algn dato conocido.
Por consiguiente, el supuesto no puede ser falso.
Ejemplo:
Si x2 es un nmero impar entonces x es un nmero impar.
Hiptesis: x2 es un nmero impar.
Tesis: x es un nmero impar.
Demostracin:
Proposiciones
Justificacin
1. x es un nmero impar es falso
supuesto
2. x es un nmero par es verdadero
negacin

.Desarrollo lgico sistmico de la Geometra.

3. x = 2n
definicin de nmero par.
4. x2 = 4n2
ley del producto.
5. x2 = 2( 2n2 )
propiedad asociativa
6. x2 es par
definicin de nmero par.
7. x2 es impar
hiptesis
Las lneas 6. y 7. son contradictorias.
3) Refutacin por contraejemplos: Se trata de mostrar que una proposicin dada es falsa, exhibiendo
casos en los cuales no se cumpla.
Ejemplo: Los nmeros 1, 2, 3, 4, 5, 6 son impares, es falsa ya que 2, 4 y 6 son pares.
ACTIVIDADES 2.
En el siguiente grupo de proposiciones, las letras DC significan dato conocido. Escribe encima de los puntos, la razn o justificacin por la cual se hace cada afirmacin.
1.

3.

5.

1. x = 3
DC
2. y = x + 4 DC
3. y = 3 + 4 .................
4. y = 7
...................
1. c = 4
DC
2. b = 2
DC
3. x = 2c + b
DC
4. x = 2(4) + 2 = 10
1. 2x + y = 12
2. x + y = 10
3. x y = - 10
4. 2x + y x y = 12 10
5. x = 2
6. 2 + y = 10
7. 2 + y = 2 + 8
8.
y=8

6.

C
1.
2.
2.
3.

b
E

a=h
b=b
a+b=h+b
CD = EF

2.

1. x = 3 DC
2. y = 3 DC
3. x = y ................

4.

1. x + y = 10 DC
2. 10 > y
..............
3. 10 > x
..

DC
DC
.................
................
...................
..................
...................
...................

h
D

DC
........................
........................
.......................

7. Escribe en los espacios la conclusin que se obtiene de la informacin dada, justificando la respuesta.
a. Si Juan y Ana tienen la misma estatura que Carmen entonces ...................
b. Si Luis y Diana tienen la misma edad hoy, su edad dentro de 5 aos es ......
c. Si Carlos y Mara tienen el mismo peso, al reducirlo 10 Kg, sus pesos son
8. Escribir las siguientes proposiciones en la forma Si... entonces...
a. Un cuadrado es un polgono.
b. Un ngulo obtuso tiene mayor tamao que un ngulo recto.
c. Un tringulo equiltero es aqul que tiene todos sus lados congruentes.
d. Las diagonales de un paralelogramo se bisecan.
e. Los ngulos con lados perpendiculares son congruentes.
f. Dos rectas son perpendiculares si se cruzan en ngulo recto.
g. B es el punto medio del segmento AC cuando AB = BC

.Desarrollo lgico sistmico de la Geometra.

9. Utilizar el mtodo directo para demostrar las siguientes proposiciones:

i.
Si a y b son nmeros pares entonces a + b es nmero par.
ii.
Si x es un nmero impar entonces x2 es impar.
iii.
La suma de dos enteros consecutivos es un entero impar.
iv.
Si 3x 6 = 9 entonces x = 5
10. Utilizar la refutacin por contradiccin para demostrar las siguientes proposiciones:
i. Si a es impar entonces a2 es impar.
ii. Si ab = 0 y a 0 entonces b = 0.
iii. Si x + 1 es impar entonces x es par.
iv. Si a2 es par entonces a es par.
v. Si a > 0 entonces

1
0
a

11. Hallar un contraejemplo para cada una de las siguientes proposiciones:

i. Todos los nmeros primos son impares.
ii. Si el producto de dos naturales es un nmero par entonces cada factor es un nmero par.
iii. Todo nmero elevado al cubo es positivo.
iv. La raz cuadrada positiva de un nmero natural es menor que este nmero.
Postulado de la regla. Se puede establecer una correspondencia entre los puntos de una recta y los nmeros Reales de modo que:

D
-4

C
-3

-2

-1

B
2

a) A cada punto de la recta le corresponda exactamente un nmero Real.

b) A cada nmero Real le corresponda exactamente un punto de la recta.
c) La distancia entre dos puntos cualesquiera es el valor absoluto de la diferencia de los correspondientes nmeros.
Definicin. La correspondencia descrita en el postulado de la regla, se denomina un sistema coordenada en
una dimensin. El nmero asociado a un punto, se llama su coordenada.
Postulado de la distancia. A cada par de puntos diferentes le corresponde un nico nmero positivo.
Definicin. La distancia entre dos puntos, es el nmero obtenido mediante el postulado de la distancia. Si P
y Q son dos puntos diferentes, indicamos su distancia por d(PQ) o PQ simplemente.
Ejemplo. Con relacin al dibujo anterior:

AB = | 4 - 1 | = | 1 - 4 | = 3
CB = | 4 - - ( - 2 ) | = | - 2 - 4 | = 6
DC = | - 4 - ( -2 ) | = | - 2 - (- 4 ) | = 2
ACTIVIDADES 3.
1. Teniendo en cuenta la figura, calcular el valor de AC si:

.A
a) AB = 6 cm y BC = 12 cm
b) AB = 6 m y BC = 12 m
c) AB = 6 km y BC = 12 km

.Desarrollo lgico sistmico de la Geometra.

2. Teniendo en cuenta la siguiente figura,

R
-5

Q
-4

P
-3

N
-2

Determinar las siguientes distancias:

a) AC
b) AD
c) EI
h) QN
j) AF
k) DJ

A
-1

d) PR
l) ND

C D
1

e) RI
m) PF

f) AN

EF

I
5

J
6

g) BH

3. Utilizar el postulado de la regla para hallar la distancia entre los pares de puntos cuyas coordenadas se
indican:
a) 0 y 8
f)

2 y

b) 8 y 0

g)

c) 0 y 8

3 y - 5

e)

d) - 5 y 7
h) x y y j) 2b y b

2 1
y
3 3

k) 0 y x

4. Si se utiliza una regla corriente para medir la distancia entre dos puntos marcados en una hoja de papel,
ser necesario colocar el cero de la regla en uno de los puntos? Explique.
5. Considerar un sistema de coordenadas sobre una recta. Supongamos que se le adiciona 3 a la coordenada
de cada punto y que esta nueva suma viene a ser el nuevo nmero asignado a cada punto.
a) Si la coordenada original de P era 5, cul ser su nueva coordenada?. Si la de Q era 2, cul es
su nueva coordenada?.
b) Si dos puntos de la recta tenan las coordenadas a y b, cules son sus nuevas coordenadas?
Postulado de colocacin de la regla. Dados dos puntos P y Q de una recta, se puede escoger el sistema de
coordenadas de modo que la coordenada de P sea cero y la de Q, positiva.

P
-1

Q
1

Definicin.
B est entre A y C si:

.A .B C.

a) A, B y C son puntos diferentes de una misma recta.

b) AB + BC = AC

. .B .A
C

ACTIVIDADES 4.
1. A, B y C son tres puntos de una recta. AC = BC = 5. La coordenada de C es 8 y la coordenada de A es
mayor que la de B. Cules son las coordenadas de A y de B?.
2. M, N, y P son tres puntos de una recta. MN = 7, NP = 9 y MP = 2. La coordenada de M es 3. Indicar
cules son las coordenadas de N y P si:
a) La coordenada de M es menor que la coordenada de N.
c) La coordenada de M es mayor que la coordenada de N.
3. Supongamos que R, S y T son tres puntos de una recta. Qu relacin debe existir entre RS, ST y RT, si
R est entre S y T?
4. P, Q, y R son tres puntos de una recta. Si PQ = 12, PR = 7 y QR = 5. Qu punto est entre los otros?

.Desarrollo lgico sistmico de la Geometra.

5. A, E y K son tres puntos de una recta. Las coordenadas de A y K son

Si AE = EK, cul es la coordenada de E?

2 y - 18 respectivamente.

Postulado de la recta. Dados dos puntos diferentes, A y B, hay exacta

mente una recta que los contiene.

La recta se representa con AB

Definicin. Dados dos puntos cualesquiera A y B, el segmento AB representado

por AB , es el conjunto de los puntos A y B y de todos los puntos que estn
entre ellos.
A y B se llaman extremos del segmento.

.
A

Definicin. El nmero AB es la longitud del segmento AB .

CD
son dos segmentos tales que AB = CD, sern congruentes, y escribimos AB CD .
Definicin. Dos segmentos son congruentes si tienen la misma longitud. Si AB y

Definicin.
Sean A y B dos puntos de una recta L. El rayo AB representado

por AB ,es la reunin de AB y todos los puntos X tales que B

est entre A y X. A es el extremo del rayo.
Si A

. . .
A

.B .X

est entre B y C ,

.A

AB es opuesto con AC .

Copia de segmentos.

ACTIVIDADES 5.
1. Sean P, Q, y R tres puntos de una recta. Cuntos segmentos determinan?.Cules son?.

____

____

AB BA ? Por qu?

2. a. Es
b. Es
c. Es

AB BA ? Por qu?

AB BA ? Por qu?

____

3. Es

AB AB ? Por qu?

4. Si

RS es opuesto a RT , cul de los puntos R, S, T est entre los otros dos?

5. Cul es la interseccin de

CD y DC ? Y la de CD y DC ?

.Desarrollo lgico sistmico de la Geometra.

6. Si A, B y C son tres puntos de una recta tales que AC + BC = AB, cul es la interseccin de

CB y BA ? DE AC y AB ? Y La de CA y CB ?
7. Para cada par de segmentos, escribe una proposicin usando los smbolos

H
L
B

K
J

a
b
8. Dados los segmentos
construir segmentos con longitud de:
i. 2a
c
ii. a + b
b
iii. b - a
9. Copia sobre un rayo los segmentos que forman al tringulo y comprueba si es
a
cierto que a + b = c

TEOREMA. Sea AB un rayo y x >0. Existe exactamente un punto P de AB tal que AP = x.

Demostracin.
Por el postulado de colocacin de la regla, se puede escoger un sistema coordenado tal que la coordenada
de A sea cero; la de B, r > 0

.A0

.Br

Sea P un punto con coordenada x > 0. P est en

Definicin.

AB por qu AP = | x 0| = x > 0

Un punto M se llama punto medio de

a) M est entre A y C.
b) AM = MC

AC si:

TEOREMA. Todo segmento tiene exactamente un punto medio.

Demostracin:
Hay que hallar un punto M tal que:
1) AM + MC = AC
2) AM = MC
Sustituyendo 2) en 1): 2AM = AC por lo que AM = AC/2

Por el teorema anterior, existe un punto M de

AC que est a AC/2 de A.

Definicin. Se dice que el punto medio de un segmento lo biseca.

.Desarrollo lgico sistmico de la Geometra.

10

ACTIVIDADES 6.

.S

1.

.
T

En ST , S, T y V son puntos distintos. Ser posible que ST = SV? Por qu?

2. P es un punto de una recta y n es un nmero positivo. Cuntos puntos de la recta estn a una distancia
n de P?
3. Supongamos que A, B y C son tres puntos de una recta. La coordenada de A es 0 y la de C es 6. Si B
____

es el punto medio de AC , cul es la coordenada de B?

4. P, Q, y R son tres puntos de una recta. Las coordenadas de P y Q son 2 y 8 respectivamente. Si R
____

biseca a

PQ , cul es la coordenada de R?
____

5. La coordenada de M, punto medio de AB , es 5. Si la coordenada de A es mayor que la coordenada de

B, y si MB = 9, cules son las coordenadas de A y de B?