UNIVERSIDAD DE ANTIOQUIA FACULTAD NACIONAL DE SALUD PBLICA "Hctor Abad Gmez Departamento de Ciencias Especificas Postulado: A cada par

de puntos distintos le corresponde un nmero positivo el cual se llama distancia entre los puntos Postulado: Para cualesquiera tres puntos colineales, uno y slo uno est entre los otros dos. Esto es, si A, B y C son puntos colineales (distintos), entonces una y solo una de las proposiciones siguientes es verdadera: (a) A se encuentra entre B y C; (b) B se encuentra entre A y C; (c) C se encuentra entre A y B. Postulado: Si A y B son dos puntos distintos, existe por lo menos un punto Tal que C AB, en efecto, se est afirmando que todo segmento rectilneo tiene por lo menos tres puntos. Postulado: Si A y B son dos puntos distintos, existe por lo menos un punto D tal que AB AD. Postulado: Para todo AB y todo nmero positivo n existe uno y slo punto P de AB tal que mAB = n. Este se llama postulado de la situacin de los puntos. un

Postulado: Si AB es una semirrecta, entonces para todo n entre O y 180 existe exactamente una semirecta AP, tal que m PAB = n. ste se llama postulado de la construccin de los ngulos. Postulado: (adicin de los segmentos) Un conjunto de puntos que se encuentran entre los puntos extremos de un segmento rectilneo divide al segmento en un conjunto de segmentos consecutivos, la suma de cuyas longitudes es igual a la longitud del segmento dado. (similar para el caso de ngulos). Segn la fgura, con los siguientes Datos: m AEB = 44, m BED = 34, m AEF = 120, EC biseca a BED. Completar las proposiciones siguientes: 1. m AEB + m BEC = m 2. m BED - m CED = m 3. m DEC + m CEB + m BEA = m 5. m AED = 6. m AEC = 8. m BEF = 4. m BEC = 7. m DEF =

Demostraciones formales de los teoremas Un teorema es una afirmacin o principio que se acepta slo despus de que se ha probado mediante el razonamiento. Todo teorema en geometra consta de dos partes: una parte establece lo que se da o se conoce, llamada "dato" o "hiptesis", y una parte que debe probarse, llamada "conclusin" o "tesis". Los Teoremas pueden escribirse de dos formas: (1) Como una oracin compleja. En esta forma, la hiptesis es una clusula que empieza con si o cuando", y la conclusin es una clusula que empieza con "entonces" Por ejemplo, en el teorema, "si dos ngulos son ngulos rectos, entonces los ngulos son congruentes", "dos ngulos son ngulos rectos" es la hiptesis y los ngulos son congruentes" es la conclusin. (2) Como una oracin declarativa. En esta forma, la hiptesis y la conclusin no son tan evidentes. Por ejemplo, el teorema anterior podra escribirse: "dos ngulos rectos son congruentes". Frecuentemente, la forma ms sencilla para determinar la hiptesis y la conclusin de una oracin declarativa es reescribirla en la forma si-entonces. La demostracin formal de un teorema consiste de cinco partes: (1) el enunciado del teorema; (2) una figura general que ilustre el teorema; (3) una afirmacin de lo que es el dato en trminos de la figura; (4) una afirmacin de lo que debe probarse en trminos de la figura, y (5) una serie lgica de proposiciones establecidas como: Definiciones, postulados aceptados y teoremas probados con anterioridad. Es recomendable que la persona que apenas comienza en el maravilloso mundo de la geometra coloque las proposiciones de la demostracin en una columna y las razones que justifican las proposiciones en otra columna al frente sera ms fcil para los dems, as como para s mismo, seguir su lnea de razonamiento.