UNIVERSIDAD DEL ZULIA

FACULTAD DE INGENIERIA
DEPARTAMENTO DE MATEMATICA
CATEDRA DE GEOMETRIA
CICLO BÁSICO

GEOMETRÍA MÉTRICA PLANA

TEMA 1
Nociones Básicas de Lógica y Geometría

Prof: JOHAN FEREIRA

Maracaibo, Octubre de 2011.

1
 GEOMETRÍA MÉTRICA PLANA

TEMA Nº 1. NOCIONES BÁSICAS DE LÓGICA y

GEOMETRÍA

Tema 1.1 Lógica

El término geometría se deriva de la palabra griega geo, que significa "Tierra", y

metron, que significa "medir". Los griegos tomaron la geometría de los egipcios

y la rehicieron comenzando con Thales de Mileto y Pitágoras y terminaron con

Euclides con su obra "Elementos". Arquímedes es quien trabaja con geometría

en el espacio.

1.1 Tópicos de Lógica.

NOCIONES SOBRE TEORÍA DE CONJUNTOS.

• El concepto de conjunto es fundamental en todas las ramas de

matemática. Intuitivamente, diremos que un conjunto es una recolección

de objetos bien definidos, que en general pueden ser de cualquier

naturaleza: personas, ríos, letras, números, puntos, etc. A tales objetos se

le llama elementos del conjunto. Se acostumbra denotar a los conjuntos

con letras mayúscula: A,B,Q, etc. No obstante, en geometría utilizaremos

la notación que corresponda al tipo de conjunto que en cada caso estemos

empleando.

• Los conjuntos pueden definirse por extensión, esto es, mencionando o

enumerando cada uno de sus elementos; o bien por compresión, que se

hace enunciando la o las propiedades que cumple sus elementos.

2
• Si x es un elemento del conjunto A diremos que x pertenece al conjunto

A y se denotará escribiendo x  A. Si por el contrario x no pertenece al

conjunto A escribiremos x  A.

• Los conjuntos pueden ser infinitos o finitos según tengan o no infinitos

elementos. Si conjunto no tiene elementos se dice que es un conjunto

vacío y se denota con el símbolo ø. Si A es un conjunto vacío,

escribiremos A= ø.

• Diremos que dos conjuntos son iguales si y sólo si tienen exactamente

los mismos elementos. Si los conjuntos A y B son iguales escribiremos

A=B.

• Subconjunto si todo elemento del conjunto A es también elemento del

conjunto B entonces diremos que A es un subconjunto B y escribiremos

A  B.

• Conjunto Universal Es aquel conjunto del cual todos los elementos que

se consideran dentro de cierta aplicación son subconjunto.

• Conjunto Disjuntos Son aquellos que no tienen elementos en común.

• Unión de Conjuntos La unión de dos conjuntos A y B es una operación

que da como resultado un nuevo conjunto formado por los elementos que

pertenecen a A, o a B, o ambos y se denota escribiendo A  B, que se

leerá "A unión B".

• Intersección de Conjuntos La intersección de dos conjuntos A y B es

una operación que da como resultado un nuevo conjunto formado por los

elementos que pertenecen a A, y que también pertenecen a B, y se

denota escribiendo A  B, que se leerá "A intersección B”.

3
EL CONJUNTO DE LOS NÚMEROS REALES

• Los números racionales son aquellos que pueden expresarse como el

cociente de dos números enteros. Su conjunto se representa con la letra

1 7 15
Q. Ejemplo: , , , 2.
3 9 64

• Los números irracionales son aquellos que no pueden expresarse como

el cociente de dos números enteros. Su conjunto se representa con la

letra I. Ejemplo: 2 , 3 ,  , e.

• El Conjunto de los números reales resulta de la unión del conjunto de los

números racionales con el de los números irracionales. Su conjunto se

representa con la letra  . Se tiene así que  = Q  I.

• Diremos que los números reales tiene la propiedad de ser un conjunto

completo. Esto permite establecer una correspondencia entre los

números reales y los puntos de una recta, de forma tal que a cada número

real le corresponde un único punto en la recta, y viceversa, a cada punto

de la recta le corresponde un número real, de modo que no existirán

números reales sin su correspondencia punto, ni puntos sin su

