P. 1
Acerca de La Demos Trac Ion en Geometria

Acerca de La Demos Trac Ion en Geometria

|Views: 4|Likes:
Published by romina

More info:

Published by: romina on Mar 20, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/25/2012

pdf

text

original

•••••••••••••••••••••••••••••••••••••••••••••••••••

; Lecciones populares :• de matematicas · :------•

0------•

1 DE •

~
• •

l

:-------

LA DEMOSTRAClllN EN GEOMETRiA
A.1. Fetisov

ACERCA

1

--------:

• •
• • • • • • •

·------:

Moscu
.------...................................................

OKA3A TEJIbCTBE B rEOMETPI1M rOCY.IIA.PHblE J1EIC~HM no MATEMATHKE A. ¢lETI1COB o tJ. TYPb[ MOCl<BA .H.PC"TBEHHOE 113M TEJI scrao TEXHHKO·TEOPEUI'l.nOnYJl5l.ECKOfi miTEP".

LECCIONES POPULARES DE MATEMA TlCAS AI. FETISOV ~CERCA DE LA DEMOSTRACI0N ANTONIO MOLINA GARCiA EN GEOMETRTA TRADUCIDO DEL RUSO Nil. EL INGENIBRO EDITORIAL MIR MOSCU .

lPara que haee falta la demostracion 111 la dernostraeion? 18 § 3. lQue es una demostracion? 7 § 2. 1980 . Editorial Mir.iNDICE INTRODUCCION § I. lQue proposiciones de la geometriapueden admitirse sin demostracion? 4S IMPRESO EN LA URSS. 198Q © Traducci6n a1 espafiol. lC6mo debeser § 4.

17 em. todo angulo externo es mayor que cualquier interne que no sea adyacente suyo. En el problema!.. las amigas y las asignaturas nuevas. En clase les habian explicado. a principios de curse.INTRODUCCI6N saci6n de dos nifias. La mayor de elias habia pasado al sexto grado En una ocasion. que tambien estudia en el sexto grado. pero es tan dificil recordar donde hay que poner cada letra . propuesto se daba un trapecio isosceles. los maestros. cuyas bases tenian respeetiv"amcnte 9 y 25 em. I) y me pregunt6: "lPara que hay que hacer una demostraci6n tan larga y dificil.. . durante toda la clase.. ol casualmente una conver- Ieceiones. lIega la maestra y dibuja en la pizarra dos mangulos iguales y despues. "La cstudiare por el libro .. los lados no paralelos. estudiar el teorema acerca de que en eJ triangulo. Tolia me ensefi6 el dibujo del libro de geometria de Kiseli6v (fig." angulo externo del triangulo. par el que "injustamente. y despues les sefialaron como tarea para easa. Siento no haber sabido que calificaciones obtendria esta nina en geometria." segun el. al quinto. son iguales. y se pedia hallar la ~I. cual las sumas de los lados opuestos del cuadrilatero circunserito son basandose en el teorema sobre el cuadrilstero circunscrito {segun el . en el trapecio habia iftscrit9 una circunferencia e indicaba que. para quejarse de la geometria. Por fin. esto esta tan clare que no necesita demostraci6n..." repetla varias veces. lPara que hace falta esto?"-"lY c6mo vas a responder si te preguntan esa lecci6n~"-le pregunto la mas pequefia." Ese mismo dia par la tarde oi c6mo esta muchaeha. superponemos el triangulo A' B'C' al triangulo ABC . pero pienso que esta asignatura debfa serle bastante diflciL Varies dias despues vino a verme mi vecino Tolia.Je habian rebajado 1a nota. Yo no comprendo. Las nifias hablaban de sus impresiones sobre las guraba Tolia-. se dedica a demostrarnos que. A la alumna de sex to grado Ie sorprendian mucho las lecciones de geometria: "Figurate-decia-. sentada junto a la ventana. Para resolver este problema. recientemente un alumno de octavo grade me ensefi6 su trabajo de control.tura del trapecio. cuando en este dibujo se ve clarameme que el angulo exterior del triangulo es obtuse y que los angulos internos no adyacentes a el son agudos'1 Sabiendo que el angulo obtuso es siempre mayor que el agudo -me aseY tuve que explicarle que esta proposicion no es totalmente evidente y que es muy razonable exigir la demostracion del teorema acerca del y la menor.. electivamente. estudiaba la geometria: "Para dernestrarlo superponemos el triimgulo A'B'C' al triangulo ABC .

ademas de que las demostraciones pareeen a veces demasiado campticadas y voluminosas. ~ iguales). Y se dan casos en que una demostraci6n aparentemente clara y convincente resulta sec incorrecta si se examina detenidamente. 1 to.·6 ".Los escolares no suelen comprender para haec falta demostrar una verdad que sin dernostracion pareece suficientemente clara. El alumna de octavo grade no podia eomprender es- subrayo que lareferencia al teorema sabre el cuadrilatero circunscrito La resolucion parecia muy sencilla y convincente. por 10 tanto. haec falta la demostracioa? 3) leomo debe ser 13 demostracion? 4) lQue puede admitirse en geometria sin demostracion? no era correcta. i. Hechos como estos que aeabo de mencioaar pueden citarse muenos.D6nde esta entonces el error?"-me preguntaba. que en el euadrilatero circunscrito las sumas de los lados opuestos son iguales entre si? Pues en nuestro trapecia 1a suma de las bases es iguaJ a la suma de los lados no paralelos. Et objeto de este librito es ayudar a los alumnos a comprender las cuestiones siguientes: 1) ~Que es una demostracion? 2) lPara que. e f A D FIG. "lNo es verdad. en dicho trapecio podia inscribirseuna circunferencia (puesto que 9 + 25 17 + 17). el cual era igual a 18 media proporcional entre las bases del mismo (este teorema habia sido demostrado por los alumnos en uno de los problemas re- = sueltos antes). en este trapecio puede inscribirse una circunferencia. Despues la altura Itl determinaba como el diametro de la circunferencia inscrita en el trapecio isosceles. pero el profeser que . acaso.

siempre proyecta sobre ella una sombra redonda". que en el easo dado se hace. aproximadamente. pues. se obtiene de cuerpos cuya forma es esferica. durante los eclipses de Luna. y viceversa. la forma redonda de la sombra. '\ Estos argumentos fueron iQs resultados de los experimentos en los cuales se puso de manifieJto la indudable influencia de los campos magnetico y electrico en el &nict~r de la radiacion de la luz por focos diversos. lQUE ES UNA DEMOSTRACION? I.7 § 1. habia que aportar argument os suficientemente solidos que demostraran que la naturaleza de ambos fenornenos es la misma. "Todos los cuerpos que en diversas posiciones proyectan una sombra redonda. En los aiios sesenta del siglo pasado. nos preguntamos. par ejemplo. Cada uno de est os testimonies can ayuda de los cuales puede conveneer a su interlocutor. en este caso nos apoyamos ante todo en LOS HECHOS. Se descubri6 iamoien una serie de otres hechos que demos- . puesto que su sombra es redonda. "La Tierra. en nuestra experiencia directa de la vida. el ultimo de los argumentos antes citados. se llama arqumetuo de la demostracion. Por consiguiente. arqumentacio«. Asl. de los viajes alrededor del mundo. Le hablara de como el horizonte se ensancha a medida que el observador se eleva sobre la superficie de la tierra. lque es una demostracion? Figurese que quiere convencer a su interlocutor de que la Tierra tiene la forma de una esfera. Esta afirmacion se funda en que todo el mundo sabe par experiencia pro pia que todo cuerpo esferico da una sombra redonda. Deduccion : "Por consiguiente. en el siguiente orden. Veamos un ejemplo de fisica. de que la sombra que proyecta la Tierra sobre la Luna durante los eclipses de esra ultima es redonda. Esta circunstancia Ie indujo a haeer la proposicion (hipotesis) de que la luz tam bien tiene caraeter de oscilaciones magneticas. para posiciones diversas de los cuerpos. 1a Tierra tiene forma de esfera". En el se afirma que la Tierra debe ser redonda. etc. que evidencia las propiedades de los cuerpos del mundo que nos rodea. el fisico ingles Maxwell establecio que las oscilaciones electromagneticas se propagan en el espacio con la misma velocidad con que se propaga la luz. Para demostrar que esta proposicion era justa habia que estableeer que la semejanza de las ondas luminosas y elecromagneticas no se limitaba imicamente ala igualdad de sus velocidades de propagation. lEn que se fund a 1a fuerza 0 persuacion de un argumento? Consideremos. y el conjunto de todos los argumentos. tienen forma de esfera". Despues recurrimos a LA DllDUCClON. aunque oeupa posiciones distintas COn respecto a esta.

