Está en la página 1de 78

Geometra con regla y comps

UNIVERSIDAD DEL NORTE MATEMTICAS Y ESTADSTICA REA DE CIENCIAS BSICAS Esp. ANTALCIDES OLIVO

January 17, 2013

Contenido

The global option open right, triggers the typesetting of chapter on odd pages only. There are a couple of layouts that must be typeset on an even pages.

Captulo

1
Contenido

La geometra nace de la necesidad de los antiguos Egipcios en medir sus tierras despus de una inundacin del ro Nilo, luego los griegos la convirtieron en una disciplina hasta cuando Euclides la organiz convirtindola en la primera rama de las matemticas que fue axiomatizada. Decir que la geometra fue axiomatizada, quiere decir que tiene una estructura de la siguiente forma: Lo primero es establecer un conjunto mnimo de trminos, los cuales no se pueden denir, pero que de forma natural se pueden conocer sus caractersticas o propiedades. A partir de los elementos anteriores se construyen otros usando proposiciones en forma de equivalencia. estas proposiciones se llaman deniciones. Luego se establecen un conjunto de propiedades independientes, los cuales son ciertos por si solos , es decir su validez es evidente. A este conjunto de propiedades se llaman axiomas y/o postulados. Para terminar se construyen a partir de todo lo anterior un conjunto ilimitado de propiedades, las cuales no son evidentes por si solas y por lo tanto es necesario demostrarlas a partir de proposiciones verdaderas usando los mtodos de demostracin establecidos por la lgica.

Contenido

1 . 1 Trminos
Antes de empezar la construccin de la geometra estableceremos alguna ideas generales. Por ejemplo: Trmino. 1.1 Trmino es una palabra o propiedad que representa a un elemento o la relacin entre varios elementos.

Trmino. 1.2 Cantidad Cantidad es cualquier objeto y/o fenmeno que puede ser medida, es decir, medir un objeto es encontrar cuntas veces contiene un patrn del mismo tipo al objeto. A ese patrn tomado como estndar. Se llama unidad de medida. En GEOMETRA hay cuatro especies de cantidades, LNEAS, SUPERFICIES, VOLUMEN y NGULOS. Estas son llamadas MAGNITUDES GEOMTRICAS. Dado que la unidad de medida de una cantidad es del mismo tipo que la cantidad medida, hay cuatro tipos de unidades de medicin: unidades de longitud, unidades de supercie, unidades de volumen y unidades de medida angular. Basandonos en la anterior idea podemos establecer lo que es la geometra. Trmino. 1.3 Geometra GEOMETRA es la rama de las matemticas que estudia las propiedades, relaciones y medidas de las magnitudes geomtricas. En Geometra, las medidas de las cantidades consideradas son generalmente representadas por medio de letras minsculas. Las operaciones a realizarse con las medidas de las cantidades y las relaciones entre ellas, son las establecidas por el lgebra. Si a y b son medidas de cantidades geomtricas, se tiene: La operacin adicin , la cual usa el signo llamado ms, +; Entonces, a + b indica que b y a son sumados. La operacin substraccin, la cual usa el signo llamado menos, ; Entonces, a b indica que b es el sustraendo y a el minuendo. La operacin multiplicacin o producto,la cual usa el signo llamado por, ; Entonces, a b indica que a y b son factores. La operacin divisin, la cual usa el signo /, llamado entre; Entonces, a/b, indica que b es el divisor y a el dividendo. La potenciacin an , indica que a se tomar n veces como factor, o elevado a la ensima potencia, Nota: a = 0 y n N. La radicacin n a, indica que existe un b R tal que bn = a . La relacin igualdad a = b, lo que signica que a b es 0. La relacin menor que a < b, lo que signica que a b R . La relacin mayor que a > b, lo que signica que a b R+ . La relacin menor o igual a b, lo que signica que a = b o a < b, La relacin mayor o igual a b, lo que signica que a = b o a > b,

1 . 1. Trminos

En todos los casos las medidas de las cantidades geomtricas son nmeros reales no negativos. Nota: Estudiar las propiedades de las operaciones y las relaciones de los nmeros reales en el apndice A. Trmino. 1.4 Proposicin Una proposicin es un enunciado al cual se le puede asignar un valor de verdad, es decir puede ser falso o verdadero, pero no ambas. Por ejemplo: 3 + 2 = 5. De acuerdo con la denicin de adicin entre naturales, este enunciado es verdadero, por lo tanto es una proposicin. Maana llueve. esto es algo que no se puede saber antes de termine el da, por lo tanto no se le puede asignar un valor de verdad, es decir este enunciado no es una proposicin. Trmino. 1.5 Tautologa Una tautologa es una proposicin que siempre es verdadera. A las tautologas a veces en geometra se les llama verdades geomtricas o armaciones. Las verdades generales de la geometra se deducen a partir del razonamiento lgico, siendo las premisas deniciones, postulados o principios previamente establecidos. El razonamiento utilizado para establecer cualquier verdad o principio es llamado una demostracin. Trmino. 1.6 Denicin Una denicin es una armacin que explica el signicado de un trmino o una palabra, en funcin de palabras o trminos conocidos. En caso de que un trmino no se pueda expresar en funcin de otros trminos ya establecidos, se dice que es un trmino no denido. Trmino. 1.7 Teorema Un teorema es una verdad que requiere demostracin.

Trmino. 1.8 Axioma Un axioma es una verdad auto-evidente. Un PROBLEMA es una situacin o proposicin que requiere solucin. Trmino. 1.9 Postulado Un Postulado es un problema auto-evidente.

Trmino. 1.10 Hiptesis Una hiptesis es una suposicin hecha, bien en el texto de una proposicin, o en el curso de una demostracin.

Contenido

1 . 2 Trminos no denidos
En geometra tenemos que utilizar algunos elementos que no podemos denir, lo que podemos hacer es tener una idea de lo que son. Estos elementos son; el punto, la linea recta y el plano. Un punto lo representa la marca que deja un lpiz de punta muy na en una hoja de papel. Trmino no denido. 1.0 El Punto Podemos decir que representa un punto, no lo que es un punto: Un punto lo representa la marca que deja un lpiz de punta muy na en una hoja de papel. Los punto se denotan con letras maysculas, generalmente las primeras del alfabeto. por ejemplo:
A B

Figura 1. 2. 1: Los puntos A,B y C

Trmino no denido. 1.0 Lnea Recta Una lnea recta la representa una cuerda delgada y tensa la cual es innitamente larga. Las rectas se denotan con letras minsculas, generalmente a partir de la l tambin podemos tomar dos puntos sobre ella como por ejemplo:

A l

Figura 1. 2. 2: Linea l La recta de la gura (??) se denota: AB o l Trmino no denido. 1.0 El Plano Una buena idea de lo que es el plano es decir que lo representa una hoja de papel delgada e innitamente grande. Los planos se denotan con letras gticas maysculas, por ejemplo:

1 . 3. Deniciones preliminares

Figura 1. 2. 3: El Plano El plano en la gura (??). Nota: Observe que la gura (??) no tiene bordes, lo cual signica que es ilimitado.

1 . 3 Deniciones preliminares
Despus de identicar el punto la recta y el plano podemos denir a partir de ellos otros elementos de la geometra como los que veremos en esta seccin. Denicin. 1.1 El Espacio El espacio es el conjunto de todos los puntos De la denicin podemos deducir que el espacio es un ente abstracto pero que existe porque por lo menos podemos construir un punto y este punto estara en el espacio, veamos que es evidente que existen innitos puntos y que muchos no se encuentran en un plano por lo que es necesario hablar del espacio. Denicin. 1.2 Segmento de recta Un segmento de recta es un subconjunto de la linea recta determinado por dos puntos y todos los puntos que se encuentran entre ellos.
B A

Figura 1. 3. 4: Segmento de recta Notacin: Sean A y B dos puntos de una recta, el segmento determinado por ellos se denota como AB . A los puntos A y B se les lama extremos del segmento Denicin. 1.3 Puntos colineales Los puntos de un conjunto se dice que estn alineados o son colineales si existe una recta que los contiene a todos.

Contenido

C B A b D

Figura 1. 3. 5: Punto Alineados Por ejemplo en la gura (??) el conjunto de puntos {A, B, C} es un conjunto de puntos alineados, mientras que el conjunto de puntos {A, B, C, D} no es un conjunto de puntos alineados, porque el punto D no est en la recta b . Denicin. 1.4 Puntos coplanarios Los puntos de un conjunto son coplanarios si existe un plano que los contiene a todos.

B l2

l1

Figura 1. 3. 6: Puntos coplanarios En la gura suponemos que el punto D no est en el plano. Ejemplo 1. 1 . 3. 1 La gura (??) nos muestra varios conjuntos de puntos indiquemos si son o no coplanarios Solucin: Las rectas l1 y l2 son coplanarias Los puntos A, B y C son coplanarios Los puntos A, B, C y D no son coplanarios La recta l1 y el punto A son coplanarios La recta l2 y el punto D no son coplanarios. Denicin. 1.5 Rectas Intersecantes Son dos o mas rectas que se intersecan en un punto.

1 . 3. Deniciones preliminares

l1 l2

l3

l4

Figura 1. 3. 7: rectas Intersecantes La interseccin de las rectas l1 ,l2 ,l3 y l4 en la gura (??) es el punto A, por lo tanto son intersecantes Denicin. 1.6 Rectas concurrentes Son tres o mas rectas coplanarias que se intersecan en un punto.

l1 l2

l3

l4

Figura 1. 3. 8: rectas Intersecantes La interseccin de las rectas l1 ,l2 ,l3 y l4 en la gura (??) es el punto A, por lo tanto son intersecantes Nota: Observe que las rectas concurrentes son intersecantes, pero no necesariamente si sson intersecantes son concurrentes, por que las tres rectas pueden estar en planos diferentes. Denicin. 1.7 Rectas Paralelas Dos recta son paralelas si y slo si son coplanarias y no son intersecantes

Contenido

A a

Figura 1. 3. 9: Rectas Paralelas Denicin. 1.8 Rectas alabeadas Dos rectas son alabeadas si y slo si no son coplanarias y no se intersecan h

E r

l2 l1

