SERIE DE COMPENDIOS SCHAUM TEORIA Y PROBLEMAS DE GEOMETRIA PROYECTIVA POR FRANK AYRES, JR., Ph.D. Profesor y Jefe del Departamento de Mateméticas Dickinson College ‘Traduecién y adaptacién AMAURY LLAMAS JIMENO Y CAMPO ELIAS VELOZA CANTOR Profesores de Matemética de la Universidad Nacional de Colombia y Pontificia Universidad Javeriana, Bogoté LIBROS McGRAW-HILL MEXICO PANAMA NEW YORK LONDRES TORONTO SIDNEY JOHANNESBURG DUSSELDORF SINGAPUR RIO DE JANEIRORegistrado © por Libros McGraw-Hill de México, S.A. de C.V. Derecho de propiedad Registrado.en 1971 © por McGraw-Hill, Inc. ‘Todos los Derechos Reservados. Impreso en Colomt Queda terminantemente prohibido reproducir este libro total o parcialmente sin permiso expreso de os editores. 91527 ‘Traducido de la primeta ediciéa del original publicedo en inglés Copyright© 1970 por McGRAW-HILL BOOK COMPANY, INC. USA. 1234567890- Cy C -1971 0987654321 IMPRESO EN COLOMBIA PRINTED In COLOMBIA minPrélogo El propésito de este libro es el de proporcionar un primer curso de geometria proyectiva para estudiantes no graduados en mateméticas y para los futuros profesores de geometria en la escuela secundaria. Para los primeros, el libro da una introduceién del importante concep- to de espacios proyectivos; para los dltimos, se introduce una geometria més general en la que, por especializacién propia, se obtiene la geometria métrica familiar. Ya que aqui se con- sideran solamente las geometrias reales de una y dos dimensiones, todo teorema se puede ilus- trar por un diagrama para el que se necesita tnicamente una regla para su construecién. E| capitulo 1 empieza con un breve tratado de la geometria de Euclides y sus geometrias asociadas. La parte de esta geometria que trata tinicamente con la incidencia de puntos y It- neas es llamada proyectiva. La proyectiva plana se obtiene por modificaciones convenientes del plano fundamental de la geometria euclidiana, En los capitulos 1-6 y 8-12, el lector encon- trard las proposiciones bésicas de la geometria proyectiva plana desarrolladas en su totalidad por métodos sintéticos. En el capitulo 7 se da una aproximacién axiomética. En el momento de dar modelos pa- ra los axiomas, se introducen ciertas geometries proyectivas finitas. Ya que esto conduce even- tualmente a la geometria de puntos definidos por una tripla de nimeros reales tratada en el capitulo 15, la lectura de este capitulo se puede posponer hasta dicho momento. En el capitulo 13 el procedimiento se invierte. Tomando el plano proyectivo como fun- damental, se hacen modificaciones para obtener el plano afin en el que reaparecen las lineas paralelas. En el capitulo 14 se hacen modificaciones adicionales para definir lineas perpendi- culares y de este modo se puede regresar al plano métrico. Un hecho de interés, observado qui- 24 desde el primer momento por el lector, es que la mayoria de las geometrias con las cuales 41 esté familiarizado dependen més del paralelismo que de la perpendicularidad. Se debe no- tar ademés la gran variedad de teoremas métricos que a menudo se deducen de un solo teo- rema proyectivo. En Los capitulos 15-17 se introduce al lector en los métodos analiticos en geometria proyec- a. En estos capitulos se supone un conocimiento del algebra de matrices. Para quienes de seen un breve repaso, el apéndice seré de gran ayuda. Los capitulos finales 13-14 son paralelos. Empezando con el conjunto de todas las trasfor- maciones proyectivas del plano en s{ mismo, el lector es Hevado por pasos sucesivos a los mo- vimientos rigidos familiares de la geometria analitica plana, El autor desea aprovechar esta oportunidad para expresar su gratitud hacia el cuerpo de la compafifa de publicaciones Schaum por su espléndida cooperacién, FRANK AYRES, JR,Capitulo 1 TABLA DE MATERIAB Pagina INTRODUCCION Geometria evclidiana. Geometria proyectiva, Expacio proyectivo, Principio de dua- lided. La linea proyectiva. Haces perspectivos en un plano. Haces proyectivos en un plano, Teoremas sobre proyectividades. Capitulo 2 RELACION DOBLE DE CUATRO ELEMENTOS. . Relacién simple de tres elementos. Razén doble en el plano euclidiano. La invariancia de la raz6n doble. Las veinticuatro relaciones dobles. Relacin dable como propiedad royectiva, 19 Capitulo B TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES Configuraciones planas. Configuraciones en ol espacio. Configuracién de Desargue: ‘Teorema de los dos triingulos de Desargues. Perspectividades sucesivas. Cuadringu- los perspectives. Conjuntos cuadrangulares 30 Capitulo 4 CONJUNTOS ARMONICOS................. Conjuntos arménicos de puntos y lines. Propiedades arménicas de un cuadrdngulo completo. Red arménica sobre una lines proyectiva. Red arménica sobre une linea extendida, 45 Capitulo 5 PROYECTIVIDADES ............-..-. Provectivdadesy configuracin de Pappus. Proyectvidad entre haces superpuestos Proyectividades hiperbélieas y parabélicas. Conjuntos cusdrangulares. 55 Capitulo 6 INVOLUCIONES . Definicidn, Blementos dobles. Pares de involuciones. 65 Capitulo 7 AXIOMAS PARA LA GEOMETRIA PROYECTIVA PLANA . - Introduccién. Axiomas iniiales. Bl principio de dualidad. El némero de puntos sobre tuna lina, Consistencia de los axiomas. Axiomas adicionales, 72 Capitulo 8 CONICAS PUNTUALES Y CONICAS TANGENCIALES Introduecién. Le eSnica pantual. La e6nica por lines, B3 Capitulo 9 POLOS Y LINEAS POLARES .. . . Ls lines polar. Relaciones entre edni puntual y nica tangencal, Contrucién Ge polos y ineas polares. Puntos y lines conjugados. Tridgulos auto-polares. 90 Capitulo 10 TEOREMAS DE PASCAL Y BRIANCHON . . . ‘Teorema de Pascal. Teorema de Brianchon. Casos especiales del terema de Pascal Casos especiales del Leorema de Brianchon. Los teoremas reciprocos. n-puntos y li. = 102Capitulo 11 ‘TABLA DE MATERIAS. TEOREMA DE LA INVOLUCION DE DESARGUES Introduccién. Involuciones determinadas por una cénica, Teorema de De 08 especiales del teorema de Desargues. Haces eu de los nueve-puntos. Capitulo 12 HACES DE PUNTOS Y LINEAS SOBRE UNA CONICA .. . 118 Definiciones. Dos haces proyectivos sobre una c6nica. Construccién de Steiner. Invo- luciones sobre una eénice. Conjuntos arménicos sobre una cénica, Capituto 13 GEOMETRIA AFIN PLANA oe ve 128 Iniroducci, Lines paella. Segmenton congrentes, Punto medio de un segmen- to. Longitud. Cénices. Centro y didmetros. Construcciones. Didmetros conjugados. Hipérbolas. Capitulo 14 GEOMETRIA EUCLIDIANA PLANA . . . . 442 Introduccién, Lineas perpendiculaes. Citculos. Segmentos congruentes. Angulo. Bi- sectores de éngulos. Bjes de una eénica. Focos y directrices de una eénica, Capitulo 15 GEOMETRIA ANALITICA PROYECTIVA . . . 2. 155 Introduccién, Definiciones. Puntos colineales y Kineas coneurrentes, Haces de puntos 1 lineas, Demostraciones analiticas. Razén doble. Proyectividades. Seperacién, Capitulo 16 SISTEMAS COORDENADOS Y TRASFORMACIONES PROYECTIVAS Introduecién. Coordenadas proyectivas proyectivas en una dimensién, Proyectividades sobre una linea, Coordenadas no ho- ‘mogéneas. Involuciones sobre una linea, Provectividades sobre una lines. Coord das homogéneas. Coordenadas homogénees de un punto en el plano. Relacién entre las eoordenadas absolutas y relativas, Coordenadas relatives a dos sistemas coorde rnados. Trasformaciones proyectivas en el plano. Forma canénica de una colineacién, Homologias planas y elaciones, Correlaciones. . 168 Capitulo 17 LA CONICA . : ‘ {La e6nicn puntuel. Cénices puntuales y sus lines tangentes La cénicatangencial Lineas'polarée y polos. Cénieas puntuales, Polos y lineas polarea, Cénicas tangencia- les. Eeuaciones de una eénica. Cénicas degeneradas. Pares de cbnicas, Haz cuadran- ‘gular de cénicas. Haces de cénicas =. 198 Capitulo 18 GEOMETRIA PROYECTIVA, AFIN Y EUCLIDIANA . . . 219 BI grupo preyectivo. Subgrupos del grupo proyective. Geometra afin. Sistema de coordenadas. Las trasformaciones afines. Geometria plans euclidiana, Longitudes Angulos. Medida de un éngulo. Resumen. APENDICE ALGEBRA MATRICIAL .- 0.2.2... 229 Definiciones, Suma de matrices. Multplicacin de matrices, Agunos tos de mtr ces, Determinante de una matriz cusdrada, Teasformaciones elementales sobre una atria. Sistema de ecuaciones lincules. Matrices euadradas singulares y no singula- res. Inversa de una matriz cuadreda. La traspuesta de una matriz, Rango de una matria. Adjunto de una matriz cuadrada. Eeuaciones y raices caracteristicas. Ma- trices simétzicas. Matrices INDICE... RadCapitulo 1 Introduccién GEOMETRIA EUCLIDIANA Hasta el afo 600 a. de C., la geometria consistié principalmente de una coleccién de reglas para hallar éreas y volimenes. Estas reglas, junto con ciertos hechos relativos a tridngulos, cfreulos,..., tan desarrollados por babilonios y egipcios, estén basados solamente en experien- cias y observaciones. El periodo del aio 600 ai 300 a. de C., cubre de un modo general el origen y decadencia de la cultura griega clésica. Esta cultura, con su énfasis sobre razonamientos deductivos y conocimiento de su propia causa, cambié completamente la naturaleza de la ‘matemética y, en particular, el papel de la geometria. Ante todo, la matemética era abstracta. Por ejemplo, mientras que para los egipcios una linea era una cuerda tensa, para los griegos las palabras punto, linea, tridngulo, efrculo,...., venian a ser conceptos mentales representados por objetos fisicos apropiados. En segundo lugar, los griegos interpretaban en términos de geo- metria a la aritmética y el dlgebra. Un nimero, por ejemplo, era una longitud; el producto de dos miimeros era el érea de un recténgulo; el producto de tres niimeros era un volumen (ain hoy hablamos de 9 como el cuadrado de 3, y de 8 como el cubo de 2); y las construcciones geo- métricas eran utilizadas para resolver ecuaciones. La deuda que la actual civilizacién tiene con los griegos por haber creado la matemética abstracta es inmensa. Debe sefialarse, sin em- bargo, que la conversién a la geometria de la aritmética y el dlgebra fue desafortunada. Ahora regresamos a Egipto donde Euclides, un profesor de matemética en la Universidad de Alejandria, después de seleccionar diez. axiomas (también hace uso de otras suposiciones no planteadas explicitamente), pudo en sus Elements deducir todos los resultados importantes del periodo clisico griego. Mucho del material incluido por Euclides nos es muy familiar ya que, con sélo unas pequefias modificaciones, constituye la geometria plana y del espacio co- rrespondiente a nuestro nivel de estudios secundarios. Tenemos solamente que recordar al- gunos teoremas para hacer ver que lo esencial de la geometria es la nocién de medida —la longitud de un segmento de linea, la medida de un dngulo,..... Fue entonces una geometria de toque, como ser evidente brevemente, no siempre de perspectiva. La grandeza de la obra hecha por Buclides vino a ser aparente al ponerse de presente que los teoremas por él incluidos fueron el producto de varias escuelas —la escuela jénica por Ta- les, la escuela pitagérica en Italia Meridional y la escuela establecida por Platén en Atenas— Io mismo que de individualidades, cada una usando axiomas de su propio agrado. El primer trabajo era entonces seleccionar un conjunto adecuado de axiomas que fueran universalmente aceptables. Se anota que Euclides no planteé explicitamente todas sus suposiciones. Entre las no planteadas estan: Una linea que contiene el vértice A y un punto interior P de un tridngulo ABC tam- bién contiene un punto D del segmento de linea BC. En el plano determinado por un punto Py una linea p, existe por lo menos una linea que pasa por Py es paralela a p. La exclusién de la primera de estas suposiciones fue probablemente por considerarla de- masiado obvia para ser digna de nota, La omisién de la segunda no puede ser explicada tan simplemente y es, en verdad, indicativa de una caracteristica del griego a través de los tiem- pos porque, aunque Euclides supuso en este segundo axioma la extensién de un segmento de 12 INTRODUCCION (CaP. 1 linea en ambas direcciones y en la medida que uno escoja, usé el axioma cautelosamente en el sentido en que extendié un segmento de linea tanto como fue necesario para el problema en mano. Asi, de conformidad con la filosofia griega, la cual evita el infinito, Euclides centra su atencién sobre segmentos de linea y evita consideraciones de una linea en su totalidad. Co- mo un resultado est4 su quinto axioma, Si una linea p interseca dos lineas r y s de tal manera que la suma de los éngulos in- teriores sobre el mismo lado de p es menor que dos dngulos rectos, entonces las lineas r y « se intersecan sobre ese mismo lado de p. el cual, junto con los otros axiomas y tacitas suposiciones implica el conocido ‘Axioma de paralelismo: a través de todo punto P que no esta sobre una linea dada p, existe en el plano determinado por Py p una y solamente una linea paralela a p. axioma que plagé de geémetras los dos mil aiios siguientes. Durante este periodo fueron hechas inumerables pruebas, ya sea para obtener el axioma como una consecuencia de los otros, 0 remplazarlo por uno mds simple. Hasta mitad del siglo XVII, los mateméticos empezaron a sospechar que podian existir geometrias en las cuales el axioma de paralelismo no se cum- plia. Este hecho fue finalmente establecido a principios del iiltimo siglo cuando Bolyai y Lo- batchevski, independientemente, crean una geometria consistente por si misma, en la cual esencialmente “una y s6lo una linea” en el axioma de paralelismo, se remplaza por “més de ‘una linea” y, pocos afios més tarde, Riemann crea otra en la cual “una y sélo una linea” se remplazé por “ninguna linea”, Estas son las, asi llamadas, geometrias métricas no eucli- dianas, Hoy se reconoce que existen muchas geometrias; en particular, existe una geometria no métrica en la cual el paralelismo no desempefia ningin papel. Un teorema tipico de esta geo- metria, (Fig. 1-1) Si Ai, A, Asson puntos distintos sobre una recta r y si Bi, Br, Bs son puntos distintos sobre otra linea s, que interseca a r en el punto O, entonces los puntos de inter- seccién C, de AyBy y AsBz, Cz de A\By y AsB,, Cy de A:By y AxBy son co- lineales (es decir, estén sobre una misma linea). fue dado por Pappus en el siglo tercero después de Cristo. Siendo probado por medio de méto- dos euclidianos, el teorema fue simplemente agregado a las proposiciones de la geometria de Enclides. Bs claro, sin embargo, que este teorema, constituido sélo por uniones de puntos e in- tersecciones de lineas, es de un carécter muy diferente del teorema tipico de la geometria pla- na. Sin embargo, sélo en el siglo XVI fueron establecidos los principales teoremas de esta geometria, y no antes de la mitad del siglo XIX la geometria fue completamente libre de las, nociones métricas. Ay ey a . Fig. 11 GEOMETRIA PROYECTIVA Anteriormente se hizo observar que la geometria de Euclides no es siempre la geometria de la perspectiva; por ejemplo, nunca vemos Iineas paralelas. Si uno se sitia en medio de los rieles de una via férrea en linea recta, parece que los rieles se encontrasen en un punto en élCaP. 1] INTRODUCCION 3 horizonte, Ademés, si se usa una cémara fotogréfica, la fotografia resultante mostrard el mis- ‘mo fenémeno. Nuestro interés, de ahora en adelante, estard centrado en la geometria de esa fotografia, Hamada geometria proyectiva. ‘Al tomar una fotografia, la cémara (en efecto), une cada punto A dentro de su radio de accién a un punto P en el lente por medio de una linea recta, es decir, prayecta cada punto A desde P y entonces corta las lineas resultantes por un plano x, la pelicula. A cada punto A en su radio de accién le corresponde un tinico punto A’, la interseccién de la linea APy x, en el corte. También, a cualquier linea q que contiene al punto A pero no a P, le corresponde en el corte una linea q' que contiene a A’. Esto sigue del hecho de que el punto P forma con la linea qun plano, el cual a su vez, intersecta ax en la linea q’. Supongamos ahora que la imagen de nuestra fotografia consiste de un par de segmentos de linea que se intersectan y un circulo dibu- jado sobre una pared. Por motivos précticos, el tamafio de cualquier imagen aparece dismi- nuido en la fotografia. El punto importante es, sin embargo, que las longitudes de los segmen- tos de linea en la fotografia pueden ser variadas simplemente al cambiar la distancia entre la lente y la pared. Existen, ademés, otras deformaciones. Aunque la fotografia muestra un par de segmentos de linea que se intersectan, sus dngulos de interseccién generalmente serdn dife- rentes de los que aparecen en la imagen; también, el circulo en general apareceré como una elipse. En la geometria euclidiana, estudiamos longitudes de segmentos de linea y medida de Angulos ya que son invariantes (inalterados), bajo movimientos rigidos. Es claro ahora que estas nociones familiares no desempefiardn ningtin papel en nuestra nueva geometria. Debemos tener cuidado, por supuesto, en no dotar a la geometria proyectiva con algunas de las limitaciones de la cdmara. Por ejemplo, supondremos que todo punto del espacio, ex- ceptuando solamente el centro de proyeccién P, puede ser proyectado desde Py que el plano de corte puede ser cualquier plano x que no contenga a P. Generalmente tendremos la situacién que a cada punto A # P del espacio le corresponderé un tinico punto A’ en x. Hay excepeiones tales como, por ejemplo, cuando AP es paralela a x, no se puede obtener un A’ en x corres- pondiente a A, debido a ciertas caracteristicas del plano euclidiano. Recordemos que una Ii- nea p, que no esté en el plano x, ¢s paralela o intersecta a x en un punto. Supongamos que A es un punto que no tiene correspondiente en x. Sea x’ un plano que pasa por Ay no contiene a P, y sean r y s dos lineas cualesquiera distintas en x’ que se inter- sectan en A. Denotemos por r’ y s’ respectivamente, las correspondientes Iineas en x der y s cuando las proyectamos desde P. Ahora r’ y s” deben ser paralelas, ya que de otra manera su punto de interseccién seria el correspondiente de A. Ademés si intercambiamos los papeles de y=", encontramos que a las lineas paralelas r’ y s" en x les corresponden en +" las Iineas que intersectan ry s. Es claro ahora por qué las propiedades que se refieren a puntos o lineas que se intersee- tan, son invariantes bajo proyeccién y corte. Igualmente es claro que esta situacién se debe solamente a la existencia en el plano euclidiano de lineas y planos paralelos. Bxisten dos vias de escape de nuestra posicién: (1) Seguir el modelo establecido por Euclides al suponer un espacio que tiene precisamente las propiedades deseadas, (2) Empezar con el espacio euclidiano y de algin modo trasformarlo en otro, en el cual las nociones de paralelismo y métrica no estén completamente ausentes. Demoraremos el primer procedimiento, la aproximacién axiomética, hasta que tenga- ‘mos una mejor idea de lo que es la geometria proyectiva, es decir, de lo que son los invariantes de la geometria proyectiva. Siguiendo el segundo procedimiento, la importancia de nociones métricas puede ser de fécil euidado —simplemente ignoraremos todo de ellas— mientras que la cuestién de paralelismo seré eliminada at demostrar “intersecciones” entre lineas paralelas, planos paralelos, ete., del espacio euclidiano. :4 INTRODUCCION (CAP. 1 ESPACIO PROYECTIVO ‘De la geometria de Euclides extraeremos las siguientes proposiciones: (a) Dos puntos distintos determinan una y s6lo una linea. (b) Tres puntos distintos no colineales, de la misma manera que una linea y un punto que no esté sobre la linea, determinan uno y sélo un plano. (c) Dos lineas coplanares distintas, es decir, dos Iineas distintas en un mismo plano se inter- sectan en un punto 0 son paralelas. (d) Una linea que no esté en un plano dado intersecta al plano en un punto o es paralela al plano. (e) Dos planos distintos se intersectan en una Iinea 0 son paralelos. Notese que estas proposiciones son completamente independientes de nociones métricas y s6- lo se refieren a la unién de puntos y a la interseccién de lineas y planos. Para la construccién de un espacio en la geometria proyectiva, nos proponemos adjuntar ciertos objetos al espacio euclidiano. Estos objetos no serdn definidos pero, con el objeto de dis- tinguirlos entre sf, los Hamaremos —punto ideal, linea ideal y plano ideal. Ademés, para que no haya posibilidad de confusién con los puntos, lineas y planos del espacio euclidiano, éstos serdn Ilamados, puntos ordinarios, lineas ordinarias y planos ordinarios del espacio ordinario. Los elementos ideales no tienen propiedades inherentes; para empezar, los dotaremos con propiedades tales que en el nuevo espacio, esto es, en el espacio proyectivo, podamos asegurar que las siguientes proposiciones permanecen para todas las combinaciones posibles de elemen- tos ideales y ordinari (a’) Dos puntos distintos determinan una linea y sélo una linea. (b’) Tres puntos distintos no colineales, igualmente que una linea y un punto que no esté so- bre la linea, determinardn uno y sélo un plano. (c') Dos lineas coplanares distintas, se intersectan en un anico punto, (d’) Toda Tinea que no esté en un plano dado intersecta al plano en un tinieo punto. (e') Dos planos distintos se intersectan en una y sélo una linea. Empecemos considerando un plano ordinario y sus lineas ordinarias. A cada una de estas Iineas ordinarias adjuntamos un punto ideal (también llamado punto en el infinito), de tal manera que dos lineas ordinarias distintas que se intersectan tendrén puntos ideales distin- tos, mientras que dos lineas ordinarias paralelas tendrén el mismo punto ideal. Una linea or- dinaria junto con su punto ideal seré llamada una linea extendida. Con el objeto de dar una completa claridad, sean ry s dos lineas ordinarias distintas en el plano x, sean Rey Su sus respectivos puntos ideales, y consideremos las lineas extendidas (r, Re) ¥ (8, Sa). Cuandory 8 se intersectan (en un punto ordinario), Rey Se son distintos; cuando y s son paralelas, Rs y Sa son el mismo y R., es entonces el punto de interseccién de las Iineas extendidas. Asi, (c’) se cumple para (7, R.) y (6, S») y por tanto, para dos Iineas extendidas suponiendo que las Ii- neas ordinarias son coplanares. Definimos ahora un plano extendido, como un plano ordinario junto con Ja totalidad de los puntos ideales adjuntos a sus lineas ordinarias. Es claro que (a’) se cumple en un plano ex- tendido cuando uno de los puntos es un punto ordinario y el otro es un punto ideal, como también cuando ambos puntos son ordinarios. Falta considerar cuando ambos puntos son ideales. Si estos puntos ideales determinan una y sélo una linea, ésta no puede ser una linea extendida. (;Por qué?) Adjuntemos entonces el plano extendido que contiene a (r, Rx) y (s, S=) una linea ideal p., que contiene Re y Sw, y en tal forma que pueda decirse que es la linea de-CAP. 1] terminada por estos puntos. Sea (t, T'z) cualquiera otra linea extendida del plano extendido donde t es distinta de ry s, Cuandor yt son paralelas, T= Ru, y entonces (r, Re) y (t, Ta) se intersectan en R.sobre py. Similarmente, cuando s y ¢ son paralelas, (s, Su) y (t, T.) se in- tersectan en Sq sobre px. Supongamos ahora que R., Sp, T. Son distintos. Si en este caso (c’) se cumple, es decir, si (t, Ts) y pa tienen un tinico punto en comin, es necesario que T.esté s0- bre px. Concluimos entonces que la totalidad de los puntos ideales aiiadidos a las lineas or- dinarias del plano ordinario x, constituyen la linea ideal p.. El plano extendido resultante lo denotaremos por (r, P=). Supongamos que una linea ideal ha sido aiiadida a cada plano ordinario del espacio or- dinario. Dejaremos al lector mostrar que (d') se cumple para todo plano extendido y toda linea extendida que no esté en el plano. Consideremos en seguida dos planos extendidos (p, r=) y , 82) donde p y « son dos planos ordinarios distintos. Evidentemente, (e') se cumple cuando p yo Se intersectan en una linea ordinaria, Supongamos entonces que p y © son paralelos. En p tomamos cualquier linea ordinaria p y en o otra linea ordinaria cualquiera q paralela ap. Ahora el punto ideal comin P., afiadido a p y q debe caer sobre ry sq. También si b es cualquier linea ordinaria de p, que no es paralela a p, y d es cualquier linea ordinaria de « paralela a 6, el punto comin Bade by d estd sobre ra y Sa. Asira ¥ Sq deben coincidir y (e') se cumple para dos planos cualesquiera extendidos y distintos. Aunque no damos los detalles, no seria sorprendente encontrar que si (b') se satisface para tres puntos ideales no colineales, es necesario aftadir al espacio ordinario un plano ideal que contiene a estos tres puntos (exactamente como cuando una linea ideal que contenia los pun- tos ideales R.y Sz, fue afiadida al plano ordinario x). También, si (¢’) se satisface cuando los dos planos son este plano ideal y un plano cualquiera extendido, es necesario que el plano ideal contenga todos los puntos ideales que han sido afiadidos a todas las Ifneas ordinarias del espacio ordinario (exactamente como cuando fue necesario que la Iinea ideal que contenta a Ray Sz, contenga todos los puntos ideales que se han afiadido a todas las lineas ordinarias del plano ordinario +). El espacio ordinario junto con el plano ideal lo llamaremos espacio extendido. Como paso final, damos todas las distinciones entre punto ordinario y punto ideal, entre linea extendida y linea ideal, y entre plano extendido y plano ideal. De una vez lamaremos cualquier punto, ordinario o ideal, un punto proyectivo; cualquier linea extendida o ideal, una linea proyectiva; y cualquier plano, extendido o ideal un plano prayectivo. Sin embargo, cuando no exista posibilidad de confusién, hablaremos simplemente de puntos, lineas y pla- nos del espacio proyectivo, PRINCIPIO DE DUALIDAD En la seccién anterior se obtuvo el espacio proyectivo afiadiendo elementos adicionales al espacio euclidiano. Nétese que mientras ciertas palabras bésicas —punto, linea, plano— han sido conservadas, el significado de cada una de ellas ha sido modificado. El resultado més obvio de esto puede ser visto al comparar las proposiciones (a)—(e) de la geometria euclidia- na con las correspondientes (a’)—(e') de la geometria proyectiva. En ambos casos hay provecho en simplicidad (las proposiciones (a’)—(e’) son breves), y en generalidad (se hace mucho énfa- sis en la palabra “para todo”). Mucho mds importante es el principio de dualidad, por el cual a cada proposicién se le hace corresponder otra, al intercambiar ciertas palabras claves y otros cambios en notacién y Tenguaje que son necesarios para que tenga sentido la proposicién, vélida en la geometria pro- yectiva pero no en la euclidiana. Hay un principio de dualidad para el plano proyectivo y otro para el espacio proyectivo. Considere primero, un plano proyectivo para cuyos puntos y Iineas (e’) y (c’) aseguran Todo par de puntos distintos determinan una y sdlo una linea. ‘Todo par de ineas distintas determinan uno y s6lo un punto.6 INTRODUCCION (CAP. 1 Una de las proposiciones es obtenida de la otra por el simple cambio de las palabras “punto” y “linea”. (Obsérvese que la palabra “plano” ya sea en forma técita o en forma explicitamen- te establecida, no es cambiada.) Ademés de teoremas duales en el plano proyectivo (véase el ejemplo 1.1), hay también figuras duales. Por ejemplo, (1) el dual de la figura que consiste de un punto Py dos lineas sobre él (Fig. 1-2(a)), es la figura que consiste de una linea p y dos puntos sobre ella (Fig. 1-2(6)); (2) la figura que consiste de una linea y un punto sobre ella, (también, de una linea y un punto que no est gobre ella), es su auto-dual, esto es, el dual de cualquier figura es otra del mismo tipo. O Fig. 1-2 o Anticipandonos al ejemplo 1.1 introdueimos una cierta notacién, que serd usada a través de todo el libro. Si 4, B, C, D son puntos distintos, la notacién AB significard la linea deter- minada por los puntos Ay B. Convenimos ahora en que si a, 6, ¢, d son lineas distintas y si ay b son coplanares, la notacién a+b significard el punto de interseccién de ay 6. También suponiendo que todos los puntos y lineas estan en el mismo plano, convenimos en que la no- tacién AB. CD significard el punto de interseccién de las lineas AB y CD; por AB-a enten- deremos el punto de interseccién de las Iineas AB y a, y por (a+b) (c-d) la linea determi nada por los puntos a+b y ced. Bjemplo 1.1. El teorema de Pappus (pégina 2) se enuncia como sigue’ En un plano proyectivo, sean Ay, Az, As puntos distintos sobre una linea ry By, Bs, By puntos distintos sobre otra linea s; entonces los puntos C; = AzBy-AsBs, Co = AiBy~AyB,, Cy = A\Bs+AzBy son colineales BI dual del teorema es En un plano proyectivo, sean aj, a3, a, lineas distintas sobre un punto R y by, ba, bs lineas distintas sobre ‘otro punto $; entonces las Hineas c= (az-by)(oa~b2)y ey = (01~Ba)(as-bi)s €5 = (a1-bx)(o2+b,) 80m concurrentes, ces decir, tienen un punto comiin de interseccién (Fig. 1-8). Fig.13 Hay un prineipio de dualidad para el espacio proyectivo, aunque pronto restringiremos nuestra atencién al plano proyectivo, hallaremos poco uso para él. Por ejemplo, (a’) y (e") son proposiciones duales ya que cada una de ellas se obtiene de la otra por el intercambio de las palabras “punto” y “plano”. (Obsérvese que aqui la palabra linea no es cambiada.) También, en el espacio el dual de la proposiciénCAP. 1] INTRODUCCION 7 ‘Tres planos distintos que no estén sobre una misma linea, determinan uno y sola- mente un punto. es la proposicién (b") Tees puntos distintos que no estén sobre una misma linea determinan un plano y solamente uno. En realidad, nuestra proposicién (b’) es un postulado. En el espacio, su dual es un teorema que, cuando admitimos el principio de dualidad, autométicamente es vélido, por esto no es necesario demostrarlo, Recordemos que en la geometria euclidiana hubo que demostrarlo, Es costumbre decir: el punto P esté sobre la linea q, la linea p pasa a través de P, la linea cae en el plano x, el plano pasa a través de, o contiene el punto P y la linea p, las lineas PY q se intersectan en el punto 0, ete. La tarea de escribir el dual de una definicidn dada, de un teorema dado, o demostracién de un teorema dado se simplifica mucho al adoptar la pa- labra “sobre”. Proponemos adoptar esto y asi escribiremos: el punto P esté sobre la linea p, la linea p estA sobre el punto P, y la linea p est sobre el plano x, el plano-x esté sobre el punto Py la linea p, las lineas py q estan sobre el punto 0, etc. LA LINEA PROYECTIVA pr En un plano ordinario x, témese cualquier ya linea q y cualquier punto 0 que no est sobre ¢ Y (ig. 1-4). Por O pasese una linea p que inter- secte a q en P. Si suponemos que p rota en sen- tido contrario al movimiento de las agujas de un reloj alrededor de 0, entonces P se moverd a lo largo de q en la direccién indicada por la flecha. Cuando p toma la posicién OA, esto es, = cuando p es paralela a q, no existe el punto de interseccién P, Sin embargo, una vez que p abandona la posicién OA el punto P aparece nuevamente (pero sobre el otro extremo de q) y, moviéndose en la direccién indicada por la flecha recorre el resto de q. Asi, aunque el mo- vimiento de p alrededor de O es continuo, es decir, sin saltos, el movimiento de P a lo largo de q no lo es. Ahora, si hubiéramos empezado con un plano proyectivo, cada posicién de p determinaria un punto sobre q. Asi, cuando p gira alrededor de O, 1a linea proyectiva q es trazada por el movimiento continuo de P y debemos concluir Una linea proyectiva se comporta como si fuera cerrada. El lector no intentaré formar mentalmente un dibujo de una linea recta cerrada, Sin embargo, con el propésito de indicar otras distinciones entre Iineas proyectivas y ordinarias, considera- remos un citculo o una elipse como modelo de linea proyectiva (Fig. 1-5 (2)), y la misma cur- va quitandole uno de sus puntos como modelo de linea ordinaria (Fig. 1-5 (b)). Usando la figura 1-5(6) es eviden- te que cualquier punto A sobre una (F) linea ordinaria la divide en dos seg- ¢ mentos, y otro punto B sobre uno de Jos segmentos es suficiente para dis- tinguirlo del otro segmento. Usando Ja figura 1-5(a), se ve que para sepa- ar a la linea proyectiva en dos seg- 4 ao eB B mentos son necesarios dés puntos Ay ar B; y otro punto C sobre uno de los segmentos, es entonces suficiente pa- ra distinguir este segmento de otro. Fig. 15 @) ®8 INTRODUCCION (CAP. 1 Una segunda forma para describir esta diferencia entre le iinea ordinaria y la linea proyecti- vva es como sigue: sobre una linea ordinaria hay exactamente un camino partiendo de uno de sus puntos A a otro de sus puntos B; sobre una linea proyectiva, uno puede seguir uno de los dos caminos AB o AB moviéndose desde un punto A a otro B. Consideremos ahora una linea proyectiva y sobre ella marquemos cuatro de sus puntos (se suponen diferentes) , B, C, D. Considerando la posicién del par C, D con respecto al par A, B, existen dos casos: (1) el par C,D cae sobre uno de los segmentos en los cuales el par A, B separa la linea (Fig. 1-6(@)); (2) los puntos C,D eaen por separado sobre uno de los segmentos en los cuales el par A,B separa la linea (Fig. 1-6(b)). En el ultimo caso decimos que el par de puntos A,Bes separado por el par C,D. De este modo, si A, B, C, D son puntos distintos sobre una linea proyectiva, el par A,B es separado por el par C,D, siempre que el punto C esté en uno de los segmentos AB 0 AB y el punto D esté sobre el otro segmento. Otra forma de expresar esto es diciendo: Si A,B, C, D son puntos distintos sobre una linea proyectiva, el par A, Bes separado por C, D, siempre que no sea posible moverse a lo largo de la linea de A a B, sin encontrarse al guno de los puntos del par C,D. Se sigue inmediatamente que si el par C, D separa al par A,B entonces el par A, B separa el par C, D. EI dual en el plano de una linea proyectiva q, con cuatro puntos distintos A, B, C, D mar- cados sobre ella, es un punto Q con cuatro lineas coplanares distintas a, 6, c, d trazadas a tra- vés del punto. Consideremos en la figura 1-7 el par a, b y simbolicemos por ab y ab las dos par- tes en que ellas separan el plano. Sin ulterior dificultad establecemos: Si a, 6, ¢, d son lineas coplanares distintas sobre un punto @, decimos que el par a,b es separado por el par c,d siem- pre que la linea c caiga en una de las partes y la linea d en la otra. HACES PERSPECTIVOS EN UN PLANO Por una figura en un espacio proyectivo, entenderemos toda coleccién de puntos, ineas y planos del espacio. Por una figura en un plano proyectivo entenderemos toda coleccién de pun- tos y lineas del plano. En esta seccién, restringiremos nuestra atencién a dos tipos de figuras en un plano proyectivo: (a) La totalidad de puntos sobre una de las Iineas del plano, la lamaremos un haz de puntos (extensién de puntos o fila de puntos). Bl haz de puntos sobre la linea p de la figura 1-8 (a) sera denotado por p(4, B, C, D,...) donde 4, B, C, D,..., son puntos distintos sobre p. Los puntos A, B, C, D,..., los Hamaremos elementos y la linea p la lamaremos la base del haz. Y el dual en el plano (b) La totalidad de lineas sobre uno de los puntos del plano, la lamaremos un haz de Iineas (haz en un plano). El haz de lineas sobre el punto P de la figura 1-8(b) serd denotado por Pia, b, ¢, d,...) donde a, 6, ¢, d,... son lineas distintas sobre P. Las Iineas a, b, ¢, d, las Hamaremos elementos y el punto P es lamado el centro del haz.CAP. 1} INTRODUCCION 9 > AB ¢ Pe» a8 toa () ® Fig. 1-8 Se dice que entre los elementos de dos haces hay una correspondencia uno-a-uno, si existe vuna regla que asocia a cada elemento de un haz (el primero), un inico elemento del otro (el segundo), y reciprocamente, asocia cada elemento del segundo un nico elemento del primero. En una correspondencia de este tipo entre dos haces (entre dos figuras de cualquier clase), @ cada elemento y su asociado se les llama elementos correspondientes (homélogos). Un ejemplo tun poco trivial es la correspondencia que asocia cada elemento de una figura dada, con él mis- mo, la que lamaremos idéntica, Consideremos en la figura 1-9(a) el haz de lineas P(a,b, ¢, d,...) cortada por cualquier Ii- nea p que no esté sobre P. Una correspondencia uno a uno entre el haz de lineas y el haz de puntos resultante (sobre p), se establece automaticamente por las relaciones “sobre”. En efecto, a cada elemento del haz de lineas sobre P, se le asocia un dnico punto, o sea, el punto del haz de puntos sobre P, que esté sobre la linea. Ademés, esta asociacién entre punto y linea es re- versible, es decir, a cada elemento del haz de puntos sobre p se le asocia una tinica linea, esto es, el elemento del haz de lineas sobre P que estd sobre el punto. Observe que esta correspon- dencia se indica mejor si se usa la misma letra (mindscula y maydscula) para denotar cual- quier linea y el punto asociado a ella, 1A, B,C,D,...) = P(A',BYCD,...) PKa’,b 0a © Fig. 19 P(a,b,0,d,..10 INTRODUCCION (OAP.1 La correspondencia uno-a-uno descrita anteriormente la lamaremos una perspectividad y la indicaremos escribiendo Pa,b,¢,d,...) = p(A,B,C,D,...) Decimos que el haz de line D,...) y observamos que Pla, b, c, d,...) es perspectivo con el haz de puntos p(4, B, C, P(a,b,¢,d,...) = 2(A,B,C,D, ...) P(a,b, ¢,d,...) también implica (4,B,C,D,. Para distinguir este tipo de perspectividad de otros, atin no introducidos, la llamaremos una perspectividad elemental, Considéremos en la figura 1-9(b) el haz de Iineas P(a, b, ¢, d,...) cortado por dos lineas distintas p y p' de las cuales ninguna esta sobre P. De las anteriores discusiones se sigue que dos perspectividades elementales P(a,b,¢,d, = P(A,B,C,D,...) y P(a,b,¢,d,...) = D(A’,BYC,DY,...) quedan establecidas. Por ser reversibles estas perspectividades, las podemos combinar como signe: WA,B,C,D,...) = Pla,d,¢,d, PIA,B,C,D,...) Es claro ahora que hemos establecido una correspondencia uno-a-uno entre los haces de pun- tos sobre p yp’ (Ay A’, By B’, Cy C,,...) en la cual cada punto del haz sobre p y su asociado p' determinan una sola Iinea del haz sobre P. Sustituimos ahora la sucesién anterior de pers- pectividades elementales por W(A,B,C,D,... ahs wae (ase: el haz de puntos p(A, B, C, D,....) es perspectivo por medio del punto P con el haz de puntos p’(4’, B', C’, D’,...), o los haces de puntos p(A, B, C, D,...) y p'(A’, B, C’, D’,...) son perspectivos desde el punto P). El punto P es lamado el centro de perspectividad. De este modo, definimos Dos haces de puntos sobre lineas distintas p y p' son perspectivos desde un punto P si existe una correspondencia uno-a-uno entre los puntos de los haces y si las uniones de puntos correspondientes estén sobre P. En la anterior perspectividad, el punto comin a p y p' desempefia un papel inico. Deno- taremos este punto por J, como un punto sobre p y por I’ como un punto sobre p’. Entonces el correspondiente de es I’ = I'y a Ilo llamaremos un punto invariante 0 auto-correspondiente de la perspectividad. Tenemos Teorema 1.1. En toda perspectividad entre dos haces de puntos sobre Iineas distintas yp’, el punto J = p.p' es punto invariante. Cuando dos puntos (como B y C) sobre p y sus correspondientes (B' y C’) sobre p' son co- nocidos, las uniones BB' y CC’ de pares correspondientes determinan P de manera ‘nica. De este modo, Teorema 1.2. Cualquier perspectividad entre dos haces de puntos sobre Iineas distintas p y p’, esté determinada de manera tinica cuando dos puntos cualesquiera so- bre p, cada uno distinto de p-p' y sus correspondientes sobre p' son conocidos.CAP. 1] INTRODUCCION u En el plano el dual de una perspectividad entre dos haces de puntos sobre lineas distintas es una perspectividad entre dos haces de lineas sobre puntos distintos, definida como sigue: Dos haces de lineas P(a, b, ¢, d,...)y P'(a’, b',c’, d',...) sobre puntos distintos se dice que son perspectivas de la linea p, si existe una correspondencia biunivoca entre los dos haces y si las correspondientes intersecciones de las lineas estén sobre p. Esta perspectividad, ilustrada en la figura 1-9(c), se indica escribiendo P(a,b,c,d,...) % P(a’,b',¢,d',...) En este caso, a la linea p la llamaremos eje de perspectividad. En tales perspectividades, te- nemos por el principio de dualidad, Teorema 1.1’. En toda perspectividad entre dos haces de lineas sobre puntos distintos P y P’, la linea i= PP! se auto-corresponde. y Teorema 1.2’. Toda perspectividad entre dos haces de Iineas sobre puntos distintos Py P' es- t4 Gnicamente determinada cuando dos lineas cualesquiera distintas sobre P, cada una de ellas distintas de PP’, y sus correspondientes sobre P’, son co- nocidas. Se le recomienda al lector escribir en forma detallada los duales de los pardgrafos anteriores que corresponden a la figura 1-9, y aceptar, sin més investigacién, los teoremas propuestos en el parégrafo que corresponde a la figura 1-9(c). HACES PROYECTIVOS EN UN PLANO Una perspectividad PAW Bs C,.Ds,...) 2 An Bs, OnDu-.) se definié en la seceién anterior como una corres- pondencia biunivoca entre dos haces puntuales sobre lineas distintas, tal que las lineas que unen puntos correspondientes estan sobre el punto P; Una perspectividad puede ser también considera- da como un cierto tipo de trasformacién, es de- cir, un procedimiento para pasar del conjunto de Puntos sobre p, al conjunto de puntos sobre pz, © un medio de pasar el conjunto de puntos sobre 1 al conjunto sobre pz. Considérese ahora una segunda perspectividad # pds, Bs,Cs, Ds...) por medio del cual pasamos del conjunto de pun- tos sobre pz al conjunto de puntos sobre otra li- nea py. El efecto de las dos perspectividades utilizadas sucesivamente (Fig. 1-10), es una tras- formacién por medio de la cual pasamos del con- junto de puntos sobre p, al conjunto de puntos sobre py. Por lo general, la nueva trasformacién no sera una perspectividad. Para comprobar esto, sélo se necesita unir los puntos correspondientes Ary As, By Bs, Cy y Cs, Dy y Dg,... de la figura 1-10 y verificar que estas lineas no son con- Pr{As, Bs, C2, Ds, ..2 INTRODUCCION ICAP. 1 currentes 0 verificar que , = pi+p) no es invariante bajo la trasformacién. Tal correspon- dencia biunivoca entre los dos haces es llamada una correspondencia proyectiva o trasforma- cidn proyectiva y se denota por i(A1, Bs, Cr, Dy ~ PaAlAs, Bs, Cs, Ds, De este modo, Una correspondencia uno-a-uno entre dos haces de puntos se dice que es proyectiva, siempre que la correspondencia sea la resultante de una sucesién de perspectividades. Mas brevemente, tal correspondencia es llamada una proyectividad. La figura 1-11 ilustra una proyectividad entre dos haces de puntos sobre lineas distintas Pi(As, By, CDs...) 7% Pal As, Buy Cy Da.--) definida por la sucesién de perspectividades o p(Ax,Br,Ci,Di, ...) $ PXA2,Be,Cr,Ds, ...) $ PolAs,Bs,Cs,Ds,...) = Pale Bs, Cy Dy Fig. Similarmente, una proyectividad (a) Pi(Ar, Bi, Ci, Diy...) = PalAn Buy Cu Day «-) puede establecerse por una sucesién de perspectividades ym my O mamamg Px con la tinica restriceién de que P, no esté sobre p,, y p,+1 no esté sobre P,. Observemos in- mediatamente que (1) Una perspectividad entre dos haces de puntos es un caso especial de una proyectividad entre los haces; el reciproco, sin embargo, no es verdadero. (2) La proyectividad (a) es reversible, es decir, (a) implica (2) PalAn, Bry Cn Day --.) = Pr(A,Br, Cr, Dy...) la sucesién de perspectividades que establecen (a’) siendo (b) escrita en orden inverso.CAP. 1) INTRODUCCION B No es necesario que todas las lineas py, pa, Pas. Pa anteriores sean distintas; en par- ticular, si p, = py entonces tenemos (2) P(A1,By,Cr, Diy...) = Bln Bry Cr Day) Por ejemplo, el lector solo tiene que prolongar las Iineas P;Az, P:Bs, P: Cz, PzDz,... de la figura 1-11 para que intersecte a p, en As, Bs, Cs, Ds,... respectivamente y hacer lo mismo con las lineas PAs, PBs, PsCs, PyDs,... en la misma figura para que intersecte a p, en As, Bs, Co, Day... respectivamente, Entonces a % Pi(Ar, Br, Cr, Dy, ...) = Pale, Ba,Cx,Day...) 2 Pals, Bs,Cs, Ds, ...) y (d) p(s, Ba, Ci,Ds,...) = Pi(As, Bs, Cs, Ds, . también PilAr, Bs, Cr, Dy. Z Pi(Ae, Be, Ce, De...) ! pals, Be,Cr,Ds,...) pxAs,Bs Cr, Ds y (e) pi(Ar,Bi,Ci, Di...) = Pils, Bs, Cs, Ds, ...) Existe ahora, por supuesto, solamente una linea puntual de la linea p; y el efecto de cada una de las proyectividades anteriores es llevar esta linea puntual en ella misma. Ya que cada pro- yectividad requiere que cada punto de p, tenga dos simbolos, las cosas se simplificarén con- siderablemente si pensamos que cada una de estas proyectividades son entre haces puntuales distintos sobre la misma linea. Por tanto, hablaremos de (c), (d), (e) como proyectividades entre haces puntuales superpuestos sobre la linea p,. Dualmente, existen proyectividades de un haz de lineas en 61 mismo que, por convenien- cia, consideramos como proyectividades entre haces distintos sobre el mismo punto y los tra- tamos como proyectividades entre haces superpuestos sobre un punto. Por ejemplo, véase el problema 1.13. En una proyectividad entre haces superpuestos, puede suceder que uno o més elementos sean auto-correspondientes. (En un capitulo posterior se demuestra que si tres elementos dis- tintos son auto-correspondientes, entonces todo elemento es auto-correspondiente.) A los ele- mentos auto-correspondientes de proyectividades superpuestas, més frecuentemente se les Mama elementos dobles (elementos invariantes) de la proyectividad. Ejemplos de proyectivi- dades superpuestas que tienen dos elementos dobles se encuentran en los problemas 1.16 y 1.18. TEOREMAS SOBRE PROYECTIVIDADES En los dos préximos capitulos se responderén las siguientes preguntas: (1) Dada la proyeetividad (a) de la seccién anterior, definida por la sucesin de perspecti- vidades (b), {puede esta proyectividad definirse por menos de n — 1 perspectividades? (2) Dada la proyectividad (a), jbajo qué condiciones seré, en efecto, una perspectividad? (3) Dados dos haces puntuales sobre lineas distintas p, y p, 0 superpuestas sobre la mis- ma linea p, bajo qué condiciones puede establecerse una proyectividad entre ellas? Debe recordarse que mientras estas preguntas se refieren a lineas puntuales, existe de ca- da una de ellas un dual para haces de lineas. Aunque es posible limitar nuestra atencién sola- mente a haces puntuales y aceptar sin més andlisis el dual de cada teorema que se obtiene, no se seguiré aqui este procedimiento. En efecto, pasaremos intencionalmente de teoremas que conciernen a puntos, a teoremas que conciernen a lineas. Generalmente, no se'demostraré un teorema propuesto y su dual. Asi, se dejard al estudio del lector el dual de cualquier teorema y su demostracién, cuando no aparezca en el texto.u INTRODUCCION [CAP. 1 En el problema 1.4, probamos Teorema 1.3. Dados tres puntos colineales y distintos A,, B,, C; y otros tres distintos y colineales Ax, Bz, Cz sobre lineas distintas 0 sobre la misma linea, existe por lo menos una proyectividad que envia Ai, Bi, C, en Az, Bo, Co, respec- tivamente. En los problemas 1.5 y 1.6 probamos una parte y el dual de otra parte de Teorema 1.4, Dados cuatro puntos distintos A, B, C, D sobre una linea, existen proyectivi- 1A. 1.2. dades que envian (a) A,B, C, Den BA, D,C (b) AB, C,DenD,C,BA (c) A,B,C, Den C, DAB respectivamente. Problemas resueltos En un plano extendido, sea (r, Ra) cualquier linea extendida. Sean A, B, I puntos ordinarios y distintos sobre esta linea, y sea P cualquier punto ordinario del plano que no esté sobre r. Proyectamos desde P los puntos de la Iinea y cortamos dichas proyec- ciones por una Iinea extendida (r’, R', ) del plano que pasa por J, que es distinta de (r, Ra) y no pasa a través de P. Localizar: (a) los correspondientes de A, Be J; (b) el correspondiente R’ de R..; (c) el punto R de (r, R.) cuyo correspondiente es R’, . (a) Bl correspondiente A’ de A es el punto By de intersecci6n del proyector (PA, Sq) de Ay (%, Rig); el coreespondiente BY de Bex el panto de interseociin de (PB, Ta) (7, Fra), Puesto que e pro- yector (PLU) de Tencuentea (7, R's) en 4, el correspondiente de 1 eel mis- no L (b) "Bl proyector de Rs It linea extend da (6, Rg), donde + es la linea ordina- ria sobre Py paralela ar. Elcorcespon- diente R’ de Rs el punto de interaec- cin dee ys (©) Res el punto de interasecién de ry la linea s° que pasa por P y paralela a r. Fig. 1-12 Suponiendo que todos los puntos y lineas son coplanares, {cudles de las siguientes pro- posiciones pertenecen a la geometria proyectiva plana? Para cada una de las que per- tenezean, escribir su dual en el plano. (a) Cuatro puntos distintos, tres de los cuales no son colineales, tienen seis uniones, (b) Las diagonales de un paralelogramo se cortan en su punto medio. (c) SiA, B, C son puntos distintos no colineales y si Dy E son puntos distintos tales que B, C, D son colineales y C, A, E son colineales, entonces existe un punto F tal que A, B, F son colineales y D, E, F son colineales. (d) El dngulo inserito en un semi-circulo es un angulo recto.CAP. 1) 1.3. 14. INTRODUCCION 15 Las proposiciones (b) y (d), referentes a longitudes de segmentos de lines y a medida de ngulos, no pertenecen a la geometra proyectiva, Bl dual de (a): Cuatro lineesdistintas, tres de las cusles son concurrentes, tienen seis puntos de in tersecein, El dual de (¢) es: Sia b, son lineas distintas no concurrentes y si dy e con lineas distintas tal que 0 c,d son concurrentesy c, ,e son concurrentes, entonces existe una linea tal que, b, f son concurrentes yd, ¢, fson concurrentes. Obtener dos proyectividades relacionadas con haces de Iineas superpuestas. Considere en ta figura 1-18 el haz de lineas (a, by, €1, diy...) cortado por la linea p,, que no esté sobre P,,y el haz puntual resultante sobre p, proyectado desde Py, distinto de P, que no esth sobre p,. A su ver, et haz de Kineas sobre P, es cortado por le ines ps, dstinta de py que no estd sobre Pa, y el haz de puntos resultante sobre pz es proyectado desde P, por las lineas a, bs, cs... Por construcsién, Py(ay dsc dis os-) 2 Pel ba eos Pilla, by ead ) y, en consecvencia, P Ady buseyedys =.) & Py (dy, ys 25rd) Fig.113 Probar que dados tres puntos colineales y distintos A,, Bi, C1, y otros tres Az, Bs, Cz, con la misma propiedad, existe al menos una proyectividad que envia Ay, By, Cy a Az, By, Co respectivamente. Para que sea completamente claro el motivo del teorema y también para introducir una notacién sim- plificada que serd usada de ahora en adelante en casos similares, supéngase que A,, By, C; estén sobre una linea ry Az, Be, Cz sobre otra linea s, Probaremos la existencia de una proyectividad (a) Ay By Cy...) = {4a Ba, Cy...) entre los haces de puntos sobre,ry s, Obsérvese que no estamos interesados en la correspondencia entre puntos der y s; por esto es posible que existan muchas proyectividades diferentes que satisfagan las condiciones del ‘teorema, ya que sélo estamos interesados en triplas de puntos dados, por tanto la notacién puede ser simpli- ficada remplazando (a) por Ay By Cy) = s{Ay By C3) EBxisten tres casos para considerar:16 INTRODUCCION ICAP. 1 ‘igura 114 (a). Supongamos que Ay, B,C; estén sobre una linea ry As, Bs, Cp sobre otra linea = Ay = 1-8, Sea P = B.B,-C; Cz. En la perspectividad asi establecida, tenemos r(4, Bi, (Aa, Bay C2) ¥, por esto, (As, Bk, Ci) = &(Asy Bay Ca). Ala misma conclusién se Mega cuando ra By = By cuandors = Cy = Cy EG @ © (2) Véase la figura 1-14(6). Supongamos que ,, B;, C; estin sobre ry Ar, By, Cy sobre s y que ninguno de los tres casos r-5 = A, = Az, ros = By = By, ros = Cy = Cy se cumplen. Sobre A,Ay tomemos cualquier punto P distinto de A, y Ap; sobre A, tomemos cualquier linea p distinta de Ay Ay y des. Pro ‘yeotenios'Av,'Hh, C, desde P en Ay, By, Cy sobre p y sea Q = BB+ Cz Cs. Entonces . é HAyBuG) F Ay BC) 2 Aan BoC) : lA By Cy) = (Ay By Cy) coo se pis. aes < 48), Nabe figura-t4(@). Supongamos que A, By, Ci y As, Br, Cs son colineales sobre la linear. Desde : lguer Unto no sobrer proyeteme A, B,C, en As, By, Cs sobre culguer lines, no ebreP ‘A;, By 0 C,. Repitiendo el procedimiento en (2), podemos, usando a lo idades, en- via As, Bp, Cs en Ay, Bay Cz, respetivamente. Entonces Ay By Cy) x (Ay By Cy) dos perspecti como se pid. 1.5. Dados cuatro puntos distintos A, B, C, D sobre una linea p, dar una proyectividad tal que 2(A,B,C,D) x (C,D,A,B) Esta es la parte ¢) del teorema 1.4 expuesta en el problema 1.4 en notacién més simple. Véase la figu- 01-15, Proyeetemos los puntos dados desde un punto P no sobre p, cortemos por cualquier linea q sobre B distinta dep y PB; asi ce obtionen los puntos A’, B, CD, espectivamente. Nétese que B’ = B, UniendoA’y C encontramos PD = ren el punto D". EntoncesCAP. 1) 1.6. 17. 18. INTRODUCCION 7 aA',B,0,D) £ 10",0,P,D) £ 910,D,4,8) y A,B,C,D) = p(C,D,A,B) (A,B,C, D) ‘que era lo que se queria. [SRA a ‘ @ Fig. 1515 Fig.1516 Dadas cuatro lineas distintas a, 6, c, d sobre un punto P, encuentre una proyectividad tal que P(a,b,¢,d) = P(b,a,d,¢) Considere en la figura 1-16 las lineas a, 6, ¢, d sobre Pcortadas por una linea p cualquiera, que no esté sobre P, los puntos 4, B, C, D que resultan proyectados desde un punto cualquiera @ que esté sobre c y no sobre p, yes distinto de P. Sea QB=8, QC Pla,b,c,d) Z Q(a,¥,c,a") £ BU,0,0",9) £ Plb,a,d,0) QD=d's os ©; BC Entonces P(a,b,e,d) x P(b,a,d,0) Problemas propuestos Proyectar un eieulo dado en: (a) otro efreulo, (b) una elipse,(¢) una hipérbole, (d) una pa- ribola. Dades las figuras 1-17(a) y (6) en un plano proyective. Represente cada une, describa su dual en el plano, e ilustre por medio de una figura. ‘Sugerencia. La figure 1-17(a) consiste de dos Tineas distintas, en la cual una de ella esté sobre dos puntos distintos, la otra esta sobre tres puntos distintos y ninguno de los cinco ‘pantos es el punto de interseccién de las dos Tineas. Bl dual en el plano consiste de dos ppantos distintos y cinco liness, dos de ellas sobre uno de les puntos y las tres restantes, @) © sobre el otro punto; ninguna de las lineas es la unién de los dos puntos. Fig. 1718 1.10, qa. aad. 15. 16. 119, 1.20. 12a. INTRODUCCION (CaP. 1 Dibojer las figuras para ol problema 1.2(a), 1.2(e) y para sus duals. Escribir el dual del teorema de la geometria proyectiva plana: Si R,, Rs, Ry son puntos distintos sobre una linea r, si S;, Ss, Sy som puntos distintos sobre otra linea s, y si las liness iS), R;Ss, RyS; estin sobre ‘un punto P, entonces los puntos R,S:+ReSs, ReSs+ReS;, RyS;+R,S) estin sobre una linea p que es con: ccurrente con ry s. Dibujar las figuras pare ilustrar el teorema y su dual. Usando un circulo como un modelo de linea proyectiva, verificar (a) Hay seis colocaciones distintas de cuatro puntos distintos 4, B, C, D sobre una linea proyect (®) SiA, B, C, Dson custro puntos distintos sobre una linea proyectiva, entonces C, D separa a A, B, 0 B, Deseparan A, C, 0A, D separa a B, C. (©) SiA, B,C, D, E son puntos distintos sobre una linea proyectiva, si C, D separa a A, By B, E separa a 4, Centonces D, E separa a A, B. (d)_ SIA, B, C, D, E son puntos distintos sobre una linea proyectiva de tal manere que C, D separa a A, B, entonces D, E nunce puede separar mis de dos de los pares A, B; A, C; B, C. Mostrar que en una perspectividad entre dos haces de puntos sobre lineas coplanares distintas py p, existe jempre un punto invariante, pero nunca més de uno, Establecer y probar el dusl en el plano. (a) Bn la figura 19(b) tomar cuslquier otro punto X sobre py construir su correspondiente X’ sobrep' ade- rés, tomar cualquier otro punto Y” sobre p'y construir su correspondiente ¥ sobre p. (®) En la figura 1-9(c) tomar cualquier otra linea z sobre Py eonstruir su correspondiente sobre Pade: més tomar cualquier otra linea.y' sobre P’y construir su correspondiente y sobre P, En la figura 1-11 sea I, = press Je = pa-Ps ¥ Ka = paso (a) Bn la proyectividad p, =x py, localizar sobre p, el correspondiente de J, y de cuslquier otro punto X, sobre pi > (b) Bn le perspectividad p, % pz, localizar sobre p, el correspondiente J, de Jy; entonces, en la proyectivi- dad py x py, localizar sobre py el correspondiente de J (e) Ena proyectivided ps = Py, loealizar el correspondiente K, sobre p, de K; sobre p,; ademés, localizar sobre pz el punto Ly euyo correspondiente sobre py es Ly = Ke. En la figura 1-19 expresar la proyectividad P; x Ps como une sucesin de perspetvidades elementales Palas, Bs e1s Gi) lA Bry Cry Dy od RT Ba ¥ 4 = P,P. En la proyectividad Pu(Qy By eye dyy +.) Psltgs body») ‘obtener el correspondiente de s, como s, misma, Entonces s, es una linea doble de Ia proyectividad. Mos- trar que f, = PP; es también una linea doble de esta proyectividad. ;Cundo serdt, = s, y euindo t, # 5,? En la figura 1-19 sea P. En la figura 1-16 tomar cualquier linea e sobre Py construi su correspondiente f.;Bs evidente que el corres- pondiente de f seréo? Consideremos en le figura 1-16 la perspectividad Pred...) Z QWe.€, Sobre p témese cualquier punto S distinto de los euatro ya marcados y sobre $ tomese cualquier linea s dis tinta dep y que noesté ni sobre Pnisobre Q Seaars = R, bus = BY, c+t= C', des = Di; bs = B’, c a'ss = D”, (a) Mostrar que s(B, C’, D’..)y s(B", C", D’,...) son proyectivos. (b) Mostrar que en esta pro- _yectividad tanto R como S son puntos dobles, (a) Sobre cualquier linea p tomar tres puntos distintos A, B, C. Proyecter estos puntos desde cualquier pun- to P que no esté sobre p y cortemos por una linea euslquiera sobre A, distinta de py AP, para obtener los puntos 4’, B C. Sea @ = B'C-BC. En este caso, mostrar la existencia de una proyectividad tal que P(A, B, C)x plA, C, B). (6) En forma similar, obtener p(A, B, C) x p(B, A, C), pla, B, C) xp\B, C, A), DIA, B,C) = plC, AB) y ptA BC) x pC, B A). Establecer el dual del teorema 1.3; duslidad. limelo el teorema 1.3'. Demostrar este teorema sin apelar al principio de En la figure 1-14(¢) ls proyectivided p(As, Bu, Ci) = plAs, Bs, C2) puede expresarse como el producto de no menos de tres perspectividades. Der un ejemplo de dos triplas Ai, By, C, ¥ As, Bs, Ce de puntos distin tos sobre la misma linea, para que la proyectividad pueda expresarse como el producto de dos porepectiv dades, Demostrar las partes (a) y (b) del teorema 1.4; ademas demostrar las partes (6) y (c) del dual de este teorema,Capitulo 2 Relacién doble de cuatro elementos RELACION SIMPLE DE TRES ELEMENTOS Se recordaré que las propiedades de las figuras estudiadas en la geometria euclidiana plana, son precisamente las que permanecen invariantes bajo trasformaciones (traslacién y rotacién) lamadas movimientos rigidos. En la geometria proyectiva plana las trasformacio- nes consisten de proyecciones y cortes. Es natural preguntarse: ;Existen propiedades diferen- tes a las de punto o linea, las cuales son invariantes bajo proyeccién y cortes? Para responder esto, regresamos nuevamente al plano euclidiano. Al considerar en este plano cualquier linea p (Fig. 2-1) y el segmento AB determinado por dos puntos cualesquiera distintos sobre p, se establece sobre p un sentido de direccién positiva indicada por la flecha. (Podriamos, por supuesto, escoger la direccién contraria pero. no sera dificil demostrar en un momento que al preferir una direccién en vez de la direccién escogida, es significativo.) Escogida la direccién de la linea p, la lamaremos linea dirigida o linea orientada y al segmento AB, que tiene magnitud (longitud) y direccién (siempre de A hacia B), lo Hamaremos segmento de linea dirigida. El segmento BA tiene la misma magnitud de AB pero direccién contraria; por esto, BA = —AB y AB+BA = 0 a 4 c B D > Fig. 2-1 Sea C, otro punto sobre p, distinto de Ay B. Ya que AB= AC + CB, (1) puede escri- birse en la forma AC+CB+BA =0 © E] lector puede verificar (véase el problema 2.7) que (1) y (2) son independientes de la orienta- cién particular de p, y que (2) es también indiferente de la posicién C con respecto a A y B. Finalmente, sea D otro punto sobre p, distinto de A, By C. Demostramos en el problema 2.1 Ja relacién AB-CD + AC-DB + AD-BC = 0 (3) Cuando A, B, C son tres puntos distintos sobre una linea dirigida p, 1a razén de divisién del segmento AB por C, denotado por (AB, C), se define como (AB,C) = AC/BC (4) Cuando C esta sobre el segmento AB, como en la figura 2-1, AC y BC tienen signos opuestos y asi (AB, C) < 0; cuando C no estd sobre el segmento AB, (AB, C)> 0. Nuevamente se de- jard al lector la demostracién de que (4) es independiente de la orientacion de p. 192» RELACION DOBLE DE CUATRO ELEMENTOS (car, 2 RAZON DOBLE EN EL PLANO EUCLIDIANO Sean A, B, C, D cuatro puntos distintos sobre una linea dirigida p (Fig. 2-1). La razén doble de A, B con respecto a C, D denotada por (A, B; C, D), se define como la'razén que pro- viene al dividir las razones (AB, C) y (AB, D), es decir, ; = AC /AD _ AC,BD _ AC BD 6) (4.8:C.D) = Ge/sp = BG'AD = AD BC Ya que cada una de las razones de la divisién es independiente de la orientacién de p, (6) también lo es. Cuando los dos puntos C y D estan sobre el segmento AB, tanto (AB, C) como (AB, D) son negativas. Por esto, (A, B; C, D) es positiva. Cuando el punto C esta sobre el segmento AB mientras D no lo esta, entonces (AB, C) es negativa, (AB, D) es positiva, y (A, B; C, D) es negativa. Dejamos al lector verificar que (A, B; C, D) es positiva cuando ni C ni D estan sobre el segmento AB y que (A, B; C, D) es negativa cuando D est4 sobre AB y C no lo esta. LA INVARIANCIA DE LA RAZON DOBLE Consideremos en la figura 2-2 los cuatro pun- tos distintos A, B, C, D sobre la linea dirigida r. Desde cualquier punto P que no esté sobre r, pro- yectemos estos puntos sobre cualquier otra linea dirigida s, que no esté sobre P, para obtener los puntos A’, BY, C’, D’. El teorema bésico referente a la razén doble en el plano euclidiano es Teorema 2.1. La razén doble de cuatro puntos distintos sobre una linea es inva- riante bajo proyeccién y corte. Fig 22 Para demostrar esto, bajemos desde P la perpendicular que encuentra a r en H. Haciendo caso ‘omiso de los signos, tenemos AC }HP-AC fren AAPC._~=—-$4P-CPsencAPC sen ZAPC. BC _ $HP-BC _ area ABPC _ 4BP-CPsen2BPC _ sen 2BPC AD ¥HP-AD ~ irea SAPD YAP-DPsenZAPD sen ZAPD BD 4HP-BD rea BPD ~~‘ $BP-DPsen2BPD sen BPD Lo que realmente hemos probado es . AC, BD sen APC , sen BPD 4.6.0) ‘BC AD sen ZBPC senZAPD Ahora bajemos desde P la perpendicular que encuentra la linea s en K y repitiendo el anterior argumento obtenemos (4, BSC’, DY) (A,B;C,D) = 6) AC BD __ , sencAPC sen BPD BC AD ~ ~ senzBPC senZAPD @ Para completar la prueba cuando los puntos estén marcados como en la figura 2-2, es nece- sario mostrar que el signo de los miembros de la derecha de (6) y (7) es el mismo. Fijamos una orientacién con respecto a P de tal manera que el éngulo APC, generado al rotar la linea AP en el sentido contrario al movimiento de las agujas del reloj, alrededor de P, hasta que coincida con CP, es positivo. Entonces el angulo APD es positivo mientras los angu- los BPC y BPD generados por la rotacién de BP en el sentido del movimiento de las agujas del AC sen ZAPC BC Y sen ZBPC’ tienen el mismo signo. Ademés, esta igualdad de signos es reloj alrededor de P, son negativos. Como una consecuencia, encontramos que BD | sen £BPD lo mismo que 7p, y SaeerrCAP. 2} RELACION DOBLE DE CUATRO ELEMENTOS a independiente de la orientacién sobre p y la orientacién con respecto a P. Por esto, el signo es + en los dos miembros de la derecha de (6) y (7) y por tanto (A,B5C,D) = (4’,B5C",D) como se queria. Para demostrar que el teorema 2.1 es independiente del orden de las letras, véase el problema 2.11. Dualmente, empezamos con cuatro lineas cualesquiera distintas a, b, c, d sobre un punto Py las cortamos por dos Iineas cualesquiera r y s, que no estén sobre P, en los dos conjuntos de puntos A, B, C, Dy A’, B', C’, D' respectivamente. Por el teorema 2.1, (A,B;C,D) = (4’,B0,D) Esto sugiere la definicién (Fig. 2-3): La relacién doble en cualquier orden de cuatro Iineas a, 6, ¢, d sobre un punto P, es la relacién doble en el mismo orden de cuatro puntos A, B, C, D que provienen al intersectar estas Iineas por otra cualesquiera que no pasa por P, es decir, (a,b; ¢,d) = (A,B;C,D), (ca; d,b) = (C,A;D,B), ete. P 4 e a Fig.23 Fig. 24 Finalmente (Fig. 2-4), sean A, B dos puntos cualesquiera distintos y a, b Iineas cuales- quiera distintas, que estén sobre un punto cualquiera P # A, B, y que no estan sobre A 0 B. Sean ABc = Cy AB-d = D. Dados A, B, c, d definimos la relacién doble entre dos elementos cualesquiera de A, B, c, d con respecto a los dos restantes, de forma similar a Ia definida para los cuatro puntos A, B, C, D; por ejemplo, (A,B; ¢,d) = (A,B;C,D), (¢,4;B,d) = (C,A;B,D), ete. Similarmente, tomando PA =a y PB= b, definimos (A,B c,d) = (a,b; ed), (¢,Bid,A) = (¢,b5d,a), ete. LAS VEINTICUATRO RELACIONES DOBLES Recordemos que estamos trabajando en el plano euclidiano. Ya que, en la figura 2-1, (4, B; C, D) < 0, mientras que (A, C; B, D)>0, es evidente que el valor de Ja relacién doble de cuatro puntos (cuatro I{neas o dos puntos y dos lineas) depende del orden en el cual estos elementos estén puestos en (—,—;—,—). El namero de relaciones dobles de cuatro elementos distintos es veinticuatro, ya que ese niimero corresponde a las permutaciones de los mismos cuatro elementos. Sin embargo, el namero de relaciones dobles distintos no es veinticuatro. Puesto que, teniendo en cuenta los signos de las relaciones, tenemos que AC BD _ BD AC _ DB GA _ GA,DB AD BC ~ BC AD” DA CB CB DA y, de aqui, (A,B; C,D) = (B,A;D,C) = (D,C;B,A) 0 (C,D; A,B) Asi, Teorema 2.2, El valor de una relacién doble no cambia cuando dos cualesquiera de los cuatro elementos se intercambian simultaneamente con los otros dos.22 RELACION DOBLE DE CUATRO ELEMENTOS (cap. 2 Como un resultado, las veinticuatro razones dobles se resumen en seis conjuntos de cuatro razones cada una. Tomando (A, B; C, D) = X, estos conjuntos con sus valores son: (a) (A,B;C,D) = (B,A;D,C) = (D,C;B,A) = (C,D; A,B) = 0 (0) (A,B;D,C) = (B,A;C,D) = (C,D;B,A) = (D,C;A,B) = 1a (2) (4,C;B,D) = (C,A;D,B) = (D,B;C,A) = (B,D;A,C) = 1-2 (@) (A,C;D,B) = (C,A;B,D) = (B,D;C,A) = (D,B;4,C) = 1(1-a) (2 (4,D;C,B) = (D,A;B,C) = (B,C;D,A) = (CB; 4,D) = MQA—1) () (A,D;B,C) = (D,A;C,B) = (C,B;D,A) = (B,C;A,D) = (A~1)/a (8) Para completar la tabla, consideremos en la figura 2-1 los cuatro puntos distintos A, B, C.D sobre la linea p y tomemos (A, B; C, D) = a. Entonces (A,B; C, D) = 42.80 1 /AC. BD ay y (8b) si 7 22. H ad oa Ab" BG ~ VY (Bb) sigue por el teorema 2.2, Hemos probado Teorema 2.3. En toda razén doble, el intercambio de los elementos de un par cambia el valor de la razén doble en su reciproco. y . 4B cD AB-CD , AC+DB Consideremos ahora (A, C; B, D) = CB AD’ De (3), tenemos 4D-CB +4D-CB CB por tanto (4, C; B, D) + (A, B; C, D) = 1y (A, C; B, D) = 1—d. Entonces (8c) sigue por el teorema 2.2. Hemos probado Teorema 2.4. En toda razén doble el intercambio de los medios (dos elementos intermedios), © el intercambio de los extremos (dos elementos extremos) cambia el valor de la razén doble en su complemento aritmético. El resto de la tabla sigue inmediatamente y seré dejado para que el lector la complete. Tenemos ahora Teorema 2.5. Si el valor de alguna de las razones dobles de cuatro puntos es conocido, los valores de todas las razones dobles estén determinados, Bjemplo 2.1. Supongamos que (A, B; C, D) = 3; entonees (A, B; D, C) (A, D; C, B) = 8/2 y (A, D;B, C) = 2/8. Ahora los valores de = V3, (A, C:B,D)=—2, (A, C;D,B) veinticuateo razones doblet son conocidas. ‘Supongamos que dos de los puntos A, B, C, D coinciden. Existen tres casos: (i) Cuando A y B coinciden, entonces (A, A; C, D) = s a cuando C y D coinciden, Ly en la misma forma Gi) Cuando Ay C coinciden, entonces (4, B; A, D) = Me = Oy en la misma forma cuando B y D coinciden. ac fs rat x4 - (ii) Cuando A y D coinciden, entonces (A, B; C, A) = Fa* Be Y Ia razén no esté definida. Convenimos en escribir (4, B; C, A) = (A, B; B,D) = @ para indicar que cuando D se aproxima a A, como también, cuando C se aproxima a B, el valor numérico de (A, B; C, D) crece sin limite. No es dificil mostrar que reciprocamente, si una raz6n doble tiene uno de los valores 0, 1, ©, entonces dos de los puntos coinciden. ‘Supongamos ahora que tres de los puntos, sean A, B, C, estén fijos mientras que D recorre la Iinea p. Cuando los puntos tienen la posicién indicada a la figura 2-1, entonces (A, B; €, D) <0. Cuando D se mueve hacia la derecha, el valor de AC/BC permanece fijo, mien- tras el valor de BD/AD permanece > 0 y tiende a 1; asi, (A, B; C, D) tiende al valor deCAP. 2) RELACION DOBLE DE CUATRO ELEMENTOS % AC/BC. Cuando D se mueve hacia la izquierda, BD/AD es decreciente pero permanece > 0. Como se advirtié antes, cuando D coincide con B entonces (4, B; C, D) = 0. Cuando D con- tintia de B a C, el valor de (4, B; C, D) aumenta de 0 a 1, tomando este tltimo valor cuando D coincide con C. Cuando D prosigue de C a A, el valor de (A, B; C, D) aumenta dela =, donde @ denota el valor de (A, B; C, D) cuando D coincide con A. Cuando se mueve a la izquierda de A, el valor de (A, B; C, D) es negativo y aumenta el valor de AC/BC. Finalmente, suponga que dos de los seis valores que toma la relacién doble (A, B; C, D) sean iguales. Existen dos casos: Caso 1. 4= 1/r, Entonces 4? = 1 y 4 = + 1, Se vio antes, que cuando \ = 1, dos de los cuatro puntos coineiden y los seis valores se reducen a tres, que son, 0, 1, ». Cuando = —1, nuevamente los seis valores se reducen a tres, o sea, —l, } y 2. Caso 2. \= 1/(1—A). Entonces ) es una de las raices de la ecuacién )X —\ + 1= 0 y los valores de las relaciones dobles son némeros imaginarios. Este caso nunca ocurre aqui. RELACION DOBLE COMO PROPIEDAD PROYECTIVA Considere ahora un plano extendido (r,p.). Sean A, B, C, D cuatro puntos ordinarios distintos (Fig. 2-5) sobre cualquier linea extendida (r, Ra) y sea P otro punto ordinario cual- quiera que no est sobre r. Sea (r', R’.) otra linea extendida, que no esta sobre P, escogida de tal forma que los puntos 4’, B', C’, D’ que provienen respectivamente de los cuatro puntos A,B, C, D, cuando los proyectamos desde P sobre (r’, R’x) sean puntos ordinarios. En esta proyeccién denote por R’, el correspondiente de Rs y por R el punto cuyo correspondiente es R'e. Por el teorema 2.1 tenemos (A,B; C,D) (4, B5C,D") = Fig.25 Fig.26 Ahora, suponga (Fig, 2-6) que las lineas (r, Ra) y (r', R’x) y los puntos A, B, C, D son como antes, pero que el centro de proyeccién es un punto ideal Pz, distinto de Re ¥ R's. Los proyectores de A, B, C, D sobre (r, Re) son lineas paralelas que intersectan a (r, R'z) en puntos ordinarios distintos, llamémoslos A’, B", C'", D"’. Es facil demostrar que (4,B;0,D) = (A",B";0",D") a) Regresemos ahora a la figura 2-6 y consideremos el caso de tres puntos ordinarios distintos y el punto ideal sobre (r, Rs), es decir, A, B, C, Re. Sus correspondientes sobre (', R's) son los puntos ordinarios A’, B’, C’, R’. Ahora (R’, A’; B', C’) esté definida, pero (Rx, A; B, C) no lo esté. Como estamos en libertad de definir (R.., A; B, C) como mejor convenga a nuestro pro- pésito, tomamos (Rs, A; B,C) = (RY,A’s B,C’) ") es decir, definimos4 RELACION DOBLE DE CUATRO ELEMENTOS (CAP. 2 La razén doble de tres puntos ordinarios y el punto ideal sobre cualquier linea exten- dida, es la razén doble (en el mismo orden) de sus correspondientes que resultan de cual- quier proyeccién, sobre otra linea extendida provisto solamente que estos correspondientes sean puntos ordinarios. Sin embargo, cuando el centro de proyeccién es el punto ideal P,, de la figura 2-6, los correspondientes A", B”, C”, Ri, son tres puntos ordinarios y el punto ideal de (r, R's). Bn este caso, ni (R,A;B,C) ni (Ry,A”;B", C") estén definidos. Consideremos (X,A;B,C) = #8. AC CB XC AB donde X es tal que, B, X separa a A, C. Cuando X+Ra, xc” 1, Esto sugiere (véase el problema 2.18) la definicién (R.,A;B,C) = AC/AB. Entonces (Ri,,A";B",C") = A"C"/A"B" y yaque AC/AB = A"C"/A"B" (demostrar esto), tenemos (Ruy A; B,C) = (Ra, A”; B’, 0”) @") Lo que hemos hecho aqui es extender el concepto de razén doble, para que (9) permanezca cuando, de cuatro puntos, tres son ordinarios y el otro es un punto ideal sobre (r, R.). Esta- mos ahora en posicién de afirmar: Para toda perspectividad entre los puntos de dos lineas extendidas distintas en un plano extendido, la razén doble de cuatro puntos cualesquiera sobre una linea es igual a la razén doble, en el mismo orden, de sus correspondientes sobre la otra linea. ‘Ademés, ya que una proyectividad es una sucesién de perspectividades, tenemos Para toda proyectividad entre los puntos de dos Iineas extendidas distintas en un plano extendido, la razén doble de cuatro puntos cualesquiera sobre una Iinea es igual a la razén doble, en el mismo orden, de sus correspondientes sobre la otra linea. En nuestra tentativa de definir la razén doble, de tal manera que (9) se cumpla para cuatro puntos colineales cualesquiera en el plano extendido, nos queda un caso final, a saber, cuando los cuatro puntos son puntos ideales distintos Az,Bz,Cu,Da de Pa. Claramente, el centro de proyeccidn es un punto ordinario del plano, como también los correspondientes de los puntos ideales. Supongamos z mA’, B, PxlAwy Bey Co, Dro “DY, y PalAw Bar Co: Day 3 pA”, B",C",D”, entonces pil(A’, B,C’, ) = pA”,B",0",D",...) y definimos La razén doble de cuatro puntos ideales distintos es la razén doble de cuatro puntos colineales ordinarios, en los que ellos pueden ser proyectados. Al extender la razén doble al plano extendido, las definiciones adicionales necesarias han sido dadas de tal manera que el siguiente teorema sea valido: Teorema 2.6. Si en el plano extendido se establece una proyectividad entre dos haces de puntos, sobre la misma o sobre lineas extendidas distintas (dos haces de lineas sobre el mismo o sobre puntos distintos), la razén doble de cuatro elementos del primer haz es igual a la razén doble de sus correspondientes, tomadas en el mismo orden, en el segundo haz, Esto nos sugiere la pregunta: {Si A, B, C, D son puntos distintos sobre una linea, y si A’, B’, C', D' son puntos distintos sobre ia misma 0 sobre tra linea, y si (A, B; C, D) = (A', BY; C’, D), se tiene necesariamente que una proyectivided de la formaCaP. 2} RBLACION DOBLE DE CUATRO ELEMENTOS % (A,B,C,D,...) x (4% ',0',D",...) existe 0, en la notacién simplificada del capitulo 1, se sigue necesariamente que (A, B, C, D) x (A', BY, C’, D')? La respuesta a esta pregunta es si, y es demostrada en el problema 2.2. Estamos en condiciones de plantear para el plano proyectivo Teorema 2.7. Si A, B, C, D son 4 puntos colineales distintos y si A’, B', C’, D’ son otros 4 puntos colineales distintos, sobre la misma o sobre lineas distintas, entonces (A,B,C,D) x (A’,B/,C",D’) implica que (A,B; C,D) = (A’,B’;0’, D’) y reciprocamente (A,B; C,D) = (A’,B;C',D’) implica que (A,B,C,D) x (A’,BY,C’, D’) Segin el teorema 1.3, existe al menos una proyectividad que envia tres puntos dados co- lineales cualesquiera, A, B, C respectivamente en otros tres puntos dados colineales cuales- quiera A‘, B', C’. Sea X cualquier otro punto colineal con la primera tripla y denotamos por X" su correspondiente en esta proyectividad. Entonces, por el teorema 2.7, (A, B;C,X) = (A,B CX) y (observe la pregunta en el problema 2.3) tenemos Teorema 2.8, (El teorema fundomental). Dados, en un plano proyectivo, tres puntos co- lineales distintos (tres lineas concurrentes distintas) y otros tres puntos coli- neales distintos (otras tres lineas concurrentes distintas) sobre la misma o sobre lineas distintas (sobre el mismo o sobre puntos distintos), existe una y solamente una proyectividad que envia la primera tripla A, B, C (a, 6, c), respectivamente, en la segunda tripla A’, Nota. Al decir que dos triplas de puntos distintos, sobre lineas distintas p, y ps deter- minan una y solamente una proyectividad, no estamos interesados con las sucesiones de pers- pectividades de la cual es deducida la proyectividad. Lo esencial del teorema es: Si X es otro punto cualquiera sobre p, entonces, independiente de la sucesién de perspectividades que eventualmente envian 4, B, Cen A’, B', C’ respectivamente, el correspondiente de X es siempre el mismo punto X" sobre ps. Como consecuencia, tenemos Teorema 2.9, Cualquier proyectividad py xp2 (Pix P2), con py # p2 (P, # P2), para el cual P= py-p, (p= P;P,) es auto-correspondiente, es una perspectividad. Para una demostracién, véase el problema 2.4. Una aplicacién importante del teorema 2.9, esté en probar la colinealidad de triplas de puntos y concurrencia de triplas de lineas. Por ejemplo, véase el problema 2.5. Otras consecuencias del problema 2.7 son: Teorema 2.10. Si A, B, C, D son cuatro puntos distintos cualesquiera sobre una linea, en- tonces (A, B, C, D) x (B, A, D, C) x (D, C,B, A) x (C, D, A,B). y Teorema 2.11. La separacién es una propiedad proyectiva de cuatro puntos colineales dis- tintos (cuatro lineas concurrentes distintas). Una objecién valida para las relaciones dobles, como fueron definidas aqut y a los teore- mas que resultaron de su uso puede ser originada en vista del hecho de que estas relaciones fueron definidas en términos de longitudes de segmentos de Iineas. Daremos hasta donde sea posible, una demostracién independiente de los teoremas més importantes relativos a relacio- nes dobles. El teorema 2.10 serd usado frecuentemente en los capitulos posteriores y nosotros recaleamos que 61 fue demostrado originalmente en los problemas 1.5, 1.6 y 1.22, del capitulo 121. 2.2. 2.3. RELACION DOBLE DE CUATRO ELEMENTOS ICAP. 2 Problemas resueltos Para.A, B, C, D puntos colineales distintos, verificar que AB-CD + AC:DB + AD-BC = 0 La verificacin se hace por el uso repetido de (2), pigina 19. Para la tipla A,B, C tenemos AC + (B+ BA-= 0; de donde, AC-= AB+ BC. Similarmente para la tripla A, B.D tenemos AB= AD+ DBy pera la triple B, C, D tenemos CB= CD-+ DB. Entonces AB+CD + AC+DB + AD+BC = AB(CD+DB) + BC(DB+AD) = AB+CB+BC-AB = 0 Dados cuatro puntos colineales distintos A, B, C, Den el plano extendido y otros cuatro puntos colineales distintos 4’, B’, C’, D' sobre la misma Iinea o sobre Iineas distintas. Demosttar que (A,B;C,D) = (A’,B';C',D’) implica (A,B,C,D) x (4’,B',0’,D’) Segin el teorema 1.3, siempre existe por lo menos uns proyectividad que envia A, B, C en A’, BC’ respectivamente. Supongamos que ests proyectividad envia D en D". Por el teorema 2.6, (A,B; C,D) = (A',B5C,D") Pero (A,B: C,D) = (A,B C.D") por esto (A',BC',D") = (A',B5C,D") Entonces Ba',D) = (BIA',D") ¥y eoneluimos que D' =D" Dados, en un plano extendido, tres puntos ordinarios distintos A, B, C sobre una linea extendida y un mamero (real) \. Construir el punto X sobre la linea, tal que (A, BC, X) = AC, Bx De eiaee ose BC AX 1 punto ideal colineal con 4, 2, C cuando = Nesevidente que X = Beuando) = 0;X = Ceuandod=1y X= Py = AC/BC. Excluyendo estos valores de» hay dos casos: (4 > 0, Vease le figura 2-7), A través de A pasemos una lines G, Qy) distinta de AB = (p, Pa) ¥ frientemos esta linea en tal forma que la direceién de A hacia Qu sea positiva. Sobre (, Qa) rmarquemos dos puntos B' y C" tales que, AC}/BC’ =). Sea P = BB'-CC' y a través de P pasem: vuna Tinea q' paralela a q. Que p-q’ = X, es el punto pedido, se sigue del teorema 26, es deci (4,8, E (A, yest (A,BsC,X) = (A,B'sC',Q,) = (ABYC) = 2 (i) <0, Véase Ia figura 2-7(8). Con el debido cuidado de los signos, el procedimiento en este caso es idéntico al usado en (i) y no serd repetido. {Por qué podemos asegurar que hay justamente un punto X? ® Fig.2-7CAP. 2} 24. 2.5. RELACION DOBLE DE CUATRO ELEMENTOS 21 Probar que: Cualquier proyectividad p xp’ (P xP’), donde p # p' (P # P’) para elcual Q = p-p' (q = PP’) es auto-correspondiente, es una perspectividad. CConsidere en la figura 2-8, las Kineas py plas 5 cuales se intersectan en Q. Sobre p témense dos puntos, Ay B, distintos de @. Suponga que sus correspondientes en la proyectvidad son respecti- vamente A'y B' tal que, ) x PQA'BY, Ses R= AA'-BB'. Entonces ) ¥ 7t@,a'B...) la proyectividad 4. La segunda parte del teorema se sigue por el principio de validad Fi QA, B, Pruebe el dual del teorema de Pappus: En un plano proyectivo sean a1, a2, a3 lineas distintas sobre un punto Ry b;, bz, bs lineas distintas sobre otro punto S; entonces Tas Iimeas c) = (az + b3)(4y + be), ¢2 = (a1 + bs) (as + bi), ¢s = (ar + bz )(az + b,) son con- currentes. & R A Fig.29 En Ia figure 29 sean c1-cy = Py RS = p. Esta muestra, que cy esti sobre Pry esto es lo que nosotros eseamos demostrar. Pata construir la demostracién necesitamos dos haces perspectivos de lineas, en el cual, digamos, c1 y ex son elementos correspondientes y ademés estos haces incluyen lineas cuyas seeciones determinan ¢;. Considere A, = a+b; sobre ¢, y Ay = a,-by sobre cg como los eenttos de estos hhaces, Sobre A, necesilamos una linea que pase por un punto tobre cy, y sobre Az necesitamos una lines ‘que pase por el otro punto conocido sobre cy. Sean estas lineas u = (2}+Bz)(ay+bs) y v= (ay+bi)a1+bs) respectivamente, Ahora Axle sds 0g) % RQ, dyP.09) — y Alea By bo ®) Z Rloysay.7,03) y ast Axles bsita) = Aslen dy by 0) spondiente, 1a proyectividad es en realidad la perspectivided Arley yaa) & Arley oy 0) Ya que b; es un elemento auto-cor28 2.6. RELACION DOBLE DE CUATRO ELEMENTOS (cap. 2 Obsérvese que esta perspectividad retine los requisitos anteriormente dados, es decir, ¢, y ce son elementos correspondientes, mientras que u-ay y ay-v estén sobre cs, Por definicién P= c,-ca, ay-u = 0\-b1 ¥ ‘y-0 = aj-b, son puntos colineales. Entonces P esté sobre (ay-b,)(0a-bi) = ey y asi cj, cy, ¢3 son cone currentes como se pidié. El punto Pes llamado el punto de Pappus para las dos triplas de lines, sobre puntos distintos R y 8. Estamos ahora en posicién de deseribir una prueba més clara: En la figura 29 sean RS p, (geby = yy apeby = Ani (ayebs)(azebs) = ty (on~bs)(ay-bs) = v. Luego by 4 Ailey tbo dg) & Bley 94» 7,93) = Aalens ay bv) ya Axl6x%y bya) = Aaley abs Pero esta es una perspectividad, es decir, Aileu%as) % Axles, an) Entonces c;.¢z, a,-u= ay+bp, 09-0 = ay-bi son colineales y at (a+ba)(aa+by) esté sobre eysee = P como se pidié. Demostrar el teorema de Pappus: En un plano proyectivo, sean Aj, Az, As puntos distintos sobre una linea r, y B,, By, Bs puntos distintos sobre otra linea s; entonces los puntos C, = AzB3+AsBy, Cz = Ai+By+AsBi, Cz = A\B+AzB, son colineales. En te figura 20/, sean roe-= P, A\By-A:By = U, ArBy~A:By = V, Cy C2 =p. Lugo (CuU,By Ad) 2 AyAyPAd 2 Cody Bu P) por esto (Ci, U,By A) = (CyAy By V) Pero esta es una perspectividad, es deci, (CyU,Ad) & (CyAyV) By, AaV= AaB, son concurrentes en AyBy-AzEy = Cy y por esto, los puntos Entonces C,Ca, As Ci, Cs, Cs son eolineates La linea p tintas r ys. "1C,Cs se llama linca de Poppus, pare las dos triplas de puntos sobre las lineas dis-CAP. 2) aa. 28. 29. 2.10. au. 2.12. 2.13. 2d. 215. 2.16, 2a7. 2.18. 2.19. 2.20. RELACION DOBLE DE CUATRO ELEMENTOS 29 Problemas propuestos (a) Demostrar que (1) y 2), pigina 19, son independientes de la orientacion dep, (6) Demostrar que (2) es independiente de la posicién de C con respecto a Ay B. Sugerencia. Cuando se hacen tres marcas distintas sobre la lines p, hay seis maneras distintas de distribuir A,B,C sobre estas marcas. Debe ser investigado cada caso, Demostrar para tres puntos distintos A, B, C sobre una lines, que las seis relaciones simples tienen valores BU lan got {Por qué (AB, C) no es un invariante proyectivo? Demostrar que: (ab) + (ba) = 0, (ae) + (¢b)-+ (ba) = 0, (ab) =(ed) + (ae) (db) + (ad) *(be) = 0 En la figura 22, marque los puntos (leyendo de izquierda a derecha) B, C, D, A sobre r y F, C’ sobre s y demuestre que (4, B; 0, D) = (A’, By C’, D?) Complete la verificaciin de (8), pagina 22 De los trdngulos semejantes RPA’ y RAP de la figura 25, obtenga que R RP*PR 9, RP+PR Br” + De la misma ‘AR + Entonces, demuestreque (Ry, A: B, C) = ( forma obtenga que RB’ oR BY, C')= AC/AB, (A, B: C, Ra) = (A’, B's C’ R') = AC/BC, ete. Demostrar que para cinco puntos distintos A, B, C, D, E sobre una linea (A,B; C,D)+(A,B; DB) (A,B: E, ©) Demostrat el teorema 2.11 de ls pagina 25, Sugereneia. Sean A, B, C,D_ cuatro puntos colineales, tal que el par A, C es separado por el par B, D. Si(A, BC, D)=(A', BY, C’, D), demuestre que los puntos A’, C' son separados por B, En las figuras 2-7(a) y 2-7(b), AB= 6 unidades y AC = 10 unidades. Para los mismos puntos A,B, C sobre p, eonstruya X cuando q = p es otra linea cualquiera sobre B y también cuando q x p es otra linea cualquiera sobre C, para (a) 1 = 6/4 unidades, (b) 4 = ~6/4 unidades. (Para comprobar la respuesta, AX = 12unidades en (a) y AX = 4 unidades en (b).) Sean A,B,C puntos distntos sobre una linea p, tal que AB = 12 unidades y AC = 8 unidades. Constroya X sobre p tal que (a) (A, BX) = —1, (6) (A, BC, X) = 2. (Para verificar la respuesta, AX = 24 uni- dades en (2) y 6 unidades en (6)) Con los puntos A, B, C, X comoen el problema 2.17(0), lleve a eabo la siguiente construccién: Sobre A tome dos lineas cualesquiera distintas, ninguna de las cuales sea p; sobre C tome cuslauier line, diferente de p, ‘que intersecte aa en Py a 6 en @; una B con P intersectando a ben R; une B con @ intersectendo aa en S. Entonces RS debe paser sobre X. Con los puntos A, B, C, X como en el problema 2.17(b),lleve a cabo la siguiente eonstruccién: Tome dos lineas cualesquiera distintas, sobre A, diferentes de p; sobre B vome una linea cualquiera diferente de p, que intersecte a a en Py a ben Q; una C con P intersectando a 6 en R; una C con @ intersectando a a en S; una Ry S. Responda las preguntas (2) y (8) planteadas en Ia pagina 13Capitulo 3 Teorema de los dos tridngulos de Desargues CONFIGURACIONES PLANAS Entenderemos por una configuracién plana toda figura en un plano proyectivo consistente de ai, puntos y az» Iineas, tales que sobre cada uno de los puntos estan a,_ de las Iineas y so- bre cada una de las lineas estén az, de los puntos. Tales configuraciones serdn representadas an aur | arregl por el arreglo 7 a . Entre éstas, estan dos tipos, llamadas completas: (a) El n-punto completo que consiste de n puntos, tres no colineales, y las $n(n — 1) lineas determinades por ellos. y su dual (a) La n-linea completa que consiste de n lineas, tres no coneurrentes, y los 4n(n — 1) puntos determinados por ellas. El 2-punto completo, que consiste de dos puntos y sus uniones, y la 2-linea completa, que consiste de dos lineas distintas y su punto de interseccién, son triviales. Las configuraciones planas completas més simples no triviales son el 3-punto completo, que consiste de tres puntos no colineales y sus uniones, y la 3-linea completa, que consiste de tres lineas no concurrentes y sus puntos de interseccién. En cada una de ellas hay a, = 3 puntos y az; = 3 lineas, con @12 = 2 lineas sobre cada punto y a;; = 2 puntos sobre cada linea, Cada una es representada 8 2 28 sera hecha una distincién entre el 3-punto completo y la 3-Iinea completa. En efecto, cada una de ellas serd llamada un triéngulo simbélicamente por el arrego ( ) ¥, en eonsecuencia, es auto-dual. Bn vista de esto, no Las configuraciones planas completas mas simples, fuera de las anteriores son el 4-punto completo 0 cuadréngulo completo, y su dual, la 4-linea completa 0 cuadrilitero completo. Fig. 3(a) 30CAP. 3) ‘TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES 31 El cuadrdngulo completo, que consta de los cuatro puntos distintos P, Q, R, S, tres de los cuales no son colineales, y sus seis uniones, esté ilustrado en la figura 3-1(a). Los cuatro puntos dados son llama- {dos los vértices y las seis lineas son llama- das los lados del cuadrangulo completo. Dos lados que no estén sobre el mismo vértice, son lamados un par de lados opues- tos del cuadréngulo completo. Los tres pa- reg de lados opuestos determinan tres pun- tos adicionales A, B, C llamados puntos diagonales del cuadréngulo completo, En la figura, estos tres puntos son no colineales y determinan un tridngulo, el tridngulo diagonal de! cuadringulo completo. Simbélicamente, el cuadréngulo com- pleto esté representado por el arreglo G 3): El cuadrilétero completo, que consta de las cuatro lineas distintas p, g, r, s, tres de las cuales no son concurrentes, y sus seis puntos de interseccién, est ilustrado en la figura 3-1(6). Las cuatro Iineas dadas son Hamadas los lados y los seis puntos son lla- mados los vértices del cuadrilatero com- pleto. Dos vértices que no estén sobre el mis- mo lado, son llamados un par de vértices opuestos del cuadrilétero completo. Los tres pares de vértices opuestos determinan tres ineas adicionales a, b, ¢ Hamadas lineas diagonales del cuadrilétero completo. En la figura, estas tres Iineas no son concurrentes y determinan un tridngulo, el tridngulo diagonal del cuadrilatero completo. Simbélicamente, el cuadrilétero com- pleto esté representado por el arreglo ( é a ie. 31(0) E] término cuadringulo completo debe ser usado aquf para distinguirlo del cuadréngulo sencillo que consta de 4 puntos P, Q R, S, tres de los cuales no son colineales, y las 4 Iineas PQ, QR, RS, SP que se obtienen al unir los puntos ciclicamente. Dualmente, existe un cwadrildtero sencillo que consta de 4 Iineas p, q, r, s, tres de ellas no concurrentes, y de los 4 puntos p-q, Gor, res, sep que se obtienen al intersectar las lineas ciclicamente. No estamos en situacién para demostrar que Los puntos diagonales (lineas diagonales) de cualquier cuadréngulo completo (cua- drilétero completo) no son colineales (no son concurrentes). Sin embargo, por el momento trabajaremos suponiendo que son vélidos. Dos n-puntos completos se dice que estén en posicién perspectiva, si estén en correspon- dencia biunivoca y situados de tal forma que pares de vértices correspondientes no estén sobre lineas concurrentes. El punto de concurrencia P es llamado el centro de perspectividad y deci- ‘mos que los dos n-puntos son perspectivos desde P.32 ‘TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES (CAP. 8 Decimos que dos n-lineas completas estan en posicidn perspectiva, si ellas estén en corres- pondencia uno-a-uno y situadas de manera que pares de lados correspondientes estan sobre puntos colineales. La linea de colinealidad p se lama el eje de perspectividad y decimos que las dos n-lineas son perspectivas desde p. Entonces dos tridngulos coplanares pueden ser perspectivos desde un punto, o ser perspec- tivos desde una linea, o ser perspectivos desde un punto y una Iinea al mismo tiempo. Uno de los més famosos teoremas de geometria proyectiva plana es Teorema de los dos tridngulos de Desargues. Si dos tridngulos coplanares A, Az ‘Ay y B,BpBy son perspectivos desde un punto P, ellos son perspectivos desde una linea p; y reciprocamente. CONFIGURACIONES EN EL ESPACIO Entenderemos por una configuracién en el espacio, toda figura que consiste en el espacio proyectivo de a1; puntos, azz Iineas y as planos, tales que sobre cada uno de los puntos estén a2 lineas y ays planos, sobre cada una de las lineas estén a3; puntos y az planos, y sobre cada uno de los planos estén as, puntos y as» Ifneas. Una configuracién de éstas, serd an dis Qe representada simbélicamente por el arreglo (= ae “ 431 sr ds Las configuraciones completas més simples en el espacio, son la 4-punto completa y su dual en el espacio, la 4-plano completa, La 4-punto completa consiste de cuatro puntos no copla- nares (vértices), junto con las seis lineas (lados) y los cuatro planos (caras) determinados por ellas. Sobre cada uno de los puntos hay tres lineas y tres planos, sobre cada una de las lineas hay dos puntos y dos planos, y sobre cada uno de los planos hay tres puntos y tres lineas. La 438) 4-punto completa se representa simbélicamente por (2 6 i. Dejamos como ejercicio la de- 334 finicién y descripeién de la 4-plano completa. Puesto que la 4-punto completa y la 4-plano completa son autoduales, la una y la otra son lamadas un tetraedro. El corte de un 4-punto completo por un plano que no pase por un vértice, se representa 6 simbélicamente por (3 Ab Este corte consiste de un triéngulo, y una Iinea que no esta sobre wun vértice del tridngulo. Consideremos ahora los triéngulos obtenidos cortando la 4-punto completa, por dos planos distintos, ninguno de los dos sobre un vértice. Ya que estos tridngulos pueden ser puestos en correspondencia uno-a-uno, de tal manera que las uniones de vértices correspondientes estén sobre un vértice del tetraedro, decimos que los tridngulos son perspec- tivos desde un punto. Ademés, si los lados de los dos triéngulos pueden ser puestos en corres- pondencia uno-a-uno, de tal manera que los pares de lados correspondientes se intersecten en puntos colineales, decimos que los triéngulos son perspectivos desde una linea. ;Puede usted identificar esta linea? {Son los dos tridngulos siempre perspectivos desde el punto y la linea al mismo tiempo? La configuracién en el espacio, de parti- cular interés para nosotros, es la 6-punto com- pleta (Fig. 3-2), que consiste de 5 puntos (vér- tices) 4, B, C, D, E, cuatro no coplanares y tres no colineales, junto con las diez lineas (lados) y los diez planos (caras) determinados por ellas. La representacién simbdlica es 5 4 6 210 3 38 10,CAP. 8] TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES 33 CONFIGURACION DE DESARGUES Un corte del espacio 5-punto completo ABCDE por un plano x, que no esta sobre ninguno de los vertices, es mostrado en la figura 3-3. Ya que el 5-punto consta de diez lineas y diez pla- nos, de tal forma que tres de las lineas estan sobre cada plano y tres de los planos estén sobre cada una de las lineas, este corte plano consiste de diez puntos y diez Iineas, con tres de los puntos sobre cada una de las lineas y tres de las lineas sobre cada uno de los puntos. La repre- sentacin simbélica del corte es ("9 1g): Pata identificar estos puntos y lines, consiere el tridngulo ABC proyectado desde los puntos D y E. La seccién de x consta de los triéngulos ‘A:By C. y AzBz Cz. Denote por P la interseccién de la linea DE con x. Entonces los pla- nos DEA, DEB, DEC intersectan a x en las lineas PA\A:, PB,Be, PC\C: respectiva- mente. Se tienen ya siete de los diez puntos y nueve de las diez lineas, y podemos decir que en parte, el corte consiste de dos tridngulos A,B,C, y A2Bz C2, perspectivos desde el punto P. La linea restante es p, interseccién del plano ABC con z, sobre la cual caen los puntos res- tantes: Ag, la interseccién de BC con x; Bs, la interseccién de AC y x; y Cs, la inter- Fig. 3:334 ‘TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES ICAP. 3 seccién de AB y z. Luego la linea A,B, en el plano DAB, y la linea A,B2, en el plano EAB, se intersectan sobre la linea AB y ademés se cortan en el punto C3. Similarmente, A, C; y Aa C2 se cortan en B, mientras B, C, y By C2 se intersectan en As. Por esto el corte (mejor conocido como la configuracién de Desargues) consiste de dos tridngulos A,B,C, y AzB: C2, perspectivos desde el punto P y también desde la linea p. TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES El teorema, como fue establecido en la pagina 32, se refiere a dos tridngulos coplanares. Consiste de dos partes, —un teorema y su reeiproco— que a su vez, se reducen a un teorema y su dual en el plano. Usando el teorema fundamental, se da una prueba en el problema 3.1 yy otra, usando el teorema de Pappus, como se indica en el problema 3.34. Ya que nuestra prue- ba del teorema fundamental y, por esto, del teorema de Pappus, emples razones dobles, damos ahora una tercera prueba. Sin embargo, con el propésito de evitar razones dobles, debemos demostrar un teorema més general: Si dos triéngulos, coplanares 0 no-coplanares, son perspectivos desde un punto, son perspectivos desde una linea y viceversa. Este consiste de cuatro partes —dos teoremas y sus reciprocos. Procedemos ahora a dar una lista de estas partes en orden conveniente y dar una demostracién de las tres primeras. Parte 1. Si dos tridngulos no-coplanares son perspectivos desde un punto, son perspec- tivos desde una linea, Consideremos en la figura 3-3 los dos tridngulos no-coplanares ABC y AyBp C2 perspec- tivos desde el punto E. El tridngulo ABC es un corte del tetraedro EA, B, C2 por un plano que encuentra la cara x = AzB; Cz de este tetraedro en la linea p. Ya que las lineas AB y A, By estan sobre la misma cara EAzB, del tetraedro, estén sobre un punto; ya que AB esté sobre el plano ABC y AzB, esté sobre el plano x, este punto es Cs y estd sobre p. En forma andloga, AC+A Cy = B; y BC+B, C2 = Aj estan sobre p. Por tanto los tridngulos ABC y A,B; Cson perspectivos desde la linea p, como se pidié. Parte 2. Si dos tridngulos no-coplanares son perspectivos desde una linea, son perspec- tivos desde un punto. Consideremos en la figura 3-3 los triangulos no-coplanares ABC y A,B, C2 perspecti- vos desde una linea p. Sean AB. A,B, = C3, AC+Az C2 = By ¥ BC-B; Cz = As. Los planos ABC; A2By, ACBsAz Cz y BCAsB, Co tienen un punto en comin; lamémoslo E. Entonees la linea AAp, que estd sobre dos de estos planos, esta sobre E; similarmente, las lineas BB: y CCz estén sobre E. Por tanto los tridngulos ABC y AzBy C2 son perspectivos desde el punto E, como se pidié. Parte 3, Si dos tridngulos coplanares son perspectivos desde una linea, son perspe\ desde un punto En la figura 3-3 tomemos los triéngulos A,B,C; y AzB; C2 en el plano x perspectivos desde la linea p. Entonces A,B, +AzB, = Cs, A; C1+Az C2 = By y B,C)+By Cz = Ay estin sobre p. A través de p pasemos un plano distinto de x y sobre él tomemos tres lineas, ca- da una a través de los puntos As, Bs, Cs, para formar el tridngulo ABC. Luego, los tridn- gulos no-coplanares ABC y A,B,C; siendo perspectivos desde la linea p, son perspectivos desde el punto D. En forma andloga, los triéngulos no-coplanares ABC y AyBy C2 son pers- pectivos desde el punto F. Ya que AA; y Ady estén sobre el plano AA\Az, los puntos Dy E también lo estén. Similarmente, los conjuntos de puntos B, By, Bs, D, Ey C, C1, Co, D, E, son cada uno de ellos coplanares. Sea A, Az- DE = P; entonces B,B;-DE = C,C-DE = Py los triéngulos A,B,C, y AeByC; son perspectivos desde el punto P, como se pidiCAP. 3] ‘TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES 35 Parte 4. Si dos triéngulos coplanares son perspectivos desde un punto, ellos son perspec- tivos desde una linea. Debido a que los tridngulos de la parte 3 y de la parte 4 son coplanares, el teorema de la parte 4 es el dual en el plano, de la parte 3 y de esta forma se puede aceptar como vilido. Por otra parte, la demostracién de la parte 3 fue hecha en el espacio proyectivo y por esto no puede ser dualizada en el plano. Se sugiere al lector dar una demostracién independiente y compa- rarla con la del problema 3.2 El teorema de los dos-triéngulos puede ser usado para demostrar un gran mimero de cons- trucciones y teoremas de interés. Como es de esperar, el procedimiento en cada caso es el de localizar un par de triéngulos perspectivos desde un punto (Iinea) y, en consecuencia, perspec- tivos desde una linea (punto). Aunque algunos teoremas pueden ser validos en el espacio y en el plano, nos interesaremos desde ahora estrictamente en un solo plano. Se entendera entonces que cuando se den dos lineas, ellas serdn coplanares; cuando cuatro o més puntos sean dados, ellos son coplanares; y cuando se pida el dual de una construccién o de un teorema, se entiende que es el dual en el plano (o plano dual). Ejemplo 3.1. Sea p une linea dada y A, Bdos puntos dados, que no estén sobre p. Sin unir Ay B (suponga que esto es impo- sible por alguna razén), obtenga la interseccién de p y AB. En la figura 3-4 empezamos con la linea p, los dos puntos A. B y suponiendo la construccién posible de un punto X en alguna parte sobre p. Para obtener tridngulos perspectivos debemos afladir de la manera més general posible, puntos ¥ liness adicionales. Sea q cualquier linea distinta de p que no esté sobre A ni sobre B. Sobre q, tomense tres puntor distintos cualesquiera Q, R, Sy Gnanse a Ay a Bobteniendo las lineas a, 03, a; y bi, by, bs. Ahora busca- ‘mos dos triéngulos que por construccién son perspectivos desde un punto y por tanto, seri perspectivos desde una linea, Nos gustaria, si es posible, que esta linea sea AB, que como recordaremos debe contener al punto X. Ya que ‘a ¥ ay estén sobre A, by y by eatin sobre By X esté sobre p, consideramos los tridngulos a;,p y aybyr, donde r debe ser determinada. Sean p-o, = H y prb = K; entonces el tridngulo a,b,p es el triéngulo QHK. Ya que QS esth sobre R, consideraremes a R como el centro de perspectividad. Sean h = HR, k= KR, T= heas, U = hebs Entonces TU = res la linea buscada. Ahora los triingulos a,bip y asbsr (QHK y STU), que son perspostivos desde R, deben ser perspectives desde una linea. Esta linea estd sobre A = aj+03, B= byob: y sitia a X = por come la interseccién de p y AB Véanse también los problemas 3.8 y 34.36 ‘TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES (CAP. 3 PERSPECTIVIDADES SUCESIVAS Supongamos que la proyectividad Pi(A1, Bi, Ci, Diy...) Pasi(Anti, Bast, Casi, Dass, . ++) proviene de la sucesién dada de n perspectividades sucesivas. (PAs, B,Ci,Di,...) 2 pln By CDa,...) 2 plAs,Bo,Co,Ds,-..) # PAu Ba Cs, Ds...) 3° 1 Cn+tsDavt, «de F Pavi(Anss, Be En el problema 1.4 se mostré que toda proyectividad entre dos haces de puntos (haces de lineas) sobre lineas distintas (puntos), puede ser expresada como el producto de tres perspec- tividades como maximo. Otra prueba de este teorema serd indicada dando un procedimiento sistemético para reducir (i) a una, 0 méximo dos perspectividades cuando py # Pysi ¥ una sucesién de dos, o hasta tres perspectividades cuando p, = p,+1. Para efectuar tal reduccién, es necesario saber bajo qué condiciones dos perspectividades consecutivas pueden ser reducidas a una sola perspectividad y bajo qué condiciones tres perspectividades sucesivas pueden ser reducidas a dos. Estas preguntas son absueltas en los siguientes teoremas: Teorema 3.1. Si las lineas p,, pz, ps estén sobre un punto O y si i(Ar,Bs, C1,Ds,...) % PolAs,Bs,0s,Ds,...) $ ps(As,Bs,Os,Ds, ...) existe un punto R sobre la linea PQ tal que P1(A1 Bs, Ci,Dry...) F Palds Bs, Cs, Ds, Para una prueba, véase el problema 3.5. Corolario. Si ps, Pz, Ps son lineas distintas, si p; = ps, p3 es cualquier linea sobre PiPay ¥ Bi Pi(A1,Br,C1,Ds,...) © Pals, Bs, Cr,Ds, ...) 2 pols, Bs,Cs, Ds, ...) existe un punto X sobre PQ tal que Pi(Ai, By, C1, Dy .. pile, Bi, 0%, Ds, ...) 2 ps{As, Ba, Cs, Ds...) Teorema 3.2. Si tres de las Iineas distintas p,, pz, ps, p, no son concurrentes y si Pi(Au, Bi, Ci, Ds, ...) & pa(As, Ba,Cs, Ds, ...) £ PiAo Bs, CDs...) & Pls By Ce, Dy..) existe una linea ps, distinta de p: y ps, y puntos Sy T tales que Pi(As,Br,Ci,Diy.-.) $ Py (AgrBysCurDys-+) Z PAu Ba CuDs,..-) Para una prueba, véase el problema 3.6. Teorema 3.3. Si p:,P2,Ps,Ps son lineas distintas, de las cuales pi, pe, ps estan sobre un punto O mientras ps no lo esté (pi,Ps,ps estén sobre un punto O mien- tras py no lo esta) y si Pi(As,ByCr,Di,...) £ plAs,BuCs,Dr,...) $ Ba(As,Bs,Cs,Ds, ...) % pilAs,BuCs,Du...) existe una linea ps distinta dep, y ps, ¥ puntos Sy T tales que Pils, Bi, C1, Ds, ...) & PglAgs Bs CgsDys +) % PAs Ba, Ce,De, ) Para una prueba, véase el problema 3.7.CAP. 3] TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES 37 Después de aplicar el teorema anterior a (i) y los efectos que resultan después de cada apli- cacién de un teorema, es claro: (ii) Para el caso pr # Pysy tenemos p15 Py Patt que ademés se reduce ap: X Pasi cuando Pi,P,,,Pa+i Son concurrentes, (iii) Para el caso p= Pils, Bs, Cr, Diy...) & Pyg (Aver Byer Cue De F Pana Avner Bone CosnsDasur +6) F Pilnsn Barts Cnet, Dest a1, tenemos x que ademés se reduce a p(s...) ¥ D,, % PAnes,-..) 0. mils, pilAnsn ++) 8Uando PisP,y» Peay SO” concurrentes, CUADRANGULOS PERSPECTIVOS Considerar en Ja figura 3-5 los cuadrangulos completos P;Q,RiS; y P2QR2S: situa- dos de tal forma que las intersecciones A= PiQu'PiQs, D = PyRi+Poks, B= PsSiPoSs, G = QiRi- Qiks, F = RiSi- RoSp estan sobre una linea 0. Sea EB = Q,S,+Q:S:. Los tridngulos P,QiRi y P:Q2Rz siendo perspectivos desde la linea ADG = 0, son perspectivos desde O, el punto comin de P; Ps, QQ y RiRs. Similarmente, los triéngulos P,R,S, y P,R;S, son perspectivos desde la linea BDF = o, por tanto son perspectivos desde 0 = P, Pz+Ri Rs. Entonces S; S, esté sobre 0. Fi- nalmente, los tridngulos P, Q,S, y P: Qe» siendo perspectivos desde O, son perspectivos des- de la linea AB = 0; asi E est sobre o. Hemos demostrado Teorema 3.4. Dados dos cuadréngulos completos situados de tal forma que las interseccio- nes de cinco pares de lados correspondientes estan sobre una linea, entonces (i) la interseccién de los seis pares de lados correspondientes est sobre esta Ii- nea y, (ii) los dos cuadréngulos son perspectivos desde un punto y-desde una linea,38 ‘TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES (CAP. 3 El conjunto de seis puntos en que un cuadréngulo completo encuentra una linea que no esté sobre un vértice, se llama conjunto cuadrangular de puntos. Hay tres casos: (a) los seis puntos son distintos como en la figura 3-5; (b) dos de los puntos y F (B y @) coinciden, en cuyo caso la linea o esté sobre el punto diagonal A (B); (c) cada uno de los pares de puntos 4, F y B,G coinciden, en cuyo caso la linea o es un lado del tridngulo diagonal del cuadréngulo. (Nuestra hipétesis referente a los puntos diegonales de un cuadréngilo completo, excluye la posibilidad de que los seis puntos coincidan.) Fig. 8-6 Para el caso (c), el teorema 3.4 se establece asi Teorema 3.5. Si dos cuadréngulos completos estén situados, de tal manera que tienen en comin un lado de sus triéngulos diagonales y si el punto de interseccién de tun quinto par de lados correspondientes est sobre esta Iinea, lo mismo suce- de con el punto de interseccién del restante par de lados correspondientes. CONJUNTOS CUADRANGULARES Volviendo sobre la figura 3-5, consideramos el conjunto cuadrangular de puntos sobre 0 co- mo el definido por el cuadrangulo completo P,Q, R:S;. Nuestra atencién ha estado dirigida a un apareamiento natural de los puntos de este conjunto —A y F, By G, Dy E— ya que los lados del cuadréngulo sobre cada par, estén también sobre un punto diagonal. Los puntos del conjunto pueden ademés ser separados de cuatro formas, en dos triplas, tales que los lados del cuadréngulo estén sobre el mismo vértice, mientras que los lados sobre la otra tri- pla forman un tridngulo. Por ejemplo, los lados del cuadréngulo sobre la tripla A, D, B estén todos sobre P (Ilamamos 4, D, B un punto triple) y los lados sobre la tripla F, E, G forman el tridngulo Q,, Ri, S; (lamamos F, E, G un tridngulo triple). El conjunto cuadrangular se- 14 denotado por Q(4, D, B; F, E, G), es decir, por un simbolo de la forma @ (punto triple; tridéngulo triple). El orden en que fue colocado el punto triple en el simbolo es inmaterial; sin ‘embargo, convenimos en que una vez colocado el punto triple en el simbolo, el orden del tridn- gulo triple se establece por el apareamiento anteriormente mencionado. Por ejemplo, podemos escribir Q(4, B, D; F, G, E) pero no QA, B, D; E, F, @). Si el conjunto cuadrangular se reduce a sélo cinco puntos distintos (es decit A y F coinci- den) escribiremos Q(4, D, B; A, E, @); si el conjunto cuadrangular se reduce a s6lo cuatro pun- tos distintos (A y F coinciden, B y G coinciden) eseribiremos Q(A, D, B; A, E, B). Este tlti- ‘mo caso seré considerado en el proximo capitulo. En dicho capitulo se introduce un simbolo més ttl,CAP. 3] 3.1. 3.2. 3.3. TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES 39 Problemas resueltos Demostrar, utilizando el teorema fundamental que: Si dos triéngulos coplanares A, Az Ay y B,BzB; son perspectivos desde un punto, son perspectivos desde una linea p. Sean ABs = 61, AaBs = cs, AyBy = 4; damos c,, er, es concurrentes en P. Sean AA ta, Aids = tay ALAS = a4; BB, = bs, BB, = bsy BaBy = Bs aieby = Cay agrbe Ce, aseby = C35 C.Cs = p. Vamos a demoatear que Cesta sobre p. ig Seu As Cyd y BCs = Bntonces Arlo eirte a) F Pler erty PC) 2 By bye) y Axl, 436.4) ~ Baldy, dy ep, €) Esta proyectividad es una perspectividad (por qué?) y el eje de perspectividad esté sobre aby = C a+b; = Cy y dee = Cy. De donde, ay +b; = Cz esti sobre p = C,Cs, que era lo que se pedia. Demostrar sin utilizar el teorema fundamental que: Si dos tridngulos coplanares son perspectivos desde un punto, son perspectivos desde una linea. Recurra a la figura 33. Sean los tringulos AsB, Cy y A:BsCz_ en el plano x perspectvos desde el punto P, Sean C; = A,Bi-A:By, By = Ay Ci+Aa Cz y As = By Ci+By C2. Sobre P tome evalquier linea que no esté sobre x y cobre ella tome los puntos distntos Dy . En el plano DEAAs, sea A= DA,+EAy; en el plano DEB,Bz, sea B = DB,-EBy; en el plano DEC, Cs, sea C= DC,-ECy. Por construcién, los trdngulos ABC y A,B,C, son perspectivos desde D y asi son perapectivos desde la linea de interseccidn p de evs planos, Similarmente, los tridngulos ABC y A,B, C; oa perspectivos desde E y por tanto también son perspestivos desde p. Ahora AB. A,B, y AB. A,B, eatén sobre p; en consecvencia estén sobre el mismo punto Cs. Similermente, By ¥ Ay estan sobre p, que era lo qe quetiamos, Enunciar y demostrar el dual del ejemplo 3.1 de la pégina 35. Sea P un punto dado y sean a y b dos lineas distintas dadas, que no estin sobre P. Sin intersectar « «y 6 (suponga que esto es imposible por alguna raz6n), obtenga la unién de Pcon el punto de intrseccién de ay. Bn la figura 38 sea @, cuslasier punto distinto de P que no estd sobre a ni sobre b. Sobre Q tome li reas distints gr intrsectindolas con ay b obtenga los puntos A, Ax, Ay y By, By, By. Sean h hor; Ko Ber t= AyH, w= BK; Rm tou; x = PR Aseguramos que x es le linea34. 3.5. ‘TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES ICAP. 3 Fig. 3-8 Para demostrar esto, consideremos los tridngulos 4,B,P y A,BsR. Puesto que ellos son perspec: tivos deade la linea r, son también perepectivos desde un punto, Luego este punto estd sobre a = Aida, BiB, y x= PR Deceste modo x = PR es Ia linea pedids. Demostrar el caso especial del teorema de Pappus: Si A,, Az, As son puntos distintos sobre una linea r, si B,, By, By son puntos distintos sobre otra linea s, y sic: = ABs, 2 = AzBz, Cy = AsBy estén sobre un punto 0, entonces los puntos C; = AzBy-AsB, Cz = AyBy+A,Bi, Cs = A:By+A2B, estén sobre una linea concurrente con ry s. ‘Véase la figura 3.9. Sea r-s =P. Los tridngulos CyAzB: y C2A,B, que son perspectivos desde la li- nea 04B, (erficar esto) son perspectivos desde Py por tanto C;, Cs, Pson colintales. En forma andloge, los tidngulos C\4sB, y CyA\By, que son perspectivos desde In linea Oa,B, aon perspetivos desde P Y’por tanto C,, Cs, Pson colineale. Entonces C,, Co, Ca, Pson linesles como se piié Fig.3-9 Demostrar que: Si las lineas distintas p;, p2,-ps, estén sobre un punto O y si ils, Bi, Ci, Ds, ...) © Pada, Ba,Co, Ds...) £ pslds,Bs,Cs,Ds, ...) existe un punto R sobre PQ tal que (a) (As, Bi, Ci, Ds...) & Ps(As,Bs, Cs, Day...)CAP. 3} ‘TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES a Fig.3410 Recurra a la figura 3-10. Por ser los tringulos Ay4s4y y B;B,B, perspectivos desde 0, son pers pectivos desde la lines PQ sobre la cual estéel punto R = A\Az-B,By. Similarmente, los tringules Ay Aa Aa y C.C3Cs son perspectives desde PQ sobre la cual estéel punto’ Cy. Pero, ya que Ry R' es: tin sobre A,Ax_y PQ, deben coincidir. De esta manera tenemos demostrado (a) 3.6. Demostrar que: Si tres de las lineas distintas p,, p2, ps, Py 80n nO concurrentes y si p(As,Bi,Ci,Ds,...) £ po(2, Bs, C2,Ds, ...) & PAs Ba,Cs,Ds, pilAs, Be, Casas.) existe una linea p« y puntos S, T tal que F P(A, Bes Cy Duss.) F PUAWBoOnDy« (6) P(r, By Ci, Dy, Fig. 311 Recurra ala figura $11, Sean Ohn = pisPa ¥ Osu = parBes Tome pr = O120re ¥ sobre lle ob tenga pr (Ae, Bs, Coy Ds, ) tal que Pyle Bar OusDay Spal By Cy Dy...)42 ‘TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES Luego Puldg, By, Cy, Dy [caP. 3 ae) Bild By CyDyy por esto, ya que pi, Pa, ps son concurrentes, aplicando el teorema 3.1, € p(y By Cy Dy un ponto S sobre PQ tal que 5 rglda Bor On.Dy Cu, 3.7. Similarmente, ya que las lineas ps, p,, pe son concurrentes, existe un punto T sobre QR tal que PalAws y tenemos (b). ) E PlAy Bu CyDy ) Demostrar que: Si pi, Pz, Pas Ps son lineas distintas de las cuales p,, p2, Pa estén sobre un punto 0, mientras que p; no lo esté, y si P(A1,B,Ci,Ds,...) $ Px(Ax,Bs,Cs, Dy...) pals, Bs,Cs,Ds,...) © pile, Bu, Cu.Da, existe una Iinea pe, distinta de p: y p, y puntos Sy T tales que e BilAs,Bu,Cr,Di,...) Pe(AgrBysCuDys--») & PAW Bs CDs, o Fig. 3412 Véase la figuea 3-12. Sobre Ves = Proyectemos el haz sobre p, desde P hasta p. Entonces HA, B,C,D, aps tomemos cualquier linea pdistint de py ps y no sobre P. ) Z Pala Br Cy Dy...) £ Come pss fon concurrent $ pls BssCyDy..) el teorema 3.1 asegura Ia existencia de un punto U sobre PQ tal que P(A, B,C,Dy 0.) & pil» BarCy Dy.) En la sucesién py pq, las lineas ps, p, ps. a ton tales que tres de ellas no son concurrentes, En- tonce el teorema £2 stncie de una lines pe ¥ puntos Sy T tales que ak como ae pi Py zBCAP. 3] 38. 39. 3.10. 3a. 312, 3.13. a4, 3.15. 3.16. a7. 3.18. 319. 3.20. 3.21. 3.22. 8.28, ‘TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES 43 Problemas propuestos (a) Cuatro puntos distintos, A, As, As, Ay tres de los cusles no estan sobre una misma linea, determi fan un tinico cuadringulo completo. Demostrar que estos mismos puntos determinan exactamente tes cuadringulos simples: AyApA}Ay, AiAzAyAy, AyAi Ardy (b) Bnunciar y verficar el dusl de (a), (c)Deseribir el plano 5-punto completo y su plano dual (a) Discutir como en (a) el plano §-punto simple y su dual. Enumerar varios pentégonos simples determi- rnados por los cinco puntos distintos. (e) Lo mismo que en (d) para el plano 6-punto simple (hexégono) y su dual. AA obtener la configuracién de Desargues, el triingulo ABC (Fig. 82) fue proyectado desde D y E, Repetir la discusién evando el triingulo BCD es proyectado desde A y E. Ean la configuracién de Desargues (Pig. 8-8) demostrar qu (a) Bxisten diez pares de tringulos perspectivos, (&) Bl cuadringulo completo A.B, C;P y el cuadrilétero completo p, AzBs, B: Cz, CeAr estén situados de tal forma que cada lado del cuadrngulo esté sobre un vértice del euadrilétero, Encontrar otros eu tro pares de tales cuadringulos y cuadriliteros, Sean datos, en el mismo plano, un triéngulo ABC y un punto P. Las uniones de P con ls vties del trién- gulo intersectan a fos lados de ésteen A, B,C respectivamente, Construir eee de perspectividad p de los twidngulos ABC y A’B'C’. Halla el dual ‘Acjep cele llama la linea polar de P, mientras que a P se le lana polo dep con respesto al tréngulo ABC. (Esté P siempre sobre p? (a) Establecer el corolario al teoreme 3.1, pagina 36. % x (0) Redosit pA By.) pala Ba.) Z Pid By ) a PAnBy dE Pld Bo) Bnunsiar y demostrar el ual del problema 3.4 Demostrar: Si tres triéngulo son perspectivos en pares desde un punto comin P, sus ejs de perepecivided son coneurrentes, Enunei xy demostrar el reciproco del problema 3.14 En la figura 1-1, tome sobre r otro punto cualquiera Ay; sean ByAup = Cx y Ay Cyos = By. Demostrar que (Ai, AAs, Aq) = (By, Bey Bs, By). Sobre cualquier linea r tome cuatro puntos distintos A,, As, As, As ¥ proyéctelos desde cuslquier punto P, aque no esté sobre r, en los puntos B,, Bs, By, By respectivamente sobre cualquier otra linea s. Construya tuna linea de Pappus p para las triplas As, Ag, Ay y Ba, B,, By. Demostrar que T = AyBi.ByAy esté so- bre p y (Ay, An, Aa, Aa) = (Bp, Br, Ba, Ba) Probar para los puntos del problema 8.17 4 (@) (AyAnAwAD = (By By By By) (8) (Ay An Ay Ad = (By By By By) Probar que: Si un cuadréngulo completo PORS y un cuadrilétero completo pars estinsituados de tal forma que los lados PQ, PR, PS, QR, QS del cuadringulo estin sobre los vertices rs, 9+5, er, Bes, Der pectivamente del cuadriltero, entonces el Indo RS del cuadringuloestd sobre el vétice p-q del eusdriitero, Dados cinco puntos de un conjunto cusdrangular, construir el sexto punto cuando, (a) los puntos dados son distintos, (6) dos de los cinco puntos coinciden. nunciar y construir el dual del probleme 8.20. Demostar que: Si dos tringulos ABC y A'B'C” son perspectivos desde un punto, los puntos R= AB-A'B, S = BC-BC, T= CACA, U = AB-A'B, V = BC-BO, We CA'-AC’ caen de tres en tres sobre custro linea. Demostrar Jo supuesto en el problema 1.17 pagina 18, Sugerencia. En la figura, sean pre = E, p-f = F: QE =e, QF =f: c-d= B, fed= P; BE =e", BF =f". Probar quee, "son concurrentes44 3.24, 3.25. 3.28. 3.27. 8.28, 3.29, 3.30. 3.31. 3.2, 3.38. 3.04, 3.35. 3.36. ‘TEOREMA DE LOS DOS TRIANGULOS DE DESARGUES (CaP. 3 (a) Demostrar que: El triéngulo diagonal de un cusdréngulo completo es perspectivo eon eada uno de los Lridngulos cuyos vértices son tres de los que corresponden al cusdréngulo. (b) Mostrar que el cuadrilitero com: pleto euyos lados son los cuatro ejes de perspectividad obtenidos en (a), tiene el mismo tridngulo diagonal del cuadringulo completo Establecer y demostrar el dual del problema 3.24, En la figura 39, sea A = AyAp-BiAs, B= AiBy-BiAs, C = AsByeBeAs, D = AzBy-BrAy, E AyBy-ByAy, F = ABy+ByAy; R= BEAR, S = BD-AC, T = CBD. Demostrar: (a) las AB, CD, EF estén sobre 0, (0) los puntos R, S, T estén sobre p. Dado, como en Ia figura $:1(0), el euadrlétero pars que tiene abe como su triéngulo diagonal. Sea (a-b) (7) = (Osbars) =e (beeN(Dra) =f, (Oreos) = h (CoaMlpes) = i, (Coallger) = j. De- mostrar que cada une de las triplas de lineas dg, id, fj: fi, gj Son concurtentes, Sugerencia. Considerar los triéngulos abe y prs perspectivos desde g Establecer y demostrar l dusl del problema 327. Dado un tridngulo abe y una linea p que no estd sobre un vitice. Construir un cuadrliero pore que tenga abe como trdngulo diagonal. {Bs el cuadriitro nico? Sugerencia, Sea (a-B)(e-p) = d, (arch(bsp) = (beoMeg) = fh, entonces (arh)(b-g) = (ash) (eed) = (Gores) = ¢ Demostrar que ef cuadrilétero del problems 8.29 queda determinado cuando se dan un lado cualquiera y l triéngulo diagonal. Establecer y demostrar el dual del probleme 3.29; también, el dual del probleme 8.30. Los lados de un triéngulo variable pasan a través de tres puntos fijos y colineales, mientras que dos de los vértices se mueven a lo largo de lineas fijasr y s. Demostrar que el tercer vértice describe una linea eoncu- ente con ry & A través de cada vértice de un triéngulo dado se traza una linea, Demostrar que estas lineas son concurren- tes si sélo si sus intersecciones con uns linea dada x, junto con las intersecciones de los Iados del triéngulo ‘con x forman un conjunto cuadrangula Dos triémgulos As, As, As y Bi, Be, Bs tales que A.B, AzBs, AsBy concurren en un punto Cy, en tan to que AiB;, AsB4, AxB,, concurren en un puoto Cz, se dice que ton doblemente perspectivos; si sademés, A,By, AyB,, A,B, 00 concurtentes en un punto C, se dice que los tridngulos son triplemen- te perspectives. (a) Dados un triéngulo AA; 4; y dos puntos B, y By, localizar By de tal manera que los tridngulos ‘Ai, Ae, As y By, Ba, By sean doblemente perspectivos. (b) Verificar que los dos tridngulos en (a) son triplemente perspectivos. {c) Demostrar que: Si dos tridngulos A,A,As y By B,B, son perspectivos en dos de los érdenes AvAyds % ByByBy Ay Ads 5 By ByBy AyAyAy = By By By también son perspectivos en el tercer orden, (4) Demostrar que dos de los tridngulos AyAz4s, ByB,Bs, C,C:Cs son triplemente perspectivos con los vértices del tercer triingulo como centros de perspectividad. Demostrar que los vértices de los tres triingulos del problema 8.24 (d) estén sobre tres linens de acuerdo con el teorema de Pappus. Demostrar el teorema del probleme 3.1 usando el teorema de Pappus. Sugerencio, Bn Ia figura 3-7 sean AyAy+B,By = Q AsBi-AsBy = R, AyArePQ = S, BiBa+PQ = T. Entonces, aplicando el teorema de Pappus a las triplas colineales: (@) Ay, P, Byy As, @ Aa, encontrar Cz, R, $ colineales; (®) Bi, P, A; y By, Q By, encontrar C,, R, T colineales; (c) Bi, Az, Ry QS, T, encontrar Cz, Cy, Ca colinealesCapitulo 4 Conjuntos arménicos CONJUNTOS ARMONICOS DE PUNTOS Y LINEAS Considere en la figura 4-1 el conjunto A, B, D, E de cuatro puntos, que resultan de cortar los lados del cuadringulo completo PQRS por el lado c = AB de su tridngulo diagonal. La figura 4-1', dual de la figura 4-1, muestra al conjunto a, b, d, e de cuatro lineas, que se obtie- nen al proyectar los vértices del cuadrilatero completo desde el vértice C = a-b de su tridngulo diagonal. Un andlisis de estas figuras nos sugiere las siguientes definiciones duales. Fig. 41 Se dice que cuatro puntos A, B, C, D colineales forman un conjunto arménico (etra arménica) de puntos cuando existe un cuadréngulo completo que tiene dos lados opuestos sobre A, otros dos lados ‘opuestos sobre B, mientras que el tereer par de lados opuestos esté individualmente sobre D y E. El punto D (E) es llamado el conjugado arménico de E (D) con respecto a Ay B. Esta relacién se indicaré escri- biendo H(A, B; D, E). Observe que en H(A, B; D, E) tanto A como B desempefian pa- peles iguales, de donde podemos escribir HB, A; D, E). También D y E desempe- fian papeles iguales; ast podemos utilizar HUA, B; E, D) 0 H(B, A; E, D). En cuales- quiera de los casos decimos que el par A, B €s separado arménicamente por el pat D, E. Cuando A, B, D son puntos distintos sobre una linea ¢, el conjugado arménico de D con respecto a Ay Bse puede construir Fig.41" Se dice que cuatro Iineas concurrentes a,b,d,e forman un conjunto arménico (tetra arménica) de lineas cuando existe un cuadrilétero completo que tiene dos de sus vértices opuestos sobre a, otros dos vértices opuestos sobre b, mientras que el tercer par de vértices opuestos estd individualmente sobre dye. Ala linea d (e) se le llama con- Jugada arménica de e (d) con respecto aa yb, Bsta relacién se indicaré escribiendo Ha, b; d, e). Observe que en H(a, 6; d, ) tanto a como b desempeiian papeles igua- les, de donde podemos escribir H(b, a; d, e) También dy e desempefian el mismo papel; asi podemos usar indistintamente Ha, 6; , d) oH(b,a;¢, d). En cuslesquiera de los casos decimos que el par a, b es separado arménicamente por el par d,e. Cuando a,b,d son Iincas distintas sobre un punto C, el conjugado arménico de d con respecto aay b se puede construir46 como sigue: Sobre A tomemos dos Iineas distintas pc y sxc; sobre D tome- mos cualquier linea r 4 c. Sea per = P, CONJUNTOS ARMONICOS ICAP. 4 como sigue: Sobre a tomemos dos puntos distintos Pz C y Sx C; sobre d tome- mos cualquier punto R~ C. Tomemos ser=R, BP-s=S, BR-p=Q. Enton- ces SQ-c = E es el punto pedido. PR= p, RS =r; (b-p)S (ber). Entonces (s-q)C = e es el punto pedido, En primer lugar aclaremos algo del simbolo H(A, B; D, E) adoptado aqui. De la figura 4-1, encontramos @ de modo que (A,B,D,E) % (S,Q,C,B) = (B,A,D,B) (A,B; D,E) = (B,A;D,E) Luego, en vista de la consideracién referente a los puntos diagonales de cuadréngulos comple- tos, concluimos que (4, B; D, E) = —1 y por tanto equivalente a esto podemos tomar H(A, D, £). Sin embargo, con el propésito de evitar razones dobles, consideraremos H(A, B; D, E) como Gnica notacién para “los puntos colineales A, B, D, E forman un conjunto arménico” 0 “los puntos A, B son separados arménicamente por los puntos D, E”. Tenemos Teorema 4.1, Cuando A, B, D son puntos colineales distintos, H(A, B; D, E) implica que A, B, D, E son puntos colineales distintos. La figura 4-2 es la figura 4-1' con algunos cam- bios hechos en ella, para aclarar que la linea s corta el conjunto arménico de Iineas a, bd, e en el con- junto arménico de puntos A, B, D, E. (Se deja al lector verificar que PQRS es el cuadréngulo aso- ciado con estos puntos.) Reciprocamente, empe- zando con cualquier conjunto arménico de puntos sobre una linea, una figura tal como la 4-2 se puede obtener escogiendo como R, un punto cual- quiera que no esté sobre la linea. Por esto tenemos Teorema 4.2. Un conjunto arménico de puntos sobre una linea s es proyectado desde cualquier punto R, que no esta sobre s, por un conjunto armé- nico de lineas y su dual Teorema 4.2’. Un conjunto arménico de lineas sobre un punto R es cortado por cualquier linea que no esté sobre R, en un conjunto arménico de puntos. ‘Tomemos cuatro Iineas concurrentes a, 6, d, ¢ cortadas por las lineas distintas r y s en los puntos 4, B, D, Ey A’, BY, D’, B’ respectivamente. Por definicién (4, B, D, B) = (A’, BY, D' E’)y los teoremas 4.2 y 4.2’ implican: Si H(A, B; D, E), entonces H(A’, B'; D', E'). Como una proyectividad es una sucesién de perspectividades, se tiene para todo par de conjuntos de puntos colineales, 4, B, D, Ey A”, BY, D", E", Teorema 4.3. Si (A, B, D, E) x(a", B", D”, E”), entonces H(A, B;D, E) implica H(A", BY; D", B”) y vieeversa. Sean A, B, D, E cuatro puntos colineales tales que H(4, B; D, E). Por el teorema 2.10, (A, B, D, E) x(D, E, A, B). Entonces H(D, E; A, B) y tenemos Teorema 4.4. Si A, B, D, E son cuatro puntos colineales tales que el par A, B es separado arménicamente por el par D, E, entonces el par D, E es separado arménica- mente por el par A, B.CAP. 4] CONJUNTOS ARMONICOS a ‘Suponga, como en la figura 4-1, que D estd sobre el segmento AB de c; claramente, cuando Dx Ay Dx B, entonces E esté sobre el segmento AB, En el problema 4.6 se le pide al lector verificar que cuando D esté cerea de A entonces E esté cerca de A, y cuando D esta cerca de B entonces E esté cerca de B. Haga que D describa el segmento AB, moviéndolo de A hacia B Este movimiento del punto D no afecta los puntos R, Q, y por tanto, no afecta a las lineas AR, AQ, BR. Por el contrario, Ia linea CR gira alrededor de R y con sentido contrario al movi- miento de las agujas de un reloj, el punto P se mueve desde A hacia Q sobre el segmento mos- trado en la figura, la linea BP gira alrededor de B en el mismo sentido que el del movimiento de las agujas de un reloj, el punto S se mueve de A hacia R sobre el segmento mostrado y E se mueve de A a B sobre AB. Dejamos al lector que investigue el otro caso, es decir, cuando D describe el segmento AB, pero moviéndose de B hacia A y afirmamos Teorema 4.5. Si D describe a AB en un sentido dado, el conjugado arménico E de D con respecto a Ay B, describe AB en el sentido contrario. Las guias para la construccién del conjugado arménico de D con respecto a Ay B, permite que las dos lineas sobre A y la linea sobre D sean cualesquiera, excepto que todas sean distin- tas de o = ABy que las dos lineas sobre A sean distintas. Esta libertad de escoger se sigue del teorema 3.5, que afirma en efecto, que la localizacién de E es fijada por la de otros tres puntos y es independiente del cuadréngulo particular utilizado. Asi, el teorema 3.5 puede ser reenun- ciado como sigue Teorema 4.6. Si A, B, D son puntos colineales, el conjugado arménico de D con respecto a Ay Bes tnico. y su dual es Teorema 4.6’. Sia, b, d son lineas concurrentes, la conjugada arménica de d con respecto a a,b, es tnica. En el problema 4.1, probamos que Teorema 4.7. Si Ay B son dos vértices de un cuadrangulo completo, E su punto diagonal sobre AB, y D esté sobre AB en la unién de los otros puntos diagonales, enton- ces H(A, B; D, E). En el problema 4.2, probamos que Teorema 4.8. Si A’, B’, C' son tres puntos colineales distintos, cada uno de ellos sobre un lado del triéngulo ABC, las lineas que unen el conjugado arménico de cada uno de estos puntos, con respecto a los dos vértices sobre el lado del tridngulo al tercer vértice son concurrentes. El teorema 4.8 proporciona otro procedimiento para que resulten tres ineas concurrentes distintas. Su dual es Teorema 4.8'. Sia’, b,c! son tres lineas distintas concurrentes, cada una sobre un vértice de un tridngulo ABC, los puntos en que el conjugado arménico de cada una de estas lineas, con respecto a los dos lados sobre el vértice del triéngulo, inter- seotan al tercer lado son colineales. PROPIEDADES ARMONICAS DE UN CUADRANGULO COMPLETO En un cuadringulo completo, dos vértices cualesquiera son colineales con un vértice de su tridngulo diagonal. Asi, (Fig. 4-3) cada lado del cuadréngulo intersecta su tridngulo diagonal en dos puntos—un punto diagonal y un punto adicional que llamaremos punto arménico asociado con el cuadréngulo. Por ejemplo, el lado PQ del cuadrangulo completo intersecta al triéngulo diagonal en el punto diagonal A y en el punto arménico F= PQ.BC. Ademés de F, los otros puntos arménicos para el cuadrangulo completo de la figura 4-3 son D = PR+AB, E = QS-AB, G= RS-BO, [= PS-AC, J= QR-AC. Tenemos48 CONJUNTOS ARMONICOS (car. 4 a B B F Fig.t3 Teorema 4.9. Sobre cualquier lado de un cuadrangulo completo estén dos vértices del cua- dréngulo, un vértice de su tridngulo diagonal y uno de los puntos arménicos. Teorema 4.10. Sobre cualquier lado del tridngulo diagonal de un cuadréngulo completo estan dos vértices del triéngulo diagonal y dos puntos arménicos. Proyectando A, B, D, E desde C sobre RS, obtenemos A, G, R, 5 respectivamente. De este modo Teorema 4.11. El vértice de un triéngulo diagonal y el punto arménico sobre un lado cual- quiera del cuadrangulo completo, separan arménicamente los vértices del cuadrangulo sobre este lado. Luego las lineas BR, BS, BA, BG son un conjunto arménico (teorema 4.2) y sus cortes J, 1A, C por la linea AC es un conjunto arménico (teorema 4.2’). Luego tenemos Teorema 4.12, Los dos lados de un cuadringulo completo sobre cualquier vértice de su triéngulo diagonal, son separados arménicamente por los lados del trién- gulo diagonal sobre este vértice. y Teorema 4.13. Los puntos diagonales sobre cualquier lado del tridngulo diagonal de un cuadringulo completo, son separados arménicamente por los puntos armé- nicos (asociado con el cuadrangulo) sobre este lado. Del problema 3.28, tenemos Teorema 4.14. Los seis puntos arménicos asociados con un cuadréngulo completo caen de tres en tres sobre cuatro lineas. RED ARMONICA SOBRE UNA LINEA PROYECTIVA En la figura 4-4, sean A, B, C tres puntos distintos sobre la linea o. Sobre A tomemos cualquier linea qx 0 y sobre q tomemos los puntos Ry S distintos, R# A y Sx A. Sean BR-CS=D, AD=t; CR-t= E,, SB-0= Fi; FRit= Ex, SEy-0— Fr; F,Rot = Bs, ‘SEs+0= Fa... . Por construecién tenemos H(A, C; B, Fi), H(A, Fi; C, Fa), H(A, Fas Fi, Fa), > HA, Pent; Fron Pr), El conjunto de puntos A,BLC,Fi,F2,Fs Fy... (1) se llama una sucesién arménica, engendrada por los tres puntos dados A, B, C. Ya que los ele- mentos de cualquier conjunto arménico son distintos, parece razonable que todos los puntos de (I) sean distintos. (Una prueba seré dada més adelante.) Suponiendo esto verdadero, es, claro, ya que la construccién puede continuarse indefinidamente, que el nimero de puntos en Ja sucesién arménica es infinito.CAP. 4) CONJUNTOS ARMONICOS 49 Fy Fy Fy Fy t Fig 4 Empezamos una vez més con los puntos A, B, C sobre o. Primero construimos F;, como antes, y lo simbolizamos por G,; luego construimos puntos adicionales sobre o para obtener un conjunto A,B,C, Gr, Ga, Gs, Gus Gas @) tal que para W= G,, donde n es un entero positivo cualquiera, tenemos H(X, ¥; Z, W), es decir, W es el conjugado arménico de Z con respecto a X y Y, para alguna tripla de puntos X,Y, Z que anteceden a G, en (2). Por ejemplo, Gy debe ser tal que H(A, Ga; Gs, Gy) 0 H(B, C; Gi, G4) 0 H(Gi, Go; Ge, Gy). De cualquier modo, diremos que W= G, esta relacionado arménicamente con los puntos dados A, B, C. El conjunto de todos los puntos rela- cionados arménicamente a A,B y C lo llamaremos una red arménica (red de racionalidad) sobre 0 y lo denotaremos por R(A, B, C). Primero que todo, observaremos que no existe un procedimiento sistemético, es decir, ninguna regla de orden para localizar los puntos G2, Gs, G1, Gs, .... De este modo no se esperara que todos los puntos G necesariamente sean distintos. ‘Ya que la sucesién arménica generada por A, B, C est incluida en R(A, B, C), la ted arménica es también un conjunto infinito de puntos. Los dos conjuntos, sin embargo, nunca son idénti- cos; por ejemplo, G, definido por H(B, C; Gy, G,) es un miembro de la red arménica pero no de la sucesién arménica. En el problema 4.4, demostramos que Teorema 4.15. Una red arménica es determinada por tres puntos cualesquiera distintos de Ja red, RED ARMONICA SOBRE UNA LINEA EXTENDIDA Regresemos por un momento al plano extendido del capitulo 1 que, como se recordaré, ‘consiste del plano euclidiano junto con una Iinea de puntos ideales. Nuestro propésito es cons- tuir la red arménica R(Ps, Po, P:) donde Py y P, son dos puntos distintos ordinarios cualesquiera de la linea extendida (p, P..). Como se verd, esto puede hacerse de una manera sistemética, logrando asi un dibujo mds claro de la red arménica de la seccién anterior, En la construccién (Fig. 4-5) se hard uso de los puntos ideales distintos Ru x Pa ¥ Su Pe sobre 1a linea ideal Jy. Sean PyRa+PiSe= Bo, EyPe=t; PiRart = Ei, E:SaP = Pai PpRot = Ex, EpSup = Pa3.... Ya que P; es el conjugado arménico de Py con respecto a Pa, Pi, ¥ asi H(Ps, Pr; Po, Pz), es verificado por las siguientes consideraciones: sobre P,, estén las lineas ¢ y [aj sobre Pp estd la linea Py R. que intersecta at en Ep y ala en Re. AhoraP, Ey intersecta a len So, P,Re intersecta at en E, y E\Sw intersecta a p en P,. Considérese ahora un sistema de coordenadas establecido sobre p, en el cual Ps es el origen (es decir el50 CONJUNTOS ARMONICOS (CAP. 4 punto con coordenada 0) y P, es el punto unitario (es decir el punto con coordenada 1). ‘Ya que PoP: = PoP: + PrP: = PoP: + BoE: I 7 7 LA] CATT Fig. 45 y EyE, = PoP;, se sigue que P; es el punto sobre p con coordenada 2. De este modo por pasos sucesivos usando H(P.,P,-1; Prt, Ps), podemos construir P,, con coordenada n, para n= 2,3,4, Tomemos Py Set = E-1, E-1Re-p = P.1; P-Sa+t = Ba, B.zResp = Psi... Luego P.; es el punto sobre p con —1 como coordenada, P_» es el punto sobre p con coordenada —2, .... De este modo por pasos sucesivos usando H(P., P1..; P2-»,P-,), podemos construir P.,, con —n como coordenada, para n= 1,2,3,4, Ahora, sea P, definido por H(P,, P.1; P;, P,). En la construccién (Fig. 4-5) tomemos sobre P; las lineas P, Re y P:S., y sobre P, tomemos la linea P,S. que encuentra a P, Re en K, = By y PiSq en Se. Sean P.Ki+P,Se= Li y¥ P1Sa+PiRe = K; entonces P, = KL,.p. Demostremos que P, = P,,., es el punto sobre p con coordenada $. Sea KP,-P)S = L. De los tridngulos semejantes 1, P,P, y L1KL, tenemos PsP; _ Pils iP:Bo 1 KL Ly PB 4 Entonces P,P, = }KL=4-2= }; PoP, =} y P, = Py». En forma similar (Problema 4.28), podemos construir P;/,,con 1/n como coordenada, para n = 3, 4,5, . Finalmente, empe- zando de nuevo con cualquier tripla de puntos P., P), Py ¥ repitiendo las construcciones de los dos pardgrafos anteriores, localizamos los puntos sey Poain, Pony Potiny Poy Pusey Patty Pasey «++ + Hasta el momento un procedimiento sistematico ha sido esbozado para localizar sobre una linea extendida un conjunto de puntos (v.gr. un subconjunto de los puntos ordinarios de la linea) en correspondencia uno-a-uno con el conjunto de los niimeros racionales. Sean P,, P,,P, tres puntos distintos del subconjunto y consideremos el punto P, definido por H(P,, Py; P,, P,). Bntonces (véase el capitulo 2)caP. 4] CONJUNTOS ARMONICOS 51 (Pu PisPoP) = =e as y ya que a, 6, ¢ son mimeros racionales, x también lo es, Por esto P, es un punto del subcon- junto y asf el subconjunto es precisamente R(P., Po, Pi). -1 Regresando a la figura 4-4 en el plano proyectivo, volvemos a simbolizar a A como Pz, a B como Po, a C como P;, a D como Ey, a F, = G, como Py y repetimos sistematicamente la construccién esbozada anteriormente. El subconjunto de puntos que resulta sobre la linea proyectiva (es decir la red arménica) esté de nuevo en correspondencia biunivoca con el con- junto de todos los niimeros racionales. Sin embargo, aqui no nos interesa hallarle interpreta- cién posible al subindice a del punto P, de la red; el subindice sirve simplemente como un simbolo conveniente y nada més. Problemas resueltos 4.1, Demostrar que: Si A y B son dos vértices de un cuadréngulo completo, E su punto diagonal sobre AB y D es un punto sobre AD y la unién de los otros puntos diagonales, entonces H(A, B; D, E). El teorema se sigue inmediatamente de la figura 4-1 tomando ABQS como el euadringulo completo. ‘manera de construir D cuando A, B, E (en este orden) son dados sobre una linea; también, cuando (en este orden) son dades. Dada AB 4.2, Demostrar que: Si A’, B’, C’ son tres puntos distintos colineales, uno sobre cada lado de un triéngulo ABC, las lineas que unen los conjugados arménicos de cada uno de estos puntos con respecto a los dos vertices sobre el Jado del triéngulo, al tercer vértice son concurrentes Recurra a la figura 4-6. Construya el conjugado o axmépieo C" de C' con rexpecto aA, By entonces H(A, BC, C"), Sean A"= BOBO" y BY = AC-A'C Que A” y B" son los conjugudos stménios restentes del teorema se sigue de (A,B,C,0% © (C.B,A’,A%) y B00 © (4,6,8,B%) wl Ahora (4,0,B',B") £ (4,800) % (C,B,A',A% lyr y (A,C,B',B") = (C,B,A',A") ) De (0, pina 4, M (C,B,A',A") = (B.CA’, \\ yasi (A,C,B',B") = (BCA Pero esto es una perspectividad; de donde AB, A'B', AB" estin sobre C’, Similamente, BC, B'C’, B'C" ‘estin sobre A’ y CA, Ca’, CA" estén sobre B’. Bn \ tones los triéngulos ABC y A"B"C" son perspectivos 5 ° ‘desde Is linea A'B'C". Por Gltimo, ellos son perspecti-. 4 a o vos desde un punto, es deci, AA", BB", CC" son con- currentes como se quire Fig. 4-6 Nota, Se sigue de A" = BC.B'C", B" = AC.A'C", C= AB. © cortan los Indos de un tridngulo por una linea que no esté sobre ningin vértice, Ios conjugados arménicos de dos cuslesquiera de estas intersecciones, cada una con respecto a los vértices sobre el Iado del tringulo, son colineales con la tercera interseccién52 4.3, 4A. CONJUNTOS ARMONICOS ICAP. 4 Consideremos en la figura 4-7 el cuadrangulo completo PQRS, su triéngulo diagonal ABC, y los puntos arménicos asociados D, E, F, G, I,J. Sea DI PQ= K, DJ-RS = L, ELRS= M, EJoPQ= N. Demostrar que las triplas de puntos (a) BK, M y (6) B,N, L son colineales. Fig. 47 Ce) Tovemen 4, 6.10) B04, 5.M,0) 9 (ACL) 2 (APLKE) 3 (AS, My) donde M, = BK-RS. Como H(A, C1, J) tenemos H(A, S:M,G) y H(A, $;M,,G). Bntonces, por el teorema 48, My = My asi M estd sobre BK. (6) Se puede dar una prueba similar a la anterior. Variendo el procedimiento, intentamos une prueba utilizando el teorema 4.8'. Primero, necesitamos un tridngulo que tenga a B, L, N separadamente sobre sus lados; probemes con el tridngulo AQR. Ahora, necesitamos un punto X tal que el conjugado larménico de AX con respecto a AQ y AR, encuentre a RQ en B, el conjugado arménico de QX con respecto a QA'y QR, encuentre a AR en L, y el conjugado arménico de RX con respectoa RAy RQ, encuentre a AQ en N. Ya que GGPLC.B) & (RQJ,B) tenemos H(R, QJ, B); entonces X debe estar sobre AJ. En forma andloga, H(A, R; G, L) requiere que X esté sobre GQ, y H(A, Q; F, N) requiere que X esté sobre FR. La prueba consiste entonces en mostrar que AJ, GQ, FR son concurrentes. Consideremos sobre RS los puntos distintos S, G, R y sobre PQ los puntos distintos P, F, @. Por el teorema det problema 34, los puntos SF. PQ ¥, SQ.PR-= C, GQ-FR = X son colincales con A. Luego X esté sobre AC, las lineas AJ, GQ, FR son concurrentes, y los puntos B, L, N son colineales. Demostrar que: Una red arménica queda determinada por tres puntos distintos de la red, Sean X, Y, Z tres puntos distintos de (2), y Ia red arménica R(A, B,C). Entonces, empezando con A,B, C obtenemos X, Y, Z después de construir un némero finito de conjuatos arménicos, de los cuales el primero es H(A, CB, G,). Luego H(A, C; B, G,) implica H(A, C; Gy, B). Por tanto los puntos arménice- mente relacionados con A, HC, estén también arménicamente relacionados con A, Gi, C, es decir, RUA, B, C) = RUA, G,, C). Como ¥ esté arménicamente relacionado con A, Gy, C tenemos, después de un ‘mimero finito de pasos, RUA, B, C) = RUA, Y, C)y, similarmente RUA, B,C) = RIX, ¥, C= RIX, ¥, 2.CAP. 4) 45. 48. 47. 43. 49. 4.10. 4a. 4.12. 413, 44. 4.15. 4.16. 4at. 4.18. 4.19. 4.20. 421. 4.22. CONIUNTOS ARMONICOS 53 Problemas propuestos Si a, bd, son cuatro lineas concurrentes distintas, tal que Hl, 6; ), existen otros siete arregios de estas lineas que también son conjuntos arménicos. Diga cudles son Respuesta parcial. H(a, 6;¢, 4), H(d,e'4, 6) Sobre una linea tomar tres puntos distintos A, D, B en este orden, Construir el conjugado arménico de D con respecto a Ay B cuando, (a) D esté cerca de A, (6) D esté cerca de B, (c) Des equidistante de Ay B. Bnunciar el dual del problema 4.6 y constroirlo. {Cuil es eu opinidn acetea de la escogencis natural del conjugado arménico de D con respecto a A y B del problema 46 cuando, (@) D= A, (6) D= B? Demostrer que: Si H(A, B; C, D)y HUA cconcurrentes. Sugerencia. (A, B,C, D) = (A’,BY, CD). V5 C’, D)estin sobre lineas dstintas, entonces AA’, BB’, CC’ son Demostrar que: H(A, B; D, E) si y slo si (4, B, D, B) = (A,B, B,D). ‘Ala lines de Pappus p en la figura 99, 1limela lines polar de O con respecto arr y sy a O llémele polo de |e linea p con respecto a ry s. Sea AyBy-p = Q.. Demostrar que Q, es el conjugado arménico de O con respecto & Ay y Bj. De esta forma demostrar que: Cuando una linea gira alrededor de un punto 0 intersectando 8 dos lineas distintas ry s, (que no estén sobre 0) en los puntos Ry S respectivamenta, el ‘conjugado arménico de O con respocto a R y S describe la lines polar de O con respectoa ry s Disoutir el dual del problema 4.11. Sea RS.p = Q para cuslquier posicion de la linea que gira en ¢l problema 4.11, Demostrar que Ia Kines polar de Q con respecto ary s pasa por el punto O. Asi, demoestre que: Si, eon respecto a dos lineas distin tas ry sla linea polar de un punto O esté sobre un punto @, entonces la linea polar de @ con reepecto a ry s esth sobre 0. Discutir el dual del problema 4.19. Sobre una linea p tomar cuatro puntos distintos A, B, C, D tal que HiA, B; C, D). Proyectar estos puntos desde un punto cualquiera P, que no esté sobre p, y cortarlos por cualquier otra linea q sobre 4, pero no sobre P, obteniendo los puntos A, B,C, D’, respectivamente, Demostrar que Q= CD’. 'D esté sobre la Tinea PB. Bnuneiar y demostear el dual del problema 4.15. Utiliaando Ie figura 43, pigine 48, demostrar que el cuadrilétero completo cuyos vértices son los seis puntos arménicos del cuadringulo completo PQRS, tiene como triéngulo diagonal el mismo del cuadréngulo, Utitiaar el resultado del problema 4.17 para obtener una construccién sustitute a le del problema 9.29, pigina 4, del cuadrilétero completo cuando se da un lado y su tridngulo diagonal. Dar una construccién susttute a la del problema 3:31, pigina 4, del cuadréngulo completo cuando se da au tridngulo diagonal y un vértice. Demostrat el teorema 42, sin utilizar Is nocidn de razén doble. Sugerencia, Em lv figura 4-1, sea Qi QB= b, QD= d, QE=e: Ai pleto pars a p, BS 9, AR=r, PR= sy se obtiene H(a, 6; 4, e) del cuadrilatero com. Usendo Ia figura 4-6, demostrar: (a) Teorema 481 Sugerencia, Tomar e' = OA, b'= OB, c' = OC. (®) Las lineas que unen los vértices del tridngulo ABC a un punto fijo O que no esté sobre ningén lado, Intersectan a ls lados opuestos en A", B, C, entonces los puntos en que cede lado del triéngulo dado intersecta la unin de dos puntos (de A”, B”, C”) que no estan sobre ese lado, son colineales. (a) Bn le figura 47 hay cuatro conjuntos do puntos arménicos sobre RS; diga eusles son. Demostrar que (4, G; M, R) = (A, G;L, S)= —b (#) Bxcluyendo los puntos X, ¥ de la figura 4-7, hay en total veinte conjuntos de Kineas arménicas; ceseribales,4.23, 4.24, 425, 4.26. 4.21, 4.28, 4.29. CONJUNTOS ARMONICOS (CAP. 4 Usendo la figura 47 demostrar: Las triplas de puntos K, C, Ly M, C, N son colinesles. Sean r y s dos lineas distintas que se intersectan en O y sea P euslquier punto que no esté sobre ninguna de las dos lineas. Construir el conjugado arménico de OP con respecto a ry s. (a) Mostrar que esta linea es la linea de Pappus para cualquier tripla de puntos Ay, Az, Ay sobre r y By, By, By sobre s, selecciona- das de tal manera que 4,B,, AzBs, AB, son concurrentes en P, es decir, mostrar que Ie linea ee le linea polar de P con respecto ar ys. (b) Mostrar que toda linea sobre P que encuentra las ineas ry s en puntos Ry $ respectivamente, encuentra la linea polar de P con respecto a ry s en el punto 7 tal que HAR, 8;P, Dado un triéngulo ABC y un punto P distintos de los vertices, construir las linees polars ¢,b, a de P con respecto a los pares de lineas AC, CB; AB, BC; BA, AC respectivamente. Sea c-b= A’, cca BY, bua = C’. (a) Mostrar que los triéngulos ABC y A'B'C’ son perspectivos. Designar por p el eje de perspectivided. (b) Mostrar que p es Ia Linea polar de P con respecto al triéngulo ABC definido en el problema 3.11. (c) Cons- tur la linea polar de Q, con respecto a cada uno de los triingulos ABC y A'B'C" en donde Q es cualquier punto sobre p y mostrar que estas lineas se encuentran sobre p. En la figura 4-8, A, B, D son tres puntos distintos sobre una linea, mientras que A’, B,D son los conjugados sarménicos de ceda uno de estos puntos con respect lo aros do, es decir, H(A, By D, D’), H(B, D; A, A’), H(D, A: B, B). Los puntos C= PR-QS, E= PQ-ST, F= PS-QU son puntos diagonales de los cuadrén tuloe completos asociados con los eonjuntos arménicos y @— PR-ST. Demostrar que: (a) = PRQU. Sugerencia. Suponga que G, = PR-QU. Entonces (A, B, D, D) Z (@, F, U, G;) & (D, BA, Ah), {b) Las triplas A, C, F, B, C, B; D, B, F son colineales. Sugerencia. Suponga que AC-UQ-= F,. Entonces (A, B, D, D') % (S, Q D, C) RW, @ B, Fi) y (D,4,BB) 5 (QU, FB) Usendo la figura 45, verificar que (a) H (Pa, Pai Pa, Pa) ¥ HP Pas Pas Po) Sugerencia. Tomar, como antes, las Vineas f y le Sobre Py y sobre Py tomar le lines P,R, que encuentra at en E, yt ly Ruy. Entonces PyEj-le= Sm, PrRe-t = Ez y E:Sa-p= Pa. (6) HP, Ps; PopP-s) ¥ H (Pay Poa Pots Pea) Ce) HOP Pas Pay Pig) ¥ HAP Poss Pos Py) Sugerencia. Sobre P, tomar P;Re ¥ Py Sq, sobre P, tomar PS, la que encuentra a Py Rw en Ke yA P,So.en Se, Sea P\Ky-P,Sq= Lz = By; entonces LaK-p = Pye (4) HP, Po; Py, Peg) para n= 1,23. ‘Sugerencia. Sobre Pg tomar t y ly; sobre P, tomar P,Ry, que encuentr Botonces PyRayrt = By y {E)(Po Bele) ton Ey a laen Ry. Usando la figure 45, construir: (a) Psi (6) PrissParss Paves (@) Pays: Pays P ae Sobre una linea proyectiva tomar tres puntos distintos y designarlos en su orden Ps, P,, Pa: Construir ¥y marcar un nimero de puntos de R(Px, Po, Fi)Capitulo 5 Proyectividades PROYECTIVIDADES Y CONFIGURACION DE PAPPUS En el capitulo 1 una proyectividad, p, = p,, entre dos haces de puntos distintos sobre I- neas distintas, p, # p,, 0 sobre la misma linea, p, = p,, se establecié cuando los dos haces de puntos eran miembros de una sucesién de perspectividades. one) ma pf PR Pav Dualmente, una proyectividad, P, x P,, entre dos haces distintos de lineas sobre puntos dis- tintos, P, # P,, 0 sobre el mismo punto, P, = P,, se establecia, siempre y cuando los dos haces eran miembros de una sucesién de perspectividades Pu-i Pm PEM RP R Por el teorema fundamental, toda proyectividad entre dos haces de Iineas o dos haces de puntos est4 completamente determinada, cuando se dan tres elementos de un haz y sus co- rrespondientes en el otro haz. Combinando los resultados del teorema fundamental y del pro- blema 1.4, tenemos Teorema 5.1. Una proyectividad entre dos haces de puntos sobre Iineas distintas (dos ha- ces de Iineas sobre puntos distintos), la cual no es una perspectividad, siempre puede expresarse como un producto de sélo dos perspectividades. Una proyecti- vidad entre dos haces distintos superpuestos, puede expresarse siempre como un producto de no més de tres, ni menos de dos perspectividades. El problema de construir la proyectividad cuando se dan tres elementos distintos de un haz y sus correspondientes en el otro, es esencialmente el de localizar el correspondiente de un cuarto elemento cualquiera de otro haz. Exactamente seria: Si se dan dos conjuntos de puntos distintos A, B, C, D y A’, Bt, C’, sobre ineas distin- tas o sobre la misma linea, localice el punto D’, el cual en la proyectividad establecida por las triplas de puntos 4, B, Cy A’, BY, C’, es el correspondiente de D. Una manera de resol- ver este problema es: (i) Establezca la proyectividad (A, B, C) x (A’, B', C’) por una sucesién que tenga el me-, nor mimero de perspectividades. (ii) Observe el efecto de esta sucesiOn de perspectividades sobre D. Ahora se dard un procedimiento tedioso. Para esto, considere en la figura 5-1 los dos ha- ces proyectivos de puntos r(A, B, C, D,...) y 9(4’, B’, C’, D',...) sobre lineas distintas, Sean AA! = a, BA' = b, CA’ =, DA’ ;AB'= b', AC'=c', AD'=d’,.... Yaque A'(a,b,¢,d,...) = (A,B, C,D,...) = 8(A’,BY,0', DY = Ala,bi,c',d’,...) tenemos AN 0, 6,4, -..) — AlO,B, 0,0, «) 5556 PROYECTIVIDADES ICAP. 5 Fie. 51 Pero esta es una perspectividad (por qué?) y por tanto los puntos b-b’, ec’, ded',... estén so- bre una linea p, el eje de Ia perspectividad A’ % A. Esta linea p seré Hamada ahora el eje de proyectividad de r = s. Como p contiene a b-b"= BA'.B'A y czc' = CA'-C’A, se sigue que p es la linea de Pappus para las triplas A, B, C y A’, BY, C’. Ahora la linea de Péppus q para las, triplas 4, B, D y A’, B’, D’ estA sobre b-}! y sobre ded’; luego q = p. Hemos demostrado Teorema 5.2. Si dos haces de puntos r(4, B, C, D,...) y s(A', B, C’, D',...) sobre lineas dis- tintas son proyectivos, el eje de proyectividad es Ia linea de Pappus para cual- quier tripla de puntos distintos sobre un haz y sus correspondientes sobre el otro haz Su dual es Teorema 5.2. Si dos haces de lineas R(a, b, ¢, d,...) y S(a', b’,c', d',...) sobre puntos distin- tos son proyectivos, el centro de proyectividad es el punto de Pappus para cual- quier tripla de lineas de un haz y sus correspondientes sobre el otro haz. Volvamos a nuestro problema y establezcamos la siguiente solueién parcial: Si A, B, C, D son puntos distintos sobre una linea r (Fig. 5-2) y A’, B', C’ son puntos distintos sobre otra linea s, el correspondiente D' de D sobre r en la proyectividad no-pers- pectiva establecida por las triplas A, B, C y A’, B’, C’, se situa asi (a) Construyendo la linea de Pappus p para las dos triplas, (b) Uniendo D con cualesquiera de los puntos 4’, B’, C’ (a saber C")y marcando su in- terseccién X” con p, (c) Uniendo X” y ©, y marcando su interseccién D' con s. En esta construecién C’D- CD est sobre p y por el teorema 5.2, Dy D' son correspondien- tes en la proyectividad (4, B, C) x (A', BY, C’), como se pidié. Fig.5-2CAP. 5] PROYECTIVIDADES 8T Se deja al lector para que demuestre que la construccién anterior no cambia cuando la proyectividad r = p es en realidad una perspectividad. Para el caso de una proyectividad en- tre haces de puntos superpuestos, véase el problema 5.1 PROYECTIVIDAD ENTRE HACES SUPERPUESTOS En la proyectividad idéntica r(A, B, C, D,...) = r(A, B, G, D,....), todo punto es auto-co- rrespondiente (punto doble). Ya que una proyectividad es determinada Gnicamente por tres cualesquiera de sus elementos y sus correspondientes, tenemos Teorema 5.3. Si una proyectividad entre dos haces superpuestos de puntos (haces de lineas) tiene tres puntos dobles (lineas dobles), la proyectividad es la idéntica, es de- cir, todo punto (linea) es un punto doble (linea doble). Se sigue que una proyectividad (que no sea la idéntica) entre dos haces superpuestos puede, quizds, no tener elementos dobles, tener uno, o dos distintos. La existencia de proyec- tividades que tienen un elemento doble y de proyectividades que tienen dos elementos dobles, fue establecida en el problema 1.16. Otro ejemplo de una proyectividad con dos elementos do- bles es dado en el problema 5.2. La proyectividad del problema 1.6, pég. 17, no tiene elemen- tos dobles; sin embargo, en el momento no podemos demostrar esto. En el problema 6.3, demostramos Teorema 5.4. Toda proyectividad no-idéntica entre haces superpuestos que tienen un ele- mento doble dado, puede ser construida como el producto de dos perspectivi dades. El problema 5.3 también da la manera de construir proyectividades y en él se conocen un elemento doble y dos pares diferentes de elementos correspondientes distintos. Dos construc- ciones que parecen ser distintas fueron dadas, ya que cada una puede encontrarse en la lite- ratura. Sin embargo, en la proxima seccién se demostraré que son esencialmente las mismas. Del problema 5.3., también se sigue Teorema 5.5. Si una proyectividad no-idéntica entre dos haces superpuestos tiene un ele- mento doble, la proyectividad tiene otro elemento doble que puede, sin em- bargo, coincidir con el primero. Las proyectividades no-idénticas con respecto a sus elementos duales entre haces super- puestos son Ilamadas elipticas cuando no tienen elemento doble, parabdlicas cuando tienen exactamente un elemento doble, es decir, dos elementos dobles que coinciden, e hiperbélicas cuando tienen dos elementos dobles distintos. En lo sucesivo denotaremos por M, N (m, n) a los puntos dobles (Iineas dobles) de proyec- tividades que tienen elementos dobles. Por el teorema fundamental, (1) Una proyectividad hiperbélica se define dando (Sus elementos dobles y cualquier par de elementos distintos correspondientes. (ii) Uno de sus elementos dobles y dos pares diferentes de elementos distintos corres- pondientes. (ii) Tres pares diferentes cualesquiera, de elementos distintos correspondientes. (2) Una proyectividad parabélica se define dando (Su elemento doble y un par cualquiera de elementos distintos correspondientes. (ii) Tres pares diferentes cualesquiera, de elementos distintos correspondientes.58. PROYECTIVIDADES (CAP. 5 De este modo, (M, N, A) = (M, N, A’,) es una proyectividad hiperbélica. Como una proyecti- vidad parabélica es una proyectividad hiperbélica con elementos dobles coincidentes, una pro- yectividad parabélica con M como punto doble puede ser indicada por (M, M, A) x (M, M, A’). Sobre una linea o tomemos cuatro puntos distintos M, N, X, X’, tales que H(M, N; X, X’). Por el problema 5.2 sabemos que la proyectividad (M, N, X) = (M, N, X') es hiperbélica con My N como puntos dobles. De la discusién del capitulo 4, sabemos también que cuando X describe la Ifnea o en cualquier direccién, su correspondiente X’ describe la misma linea en la direceién opuesta. En este caso, decimos, que la proyectividad es opuesta, En cambio, en la proyectividad hiperbélica de la figura 5-6(a), concluimos con la ayuda del problema 5.12, que cuando x gira alrededor de O en cualquier direccién, su correspondien- te x' gira alrededor de O en la misma direccin. En este caso decimos que la proyectividad es directa, . Usando un circulo como modelo de linea proyectiva, no es dificil ver que si un punto va- riable X describe la linea moviéndose en una direccién, mientras que su correspondiente X’ describe la linea moviéndose en direccién opuesta, entonces la proyectividad X = X' siempre tendré dos puntos dobles distintos. De este modo Teorema 5.6, Toda proyectividad opuesta es hiperbélica; toda proyectividad parabélica y toda proyectividad eliptica son directas. Véase el problema 5.4. PROYECTIVIDADES HIPERBOLICAS Y PARABOLICAS Un examen de la figura 5-5 (a) revela: (a) Los puntos M, N, A, 4’, B, B constituyen el conjunto cuadrangular Q(M, A, B; N, B', A’) determinado sobre la linea o por el cuadrangulo completo RSA; By. (6) El cuadréngulo completo RSA;B, asegura la existencia de la proyectividad hiperbélica (M, N, A, B) x (M, N, 4’, B') como se muestra en la solucién 1, problema 5.3. Reciproca- mente, la proyectividad determina el cuadrngulo que, a su vez, da el conjunto cuadran- gular. Tenemos Teorema 5.7. Si M, N, A, A’, B, B' son seis puntos colineales distintos, entonces (M, N, A, B) ~(M, N, A’, B') implica Q(M, A, B; N, BA’) y reciprocamente. En la solucién 1, problema 5.3, N se localiza sencillamente por la construccién de un cua- dréngulo completo que tiene un par de lados opuestos sobre A y B' separadamente, otro par de lados opuestos sobre A’ y B separadamente y un quinto lado sobre M. Si ahora en la figura 5-5(a) los puntos marcados M y N, R y Ay, Sy By, y las lineas marcadas p y q son intercam- biados, resulta el dual de la figura 5-6(a). Se sigue entonces que las dos soluciones del proble- ma 5.3 son esencialmente una y la misma. En el problema 5.5, demostramos Teorema 5.8. El producto de dos proyectividades parabélicas que tienen el mismo punto doble M es, o bien la identidad, u otra proyectividad parabdlica que tiene a M como punto doble, yen el problema 5.6, demostramos Teorema 5.9. La proyectividad (M, A, A’) = (M, A’, A”) es parabélica si y s6lo si H(M, A’; A, A"). CONJUNTOS CUADRANGULARES En el problema 5.7, demostramos la primera de las tres partes deCAP. 5] PROYECTIVIDADES 59. Teorema 5.10, Seis puntos colineales distintos X, Y, Z, X', Y’, Z’formanel conjunto cuadran- gular Q(X, Y, Z; X', ¥', Z’) siy sdlo si (X,¥,Z,X") = (X,Y 2X) wo ° (%Y,Z,¥) = (X6Y,2,¥) @ ° (XYZ, x (X¥,2',2) @) En el proximo capitulo se demostraré que el conjunto cuadrangular Q(X, Y, Z; X', Y', Z') sobre una linea, implica la proyectividad especial (X, X', Y, Y', Z, Z') x (X’, X, ¥',.¥, Z', Z) en- tre dos haces superpuestos sobre Ja linea; en otras palabras, una cualquiera de las (1), (2), (3) del teorema 5.10 implica las otras. Problemas resueltos 5.1. Dados los puntos distintos A, B, C, D; 4’, B', C’ sobre una linea 0, construir el corres- pondiente de D en la proyectividad (4, B, C) = (A’, BY, C’). Véase la figurad-3. Proyecte desde cualquier punto P, que noesté sobre o los puntos A, BY, C’ en los 2B", C” respectivamente sobre cualquier lina s, que no esté sobre ninguno de los puntos P, A, B,C’ raya la linea de Pappus p para las trplas 4, B, Cy A", B", 0". Sean DA"-p = X, AX«s = D", enton es D" es el correspondiente de D en la proyectvidad (A, B, C) = (A", BY, C"), Que PD"s0 = D’ es obligato- riamente el correspondiente de D, se sigue de o(A',B',C,D) & o(A”,B",C",D") = o(A,B,C,D) Fig. 5-35.2. 5.3. PROYECTIVIDADES (CAP. 5 Demostrar que la correspondencia entre los puntos de una linea y sus conjugados ai ménicos con respecto a dos puntos fijos y distintos, es una proyectividad que tiene los puntos fijos como puntos dobles. ‘Véase la figura 5-4. Sea o la lines, Ay B los puntos fijos y Z, cualquier otro punto sobre o, Sobre A to- memos dos lineas distintas r #0, s 4 0 y sobre Z; tomemos obra linea distinta de o, que encuentra a r en B, yas en R, Sean BPs ~ 8 y BRer = tor ~ Q Entonces $iQ-0 ~ Z; et el conjugado arménico de Z, con respecto a Ay B. (Esta es sin duda, Ja construccién usual; se ha repetido aqui para introducir las designaciones mis tiles «los véties y lados del euedringulo completo.) Ahora tomemos otro punto 2, sabre oy leveros a cabo Ia anterior construccin usando, sin embargo, las mismas ineasr, «sabre A, 9 ¢ fobre B como antes. Sea ZR-r = P,, BP, BP-# =8, 9 §Q-0 = Z De (A,B,S) = (A,B, 2) (A,B, 2) FMA QP) Se sigue (A,B, 2) = (A,B, 2%) en la que A y Bae muestran como puntos dobes, Fig. 5-4 Demostrar que: Toda proyectividad que no sea la proyectividad idéntica entre haces superpuestos que tiene un elemento doble dado, se puede construir como el producto de dos proyectividades. CConsideremos la proyectivided (8, A,B, ...) = (MAB...) cen la que M es un punto doble mientras que A, A';B BY son pares distntos de punto correspondents distin ts. Con X, otro punto cualquiera del haz o(M, A,B...) vamos a construr au correspondiente X’ en la ro: syectvided usando solamente dos perspetividdes, Supongamos que a construcin ha sido hecha ydenotemos por Ry S ls ds entros de prepetvidad usados, asi que (M, A, BY (M, A, B,) = (M, A, BY 0 (M, A, B) = (M, As, Bi) 5 (M, A,B’). Entonces (1) M, R, $son colineales mientras que M, As, B, no lo son, 0 2) M, Ar, By son colineales mientras que M, R, S-n0 0 son, 0 @) tanto, M, R, S como M, Ar, By son caineaes. Veremos que tanto (1) como (2, axeguran Ia existenca de un segundo punto doble N distinto de M, en tanto que (8) s obtiene cuando M es €l nico punto doble. Solucién para el caso (1). ‘Véase le figura 6-5(0). Sobre M tomemos una linea g + 0 y sobre q tomemos dos puntos R= M y ‘S# M, Proyectemos M, A, B desde R y M, A’, B desde S; tomemos Ay — RA.SA' y B, = RB-SB' y sea ‘AiBy = p. Para otzo punto cualquiera X sobre o, sea RX-p = X; y SX,-0 = X'. Ademés, sea peo = Ny eq = 7. Este punto X’ es el correspondiente de X pedido, en tanto que de O@E,N,A,B,X) 2 w(T,N,AyByX,) = o(M,N,A',B',X) y o(M,N,A,B,X) = o(M,N, A’, BY, X’) se obtiene N x M como un segundo punto doble. Para el caso en que p esti también sobre M, es decir, cuando se obtiene (3), véase la figura 5-5(b).caP. 5} PROYECTIVIDADES 6 Fig.5-5(2) Fig. 5-5(0) Solucién para el dual del caso (2). Pare mayor veiedad trataremos dos haces superpuestos de linas. Considereentonces, en l figura 64a) Ja proyectividad Of, a,b, ...) = Olona’, B% donde m es una linea doble y a, a bb’ son parejas distintas de i lines cualquiera del haz O(m, a, 6,...) ) 45 correspondientes distintas. Sea x otraPROYECTIVIDADES: (CAP. 5 Sobre m tomemos cualquier punto P O y sobre P tomemos dos line Sea avai = A, asa; = A’, bob = B Beh, = BY AB = 1, AB = 3, r= XP = x, 21-82 X, OX'= 2, Entonees 0Q =n, PQ = thar X, (m,n, a,b, 2) Plo ty Oy bya) Olmy na,’ 2!) y Olm,n, a,b, 2) = O(m,n,a’,b’, 2’) ‘six’ es la linea correspondiente de x, y n »é mes la segunda linea doble Para el caso en que @ osté también sobre m, es decir, cuando se obtiene (3), véase Ia figura 5-6(4). Fig.5-6(6)CAP. 5} 5.4. 55. 5.6. PROYECTIVIDADES 63 Demostrar que: Si M, N, A, A’, B, B' son puntos coli- 4 neales distintos tales que H(M, N; A, A’) y H(M, N; B,B?), elpar A, A’ noes separado por el par B, B’. Del probleme 6.2, tenemos que A, A’ y B, B’ son parejas de ppantos correspondientes en la proyectividad hiperbélica opuesta F (M, N, A, B) x (M, N, 4’, B). Yaque A, A, y BB’ son parejas que separen a M, NV arménicamente, esta proyectivided puede tar bién definirse como (4, B, A') = (A', BY). Suponga que la pareja A, A’ separa a Ia pareja B, BY tal que la distribucién de estos puntos sobre la lines es como se indica en 4 Ja figura 5-7. Bntonces ya que las direcciones de ABA’ y A'B'A son las mismas, la proyectividad (A, B, A’) = (A’, BY, A) es directa. Pero esto es una eontradiecién; por tanto A, A’ no separa a B, B’ Fig. 5-1 Demostrar que: El producto de dos proyectividades parabélicas que tienen el mismo punto doble M es la idéntica u otra proyectividad parabélica que tiene a M como pun- to doble. Considere el producto de (M, M, A) = (M, M, A’) y (M, M, A’) (M, M, A”). Obviamente Mes un pun- to doble de este produto. Suponga que B IM es un segundo panto doble. Ye que la primera proyectividad no puede enviar a Ben si mismo, debe ser de la forma (M, M, B) = (M, M, B') con Bt BY. Ahora la segun- da proyectivided debe enviar a B' en B, es decir, debe ser de la forma (M, M, B') = (M, M, B). Pero enton- ces ol producto es Ia proyectividad idéntica. Asi, a menos que el producto de las dos proyectividades para Délieas dadas sea la idéntiea, ella es también parabélica con punto doble M. Demostrar que: La proyectividad (M, A, A’) = (M, A’, A”) es parabélica si y sélo si H(M, 4; 4, A"). Considere la proyectvidad perabilica (M, A, A’) = (M, A’ A") del figuras8, Por construcién, el cus- dringule completo D'D”RS tiene un par de ladot opuests sobre M, otro par de ladosopurstor sobre Aye] tercer par sobre Ay A” separadamente; de donde, H(M, A; A, A”). Recforocamente, si los pares de lados opuestos del euadringulo determinan los puntos M, 4 A, A" como en la figure, entonces (ut,4,49 £00") & (t,a’,a) 0 (MAA) x (AA Ya que el eje de proyectividad estd sobre M, esta proyectivided es parabélice.5.7. 5.10. 5A. 5.12, 5.3. 54. 5.15. 5.16. 5a. 58, 519. PROYECTIVIDADES (CAP. 5 Demostrar que: Q(X, Y, Z; X’, Y', Z') implica (X, ¥, Z, X') x mente, (X, Y, Z, X') = (X’, Y', Z', X) implica Q(X, ¥, Z; X', Y’, Z’). ‘Tomemos el conjunto euadrangular determinado sobre o por el cusdringulo PQRS como en le figura 5.9,y sea PQ.RS = 1. Entonces (K,¥,2,X) 2 (PPO) & (%2,¥X) y YX) x YX) Por el teorema 2.10, ", X)y reciproca- (X,2',Y'.X) x (x ¥ en consecvencia, (KY, ZX) x (XY 2,X) Para el reciproco supongamos QE, X) = OY ZX) pero Q(X, ¥, Z:X', ¥, 2"), Entonees, como antes (YYZ) x (X',¥',2",X) ¥ por tanto (KY 2,X) x (XK, Y2",X) Pero esta proyctvidad que tiene tres pun- tos dobles es la identidad. Por tanto, Z’ = 2” Ly) y QU, ¥, ZX, ¥, 2’) como se pidis. ,2',X) Problemas propuestos En la figura 5.2, eea p-r-— R, pes = S'; r-s = P como un punto sobre r yr-s = Q' como un punto sobre , Construir el correspondiente de cada uno de estos puntos. Ena perspectividad r(4, B,C...) £ (A,B, C’,...) tomarcualquier otro punto D sobre ry construir,wsan- doa linea de Pappus de las triplas A, B,C y A’, B,C’, el correspondiente D’, de D. ;Cusl sla diferen cial entre su figura y la figura 5-22 En la figura 5-3 del problema 5.1: () tomer G = p-0 y localigar su correspondiente G’, (b) tomar ovs = 0, como un punto sobre o y loclizar su correspondiente 0’ Establecer y probar el dual del problema 5.1. En la figura 5-6) tomar C sobrer y D' sobre s, ambos a la izquierda de @. Construir la correspondiente cde © = OC y la correspondiente d de a’ = OD. Usando la figura 5-6(b), hacer lo mismo del problema 6.12. Dados los puntos distintos M, NA, AY vided (M, N, A) = (M, NA’). Dados los puntos distintos M, A, 4', B sobre una linea, construr el correspondiente de B en la proyectividad (MM, A) = (MM, AD. Demostrar que: Si (IM, NA, B) = (M, N, A’ B?) entonees (M, N, A, A’) = (M, NB, B). Demostrar que: Si M, A, B, 4’, B' son cinco puntos colineales distintos, entonces, (M,M,A,B) x (M, M, a’, BY implica Q(M, A, Br M, BY A’) y viceversa sobre una linea, construir el correspondiente de B en la proyecti- SiA, Al, A", A"... Afm=n, Alm, A(*+,...e6 una sucesién arménica determinada por los puntos coli- nealesdistintos M, A, AY, verificar que H(M, A(m); AC™—1), A(m+), Dado Q(4, BC; D, B, F) y otros dos puntos distintos My N sobre une lines o, ean A’, B,C’, DB, F'los conjugados arménicos con respecto a M,N de A, B, C, D, B, F respectivamente. Mostrar que QUA’, B, CD, BYP.Capitulo 6 Involuciones DEFINICION Considere la proyectividad no idéntica (i) O(@,b,¢,d,...) x Ola’, b,e',d, Supongamos que cada linea sobre 0 tiene dos denominaciones 0 simbolos — una denomina- cién dada (digamos a) y otra (digamos b’), o un simbolo sin tilde (digamos c) y un simbolo con tilde (digamos a’). Los pares proyectivos dan denominaciones cada uno pero, en general, Ja linea con denominacién a y su correspondiente, la linea con denominacién a’, son lineas diferentes. Suponga ahora que (i) esta expresado solamente en términos de nombres dados, digamos, (@)— O(@,b,e,d,...) x Ole,m,a,a,...) y, a su vez, cada elemento sobre la derecha es remplazado por su correspondiente en la proyec- tividad y se expresa en términos de nombres dados. Al aplicar por segunda vez la proyecti dad, obtenemos (i) O(a, b, ¢, 4, En general, si continuamos con este procedimiento, el miembro de la derecha de {i') nunca vuelve a aparecer. En el problema 1.6, se establecié la existencia de una proyectividad especial en la cual el correspondiente de a era a’ = b y el correspondiente de b era b’ Ademis, se vio en el pro- blema 3.23, que esto es también verdadero para todo par de lineas correspondientes. En una proyectividad de este tipo, se dice que el par de elementos a y a’ se corresponden doblemente (preferimos reciprocamente) y a la proyectividad se le llama involucién. Entonces una invo- lucién es una proyectividad entre Iineas sobre un punto (puntos sobre una linea) de tal forma que la correspondencia entre x y x’ (X y X') es reciproca. Suponga que los miembros de la derecha y de la izquierda de (i') son sistemas distintos y dendtelos respectivamente por Si y Sp; denote también la correspondencia biunivoca entre sus elementos por r. Entonces (i’) puede ser expresado por +(S,) = Sz, e (i") por 1(r(S,)) = 1(Sp) = Sy, donde S; denota el sistema O(9,1,u,c, ...). La corresponden- cia es una involucién si y sélo si r(r(S))) = 1(S,) = S;. Mas generalmente, una corres- pondencia biunivoca no-idéntica 7 entre lineas sobre un punto (puntos sobre una linea) es una involucién si y sélo si r? es la idéntica. En el problema 6.1, demostramos ») x Oem a,a’,...) = Oarime,...) Teorema 6.1. Si en una proyectividad entre las lineas sobre un punto una linea ay su corres- pondiente a’ se corresponden reciprocamente, entonces cualquier otra Iinea x y su correspondiente x’ también se corresponden reciprocamente. Como una consecuencia, tenemos Teorema 6.2. Una involucién esté determinada por dos cualesquiera de sus pares reciprocos. Para una construccién, véase el problema 6.2, Los pares reciprocos de una involueién se les Hama a veces pares conjugados. Reservamos este término para usarlo més tarde y asf seguiremos hablando de pares reciprocos. 6566 INVOLUCIONES [CAP 6 En el problema 6.3, demostramos Teorema 6.3. Los tres pares de lados opuestos de un cuadréngulo completo son cortados por toda linea o, no sobre un vértice, en tres pares reciprocos de una involucién entre los puntos de 0. Si la linea o no est4 sobre un punto diagonal del cua- drangulo, cada par ree{proco consta de puntos distintos. Este teorema y su dual Teorema 6.3'. Los tres pares de vértices opuestos de un cuadrilétero son unidos a cualquier punto 0, no sobre un lado, en tres pares reciprocos de una involucién entre Jas lineas sobre Q. Si el punto O no esté sobre una linea diagonal del cuadri- latero, cada par reciproco consta de lineas distintas. proporcionan construcciones alternadas de la involucién, determinada por dos pares distintos de elementos reciprocos, Ya que los seis puntos del teorema 6.3 constituyen un conjunto cuadrangular, hemos de- mostrado la proposicién hecha al final de la tltima seccién del capitulo 5. Una prueba de Teorema 6.4. Si una linea o encuentra los lados PQ, PS, SQ de un triéngulo PQS en los puntos A’, B’, D' los que, junto con otros tres puntos A, B, C sobre 0, son tres pares ree(procos de una involucién entre los puntos de o, las lineas AS, BQ, DP estén sobre un punto, es inmediata ya que los seis puntos constituyen el conjunto cuadrangular Q(A, B, D; A’, B’, D' Una prueba independiente se da en el problema 6.4 ELEMENTOS DOBLES Sobre una linea o tomemos tres puntos distintos M, N, X y construyamos el conjunto arménico X’ de X con respecto a My a N. Si M, N permanecen fijos mientras que X describe la linea, la proyectividad resultante X x X' es una involucién que tiene a M y a N como pun- tos dobles. Esta involucién se llama naturalmente hiperbélica. Como la involucién esté deter- minada de manera tinica por sus puntos dobles, mientras que (M, N, X, X") = (M, N, X', X) implica H(M, N; X, X’), hemos demostrado Teorema 6.5, Toda involucién hiperbélica es simplemente la correspondencia entre pares, arménicos conjugados con respecto a los puntos dobles. Concluimos Teorema 6.6. Toda involucién hiperbélica es opuesta. En el problema 6.5, demostramos Teorema 6.7. Si una involucién tiene un elemento doble, tiene un segundo que es, (a) dis- tinto del primero, y (b) el conjugado arménico del primero con respecto a cualquier par recfproco. Como una consecuencia inmediata tenemos Teorema 6.8. No hay involucién parabélica. Por el teorema 6.6, dos pares recfprocos de una involucién hiperbélica no se separan el uno del otro. Por esto, la involucién determinada por dos pares reciprocos 4, A’ y B, B' que separan el uno del otro (como ejemplo véase el problema 1.5) es eliptica. Ya que una involucién es un tipo especial de proyectividad, esto establece la existencia de proyectividades elipticas. Tene- mos ademés Teorema 6.9. Toda involucién directa es eliptica.CAP. 6) INVOLUCIONES 67 PARES DE INVOLUCIONES Considere dos involuciones f; ¢ Jz entre los puntos sobre una linea. Nuestro propésito es ver la posibilidad de que estas involuciones tengan un par reciproco A, A’ en comin. Primero suponga que las involuciones son hiperbélicas: J, con elementos dobles My, Ni, e I, con elementos dobles M,, N,. Denote por [; la involucién que tiene a My, N; y a Mz, Np como pares reciprocos. Si J; es hiperbélica, existen puntos Ms, Ng (los puntos dobles de I) tal que H(Ms, Ns; Mi, Ni) y H(Ms, No; Mz, Nz). Entonces Mz, Ny = Mj es un par reefpro- code I, ¢ Iz. Sin embargo, si Is es eliptica no existen entonces M;, Ny. Asi, Teorema 6.10, Dos involuciones hiperbélicas entre los puntos sobre una linea tienen un par reciproco A, A’ en comiin, si y sélo si sus puntos dobles no se separan entre si (es decir si un punto doble no separa al otro y reciprocamente). Ahora suponga que I, es eliptica e Jp es hiperbélica. Denote por x2 = yl, la proyecti- vidad entre los puntos de una Ifnea que resulten de aplicar 1, e [, sucesivamente en este orden. Por ejemplo 1, envia el punto X en X"e I, envia X' en X"; entonces I; Ip envia X en X"’ Si I, e Ip tuvieran un par reciproco A, A’ en comin, entonces J, los intercambia e [; los vuelve a su orden original. Asi A, A’ serian los puntos dobles de la proyectividad xy. El pro- blema se reduce a determinar si x, es hiperbélica o no. Ya que f, es directa e I, es opuesta, es obvio que x3 es opuesta. Luego los puntos dobles de x3 es un par comiin y tenemos Teorema 6.11. Si de dos involuciones entre puntos sobre una linea, una es eliptica y la otra hiperbélica, ellas siempre tienen un par recfproco en comin. Finalmente, suponga que f, ¢ /, son elipticas. El par recfproco A, A’ de f, es enviado en A”, AU por Jz. Puede suponerse que estos puntos estan distribuidos sobre Ia Iinea de la ma- nera siguiente: ao rr OD 4 x ” ea Fig. 6.1 Cuando un punto variable X se mueve sobre AA’ de A hacia A’, su correspondiente bajo la proyectividad x3 = If, se mueve sobre A"A"’ en la misma direccién, es decir, de A” a A”. ‘Aa’es incluida en "AM; de donde X y X’ deben coincidir en algin punto de AA’ que por ser un punto doble de zz es un punto del par reciproco comin a I e I. Asi, Teorema 6.12. Dos involuciones elipticas entre los puntos sobre una linea tienen un par reciproco en comin. En el problema 6.6, demostramos Teorema 6.13. Si las involuciones 1: (A,4,B,B") x (B,B,A’,A)@ Ie: (A, 4’,B,B’) x (A’,A,B’,B) tienen a M,N como un par reciproco comin, entonces I= Ij-fy es una involucién que tiene a M, N como puntos dobles.6.1. 6.2. INVOLUCIONES, ICAP. 6 Problemas resueltos Demostrar que: Si en una proyectividad entre las lineas sobre un punto, toda Iinea ay su correspondiente a’ se corresponden reciprocamente, entonces cualquier otra Iinea x y su correspondiente x’ también se corresponden reciprocamente. Demos una proyectivided x x z' entre las lineas sobre un punto 0, con la propiedad de que para el par correspondientede lineas aa’, tenemos (a, ', x) = (a a, x’). Demostramos que (a, 5, x') = (a, x x). Como en la figura 6-2, tomemos una linea r pero no gobre Oy tomemos sobre o culqsier punto A distinto de Oy de a+r. Construyamos sobre A las lineas 43, ,, 2; tales que (airy af) & (ota) ‘Tomemos a!+ai = A’, 2/+2,=V, y AVe v, Entonces ae'.227 F (aalenet) E (@aie.r) Z (osa2',2) y (a,0',2,2') = (0',9,2',2) como se pidié Construir la involucién sobre una linea dando pares reeiprocos de puntos de esta involucién, Sen A, A’ y B, B los pares reciprocos sobre la linea o en la figura 63 y sea C cualauer otro punto sobre o. Constravamos el coreapondiente "de C en la involuidn. Tomemos cualquier oto punto R, no tobe o,y sobre A tomemos cualquier linea oditinta deo pero ne acbre R. Localicemes sobre alos puntos 4G,By, BiCy tales que 1 a z (Ai, By BC) F AB,BO) Sea BB,.A'R= V, B'C-A'R= Wy By We ", Bntonces C' es el punto pedido ya que (AA'B,BLO) FAA BBC) (AALV,RW) 3 (A'A,BYB,C)CAP. 6) mnvoLuciones 6 Fig. 6-3 6.3. Demostrar que: Los tres pares de lados opuestos de un cuadréngulo completo son cor- tados por cualquier linea 0 que no esté sobre ningin vértice, en tres pares reciprocos de una involucién entre los puntos de 0. Utilizando la figura 6-4, tenemos (A,A',BD) & (A"AYP,Q) F(A, A'.D,B) y asi (4,A',BY,D) = (A,A',D.B) Por el teorema 2.10, (4,4',D,B) = (A',A,B,D) de donde, (aay ,D') x (A',A,B,D) Ya que A, A’ es un pr reciproco, la proyectividad es una involucin que tiene a B, B' y D, D' como pares reciprocos debido al dual del teorema 6.16.4. 65. 6.6. INVOLUCIONES (CAP. 6 Demostrar que: Si una linea o encuentra los lados PQ, PS, SQ de un tridngulo PQS en los puntos A’, B’, D’ los que, junto con otros tres puntos A, B, D sobre o, son tres pares reciprocos de una involucién sobre o, las lineas AS, BQ, DP estén sobre un punto, En a figura 6-4 supongamos que AS-BQ~ R, pero RP-o-= D,. Por el teorema 6.3, tenemes (A,4',B5D) = (A',A,B,Dy) mientras que por hipétesis, (A,A',B',D) x (A’,A,B,D) Entonces, por el teoreme fundamental, D, = Dy DP esté sobre R como se pais. Demostrar que: Si una involucién tiene un elemento doble, tiene un segundo elemento que es, (a) distinto del primero, y (8) el conjugado arm6nico del primero con respecto 4 cualquier par reciproco. CConsideremos uns invlueién entre Jos puntos de une line, Véas a figura 6 donde la invlucién sobre o se determina por el punto M y cualquier par reciproco B, B'. Sobre M tomemos dos Iineas ry s Aistints deo: sobre rtomemos culauer punto P= M. See BP-a =. @) BPs = 8 BS-B'Q~ R, PR = K y Phe= (o) Botonees (0,N,B,B) © (M,K,@,8) © (LN, BB) da Nye M como ol segundo panto dobe R Fig.65 (8) Sobre o tome cualquier punto C distinto de M, N, B, BY. Sea CP-8= Ty RT.o C’. (Bsta cons- truceién ‘al lector.) Ahora, por construccién, el par C, C’ separa a M, N arménicamente y por cl teorema 44 el par M, N separa a C, C’ arménicamente, Es claro que el par C, C’ es eualquier par ‘eeiproco como se pidié por el teoreme, (Nota: La figura para (b) seri usada en el problems 6.16) Demostrar que: Si las involuciones 11: (A, A,B, BY) = (B,B,A’,A) ea: (A,A’,B,B’) x (A’,A,BY,B) tienen a M, N como par reciproco comin, entonces [= tiene a M,N como puntos dobles. Puesto que J lleva a A en BY, mientras que Ly lleva « BY en B, leva a A en B. Bn forma similar, fencontramos que, I: (A, A’, B, B')7% (B, BY, 4, A’) es una involucién. Ya que tanto J; como fy intercem: bian a My a N, Tenvia Men My Nen N. Entonces M y N son puntos dobles, jf es una involucién queCAP. 6] INVOLUCIONES a Problemas propuestos 6.7, Demostrar que: Si en una proyestividad hiperbétice hay un por de elementos correspondientes que son conjugados arménieos con respecto a los puntos dobles, la proyactividad es wna involueién 6.8. _Construir la involucién entre Iss lineas scbre un punto, dado: (a) Las lineas dobles m,n; (8) Una linea ble m y un par recfproco a, a 6.9. Democtrar que: Si dos pares de puntos sobre una linea no se separan mutuamente, sélo existe un per de puntos que separan arménicamente a los pares dados G10. Demostrar que: $i H(A, B: D, D'), H(B, D; A, A), H(D, A; B, 8), entonces QUA’, B,D’: A, B, D). Sugerencia, Bn la figura 48, considere el cuadréngulo CEPG. 6.11, Demostrar que! Los seis puntos colineales 4, A’; B, B D, D’ son tres pares reefprocos de una involucién siy sélo si (A,B,D,A) = (A’,B',D',A) ° (A,B,D,B’) = (A',BY,D',B) ° (A,B,D,D") 6.12 Dado el tridngulo dela figure 6-6, sean a’, bc’ Iineas distintas sobre los 4A vértices A, B, C respectivamente y p una linea cualquiera distints de 2b, c;a', Bc. Seana-p = A, bxp = BY, exp = Cisa'sp = A’, bp = BY, csp-= C", Demostrar que a’, , c'son concurrentes siy sélo si Q(A’, B, 1b CA", BY, 0"). s ‘Sugerencia. Suponga que a,b «* son concurrentes en P y considere el cuadrngulo completo ABCP. Suponga que a’, b,c" son lineas no-con- ic ccurrentes; se2 Bsc! = P, AP= a", ya".p= A” 6.13. Enunciar y demostrar el dual del probleme 6.12. 6.14. Demostrar que: Si p es la linea de Pappus de Ia proyectividad 1A y By CyDy...) ~ 82 Bu Cr, De...) 2 yi S(Ay Ba, Cy Dy...) Aa By CasDyy..) demostrar que HAyBy CDi...) % Ay Ba Cy Dy...) 6 une involucién si y s6lo si P esté sobre p. Enunciar y demostrar el dual. 6.15. Probar que: Cualquier proyectividad entre los puntos sobre un sarse como el producto de dos involuciones. Sugerencia. La proyectividad x envia A en A’y A'en AY. Defina Ij: (A, A, A’ Bntonces [+l = x. ‘ mea (linea sobre un punto) puede expre- A" Meh ah 6.16, Probar que: Si H(M, N;B,B') y HOM, co de la involucién CB, C) x (CBC, B). Sugerencia. Ver nota en el problema 65. 1; 6, C") entonces M, Nes un par re 6.17. Dada una involueién (A, A’, B) x (A’, A, B') sobre una Kinea o. (a) Describir le construccién del compatiero C’ de cualquier otro panto C sobre o, sugerida por el teoreme 6.3. (b) Sea D otto punto eobre o, construir ‘8u compaiiero por el procedimiento anterior usando tembién le figura del problema 6.2Capitulo 7 Axiomas para la geometria proyectiva plana INTRODUCCION La geometria proyectiva plana se interesa ‘inicamente por propiedades de figuras planas que permanecen invariantes bajo una 0 més proyecciones centrales y cortes. Hasta aqui nuestra presentacién, si bien sigue de un modo general el desarrollo hist rico, pretende sugerir ‘que el contenido de esta geometria es aquél que permanece de la geometria euclidiana, cuando de ella se sacan todos los teoremas que en cualquier forma tienen que ver con medidas. Una ‘manera de negar esta idea seria establecer una base para la geometria proyectiva, es decir, establecer un sistema de axiomas completamente independiente de cualquier nocién de la geometria euclidiana, Nos proponemos esto usando once axiomas en total, La construccién de sistemas de axiomas para la geometria proyectiva es un desarrollo relativamente nuevo. Para cualquiera de estos sistemas es conveniente que los axiomas sean simples e independientes, es decir, ningtin axioma debe ser implicado por los otros. Sélo es necesario que ellos sean consistentes, 0 sea, que ninguno contradiga cada uno de los otros ni impliquen teoremas contradictorios. Pudimos haber empezado en el capitulo 1 con uno de los sistemas utilizables. Sin embargo, parece mejor obtener primero alguna idea de lo que desea- ‘mos probar, y como todo no se puede probar, entonces, {qué cosas tendriamos que suponer? Es ahora evidente que para nuestra geometria proyectiva plana necesitamos dos conjun- tos de objetos 0 cosas —Ilamados puntos y Iineas respectivamente— y una relacién “sobre”, tal que todo par de puntos distintos estén sobre una y sélo ua linea, y todo par de lineas estén sobre uno y sélo un punto. Ademés, debemos suponer 0 poder probar el teorema de los, dos tridngulos de Desargues (pégina 32), el teorema de Pappus (pagina 2), el caso especial del teorema de Pappus (pagina 40), la no-colinealidad de los puntos diagonales de un cua- dréngulo completo y el teorema fundamental (teorema 2.8). AXIOMAS INICIALES Empecemos con dos conjuntos no-vacios de “objetos” (Ilamados respectivamente puntos y Iineas) y una relacién “sobre”, tales que: Axioma 1. Si A y B son puntos distintos, entonces existe por lo menos una linea sobre los dos puntos. Axioma 2. Si Ay B son puntos distintos, entonces existe a lo mas una linea sobre los dos puntos. Axioma 3. Sip q son dos lineas distintas, entonces existe por lo menos un punto sobre las dos Iineas. Axioma 4, Existen por lo menos tres puntos sobre toda linea. Axioma 5. No todos los puntos estan sobre la misma li Se debe observar que aqui no intentamos definir los “objetos” llamados puntos y lineas ni definimos la relacién “sobre”. Como los conjuntos son no-vacios, sabemos que existen por Jo menos un punto y una Ifnea. Aparte de esto, nuestra tinica informacién adicional es la dada por los axiomas y aquellos hechos que estos axiomas implican, 2