8 traron can toda evidencia que las oscilaciones luminosas y las electromagneticas tienen una rnisma naturaleza. La expresion obtenida es mtiltiplo de g cualquiera que sea el numero natural n.QUlER numero impar. Teniendo esto en cuenta.4n = 4n(n .1)2 . que es 10 que habia que demostrar. Ha- cienda varias pruebas m8.1 = 4n2 - .1.S con otros numeros impares y Ilegando a1 rnismo resultado.. EI primero de estos caminos consiste en que basandonos en un gran numero de observaciones y experiencias llevadas a cabo con los objeros y Ienomenos descubrimos en eUos leyes eomunes. el mimero 411 (n -I) es siempre multiplo de 8. 1 = 80. nuestra expreslon tambien contiene necesariamente un factor 2. Asi pues. fen6menos y leyes. para hacer el parentesis obtenemos: (211 . disminuido en una unidad. 52-1=24. 15z . donde n es un numero natural cualquiera.1)1 . recordamos que todo numero impar tiene la forma 2n . Exarninando los numeros obtenidos vemos que tienen una propiedad corn un : cada uno de elias es divisible por 8.1. el factor cuatro indica que el numero 411(n .1 y n son dos numeros naturales sucesivos. asieomo sus objetos. n . de los cuales uno tiene que ser necesariamente par. En estos ejemplos pueden verse clara mente los caminos principales que se siguen para conocer el Mundo que nos rodea. En los ejemplos antes citados pudimos ver que basandose en observaciones se establecio la dependencia entre la forma del cuerpo ysu sombra: numerosas observaciones y experimentos ccnfirmaron que la naruraleza de la luz es electromagnetlca: finalmente. por 10 tanto. Abriendo .1 = 224 y asi sucesivarnente . la demostraci6n tenemas que aportar argumentos validos para CUAl. Por ejemplo: 7l-I=48. puede escribirse en forma de la expresion (2n .1) es multiple de cuatro. elevemos cada uno de ellos a1 cuadrado ya cada uno de los cuadrados obtenidos restemosle una unidad. En efecto.1 = 4n 1- 411 + 1 . Pondremos otro ejempJo de aritmetica. Et cuadrado de un numero impar. Tomemos varios nurneros impares cualesquiera. expresamos la siguieote hip6tesis: "El cuadrado de cuaJquier mirnero impart disminuido en una unidad. las Como ahora nos referimos a CUALQUlER numero impar. 92 - 111-1=120.I). Ademas. da un numero multiplo de 8".

a los hechos 0 a otras proposiciones ya demostra- das. razonamiento que parte de los conocimientos o verdades particulates para obtener mediante ellos una verdad mas genera] 0 que observa varies fen6menos para inferir la ley que los explica). Asi. dad de ninguna experiencia. numerosas observacionesy experimentos nos conveneen de que "por dos puntos puede trazarse una. etc. por deduccion. Seguimos otro camino cuando. Este ejemplo nos muestra que la inducci6n y la deducci6n no pueden separarse la una de la otra. los primeros conocimientos geometricos fueron adquiridos par via inductiva. de un gran numero de observaciones y experimentos. sin necesi- . Llarnamos "espaciales" aquellas prcpiedades por las cuales se determinao la forma. es deeir. y solamente una. Basandonos en esta verdad podemos afirmar. La geometria estudia las propiedades espaciales del mundo material. Esta via de obtenci6n de conclusiones generales por observacion de numerosos casos particulates. hacer edificios. 2. ala demostraci6n de que existe cierta propiedad de todo numero impar. a las observaciones. Sobre la base de los datos obtenidos deducimos la veracidad o falsedad de la proposicion que se demuestra. Esta claro que la necesidad de conocer estas propiedades se debe a exigencias practices: para construir maqui- nas. disminuidos en una unidad. sin recurrir a una experiencia especial. En efecto. Pero vol vamos a la geometria. si admitimos que dos rectas distintas pueden tener dos puntos comunes.9 pruebas que hicimos con los cuadrados de los numeros impares nos ayudaron a establecer la propiedad de dichos cuadrados. hay que medir lon- gitudes. areas y volumenes. La unidad de la inducci6n y la deducci6n es un rasgo caraeteristico del pensamiento cientifico. No es diflcil advertir que en el proceso de cualquier demostracion empleamos estes dos caminos. trazar carreteras. de esto se deducira linea recta. Como es natural.Jque "dos rectas di(erentes no pueden tener nada mas que un punto-comua" Estanueva verdad se (lhliene mediante un razonamiento muy sencillo. Cuando buscamos argumentos para demostrar una proposicien cualquiera recurrimos a la experiencia. 1a magnitud y!a posicion mutua de los objetos. Este camino recibe el nombre de deducciOn (de la palabra latina deduclio). Perc a medida que se fueron acumulando verdades geometricas se descubrio que muchas de elias pueden 0btenerse de otras verdades por medio de razonamientos. Asl.". aplicamos estes conocimientos a casas particulates. se llama induce iOn (de la palabra latina inducti». canales. conoeiendo ya algunas leyes generales. por ejemplo. en el ultimo ejemplo aplicamos las Jeyes generales de la aritmetica a un easo particular.

10 que par dos puntos pueden pasar dos rectas diterentes. examiaar 0 reflexienar). En esta exposicion se destacaban las proposiciones que se admitian sin demostracion. En la actualidad el trabajo de muchos ge6metras se orienta a poner de manifiesto todos los aximas neeesarios para construir el sistema de geometria y a reducir su numero todo 10 posible. y las demas propiedades y dependencias geometricas deducirlas de die has verdades fundamentales. Esta idea la concibieron ya [95 ge6metras de la Grecia antigua. Nos queda por responder otra pregunta: i. cuya veracidad se pone de manifiesto par medio de demostraciones. una demostraci6n es un sistema de razonamientos por medio de los cuales la veracidad de la proposicion que se demuestra se deduce de axiomas y de verdades antes demostradas. en el sistema de la geometria tenemos un numero relativamente pequefio de verdades fundamentales 0 axiomas.que garantiza la verdad . obtenidos por induccion y aceptados sin demostracion.. aun no puede considerarse que este acabado por complete. por medio de deducciones Iogicas. es decir. 300 afiosantes de nuestra era. EI trabajo en este sentido se initio el siglo pasado y aunque es Mucha 10 que ya se ha heche. el geometra griegoEuclides de Alejandria dio la exposicion del sistema geornetrice mas perfecta de su tiempo.. 10 cual contradice la verdad antes establecida. Las dernas proposiciones. comenzaron a llamarse teoremas (del griego 3eopeo.que es una demostraci6n en geometria? Como hemos vis10. EI sistema de 1a geometria de Euclides se conserve durante muchos siglos y aun en nuestros dias la exposicion de muehas partes de la geometria en la escuela moderna refleja Ia influencia de Euclides. Por esto la geometria es fundamentalmente una ciencia deductiva. Resumiendo 10 dicho en este parrafo podemos responder ya a Ia pregunta: .lo~ significa 10que parece 0 se estima como justo). EI estudio atento de estas verdades ha demostrado que unas de elias pueden obtenerse. los cuales empezaron a sistematizar las verdades geometricas que ellos conocian. La actividad practice del hombre condujo al descubrimiento de un numero muy grande de verdades geometrieas que reflejan nuestros conocimientos aoerca de las formas espaciales del mundo material. que pueden admitirse sin demostracion. mientras que las demas verdades doela geometria se infieren de los axiomas por medio de la deduccion. De este modo. deduciendolas de un numero relativamente pequefio de proposiciones fundamentales. de otras. los llamados axiomas (la palabra griega a. Esto sugirio la idea de destacar entre todas las verdades geometricas una parte de las mas simples y generales.

es decir. Asi. De estes dos dibujos ellector debe "percibir" que la suma de 1. Eslos argumentos pueden ser tanto indicaciones acerea de la posibilidad de comprobaci6n mediante observaciones y experiencias.cm ellibro "Lilavati" del matematieo indio Bhaskara Acharia. que vaya acompafiada de argumentos suficientemente s6lidos queconfirmen su veracidad. el teor~ma de Pitagoras se representa asi (fig.11 de las proposiciones obtenidas por deducci6n? La veracidad de la deduccion esta determinada por que en ella aplicamos ciertas leyes generales a casas particulares. par ejempio. 0 § 2.85 areas 2' . A pesar de todo se nos plantea la pregunta: lvale la pena hacer una demostraciencuando Ia proposicion que se quiere demostrar es por 51 suficientemente clara y evidente? Este era aproximadarnente el punto de vista que mantenian los matematicos hindues en la edad media. Si yo digo. el principio de la razon suficiente. tambien debe serlo para cada caso aislado. Estudiandoatentamente Is geometria no es dificil conveneerse de que es as! precisamente como razonamos en cada deduccion. 2). porejemplo:·. La demostracion de una proposieiongeometriea tiene por objeto el establecimiento de su certeza por medic de la deduccion I6gica de verdades ya demostradas 0 eonocidas.II:na de los anguios de cualquier triangulo es igual a 180 y que la figura ABC es un triangulo. Muchas de las proposiciones geometricas no las demostraban. Ahora procuraremos responder a la segunda pregunta: que hace falta 13 demostracion? lpara La necesidad de la demostracion es consecuencia de una de las leyes fundamentales de la logica (ciencia que estudia las leyes del razona- miento correcto). como lambien un razonamiento correctarnente estructurado que contenga un sistema de deducciones. su coacordancia con los hechos y con la realidad. no cabe Ia menor duda de que LA + LB T LC = 180°. sino que las acompai'iaban de un dibujo suficientemente expre~ivo y escribian sobre el una sola palabra "{mira!". lPARA QUE HACE FALTA LA DEMOSTRACI6N 1 I. En maternatieas nos encoatramos principalmente con argumentos del ultimo tipo. Este principio exise que toda afirmacion que bagamos tenga fundamento. . que la S1. siendo evidente que todo 10 que es justo en general y siempre.

EI primero de estes cuadrados estAformado por cuatro triangulos rectAngulos iguales y el cuadrado construido sabre la hipotenusa. sino que: tam bien piensa. los dos cuadrados construldos sobre los catetos. nos quedaran dos superficies iguales: en el primer caw.ngulo rectangulo. el cuadrado construido sobre la hipotenusa. es poco probable que pued~. llegar a una conclusion detenninada. es igual at area. del cuadrado construido sabre la hipotenusa. Como puede verse.12 de los cuadrados construidos sobre los catetos del tri!. 2 sar y razonar. y de los dos cuadrados construidos sobre los catetos. hay que pen- . iguales a los anteriores. iguales que tienen tambien areas iguales.d~rse que: en este caso no hay demostracion? j Claro que no! Si el lector mira simpiemente eI dibujo. a. sin razonar. En realidad el autor supone que lif lector DO s610 mira. y el segundo cuadrado consta de cuatro triangulos rectangulos. lPuede . S610 queda imaginarse que si de dos magnitudes iguaJes (las areas de los cuadrados grandes iguales) se quita una misma magnitud (el area de los cuatro triangulos rectangulos).qui es totalmente insuficiente el apoyarse s610 en la evidencia. EI lector debe comprender que ante sl tiene dibujados dos cuadrados FIG. y en el segundo.

3 siguiente experiencia: cojamos una cinta de papel y hagamos con eDa un anillo. lQue ocurrira con la hoja de papel cuando los extremes del corte se cierrcn 7 La mayoria de los preguntados responded seguramente y sin bargo esta respuesta puede ser erronea. que sea innecesaria toda clase de razonamicntos? Aq ui hay que indiear ante todo. 3). Si cortamos ahora esta banda siguiendo una linea cerrada a 10 y haciendo el corte a distancias aproximadamente . que en una ciencia exacta es imposible apoyarse sistematicamente en Ia evideneia. Puede ponerse un interesante ejemplo geometrico de c6mo puede cnganarnos una aparente evidencia. que la hoja se dividira en dos trozos independientes.13 Pero. Basta recordar cOmo cualquier suceso es contado de distinto modo por los testigos presenciales del mismo y c6mo a veces es dificil restableeer la verdad a base de las llamadas "declaraciones de los testigos". Sin em- FIG. tan evidentes en realidad. pegando sus extremos despues de darle la vuelta a uno de ellos . a otro puede pareeerle moy dudoso. porque eJ concepto de "evidente" es muy difuso e inestable: 10 que a uno Ie parece comptetamente evidente. lPuede ser que existan tales teoremas de geometria. Este ejemplo consiste en 10 siguiente : cojo una hoja de papel y trazo en ella una linea continua cerrada. matematico aleman que estudi6 las superficies de es- largo de la cinta te tipo). (Mobius. Como resultado obtendremos la lIamada "'bfU1da de Mobius" (fig.. Para demostrarlo hagamos la pensar. despues tomo unas tijeras y hago un corte siguiendo esta linea.

Por lo tanto. 1. la banda NO SE OIVIOIRA en dos partes separadas. 4). LC' Y LC Ylos lados A'C' y AC (ya que los angulos A' y C' no los construyo segun los angulos Aye y el lado AIC' no 10 habia tornado igual al lado AC). mas atentamente esta cuesti6n. B'C'= BC y LB = LB'. es decir. Hechos como el que acabamos de describir obligan a pensar en que roedida puede confiarse en los razonamientos basados en 1a "evidencia". En realidad. sino que seguiremos teniendo enla mano UNA SOLA cinta. dijo que otro tri- angulo A'B'C' estaba construido de manera que A'B' = AB. de que eran iguales. en este caso.DUC1R la igualdad de los triangulos. A la muchacha le pareeio extrafio que Is profesora dibujara dos triangulos iguales y despues deroostrara el hecho. aparentemente evidente. 10 que indu:::l . H'C' BC y L B' == L B. debemos DE. Examinemos ejemplo el caso antes referido de la alumna de sexto grado. el problema se planteaba de un modo totalmente distinto : LA PROFESORA NO'D1BUJAIIA DOS TRIANGULOS IGUALE$.14 iguales de los bordes del papeJ. partiendo de las condiciones A' H' = AB. y que se desconocia si serian iguales LA' y LA. la igualdad de todos sus elementos restantes. 4 sino que despues de dibujar un triangulo ABC (fig. Sirva de primer c s I A FIG.

5 Por analogia con el primer easo de igualdad de triangulos podriamos esperar que tambien ahara fueran iguales los triangulos. enel dibujo = . demostraciones. aunquecumplen las condiciones A'B' = AB. A'B' AB. 0 sea. En efecto. 3. que deja perplejo a mi vecino Tolia. Tambien es facil de demostrar que 1a igualdad de los rriangulos obtenida basandose en la igualdad de tres pares de sus elementos correspondientes. Escribamos esta condici6n: en 6ABC y !:lA'B'C. Variemos un poco la condicion del primer teorema sobre la igualdad de los triangulos: supongamos que dos lados de un triangulo son iguales respectivamente ados lados de otro y que tarnbien son iguales los angulos. sino los que se encuentran frente a uno de los lados iguales. B'C' Be y LA' "" LA. B'C' = Be y L A' = LA. lQue podemos deeir de estos triangulos? = c c· 8'~A' FIG. sobre el angulo externo del triangulo. dista mucho de ser tan "evidente" como parece a prirnera vista. Ejemplos de este tipo nos obligan a tener mucho cuidado en DUestros razonamientos y demuestran con suficiente claridad que 5610 una demostracion correctamente estructurada puede gatantizar la veracidad de las proposiciones que se establccen.15 dablemente exige ciertos razonamientos. 5 nos convence sin lugar a dudas de que los triangulos aqui dibujados ABCy A'B'C. por ejernplo. pero no los comprendidos entre estos lados. Be y B'C. Veamos ahora eI segundo teorerna. pero la fig. no son iguales.

Obtenemos entonces un triangulo ABC el FIG. incluso en aquellos casas en que la diferencia entre el angulo interne y el externo es tan pequeiia que no la pereiben nuestros instrumentos de medida. del punto C. podriamas decir can toda seguridad que ninguno de los instrumentos mas exactos y modernos para medir angulos seria eapaz de descubrir Ia diferenda entre estos angulos. De esto se deduce que con respecto a este teorema tampoco se puede decir que sea "evidente". por ejemplo. a ojo. en un triangulo tan agudo el transportador escolar ya no puede descubrir 1a diferencia entre el angulo interno B y el externo. 10 que puede apreeiarse con facilidad sin necesidad de haeer mediciones. UN CASO PARTICULAR de toda una clase de figuras geometricas. Figurernonos.16 que se da en el libro de texto oficial. Porque el teorema se refiere no 5610 al triangulo dibujado en el libro. Pero 1a demostracion rigurosa que se da a este teorema NO DEPENDE de la forma casual del triangulo representado en el dibujo y muestra que el teorema sabre el angulo extemo es valido para CUALESQUIERA triangulos y no de. Debe recordarse bien que el dibuj 0 es solarnente UN MEDIO AUXIUAR para la demostracion del teorema. indudablemente. y en todos los ca-os. en el papel 0 en la pizarra. siguiendo la linea recta. En relacion COil este ejemplo hay que prestar atencion a1 papel que desempefia el dibujo en la demostraci6n de un teorema geometrico. es decir. Par esto. cuya forma puede ser muy distinta de la que se da en ellibro. porque demostramos que siempre. que el punto A se aleja. pende en modo alguno de la longiud relative de sus lados. que es unicamente UN EJEMPLO. sino a CUAlQUIEk triangu10. 6) en el coal el Angulo en el punto B sera rambien obtuso. iQuiere esto decir que este teorema no necesita dernostracion? No. Ii (fig. el angulo externo es obtuso y los angulos internos no adyacentes a son agudos. Si el punta A se aleja del C aproximadamente 10 metros. seguimos estando seguros de que la diferencia EXISTE. eJ angulo externo del triangulo es mayor que cada uno de los internos no adyacentes a tl. con respecto a la . Y si el punto A se aJeja del punta C basta una distancia igual a la que separa la Tierra del Sol.

esto nos da la seguridad indudable en la veracidad de 13 proposicion demostrada. Una peeuliaridad muy importante de la demostraci6n geometrica.17 cual se demuestra dicho teorema. Se trata de que la geometria no es una coleceion casual de verdades que definen las propiedades espaciales de los cuerpos. y que determina en alto grado su necesidad. en eI dibujo para demostrar el teorema sabre el angulo externo del triangulo que se da en ellibro de texto oficial. Por ejemplo. 4. como si tienen mille- nes de kilometres. De esta forma. Finalmente. agudo. Del mismo modo. estos 01timos. Por esto tiene mucha importancia saber separar en el dibujo dado las propiedades generales y constantes de la figura de las particulates y casu ales. Es evidente que en estos hechos casuales no puede apoyarse la demostracion de una cualidad general para todos los t riangul os. Resumiendo todo 10 expuesto sobre la necesidad de Ia demostracion. el teorema de Pitagoras. con teoremas demostrados con mayor anterioridad y asi sucesivamente. Por esto precisamente estamos convencidos de que cualquier teorema geometrieo. en las propiedades de las rectas paralelas se apoya toda la teoria de la semejanza de las figuras. que condiciona la necesidad de la demostracion. extraordinariamente importante. podemos door 10 siguiente: 0 . Este sistema de relaciones es facil de seguir tomando cualquier teorema geometrico y analizando todas aqueUas proposiciones en que este se spoya. alargandose las cadenas de estas deducciones hasta Jlegar a las proposiciones fundamentales y los axiomas que constituyen la base de todo el edificio de la geometria. En este sistema cada teorema esta relaeionado organieamente con un conjunto de proposieiones antes establecidas y esta relacion se pone de rnanifiesto por medio de la demostraci6n. Si la dernostracion esta bien hecha y se apoya en proposiciones iniciales correctas. Par ejernplo. sino UN SISTEMA CIENTIFICO construido de acuerdo COil leyes rigurosas. el conocido teorema acerca de que la surna de los angulos internes de un triangulo es igual a 180 se demuesira basandose en las propiedades de las rectas paralelas. es casual el hecho de que el angulo externo sea obtuso y el interno. 10 que indica la relacion directa que existe entre la teoria de las rectas paralelas y las propiedades de las sumas de los angulos iruernos de los poligonos. es la de que por medic de ella se establecen las propiedades O"NERI\lEsdelas figures espaciales. 3-401 . por ejempio. cada teorema geometrico esta relacionado por todo un sistema de deducciones can teoremas antes demostradcs. existe otra razon mas. tanto si sus lados tienen varies milimetros de longitud. es justo para trisngulos de cualesquiera dimensiones.

es decir. b) La demostraci6n se realiza en virtud del requerimiento de una de las Jeyes fundamentales de nuestro pensamiento. el razonamiento deductivo es la aplicacion de cierta ley general a un caso particular dado. Todas las demas verdades -teoremasse demuestran basandose en estes axiomas mediante una serie de deducciones. siendo inadmisible toda a. debe ser demostrada rigurosa- Muchos postulados de la ciencia que se consideraban .18 a) En geometria s610 se admite sin demostraci6n un pequefio numero de verdades fundamentales axiomas. leOMO DEBE SER LA DEMOSTRACION? nes verdaderas? Ante todo hay que prestar atenci6n al hecho de que cada demostracion consta de una serie de deducciones. resultaron set falsos con el tiempo. es 1. Como ya hemos vista antes. La veracidad de los propios axiomas esta garantizada porque tanto elias mismos como los teoremas que se demuestran apoyandose en elloshan sido comprobados por reiteradas observaeiones y larga experiencia. e) Finalmente. la posibilidad de su aplicaci6n a todos cases particulares.legaci6n a la evidencia1). en cualquier ciencia. las verdades geometricas se reducen a un sistema armonioso de conocimientos cientificos en el cual se ponen de manifiesto todas las reJaciones internas que existen entre las diversas propiedades de las formas espaci ales. el principia de 1a razon suficiente. Pasemos ahora a la siguiente cuesti6n: lque condiciones debe indiscutibles en virtud de su evidencia. c) Una demostracion bien estructurada s610 puede apoyarse en proposiciones antes demostradas.Para no cometer errares en las deduceiones hay que conocer algunos esquemas mediante los cuales se representan las correlaciones entre cualesquiera 11 decir. Par esto. que garantiza Ia veracidad de la deducci6n hecha de proposicio- satisfacer una demostraci6n para que pueda considerarse correaa. d) La demostraci6n es necesaria tambien para fundamentar la generalidad de la proposici6n que se demuestra. que establece la necesidad de que la veracidad de nuestras afirmaciones este rigurosamente fundamentada. por esto la correcion 0 incorreccion de la demostraci6n depende de la correcci6n o incorreccion de las deducciones que intervienen en ella. por media de las demostraciones. ° 3. cada proposicion mente.