Figura 1. 3. 10: Rectas alabeadas En la gura (?? el punto C no est en plano , por lo tanto como las rectas l1 y l2 no son coplanarias y no se cortan, entonces son alabeadas. Denicin. 1.9 Conjunto convexo Un conjunto de puntos se llama convexo si para cada par de puntos A y B, del conjunto, todo segmento AB est contenido en el conjunto. Si no se cumple est condicin se dice que el conjunto es cncavo

1 . 3. Deniciones preliminares

A D E

F B C

Figura 1. 3. 11: Conjunto cncavo En la gura (??) vemos que en el conjunto sombreado determinado por los puntos A, B, C, y D se puede construir un segmento EF de tal forma que no est contenido totalmente en l. Por que el conjunto no es convexo si no cncavo. Ejemplo 1. 1 . 3. 2 La lnea recta es un conjunto convexo Denicin. 1.10 Lnea quebrada Es la union de innitos segmentos de lnea no colineales de tal forma que la interseccin de cada dos segmentos de lnea es uno de sus extremos. Denicin. 1.11 lnea curva Una lnea curva es un conjunto de puntos concavo que divide al plano en tres conjuntos y no es una linea quebrada Denicin. 1.12 Curva cerrada Una curva cerrada es una lnea curva que forma en el plano un conjunto tal que no puede contener una recta Denicin. 1.13 Segmento curvo Es un subconjunto de una lnea curva Trabajar con conjuntos cncavos o convexos es a veces confuso, por lo que es mejor trabajar con conjuntos de puntos llamadas regiones planas Denicin. 1.14 Regin plana. Una regin plana es un conjunto de puntos M que cumple las siguientes condiciones. Para cada punto X del conjunto M existe un circulo centrado en X tal que este est contenido en el conjunto Para cada par de puntos del conjunto M se puede construir un segmeto que contenga los puntos com extremos.

Contenido

Figura 1. 3. 12: Regin Plana Como podemos observar en la gura ?? en cada punto de la grca rosada podemos trazar un circulo de radio tan pequeo como queramos y este se encuentra contenido en el subconjunto del plano de color rosado, por tanto es una regin plana. Ejemplo 1. 1 . 3. 3 En la gura ?? se representa un conjunto de puntos del plano que no es una regin plana, porque para cada punto del conjunto no existe un circulo que se encuentre contenido en el conjunto. Ejemplo de un conjunto de puntos que no es regin

Figura 1. 3. 13: Ejemplo

En la geometra Euclideana se establecen cinco postulados, nosotros estableceremos aqu slo dos para facilitar el desarrollo, y en el segundo captulo estableceremos ms de tres para facilitar la construccin. 1 . Postulado.1.1 De la regla Entre los nmeros reales y los puntos de una recta se puede establecer una correspondencia biunvoca, es decir a cada punto de la recta le podemos asignar uno y slo un nmero real y cada nmero real le podemos asignar uno y slo un punto de la recta.
1 En los Elementos de Euclides se establecen un conjunto de tres trminos no denidos,132 deniciones, 5 postulados, 5 axiomas y 465 teoremas repartidos en 13 libros.

10

1 . 3. Deniciones preliminares

cm 9

Figura 1. 3. 14: Postulado de la regla En la gura (??) de acuerdo con el postulado de la regla, al punto A se le asigna el nmero 1 y al punto B se le asigna el nmero 9. La anterior correspondencia lo tomaremos como un postulado, porque no podemos garantizar que a cada punto le corresponde un nmero natural, pero parece ser evidente que si le corresponde un nmero real. Denicin. 1.15 Coordenada de un punto Al nmero que la anterior correspondencia le asigna a un punto de la recta se le llama coordenada del punto Por ejemplo en la gura (??) 1 es la coordenada del punto A y se denota: A(1) que se lee el punto A con coordenada 1. Ejemplo 1. 1 . 3. 4 Sean A y B dos puntos de una recta y sean a y b los nmeros reales que la relacin biunvoca le asigna a los puntos entonces denotamos A (a) y B (b) para indicar que a y b son las coordenadas de los puntos AyB Denicin. 1.16 Valor absoluto Sea a un nmero real se dene el valor absoluto de a (|a|) como: |a| = a, a, si a 0 si a > 0

Ejemplo 1. 1 . 3. 5 Calcular |3| Solucin: al aplicar la denicin de valor absoluto tenemos que como a = 3 < 0, entonces |3| = (3) = 3. Ejemplo 1. 1 . 3. 6 Calcular Solucin: 2 = 2. 2 si aplicamos la denicin de valor absoluto obtenemos que si a = 2 > 0, entonces

Denicin. 1.17 Distancia entre dos puntos de una recta Sean A (a) y B (b) dos puntos sobre una recta, la distancia entre los puntos A y B se dene: AB = |b a|

11

Contenido

Ejemplo 1. 1 . 3. 7 Calcular la distancia entre los puntos A y B de la gura (??) Solucin: Del postulado de la regla obtenemos A(1) y B (9, as de acuerdo con la denicin de la distancia entre dos puntos obtenemos AB = |9cm 1cm| = 8cm. Ejemplo 1. 1 . 3. 8 Calcule la longitud de AB

10

11

Ejemplo 1. 1 . 3. 9 Sean A (3cm) y B (6cm) dos puntos de una recta l calcule la distancia entre A y B Solucin: Si aplicamos la denicin de distancia obtenemos AB = |6cm 3cm| = 9cm Denicin. 1.18 Longitud de un segmento de recta Sean A (a) y B (b) los extremos del segmento AB se dene la longitud o medida del segmento, como la distancia entre sus extremos mAB = |b a|

Trmino. 1.11 Objetos congruentes Dos objetos o elementos son congruentes si y slo s tienen la misma forma y el mismo Tamao tambin podemos decir que dos objetos son congruentes si al sobreponer uno sobre el otro los dos coniciden exactamente. Denicin. 1.19 Segmentos congruentes Dos segmentos son congruentes si y slo si tienen la misma longitud o medida.

12

12

1 . 3. Deniciones preliminares

Denicin. 1.20 Circunferencia El conjunto de puntos que estn a la misma distancia de un punto jo, se llama circunferencia

Figura 1. 3. 15: La circunferencia Nota: Elementos de la circunferencia. Centro : Al punto jo se le llama centro, por ejemplo el punto O en la gura (??). A la distancia entre el centro y cualquier punto de la circunferencia se le denomina radio, por ejemplo el radio de la gura (??) es r = OP . Un subconjunto de al menos dos puntos de la circunferencia se le llama arco, por ejemplo el subconjunto entre P y Q en la gura (??), y se denota P Q .

Denicin. 1.21 Circulo. A un conjunto de puntos X se le llama circulo. Si dada una circunferencia de radio r y centro O, el conjunto de puntos X cumple la siguiente condicin. OX < r

13

Contenido

Figura 1. 3. 16: Circulo Observe que la circunferencia es el conjunto de puntos en azul y el circulo es el conjunto de puntos en rosado. Denicin. 1.22 Estar entre Se dice que un punto de una recta B est entre dos puntos distintos A y C si se cumple que AB + BC = AC

B (7)

C (10)

A(3) l1

Figura 1. 3. 17: Estar entre Ejemplo 1. 1 . 3. 10 Vericar que B est entre A y C. Solucin: al aplicar la denicin de estar entre y de la distancia entre dos puntos observamos que: AB + BC = |7 3| + |10 7| = 4 + 3 = 7yAC = |10 3| = 7. O sea que se cumple, por lo que podemos armar que B est entre A y C.

14

1 . 3. Deniciones preliminares

Denicin. 1.23 Rayo Sea una recta l y sean A, B y X puntos de l , el conjunto de puntos del segmento AB y todos los puntos X para los cuales se cumple una y slo una de las dos condiciones B est entre A y X A est entre B y X
B X l

Figura 1. 3. 18: Rayo El rayo que contiene al segmento AB se denota AB o AB y al extremo se le llama origen Nota: De la denicin de rayo podemos deducir que un punto divide a una recta en dos rayos Denicin. 1.24 ngulo Un ngulo es el conjunto determinado por la unin de dos rayos de origen comn Vrtice: el vrtice de un ngulo es el origen de los rayos que se intersecan Lados: Los lados de un ngulo son los rayos que lo forman Notacin: Sea el ngulo formado por los rayos BA y BC entonces se denota ABC o A, tambin se puede denotar con numros como 1 o con letras griegas minsculas, como

Figura 1. 3. 19: ngulo

A B 1

Ejemplo 1. 1 . 3. 11 El ngulo divide el plano en tres conjuntos de puntos. El ngulo, el cual es un conjunto cncavo. Un conjunto convexo, el interior. Un conjunto cncavo, el exterior.

Utilizando el concepto de regin plana podemos decir que un ngulo divide el plano en dos regiones planas, una convexa y otra cncava, a la regin convexa se le llama interior del ngulo. Como se indica en la gura ??
15

Contenido

J Exterior B Interior K C A

Figura 1. 3. 20: Regiones del ngulo

Denicin. 1.25 Polgonos Un polgono es la unin de segmento que se intersecan en sus extremos, de tal manera que como mximo dos segmentos se cortan en un punto y cada segmento se interseca exactamente con otros dos segmentos. Nota: Elementos de un polgono: Vrtice: Es el punto de interseccin de los segmentos. Lados: Son los segmentos que forman el polgono. ngulo: Es al ngulo interior formado por dos lados y el vrtice comn. Ejemplo 1. 1 . 3. 12 En la gura (??) indique cuales de los conjuntos dados son polgonos.

A D E F I J K

N Conjunto 2 C B Conjunto 1 G H M Conjunto 3 L

Figura 1. 3. 21: Conjuntos de puntos

Solucin: El conjunto 1 no es polgono, porque por ejemplo AC se interseca con tres segmentos AB, DC y BC El conjunto 2 no es un polgono porque F G solo se interseca con GH. El conjunto 3 si es polgono porque todos los segmentos se intersecan de dos en dos.

Nota: Al la interseccin de las regiones angulares de los ngulos formados por un polgono se le llama regin poligonal o interior de un polgono.
16

1 . 3. Deniciones preliminares

Denicin. 1.26 sector circular Un sector circular es el conjunto de puntos formado por la unin de dos radios y el arco que ellos D intersecan en sus extremos.

I F B E C r r A

Figura 1. 3. 22: Sector circular Nota: Al sector circular formado por dos radios colineales se le llama semicirculo. Nota: Al arco que forma un semicirculo se le llama semicircunferencia. Postulado.1.2 Del transportador A cada ngulo se le puede asociar dos nmeros reales a y b entre 0 y 180 de la siguiente forma: Se construye una semicircunferencia y se divide en 180 arcos congruentes. Al punto inicial de la semicircunferencia se le asigna el numero 0 y al punto nal se le asigna el numero 180. Se coloca el vrtice del ngulo en el centro de la semicircunferencia, de tal forma que los lados se intersecan con la semicircunferencia. Al punto de interseccin de un lado con se semicircunferencia se le hace coincidir un nmero a que corresponde al arco nmero a. Se determina el numero b del arco de la semicircunferencia que coincide con el otro lado del ngulo y se le asigna ese nmero al lado.

B G(b)

D (180) A C F (a = 0)

Figura 1. 3. 23: Postulado del transportador Nota: Generalmente el numero a se hace coincidir con el cero como en la gura (??)

17

Contenido

Denicin. 1.27 Medida de un ngulo Sean a y b los nmeros que se le asignan a un ngulo ABC de acuerdo con el postulado del transportador, la medida del ngulo se dene: mABC = |b a| Ejemplo 1. 1 . 3. 13 Calcular la medida del ABC en la gura (??), usando el postulado del transportador y la denicin de la medida de un ngulo.

Figura 1. 3. 24: medida del un ngulo

Solucin: Se toma un transportador y de acuerdo con el postulado, se observa en la gura (??) que a = 20 y b = 60. Y de acuerdo con la denicin de medida del ngulo mABC = |60 20| = 40. Nota: generalmente la medida de un ngulo se da en grados, es decir la respuesta del ejemplo anterior es 40 grados que se denota 40 .

Figura 1. 3. 25: Medida de un ngulo

Ejemplo 1. 1 . 3. 14 Calcular la medida del ABC

18

1 . 3. Deniciones preliminares

A C 90 80 110100 70 120 60 130 50 140 40 150 30 20 160 10 0 B

170 180

Figura 1. 3. 26: Medida de un ngulo Transportadortrans Solucin: Usando el postulado del transportador y la denicin de medida de un ngulo, de la gura(??) obtenemos: ABC = |135 65| = 70o Denicin. 1.28 ngulos congruentes Dos ngulos son congruentes si y slo si tiene la misma medida.

Ejemplo 1. 1 . 3. 15 Todos los ngulos rectos son congruentes. Nota: Clasicacin de los ngulos segn su medida. ngulo nulo: Es un ngulo es que tiene con medida cero, es decir sus lados coinciden. ngulo agudo: Es un ngulo que tiene una medida mayor que cero y menor de 90 grados. ngulo recto: Es un ngulo que tiene como medida 90 grados. ngulo obtuso: Es un ngulo que tiene una medida mayor de 90 y menor de 180 grados. ngulo llano: Es un ngulo que mide 180 grados, es decir sus lados forman una linea recta.
E B ngulo nulo

D ngulo agudo

M F ngulo recto ngulo obtuso L G H K

S R

ngulo llano U

Figura 1. 3. 27: Clasicacin de los ngulos

19

Contenido

Denicin. 1.29 Rectas perpediculares Dos rectas son perpendiculares si y slo si al intersectarse forman un ngulo de 90o
b

l1

= 90 a l2

Figura 1. 3. 28: Rectas perpendiculares

Denicin. 1.30 Recta perpendicular a un plano Una recta es perpendicular a un plano si y slo si la recta es perpendicular a cualquier recta que pase por el punto de interseccin de la recta y el plano.

E r

l2 l1

Figura 1. 3. 29: Recta perpendicular a un plano

Denicin. 1.31 Planos perpendiculares Dos planos son perpendicularessi en uno de ellos hay una recta perpendicular al otro.

Figura 1. 3. 30: Planos perpendiculares

20

1 . 4. Construcciones bsicas

1 . 4 Construcciones bsicas
Los diseadores utilizan una variedad de instrumentos y tcnicas para elaborar sus diseos, a los cuales no se les puede aprovechar en su totalidad, si no se conocen y se aplican las propiedades de los elementos y los conceptos de la geometra. En esta seccin presentaremos las construcciones de las cuales se basan la mayora de las construcciones ms complicadas que utilizaremos en el libro. Construccin. 1.1 Duplicar un segmento Para duplicar un segmento hay que realizar los siguientes pasos Se construye un segmento. Se colocan las puntas de un comps en los extremos del segmento. se construye un rayo o una recta donde queremos duplicar el segmento Se coloca la punta losa del comps en un punto de la recta, manteniendo la abertura del primer paso y se dibuja con la otra punta un pequeo. arco sobre la recta. El punto de interseccin de la recta y el arco es el otro extremo del segmento.

Figura 1. 4. 31: Segmento dado

21

Contenido

Figura 1. 4. 32: Segmento duplicado De acuerdo con la construccin los segmentos AB y CD de la gura(??) son congruentes. Ejemplo 1. 1 . 4. 16 Un tringulo es un polgono de tres lados, usando esta denicin. Construya Un tringulo con dos lados congruentes.

Solucin:

En el tringulo de la gura(??) los lados AB y AC son congruentes.

C a b A a B

Figura 1. 4. 33: Tringulo issceles.

22

1 . 4. Construcciones bsicas

Construccin. 1.2 ngulos congruentes Para construir dos ngulos congruentes se realizan los siguientes pasos: Dado un ngulo. Se traza un arco con centro en el vrtice que corte a los otros dos lados, y se marcan los puntos de interseccin. Se construye un rayo, para que sea un lado del ngulo a duplicado. Con la misma abertura del comps se traza un arco sobre el rayo, con centro en el origen del rayo. Coloque la puntas del comps sobre los puntos de interseccin del arco y los lados del ngulo dado. En el punto de interseccin del arco y el rayo trace un nuevo arco centrado en este punto y con la misma abertura del comps del paso anterior. una el punto de interseccion de los arcos trazados sobre el rayo y el origen de este.

b A a b B D a E F

Figura 1. 4. 34: ngulos congruentes

Ejemplo 1. 1 . 4. 17 Construya un tringulo con dos ngulos congruentes.

23

Contenido

b A

Figura 1. 4. 35: Tringulo con dos ngulos congruentes

En el

ADG los ngulos ABC y EDF son congruentes.

Construccin. 1.3 Punto medio de un segmento Para bisecar un ngulo se realizan los siguientes pasos: Dado un segmento Se traza una semi circunferencia con centro en un extremo del segmento y que lo intersecte en un punto. Se traza una semi circunferencia con centro en el otro extremo, de tal forma que intersecte al primero. Se traza un segmento con extremos en los puntos de interseccin de las semi circunferencias. El punto de interseccin de los dos segmentos es el punto medio.

F A

Punto medio

Figura 1. 4. 36: Punto medio

24

1 . 4. Construcciones bsicas

Denicin. 1.32 Bisectriz de un segmento La bisectriz de de un segmento es una recta que pasa por el punto medio del segmento.

Construccin. 1.4 Bisectriz de un segmento Para construir la bisectriz de un segmento que pasa por un punto no alineado con el segmento, se realizan los siguientes pasos. Dado un segmento y un punto no alineado. Se construye el punto medio del segmento. la bisectriz es la recta que pasa por el punto no alineado y el puto medio.

E A

Figura 1. 4. 37: Bisectriz de un segmento

Denicin. 1.33 Bisectriz de un ngulo La bisectriz de un ngulo es la recta que pasa por el vrtice de un ngulo y forma dos ngulos congruentes

25

Contenido

Construccin. 1.5 Bisectriz de un ngulo Para bisecar un ngulo se realiza el siguiente procedimiento: dado un ngulo. Se traza un arco con centro en el vrtice del ngulo que corte los lados del ngulo. En cada punto de interseccin se construyen dos arcos de igual radio. Se determina el punto de interseccin de los arcos. La bisectriz es la recta que pasa por el punto de corte de los arcos y el vrtice del ngulo.

F r J

K A D H r E

Figura 1. 4. 38: Bisectriz del ngulo

Ejemplo 1. 1 . 4. 18 Construya una or de 4 ptalos bisecando en ngulo de 90 grados para cada ptalo. Solucin:

26

1 . 4. Construcciones bsicas

P l1 C

Figura 1. 4. 39: Flor de cuatro ptalos.

Construccin. 1.6 Recta perpendicular dado un punto en ella Dado un punto de una recta. Para construir construir una recta perpendicular que pase por el punto dados se realiza lo siguiente: Dado un punto en una recta. Trace un arco centrado en el punto dado que corte a la recta en dos puntos. Trace dos arcos centrados en cada uno de los puntos de corte del paso anterior. Trace la linea perpendicular entre el punto de interseccin de los arcos construidos en el paso anterior y el punto dado.

Figura 1. 4. 40: Recta perpendicular

27

Contenido

Denicin. 1.34 Mediatriz La mediatriz de un segmento es la bisectriz perpedicular del segmento

C l1

Figura 1. 4. 41: Mediatriz de un segmento

28

1 . 4. Construcciones bsicas

Construccin. 1.7 Rectas perpendiculares Dado un punto y una recta no alineados para trazar una recta perpendicular que contiene al punto. Se realiza lo siguiente: Dada una recta y un punto no alineado. Centrados en el punto dado trace dos arcos de igual radio que intersecten la recta. Centrados en los puntos de interseccin del paso anterior trace dos arcos de igual radio, en lado opuesto de la recta al punto dado. Una el punto de interseccin de los arcos del paso anterior y el punto dado.

l2 P

A l1 r1 B r2

Figura 1. 4. 42: Rectas Perpendiculares

29

Contenido

Denicin. 1.35 Distancie entre un punto y una recta. La distancia entre un punto y una recta es la medida del segmento perpendicular entre el punto y la recta.

A l1 r1

C B r2

Figura 1. 4. 43: Distancia entre un punto y una recta.

30

Dos puntos en una circunferencia. determinan una cuerda y la cuerda divide al circulo en dos regiones. encuentre una frmula para determinar el numero de regiones en las que las cuerdas formadas por n puntos de la circunferencia dividen al circulo.

Captulo

2
Contenido

En este captulo seguiremos con la construcin axiomtica de la geometra y paralelamente presentaremos construcciones con regla y cmpas, que luego al nal de este captulo empezaremos a demostrar. Del prrafo anterior se nos presenta una duda, Qu es demostrar? Podemos considerar la demostracin de una proposicin q como una cadena nita de conclusiones que se realizan mediante reglas lgicas y que se forman a partir de proposiciones verdaderas o supuestamente verdaderas y las cuales nos conducen a una proposicin p. La proposicin o relacin resultante de otras mediante el proceso de la demostracin se llama teorema y este proceso podemos dividirlo tres partes (gura?? ): Conocer la proposicin que se trata de demostrar. En esta parte es importante diferenciar muy claramente la informacin que nos dan (la hiptesis) de lo que nos solicitan que demostremos (la tesis). Los fundamentos empleados como base de la demostracin. Estos fundamentos estn constituidos por los trminos primitivos, las deniciones, los postulados y las proposiciones o teoremas ya demostrados. El procedimiento usado para lograr que la proposicin quede demostrada (elegir el mtodo adecuado).

Contenido

2 . 1 Introduccin
Desde los comienzos del mundo el ser humano ha tenido la necesidad de contar, medir y evaluar y para ello ha escogido unidades correspondientes, pero es imposible determinar con exactitud la fecha en que se dio origen a las ideas de partida y ms an cundo se presentaron por primera vez las propiedades relacionadas con la guras geomtricas. Sin embargo, se cree que la geometra es una de las actividades ms antiguas conocidas desde el punto de vista intelectual y que fueron los babilonios, alrededor del ao 2000 a.C., y los egipcios, aproximadamente en 1300 a.C., quienes desarrollaron la forma primitiva de la geometra basados en mediciones y observaciones (mtodo inductivo); las pirmides son una muestra de los conocimientos que ellos tenan de esta ciencia. La palabra geometra se deriva de las palabras griegas geo, que signica tierra, y metrn, que signica medir. Durante siglos el conocimiento de la geometra creci de tal manera que se descubri que muchas armaciones se podan inferir de otras en forma deductiva y fue precisamente en Grecia donde se cultiv con ms dedicacin por parte de los sabios, quienes llegaron a la conclusin de que la mayora de las armaciones geomtricas se deducan de unas pocas proposiciones bsicas (mtodo deductivo). Alrededor del ao 300 a.C., Euclides de Alejandra recopil en sus famosos Elementos de la geometra los conocimientos geomtricos que existan hasta entonces. Los Elementos constan de trece libros (captulos hoy en da) con 465 proposiciones, que comprenden la geometra plana, la geometra del espacio, la teora de nmeros y el lgebra geomtrica griega. Los cinco primeros libros tratan de guras planas, los cuatro siguientes son llamados aritmticas (teora de nmeros) y los tres restantes son dedicados a la geometra del espacio. Tambin dej Euclides un libro titulado Datos y escribi adems sobre las secciones cnicas. Entre los sabios y matemticos ms eminentes que han contribuido al desarrollo de esta ciencia en general podemos citar a Tales de Mileto (c. 624-c. 548 a.C.), Pitgoras (c. 572-c.497 a.C.) y Platn (c. 427-c. 347 a.C.). Posterior a Euclides podemos considerar a Arqumedes (287-212 a.C.) y Apolonio de Perga ( 262-180 ? a.C.), con quien termina la edad de oro de la geometra griega, pues los gemetras posteriores hicieron poco ms que llenar los detalles y en algunas ocasiones desarrollar en forma independiente algunas teoras cuyos grmenes estaban contenidos en los trabajos de los predecesores. Entre ellos podemos mencionar a Hern de Alejandra (20-62 d.C.), Menelao de Alejandra (100 a.C.), Pappus de Alejandra (ss.III-IV), Kepler (1571-1630), Newton (1642-1727) y otros grandes matemticos.

2 . 2 Razonamiento inductivo
El razonamiento inductivo es el proceso mediante el cual se obtienen conclusiones a partir de nuestras propias observaciones o a partir de ejemplos particulares, es decir al observar que una accin o propiedad se repite se concluye en general que esa accin o propiedad siempre es cierta Trmino. 2.12 Conjetura Es la conclusin que se obtiene a partir de un proceso inductivo

Nota: Al utilizar el razonamiento inductivo debemos tener cuidado de no construir conjeturas o generalizaciones falsas, por lo siempre hay que tratar de encontrar casos donde no se cumpla la conjetura, en caso de que no se consiga, no quiere decir que la conjetura es cierta, slo nos indica que no hemos encontrado un caso donde no se cumple. A continuacin mostraremos un ejemplo para explicar paso a paso como podemos obtener una conjetura a partir de una secuencia de casos o fenmenos. Aunque en ese ejemplo no trataremos de vericar si la conjetura es siempre cierta, el objetivo es de aprender a construir conjeturas.

32

2 . 2. Razonamiento inductivo

Ejemplo 2. 2 . 2. 19 Suponga que una persona mide los lados de cuatro tringulos como muestra la gura(??)

C 0.77 0.59 A 0.77 B E 0.76

D 0.75 F 0.58

I 1.08 0.61 G 0.61 H 0.62 K

J 0.88 L 0.62

Figura 2. 2. 1: Desigualdad triangular

De acuerdo con la gura ?? tenemos que en

ABC se tiene: 22. 2. 1 22. 2. 2

AC + AB =1.54 > BC = 0.31 AB + BC =1.36 > AC = 0.77 En el DEF se tiene que DE + DF =1.51 > EF = 0.58 DE + EF =1.48 > AC = 0.75 En el IGH se tiene que IG + GH =1.22 > HI = 1.08 IG + IH =1.69 > GH = 0.61 En el JKL se tiene que JK + KL=1.29 > JL = 0.88 JK + JL=1.50 > KL = 0.75

22. 2. 3 22. 2. 4

22. 2. 5 22. 2. 6

22. 2. 7 22. 2. 8

De los anteriores resultados , a pesar que los tringulos ABC, HIG y JKL son issceles, podemos concluir. " Que la suma de las longitudes de dos lados de un tringulo siempre es menor que la longitud de su tercer lado" 2 . 2.1 Mtodo del contraejemplo

Hay ocasiones donde despus de un razonamiento inductivo obtenemos una conjetura que no se cumple para todos los casos, es decir obtenemos una generalizacin falsa, entonces para indicar que esa generalizacin es falsa buscamos un ejemplo donde no se cumpla la accin o la propiedad. Trmino. 2.13 Contraejemplo Es el mtodo que se usa para demostrar que una generalizacin es falsa, utilizando un ejemplo que la contradiga. Nota: Los ejemplos solo son validos para demostrar que una proposicin es falsa, nunca demuestra que una proposicin es verdadera.
33

Contenido

Ejemplo 2. 2 . 2. 20 Si un cuadriltero tiene sus diagonales perpendiculares, entonces es un rombo.

4.27

3.49

90 D E C

Figura 2. 2. 2: Cometa En el cuadriltero podemos observar que AD = 4.27 y AC = 3.49 y por denicin de rombo el cuadriltero ABCD no puede ser un rombo porque no tiene sus lados congruentes.

2 . 3 Razonamiento deductivo
El mtodo deductivo consiste en partir de un nmero reducido de informacin (hiptesis) y mediante un proceso lgico deducir otros conocimientos o proposiciones nuevas. Para entender bien en que consiste el razonamiento deductivo para demostrar conjeturas nos toca repasar algunos conceptos de lgica, como son los tipos de proposiciones, sus operaciones y relaciones, adems para profundizar y entender este mtodo explicaremos en esta seccin cuales son los procesos lgicos. 2 . 3.1 Tipos de proposiciones lgicas

En este curso casi siempre trabajaremos con proposiciones compuestas, es decir una proposicin que esta formada por un conjunto de proposiciones, unidas por operadores lgicos llamados conectores: Esos conectores son , es una proposicin simple a la cual se le cambia el valor de verdad. La proposicin se llama nagacin. Ejemplo 2. 2 . 3. 21 La negacin de la proposicin Los ngulos y son rectos es: El ngulo no es recto o el ngulo no es recto. Nota: Algunos autores simbolizan la nagacin p

34

2 . 3. Razonamiento deductivo

, a la proposicin compuesta formada por este conectivo que se lee "o, se llama disyuncin. Ejemplo 2. 2 . 3. 22 Un cuadriltero es un polgono con cuatro lados o cuatro vrtices.

, la proposicin resultante se llama conjuncin y el conector se lee " y Ejemplo 2. 2 . 3. 23 Un polgono regular tiene los ngulos interiores y sus lados congruentes.

si , entonces , la proposicin resultante se llama condicional. Ejemplo 2. 2 . 3. 24 Si ABCD es un cuadrado, entonces ABCD no es una cometa

En este ejemplo p es ABCD es un cuadrado y q es ABCD no es una cometa. Ahora mostraremos un ejemplo donde el condicional no se redacta de la forma usual, como lo mostraremos en la siguiente seccin hay varias formas de expresar una condicional. Ejemplo 2. 2 . 3. 25 Dos rectas que no se intersecan son paralelas o alabeadas Est proposicin es de la forma p (q r ) si y slo si , a la proposicin resultante se le llama bicondicional.

Vamos a hablar un poco de las dos ltimas proposiciones: La condicional es una proposicin que se denota de la forma p q, donde p y q son proposiciones que llamaremos, antecedente y consecuente respectivamente. Por ejemplo Ejemplo 2. 2 . 3. 26 Si un tringulo tiene un ngulo recto, entonces es un tringulo rectngulo. En este caso el antecedente es : el tringulo es rectngulo y el consecuente es: el tringulo es rectngulo. La bicondicional se denota p q, y se puede descomponer en la conjuncin de dos condicionales, as: p q q p. Ejemplo 2. 2 . 3. 27 Dos rectas son paralelas si y slo si sus ngulos alternos internos formados por una transversal son congruentes en este ejemplo p es: Dos rectas son paralelas y q es: Los ngulos formados por una transversal son congruentes. Nota: Para saber el valor de verdad proposicin compuesta se utilizan las deniciones organizadas en la siguiente tabla: p q pq pq p q p q V V V V V V V F F V F F F V F V V F F F F F V V
35

Contenido

Con la condicional y la bicondicional se pueden construir dos tautologas de la siguiente manera: Trmino. 2.14 Implicacin Es una condicional que siempre es verdadera Por ejemplo: Ejemplo 2. 2 . 3. 28 Si un cuadriltero tiene dos lados opuestos paralelos, entonces estos lados son congruentes. La gura(??) llamada trapecio tiene los lados AB y CD paralelos y no son congruentes. Por tanto esta condicional no es una implicacin.
A B 3.69

5.69

Figura 2. 3. 3: Trapecio La condicional se denota p = q y se lee p implica q Trmino. 2.15 Doble implicacin Es una bicondicional que siempre es cierta. Por ejemplo todas las deniciones son bicondicionales. Nota: La doble implicacin se denota p q y se dice que que p y q son proposiciones lgicamente equivalentes Ejemplo 2. 2 . 3. 29 Analice el valor de verdad de la proposicin compuesta

(p q ) ( q p)
Solucin: p V V F F q V F V F pq V F V V q F V F V p F F V V q p V F V V

(p q ) ( q p) V V V V

Es decir las proposiciones: p q y q p son equivalentes. Ejemplo 2. 2 . 3. 30 Presentaremos algunos ejemplos de implicaciones y equivalencia lgicas 1. [p (p q )] = q 2. [(p q ) q ] = p 3. [(p q ) (q r )] = (p r )
36

2 . 3. Razonamiento deductivo

4. (p q ) = p 5. (p q ) ( p q ) 6. (p q ) ( p q ) 7. (p q ) ( q p) 8. [p (q r )] [(p q ) r ] 9. [(p q ) (q p)] (p q ) 10. (p q ) ( p q ) 11. (p q ) (p q ) 12. p (p q )

2 . 3.2

Otras formas de expresar una implicacin

En algunos casos las condicionales, vienen expresadas de tal forma que cada proposicin simple se puede representar como un conjunto, por ejemplo Los polgonos de cuatro lados son cuadrilteros. (2. 3. 9)

En este caso llamaremos Px = {x : x es un polgono} y Qx = {x : x es un cuadriltero} 1 y representamos la proposicin (??) como Px Qx , pero a nosotros nos interesan son las implicaciones, por tanto veamos cuando est proposicin es verdadera. Para ello tomaremos otro conjunto Ux = {x : x es una gura plana}, a este conjunto lo llamaremos universal o de referencia. Ahora realizaremos un diagrama de Venn mostrado en la gura (??).
Ux Px Qx x1 x2

Ux Px Qx

Diagrama 1

Diagrama 2

Figura 2. 3. 4: Proposiciones abiertas Si tomamos un polgono, el cual representaremos con el smbolo x1 , observamos en el diagrama 1 que x2 no est en el conjunto de los cuadrilteros, por tanto en este caso Px Qx es falsa, mientras en el diagrama 2 tomaremos un polgono representado por x2 el cual est en Qx , por tanto Px Qx es verdadera, de lo que podemos concluir que para que Px Qx sea una tautologa debe cumplirse la relacin. Qx Px Para indicar que Px Qx es una tautologa utilizamos unos operadores lgicos de existencia, los cuales son: Existe algn: Se representa x y se lee existe algn x. Para todo: se representa x y se lee para todo x. Existe un nico: Se representa !x y se lee existe uno y slo un x. Ningn: Se representa x y se lee no existe ningn X.

1 A las proposiciones que dependen de una variable y de un conjunto referencia, como es el caso de P y Q se llaman x x proposiciones abiertas.

37

Contenido

En nuestro caso la proposicin quedara: x(px = qx ) De aqu en adelante el conjunto que representa a la proposicin se representar con letras maysculas y las proposiciones con letras minsculas con la variable como subndice: Analicemos nuevamente el diagrama 2 de la gura (??) Como, x2 est en el conjunto, entonces podemos decir que P es condicin suciente para que x2 est en el conjunto Q. En este sentido, se dice que px es condicin suciente para qx . Adems es claro que para que un elemento x2 est en P se necesita que x2 est en en Q. De aqu que se diga que qx es condicin necesaria para px . Tambin se observa que un elemento x2 est en el conjunto Q si est en el conjunto P . Este anlisis precedente sugiere otras maneras de expresar la implicacin px = qx stas son: 1. px implica a qx 2. px es condicin suciente para qx 3. qx es condicin necesaria para px 4. qx , si px 2 . 3.3 Derivadas de un condicional

Asociado al condicional px qx hay otros tres condicionales que se consideran en matemticas. stos son: 1. La recproca, cuya estructura es qx px 2. La contraria, cuya estructura es px qx 3. La contra-recproca, cuya estructura es qx px Ejemplo 2. 2 . 3. 31 Determine el valor de verdad de la proposicin: Si dos rectas son perpendiculares, entonces se intersecan. Adems escriba la recproca, la contraria y la contra-recproca del condicional con sus respectivos valores de verdad.

Solucin: De la denicin de rectas perpendiculares se deduce que el condicional dado es verdadero. La recproca del condicional es: Si dos rectas se intersecan, entonces son perpendiculares, la cual es falsa, ya que en la siguiente gura ?? las recta AB y CD se intersecan en E y no son perpendiculares

C 75.6 A

D B

Figura 2. 3. 5: Reciproco

38

2 . 4. Esquemas de razonamiento

La contraria del condicional dado es: Si dos rectas no son perpendiculares, entonces no se intersecan, la cual es falsa. De un contraejemplo. La contra-recproca del condicional es: Si dos rectas no se intersecan, entonces no son perpendiculares, cul es su valor de verdad?, por qu.?

2 . 4 Esquemas de razonamiento
Si no podemos encontrar un ejemplo que contradiga una conjetura, no quiere decir que esa generalizacin sea cierta, el camino a seguir es usar un esquema de razonamiento o una combinacin de ellos que nos asegure que la proposicin siempre es verdadera. 2 . 4.1 Prueba indirecta

La prueba indirecta tambin es llamada "Tollens tollendus tollens" y consiste en negar la conclusin, para obtener la negacin de la hiptesis. Es decir el razonamiento es de la forma: p = q q p Como la condicional debe ser una implicacin, entonces tenemos que para que ella sea una tautologa, solo existen dos posibilidades, que las dos proposiciones p y q tengan el mismo valor de verdad. Por tanto si q es falsa se deduce que p tambin es falsa. A continuacin mostraremos un ejemplo de este esquema. Ejemplo 2. 2 . 4. 32 p = q : q: Si dos rectas son paralelas, entonces no tienen puntos en comn. Las rectas l1 y l2 tienen un punto en comn.

p:

Las rectas l1 y l2 no son paralelas.

2 . 4.2 Este es un razonamiento de la forma:

Modus ponendus ponens

p = q p q La argumentacin es la misma de la prueba indirectas decir para que p q sea una implicacin si p es verdadera, se tiene que q tambin lo es. El siguiente ejemplo nos muestra como se utiliza el esquema.

39

Contenido

Ejemplo 2. 2 . 4. 33 p = q : p: q: Si un tringulo tiene tres ngulos congruentes, entonces es equiltero. El tringulo El triangulo ABC tiene tres ngulos congruentes ABC es equiltero.

2 . 4.3

Regla de la cadena

Este razonamiento es el ms usado en geometra consiste en construir una cadena de implicaciones partiendo de la hiptesis hasta obtener la conclusin y es de la forma: p = r r = q p = q. Nota: Las reglas de inferencia mostradas en el ejemplo 2.3.?? las podemos utilizar como esquemas de razonamiento, ya que son tautologas. Mostraremos un ejemplo sencillo para esquematizar el razonamiento que ms se utiliza. Ejemplo 2. 2 . 4. 34 p = q : q = r : p = r : Si dos rectas son perpendiculares, entonces se intersecan. Si dos rectas se intersecan, entonces no son paralelas. Si dos rectas son perpendiculares, entonces no son paralelas.

Otra forma de interpretar este razonamiento es:

(p = r r = q ) = (p = q ) ,
mirndola de esta forma el razonamiento es equivalente si la conjuncin es cierta entonces la conclusin tambin lo es decir p q es una tautologa. Ahora vamos a explicar como se redacta una demostracin, utilizando los esquemas de razonamiento estudiados. En este caso utilizamos la combinacin del mtodo directo y la regla de la cadena, adems mostraremos una de las formas como se debe redactar una prueba en geometra. Ejemplo 2. 2 . 4. 35 Sea ED una mediatriz del segmento AB en el la mediatriz, entonces AF = F B. ABC, si el punto F es la interseccin de lado AB y

40

2 . 4. Esquemas de razonamiento

E C

A F

Figura 2. 4. 6: Mediatriz

Solucin: Para demostrar que sta proposicin es una implicacin vamos a utilizar el mtodo de razonamiento deductivo, de la siguiente manera:

Dato

Denicin de mediatrz

ED es mediatriz de AB

F es el punto medio de AB

AF F B =

Denicin de punto medio

Figura 2. 4. 7: Solucin La gura ?? nos muestra el esquema de la demostracin que si simbolizamos de la siguiete manera p : ED es la mediatriz deAD. q : F es el punto medio de AB. r : AF = F B. Entonces p = q = r p = r
Def . Def .

41

Contenido

observamos que el esquema que utilizamos es el de la regla de la cadena, pero en cada implicacin usamos modus ponendus ponens. La estructura que usaremos para redactar una demostracin es la siguiente. Prueba: Armaciones 1. 2. 3. ED es la mediatriz de AB F es punto medio de AB AD = DB Razones Dado Denicin de punto mediatriz Denicin de punto medio

A continuacin presentamos dos esquemas de razonamiento que aveces nos ayuda a realizar demostraciones donde la prueba indirecta o la directa no nos ayuda. 2 . 4.4 Este razonamiento es de la forma: pq p q. 2 . 4.5 Ley del silogismo disyuntivo Ley modus tollendo-ponens

Es un razonamiento con la siguiente estructura pq p = r q = s r s. Nota: Adems de los esquemas generales que podemos utilizar, al aplicar la regla de la cadena, cualquiera de las tres reglas bsicas de validez que se se presentan a continuacin. Regla 1: las deniciones, los postulados y los teoremas demostrados pueden aparecer en cualquier paso de la demostracin. Regla 2: las proposiciones equivalentes se pueden sustituir entre s en cualquier parte de una demostracin. Regla 3: una proposicin verdadera se puede introducir en cualquier punto de la demostracin. Nota: Antes de terminar la seccin mostraremos como es el esquema que se debe emplear en una demostracin sin importar como la redactemos.

Hiptesis

Razonamieto lgico

Tesis

Trminos no denidos Deniciones Postulados Otros teoremas

Esquema de razonamiento

Conclusin

Figura 2. 4. 8: Esquema de una demostracin Para realizar una demostracin adems de tener las reglas lgicas y el encadenamiento de proposiciones, tambin hay que determinar un mtodo o razonamiento como se a explicado antes. Para poder continuar con la construccin axiomtica de la geometra presentaremos de aqu en adelante los postulados, los teoremas y algunas deniciones ms.
42

2 . 5. Postulados y deniciones

2 . 5 Postulados y deniciones
En esta seccin vamos a presentar los principales postulados de la geometra los cuales los dividimos en tres grupos como lo indicamos a continuacin. 2 . 5.1 Postulado.2.3 Existencia de la recta Dos puntos estn contenidos en una y slo una linea recta. Postulados de existencia

Figura 2. 5. 9: Existencia de la recta Como se puede ver en la gura ?? no parece posible construir ms de una recta que contengan los mismos dos puntos. Postulado.2.4 Existencia del plano Tres puntos no colineales estn en uno y slo un plano.

43

Contenido

C B

Figura 2. 5. 10: Existencia del plano Como se puede ver en la gura ?? no parece posible construir ms de una plano que contengan los mismos tres puntos. Postulado.2.5 Existencia de los puntos El espacio existe y contiene por lo menos 4 puntos no coplanares.

C B

Figura 2. 5. 11: Existencia del espacio Como se puede ver en la gura ?? si dibujamos cuatro puntos A, B, C y D por el postulado de la existencia del plano, entonces si A, B y C se encuentran en un plano es posible el punto D no se encuentre en el mismo plano. Postulado.2.6 Existencia de la recta paralela Dada una recta y un punto no alineado, existe una y sola una recta paralela que contenga al punto.

44

2 . 5. Postulados y deniciones

q r l
I

Figura 2. 5. 12: Paralela Si tratamos de construir mas de una recta que pase por un punto no alineado y que sea paralela a la recta, al extenderla se intersecar con la recta. Al observar la gura ?? notamos que la recta q pasa por el punto D y parece ser paralela a la recta l, al trazar otra recta r que pase por D al extenderla se corta con la recta l en el punto I. Postulado.2.7 Existencia de la recta perpendicular Dada una recta y un punto no alineado, existe una y slo una recta perpendicular que contiene al punto

q l r
D N

90 J

Figura 2. 5. 13: Perpendicular Como se puede ver en la gura ?? si tratamos de construir mas de una recta que pase por un punto D no alineado a la recta l y que sea perpendicular a sta , se construir un tringulo con dos ngulos rectos, lo cual parece que no es posible construirla, Intente construir con regla y comps un tringulo con dos ngulos rectos? obtiene? Cual es su conclusin. 2 . 5.2 Relaciones entre puntos, rectas, planos y el espacio.

45

Contenido

Postulado.2.8 Interseccin de los planos Si dos planos se intersecan, se intersecan exacta en una recta.

Figura 2. 5. 14: Perpendicular La gura ?? nos muestra dos planos , que no son paralelos y parece que la nica posibilidad que se da es que su interseccin sea una recta. A la recta que separa el plano en dos semiplanos se le llama arista del plano. Postulado.2.9 Del Plano y la recta Si dos puntos estn en un plano, la recta que los contiene, tambin est en el plano.

Figura 2. 5. 15: Perpendicular La gura ?? nos muestra el plano donde los puntos A yB estn en el, si construimos una recta que contenga los puntos, parece natural que la reta tambin lo est ya que si tratamos de construir una recta que nos est en el plano no sera linea recta. Postulado.2.10 Separacin del plano. Una recta divide al plano en dos regiones planas convexas, llamados semiplanos.

46

2 . 5. Postulados y deniciones

M1

M2

Figura 2. 5. 16: Perpendicular La gura ?? nos muestra como una recta divide al plano en dos regiones convexas. Postulado.2.11 Separacin del espacio Un plano divide al espacio dos regiones convexas, llamados semi-espacios.

Figura 2. 5. 17: Perpendicular La gura ?? nos muestra dos puntos A, B no estn en el plano , por lo tanto estn en el espacio, pero en regiones diferentes separadas por el plano, entonces se nota que el plano separa al espacio en dos regiones. Axioma.2.1 Adicin de ngulos Si D est en el interior del BAC, entonces mBAC = mBAD + mDAC.

47

Contenido

A C

Figura 2. 5. 18: Suma de ngulos Como se se observa en la gura D est en el interior del ngulo BAC parece natural que si usamos el postulado del transportador y medimos los ngulos BAD y DAC la suma de estas medidas nos dar la del ngulo BAD.

2 . 6 Conjeturas y teoremas
En sta seccin presentaremos ms deniciones para practicar el razonamiento deductivo y adems presntaremos los primros teoremas del curso. Denicin. 2.36 ngulos verticales Dos ngulos son opuestos por el vrtice o verticales si tienen un vrtice comn y sus lados son rayos opuestos

C E

A D B

Figura 2. 6. 19: ngulos opuestos por el vrtice En la gura(?? tenemos que los ngulos EAC y BAD tienen el mismo vrtice y adems sus lados respectivos AE, AD y AC, AB son rayos opuestos, por tanto los ngulos son verticales.) Denicin. 2.37 Par lineal Dos ngulos forman un par lineal si uno de sus lados son rayos opuestos y adems tienen un vrtice y un lado comn.

48

2 . 6. Conjeturas y teoremas

F A C

Figura 2. 6. 20: Par lineal

Teorema. 2.1. Teorema del par lineal Los ngulos que forman un par lineal son suplementarios

Prueba: Armaciones 1. 2. 3. 4. 5. Los ngulos ABC y DBC forman un par lineal m ABD = 180 m ABC = x y m DBC = y m ABC + m DBC = m ABD = 180 Los ngulos ABC y DBC son suplementarios Razones Dado Denicin del ngulo llano. Postulado del transportador Construccin De 2), 3), 4) y denicin de ngulos suplementarios