correspondencia número real.

TÓPICOS DE LÓGICA MATEMÁTICA

• Proposición es una oración gramatical que es falsa o que es verdadera,

pero no ambas cosas a la vez. Notación: se utiliza letra minúscula,

generalmente p, q, r, s, … Comentario: podemos distinguir si una oración

es una proposición cuando de ella se tiene sentido afirmar que es o bien

verdadera, o bien falsa.

Ejemplos:

La oración “San Francisco se encuentra en California”. (V).

4
 La oración “Todo número es impar”. (F).

• Negación de una proposición es una proposición que representa la

negación de la otra. Se denota anteponiendo el operador ~ a la

proposición; así la proposición ~ p (léase no p) es la negación de la

proposición p, y consecuentemente la proposición p es la negación de la

proposición ~ p. Si p es verdadera entonces ~ p es falsa; si p es falsa

entonces ~ p es verdadera.

• Implicación lógica es una proposición que establece una relación de

casualidad entre dos proposiciones. A la primera proposición se le llama

antecedente (o hipótesis) y a la segunda consecuente (tesis). Como

proposición que es, una implicación que puede ser falsa o verdadera y

podremos asegurar que es falsa sólo cuando se verifique que siendo

verdadera el antecedente ocurra que es falso el consecuente. Si

llamamos p al antecedente y q al consecuente, la implicación se escribirá

como p → q y se leerá "p implica a q”, o "si p, entonces q”, o "p es una

condición suficiente para q”, o "q es una condición necesaria para p”.

• Si p es el antecedente y q es consecuente, diremos también que

p → q es la implicación directa.

q → p es su recíproco.

~ p → ~ q es su contrario.

~ q → ~ p es su contra recíproco.

• El directo y contra recíproco son equivalentes lógicos, es decir, si uno es

verdadero el otro también lo es y si uno es falso el otro también es falso;

lo mismo ocurrirá con el recíproco y el contrario (son equivalentes lógicos).

Nótese que el contrario es el contra recíproco del reciproco. Debe tenerse

especial cuidado en que bien puede ocurrir que el directo (y por tanto el

5
 contra recíproco) sea verdadero y sin embargo el recíproco (y por tanto el

contrario) sea falso.

• Silogismo es una forma de razonamiento por la cual del contraste de dos

proposiciones o premisas se extrae una conclusión.

• Formas válidas de razonamiento si se tiene que p → q es verdadera,

disponemos entonces de dos formas válidas de razonamiento

a) Dada la implicación y conociendo que se cumple el antecedente,

concluir que se da el consecuente, lo cual se resume escribiendo

p→q

______

q

b) Dada la implicación y conociendo que no se cumple el consecuente,

concluir que no se da el antecedente, lo cual se resume escribiendo

p→q

~q

______

~ p

• Formas no válidas de razonamiento: ocurren cuando se altera la

secuencia de los silogismos anteriores. Aun si se tiene que p → q es

verdadera, puede llegarse a resultados erróneos cuando se emplea

alguna de las siguientes formas no válidas de razonamiento:

a) Dada la implicación, presumir que por darse el consecuente, no se da

el antecedente, lo cual se resume escribiendo:

p→q

6
 q

______

p

b) Dada la implicación, presumir que por no darse el antecedente, no se

da el consecuente, lo cual se resume escribiendo:

p→q

~p

_______

~q

• Puede formarse una proposición formada por el directo y el

recíproco simultáneamente llamada doble implicación, bicondicional o

equivalencia lógica, denotada por p  q, y que leeremos como "p si y

solo si q" o "p es una condición necesaria y suficiente para q". Tal

proposición afirma que se cumple tanto p → q como q → p por lo cual

cualquiera de las dos proposiciones (p ó q) puede tomarse como

antecedente y la otra como consecuente, de modo que da lo mismo

escribir p  q. Una doble implicación, bicondicional o equivalencia

lógica será verdadera sólo si se verifica que tanto el directo como el

recíproco son verdaderos.

Axiomas: son proposiciones que se aceptan sin demostración.

Ejemplo: Por dos puntos distintos pasa una y solo una recta.

Postulado: es una proposición no tan evidente como un axioma pero que

también se admite sin demostración.