19 concept os. T(). 2) Todos los cuadrados son rectangulos. Finalmente. pertenece a la f clase de cuadrilatcros que tienen iguales las diagonaJes. 3' . Es indudable que si las circunterencias estan dispuestas de este modo. lOue tenemos en este caso? La primera proposicion esta blece una ley general en la cual se afirma que todos los rectangulos. En este caso el razonamiento en forma esquematica tendra la forma siguiente : 1) Todo M es P. 2) En el paralelogramo oblicuangulo la suma de los angulos opuestos no es igual a 180°. es decir. Expresemos este razenamiento de una forma general. 3) Conclusion: todo S es P. con la Ietra M. La clase M. DALACLASEdeiguras geometricas Ilarnadas rectangulos. Esta representacion de la correlaci6n entre los concept os fue propuesta por el gran matematico Leonhard Euler.la clase S Ia representaremos par otra circunferencia aun menor situada dentro de la segunda.. Esta relacion es facil de representar graficamente. 3) Deduccion: en todos los cuad rados las diagonales son iguales entre si. miembro de la Academia de Ciencias de S. incluidos los geornetricos. Examinemos un razonamiento que contenga una conclusion negativa: 1) Todos los cuadrilateros en los cualcs la suma de los angulos opuestos no es igual a 180"" no pueden inscribirse en una circunferencia. Por medic de un esquema semejante pueden representarse otras Iormas de razonarniento. la circunferencia S se halla totalmente dentro de la circunferencia P. 2) Todo S es M. la clase intermedia (de los rectangulos). con Ia letra S. La segunda proposicion afirma que toda la clase de los cuadrados es parte de la clase de los rectangulos. Petersburgo (1707-1783). y la clase menor (de los cuadrados). De esto podemos deducir con pleno fundamenta que toda 1a clase de los cuadrados es parte de 1a clase de los cuadrilateros que tienen iguales las diagonales. Supongamos que se ha hecho la siguiente deduccion: I) En todos los rectangulos las diagonales son iguales entre 51. La clase mayor Pia representarcmos por una circunferencia grande (fig. Demostraremos esto con un ejemplo. par una circunferencia menor que se encuentra totalmente dentro de 1a primera. Designemos la clase mas extensa (de los cuadrilateros que tienen iguales las diagonales) can la letra P. 7).

Esla fonna de representar las correlaciones entre los conceptos geometricos da la posibilidad de comprender bien la estructura de cuaJquier razonamiento y de descubrir el error en las concJusiones incorrectas.20 3) Conclusion: el paralelogramo oblicuangulo no puede inscribir- se en una circunferencia. con la letra M. La inmensa mayoria de los razonamientos deductivos se desarrollan en geometria de acuerdo con el esquema primero 0 con el segundo. I) Ningun M es P. 2) Todo S es M. Entonces nos convenceremos de que nuestro razonamiento se estructura segun este esquema. EI alumno hizo este razonamiento: . 7 y la clase de los paralelogramos oblicuangulos. Esta correlacion tambien puede representarse graficamente por medio de las circunferencias de Euler (fig. con la letra S. Como ejempio analizarernos el razonamiento antes descrito del alumno del octavo grado. Designernos la clase de los cuadrilateros que no pueden inscribirse en una circunferencia COD 1a letra P. que el profesor consider6 incorrecto. 8). FIG. 2. 3) Conclusion: Ningun S es P. la clase de los cuadrilateros en que la suma de los angulos opuestos no es igual a 180°.

- I I \ . per S. redncimos el .8 /' ". per M. - FIG.. la cla- se de los cuadrilaterosen los cuales son iguales las sumas de los lades opuestos. 9 Designando 1a clase de los cuadrilateros circunscritos por P.~- 'I. FIG. 2) En el trapceio dado las sumas de los lades opuestos son iguales entre 51. y Is clase de los trapecios en 10$ cuales la suma de las bases es iguaJ ala surna de los lados no paralelos. 3). Conclusion: el trapecio dado pucde sec circunscritoen una circunferencia.21 1) En todos los cuadrilateros circunscriros las sumas de los lades opuestos son iguales entre sl.

puede inscribirse una circunferencia. naturalmente. puesto que esta construida segun el esquema que ilustra la fig. (. 2) Todo S es M. 3) Conclusion: por consiguiente. el razonarniento correcto podria haberse estrueturado de esta forma: 1) En todo cuadrilatero en el cual las sumas de los lades opuestos sean iguales entre Sl. los angulos dados son adyacentes. 3) Conclusi6n: todo S es P. Esta dcduccion es completamente correcta. mas 1) Todo M es P. acerca de que en todo euadrilatero en el cual las sumas de los lados opuestos sean iguales entre S1se puede inscribir una circunferencia. aunque puede dernostrarse. para . ya que representando las correlaciones entre las clases por media de las circunferencias de Euler (fig. Si este teorema hubiera sido demostrado.22 razonamien I0 al esquema siguiente: I) Todo Pel) M. todo S es P. 2) Dos angulos dad as suman 180". pero no podcmos saear ninguna conclusion sobre la dependencia entre S y P. EI teorema reciproco. to cual es UN ERROR. Esta deduccion es. los angulos opuestos de un cuadrilatero inscrito). en vez de referirse al REcil'Roro. puesto que los angulos dados pueden sumar 180" sin ser adyacen tes (por ejemplo. no se demuestra en el libro de texto oficial. 3) Conclusion: par consiguiente. en el trapecio dado puede inscribirse una circunferencia. 6. Para convencernos aun mas de que la deducci6n hecha es erronea. como haremos adelante. err6nea. 9). 2) En el trapecio dado la suma de las bases es igual a la surna de los lados no paralelos -. En el ejcmplo del . 2) Todo S es M.euadrilatero circunscri to se toma como base el teorema que dice que en todo cuadrilatero circunscrito las sumas de los lados OPUCStos son iguales entre si.Par que se obtienen estos resultados erroneos? Porque el que ernplea sernejante razonamiento se refiere al teorema DIRECro. vernos que P y S se encuentran dentro de M. pondremos como cjemplo un razonamiento completamente analogo: I) Todos los angulos adyacentes suman ISOa. el error del alumno de octavo grado consistia en que el. 3) Conclusion: Asi.

AB> Be. cuando tenia que haberse apoyado en el reciproco. es decir. Tomando sabre AS un segmento BE = BC. puede lnseribirse ulJa circurferencia. y tomando sabre AD un segmento DF ee CD.Be = AE Y AD . Esto puede demostrarse par media de los mismos razonamientos que se dan cuando se demuestra el teorema sabre la existencia de una circunferencia inscribible en el triangulo y. Pasamos a la parte principal de la demostraci6n. 3. elcentro de la circunferencia inserita sera el punto de interseccion de las cuatro bisectrices de los angulos internes del cuadrilatero. obtenemos: AB . por ejemplo. Supongamos que existe un cuadrilatero ABGD (fig. Demostremos este importante teorema reciproco.por este mismo punto pasara tambicn la cuarta bisectriz y este punto se encontrara a distancias iguales de los cuatro lados y sera el centro de la circunferencia inscnta.BC"" AD . en un rombo siempre se puede incribir una eircunferencia. (1) Ante todo excluimos el caso en que el cuadrilatero dado es un rombo. En primer lugar advertirnos que si en un cuadrilatero puede inscri- birse una circunferencia. dejamos al lector que haga por su cuenta esta demostracion. Pm 10 tanto AE= AF Y eJ L::. es decir. por esto. Sea. Por 10 tanto. TI:OREMA. Si por 10 menos tres de las bisectrices del cuadrilatero se cortan en un rnismo punto. Entonces. las bisect rices del LB. En todo cuadrildtero en que las sumas de los lados opuestos son iquales entre si. el centro de esta circunferencia equidistara de todos sus lad os. se apoyaba en el teorerna directo. 10) en el eual se cumple ia correlaci6n AB+ CD=BC+ AD.CD= AF. pero AB. En los tres triangulos isosceles obtenidos trazamos las bisec(rices de los angulos en los vertices. . . Como la bisectriz de un Angulo es el lugar geometrice de los puntas situados a igual distancia de sus lad os. pasando en la igualdad (1) Be al segundo miembro y CD al primero. Supongamos por esto que nuestro cuadriiatero tiene dos lados contiguos desiguales. el centro de la circunferencia inscrita se encontrara en la bisectriz de cada ingulo intemo.CD.AEF es isosceles. En efecto. por 10 tanto. su punto de intersecci6n es el centro de Ia circunferencia inscribible.23 hacer su demostracion. Vamos a demostrar que el ~AEF tambien es isosceles. parque en el rombo las diagonales son las bisectrices de los angulos internes y. obtenemos el triangulo isosceles BCE.. obtenemos el triangulo isosceles CDF. en virtud de Ia igualdad (I) tendremos que CD < AD .

sera el centro de la circunferencia qee se inscriba. y hacen referencia a1 teorema de Pitagoras. 8 FlG. este triangulo es rectimgul0. como ya se demostro antes. Este ultimo afirma que si Ia suma de los cuadrados de dos lades de un triangulo es iguaJ al cuadrado del tercer lado. suelen responder que este (riangulo es rectsngulo. derle la debida atencion. es igual al cuadrado del tercer lado. Par ejernplo. es frecuente no conce . Por censiguiente. medics de los lados del triangulo CEF y par esto deben cortarse en e1 mismo punta. Estas tees bisectrices son perpendiculares a las bases CE. Aunque en el Iibro.. aunQue hay que referirse a su teorema reciproco. 32 + 42. 10 cual suele ser causa del error antes indicado. porquela suma de los cuadrados de dos de sus lados. el cual. 10 4. Hay que prestar mueha atenci6n para no caer en este error. 52. son perpendiculares levantadas sabre los puntas. de texto oficial se demuestra este teorema. si a los alumnos se les propene determinar la forma de un triangulocuyos lados tienen respeetivamente 3. 4 Y 5 unidades de longitud.s. De aqui 5e infiere que tres bisectrices de nuestro cuadrilatero se cortan en un rnismo punta. Con bastante frecuencia nos encontramos con el siguiente error en vez de referirse al teorema reciproco se refieren al directo. CF y EF Ylas dividen en dos partes iguale.24 LD Y LA. En relaci6n con esto es util establecer las condiciones can las cuaenIa demostracion: .

25 les son verdaderos simultanemente los teoremas directo y reclproco. iQue condiciones deben existir para que simultaneamente sean verdaderas la proposicion "Todo S es P" y la proposicion "Todo Pes 5"? Es completamente evidente que esto puede ocurrir si y 5610 si las clases S y P sean IDENTICAS(S "" Pl. Por ejemplo. es decir. Ya conocemos ejemplos en los que los teoremas directo y reciproco son ciertos al mismo tiempo. es false. en general. que debe afirmar que todos los angulos iguales entre si son angulos opuestos por el vert icc. mientras que el teorema reciproco. 11). naturalmente. II que la clase S es una parte de la clase P y. podemos afirmar que "AlgUn Pes S". En este caso la cireunferencia que representa a S coincide con 18 circunferencia que representa a P (fig. Por ejemplo. 12). un teorema directo atirma eorreetamente que los ang los opuestos por el vetice son iguales entre si. Representando la correlaci6n entre los conoeptos en el teorema primero por media de las circunferencias de Euler (fig. el teorema reciproco debe contener la afirmacion : "Todo Pes S" ("Todos los pares de angulos iguales entre si son pares de angulos opuestos par el vertice"). pero pueden ponerse no menos ejemplos en los que e) teorema directo es verdad y el reciproco no. Si el teorema directo contiene la afirmacion: "Todo S es P" r'Todos los pares de angulos opuestos par el vertice son pares de angulos iguaJes entre 51''). nos convencemos de o FIG. Para comprender c1aramente la relacion que existe entre el teorerna directo y el reciproco hay que volver a reeurrir a la representacion esquematica de esta relacion. para el teorerna "Todos los triangulos isosceles tienen iguales los angulos adyacentes a la base" tarnbien es correc4-407 . "algunos pares de angulos iguales entre sl son pares de angulos opuestos por el vertice".

22).se llama condici6n del teorema. El teorema reciproeo se obtiene del -"e . La primera parte de esta proposicion -"Si A es B". Esto se explica porque toda la clase de triangulos isosceles y 1aclase de los triangules que tienen iguales los <ingulos adyacentes a la base son una misrna clase. A veces puede parecer que los teoremas directo y reciproco no encajan en el esquema "Todo S es P" y "Todo Pes S". Pero esto s610 fue posible porque la clase de los cuadrilaterosen los cuales puede inscribirse una circunferencia coincide con la clase de los cuadrilateros en los cuales las sumas de los lades opuestos son igualesentre si. que esquematicamente se puede escribir de la forma siguiente : "Si A es B. Por ejemplo : "Si un cuadrilatero esta circunscrito a unaeircunferencia. 12 uno de sus lados es igual a la suma de los cuadrados de los otros dos lados. 5. (En este caso resulto ser verdad que "Todo Pes M" y que "Todo M es P". C es D". ya que resolvio el problema a pesar de que se apoy6 en el teorema directoen vez de hacerlo en el reciproco. Este analisis rnuestra al mismo tiempo que el teorema reciproco. las sumas de sus lades opuestos son iguales entre si". no es una conseeuencia evidente del directorsino que siempre requiere una denwstroci6n especial. si es correcto. Tamhien coinciden exactamente la clase de los triangulos rectangulos y la clase de los triangulos en los cuales el cuadrado de FIG. . Esto ocurre en aq uellos cases en que dichos teoremas se expresan en la forma llamada "razonamiento condicional''. y 1<1 segunda es 0".26 ta la afirmacion reciproca : "Todos los triangulos que tienen iguales los angulos adyacentes a la base son ·tdimgulos isosceles". vease el esquema de Ia deduccien en la pag.se llama conclusion. Nuestroalumno de octavo grade "tuvo suerte".

cuando se cortan par una tercera recta. Ahara vamos a dar un ejemplo de "demostracion" que. Pasamos ahora a estudiar otras incorrecciones de las demostraciones. En ellos la veracidad simultanea del teorerna directo y del reciproco tambien esta condicionada por la coincidencia de las clases de los conceptos correspondientes. lirnitandose a considerar unicamente el triangulo acutangulo. son respectivamente iguales dos lades y el angulo opuesto a uno de elias. Es bastante frecuente que el error en la demostracion tenga par causa el que esta se apoye en casos particulares. no es dificil convencerse de que esta diferencia no es esencial y de que todo razonamiento condicional puede transformarse facilmente en categorico y todo categorico en condicional. conclusion.A'B'C' (fig. los angulos alternos internes son iguales entre si". ya que la clase de las "rectas paralelas" es identica a la clase de las "rectas que cuando se cortan par una tercera forman angulos alternos internes iguales". puede expresarse en forma categorica asi: "Las rectas paralelas. En muchos casosla expresion del teorema en forma de razonamiento condicional es mas habitual que en la forma "Todo S es P". a pesar del hecho establecido. forman angulos alternos infernos iguales". sin rener en cuenta que la figura dada tiene otras propiedades. no obstante. Antes pusimas el ejemplo de dos triangulos DES1GUALEs{vease la fig. en el eual. Par ejemplo. que quiso demostrar el teorerna general del angulo externo de cualquier triangulo. en el ejemplo que acabamos de examinar son justos al mismo tiempo los teoremas directo y reciproeo. De este modo nuestros razonamientos siguen tambien en vigor para los teoremas expresados en forma condicional. el teorema expresado en forma condicional: "Si dos rectas paralelas se cortan por una tercera. que se llama "categorica". Este error fue precisamente el cornetido por mi vecino Tolia. efectivamente. Asi. A C = Af C' Y L C = L C'. 13) se da que AB = A' B'.ABC y el 6. Sin embargo. Para hacer la demostracion aplicamos el 6. agudos. 6. afirrna que los triangulos que satisfacen las condiciones antes indicadas seran iguales necesariamenteo Esta demostracion es interesante tambien porque se parece mucho a la del tercer criterio de igualdad de triangulos que se da en el libro de texto oficial. Supongamos que en el . cion.A' B' C' a1 6A BC de tal forma que el lado A' B' coincida can Pondremos otro ejemplo de este tipo de error en una demostra- . siendo aquel mucho menos apreciable en estc caso. 4) en los cuales. todos los angulos externos son obtusos y todos los internos.6.27 directo de modo que la conclusion pasa a ser condieion y la condicion.