Resuelva las siguientes interrogantes 1. Es cierto que si dos ngulos son suplementarios entonces forman un par lineal? Justique su respuesta. 2. Si dos ngulos suplementarios tienen medidas iguales, cul es la medida de cada ngulo? Argumente su respuesta. 3. Dos veces la medida de un ngulo es 30 menos que cinco veces la medida de su suplemento. Hallar la medida de cada ngulo. 4. Pruebe que si dos ngulos forman un par lineal y son congruentes entonces miden 90 cada uno. Conjetura. 2.1 S.A.C.C Los suplementos de ngulos congruentes son congruentes.

H D A E

I B

C F

Figura 2. 6. 21: Suplementos

Prueba:
49

Contenido

1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.

Armaciones DEF ABC = ABI es el suplemento de ABC DEH es el suplemento de DEF mABC + mABI = 180 mDEF + mDEH = 180 mABC = mDEF mABC = 180 mABI mDEF = 180 mDEH 180 mABI = 180 mDEH mABI = mDEH ABI = DEH

Razones Dado Dado Dado Denicin de angulos suplementarios Denicin de angulos suplementarios Denicin de congruencia de ngulos Propiedades de la igualdad Propiedades de la igualdad Sustitucin de (6) en (7) Sustitucin de (8) en (9) Denicin de congruencia