7
TEOREMAS: son proposiciones cuya veracidad necesitan ser demostrada. La

demostración consta de un conjunto de razonamiento que conducen a la

evidencia de la verdad de la proposición. Un teorema consta de hipótesis y tesis.

Hipótesis: es una suposición siempre verdadera.

Tesis: es la conclusión que necesita ser demostrada.

Hipótesis - tesis  directo

Ejemplo: La suma de los ángulos interiores de un triángulo vale dos rectos.

Hipótesis: A, B y C son los ángulos interiores de triángulo.

Tesis: La suma de los A, B y C vale dos rectos.

Existen teoremas recíprocos

Teorema Recíproco: todo teorema tiene su reciproco. La hipótesis y la tesis del

recíproco son, respectivamente la tesis y la hipótesis del otro teorema que, en

este caso se llama teorema directo.

Tesis - hipótesis  recíproco.

Ejemplo. El recíproco del teorema: La suma de los ángulos interiores de un

triángulo es igual a dos rectos. Si la suma de los ángulos interiores de un

polígono vale dos rectos el polígono es un triángulo.

La hipótesis y la tesis del recíproco son:

Hipótesis: Tenemos un polígono cuyos ángulos interiores suman dos

rectos.

Tesis: El polígono es un triángulo.

No siempre los teoremas recíprocos son verdaderos, Ejemplo. Hay un

teorema que dice: Las diagonales de un cuadrado son iguales. Y su recíproco

dice: Si las diagonales de un paralelogramo son iguales la figura es un cuadrado.

8
Este recíproco es falso porque la figura puede ser un rectángulo que también sus

diagonales son iguales.

Corolario: es una proposición que se deduce de un teorema como

consecuencia del mismo.

Conjetura: Es una proposición de la cual no ha sido demostrada ni su veracidad

ni su falsedad.

Comentario: Los matemáticos constantemente se platean conjeturas a sí mismo

y a la comunidad de matemáticos; cuando una de ellas llega a demostrarse como

verdadera, se convierte en un teorema. En nuestro trabajo matemático, cuando