Y como LC = LC". pues. es decir. Se ve facilmente que en este caso fJ .a). Pero resulta que nos hemos olvidado del caso tambien posible en que el segrnento CC" pase precisamente por el extremo del segmento AB. 13. 14 e\ segmento CC pasa por el punto B. BC = = 8G". el 6ACC es isosceles en = AC) y. . por 10 tanto. volvemos a obtener que LBCC" = LBC"C. de nuevo !lABC =: boAIB'C'. que el !:lBCC" es isosceles. Asi. obtenemos que L BCC" = L Be"e y. LACe" = LACC.D.6. . Parece que hemos dado una demostraci6n suficientemente completa y que hemos agotado todos los cases posibles.A'B'C'. En ereeto. 13.. el t::.28 el AS (AC y el punto C' ocupe la posicion C". Unimos los puntos C y y suponemos que el segmento CC" corta al lado AB entre los puntos A y B (fig.ACC" tambien en este caso es is6sceles y L ACC" = L AC'C. el . 13 isosceles. Por 1a condicion imcial. Por esto BC = BC" Y flABC = flABe" por tener tres lados iguales. Si el segmento CC" corta a la recta AB fuera del segmento AB.CBC" tambien es c A<:E-o-----'l-oooJl' . por consiguiente. Y otra vez Uegamos al tercer criterio de igualdad de triangulos.ABC = L::. b). Pero como L C = L C restando estos angulos de los dos de la ecuaci6n precedente. En la fig. restando de unos angulus iguaJes los otros tambien iguales.L:\r a) C' b) FIG. el teorema sigue siendo justo (fig.

. P. II parte.S ARISTAS LATERALEs. que figuran eo e1 libro de texto oficial c c· A~ FIG. como se muestra en la fig. 15). Kiseliov y en el curse de geometria elemental de N. pag. En un prisma de este tipo la seccion perpendicular a una de lasaristas Iaterales no corta las dernas aristas. GLAGOLEV.29 nuestros razonamientos son inaplicables y que los triangulos pueden ser completamente distintos. en ruso). 89.Sin embargo. 14.. 14 de A. Esta clase es la de los prismas oblicuos de altura muy pequefia (lig. Geometria. Pero existe toda una clase de prismas en los cua les ES IMPOST8LE TRAZAR UNA SECCION PERPENDICULAR QUE CORTE. para cuando las aristas del prisma son tan largas que puede trazarse en 61una seccion perpendicular. es facil conveneerse de que uno y otro teorema solo se han demostrado para un caso particular. 38. y todos los razonamientos que se dan en la demostracion de estas proposiciones resultan inaplicables. OtTO ejemplo muy aleccionador de errores de este mismo tipo son los teoremas sobre el area lateral del prisma oblicuo y la equivalencia de los prismas recto y oblicuo. en ruso) . EI primero de estos teoremas afirma : "El area lateral de un prisrna es igual al product a del perfrnetro de la seccion perpendicular por la arista lateral" (A_P. Glagolev. Geometria. TOJ)A~ LA. EI segundo teorema dice: "Todo prisma es equivalente a un prisma recto que tenga por base la seccion perpendicular del prisma oblicuo y por altura su arista lateral" (N_A. pag. KISIlUOV. A. concretamente. II parte. En este caso se debe eI error ala costumbre arraigada que tenemos de figurarnos el prisma en for- .

aunque mas profundo y que salta menos 3 la vista.~--- FIG. Cuando hacemos una construcci6n cualquiera necesaria para una demostracion. sobre e1 segmento mayor. 7. Primero se da 1a definicion de 1a medida comun ados segmentos y se establece que esta rnedida comun estara contenida un numero entero de veees en la suma y en la diferencia de los segmentos dados. el segundo resto. Recordemos de un modo resumido la marcha general de los razonamientos al hacer esta demostraci6n. ligado a las peculiaridades de la figura con respecto a la cual se hizo Ia demostracion. ni en los cuadernos y libros de texto. Luego se da el metoda para buscar 13 medida com un. sillo unicamente cierto caso particular. en forma de tabla. Pero e1 mismo hecho de 1aexistencia de los segmentos incon- . debemos pre gun tarn os siempre: "lPuede -----------------~---. Despues se dice que los segmemos que tienen una medida cornun se Haman conmensurables y los que carecen de medida comun. Nos referimos a la dernostracion de la existencia de segmentos inconmensura bles. hubiera sido dificil ballar un ejempJo de prisma en el cual ha bria sido imposible trazar una seccion perpendicular.tam bien la precaucion que debemos tener con el dibujo que se emplea para ilustrar la demostracion.30 rna de barra con altura bastante grande. lnconmensurables. EI resto que este contcnido un nurnero entero de veces en el resanterior sera la mayor medida comun de los segmentos dados. sobre el primero y asi sucesiva10 mente.-. mientras que IDS prismas bajos. IS hacerse esta construccion en todos los cases?" De haberse formulado esta pregunta a1 hacer la demostracion de las proposieiones antes indicadas acerca del prisma oblicuo. el primer resto se toma sabre el segmento menor. que ya era conocido par Eucli- des. Este procedimiento consiste en que. Este ejemplo muestra. Puede ponerse otro ejemplo de error de este tipo. En los dos ultimos ejemplos 10 eseneial del error consiste en que no se demuestra la proposicion que hay que demostrar. no. casi nunea se representan en la pizarra. se toma el menor tantas veces como quepa. que se expone generaimente en el curso de geometria elemental de 1a escuela.

. por 10 tanto.. esto no quiere decir que dicho objeto no exista. etc. que a su VeZ hay que tomar sobre 1a nueva diagonal. es decir. tomando sobre la diagonal del cuadrado ellado. La demostraci6n se hace aplicando el metodo de Euclides. sobre este el primer resto y asi sueesivamente. de dichos segmentos. Asi. Al hacer esto se pone de manifiesto que la diferencia entre 1adiagonal y ellado es ellado de un nuevo cuadrado. Como ejemplo suele ponerse la inconmensurabilidad de la diagonal del cuadrado con el lado del mismo. los numeros). Porque si no podemos haUar un objeto eualquiera valiendonos de un proeedimiento determinado de busqueda. se obtiene una serie ilirnitada de restos: . Para que la demostraci6n de que existen segmentos inconmensurabies sea completa hay que demostrar previamente la siguiente proposici6n.31 mensurables debe demostrarse teorieamente mediante el descubrimiento de un par. siendo 6.. Supongamos ahora que los segmentos ii y 1> tienen una medida comun . y con tetras sin raya. 110 pueden verse con ningun microscopio. Sean y bios segmentos dados (designaremos con letras con una raya encima los segmentes. iEn que consiste el error de esta demostraci6n? EI error consiste en este caso en que de LA IMPOSIBILIDAD DE HALUk LA MEDIDA COMUN POR ELMETODODE EUCLIDESno se deduce en modo alguno que dicha medida comun no exista. tendremos: a a> 'I s» D>'1 >'l > fJ > . Si el proceso de busqueda de la medida comun maxima de dos segmentes puede prolongarse indefinidamente. . los electrones no existen". Demostremos esta importante proposici6n.. ya que es posible que pueda encontrarse par otros procedimientos.. Esta claro que a este razonamiento puede objetarse faci1mente que: "Ademas del microscopic existen otros medios y procedlmientos con los cuales podemos convencernos de la existencia de los electrones" . . no podrlamos estar conlormes con un razonamiento como este:"Los electrones. Despues de esto se saca la conclusion: por consiguiente. por 10 menos. estos segmentos son inconmensurables. siendo cada resto anterior mayor que el que Ie sigue. el primer resto sobre 0. es imposible hallar la medida comun del lado del cuadrado y de su diagonal y de aqui se infiere que est os segmentos son inconmensurables. par 10 que este proeeso no terminara nunca y la medida cornun maxima de la diagonal del cuadrado y de su lado sera imposible de hallar. Supongamos que aillevar sucesivamente el segmento fj sobre el ii. Por ejemplo.:1> fl' f).. etc.

n. [a. puesto que AM = BN...' tambien debera prolongarseinfinitamente. en D n veces. suele ocurrir tam bien que el demostrante recurre precisamente a la proposieion que esta demostrando. La demostracion la hizo asi: "Sea en el b. "I' "1' "3' . flABM = 6A BN y. . Y. . 16). en virtud de las desigualdades entre los segment os. Supongamos que esta medida esta comprendida en ii m veees. son enteros y positivos y. 8. n. Consideremos el flABM y el t::.. La contradiccion obtenida nos obliga a renunciar ala suposici6n de que existe una medida comun de los des segmentos considerados. tendremos las desigualdades respectivas entre los numeros "1 m » n >"1>"2> "3>'" . AS]. Este error se llama "retorno a la demostraci6n" y no es corriente encontrarlo de una forma tan clara. es decir. Sin esta proposicion adicional la demostraeion de que existen segmemos inconmensurables 00 logra su fin.. 10 que significa que la diagonal del cuadrado es inconmensurable con su lado..ABC la bisectriz AM igual a la bisectriz BN (fig.. en f'ln'l veces. en'~ nk veces y asi sucesivamente . . puede oirse a veces el siguiente dialogo entre el profesor y el alumno. EI profesor pregunta: " lPorque son perpendiculares estas rectas?" El alumno responde: "Porque el angulo que hay entre elIas es recto". Los numeros m. puesto que 10 dernostrado es totalmente distinto de la proposicion que teniamos que demostrar. EI ejempJo del cuadrado nos convence de Ia existencia de segmentos en los cuales el proceso indicado no puede terminar nunca.Como supusirnos que la serie de los segmentos se prolonga infinitamente. De este modo. por 10 tanto. de acuerdo conlas propiedades de la medida com un. . debera estar comprendida un numero de veces en ii.Ypor que es recto el angu- lo?' -'"'Porque las rectas son perpendiculares". _" i. a reconooer que son inconmensarables.en lJ y en cada uno de los restos '1' f2' f3' . . el triangulo es isosceles".. la serie de los numeros m. a unq ue es menos corriente. a un alumno Ie pusieron el problema 51guiente: "Demostrar que si dos bisect rices de un triangulo son iguales..32 p. "" 112. Por ejemplo. los cuales son iguales. por ejemplo. LOCUALESIMPOSI8LE.ABN. en " veces. Lo mas frecuente es hallarlo enmascarado.cual. A B es xomun y LABN = LBAM como mitades que son de los angulos iguales adyacentes a la base. Las demostraciones incurren con mucha frecuencia en otro tipo de errores que consiste en que la demostracion se apoya en una preposidon aim no demostrada.ya que la serie descendiente sucesivamente de los numeros enteros positives no puede ser infinita.

16 EI error de esta dernostracion consiste en que se eita Ia igualdad de los angulos adyaoentes a la base del triangulo. ya que AM = BN 'j los angulos adyacenres a estos Iados son respectivamente iguales. y la recta tiene dos puntas cornunes can 1a circunfereneia (secant e). la recta tiene un punto comnn. mientras que en cI tercer caso suele decirse: "La recta pasa par un punto situado . considerandolas como evidentes. que son iguales. es decir. 2) la distancia del centro de la circunferencia a la recta es igual al radio.ACM y el L:. 3) la distancia del centro a la recta es menor que el radio.BCN. 0 sea. = c FIG. es decir. que es 10 que habia que dernosrrar". aunque dichas proposiciones DO esten incluidas entre los axiomas. Despues consideramos el L:.33 AN = BM. AI estudiar el problema de la posicion mutua de la recta y la circunterencia se consideran tres cases: 1) Ia distancia del centro de la circunferencia a la recta es rna yor que 01 radio. y esta es precisamente 1a proposition que hay que demostrar. Tambien son frecuentes los casas en que. Pero la igualdad de estos angulos es conseeueocia de que el triangulo sea isosceles. par consiguiente. y solarnente uno. para haeer la demostracion. Par esto CN eM y. se toman como base proposiciones no demostradas. AN + NC = BM + eM. AC = BC. Llamamos la atencion sabre el heche de que las des prirneras proposiciones se acompaiian de demostraciones correetas. Veamos dos ejemplos.Ia recta pasa por fuera de la circunferencia. can la circunferencia (tangente).

Sin embargo.34 dentro de la circunferencia Y. Hay que demostrar que si en un cuadriIdrero las sumas de los lados QPueSWSSOIl iauales. en eSM cundrildtero puede inscrtbirse una circunjerencia. corta a esta". Como segundo ejernplo citaremos la demostracion del teorema reciproco al del cuadrilatero circunscrito.CDI ADI . bajo la palabra "evidente" se oculta una proposicion geometrica muy importante: "Toda recta que pasa por un punto interne de la circunferencia. en este razonamiento. Supongamos que no 10 fuera.AD.6. 0 que DDj ADi . AB + CDl BC + ADJ' Restando rniembro a miembro esta igualdad de la dada. en virtud del teorema directo. Por 10 tanto. que se da en algunos cursos de geometrla elemental.AD. esta proposieien debe incluirse entre los axiomas 0 demostrarse apoysndose en otras proposiciones. 17). 17 Citamos literalmente esta demostracion: "Se da A B + CD = (fig. ES EVIDENTEque corta a la circunferencia". obtenemos que: CD. Demostremos que tambien sera tangente al lado AD.ADD1 no puede ser igual al = BC + AD = = = . T razamos una cireunferencia tangente a los lados AB. Trazando desde el punto A la tangente AD! obtenemos el cuadrilatero circunscrito ABeD!.en este caso. pero ya hemos dicho antes 10 vago e indetenninado que es el concepto de evidencia. Es cierto que esta proposici6n es bastante evidente. en el. Be y CD. se ve facilmente que. 10 cual es imposibJe (porque Ia diferencia de dos lados del. c FIG.

aun no demostrado. a nuestra pregunta acerca de que condiciones debe satisfacer una demostracion para ser correcta. 30. el establecimiento de la veracidad de la proposicion que se demuestra. debemos responder asi: a) La demostracion debe apoyarse unicamente en proposiciones verdaderas. Que los puntas de tangencia deben encontrarse entre A y B Y entre C y D se puede demostrar. de la posicion del punto A: hay que de- mostrar primeramente que el punu: de tanqencia de Ia circun!erencia se halla entre los puntas A y B. 18 los razonarnientos que se dan en la demosrracion. Si los puntas A y D oeupan 1a posicion que se indica en la ligura 18. b) Todas las conclusiones de que conste la demostracion deben es- tar bien construidas. 23). . para poder garantizar 1a veracidad de la proposicion. con respecto a ellos no podran haeerse FIG. 1a circunferencia tangente a los lados AB. es decir. y no sustituir est a proposici6n por cualquiera otra I'. en los axiomas y en los teoremas ya demostrados. par 10 que es preferible utilizar ta dernostracion que antes indicamos [vease la pag. es decir. es decir. pero esto conduce a razonamientos bastante largos. I} Como ocurrio en el ejemplo en la pag. Par consiguiente. Be y CD tambien es tangente al lado AD. c) Hay que tener siempre en cuenta el objeto de la demostracion." EI error de esta demostracion consiste en que se apoya en el conocimiento.35 tercer lado]. De este modo.