Teorema. 2.2. Equivalencia Las propiedades reexiva, simtrica y transitiva son validas en la congruencia de ngulos y segmentos Probaremos la propiedad transitiva de la congruencia de segmentos, esto es, si AB = CD y CD = EF , EF . entonces AB = Prueba Si AB = CD y CD = EF , por la denicin de congruencia de segmentos se sigue que AB = CD y CD = EF . Ahora al aplicar las propiedades de la relacin de igualdad, se sabe que sta cumple la transitivad. En consecuencia, AB = EF , lo cual implica que AB = EF . La demostracin de las otras propiedades se dejan de ejercicio. Teorema. 2.3. Opuestos por el vrtice Si dos ngulos son opuestos por el vrtice, entonces son congruentes.

D B

Figura 2. 6. 22: Opuestos por el vrtice En la gura(opv) se observa claramente que si aplicamos la denicin de suma de ngulos y la de par lineal y luego aplicamos el teorema de los ngulos suplementarios nos que demostrado el teorema. Teorema. 2.4. ngulos rectos 1 Dos ngulos rectos cualesquiera son congruentes.

50

2 . 6. Conjeturas y teoremas

E 90

90 B F

Figura 2. 6. 23: ngulo recto

Prueba: Armaciones 1. 2. 3. Los ngulos ABC y DEF son rectos mABc = 90 y mDEF ABC = DEF Razones Dado Denicin de ngulo recto. Denicin de ngulos congruentes.

