Universidad Interamericana de Puerto Rico - Recinto de Ponce

Un Anlisis del Paralogismo: Todos los Tringulos son Issceles

Por: Enrique Daz Gonzlez Introduccin En la geometra euclidiana es posible obtener ciertos resultados que nos desconciertan, pues ellos no estn de acuerdo con nuestra experiencia. Estas conclusiones, denominadas paralogismos, se producen al razonar incorrectamente en una figura aparentemente bien construida, pero que despus de un examen ms profundo se advierte que en ella no se cumplen resultados bsicos de la teora. El presente trabajo contempla los siguientes propsitos. En primer lugar, exhibir uno de los paralogismos clsicos mencionado en la mayora de los textos de Geometra. En segundo lugar, justificar rigurosamente los pasos empleados en la construccin dada. Finalmente, realizar un anlisis para determinar los principios geomtricos fundamentales que se ignoraron en el razonamiento y que originaron el paralogismo. I. Un poco de Historia Recordemos que la obra Elementos de Euclides tiene una vigencia de ms de dos mil aos. Debido a la creacin de las geometras no euclidianas en el siglo XIX, los matemticos comenzaron a preocuparse intensamente de los fundamentos de la geometra y analizaron en forma crtica la obra de Euclides. Estos estudios culminaron con el trabajo de Moritz Pasch publicado en 1882, continuado y enriquecido por Giuseppe Peano (1889), David Hilbert (1899) y Oswald Veblen (1904). En la actualidad se reconoce que el trabajo de Hilbert vertido en su obra Fundamentos de la Geometra, constituye el desarrollo lgico ms completo para presentar la geometra euclideana. De la gran cantidad de material geomtrico que figura en los Elementos, Hilbert distingui los conceptos primitivos adecuados y agrup los postulados en cinco grupos: postulados de incidencia, postulados de orden, postulados de congruencia, postulados de paralelismo y postulado de continuidad. Uno de los postulados de orden, que no aparece en forma explcita en el trabajo de Euclides, es el denominado Postulado de Separacin del Plano (propuesto por primera vez por Pasch en una forma equivalente al dado). Para enunciarlo necesitamos el concepto de conjunto convexo. Definicin: Un conjunto no vaco H se denomina convexo si para cualquier par de puntos A y B en H, el segmento est contenido en H. Ahora podemos expresar el postulado mencionado anteriormente. Postulado de Separacin del Plano. Si P es un plano y L es una recta contenida en P, entonces existen subconjuntos convexos, y de P , tales que: i) P = L ; ii) , y L son subconjuntos disjuntos ; iii) Si A , B , entonces L 0 Definicin: Los subconjuntos y dados por el postulado anterior se denominan semiplanos y se dice que ellos son lados de la recta L. Si dos puntos estn en un mismo semiplano se dice que ellos estn a un mismo lado de L, y si estn en semiplanos distintos se dice que ellos estn a distintos lados de L. Consecuencia inmediata de este postulado es el siguiente Revista 360/ No.1/ 2005

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

Universidad Interamericana de Puerto Rico - Recinto de Ponce

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.

Revista 360/ No.1/ 2005

Universidad Interamericana de Puerto Rico - Recinto de Ponce

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)

Revista 360/ No.1/ 2005

Universidad Interamericana de Puerto Rico - Recinto de Ponce

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).

Revista 360/ No.1/ 2005

Universidad Interamericana de Puerto Rico - Recinto de Ponce

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

Universidad Interamericana de Puerto Rico - Recinto de Ponce

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.

Revista 360/ No.1/ 2005