: y R los segrnentos obtenidos. En nuestro ejemplo se dice que unimos LOS PUI'ITOS MEDIOS de los lados del cuadrilatero. P. Q son los ountos medics de sus lados. NB NC.Con que podemos demostrar que. i. . Una vex que esto se ha escrito. en efecto. = = = . QD= QA... Todo est 0 10 formalizaremos de acuerdo con la escritura simb6lica que se emplea generalmente en la pracuca eseolar y que se incluye bajo las rubricas "Se da" y "Hay que demostrar". entre el gran numero de proposiciones distintas. nuestro teorema puede escribirse asi: S£DA: en el cuadrilatero ABCD MA MB. cornienza la demostracion del teorema. cuando recibimos una proposicion geometrica para demostrarla. QUE DP. Por 10 tanto hay que dernostrar el paralelismo de Despues de destacar la proposicion que debemos dcmostrar. 10.. Por ejemplo. 10 que quiere decir que en los lades del cuadrilatero se loman los puntos que dividen cada lado en dos partes iguales. se obtiene un paraJeJogramo? Para responder a esta pregunta recordaremos LA DEFINICION de paralelogramo como un cuadrilatero en el eual los lados cpuestos son paralelos dos ados. 19) 'j M. leOmo hallar el orden de los razonamientos que debe enlazar la proposicion que se demuestra con las verdades antes establecidas y can las condiciones del teorema? lComo elegir. tenemos la siguiente proposicien: "Demostrar que uniendo sucesivamente los puntos medios de los lades de un cuadrilatero se obtiene un paralelogramo". si tenemos ei cuadrilatero ABCD (fig. en nuestro ejemplo. hallamos dicha proposicion y esta es consecuencia de H. Pero. N..MOSTll . Para hacerla hay que utilizar los axiomas y teoremas ya eatablecidos y a la vez (y esto debe recordarse perfecta mente) las correlaciones esenciales que se indican en las condiciones del teorerna. del texto del teorema dado hay que separar aquellas condiciones que se dan en el mismo y que neeesitamos para Ia demostracion. PC PD MNllpQ y MQIINP... hay que destacar bien claramente LA IDEA PRINC1PALque debe ser objeto de la demostracion. precisarnente aquellas que pueden servirnos para demostrar nuestro teorema? Lo mils razona ble en nuestra busqueda es partir de la proposicion que hay que demostrar y plantearse el problema asi: le6ma consecucncia de que proposicion puede obtenerse la proposici6n que demosirarnos? S. Es ftecuente que esta idea no este expresada con suficiente claridad.36 9. Asi. En relacion con la necesidad de cumplir estos requisites es natural que se piantee la pregunta: lpero como encontrar la demostracion correcta? Vamos a dar varies ejemplos para resolver este problema. En primer Iugar.

lno hay alguna en que se hable del paralelismo de los segmentos que unen los puntas medios de los lad os de un paligono? Una de estas proposiciones es el teorema sabre la linea media del triangulo. pero ya con respecto a esta nueva proposicion y as! sucesivamente. nuestro problema estara resuelto. Pew no es dificil construirlos. Asi. Si no es asi. nos preguntamos: cnte las proposiciones antes dernostradas. Trazando la segunda diagonal demostrariamos de un .tercer lado e igual a 1a mitad de este. AI mismo tiempo recordamos que estos segmentos unen entre 51 los puntas medias de los lados del cuadrilatero. volveremos a plantearoos la misma pregunta. s c FIG. en los cuales los segmentos MQ y N P hacen de llneas medias. por ejemplo. MQI!BD y N pIIBD. Esta via del pensamiento recibe en la ciencia el nombre de ana/isis. En la figura que consideramos no hay tales triangulos. trazando. por consiguienteo N P~MQ. 19 En el ejernplo del cuadrilatero que nos ocupa hay que demostrar el paralelisrno de ciertos segmentos. Establecido esto. Entonces obtenemos ala vez dos triangulos. la diagonal BD. ABD y BCD. que dice que el segmento que une los puntos medios de los lados del triangulo es parale10 al .37 las condiciones y de teoremas demostrados ya.

ya que del primer par de triangulos tene11 mos que MQ = '2BD y NP = ZBD: por 10 tanto. Entonces el lado BD del angulo y' sera paralelo a tt + P + Y = 180°. Como segundo ejemplo tomaremos el conocido teorema de la surna de los angulos internes del triangulo. que designaremos por tt'. Asi. obtenernos el L CBE. De aq ui. Prolongando el lado AB mas alia del punto B. En este caso en el texto del teorema no se incluyen ningunas condiciones especiales y por esto debeescribirse unicamente aquello que bay que demostrar: en el t"ABC (fig. obtenemos la relaci6n que necesitabamos que sumar los tres angulos internes del triangulo. Esta suma conviene haeerla en la misma figura. Sin emba rgo. en virtud de la igualdad de los angulos cl = 0:. c FIG. de donde se deduce directamente que este cuadrilatero es un paralelogramo. 20) ct + ~+ y = 180°. esta segunda construccion no es necesaria. 2() Del contenido de la proposicion que se demuestra vemos que bay a AC. que los lades opuestos M Q y N P del cuadrilstero M N PQ no s610 son paralelos. es decir.38 modo analogo que tam bien M Nil PQ. Construyamos en el vertice B del angulo ~ eJ angulo y' = 't. y' = Y. tenemos que tt' + + y' = 180°. tt' = ct por ser angulos correspondientes formados por las mismas paralelas y la secante AB. MQ = N P. en virtud de la igualdad de los angulos alternos internes adyacentes a la secante Be. En los ejemplos que hemos puesto se encuentran bastante pronto . sino iguales entre 51. ya que estos angulos juntos constituyen un angulo llano.

. el punto de la cireunferencia circunscrita. .ed. pag. Hay que demostrar que N..------~----------- las relaciooes necesarias..ia y desde un punta cualquiera de ella se bajan perpendiculares a los ladosdel trhingulo. Entonces el analisiase hace mas largo y dificil.. las proyeceiones res. CA y AS del triilnguJ. pectivas de dicho punto sobre los lados BC. Q. tenemos: Se da: M N 1. Q pertenecen a una misma recta equivale a deck que el angulo N PQ es llano. problema 13. Pero hay casos eo los cuales esta relaci6n se establece por medio de toda una serie de proposiciones auxiliares.d. y N. pues. Hay que dernostrar la siguiente proposieion (. Sea ABC el triangulo dada (fig.. 21 dado. Hagamos el analisis . Geometna. Asi. AI escribir la proposicion que hay que demostrar puede tenerse en cuenta que la condition de que los puntos N.J5EI. P Y Q se encuentran en una misma recta. K. parte I. P.ngulose circunscribeuna circunferenc. Pondremos un ejemplo de analisis mas complejo.39 -----~. M P 1. sus bases descansan en una recta (recta de Simpson). el punto M perteneciente a la circunferencia circunscrita al 6ABC. M.o FIG.Be. P. 21). 80..IOY. P. 11. MQlAB. CA. en ruso): Sia un tri...

40 Hay que demostrar: LNPQ"'" 180°. el L N PQ = ct. o bien LAMQ+ LQMC+ LB= 180°. L M P A = 900 Y LA PQ IX. lntentemos ahora demostrar que LAMQ = LCMN.' logramos demostrar que IX' = IX. Los angulos rectos APM y AQM se apoyan en el segmento AM. finalmente. + 15= 90°. la suma de sus angulos opuestos es igual a 180": LAMe + LB = 180°. Para esto prestamos atencion a que el cuadrilatero ABCM es inscrito y que. par esto la circunferencia construida sabre AM como diametro. como ya vimos. por 10 tanto. en el cuadrilatero BQMN los angulos en los puntas Q y N son rectos. construyendo sabre MC como diametro una circunferencia. LAMQ = LAPQ = a. } (2) + LCMN + LB = LB= LAMQ+ LAMQ. N PQ 0 igualdad buscada intentaremos establecerla examinando los nuevos angulos. 180°. L CMN = L CPN = IX'. para 10 cual aprovecharemos las condiciones del teorema. En virtud de las propiedades de los angulos inscritos. La proposici6n q uedaria demostrada = + IX = 180". Observando el angulo NPQ vemos que esta formado por L M PN 3. = 1800. Como L MPC = 9(t. pasa par los puntos P y Q. ('I Ingualando de donde las igualdades (1) y (2). + 15+ 90° = ('I . (J. LQMC+ LCMN= es decir. De un modo semejante. vemos que pasa por P y Ny par la propiedad de los angulos inscritos. Si que t. Consideretenemos que + 0 = 9(t. La si consiguieramos demostrar = = I) + 90 + que + I) = 90". se deduce que 1800 y. obtenemos: LCMN+ LQMC+ LB. } (I) Par otra parte. Para esto basta demostrar IX mos LCPN = (l'. por 10 que la suma de sus otros dos angulos es igual a 180°: LQMN o bien LQMC + '-B = 180°. el teorema estara demostrado.. r:i =: De aqui.

Este caso. No se consigue siempre emprender de inmediato e1 camino correcto. de un mismo proceso. es decir. En virtud de 1a igualdad de las medianas y de que el punto P se encuentra en el tercio de cada mediana. Y como estos seg- = = = . Una vez desechada la consideraci6n de estos triangulos.BM P y AN = BM. despues estableceriamos las igualdades LAMQ=LMQN y LCMN=LCPN. ya que tenemos pocos datos para poder demostrar su igualdad. Al principio puede parecer conveniente considerar los triangulos ABM y ABN Y demostrar que son iguales. de que LCPA = LCPN + L MPN + 900 = 180" obtendriamos que LNPQ = LMPN + 90~ + LAPQ = 180°. se llama SiNTESIS. No se da la igualdad de los angulos ni de los terceros lados. Por eonsiguiente. de exposicion de la demostraci6n. y a veces hay que desechar el procedirniento fijado y pasar a otro. Finalmente. Se da el ~BC en el cual las medianas AM y BN son iguales entre sf. Ja sintesis. Del mismo modo nos convencemos tambien de que carece de sentido considerar los triangulos ACM y BCN.41 Si tuvieramos que expresar de una manera consecutiva la marcha de la demostraci6n. el metodo para exponer la demostracion. Asi. Por esto tenemos que renunciar a este camino. buscamos un nuevo camino. nos veriamos obligados a seguir el camino inverso: primeramente demostrariamos que LAMQ = LCMN. Supongamos que hay que demostrar la proposici6n siguiente: "Si dos rnedianas de un triangulo son iguales entre si. el analisis y la sintesis son dos estados. inseparablemente ligados entre si. que es el que se emplea de ordinaria en los libros de texto yen clase al demostrar los teoremas. obtenemos que PN = PM. inverse al analisis. Pero no es dificil ver que para esta demostraci6n nos faltan datos: s610 sabemos que AM = BN Y que ellado AB es comun en estos triangulos..1a estructuracion de la demostracion del teorema dado.AN P b. Exponer la demostracion de los teoremas par el metoda sintetico es mas (acil y natural. EI analisis es el metodo para buscar la demostracion. Pondremos un ejemplo.. Designamos por P el punto de intersecci6n de las medianas y consideramos los triangulos AN P Y BM P. PA = PB Y LAPN LBPM como opuestos por el vertice. P y Q estan en una misma recta. este triangulo es isosceles". pero no debe olvidarse que para BUSCAR la demostracion tenemos que hacer uso inevitablemente del analisis. b. que los puntas N. Esta clare que cuando se busca la demostraci6n de una proposicion eualquiera no siempre es facil hallar la sucesion necesaria de conclusiones.

ya que nada sabemos acerca de la igualdad de los angulos.42 mentes son las rnitades de los lados respecrivos. 12. querernos Ilamar 1a atenci6n sabre el hecho de que todo teorema puede demostrarse por dos procedimientos: directo e indirecto. poniendo en duda la veracidad de la proposicion que se demuestra y tomandola por falsa. c· FJG. Antes de terminar esta parte. En el Iibro de texto oficial se dice que demostrar este eli terio par superposicion no es conveniente. Para hacer la dernostracion superponemos el boA'B'C' al boABC. tam bien sera AC= =BC. Pero utilizando el metoda de reduccion al absurdo tambien puede demostrarse este criteria por superposicion. Veamos ahora algunos ejemplos de demostracion por reducd6n al absurdo. sean ABC y A' B' C' los triangulos dados (fig. Con LA DEMOSTRACION [NDlRECTAestablecemos que. Ilegamos a una contradicci6n con las condiciones 0 con una proposicion ya demostrada. Por esto la demostracion indirecta se llama tambien demostracion por REDUL'CION I\l ABSVRDO. que es 10 que habia que demostrar. Can LA DEMOSTRACION D1RE('TA nos convencernos de la veracidad de la proposicion demostrada estableciendo una relacion directa entre ella y las demostradas con anteriondad. CA ~ C'A' Y AB = A'B'. en los euales BC= B'G'. La habilidad para hacer el analisis y haJlar par si mismo la demostraci6n se adquiere haciendo muchos ejercicios. para 10 cual es necesario resolver sisternaticamente problemas sobre demostracrones. 22). de manera que el lado A'B' coineida con el A B. Hasta aqui hemos empleado preferentemente en nuestra exposicion la demostraci6n directa. Como nada sabernos acerca de la igualdad de los angu- . 22 Como primer ejemplo daremos la dernostracion del tercer criteria de igualdad de triangulos. Asi.

AM y BM. Comparemos ahora el f::. el triangulo es isosceles. Unamos los puntos C y C. tarnbien sera L ABC> L CAB.BDN. Par 10 tanto. Como segundo ejempJo tomaremos la demostraci6n de la proposicion antes citada de que si dos bisectrices de un triangulo son iguales. LeBN = LABN Y AM= =BN. al superponer los triangulos. supongamos tambien que AC > BC. puesto que N D = AM = BN. hernos lIegado a la conclusion de que si se admite que los puntas C y C' no coincideu.S. que sera ISaSCEL(. ya que esto significaria que los puntos A. no podemos afirmar que el punta C' coincida con el C. en elias A B es comun. todo el segmento) se encuentran a un mismo lado de 1a recta AB.ABM Yel 6ABN. ASI. AM = BN por la condicion. As! obtenemos que par el punto M pueden trazarse dos perpendiculares. B Y M pertenecen a una misrna recta. Por 10 tanto. MD =: AN y L 5 =: L2. Escribimos el teorerna. EI 6. Por otra parte.ACC" es isosceles (por la condition de que AC"::o AC). AN> BM. para precisar.43 los. flA Y QUE D.ABC y que sus bisectrices son AM y BN (fig.BCC" tambien 10 es (par la condicion de que Be" = = BC). Supongamos que el triangulo no es isosceles y. 10 cual es imposible en virtud de que los puntas C y C" (y. La demostracion la hacernos par el rnetodo de reducci6n al absurdo. Pero esto contradice las propiedades de la perpendicular establecidas con anterioridad. obtenemos que L 3 > L 1.ABC LCAM= LBAM. y los angulos comprendidos entre los lados respectivarnente iguales. es decir. La altura BM del triangulo isosceles BCe" tambien pasa par cl punta medio M dellado CC". 23). Si esto es asi. enfrente del angulo mayor se encontrara un lado tambien mayor. por consiguicnte. Uniendo B con D obtenemos el f::. Estas perpendieulares no pueden coincidir. no son iguales.MOSTRAR: AC "'" Be. La altura AM del triangulo isosceles ACe" pasa por M. a la recta CC".F. igual y paralelo a AM. Tracemos ahora par el punto N el segmento ND. Entonces el cuadrilatero AMDN sera un paralelograrno y. el punto C' debe coincidir con eJ C obreniendose que f::. Supongamos por esto que dicho punto ocupa la posicion C". punto media dellado CC" (porque en el triangulo isosceles la altura coincide con la mediana}.A'B'C. resulta que par un mismo punta M pueden trazarse a la recta CC' dos perpendiculares distintas. en eI 6BDM el lado = . Numerando los angulos como muestra la figura. Supongase que tenemos el f::. sEPA:enelf::. por consiguiente.ABC D. el f::.

44 MD = AN. . a que los angulos adyaeentes a la base de un triangulo isosceles no son iguales entre si. pues. A proposiciones claramente contradictories hemos lIegado en los dos ul. a veces. por 10 tanto. por medic del anaiisis. pero AN > BM y. Hemos obtenido. ya que L5 = L2 = = L 1.A = L 3. obtenemos: L4+ L 7> LS + L6. Asi. es decir. Esta contradiccion hace que renunciemos ala suposicion de que AC > Be. Bstos ejemplos esclarecen suficientemente el caracter de las demostraciones pm reduccion al absurdo. pero L 3 > L I. MD > BM.Y L. de donde tambien es L 7"> L6. A este tipo de demostraciones suele recurrirse cuando a1 buscar argumentos se descubreque la demostracica directa es dificil y. que los angulos c FIG. yen el segundo. AI mismo tiempo L4 > L5. Si se suma la desigualdad obtenida L 7> L6 Y L4> L5. De un modo analogo podriamosrefutar que Be> Ae. imposible de hallar.timos ejemplos: en eI primero lIegamos a la conclusion de que por un punto pueden trazarse dos perpendiculares a una recta. pues. 13 adyacentes a la base del triangulo ls6sCEu:sBDN no son iguales. se procura hallar un orden de conelusiones que conduzca a una proposici6n que se encuentre en clara contradiccion can cualquiera de las ya establecidas. L BDN > L DBN. AC=BC. En este caso se toma una proposici6n que eontradiga aquella que hay que demostrar y.

para construir el sistema de conocimientos geometricos? La tendencia a construir la geometria a partir del menor numero posible de axiomas se debe a toda una serie de causas. por ejemplo.QUE PROPOSICIONES DE LA GEOMETRIA PUEDEN ADMITIRSE SIN DEMOSTRA06N? 1.45 § 4. que par dos puntos no puede trazarse nada mas que una recta. naturalmente. cuanto menor sea el numero de . la importancia de cada uno de elias par separado. Pero el desarrollo de la geometria no ha seguido este camino. En primer lugar. que es poco probable que alguien pueda poner en duda su veracidad. de este pequefio namero de verdades fundamentales. lPor que se eligia precisamente este camino. muchas demostraciones serian innecesarias. ya que no puede olvidarse que estos axiornas deben encerrar en SI toda la futura geometria. Por esto. etc. c. mas dificil y complejo a1 pareeer. nos encontramos con que hacer esto no es tan facit. son iguales entre si. al contrario. al disminuir el numero de axiomas aumenta. Para nosotros es indudable. y solamente una. etc. Ests. clare que el numero de estas proposiciones podria aumentarse en muchas veces. naturalmente. En Ia actualidad se conoce un numero muy grande de proposiciones geometricas que fueron sometidas a comprobacien practice tantas veces. que la distancia entre dos lineas paralelas es iguaJ en todas partes. que par un punto dado puede trazarse a una recta una. que todas estas proposiciones tengan que ser admitidas como axiomas. perpendicular. Pero de esto no se deduce. por via deductiva. lPor que todas estas proposiciones no se admiten como axiomas? De hacer asi se simplificaria mucho la exposici6n de la geometria. Cada cual puede decir que sin demostraci6n pueden admitirse los axiomas y como tales pueden tomarse las proposiciones cuya veracidad ha side demostrada mucbas veees y no ofrecen duda alguna. que dos segment os iguales a un mismo tercer segmento. Respondarnos ahara a la ultima pregunta planteada en Ia introducci6n: ique proposieiones de 1a geometria pueden admitirse sin demostraci6n? A primera vista esta pregunta parece muy facil. que debe deducirse de ellos. Perc cuando queremos elegir practicamente las proposiciones correspondientes. los ge6metras han procurado reducir al minimo el numero de axiomas y todo el restante contenido de la geometria se infiere. que la suma de dos lados de un triangulo es mayor que el tercer Jado.

diccion.Esta exigencia se cornprendera perfectamente si se recuerda que queremos haeer que nuestro sistema sea minima. mas generales e importantes. que en el sistema figuren a la vez los axiomas siguientes: "Por un punto no perteneciente a una recta se puede trazar una. sino que tambien entre las consecueneias de ellos no debe haber dos proposiciones que se contradigan entre si. Una vez aceptado el sistema de axiomas. Debemos admitir no un axioma aislado. profundas e importantes seran las propiedades de las formas espaeiales que ponga de manifiestocada axiorna de par si. No puede perrnitirse. . Asi. Es natural que en este sistema pueden incluirse sola mente verdades comprobadas much as veces que reflejen las leyes mas generales y basicas de las forrnas espaciales. tanto mas facil sent com pro bar su veracidad y seguirel cumplimiento de aquellas condiciones que se imponen al conjunto de los axiomas (de ellas hablaremos mas adelante).. ya que estas proposiciones no podran ser verdaderas a1 rnisrno tiempo. es decir. tanto mas generales.46 axiornas. 2. Si una proposicion dada puede demostrarse apoyandose en otros axiomas. es la circunstancia de que cuanto menor sea dicho numero.. que obliga a reducir en 10 posible el mimero de axiomas. para lela". debemos prestar atencion a que no entren en e! proposiciones que se contradiganentre si. Otra causa irnportante. par ejernplo. Pero a la vez que. sino un teorema.Que debe servirnos de guia en esta eleccion? En primer Ingar debemos tener en cuenta queesta seleccion no puede hacerse por orden. que contenga el numero menor posible de proposiciones sin dernostracion. ya no sera un axioms. Esta condicion principal que se impone al sistema de axiomas se llama condicion de no contra. se nos plantea el problema de elegir el nurnero menor posible de proposiciones fundarnentales. de la geometria que admitiremos como axiomas. a la condici6n de no contradiccion debe pres tarse atenci6n a que en nuestro sistema de axiomas no figure ninguna proposicion que pueda ser demo strada apoyandose en los demas axiornas . los axiornas no s610 no deben contadeeirse unos a otros. paralela a la recta" y "Por un punto exterior a una recta dada no se Ie puede trazar a la recta ninguna Adernas. sino todo un sistema de axiomas sa que solo este sistema puede reflejar correctamente las propiedades real mente existentes y la reiacion mutua de las principales formas espaciaJes del rnundo material. ysolamente una. sin relacionarlos con otros axiomas. yno habra necesidad . analizando un axioms tras otro. pues.

y. Sea un sistema de eeuaciones de primer grade con tres incognitas. puede ponerse un ejempJo sencillo. En esto consiste la tereera condicion que debe satisfacer el sistema de axiomas. Sin embargo. A cada una de las incognitas del sistema varnos a considerarla como un "concepto" determinado que requiere ser definido. no debemos caer en extremismos y eliminar de eJ aquellas proposiciones en las cuales tengamos que apoyarnos necesariamente al exponer la geometria.y . Pero si el sistema es compte». es decir. Hacemos la prueba de corregirlo afiadiendole una ecuaci6n mas: 2x.y. EI sistema DO satisface La condicion de ser completo. siempre se Ie podra aiiadir una nueva proposicion (que eontenga. buena analogia con elias. Mas exactamente esta condicion se puede enunciar asi: si el sistema es in- completo. que la introducci6n de la ecuacion nueva no ha cambiado las cosas. tiene una. x + y +4z = 6 . z? No. La exigencia de que el axioma sea indemostrable poe rnedio de otros axiomas se llama condicion de indepel1dencia. claro esta.2z=3 . ipuooen determinarse las incognitas x. toda nueva proposicion anadida a 61 y que contenga los mismos conceptos a que se refieren los axicmas. que tenemos el sistema 2x . Con este sistema. independencia y no contradicci6n que debe reunir el sistema de axiomas. x+ y+4z=6. aunque no es refkjo exacto de las relaciones geometricas. pMque la tercera ecuaci6n es una simple consecuencia de la segunda Observando atentamente el sistema obtenido nos convencemos de . 3. cuando tendemos a hacer nuestro sistema de axiomas lo menor posible. 3. ya cada ecuaci6n. Para que sea mas facil figurarse las condiciones de integridad. la condicion de que el sistema 'sea completo. como una espeeie de "axioma" par media del cual se establecen relaciones entre estos "conceptos".2z =3. porque e1 numero de ecuaciones es menor que el numero de incognitas. Supongamos. los mismos conceptos fundamentales que los demas axiomas) que no dependera del resto de los teoremas y que no los contradecira.1' + 3y + 12z= 18. que.47 de inoluirla en el sistema de axiomas. pues. sera conseeueneia de estes axiomas 0 los contradecira.

3x + 3y + 12z = 15. esta ultima sera consecuencia de las tres ecuaeiones dadas 0 las contradecira. Si a este sistema se le aiiade una cuarta ecuaci6n. Cambiernos ahora la tereera ecuaci6n 'j examinemos el sistema siguiente: 2x. del cual no pueden deducirse tam poco las incognitas.48 y no reporta ninguna relaci6n nueva. es facil convencerse de que el sistema tiene una soluci6n (mica (x = 5. EI sistema no cumple la condicidn de independencia. 4. se sustituyen por axiomas con un numero menor de condiciones muy serias.y. z. por esto las proposiclones complejas que contienen un numero considerable de condiciones.2z=3. 2x+ y+ 5z=8. En efecto. iCUiil de estas dos ecuaciones puede creerse? Esta claro que se trata de un sistema contradictorio. independiente y complete. Si. Y = 13 'j z 3). De aqui puede verse que la eleccion de los axiomas que deben constituir la base de la geometria dista mucho de sec arbitraria y que esta sometida a exigencias lema necesario de axiomas de geometria se comenzo ya a finales del siglo pasado y. x + y + 4z= 6 . hay axiomas "dependientes" que son consecuencia de otros mas simples y generales. dividiendo por 3 los dos miembros de la ultima ecua- cion. todavia no puede decirse que este definitivamente acabado. El caso es que. Volvemos a convencernos de que este sistema tam poco sirve para determinar las incognitas. obtenemos: x+ y+4z= 5. finalmente. aunque en esta direccion han heche Mucha los cientificos. es decir. los cientificos descubren de vez en cuando que en este sistema sobran axiomas. El trabajo para estabJecer el sis- . y. es decir. es un sistema no contradictorio. x + y+4z=6. La segunda ecuacion nos da: x + r+ 4z = 6. =- que relacione entre si x. sometiendo el sistema de axiomas existente a una revision sistematica. examinamos el sistema 2x -y -2z = 3.

Este axioma tambien contiene una exigencia minima. el plano. mas adelante podra demostrarse. totalmente ausente en el curse escolar. en e1 curso escolar s610 se mencionan dos: 1) Par dos puntas puede trazarse una. termman todo el contenido de la geometria. toda la recta y asi suceslvamente. aunq ue a cada paso hay que emplearlos. Sin embargo. profundas e importantes de las figuras espaciales de. etc. que condiciones son necesarias para que una recta pertenezca a un plano. consciente 0 inconscientemente. la recta y el plano. 3) Etl coda recta hay pur 10 menos dos puntas.49 Todas estas investigaciones tienen gran interes para la ciencia. Estes axiomas perteneeen al grupo de los axiomas de combinacion. pertenece tambiell al plano. Al haeer esto nos limitaremos a los axiomas de la planimetria. basandose en la eual podra demostrarse luego que existe UDa cantidad innumerable de puntos en el plano. de los euales son neeesacios para fundamentar la planimetria los siguientes: puede verse. y solomeme una. AI mismo tiempo. que es el primer grupo del sistema complete de axiomas de la gcometria. S. Si. la existencia de una canlidad innumerable de puntas en la recta. y de entre todas las superficies. Est08 axiomas los empleamos frecuentemente aunque de forma no clara. Despues. superficie. de entre todas las !ineas se destaca la recta. Pasamos al segundo grupo de axiomas. solemos emplear Lambien otros axiomas de combinacien. linea y punto. 2) Si dos pumos de IJIIQ recta pertenecen a un plano. ya que estan orientadas a esclareeer que propiedades mas generales. recta. 4) En un plano existen por 10 menos tres puntas que no se encuentran ell Ima misma linea recra. La exposicion del eurso de geometria empicza en Ia escuela por la explicaci6n de los primeros conceptos: cuerpo. En estos axiomas se describen las leyes a que se subordina la posicion mutua de los puntos en la recta y 1a posicion mutua de los puntas y las rectas en el plano. Para dar cierta idea del sistema de mamas de la geometria moderna nos referiremos primeramente a la exposicion de la geometria que se hace en la escuela y veremos sabre que axiomas se estruetura y que axiomas te faltan. Los axiornas de este grupo establecen como se "combinan" entre sl las principales imagenes geometricas : por cuantos puntas se determinan la recta y el plano. Del grupa de los axiomas de combinaci6n. Los axiomas de este grupo se lIaman axiomas de orden. como . contiene una exigeneia muy limitada. Este axioma. valiendose de los axiomas de orden. Los primeros axiomas del curso escolar estableoen las relaciones entre el punto.