Teorema. 2.5. ngulos rectos 2 Si dos ngulos son a la vez congruentes y suplementarios, entonces cada uno de ellos es un ngulo recto.

C A

B = 90 D

Figura 2. 6. 24: Angulo recto

Prueba En la gura ?? tenemos que BCD = ACD y adems cumplen que mBCD + mACD = 180 y como los ngulos son congruentes entonces se tiene que mBCD = mACD por tanto al sustituir mACD por mBCD se obtiene 2mBCD = 180, de lo que se deduce que mBCD = 90, as nos queda que los BCD y ACD son rectos Teorema. 2.6. Complementos Si dos ngulos son congruentes sus complementos son congruentes

51

Contenido

G C H D

Figura 2. 6. 25: ngulos complementarios En la gura(??) observamos que si los ngulos ABC y EF G son congruentes, los ngulos CBD y HF G deben ser congruentes. Utilizando las deniciones de ngulos complementarios y suma de ngulos. Teorema. 2.7. ngulos Rectos 3 Si los ngulos de un par lineal tienen la misma medida, entonces cada uno de ellos es un ngulo recto.

1
F C

Figura 2. 6. 26: Suplementos congruentes Este teorema se deduce de la denicin de par lineal y de ngulo rectos, por lo que su demostracin queda de ejercicio. Teorema. 2.8. ngulos rectos 4 Si dos rectas que se cortan forman un ngulo recto, entonces forman cuatro ngulos rectos.

52

2 . 6. Conjeturas y teoremas

1
90 E F

3 2

Figura 2. 6. 27: Recto4

Prueba: Armaciones 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. Razones Dado Denicin de opuestos por el vrtice. Teorema opuesto por el vrtice. Denicin de ngulo recto. Denicin de ngulos congruentes. de 5) y 4) denicin de par lineal. denicin de par lineal. Teorema de los suplementos. denicin de ngulos congruentes. Denicin de par lineal. Denicin de par lineal. Denicin de suplementos. Sustitucin de 5) y 13). Propiedad de la igualdad. Propiedad de la igualdad. denicin de ngulo recto.

