Universidad Interamericana de Puerto Rico - Recinto de Ponce Corolario: Dado un ABC contenido en un plano P. Si D , D B, D C, E , E A, E B, y D-E-F, entonces D y F estn a distinto lado
Demostracin: Como se tiene el orden D-E-F resulta que E . Si D y F estn a un mismo lado de , entonces (pues es convexo). Luego E . Como E resulta que 0 lo que contradice la parte ii del postulado anterior. II. El paralogismo. Procediendo como se hace habitualmente en la geometra euclidiana, vamos a probar la siguiente proposicin: Todos los tringulos son issceles. Demostracin: Dado un ABC cualquiera como el de la figura 1.
Tracemos la bisectriz del C y la simetral del lado . Denotemos su interseccin por P. Tracemos desde este punto las perpendiculares y a los lados y , respectivamente. Unamos P con A y con B. En los tringulos rectngulos APS y BPR se tiene: (1) AP = PB (P est en la simetral de y luego equidista de A y de B). (2) PS = PR (P est en la bisectriz del C y luego tiene igual distancia a los lados del C). Revista 360/ No.1/ 2005
Universidad Interamericana de Puerto Rico - Recinto de Ponce Si aplicamos el teorema de Pitgoras a los tringulos rectngulos APS y BPR y empleamos las relaciones (1) y (2) se tiene: AS= AP PS= PB PR= BR, de donde resulta (3) AS = BR Mediante un razonamiento anlogo en los tringulos rectngulos PSC y PRC se tiene: SC= PC PS= PC PR= RC, de donde (4) SC = RC Como A, S y C son colineales y B, R y C son colineales podemos sumar (3) y (4) para obtener AC = BC Esto prueba que el ABC es un tringulo issceles. III. Anlisis.
La demostracin anterior, que parece correctamente a primera vista, tiene que tener una inconsistencia en algn punto, pues sabemos que existen tringulos que no son issceles. (Podra usted exhibir uno?) Sin embargo, determinar dnde est la falla en el razonamiento paso a paso para justificar la prueba dada. Supongamos, entonces, que est dado un ABC cualquiera. Sin prdida de generalidad, podemos comparar las longitudes de los lados y. Si AC = BC el tringulo es issceles y no hay nadad que probar. Supongamos por lo tanto que (+) AC BC.(*) Ahora consideremos las siguientes proposiciones. 1. La bisectriz del C y la simetral del lado se intersecan en un punto. En efecto, si ellas son paralelas (ver Fig. 2), se tendra que:
m A + m ACD = m B + m BCD = 90 Como m ACD = m BCD (pues es bisectriz del C) resulta m A = m B y luego AC = BC (pues en un tringulo si dos ngulos son congruentes, los lados opuestos a ellos son tambin congruentes). Esto contradice la relacin (*). Anlogamente, si suponemos que la bisectriz y la simetral coinciden, se llega a una contradiccin con (*). Conclusin. Bajo la suposicin (*), la bisectriz del C y la simetral del lado se intersecan en un nico punto. Revista 360/ No.1/ 2005
2. Dnde est ubicado el punto de interseccin de la bisectriz y simetral de la conclusin anterior? Afirmamos que este punto se encuentra en el exterior del ABC. Para hacer ver esto, consideramos la circunferencia circunscrita al ABC (ver Fig. 3).
Los ngulos ACP y BCP son congruentes y por lo tanto, tambin lo son los arcos AP y PB (pues en una circunferencia ngulos inscritos congruentes comprenden arcos congruentes). Por lo tanto, el punto P es el punto medio del arco AB. Como es cuerda de la circunferencia y es simetral de , resulta que debe pasar por el punto medio del arco AB (pues los ngulos del centro AOP y BOP son congruentes y por consiguiente comprenden arcos congruentes). Resulta entonces que la bisectriz y la simetral tienen el punto P comn y como ellas se intersecan en un nico punto, ste debe ser necesariamente P. Conclusin. Bajo la suposicin (+), la bisectriz del C y la simetral del lado se intersecan en nico punto que est situado en el exterior del ABC. 3. De acuerdo con la conclusin en 2, podra pensarse naturalmente que la inconsistencia en la demostracin en I se produjo al dibujar el punto de interseccin de la bisectriz y de la simetral en el interior del ABC. Sin embargo, antes de apresurarse a esta conclusin, examine las siguientes figuras 4 y 5.
Figura 5 Mediante un razonamiento similar a la parte I, se prueba en ambos casos que AC=BC, lo que muestra que la causa del paralogismo es ms profunda. 4. En las figuras 1, 4 y 5 los pies de las perpendiculares trazadas desde el punto de interseccin de la bisectriz del C y de la simetral del lado fueron dibujadas de modo tal que siempre estn situados a un mismo lado de la recta. Qu razones existen para justificar esto? Probaremos que esta disposicin de los puntos R y S no es correcta, y que en realidad M, A y B son colineales. Volvamos a la figura 3 y supongamos por un momento que el pie de la perpendicular trazada desde P al lado BC coincide con B. (ver Fig. 6)
Figura 6 Figura 6 Entonces + m ABP = 90. Como BAP ABP y ABC APC (pues son ngulos inscritos que comprenden el mismo arco), resulta m AFP = 90. Existiran por consiguiente dos perpendiculares trazadas desde P al lado. Esto es imposible a menos que coincida con. En este caso se tendra AC = CB (pues AFC BFC por A.L.A.), lo que contradice la suposicin (*). Supongamos ahora que el pie de la perpendicular coincida con el punto medio de (ver Fig. 6). Entonces RCP RBP por L.A.L. de donde RCP RBP. Como RCP PBA resultara PBA PBR lo que es imposible. En consecuencia, el pie de la perpendicular trazada desde P a cualquiera de los lados y no coincide ni con A ni con B ni con el punto medio de, si la suposicin (*) es vlida. Sin prdida de generalidad, supongamos que el pie R de la perpendicular trazada desde P al lado est entre B y C (ver Fig. 7).
Tracemos. Afirmemos que no es paralela a. En efecto si lo fuera se tendra ABC~, de donde se obtiene: MB : AB = BR : BC = 1:2 (pues 2MB = AB). Esto nos dice que R es el punto medio de, lo cual contradice lo probado en la figura 6. Por lo tanto, interseca el rayo en un punto S. Tracemos. Como los ngulos PRS y BMP son rectos, resulta que los puntos P, B, R y M estn en la circunferencia del dimetro. Luego (5) BPR BMR (pues son ngulos inscritos que comprenden el mismo arco BR). Adems, (6) BMR AMS (opuestos por el vrtice). Como m BPR = 90 - - resulta por (5) y (6) que m AMS = 90 - - . En el tringulo se tiene m ASM + m SAM + m AMS = 180. Luego (7) m ASM = 180 - = 90 - . De (7) y (8) resulta que es issceles y siendo bisectriz del C es tambin simetral del lado. Como P est en esta simetral resulta que PS = PR y en consecuencia (9) m PSR = m PRS =. De (7) y (9) se obtiene m CSP = 90 , lo que prueba que es perpendicular a en el punto S. Se obtiene as que los pies de las perpendiculares trazadas desde P a los lados del son colineales. La recta que contiene a estos puntos se denomina recta de Simson (por Robert Simson, 1687-1768). Como conclusin podemos afirmar que si el pie R de la perpendicular trazada desde P al lado est a un lado de la recta, el pie S de la perpendicular trazada desde P al lado est al otro lado de la recta. En efecto, en el se cumplen las hiptesis del corolario enunciado en parte I, lo que prueba que R y S estn a distinto lado de. 5. Estamos ahora en condiciones de explicar el paralogismo producido en la demostracin en la parte I. De acuerdo con la conclusin obtenida en 4, las figuras 1, 4 y 5 estn mal dibujadas, pues en ellas los puntos S y R estn a un mismo lado de la recta. Una figura correcta es el nmero 7. De acuerdo a ella, aplicando el teorema de Pitgoras a los tringulos rectngulos y resulta que CS = CR y AS = RB. Luego, CB = CR + RB CA = CS AS = CR RB Revista 360/ No.1/ 2005
de manera que CA = CB slo si RB = 0 y en este caso, como fue probado en 4 (ver Fig. 6), el tringulo es issceles. Ejercicio propuesto. Determinar la causa del paralogismo siguiente Un ngulo recto es congruente a un ngulo obtuso Demostracin. Consideremos un rectngulo ABCD. Con centro en B rotemos el lado de modo que se ubique en la posicin de la figura. Unamos D con C y tracemos las simetrales de los trazos y. Estas simetrales se intersecan en P, pues son perpendiculares a dos rectas que se intersecan. Unamos P con A, B, D y C. Entonces, AP = PB (pues P est en la simetral de). PD = PC (pues P est en el simetral de) AD = BC (construccin) Resulta (por L.L.L.) de donde (1) m PAD = m PBC , adems, (2) m PAB = m PBA (pues AP = PB). Restando miembro a miembro (1) y (2) resulta m PAD m PAB = m PBC m PBA m MAD = m MBC. Luego un ngulo recto es congruente a un ngulo obtuso. Referencias Eves, Howard Estudio de las Geometras, Tomo I, Mxico. UTEHA, 1969. Moise, Edwin E. Elementos de Geometra Superior, Mxico, Compaa Editorial Continental, 1968. Puig Adam, Pedro Curso de Geometra Mtrica, Tomo I: Fundamentos. Madrid, 1956. Prof. Enrique Daz, ediaz@ponce.inter.edu Profesor de matemticas- Universidad Interamericana de Puerto Rico, Recinto de Ponce.