porque sabemos que un segmentosiempre se puede prclosgar en uno y otro senrido.pero precisamente ellos nos indican que existen ciertas propiedades Iundamentales de las figuras geometricas.. Los axiomas que definen la posicicn de los puntos en la recta estan Iigadosa los conceptos fundamentales de "anteceder" y "suceder" y se enuncian asi: 1) De dos punsosque Sf encueniran en una misma recta. 12).rse como amecedente. al demostrar el teorema de la igualdad de los triangulos si tienen iguales des de sus lados y el angulo que se encuentra enfrente de uno de est as lades (vease la lig. estamos seguros de que el segmento obtenido cortara a dicha recta.OtIO ejemplo : estarnos seguros de que la bisectriz del gulo interno de un lriangulo cotta necesariamente el lado opuesto. que no son propias de todaslas li- . Si unirnos dos puntos que se eneuentran a distintos lades de una an- 8 c FIG. Estes dos axiomas ponen ya clara mente de manifiesto las propiedades ceracteristicas dela recta. A precede tamhiell a C. por ejernplo. entonces el segundo sera consecuente. que utilizamos constantemente y que pot 10 tanto hay que dar a conocer como axiomas. necesitamos prolongar un segmento. C son puntas de una miSltUl recta Ji A antecede a B y Ban· tecede a C. B. En esto nos apoyamos.. . 24 2) Si A. Es indiscutible queen todos estos casas nos eneontramos con heenos muy evidentes. recta. cualquier« de ellos puede roma.50 por ejemplo. 10 hacemos.