1 es recto. 1 y 2 son opuestos por el vrtice. 1 = 2 m1 = 90 m1 = m2 m1 = m2 = 90 1 y 3 , 2 y 4forman un par lineal 1 y 3 , 2 y 4 son suplementarios 3 = 4 m3 = m4 2 y 3 forman un par lineal 2 y 3 son suplementarios m3 + m2 = 180 90 + m3 = 180 m3 = 90 m1 = m2 = m3 = m4 = 90 los ngulos 1, 2, 3 y 4 son rectos

Teorema. 2.9. Mediatriz La mediatriz de un segmento coplanario es nica. Su demostracin se deja de ejercicio. Sugerencia: Considere que la mediatriz no es nica y obtenga un absurdo.

53

Contenido

2 . 7 Problemas

(b) 1. En los incisos del a) al e), escriba las proposiciones como implicaciones, luego decida si es falso o verdadero (a) Hiptesis p : Un hombre vive en Barranquilla, Conclusin q : Vive en Antioqua. (b) Hiptesis p : Algunas manzanas son rojas, Conclusin q : Los caballos tienen cuatro patas. (c) Hiptesis p : Dos rectas se intersecan, Conclusin q : Las dos rectas no son paralelas. (d) Conclusin q : Dos rectas son perpendiculares, Hiptesis p : Las rectas se intersecan. (e) Hiptesis p : Dos ngulos tienen la misma medida, Conclusin q : Los ngulos son congruentes. 2. Analice la siguiente conjetura: Si un tringulo tiene un ngulo recto, tiene dos lados congruentes. Comentario: Para demostrar que la conjetura es falsa, debe presentar un contraejemplo, para explicar que es verdadera use las deniciones. 3. Demuestre la siguiente conjetura: Si dos ngulos son congruentes sus complementos son congruentes. 4. En los incisos del a) al e) identique la hiptesis y la conclusin y determine si es una implicacin. (a) un nmero es par si termina en 4. (b) Dos rectas son perpendiculares si forman un ngulo recto. (c) Un tringulo con dos lados congruentes, tiene los tres ngulos congruentes, (d) Si Un nmero es impar, termina en cinco. (e) Una recta que biseca un segmento contiene su punto medio. 5. Formule la recproca, contraria y contra-reciproca , de las siguientes proposiciones. (a) (b) (c) (d) Si una persona camina se acalora. Si dos rectas se intersecan, son paralelas. Si una persona es adinerada, entonces puede viajar. si a = 0 y b = 0, entonces a.b = 0, para todo a y b reales. (e) Si un polinomio es un tringulo, entonces una regin plana. (f) Dos planos paralelos si intersecan. (e)

p = q :

Si dos rectas son paralelas no se intersecan.

q:

Las rectas no se intersecan.

(c)

p = q :

Si un punto est en la mediatriz de un segmento, entonces equidista de sus extremos. El punto no est en la mediatriz.

(d) p:

ABC mide ms de 90

El ABC es un ngulo obtuso

q:

La temperatura aumenta.

No llovi. 8. Probar la veracidad de la implicacin Si ab = 0, entonces a = 0 b = 0, es equivalente a probar la veracidad de la implicacin Si ab = 0 a = 0, entonces b = 0.

9. Si dos rectas diferentes se intersecan, su interseccin contiene un punto solamente. 10. Determine si el enunciado es verdadero o falso indicando que postulado denicin que cumple o contradice. (a) Un punto puede ser la interseccin de dos planos. (b) Dados dos puntos diferentes, hay exactamente una recta que los contiene. (c) Dos rectas diferentes siempre son coplanarias. (d) Toda recta tiene un nico punto medio. (e) Cuatro puntos siempre son coplanares. (f) El plano contiene al menos dos puntos. (g) El ngulo es un conjunto convexo. (h) La regin angular es cncava. (i) Los ngulos complementarios son agudos.

6. Determine en cada inciso si la proposicin representa una equivalencia, en caso de no ser lo encuentre un contra ejemplo. (a) Un tringulo tiene sus lados congruentes si y slo si tiene sus ngulos interiores congruentes. (b) Un ngulo es recto si y slo si es congruente a uno que tiene medida igual a 90 . (c) Dos rectas son paralelas si y solo si no se intersecan. (d) Un cuadriltero tiene sus lados opuestos paralelos, si y slo si un par de lados opuestos son congruentes. (e) Dos ngulos son complementarios si y slo si la suma de sus mediadas es igual a 90 7. Incluya la informacin omitida para formular un esquema de razonamiento correcto, adems indique que tipo de prueba se esta realizando. (a) p = q : q = r : Dos rectas perpendiculares se intersecan. Las rectas no son paralelas ni se intersecan.

(j) Dos rectas perpendiculares son concurrentes. 11. De acuerdo con la gura .Completa cada enunciado, para que este sea verdadero y justica usando un postulado o una denicin

54

2 . 7. Problemas

n l
T B = 90

14. Los fotgrafos y los ingenieros emplean trpodes para colocar sus cmaras y oros instrumentos. Explique por qu se utilizan tres patas en vez de cuatro. Qu postulado puede aplicar para explicar esta situacin? 15. Cuntas rectas pueden construirse a travs de cuatro puntos, entre los cuales no hay tres colineales?

P 1.77

2 1

Q 1.77

16. Determine el valor de verdad de la siguiente armacin. Si es falsa, d un contraejemplo: Si AB BC, entonces B es el punto medio de AC. = 17. Ser iguales los segmentos AB y BA? 18. Sern iguales los rayos AB y BA? 19. Ser condicin suciente que x2 = 81 par que x = 9? 20. Dada la proposicin Una condicin necesaria para que B sea el punto medio de AC es que B est entre los punto A y C. (a) Escrbala de la forma si..., entonces... sin alterar su signicado y obtenga su valor de verdad. (b) Escrba el condicional en trminos de condici suciente. p (c) Haga el recroco del condicional y determine su valor de verdad. Si es falsa, d un contraejemplo. 21. Dada la proposicin Si ab = 0, entonces a = 0 o b = 0, escriba su rec roca, su contraria y su contrarrec roca. p p Adems determine sus correspondientes valores de verdad. 22. Es posible que existan dos recta que no se intersectan y estn en planos diferentes? Si la respuesta es armativa, d un ejemplo. 23. Tomando como conjunto universal el conjunto de los nmeros reales, determine si las proposiciones px : x2 4 = 0 y qx : (x 2) (x + 2) = 0 son equivalentes. Argumente su respuesta. 24. Complete los siguientes esquemas de razonamiento: (a) : Si un nmero entero termina en dos, entonces es par. : 32 es un entero que termina en dos.

Figura 2. 7. 28: Problema 8


. (a) Si 1 2 las recta n y m son = (b) Si la m es 90 las retas n y l son . (c) n es una , de P Q. . (d) Los segmentos AP y AQ son (e) Si dos rectas son paralelas, entonces tienen puntos en comn. 12. En los ejercicios del a) al h), compltelos enunciados con las palabras punto,recta,plano y espacio y diga cual postulado sugiere la proposicin completa. (a) Si los dos puntos estn en un plano, entonces la que los contiene est en el plano. (b) Un contiene por lo menos tres puntos no alineados. (c) Dos puntos estn contenidos en una y slo una, (d) Si dos planos se intersecan, se intersecan exactamente en una . (e) Hay exactamente una que pasa por un punto dado y es perpendicular a un plano dado. (f) Un plano separa un en dos . (g) En un plano, hay exactamente una que pasa por un punto dado y es perpendicular a uan recta dada. (h) Una recta separa un en dos . 13. En los ejercicios del a) al h), formule un postulado que permita llegar a la conclusin de que la proposicin es una tautologa. (a) Dos planos, distintos M y N , no pueden contener dos rectas distintas l y n. (b) Dos rectas distintas, l y m, no pueden contener dos puntos distintos A y B. (c) Dados un punto P y una recta l en un plano, no puede haber un par de rectas distintas que pasen por P y sean perpendiculares. (d) Si los puntos J y K estn en diferentes semiplanos determinados por una recta l, JK interseca a l. (e) Tres puntos no colineales. A. B y C, no pueden estar en planos diferentes. (f) S A y B son puntos del plano M , entonces AB no tiene ningn punto fuera del plano. (g) Dados Un punto P y un plano M , no puede haber dos rectas que pasen por P y sean perpendiculares al plano M . (h) El espacio puede contener ms, pero no menos de cuatro puntos no colineales y no coplanarios.

: (b) :

......

Si dos tectas son paralelas, entonces estn en un mismo plano y no se intersecan.

......... Las rectas l1 y l2 no son paralelas. Dos rectas perpendiculares se intersecan.

: (c) :

Las rectas no son paralelas, si se intersecan.

........

55

Contenido

25. (Teorema de suma de segmentos congruentes) Haga una demostracin directa del siguiente teorema: Si para un punto C entre A y B, y un punto F entre D y E se cumple que AC DF y CB F E, entonces = = AB DE. = 26. Demuestre que si x e y son enteros impares, entonces xy tambin es un entero impar. 27. Haga una demostracin por reduccin al absurdo del siguiente teorema: Si x2 es un entero par, entonces x es par. Sugerencia: Utilice el ejercicio anterior. 28. Dados dos puntos P y Q distintos tal que la recta l contiene a P y a Q y la recta m contiene a P y Q, Qu podemos asegurar acerca de las rectas l y m Qu postulado o denicin justica la conclusin? 29. Dadas las rectas l y m son rectas distintas. El punto P est en l y m Qu podemos asegurar acerca de P y Q Justique su respuesta. 30. Indicar cuntas rectas pueden construirse por puntos distintos A, B, C y D si: (a) (b) (c) (d) A, B y D estn alineados. A, B y C estn alineados. Cada tres puntos no estn alineados. Los puntos no son coplanarios.

35. Dado un plano que contiene los puntos R Y T Qu puede concluirse acerca de RT ? Qu postulado justica su respuesta. 36. Si AB y el plano tienen los puntos comunes K y T , Qu puede concluirse acerca de AB Y ? Por qu? 37. As como una recta puede denotarse con dos puntos Con cuntos puntos no alineados se podra denotar un plano? 38. Si se da que los puntos A, B y C estn en el plano y que los puntos los puntos A, B y C estn en el plano . S podr concluir que y son el mismo plano? Justique. 39. Si las rectas l1 y l2 estn en los planos 1 y 2 respecti vamente, tal que l1 y l2 se intersecan en el punto P . Si el punto Q distinto de P est en l1 y en 1 . El punto R, distinto de P , est en l2 y en 2 .Qu puede concluirse acerca de los planos 1 y 2 . Justique su respuesta. 40. Si 1 y 2 son dos semiplanos que estn contenidos en el plano . Indique si la unin de 1 y 2 es todo el plano cuando. (a) 1 y 2 los separa la misma arista l (b) Si la arista de 1 y la arista de 2 se intersecan en un punto (c) Si los semiplanos tienen la misma arista y se unen con ella. 41. Un punto separa a la lnea recta en dos conjuntos llamados semirrectas. En que diere la semirrecta del rayo. En cuantos conjuntos se separa el espacio cuando (a) Se intersecan dos plano. (b) Hay dos planos paralelos.

31. Dada una recta l Cuntos planos en el espacio pueden contenerla. 32. Cuntos planos pueden contener un punto dado? 33. Un un piso liso una mesa de cuatro patas puede cojear, mientras que una de tres no. Explique por qu. 34. Completar el enunciado: Dos rectas diferentes pueden intesecarse en , y dos planos diferentes pueden intersecarse en .

56

The global option open right, triggers the typesetting of chapter on odd pages only. There are a couple of layouts that must be typeset on an even pages.

Captulo

3
Contenido

En este captulo seguiremos con la construcin axiomtica de la geometra y paralelamente presentaremos construcciones con regla y cmpas, que luego al nal de este captulo empezaremos a demostrar. Del prrafo anterior se nos presenta una duda, Qu es demostrar? Podemos considerar la demostracin de una proposicin q como una cadena nita de conclusiones que se realizan mediante reglas lgicas y que se forman a partir de proposiciones verdaderas o supuestamente verdaderas y las cuales nos conducen a una proposicin p. La proposicin o relacin resultante de otras mediante el proceso de la demostracin se llama teorema y este proceso podemos dividirlo tres partes (gura?? ): Conocer la proposicin que se trata de demostrar. En esta parte es importante diferenciar muy claramente la informacin que nos dan (la hiptesis) de lo que nos solicitan que demostremos (la tesis). Los fundamentos empleados como base de la demostracin. Estos fundamentos estn constituidos por los trminos primitivos, las deniciones, los postulados y las proposiciones o teoremas ya demostrados. El procedimiento usado para lograr que la proposicin quede demostrada (elegir el mtodo adecuado).