intentamos resolver un `problema, también podemos y debemos platearnos

conjeturas, de cuyo esclarecimiento va surgiendo la solución.

Método de Demostración

❖ Método Directo: se parte de la certeza supuesta de la hipótesis y se debe

llegar a probar la verdad de la tesis a través de razonamiento lógicos.

❖ Método Indirecto: consiste en negar la tesis y hallar una contradicción

con la hipótesis. A este método se le llama por reducción al absurdo.

PASOS TENTATIVOS PARA UNA DEMOSTRACIÓN.

1. Enunciado.

2. Figura alusiva al enunciado en lo posible.

3. Expresión de la hipótesis en los mismos términos de la figura.

4. Expresión de la tesis en los mismos términos de la figura.

5. Proposiciones y justificaciones.

6. Conclusión.

1.2 Conceptos Básicos.

Término Primitivo: es aquel que no se define.

9
TERMINOS INDEFINIDOS: son los términos raíces o bases de quienes se tiene

sola una noción intuitiva y que son la base para la formulación de los axiomas.

Los términos indefinidos a considerar son: punto, recta y plano.

Notaciones:

A, B, C, D, P, Q……. Puntos.
r, s, t, l, m, n ……….. Rectas.
 ,  ,  ……………….. Planos.

Nociones Básicas de Geometría

Geometría Es una ciencia que se ocupa del estudio de las figuras geométricas,

entendida éstas como conjunto de puntos, cualquier conjunto de puntos. Al

conjunto de todos los puntos lo llamamos Espacio. Se trata en este caso del

espacio euclidiano o espacio tridimensional, el cual comúnmente identificamos

con las dimensiones de largo, ancho y alto.

Distinguimos asimismo un subconjunto del espacio llamados Planos,

cumpliéndose que el espacio contiene infinitos planos y cada plano a su vez un

conjunto de infinitos puntos.

Finalmente, dentro de cada plano, distinguimos subconjuntos llamados Rectas,

teniendo cada plano infinitas rectas y a la vez cada recta infinitos puntos.

Axioma: Por dos puntos distintos pasa una y una sola recta.

Comentario En virtud de este axioma, podemos denotar a una recta, además

de cómo se indicó anteriormente, a través de dos de sus puntos y escribiremos


por ejemplo AB para denotar a la recta que pasa por los puntos A y B.

Figuras Geométricas es un conjunto cualquiera de puntos. Por extensión, el

conjunto vacío también es una figura geométrica.

10
Puntos Alineados: Los puntos que están sobre una recta se dice que están

alineados.

Rectas Secantes: Se dice que dos rectas distintas son secantes si y sólo si su

intersección es no vacía.

TEOREMA: Dos rectas distintas s y t no se cortan o se cortan en un punto.

Demostración:

Por reducción al absurdo:

Supongamos que s y t se corta en dos o más puntos

 Por dos puntos pasan 2 ó más rectas. Contradice al Axioma que dice por dos

puntos distintos pasa una y sola recta. Luego, s y t no se cortan o se cortan en

un punto.

AXIOMAS DE ORDEN Y SEPARACION.

Estos axiomas se refieren a la posición relativa de los puntos en una recta

y en el plano.

01.- Todo punto O situado en una recta, determina dos únicas regiones

de puntos llamadas SEMI-RECTAS.

Origen de
semirrectas

A O B

Semirrectas opuestas

Notación:
0A y 0B

Definición: Sean A, B y C tres puntos distintos de una recta  , se dice que B

está entre A y C, si y sólo si A y C están en semirrectas opuestas de B.

Definición: B separa los puntos A y C si y sólo si B está entre A y C.

11
 02.- De tres puntos distintos A, B y C en una recta  , uno y solo uno de

ellos está entre los otros dos.

DEFINICIÓN SEGMENTO: sean A y B   , llámese segmento de extremos A

y B al conjunto de puntos situados entre A y B

Notación: AB • • 
A B

Definición: sean A, B y C  ,  Decimos que C está en la prolongación

de AB si y sólo si B está entre A y C.

03. AXIOMA DE LA DIVISION DEL PLANO (ADP): Toda recta  divide al

plano en dos únicas regiones de puntos llamadas SEMIPLANOS de borde 

de tal manera que:

a) El segmento que une dos puntos de semiplano distintos corta la recta.

b) El segmento que une dos puntos de un mismo semiplano, no corta a

la recta. P
•
Borde
A
Q •

AXIOMAS SOBRE LA MEDICION DEL SEGMENTO.

S.1. A todo AB le corresponde un único número AB real y positivo llamado

la longitud de AB .

S.2. Si C está entre A y B, entonces AB = AC +CB .

12
 Definición: Dos segmentos son congruentes si y sólo si tienen la misma
longitud, es decir AB  CD  AB = CD

S.3. (AXIOMA DE LA CONSTRUCCIÓN DE UN SEGMENTO)

Dado un número real m > 0 se puede construir en una semirrecta dada

a partir de su origen, un único segmento de longitud m.

Definición: “M” es un punto medio de AB , si M está entre A y B y además

AM = BM .

TEOREMA:

El punto medio de un segmento es único.

Hipotesis:
• M es un punto medio de
A M B.
Tesis: M es el único

Por Reducción al absurdo

1. M y N son puntos medios Hipótesis Temporal

1
2. AM  AN  ( AB) Por definición de punto medio
2
• •
A M N B.
Contradice el axioma de la construcción de un segmento luego, M es el
único.

Ejercicio: Construir con regla y compás un segmento congruente a uno dado.

DEFINICIÓN: ANGULO: la unión de dos semirrectas distintas que tienen origen

común se denomina ángulo. El punto común se llama vértice y las semirrectas,

lados del ángulo.

Notación: AOB

B
O

13
DEFINICIÓN: INTERIOR DE UN ANGULO.

Se denomina así a la intersección del semiplano de borde OA que

contiene a B con el semiplano de borde OB que contiene a A.

A •

•
O B

Definición: El conjunto de puntos del plano que no pertenece al ángulo ni a su

interior se denomina Exterior del ángulo

DEFINICIÓN. ANGULO LLANO: es aquel cuyos lados son semirrectas

opuestas.

• • •
A OO B

DEFINICIÓN. ANGULO ADYACENTE: es el que contiene un lado común y los

otros dos lados son semirrectas opuestas.

C
  es adyacente a  
 

A o B

ANGULOS OPUESTOS POR EL VÉRTICE: son aquellos cuyos lados del uno

son semirrectas opuestas de los lados del otro.

14
 

DEFINICIÓN RAYO INTERIOR DE UN ÁNGULO: es la semirrecta de origen, el

vértice del ángulo cuyos puntos son interiores a él.

A •

O X •

B •

AXIOMAS SOBRE MEDICIÓN DE ANGULOS.

A.1 A todo  A se le asigna un número real m(A ) llamado MEDIDA

DEL A, tal que 0 < m (A) < 180. Si A es llano, m (A ) = 180.

A.2. Si OX es un rayo interior al AOB, entonces m(AOB) =

m ( AOX) + m (BOX)

 X =  AOX
O
   =  XOB

m (  )+ m ( ) = m ( AOB)

Definición: Dos ángulos son congruentes si y sólo si tienen la misma medida.

Es decir,
 A   B  m ( A ) = m ( B )

A.3. AXIOMA DE LA CONSTRUCCIÓN DE UN ÁNGULO:

Dado un número  tal que 0 <  < 180, se puede construir a partir de una
semirrecta dada, y en uno de sus semiplanos un único ángulo cuya medida sea
.

15
 
O A

DEFINICIÓN:

A y B son complementarios si y sólo si m (A) + m ( B)= 90

A y B son suplementarios si y sólo si m ( A) + m ( B )= 180

TEOREMA:

Los ángulos adyacentes son suplementarios.

 
A B
O

Hipótesis. Proposiciones Justificaciones:

 y  son 1.) m  AOB=180 AO y OB son semirrectas
adyacentes opuestas.
Tesis:  y  son 2.) m AOB= m   +m
suplementarios Suma de ángulos transitividad 1 y 2
3.) m  + m  = 180
Sustitución de 1 en 2
4.)  y  son suplementarios
Conclusión

TEOREMA: los ángulos opuestos por el vértice son congruentes.

Hipótesis: Tesis:

16
 A  y  son opuestos por el  y  son congruentes
B vértice.

 y  son
   y  son opuestos por congruentes
el vértice

D C

Proposiciones: Justificaciones:

1) m +  = 180 Suma de ángulo y definición de ángulo llano

2) m   + m  = 180 Suma de ángulo y definición de ángulo llano
3) m   = m   Reducción entre 1 y 2.
4)    Conclusión

BISECTRIZ DE UN ANGULO. Es el rayo interior al ángulo que lo divide en 2

ángulos iguales.
Notación: 

Definición.

A es recto  m (A) = 90

B es agudo  m (B < 90

C es obtuso  90 < m (C) < 180

DEFINICIÓN RECTAS PERPENDICULARES: Son las que se cortan formando

un ángulo recto.

Notación: ⊥

MEDIATRIZ DE UN SEGMENTO: Es la recta perpendicular al segmento por su

punto medio.

TEOREMA: Las bisectrices de los ángulos opuestos por el vértice son

semirrectas opuestas.

TEOREMA: Las bisectrices de dos ángulos adyacentes son perpendiculares.

17
 B



/2
/2



/2 /2

C O A

Hipótesis Tesis
1.-  y  son adyacentes
2.- α es bisectriz de α  ⊥ 
3.-  es bisectriz de 

Proposiciones Justificaciones
1.- m < COA = 180 Def. de ángulo llano
2.- m < COA = m < + m < Suma de ángulos
3.- m < + m < = 180 PM Transitividad 1 y 2
4.- m < = /2 + /2 Suma de ángulos
5.- m < = /2 + /2 Suma de ángulos
6.- /2 + /2 + /2 + /2 = 180 Sustitución de 4 y 5 en 3
7.- 2(/2) +2(/2) = 180 Suma de términos semejantes
8.- /2 + /2 = 90 Simplificando en 7
9.-  ⊥  Conclusión

Ejercicio:

• Construir la mediatriz de un segmento con regla y compás.

• Construir la bisectriz de un ángulo con regla y compás.

Trabajo Construir con regla y compás

1.- La bisectriz de un ángulo agudo, recto y de uno obtuso.

2.- Un ángulo congruente a uno dado.

3.- La perpendicular a una recta por un punto dado. Dos casos.

18