La parte de recta a la cual perteneoen dos puntos y todos los puntos intermedios entre ell os. se llama seqmento. Valiendose de este axioms se demuestra el teorema de 1a division del plano por la recta en dos semiplanos. IIlIa recta existe siempre otro punu: de Aplicando sueesivamente este axioma ados puntos de una recta (que existen en virtud del segundo axioma de combinaeion). que la recta no lietle extremos. se llama rayo 0 semirecta. La parte de una recta que contiene un punto dado y todos los que le anteceden 0 un punto dado y todos los que Ie siguen. A 8 c FIG. Con la disposici6n antes indicada de los puntos A. Bye en la recta. par ejemplo. 25). ei punta B antecede al C. toda recta del mismo plano que no pase por esros puntas y que COrle uno de los seqmemos determinados par elias. apoyada soJa- . entonces nos convencemos de que en la circunferencia el punto A antecede al B. en recuerdo del matematico aleman que 10 enunci6 por vez primera: 5) Dados tres puntos que no esten en una misma recta. pongamos sucesivamente los puntas A. y solamente tiM.51 neas. 4) Para cada punta de una recta existe tanto un punto precedense como un punta consecuente. una cireunferencia (fig. 24) y siguiendola en la direecion del movimiento de las agujas del reioj. De este axioma se infiere la posibilidad de prolongar un segmento de recta en uno y otro sentido. y el punto C antecede a1 A. La posicion mutua de los puntas y rectas en el plano se determine par eI siguiente axioma. llamado "axioma de Pasch". cortaro edemas a U110. B. 26). De aq ui se deduce tambien que en una recta no hay punto que preeeda a todos sus dema s puntos 0 siga a todos los punt os restantes. despues a cada uno de los intervalos obtenidos y asi sucesivamente. decimos que B se encuentra entre Aye (fig. de los atros seqmentos (fig. es decir. obtenemos que entre cada dos puntas de una recta existe una cantidad innumerable de puntas de esta misma recta. Tomemos. Dames la demostraeion de este teorema como ejemplo de demostracion rigurosa. 25 3) Entre cada dos puntas de la misnw recta. C.

S2
mente en un axioma y eo proposiciones ya demostradas. EI teorema 10 enunciaremosdel modo siguiente. Toda recta que pose par un pl.ana divide codas los puntos del p/arw, misma clase determ;nan un segmento que no corta a la recta, y dos puntas de closes distintas determinan un sel/mento que corta a la recto.
no pertenecientes
11

ella, en dos clases, de tal modo, que dos puntos de una

.'

/

FIG. 26

AI hacer esta demostraci6n emplearemos, para simplificar la escritura, ciertos signos especiales que es neeesario recordar, EI signo c signifjat. pertenencia: A c 0, "el punto A perteneee a la recta aft. EI x significa intersecciOn: AD x a, "el segmento AB corta a 1a recta a". Una raya trazada horizontalmente sobre una correlaci6n significa su negacwn: A c: G, "el punto A no pertenece a la recta 0", EI signo .', significa conclusion, "par 10 tanto ... ", Establecido esto pasamos a demostrar el teorema, Ante todo advertimos que si tres punlos estcin en una misma recta, para ellos se cumple una proposicion analogo al axioma de Pasch: una recta que corte a uno de los tres segmentos detenniruuios por estes pumos, cortara adem4S a uno, y solamente uno, de los otros segmentos. Esta proposicien es tacil de demostrar apoyandoso en el axioma de 1a distribucion de los puntas en la recta. En eleeto, si los puntas A, B. C estan en una misma recta y el punta B se encuentra entre A y C, todos los punt os de los segmentos AB y BC pertenecen al segmento AC, y cada punto del segmento AC (excluido B) pertenecen a AB 0 a Be. Por 10 tanto, una recta que corte a AB 0 a BC corrara tambien necesariamente a AC, y una recta que corte a AC cortara tambien a AB 0 aBC.

S3
Supongamos ahora que en un plano tenemos una recta I. Hay que 10 siguiente: 1) Valiendose de Ia recta I. los puntos del plano no pertenecientes a esta recta pueden dividirseen clasts. 2) Lasclases pueden ser dos 'f solamente dos, 3) Las clases poseen las propiedades que se indican en el teorema,
demostrar
8

........

....

,,/.

.... 1-.....
\

\ "I ..... \ .....

/...,--.----6C _._- ....,----

~

....1

,

.....

.....

FlG.l7

a) el punto A peneneee a la primeraciase (que designaremos pee K,)~ b) un punta no pertencciente a I sera de Ia primera clase, 51 dicho punta determine con el punta A un segmento que no corte a I; c) un punta noperteneciente a I seril de la segunaa clase(que designaremos por K 2)' si determioa con el punto A un segmento que corte a I. Es facti eonvencerse de que existen pun tos de una. y otra clase. PD.. ra esto tomamos en la recta I el punto P y trazamos la recta P A. EI rayo con vertice en P, que contiene al punto A. 8610 contienepuntos de la primera clase, ya que el punta de interseccion Pse encuentra ruera de los segmentos determinados por el punto A y los demas puntos del rayo. EI rayo opuesto con cl rnismo vertice s6locontiene puntas de la segundaelase, porque el punto de interseccion Pest! dentro de to·

27) y admitimos

Para estableeer esto, fuera de Ia recta f tomamos un punto: A (fig.
las siguientes condiciones:

54

dos los segmentos deterroinados por el punta A y por los puntos de este rayo. Uniendo A con cualquier punto de 1a recta J obtenemos una can.tidad innumerable de rectas que oontienen puntas de Is primera y de la segunda clase, Clases solo puede haber dos, ya que con respectoa cualquier segMento que una A con un punto no perteneciente a I podemos haeer sO·
10 dos proposiciones: el segmento corta a I, 0 no la corta, una tercera es imposible, Dernostremos finalmente que las clases K J Y K 2 satisfacen las condiciones del teorema, Veamos los siguientes casos : 1) Ambos puntosperteneeen a la primera clase: B c: K 1 Y C c K I' Como B c KI, AD x /, y como C <= K" ACXL .v, basandose en el

axioms de Pasch, Be x i, 2) Ambos puntos pertenecen a la segunda clase: Dc: Kz y E c: Kz. Como Dc K1, AD xl, y como E c KI, AE x I.. -, basandose en el axioma de Pasch DE x I. 3) Los puntas perteneeen a clases distintas: Be K 1 Y Dc Kz. Como Be. Kl, AB x I, y como Dc K2, AD x I.. -, basandose enel axioma de Pasch, BD x I. EI teorema queda demostrado, La parte de un plano que contiene todos los puntas de una misma clase se llama semiplano. Advertimos que Ia demostracion de este teorema podia haberse hecho sin utilizar en absolutoel dibujo. Este ultimosolo ayuda a seguir Ia martha de los razonamientos y a retener en la memoria las correlaciones obtenidas. Por otra parte, esta advertencia puede referirse a cualquier demostracion sufieientemente rigurosa, 6. EI siguiente, tercergrupo de axiomas de la geometria esta relacionedo con el conoepto de igU£lldad. En el eurso escolar de geometria, la igualdad de las figures en el plano se establece pOI media de la superposicien de una figura a otra, El libro de texto oficial de geometna, acerca de esta cuesti6n, dice 10 siguiente : "Las figuras geometrieas pueden trasladarse en el espacio sin sufrir ninguna variaci6n. Dos figuras geometricas se lIaman iguales, si trasladada una deellas en e) espacio puede hacerse coincidir con la segunda de tal modo, que ambas figuras eoincidan en todas sus partes". A primera vista esta definicion de igualdad parece totalmente cornprensible, pero si se analiza atentamente no es dificil descubrir en ella un circulo vicioso, En efecto, para determinar la igualdad de las a· guras tenemos que hacerlas coincidir una con otra, y para haeerlas coincidir tenemos que trasladar una figura enel espacio, perrnanecien-

Si dos dngulos son iguales a un mismo tercero. Si el primer d'I(}U/O es igUl1I l sea gundo.A'e' y LA = LA'.. 3) St A.uat at primero. el segundo es ig.. en un sentido dado y a partir de un PWlto tambien doda puede tomarse un segmento. iguol al dado.. b. For ejemplo. a'. las sumas tambien seran iguales. Bye estdn en una rnisma recta.. Si el primer segmento es jgual al segundo. c' son I)trO$ raYOS COI'l En otras palabras.. b'. lque significa "pennanecer invariable"? Esto quiere decir que Ia figura. el s€gW1do €s igua/ al primero. 4) Sabre unrayo dado. y solameme UIW. AC. Pew. si tenernos l1A8C y llA'B'C' Y enellos AB = A'B'. Par esto es mucho mas racional basar la igualdad de las figuras en un grupo de axiomas referentes a la igualdad de los segmentos. son tambUn igUl1les entre si. A'. tos iguales. y sotamente uno. par media del concepto de "igualdad".55 do esta invariable durante el proceso del traslado. C :l'on unos rayos con tertice comun. Asi resulta que el eoncepto de "igualdad" 10 detenninamos per medio del tras1000 de una "figura invariable". B' Y C' lambien esta» en una misma recta y si AB A'B'. puede construirse un angulo. las sumas tarnbien seran iguales. si a angulos iguales se aiiaden angulos iguales. 7) Si do. Dos seqmentos iguales a un rnisrno tercer segmento son tombien iguales entre si. sera tambien = Basandose en estes siete axiomas se demuestran primero los principales criterios de igualdad de los triangulos y despues todos los teo- . sigue siendo igual a cierta imagen inicial suya. en estos tri4ngulos tambien son respectieamente iguales los otros angulos. 5) Cada angulo es igUllt a $1 mismo. ser. para fundamentar la igualdad de triangulos se introduce un axioma mas al tercer grupo.' lado« y el angulo comprendido entreellos de un triangulo son iguales respecdvamenre ados lados y al cingula comprendido enrre ellas de otro tritingulo. igual a 1m seqmento dado. seran tambien LB = LB' Y LC= LC'. y el concepto de "figura invariable". angulos y triangulos. si a segrnentos iguales se afiaden otros segrnen- = = = En otras palabras. Finalmente. 6) Si G. en un semipia)lo tamMen dado. Lac = Lac: oertice comun y Lab = L a'b' y L be = L b'c'. Los axiomasque establecen las propiedades de la igualdad de los segmentos son los siguientes: I) En una recta dada. BC B'e'. Axiomas totalmente iguales se cumplen en los angulos.a tambien AC A'e'. durante todo el tiempo. 2) Coda seqmemo es iguat 0 sf mismo.

Sean 6ABC y . B'C'.lo que contradice al axioma 4. Supongamos que BC". De un modo semejante se demuestran los demas teoremas sabre la igualdad de las figuras. tambien LB' A'C~ = LA.6. c6mo se demuestra el primer criterio de la = = B 8' FIG. obtenemos que Be = B'C. sobre el lade B'e' y a partir del punto B' tomamas el segmento B'C" =: Be. Con oslo ya no hay que utilizar en ninguna parte el procedimiento de superpoigualdad de triangulos. Par el axioma 7 obtenemos inmediatamente que L B L B' y L C = L C'. BC = B'C" Y LB = LB'. NGS queda por demostrar que tambilm BC = WC. Pero dos angulos iguales a un mismo tercefa son tambien iguales entre sl. Entonces. Be. 18 los demas elementos de estes triangulos son tam bien iguales. el de los lIamados axi011WS de continllidad. Hemas obtenido que sobre el rayo A'B'. en los cuales AB = A'B'. Todas las construcciones geometricas bechas con compas y regla se apoyan precisamente en estes problemas.A' B'C' (fig. en un mismo semiplanc.56 remas sobre la igualdad de las Iiguras que en ellos se fundan. 'l. se han construido dos angulos diferentes iguales a un mismo ingulo A. por el axioma 7. Los problemas de interseccion de una recta con una circunterencia y de interseccion de circunferencias entre si estan relacionados intimamente con este grupo de axiomas. AC A'C' Y LA LA'. Entonees. Veamos. Mas adelante la exposici6n de 1a geometria elemental se encuentra con la neeesidad de tener que introducir un grupo mas de axiomas. Consideremos MBC y aA'B'C". 28) los triangulos dados. por ejemplo. Hay que demostrar que todos sicion. puesto que es innecesario. Este heche mues- = = . renuneiando ala proposici6n Be". por 10 tanto LB'A'e" = LB'A'C. En ellos AB A'B'. Asi.