Contenido

3 . 1 Tringulos
Denicin. 3.38 Tringulo El tringulo es un polgono de tres lados. Los tringulos pueden clasicarse por sus ngulos y por sus lados de las siguientes formas: Denicin. 3.39 Tringulo acutngulo Un tringulo es acutngulo si todos sus ngulos interiores son agudos.

Denicin. 3.40 Tringulo rectngulo Si un tringulo tiene un ngulo interior recto, entonces se llama tringulo rectngulo.

Denicin. 3.41 Tringulo obtusngulo Si un tringulo tiene un ngulo interior obtuso, entonces se llama tringulo obtusngulo.

Denicin. 3.42 Equingulo Un tringulo es equingulo si todos sus ngulos interiores son congruentes entre s.

Denicin. 3.43 Equiltero Un tringulo es equiltero si todos sus lados son congruentes entre s.

Denicin. 3.44 Issceles Un tringulo es issceles si al menos dos de sus lados son congruentes entre s.

Denicin. 3.45 Escaleno Un tringulo escalenoes aquel que no tiene lados congruentes entre s.

3 . 1.0.1
Denicin. 3.46 Altura

Elementos notables de un tringulo

Una altura de un tringulo es un segmento contenido en la recta que pasa por un vrtice del tringulo y es perpendicular la recta que contiene al lado opuesto y que tiene como extremos el vrtice y el punto de interseccin de las rectas

Denicin. 3.47 Ortocentro El punto donde se intersecan las alturas de un tringulo se denomina ortocentro.

58

3 . 1. Tringulos

a A c I O D B T C b

Figura 3. 1. 1: Ortocentro
En la gura (??) El punto D es el orto centro. Denicin. 3.48 Circuncentro El punto de interseccin de las mediatrices de los lados de un tringulo se denomina circuncentro.

d f A

K J D B H C

Figura 3. 1. 2: Circuncentro

En la gura(??) el punto de interseccin de las mediatrices es D y es el centro de la circunferencia que contiene los vrtices del tringulos. Denicin. 3.49 Incentro El punto donde se intersecan las bisectrices de los ngulos interiores de un tringulo se denomina incentro.

59

Contenido

a b A

I U D

B T c C

Figura 3. 1. 3: Incentro
El punto de la gura(??) es el punto D. Denicin. 3.50 Mediana Una mediana de un tringulo es un segmento que une un vrtice del tringulo con el punto medio del lado opuesto

Denicin. 3.51 Centroide El baricentro o centroide es el punto de interseccin de las medianas de un tringulo.

O I

B T C

Figura 3. 1. 4: Centroide

60

3 . 2. Congruencia de trigulos

3 . 2 Congruencia de trigulos
3 . 2.1 Correspondencia entre tringulos

Figura 3. 2. 5: Correspondencia entre tringulos


Dados dos tringulos como se muestra en la gura(??) siempre podemos establecer una correspondencia entre los vrtices, como por ejemplo: Podemos establecer A F , C D y B E. Denicin. 3.52 Partes correspondientes La correspondencia establecida entre los vrtices de de dos tringulos determina tres parejas de elementos del tringulo llamados partes correspondientes. La correspondencia establecida en la gura ?? determina las siguientes partes correspondientes. A F , B E, C D, AB F E, BC ED y AC DF . Denicin. 3.53 Tringulos congruentes Dos tringulos son congruentes si y slo si existe una correspondencia entre los trngulos de tal forma que sus partes correspodientes, sean congruentes.

3 . 2.2
Postulado.3.12 LAL

Postulados de congruencia

Si dos lados y el ngulo comprendido de un tringulo son respectivamente congruentes con dos lados y un ngulo comprendido de otro tringulo, entonces los dos tringulos son congruentes.

3 . 2.3
Postulado.3.13 ALA

Postulados de congruencia

Si dos ngulos y el lado del tringulo que es comn, son respectivamente congruentes con dos ngulos y el lado comprendido de otro tringulo, entonces los tringulos son congruentes.

3 . 2.4
Postulado.3.14 LAL

Postulados de congruencia

Si Los tres lados de un tringulo son respectivamente congruentes con tres lados de otro tringulos, los tringulos son congruentes.

61

Contenido

Teorema. 3.10. Tringulo issceles En un tringulo issceles, la mediana al lado de la base forma dos tringulos congruentes. punto medio

Conjetura. 3.2 Teorema del ngulo exterior La medida del ngulo exterior de un tringulo es mayor que la medida de cualquiera de los ngulos interiores no contiguos Replantearemos la conjetura del ngulo exterior de la siguiente forma: Dado el ABC como se muestra en la gura(??) con ngulo exterior, 1. demuestre que m1 > m2.
B

2 A M

Figura 3. 2. 6: Teorema del ngulo exterior


Prueba: Armaciones 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. Razones Dado Construccin auxiliar. Construccin auxiliar. Denicin de punto medio. ngulos opuestos por el vrtice. LAL de 4) y 5). PCTCC Denicin de ngulos congruentes. Denicin de suma de ngulos. Principio de sustitucin. Denicin de mayor que. Opuestos por el vrtice. Denicin de congruencia de ngulos Principio de sustitucin de 11) y 13).

1 es un ngulo exterior del ABC. Sea M el punto medio de AC Sea BD un segmento tal que M sea su punto medio. AM M C y BM M D = = BM A DM C =
ABM CM D = 2 M CD = m2 = mM CD mM CD + mDCE = m3 m2 + mDCE = m3 m3 > m2 3 1 = m3 = m1 m1 > m2

Nota: : Observe que en esta prueba se utiliza la principio de sustitucin del lgebra y el principio de adicin de premisa de acuerdo con el tem 4 del ejemplo 2.10, en los pasos 2) y 3). Denicin. 3.54 Recta transversal Se dice que una recta es transversal o secante si interseca a otras dos en puntos diferentes

3 . 2.5

ngulos formados por una transversal

Los ngulos alternos internos son dos ngulos interiores con diferentes vrtices y en lados diferentes de la secante. Los ngulos conjugados internos son dos ngulos internos con diferentes vrtices y del mismo lados de la secante. Loa ngulos correspondientes son dos ngulos con diferentes vrtices del mismo lado de la secante pero, uno exterior y el otro interior.

62

3 . 2. Congruencia de trigulos

2 1 G

3 4

6 5 O

8 7

Figura 3. 2. 7: Recta secante


Por ejemplo los ngulos 4 y 6 son alternos internos, los ngulos 3 y 6 son conjugados internos, y los ngulos 1 y 5 son correspondientes.

3 . 2.6

ngulos especiales entre rectas paralelas

Conjetura. 3.3 ngulos correspondientes (AC) Dos rectas cortadas por una recta transversal son paralelas si y slo si sus ngulos correspondientes son congruentes Para realizar la prueba del reciproco de la conjetura usaremos el mtodo reduccin al absurdo o de contradiccin, de la siguiente forma: Suponemos que existen dos rectas l1 y l2 que no son paralelas y son cortadas por una secante l3 y adems que 1 2 = Para la prueba observa la gura (??) Prueba: Armaciones l1 l2 1 2 = Como l1 l2 , entonces se cortan en el punto C Entre los puntos A, B y C se forma un tringulo El 2 es un ngulo exterior del ABC m2 > m1. m2 = m1. contradiccin de 6). l1 l2 Razones Dado Dato. Denicin de rectas paralelas Defnicin de polgono. Denicin del ngulo exterior. Teorema del ngulo exterior. Denicin de ngulos congruentes de 2). Conclusin de la prueba indirecta

1. 2. 3. 4. 5. 6. 7. 8.

Con lo anterior demostramos que: Si las rectas l1 , l2 y l3 forman ngulos correspondientes 1 2, entonces las rectas l1 l2 . = Nos queda probar que si las rectas l1 l2 entonces se tiene que 1 2. = Ahora para probar la expresin directa de la conjetura usaremos el mismo mtodo de la siguiente forma: Suponemos que 1 2 y que l1 l2 .

Figura 3. 2. 8: ACEP

63

Contenido

l3

2 l2 C

1 B l1

A 2

l1

l4

l2 1

l3

Figura 3. 2. 9: ACEP

Prueba: Armaciones 1 2 l1 l2 Trazamos una recta l4 de tal forma que pase por A y con la secante forme un ngulo 3 congruente con el 1 l1 l2 y A est en l4 Hay dos rectas paralelas a la recta l2 1 2 = Razones Dado Dato. Construccin auxiliar. ngulos correspondientes congruentes. de 2) y 4). Conclusin de la prueba indirecta.

1. 2. 3. 4. 5.

Conjetura. 3.4 ngulos alternos internos (AAI) Dos rectas son paralelas si y son por una recta transversal sus ngulos alternos internos son congruentes

Conjetura. 3.5 ngulos alternos externos (AAE) Dos rectas son paralelas si y slo si al ser interceptadas por una recta transversal sus ngulos alternos externos son congruentes

64

3 . 2. Congruencia de trigulos

Conjetura. 3.6 ngulos conjugados internos (ACI) Dos rectas son paralelas si y slo si al ser interceptadas por una recta transversal sus ngulos conjugados internos son suplementarios

Teorema. 3.11. recta perpendicular Si dos rectas son paralelas y una secante es perpendicular a una de las paralelas, entonces tambin es perpendicular a la otra.

Construccin. 3.8 Recta paralela Sea AB una recta paralela que pasa por por un punto C. Para resolver el problema vamos a seguir los siguientes pasos: Se construye una recta AB que pase por el punto C. Se construye un segmento AC. Se traza un arco centrado en A que pase por C, radio f . Se traza un arco centrado en C con el mismo radio f . En el punto de interseccin del arco centrado en A y la recta AB se traza que pase por C, radio e. En el punto de interseccin de la circunferencia centrada en C y radio f se traza una circunferencia de radio e. Se traza una recta entre el punto C y el punto de interseccin de la circunferencia y el arco centrado en C.

c f A

C e

Figura 3. 2. 10: Recta paralela

Conjetura. 3.7 SAIT La suma de los ngulos interiores de un tringulo es 180 Dado el ABC, ver la siguiente gura(??), se probar que m1 + m2 + m3 = 180.

65

Contenido

a C 5 4 3 l1

1 A 2 B

Figura 3. 2. 11: SAIT

Prueba: Armaciones Sea un tringulo ABC l AB y pasa por C 1 5 y 2 4 = = m3 + m4 + m5 = 180 m1 + m2 + m3 = 180 Razones Dado Construccin auxiliar Teorema de paralelismo Postulado de adicin de ngulos y postulado de par lineal Sustitucin de 2) en 3)

1. 2. 3. 4. 5.

3 . 2.7

Rectas paralelas en un plano

Conjetura. 3.8 Transitividad entre Paralelas En un plano, si dos rectas son paralelas a una tercera recta, entonces son paralelas entre s. La prueba se deja como ejercicio. Teorema. 3.12. Transitividad entre paralelas Dos rectas en un plano son paralelas, si ambas son perpendiculares a una misma recta.

Teorema. 3.13. Unicidad de la perpendicular Por un punto exterior a una recta dada pasa una y slo una perpendicular a la recta dada.

Teorema. 3.14. Ningn tringulo tiene dos ngulos rectos.

66

3 . 2. Congruencia de trigulos

Ejemplo 3. 3 . 2. 36

1 D 2 3

Dado: m2 + m3 + m5 = 180, 4 5. = Pruebe: AB CD.


4 A 5 B

Figura 3. 2. 12: Ejemplo

Solucin:

Armaciones 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. m2 + m3 + m5 = 180 4 5 = m4 + m3 + m5 = 180 m2 + m3 = mACD mACD + m1 = 180 m2 + m3 + m1 = 180 m2 + m3 + m5 = m2 + m3 + m5 m5 = 1 m4 = 1 AB CD

Razones Dado Dato. Teorema de la suma de los ngulos interiores de un tringulo. Postulado de la adiccin de ngulos. Denicion de par lineal. Sustitucin de 4) en 5). Igualacin. Propiedad cancelativa. Propiedad transitiva. Teorema de las paralelas.

Denicin. 3.55 ngulo exterior Un ngulo Un ngulo es un ngulo exterior de un polgono si y solamente si forma un par lineal con uno de los ngulos del polgono.

67

