we ee Mast 4. aN FW PASTORIS GeometriasESTUDIO DE LAS GEOMETRIAS HOWARD EVES Profesor de Matemdticas Universidad de Maine Tomo | TrapucciON AL ESPANOL POR SUSANA BLUMOVICZ DE SIPERSTEIN Facultad de Ciencias Universidad Nacional Auténoma de México ‘TRADUCCION REVISADA POR EL Inc. SANTIAGO ALONSO Ex Profesor de ta Escuela de Ingenieros de Bilbao, Espata @ UTEHAINDICE Wh UL EL MANANTIAL Lal 1.2 1.3 14 15 16 17 La Geomernia PRIMITIVA LA NATURALEZA EMPIRICA DE‘LA GEOMETRIA PREHELENICA La CONTRIBUCION GRIEGA DE LA AXIOMATICA MATERIAL Elementos pe Evciwes EL CONTENIDO DE LA GEOMETRIA GRIEGA LA TRANSMISION DE LA GEOMETRIA GRIEGA AL OccIDENTE GEOMETRIA EMPIRICA 0 EXPERIMENTAL GEOMETRIA MODERNA ELEMENTAL 21 22 23 24 25 26 27 Macwirupes con senrmo ELEMENTOS INFINITOS Los TEOREMAS DE MENELAO y CEVA RELACION ANARMONICA ALINEACIONES Y HACES 110MOGRAFICOS Divisi6n ARMONICA ALGO SOBRE GEOMETRIA ELEMENTAL MODERNA DE LA GIRCUNFE- RENCIA TRANSFORMACIONES ELEMENTALES, 3a 3.2 33 34 35 3.6 37 Teoria pe TRANSFORMACION TRANSFORMACIONES PUNTUALES FUNDAMENTALES Isometrias Y SEMEJANZAS Inversion APLICACION DE LA INVERSION + PoLos ¥ POLARES TRANSFORMACIONES ESPACIALES XV Pag 63 64 70 74 95 93 97 102 115 116 121 130 141 152 162 amtXVI IV. Vv VIL Vi vii. INDICE CONSTRUCCIONES EUCLIDIANAS 41 42 43 44 45 4.6 47 LAS HERRAMIENTAS EUCLIDIANAS Ex métopo DE LUGARES GEoMETRICOS ¥ EL MéTODO DE TRANSFOR- MACION Los PUNTOS DOBLES DE DOS ALINEACIONES HOMOGRAFICAS CO- AXIALES EL TEOREMA DE CONSTRUGCION DE Mour-MASCHERONI EL TEOREMA DE CONSTRUCCION DE PONCELET-STEINER ALGUNOS RESULTADOS ADICIONALES EL POLIGONO REGULAR DE DIECISIETE LADOS TEORIA DE LA DISECCION 51 5.2 53 54 55 5.6 PRELIMINARES Diseccién pe PoLiconos EN TRIANGULOS EL TEOREMA FUNDAMENTAL DE LA DISECCION POLIGONAL La SITUACION EN EL ESPACIO UNA BREVE INFORMACION DE CURIOSIDADES DE DISECCION CONGRUENGIA POR PESCOMPOSICI GEOMETRIA PROYECTIVA 61 6.2 63 6.4 6.5 6.6 GEOMETRIA NO EUCLIDIANA 7 7 PERSPECTIVIDADES Y PROYECTIVIDADES Cénicas Prorias La pevinicrsy CHAste! RecipRocmAD vEL PRING LA PROPIEDAD DEL FO ProvECCION ORTOGONAL STEINER DE UNA CONICA PROPIA PIO-DE DUALIDAD Y LA DIRECTRIZ ANTECEDENTES HISTORICOS GEOMETRIA PLANA LOBACHEVSQUIAN. RALELAS GrOMETRIA. PLANA Loma CHERT GEOMETRIA PLANA LOBACHEVSQUIANA: PUNTOS IDEALES Y ULTRA- ELAS FE HIPERPA- 1 PARA ILVSQUIANA; CUADRILATEROS DE Sac- IDEALES GEOMETRIA PLANA LODACHEVSQUIANAS MAPEO DEL PLANO SOBRE EL INTERIOR DE UNA CIRCUNFERENCIA Gromerria ¥ ESPACIO Fisico FUNDAMENTOS DE ILA GEOMETRIA. 8.1 8.2 ALGUNAS FALLAS LOcICAS DE Los Elementos pe EucLIDEs FUNDAMENTOS POSTULACIONALES MODERNOS DE LA GéoMeETRIA EUCLIDIANA Pag. 179 180 329 337 344 351 355| 8.3 a4 85 8.6 8.7 INDICE AXIOMATICA FORMAL EL MODELO DE POINCARE Y LA COMPATIBILIDAD DE LA GEOMETRIA PLANA LOBACHEVSQUIANA Depucciones DEL MODELO DE Poincaré, GroMetRiA PROYECTIVA ¥ GEOMETRIA No DESARGUESIANA Geomeraias FINITAS APENDICE 1. Primeros princirios De BUCLIDES y ENUNCIADOS DE LAS PROPOSICIONES DEL Lipro I APENDICE 2. Posturapos pe HiLserT PARA LA GEOMETRIA EUCLIDIANA PLANA SUGERENCIAS PARA LA RESOLUCION pe ALcUNos DE LOS PROBLEMAS InpIce aLFapético XVI Pag 381 391 398 404 AL 422 428 431 457INDICE Triéngulo(s), area del, 40 autoconjugados, 170 autopolar, 170 coaxiaies, 79 conjugados, 170 copolares, 79 defecto del, 339 equilatero, problema del, 260 limite, 333 lado finito del, 333 polares, 301 Trilatero diagonal, triéngulo, de un cua- drildtero completo, 98 Trilinear, polo y polar, 83 Triseccién de un dngulo, 39, 181 aproximada, 58, 59 asintética, 211 método aproximado de D'Ocagne, 59 Trivértice diagonal del cuadrangulo com- pleto, 99 Tronco de una pirdmide, volumen del, 5, 7, 8 Tucker, R., 64 Tutte, W. 'T., 255, 256, 257 U Ultraideales, puntos, 344 Uno a uno, mapeo, 117 ALFABETICO 475 v Veblen, Oswald, 376, 412 Verriest, Gustave, 391n Vértice, de un Angulo, 67 de un cono, 285 de un haz, 68 saliente, 229 feta, Francisco, 38, 141 Vinci, Leonardo da, 199, 229 Viviani, 84 Volumen, momento de un, 57n del prismatoide, 41 del tronco de pirdmide, 5, 7 Von Neumann, descomposicién de, 268 w Wentworth, G. A., 432 Wheeler, A. H., 262 Wilder, R. L. Willcocks, T. H., 255, 256 Wolfe, H. E., 434 Wurf’ (proyeccién), 86 Y Yates, R. C., 209 Young, geometria finita de, 413VI. GEOMETRIA PROYECTIVA 6.1, PERSPECTIVIDADES Y PROYECTIVIDADES. 6.2. CONIGAS PROPIAS. 6.3. LA DEM! NICION DE CHASLE INER DE UNA CONICA PROPIA. 6.4. RECIPROCIDAD Y EL | PRINCIPIO DE DUALIDAD, «6.5. LA PROPIEDAD RESPECTO AL FOCO Y A LA DIREC. TRIZ. 6.6. PROYECCION ORTOGONAL. CONSIDERESE, POR UN MOMENTO, el problema con el que un artista se enfrenta cuando intenta pintar un cuadro real de algiin objeto. Cuando el artista mira el objeto, los rayos de luz que parien de éste entran en su ojo. Si se pusiera una pantalla transparente entre el ojo del arti y el objeto, estos rayos de Jaz cortarfan a la pantalla en una coleccién de” puntos. Esta coleccién, que puede Hamarse imagen, 0 proyeccién, del objeto 7 sobre la pantalla, es la que el artista debe pintar en su papel o lienzo para | que un observador de la pintura reciba la misma impresién de la forms del a objeto que recibiria cuando mirara directamente a éste. Como el papel | © el lienzo del artista no es una pantalla transparente, Ja tarea de dibu én deseada presenta un problema real al artista: © rtistas con exactitud la proy. En un esfuerzo para producir cuadros més reales, muchos de los artist y arquitectos del Renacimiento se interesaron profundamente en descubrit las leyes formales que rigen la construccién de las proyecciones del objet?” sobre una pantalla, y, en el siglo quince, varios de ellos crearon los #l€- mentos de una teoria fundamental de Ja perspectiva geométrica. ' La teoria de la perspectiva se extendié considerablemente a princirl¢s | del siglo diecisiete por un pequefio grupo de matematicos franceses, CU? = animador fue Gérard Desargues, un ingeniero y arquitecto que acl? G 2 Lyons en 1593 y murié en la misma ciudad alrededor de 1662. Jnfluido © 5 I Fi una por las necesidades crecientes de los artistas y arquitectos de creat 726.1. PERSPECTIVIDADES Y PROYECTIVIDADES 273 teorfa ms profunda de la perspectiva, Desargues publicé en Paris en 1639, un notable tratado original sobre las secciones cénicas en que aproveché la idea de Ja proyeccién, Pero este trabajo fue tan despreciado por la mayoria de los demas mateméticos de aquella época, que pronto se olvidé y todas las copias de la publicacién desaparecieron. Dos siglos ms tarde, cuando el geOmetra francés Michel Chasles (1793-1880) escribié una historia de la geometria, no tuvo modo de estimar el valor del trabajo de Desargues. Sin embargo, seis afios después, en 1845, Chasles tuvo la suerte de encontrar una copia manuscrita del tratado de Desargues, hecho por uno de sus seguidores, y desde aquella época el trabajo fue reconocido como uno de los clésicos en el desarrollo primitive de la geometria proyectiva. Hay varias razones para el desprecio inicial del pequefio volumen de Desargues. Fue eclipsada por la més eldstica geometria analitica introdu- cida por Descartes dos afios antes. Los geémetras generalmente o bien desa- nrollaban esta nueva herramienta poderosa o trataban de aplicar los infini- tesimales a la geometria. Ademés, desafortunadamente, Desargues adopté un estilo y una terminologia que eran tan excéntricas que opacaron su trabajo y desanimaron a otros de intentar adecuadamente la evaluacién de sus realizaciones. La reintroduccién de las consideraciones proyectivas a la geometria no ccurrié sino hasta finales def siglo dieciocho, cuando el gran geémetra francés Gaspard “Monge (1746-1818) creé su geometria descriptiva. Esta ciencia, que contiene una forma de representar y analizar objetos tridimen- sionales por medio de sus proyecciones sobre ciertos planos, tuvo su origen en el proyecto de fortificaciones. Monge fue un maestro muy inspirado, y se reunfa con él un grupo de brillantes estudiantes de geometria, entre los cuales se encontraban L. N. Carnot (1753-1823), Charles J. Brianchon (1785-1864) y Jean Victor Poncelet (1788-1867). El resurgimiento real de la geometria proyectiva fue impulsado por Pon- celet. Como prisionero de guerra ruso, cogido durante la retirada de Napo- leén de Mosci, y sin libros # la mano, Poncelet planeé su gran obra sobre Seometria proyectiva, que, después de su libertad y vuelta a Francia, publicé en Paris en 1822.* Esta obra dio un impetu tremendo al estudio del tema € inicid el llamado “gran periodo” de la historia de la geometria proyectiva. Luego entraron en el campo multitud de matemdticos, entre los cuales se encontraron Gergonne, Brianchon, Chasles, Pliicker, Steiner, Staudt, Reye y Cremona, grandes nombres de la historia de la geometria y, en particular, de la historia de la geometria proyectiva. El trabajo de Desargues y de Poncelet, y de sus seguidores, condujo 8 los geémetras a clasificar las propiedades geométricas en dos categorias: * Traité des propridtés projectives des figures. + Geometria, 1.18,GEOMETRIA PROYECTIVA las propiedades métricas, en las que intervienen las medidas de las distan- cias y de los Angulos, y las propiedades descriptivas, en las que s6lo se trata la relacién de las posiciones de los elementos geométricos entre si. El teo- rema de Pitagoras, de que el cuadrado de la hipotenusa de un tridngulo rectdngulo es igual a ta suma de los cuadrados de sus dos catetos, es una propiedad métrica. Como ejemplo de una propiedad descriptiva, o de po- | sicién, podemos mencionar el notable teorema del “hexagrama mistico” de Blaise Pascal (o simplemente, hexégono de Pascal), que hemos ya conside- rado para el caso de una circunferencia y que se inspiré en el trabajo de Desargues: Si un hexdgono se inscribe en una cénica, entonces los puntot de interseccién de los tres pares de lados opuestos son colineales, y, reck procamente, si los puntos de interseccién de los tres pares de lados opuestos de un hexdgono son colineales, entonces el hexdgono esté inscrito en und | cénica. La distinci6n entre Jos dos tipos de propicdades geométricas, al menos : en el caso de figuras planas, se aclaran més cuando se considera el hecho de que las propiedades descriptivas no se alteran cuando se somete Ja figura a uma proyeccién, en tanto que las métricas pueden no verificarse ya” cuando se proyecta la figura. Asi, al proyectar de un plano a otro, un tridae gulo rectingulo no sigue siendo necesariamente rectangulo, de modo que la relacién pitagérica no se verifica siempre en la figura proyectada; _ el teorema de Pitagoras es, pues, wn teorerna métrico. Por el contrario, en el caso del teorema de Pascal, un hexAgono inscrito en una cénica se pio yecta en un hexdgono inscrito en una cénica y los puntos colineales proyectan en puntos colineales y, en consecuencia, el teorema se conservas cl teorema de Pascal es un teorema descriptivo. Muchas propiedades descriptivas se presentan en la forma aparente de propiedades métricas. Por ejemplo, hemos visto (en el teorema 2.4.7) que = la relacién anarménica (4B,CD) de cuatro puntos A, B, C, D de una | recta no se altera cuando ésta se proyecta en otra y los cuatro puntos A’, BY, C’, D’. En otras palabras, aunque las longitudes de los diversos segmentos correspondientes de las dos rectas no son necesariamente igualés unos a otros, sin embargo, las dos razones compuestas (AC CB) | (ADD ) y (AC/GB) /(AD/DB), esto es, las dos relaciones anarménicas (AB,CD) y (A’B’,C'D!) tienen mismo valor y, por tanto, la relacién anarménica de los cuatro puntos colt neales es una propiedad descriptiva de ellos. El estudio de las propiedades descriptivas de las figuras geométricas * conoce como geometria proyectiva.6.1. PERSPECTIVIDADES Y PROYECTIVIDADES 275 La geometria proyectiva ha creado una vasta rama de la geometria sin- gular y elegantemente desarrollada, y se ha convertido en bisica para muchos estudios geométricos. Algunos de sus aspectos més elementales se examinaran en este capitulo; otros més profundos aparecerén en capitulos siguientes. Una definicién ms nitida del tema se dar a continuacién. 6.1 Perspectividades y proyectividades. Scan 7 y 7’ (fig. 6.1a) dos planos fijos, dados, no ideales, del espacio ilimitado, y sea V un punto fijo dado que no esté ni en a ni en 7’. Como el espacio es ilimitado, + son también planos ilimitados, y el punto V puede ser uno ordinario o bien uno ideal (o del infinito). Sea P un punto cualquiera, ordinario o ideal, del plano 7. Entonces, la recta VP cortard al plano x’ en un punto tnico, ordinario o ideal, P’ de «’. En esta forma el plano ilimitado 7 se mapea { proyecta) sobre el plano ilimitado 7’, En efecto, como los distintos pun- Fie. 6.14, tos de m tienen distintas imagenes en x’, el mapeo (o proyeccién) es real- mente una transformacién del conjunto de todos Jos puntos del plano ilimitado = sobre el conjunto de todos los puntos del plano ilimitado 7’. Los Puntos que estén en la recta ce interseccién de los planos, x y x’, son puntos invariantes de la transformacién. 6.1.1 Dermiciones. Una transformacién como la que se acaba de escribir se Mama perspectividad, 0 una transformacién perspectiva, y el Punto 7 se llama centro de la perspectividad. Si V es un punto ordinario del espacio, Ja perspectividad se Ilama perspectividad central; si V es un Punto ideal del espacio, la perspectividad se llama perspectividad paralela. La recta de interseccién de y x’ se llama eje de perspectividad. La recta de = (0 de x) que se mapea o proyecta en la recta del infinito de x’ (o de 7) se llama recta limite o de fuga de (o de x’). El punto en que una tecta de a (o de x’) corta a la recta de fuga'de « (0 de 7’) se llama punto dimite o de fuga de la recta. ‘276 GEOMETRIA PROYECTIVA Una perspectividad que sea un producto de dos o mas perspectividades!™ se llama proyectividad, 0 una transformacién proyectiva. Por ejemplo, una perspectividad de centro V del plano 7 sobre el plano 7’, seguida de tuna perspectividad de centro W’ del plano x’ sobre el 2”, es una proyectivi dad del plano = sobre el »”” Es claro que los dos planos + y x’ de una perspectividad deben const derarse como planos ilimitados, porque, en caso contrario, la corresponden- cia entre los puntos de dos planos podria no ser biunivoca. Por este motivo, un plano ilimitado se llama a menudo plano proyectivo. Se ve facilmente que una proyectividad transforma’ una recta en una - recta. La siguiente situacién especial es muy «til. Fic. 6.1b 6.1.2 Trorema. Siz es un plano dado, | una recta dada de 7, Vu punto dado que no esté en x, entonces existe un plano x’ tal que la pers © pectividad de centro V transforma la rectd | de = en la recta del infinito ” dew’. Elijase para a’ (fig. 6.1b) un plano paralelo al plano deterininado por V y 1 (pero no coincidente con él). Entonces es claro que la recta que une V con un punto P de / ser paralela al plano 7’, esto es, cortara a x’ en el infinito. 6.1.3 Derinicién. La operacién de seleccionar un centro de perspe™ tividad, , y un plano, x’, adecuados, de modo que una recta dada / de ¥9 plano dado = se mapee o proyecte en la recta del infinito de 7’ se llama | proyectar la recta dada al infinito. La operacién de proyectar una recta dada al infinito puede a menudo simplificar mucho Ja demostracién de un teorema. Damos alguitos ejemploss el lector deber4 observar Ja aplicacién del procedimiento transformar-resor ver-invertir. Estableceremos primero una de las propiedades arménicas dey un cuadrivértice completo.7 6.14 Trorema. Sea PQRS (fig. 6.1c:) un cuadrivértice completo y supongamos que PQ y SR se cortan en A, PR y SQ en B, PS y QR en G, AB y PS en D. Entonces, (PS,DC) = —1 Proyéctese la recta AC al infinito. Entonces, P’Q/R'S’ (fig. 6.1cs) es un paralelogramo y D’ es el punto medio de P’S’. Como C’ estd en el infi- nito, tenemos (P’S’,D’C’) = —1. De donde se deduce el] teorema. 6.1. PERSPEGTIVIDADES Y PROYEQTIVIDADES 277 A Pic. 6.tes 61.5 Trorema. Si las tres rectas UP;P2, UQiQ:, URiRz (fig. 6.1d,) cortan a las dos rectas OX, y OXs en Ps, Qu, Rs y Po, Qe, Ra, respectiva- mente, entonces, los puntos de interseccién de Q,Rz y Q:Ra, RiP: y R:P3, PQ: y PeQ: soit, colineales en una recta que pasa por el punto O. Fic. 6.1d, Fis. 6.1d; Proyéctese la linea OU al infinito. La figura proyectada aparece en la 6.1d;, donde P’sP’s, Q'sQ's, R'sR's son todas paralelas y P’,Q'R% y P',Q.R’s son paralelas. Es claro que los puntos de interseccién de Q',R’s Y QR, RYP's y R'P's, P'sQ’s y P’Q'1 son colineales en una recta Paralela a las P’sQ/:R’s y P’2Q'2R’s (estén'en una recta que se halla a la mitad de fa distancia entre las P',Q/sR’1 y P’sQ'2R’2). Se deduce que los278 GEOMETRIA PROYECTIVA puntos correspondientes de la figura original son colineales en una recta que pasa por el punto O 6.1.6 TzoreMa pe LOS Dos TRUNGULOS Dr Desarcurs. Los tridngulos & copolares de un plano som coaxiales, y viceversa. Sean los dos triéngulos (fig, 6.le) A,B,C; y AsBoC,, y supongamos que | B,C, y BoCs se cortan en L, Gry y Coda en M, y AsBy y AoB, en N. Supongamos que 4,42, B,B., C,C, son concurrentes en un punto 0. Proyéctese la recta MIN al infinito, Entonces, 4'sB', y A’2B’, y 4/,C’; y A’.C's también lo son. Se deduce que O'B',/O/B',"= O'A/O'A's = O'C/O'C's, de donde B’,C's y B’zC’ son también paralelas. Esto es, las intersecciones de Jos lados correspondiente de los triangulos 4’,B',C’: y 4'2B'C’s son colineales (en la recta del infinito). Se desprende que Jas intersecciones de los lados correspondientes de los tridngulos A.B.C, y AsB.C, son colineales. Esto es, los triéngulos copolares de un plano son coaxiales. on paralelas, Fic. 6.1e Supongamos ahora que L, M, N son colineales. Proyéctese Ja recta LMN al infinito. Entonces, los dos triéngulos 4’,B'C’, y A’sB’,C’s tienen SUS lados correspondientes paralelos y, en consecuencia, son homotéticos entre si, en tanto que 4’,4’,, B’,B’z, C’/xC’s son concurrentes en un punto 0". Se deduce que A142, B:B:, CyC: son concurrentes en un punto O. Esto & los tridngulos coaxiales de un plano son copolares. 6.1.7 Teorema. Hay una perspectividad que transporta un tridngulo dado ABC y un punto dado G de su plano (pero no en un lado del tridn- gulo) a un triéngulo A'BIC! y su centroide G’.6.1. PERSPECTIVIDADES Y PROYECTIVIDADES 279 Sean AG, BG, CG (fig. 6.1f) tales que corten a los lados opuestos BC, CA, AB en los puntos D, E, F. Entonces, los triangulos DEF y ABC son copolares y, en consecuencia, también coaxiales. Esto es, los puntos L, M, N de interseceién de EF y BC, FD y CA, DE y AB son colineales. Por el teorema 6.14, (BC,DL) = —1. Proyéctese la recta LMN al infinito. En- tonces, D’ es el punto medio de B’C’. Andlogamente, Z’ y F’ son los puntos Fie. 6.18 medios de C'A’ y A'B’, respectivamente. Se desprende que G’ es el centroide del triéngulo A’B’C’. Si AD, BE, CF son rectas cevianas concurrentes de un triéngulo ABC, el teorema de Céva establece que (BD) (CE) (AF) —— = +1. (DC) (EA) (FB) El primer miembro de esta ecuacién es la razén de un producto de ciertos segmentos al producto de otros segmentos, y esta razén de productos de seg- mentos tiene las dos siguientes propiedades interesantes: 1) Si sustituimos BD por B x D, y tratamos andlogamente todos los demas segmentos que aparecen, y luego consideramos la expresién resul- tante como una algebraica de las letras B, D, etc., estas letras pueden todas cancelarse o suprimirse entre si. 2) Si sustituimos BD por una letra, digamos a, que representa la recta en la que se halla el segmento y, analogamente, tratamos todos los demas ~ segmentos que aparecen, y luego consideramos la expresin resultante como una algebraica de las letras a, etc., éstas pueden cancelarse. 6.1.8 Dermiciéy. Una razén de un producto de segmentos a otro Producto de ellos, donde todos los segmehtos estén en un plano, se lama ‘na expresiénch si tiene las propiedades 1) y 2) descritas antes,280 GEOMETRIA PROYECTIVA 6.1.9 Teorema. El valor de una expresién-h es invariante ante cual. quier proyectividad. Es suficiente demostrar que una expresién-h dada tiene un valor que | es invariante ante una perspectividad arbitraria. Sea V el centro de una perspectividad y sea AB uno cualquiera de los segmentos que aparecen en la expresién-h. Designemos por p la distancia de V a AB. Entonces, pAB = (VA) (VB) sen AVB, porque cada miembro es doble del érea del AVAB. Se deduce que AB = [(VA) (VB) sen AVB]/p. Sustitiyase cada segmento AB de la expresién-h por [(VA) (VB) sen | AVB)/p. Como la propiedad (1) anterior se verifica, VA, VB, etc., se can- celan; como la propiedad (2) anterior se verifica, p, etc. se cancelan. Nos queda una expresién que sdlo contiene los senos, sen AVB, etc. Ahora bien, como . (Esta es una generalizacién del teorema de Carnot.) 6.2-17 B,B, y A:Az son dos cuerdas variables de una conica propia trazadas por dos puntos fijos A y B, respectivamente. Si Ay, B:Be sc cor- tan en C, demuéstrese que (BAx) (Baz) (CBx) (CBs) /(AB:) (AB) (Cx) (CA2) €s constante. 62-18 Una cénica propia corta a los lados BC, CA, AB de un tridn- gulo ABC en Py y Ps, Qi y Qe, Ri y Re, respectivarnente. BQ, y CR» se cortan en X, AP, y CR, en Y, APs y BQ, en Z. Demuéstrese que AX, BY, CZ son concurrentes. 6.219 E] triéngulo A’B‘C’ es circunscrito a una cénica propia; los Puntos A, B, C son los de contacto de los lados B’C’, C'A’, A'B’, respecti- vamente, Si D, E, F se toman sobre BC, CA, AB de modo que AD, BE, CF sean concurrentes, demuéstrese que A’D, BE, C’F son también concu- Trentes, 6.2-20 O es un punto variable de una cénica propia y My N son un Par fijo de puntos conjugados respecto a la cénica; OM y ON cortan a la Cénica nuevamente en P y Q. Demuéstrese que PQ pasa por un punto fijo. 6.3. La definicién Chasles-Steiner de una cénica propia. En este ar= ticulo introduciremos una definicién en alternativa de una cénica propia que obtuvieron y utilizaron Michel Chasles y Jacob Steiner en varias de sus obras. La definicién es singularmente conveniente para el desarrollo de las propiedades proyectivas de las cénicas. Principiaremos por establecer una generalizacién proyectiva del teorema 2.4.12. 63.1 Trorema. Si A, B, C, D son cuatro puntos distintos de una cénica propia, y si U y V son dos puntos de ella, entonces U(AB,CD) = V(AB,CD), donde U(A), por ejemplo, se ‘toma como la tangente a la énica en A si U coincidiera con A. (Véase el teorema 24.12.)