El segundo axioma de continuidad se llama AXIOMA DE CANTOR DE ENCAJE. cuyo enunciado es: 2) Si se tlene un sistema de segmentos en el cual cada consecuente esta dentro del que Ie antecede y si en este sistema siempre puede encon· o AXIOMA unico que se halla dentro de todos estos seqmentos. repitiendo el seqmento menor como sumando un numero de veces sujicientemente grande. S! se dan dos seqmentos de los cuales el primero es mayor que el segundo.imeroentero n que hace que nb> EI axioma de Arquimedes figura en el libro de texto oficial en el capitulo dedicado a la medici6n de segmentos. por este procedimiento el segmento menor se !leva sabre el mayor y el axioma de Arquimedes nos da la seguridad de que haciendo trazados sucesivos de aquel. EI grupo de axiomas de continuidad contiene los siguientes axiomas: I) AX[OMA DE ARQuIMEDES. 19 Para hacer una demostracion de como se aplica el axioma de Cantor veamos el siguiente ejemplo. extste un nz. existe un punto M FIG. EI procedimiento para buscar la medida comun de dos segmentos por trazados sueesivos del menor. Adernas. En efecto. Tornarnos el segmento AoBo (fig. si a y b son dos segmentos y b. a numero entero n que hace que ~ < b. Resumiendo. siempre podemQ§ obtener una suma que supere al segmento mayor. trarse un segmento menor que cualquier seqmento dado. que mencionamos antes. siempre existe un a> a. la suma de los segmentos rnenores acabara superando al segmento mayor.57 tra la importancia extraordinariamente grande de los axiomas de continuidad. Directamente del axioma de Arquimedes llegamos a la conclusion de que si el segmento es mayor que el segmento b. 29) cuyo punto medio llamarernos H[ y hallam os el punto media del segmento AoB" que llamaremos AI' Despues tomamos eI punto medio de A I B l' al cual le llamaremos B 2 Y hallamos el punto media del seg- . sobre estos axiomas se ha construido toda la teoria de la medici6n de las magnitudes geometricas. se apoya en el axioma de Arquimedes.

. 4 Por 10 tanto..!.. si al denominador de cada uno de estos quebrados se le II imaglnarselo.. Efectivamente. EI segmento A3B3 no cabe ya en e1 dibujo. + 4n 4" t 1 I I 21 64. bay que .. este punto sera el buscado. si se lorna el punta M a ~ del segmento AoBo. AlBI. a los puntas A. que designaremos por 83 y buscaremos el punta media de AzBl• al cual le llamaremos A3• Despues tomaremos el punto me- dia deAJB3 y asi sucesivamente I)... A]B] = :4 AoBo.. .. puede !legar a ser menor que cualquier segmento dado. todas las condiciones del axioma se cumplen y existe un punto unico que se encuentra dentro de todo el sistema dado de segmentos.!.. es decir.••. Los segmentos AoBo.. corresponderan respectivamente los valores numericos 4' 4+42"=16.58 mento A I B2. si el punto Ao se toma como origen de referencia del eje numerieo y e1 segmento AoBo se aeepta como unidad. de este. = 1~ AoBo.. Del axioma de Arquimedes lie deduce que la longitud obtenida ~' AoBo cuando n es suficientemente grande. A2B2• A3B3' . AI' A3> .. la longitud del segmento A1BI es igual a ... En efecto.. que designaremos por A2• Luego tomamos eI punto media de AlB]. Y en ge- AoBo . de modo que AoM = ~ AoBo. 1 + 4 + 42 Cada uno de estos quebrados es menor que 3' 1 En efecto. A. son un sistema de segmentos encajados. . I I 5 4"+42"+43"= + .. 4 AoBo• Ia longitud de AzB1 neral A~B" =~. cada segmento consecuente se halla dentro del que Je antecede yes iguai a . etc. En efecto. De este modo. Este punto no es dificil de seialar.

.2). B3. 1 _ 23 + 22 - 2+1 22" + De aqui no es dificil obtener que cada uno de los valores numericos.'4 + "8 -16 + 32.. Bn. es mayor que -. al punto Bl puede escribirse tam- EI valor numerico eorrespondiente ~. ...1+ I) = t = '2 ... disminuimos el En este caso utilizamos I) Ia formula ".(1~..(: .... Autfien3 tando el denominador del quebrado en una unidad.~). corresponde 2' "2-8=8". . +ab"-l+h"-I). 1 ._ -3 . . "2-8"-32=32'. 1 1 j 11 2 bien de la forma: 8 32 .... a los puntos Bit Bz. correspon d ientes a los puntas B l' Bz .(2... an-b"=(a-h)(o"-I+II"-2b+a"-Jb1+ . respectivarnente los valores numericos 1 I 3 1 1 1 B.. 1 1111 Si se suman estos mimeros obtenemos: 22• _ 22... 22• -1 22" + 22" 1 +I• + 2211 - 1_ . + 4" 4"-1 1 1 + 4 + 42 + . Por otra parte. ....1 ~-":"":'':'''''------::----~-:-:-= (4-1)(1+4+42+ I) ". +4" .22... el quebrado aumenta y se hace igual a 1 3 precisamente: 1+4 + 42 + . +4"-1) . + 1 ._!..59 resta una unidad..

A es el punto interno (OA < r).1) 2+ I . .60 q uebrado 22" _ 2 20 .'y en el segmento AB podra haber solamente un punto M. B3.. simetrico al M con respecto a la perpendicular bajada desde 0 a la recta AB. . se llaman extern os con respecto a la circunferencia. Pasemos ahora a la demesrracion del teorema fundamental de la interseoeion de una recta con una circunferencia.3 .1 y obtenemos: + 22• . tendra con la circunferencia WI punto co- siendo M'D = MD = r. todos los valores nurnericos correspondientes a [as puntos Blo B2. al cual corresponde el valor numerico ~. _ ab1• cunferencia. Por'10 tanto este es el imico punto determinado por Ia sucesi6n de estes segmentos.8".. cuya distancia respecto de 0 es igual al radio. y B es e1 punto externo (OB> r) (fig. Asi. si el punto M existe. con otro extemo. .lb1 _ . este punto sera unico. Recordaremos que una circunferencia se deterrnina por su centro y su radio. COli respecto a la cirmfm.220 + 22" 1 -Z- + 22 - 2.. M'M seran tambien puntos internes de 1a circunferencia. son mayores que 3' De esto se deduce que el punto M. . Por esto el punto A debera estar siempre entre los puntos M' y M.. se llaman imeNlos con respeeto a Ia circunterencia. _ ••• 2" + 1+ I 1 2_ = _ = 21n - + 221> -I 23 _ + 22 .2 + 1 23 (2 + 1)(221).. ..2 _ 2 22• _ ••• _ 23 + 22 _ 2 + 1 . 30).. A"B". Por Ia propiedad de las oblicuas trazadas desde un punto a Ja recta AB. Supongamos que se nos da una circunferencia con centro 0 y radio r. .. IJ En este case urilizamos la f6nnula (a + bXa1H _ alo .. EI teorema fundamental se en uncia asi: Un segmento que una un punto tntemo. Demostraremos ante todo que si en AB existe un punto M.. Los puntos del plano que se encuentran a una distaneia del centro menor que el radio.. y los puntos extemos del segmento M'M seran tam bien puntos externos de la circunferencia.••. y los que se hallan a una distancia del centro mayor que el radio. En efecto. y solamente uno. se halla dentro de cada uno de los segmentos AIBI• A2B2.I b + a1• . existira tam bien el punto M'. todos los puntas internes del segmento al~ + I + b10 • I= - I + b2n)..

Si dicha distaneia es menor que el radio. ya que cada segmento consecuente se encuentra dentro del que Ie antecede y la longitud de cada consecuente es dos veces menor que 1a longitud de su antecedente.. B2• . . no podra ser ni iDter. .. Por 10 tanto. B". Prosiguiendo ilimitadamente este proceso.o sera menor que el radio. el punto sera externo y Ie lIamaremos B1• 8 0- Despues tomaremos el punto medio del segmento AlB (0 AB. .' seran externos. Am ... seran internes y los designados par las letras B 1. y entonces el teorema estara demostrado. existe un punto unioo situado dentro de todos estos segment os. con respecto al eual tambien seran posibles tres casos: la distancia desde el hasta el centro es igual ill radio. bien todos los puntas designados par las letras A I • A 2. Si esta distancia resulta ser igual a1 radio.. por consiguiente sera un punto de la circunfe- ° rencia. y entonees el teorema estara demostrado.•. el punta sera tnterno y Ie Ilamaremos A i. y entonces designaremos este punto por A con el numero correspondiente como subindice. Como este punto se encuentra entre todos los puntas internes y todos los externos del segmento.).Si la distancia es mayor que el radio. Pero en este ultimo caso obtenemos un sistema de segmentos que satisfacen las condiciones del axioma de Cantor. 0 sera mayor que el radio. el teorerna estara demostrado.61 Una vez establecido esto. .. dividimos el segmento AB por la mitad y comparamos con el radio la distancia desde el punto obtenidc basta el centro. en cuyo caso 10 designaremos par Bean el mimero correspondiente como subindice.no ni externo. obtenemos que 0 bien la distancia desde el centro basta uno de estos puntos sera igual a1 radio.

Q es un punto externo. sea 0 el centro y reI radio de la circunferencia (fig. Tomemos sabre la recta I. el segmento PQ tiene con la circunfereneia ununico punta comun A.62 centro de la circunferencia a una recta es menor que el radio. EI segundo punta comaa A' es simetnco al A con respecto a la perpendicular OP. existe un punto que esta dentro de todos estos arcos.a partir del punto P. la recta I no tiene otros puatos comunes con la Proposiciones analogas a los axiomas de Arquimedes y de Cantor pueden demostrarse para arcos de circunferencia. r.ier arca dado previamente. podemos obtener unareo mayar que cua/qu. por 10 tanto. 31 consigniente. el segmento PQ = r. y solamente dos. Como en el triaagulo reetangulo OPQ la hipotenusa OQ es mayor que el cateto PQ:. 1) Bepitiendo un areo dadn como sumando un manero de veees sufi~ cientemente grande. Pes un punta interne. es decir. Por el teorema antes dernostrado. La De este teorema se deduce en particular que si la distancia desde el distancia 0 P desde el centrohasta la recta I es men or que el radio. En efeeto. 2) Si se tiene WI sistema de arcos en el cual cada areo conseeuente se IwEIndenlro del anterior y si tlf dicho sistema puede eneontrarse siempre un arco menor que ella/quier arco dodo. puede demostrarse que. Como todos los puntas intern os del segmento AA' son tambien puntas internos de la circunferencia y todos los puntos externos son externos con respecto ala misma. par FIG. circunferencia. 31). esta recta tiene can la cireunferencia dos. . puntas comunes. tenemos que OQ > r y.

La demostraci6n de este teorema es completamente analoga a la del teorema de la interseccion de la circunferencia con el segmento. advertir que at tender 3 simplificar en 10 posible la exposicion. Resulta que puede conservarse unicamente la exigencia de que la recta que corta uno de los lados del triangulo corte uno mas. Exactamente 10 mismo. 2) Los conocimientos iniciales de las propiedades de las fermas espaciales los obtuvimos por inducci6n. en el enunciado del axioma de Cantor puede no exigirse que el punto determinado por el sistema de segmentos enca jados sea unico. puede demostrarse. los dos axiomas de Arquimedes y de Cantor se podrian sustituir par uno. y solamente uno. 3) Las propiedades espaciales mas profundas y generales de las cosas las enunciamosen forma de sistemas de proposiciones fundamentales 0 axiomas. Conviene.grupo de axiomas de la geometria esta relacionado con el concepto de paralelismo y consta de un solo axioma: Por un punta no pertenecienie a una recta dadn se puede trazar a es- ta recta una. La singularidad de este punto tambien puede demostrarse. sin embargo.63 Apoyandose en estas proposiciones es facil demostar eI teorema fundamental de la interseccion de las circuefereacias: Si A es un punta interno y B un punto extemo can respecto a una drcunferencia dada. el area de cualguier otra circunJerencia que uno A y B tendra con la circunferencia dada un punto comun. Podrian hacerse menos rigurosas las exigencias contenidas en los axiomas. llamado axioma de Dedekind. El numero de estos axiomas podria disminuirse aun Por ejemplo. 4) Un sistema de axiomas 5610 refleja correctarnente las propieda- mas. EI sistema de axiomas que hemos examinado da una idea suficiente del conjunto de las proposiciones sin demostraeion que pueden servir de base ala geometria. por rnedio de observeciones y experiencias reiteradas. no hemos tratado de hacer minimo por su cantidad este sistema. es decir. en el axioma de Pasch podria no exigirse que la recta que corta uno de los lados del triangulo cortara un lado mas. y solamente una. recta paralela. EI quinto y ultimo. Y 10 de que este lado sera solamente uno. . Sin embargo. Resumamos 10 dicho en este librito: 1) Hemos definido la geometria como la ciencia de las formas espaciales del Mundo material. todo esto complicaria y alargaria la exposicion. Las proposiciones que se apoyan en este axioms son de todos conocidas y no vamos a detenernos en ellas. Por ejemplo. y solamente uno. 8.

arabe y otros idiomss extranjeros. 5) Excepto los axiomas. E. es decir. es decir. debe estar construida sobre razonamientos correctos y libre de errores. MoscU. 3) la observacion rigurosa de las reglas logicas durante el desarrollo de la demostracion. ingles. asp. URSS.ntre ellos figuran las mejores obras de las distintas ramas de la ciencia y la tecnica: rnanuales para los centres de cnsenanza superior y eseuelas tecnol6gicas. A NUESTROS LECTORES: "Mir" edita libros soyjeticos traducidos al espafiol. 2. todas las proposieiones de la geometria .se obtienen por deducci6n. 1 Rizhski per. Este sistema de deducciones se llama demostraci6n. literatura sobre ciencias naturales y medicas. . 2) la eleccion de los argumentos verdaderos necesarios. Tambien se incluyen monografias. La correcion de una demostracion depende de: 1) la formulacion exacta y correcta de la proposicion que se demuestra. 6) Para que una demostrad6n sea correcta. frances. deduciendolos de los axiomas y de los teoremas demostrados anteriormente. libros de divulgacion cientifica y cieneia ficci6n.t. 1-110.64 des espaciales realmente existentes si satisface las condiciones de ser complete. Dirijan sus opiniones a la Editorial "Mir".. independiente y no contradictorio. 129820.eoremas. para que el teorema demostrado sea una verdad indudable.

.

Construcciones geometrleas mediante un solo compss Solodovnikov A. Skerniakev Deskin N. L..••••••••••••••••••••••••••••••••••••••••••••••••••• lecciones populares de matematicas • • • • • • • • En 198(} salen a la luz los siguientes tibras de 13 serie "Leeciones populares de matematieas": • • • '. Arguno\' B.. Teoremas de configuracion • • • • • • • • Division del segmento en Ia razon dada Kostovski A. • •••••••••••••••••••••••••••••••••••••••••••••••••••• Editorial MIR Moscu • • • • • • . Sistemas de desigualdades lineales • • • • • • • • ·---------------------------------------------------• • • • • • • • • • ·--------------------------------------------------------.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->