Contenido

N A

R D P L C

Figura 3. 2. 13: ngulos exteriores

Teorema. 3.15. LAA Si en un tringulo , dos ngulos y un lado opuesto a uno de los ngulos son congruentes con dos ngulos y el lado correspondiente de un segundo tringulo, entonces los tringulos son congruentes.

Teorema. 3.16. Hipotenusa y ngulo Si la hiptenusa y un ngulo agudo de un tringulo rectngulo son congruentes con la hipotenusa y un ngulo agudo de otro tringulo rectangulo, entonces los tringulos son congruentes,

Teorema. 3.17. hipotenusa y el cateto si la hipotenusa y un cateto de un tringulo rectngulo son congruentes con la hipotenusa y un cateto de otro tringulo, entonces los tringulos son congruentes.

Teorema. 3.18. Mediatriz Si un punto equidista de los extremos de segmento, entonces pertenece a la mediatriz del segmento.

Teorema. 3.19. circuncentro El circuncentro equidista de los vrtices del tringulo.

Teorema. 3.20. Incentro El incentro de un tringulo equidista de los lados del tringulo

Teorema. 3.21. Centroide El centroide de un tringulo se encuentra a dos tercios de la longitud de cada mediana.

68

3 . 3. Proporciones

Teorema. 3.22. desigualdad triangular Si las medidas de dos ngulos de un tringulo son diferentes, entonces la longitud del lado opuesto al ngulo mayor, es mayor que la longitud del lado opuesto al ngulo menor.

Conjetura. 3.9 Tringulo issceles Un tringulo es issceles si y slo si los ngulos de la base son congruentes.

3 . 3 Proporciones
Denicin. 3.56 Proporciones Si a, b, c, d I tal que se cumple R c a = , cuando c, d = 0, entonces se dice que a, b, c y d son proporcionales. b d

3 . 3.1
a c Si = , entonces ad = bc. b d Si Si Si c a+b c+d a = , entonces = . b d b d a c ab cd = , entonces = . b d b d c a b a = , entonces = . b d c d a c = . b d

Propiedades de las proporciones

Si ad = bc, entonces

3 . 4 Teorema fundamental de la proporcionalidad

Denicin. 3.57 Segmentos proporcionales Cuatro segmentos son proporcionales si y slo si sus longitudes son proporcionales

69

Contenido

Teorema. 3.23. Teorema fundamental Si una recta paralela a un lado de un tringulo interseca a los otros dos lados, entonces divide a stos dos en segmentos proporcionales

l f

E D

B C

Figura 3. 4. 14: Proporcin

Teorema. 3.24. Recproco del teorema fundamental Si una recta interseca a dos lados de un tringulo y los divide proporcionalmente, entonces la recta es paralela al tercer lado.

3 . 5 Polgonos semejantes
Denicin. 3.58 Polgonos semejantes Dos polgonos son semejantes si hay una correspondencia entre los vrtices tal que los ngulos correspondientes sean congruentes y los lados correspondientes sean proporcionales

3 . 5.1
Postulado.3.15 A.A

Tringulos semejantes

Dos tringulos son semejantes si existe una correspondencia entre ellos tal que Dos parejas de agulos correspondientes son congruentes.

Teorema. 3.25. A.A.A Dos tringulos son semejantes si y slo si al establecer una correspondencia entre ellos los ngulos correspondientes son congruentes.

70

3 . 6. Paralelogramos

Teorema. 3.26. L.L.L Dos tringulos son semejantes si y slo si al establecer una correspondencia entre los dos tringulos sus lados correspondientes son proporcionales

Teorema. 3.27. L.A.L Si un ngulo de un tringulo es congruente con un ngulo de otro tringulo, y si los lados correspondientes que forman los ngulos, son proporcionales, entonces los tringulos son semejantes.

3 . 5.2
Denicin. 3.59 Media geomtrica

Semejanza en tringulos rectngulos

Se dice que x I es media geomtrica de a, b I si y slo si se cumple R R

b x = , a, x = 0 a x

Teorema. 3.28. Media geomtrica En un tringulo rectngulo, la longitud de la altura a la hipotenusa es la media geomtrica entre las longitudes de los dos segmentos de la hiptenusa.

Teorema. 3.29. Altura-hipotenusa Dados un tringulo rectngulo y la altura a la hipotenusa, cada cateto es la media geomtrica entre la longitud de la hiptenusa y la longitud del segmento de la hipotenusa adyacente al cateto

3 . 6 Paralelogramos
Denicin. 3.60 Cuadriltero Un cuadriltero es un polgono de cuatro lados

Denicin. 3.61 Trapecio Un trapecio es un cuadriltero que tiene exactamente dos lados paralelos

B 3.69

5.69

Figura 3. 6. 15: Trapecio


Nota: : Los lados paralelos de trapecio se llaman bases.

Construccin. 3.9 Trapecio Para construir un trapecio, se construye dos segmentos paralelos, como se explic en las construccin de paraleleas y luego se construye el cuadriltero.

71

Contenido

c f A

C e

Figura 3. 6. 16: Trapecio


En la gura(??) se observa el trapecio ABHC. Denicin. 3.62 Paralelogramo Un paralelogramos es un cuadriltero que tiene sus lados opuestos paralelos

Figura 3. 6. 17: Paralelogramo

Denicin. 3.63 Rombo Un rombo es un paralelogramo que tiene sus lados congruentes

Denicin. 3.64 Rectngulo Un rectngulo es un paralelogramo que tiene dos lados contiguos perpendiculares.

Denicin. 3.65 Cuadrado El cuadrado es un paralelogramo que es rombo y rectngulo a la vez

72

3 . 6. Paralelogramos

A D

= 90

Figura 3. 6. 18: Cuadrado

Teorema. 3.30. LOPC Los ngulos opuestos de un paralelogramo son congruentes.

Teorema. 3.31. AOPC Los ngulos opuestos de un paralelogramos son congruentes

Teorema. 3.32. PAAPC Los pares de ngulos adyacentes de un paralelogramo son ngulos suplementarios.

Teorema. 3.33. RLOPC Si los lados opuestos de un cuadritero son congruentes, entonces el cuadriltero es un paralelogramo

Teorema. 3.34. RPAAPC Si los ngulos opuestos de un cuadriltero son congruentes, entonces el cuadriltero es un paralelogramo

Teorema. 3.35. Segmento medio El segmento que une los puntos medios de dos lados de un tringulo es paralelo al tercer lado y tiene la mitad de su longitud

Teorema. 3.36. PMCDP Los puntos medios de los lados de un cuadriltero son vrtices de un paralelogramp

Teorema. 3.37. Diagonales de un paralelogramo Un paralelogramo es un rectngulo si, y slo si, sus diagonales son congruentes,

Teorema. 3.38. ERSDP Un paralelogramo es un rombo si, y slo si sus diagonales son perpendiculares entre s.

Teorema. 3.39. ERDBA Un paralelogramo es un rombo si, y slo si, cada diagonal biseca a un par de ngulos opuestos

73

Contenido

Teorema. 3.40. Segmento medio del trapecio El segmento que une los puntos medios de dos lados no paralelos de un trapecio es paralelo a las dos bases y tiene una longitud igual a la semisuma de las longitudes de las bases.

Teorema. 3.41. trapecio issceles En un trapecio con sus lados no paralelos congruentes, los ngulos de la base y las diagonales son congruentes

Teorema. 3.42. La suma de las medidas de los ngulos exteriores de un polgono, en cada uno de sus vrtices es, 360 .

Teorema. 3.43. La suma de los ngulos de un polgono convexo de n lados es (n 2)180

74

ndice
Acentos y smbolos A El punto A, 4 l La lnea l, 4 A adicin, 2 lgebra, 2 Axioma, 3 Adicin de ngulos, 47 C Cantidad, 2 Condicional Contraria de un, 38 Congruencia, 12 Construccin ngulos congruentes, 23 Bisectriz de un ngulo, 26 Bisectriz de un segmento, 25 Duplicar un segmento, 21 Punto medio de un segmento, 24 Recta paralela, 65 Recta perpendicular dado un punto en ella, 27 Rectas perpendiculares, 29 Trapecio, 71 D Denicin ngulo exterior Un ngulo, 67 ngulos verticales, 48 ngulo, 15 ngulos congruentes, 19 Altura, 58 Bisectriz de un ngulo, 25 Bisectriz de un segmento, 25 Centroide, 60 Circulo., 13 Circuncentro, 59 Circunferencia, 13 Conjunto convexo, 8 Coordenada de un punto, 11 Cuadrado, 72 Cuadriltero, 71 Curva cerrada, 9 Distancia entre dos puntos de una recta, 11 Distancie entre un punto y una recta., 30 El Espacio, 5 Equingulo, 58 Equiltero, 58 Escaleno, 58 Estar entre, 14 Incentro, 59 Issceles, 58 lnea curva, 9 Lnea quebrada, 9 Longitud de un segmento de recta, 12 Media geomtrica, 71 Mediana, 60 Mediatriz, 28 Medida de un ngulo, 18 Ortocentro, 58 Par lineal, 48 Paralelogramo, 72 Partes correspondientes, 61 Planos perpendiculares, 20 Polgonos semejantes, 70 Polgonos, 16 Proporciones, 69 Puntos colineales, 5 Puntos coplanarios, 6 Rayo, 15 Rectngulo, 72 Recta perpendicular a un plano, 20 Recta transversal, 62 Rectas alabeadas, 8 Rectas concurrentes, 7 Rectas Intersecantes, 6 Rectas Paralelas, 7 Rectas perpediculares, 20 Regin plana., 9 Rombo, 72 sector circular, 17 Segmento curvo, 9 Segmento de recta, 5 Segmentos congruentes, 12 Segmentos proporcionales, 69 Trapecio, 71 Tringulo, 58 Tringulo acutngulo, 58 Tringulo obtusngulo, 58 Tringulo rectngulo, 58 Tringulos congruentes, 61 Valor absoluto, 11 Denicin, 3 Divisin, 2 G Geometra Eucldeana, 10 Geometra, 3 H Hiptesis, 3 I Igual, 2 L Lnea, 2, 4 M Magnitudes geomtricas, 2 Mayor o igual, 2 Mayor que, 2 Menor o igual, 2 Menor que, 2 Multiplicacin, 2 P Plano, 5

Contenido

Postulado, 3 A.A, 70 ALA, 61 De la regla, 10 Del Plano y la recta, 46 Del transportador, 17 Existencia de la recta, 43 Existencia de la recta paralela, 44 Existencia de la recta perpendicular, 45 Existencia de los puntos, 44 Existencia del plano, 43 Interseccin de los planos, 46 LAL, 61 Separacin del espacio, 47 Separacin del plano., 46 Potenciacin, 2 Problema, 3 R Radicacin, 2 relacin, 2 S Supercie, 2 Sustraccin, 2 T Trmino no denido El Plano, 4 El Punto, 4 Lnea Recta, 4 Trmino, 2 Trminos no denidos, 4 Tautologa, 3 Teorema, 3, 66, 74 ngulos Rectos 3, 52 ngulos alternos externos (AAE), 64 ngulos alternos internos (AAI), 64 ngulos conjugados internos (ACI), 65 ngulos correspondientes (AC), 63 ngulos rectos 1, 50 ngulos rectos 2, 51 ngulos rectos 4, 52 A.A.A, 70 Altura-hipotenusa, 71 AOPC, 73 Centroide, 68 circuncentro, 68 Complementos, 51 de suma de segmentos congruentes, 56 desigualdad triangular, 69 Diagonales de un paralelogramo, 73 Equivalencia, 50 ERDBA, 73 ERSDP, 73 Hipotenusa y ngulo, 68 hipotenusa y el cateto, 68 Incentro, 68 L.A.L, 71 L.L.L, 71 LAA, 68 LOPC, 73 Media geomtrica, 71 Mediatriz, 53, 68 Opuestos por el vrtice, 50 PAAPC, 73 PMCDP, 73 Recproco del teorema fundamental, 70 recta perpendicular, 65 RLOPC, 73 RPAAPC, 73 S.A.C.C, 49 SAIT, 65 Segmento medio, 73

Segmento medio del trapecio, 74 Teorema del ngulo exterior, 62 Teorema del par lineal, 49 Teorema fundamental, 70 Transitividad entre Paralelas, 66 Transitividad entre paralelas, 66 trapecio issceles, 74 Tringulo issceles, 62, 69 Unicidad de la perpendicular, 66 V Volumen, 2

76