CAP. 12) HACES DB PUNTOS Y LINBAS SOBRE UNA CONICA 121 C(a,b,0,...) = Cv, be, es el polo del eje p de la proyectividad C(A, B, C,...) = C(A’, BY, C,...). Se dice que una proyectividad sobre una cénica C es hiperbélica, parabélica, o eliptica si tiene dos, uno, 0 ningiin elemento doble, Dejamos al lector que demuestre: (a) Una proyec- tividad entre dos haces de puntos sobre C es hiperbéliea, parabélica, 0 eliptica si el eje p inter- secta a C en puntos distintos, si es tangente a C, 0 no intersecta a C; (b) una proyectividad entre dos haces de lineas sobre (° es hiperbélica, parabdlica, o eliptica si el centro P estd fuera, sobre, 0 dentro de (. Por definicién, una proyectividad CIA,B,C,D,...) = #(Ar, Bi Cr Ds, implica (A, B,C,D,...) © 2"(As,Bs,C2,Ds,...) = (41,Bs,C1,Ds,...) donde 0’ esta sobre C pero no sobre x’. Por el teorema 2.10, siempre existe una proyectividad (As, Bs, Ci,Ds) x 2(B1, As, Ds Ci) De esto se sigue facilmente Teorema 12.2. ((A, B, C, D) x((B, A, D, C) para cuatro puntos distintos cualesquiera A, B, C, D sobre una cénica (. CONSTRUCCION DE STEINER El teorema 12.1 proporciona un método, dado primero por Steiner, para construir los pun- tos dobles, si existen, de una proyectividad superpuesta x(41, By, Cy,...) x x(Ai, Bi, Cj, ..-). En la figura 12-5, 0 es cualquier punto que no esta sobre x y Ces cualquier cénica so- bre 0. Desde O proyectamos los puntos A,, By, Cy; Ai, Bi, Ci en los puntos A, B, C; A’, BY, C’ respectivamente sobre (. Construya la linea de Pascal p para el exdgono inscrito AB'CA’ BC’ y marque sus intersecciones M, Ncon (. Entonces M, = OM-x, y N, = ON-x son los puntos dobles deseados. Para mostrar esto, considere 2(4s,Bs,Ci,Ms,N) & C(A,B,C,M,N) © p(,U,V,M,N) & C(A',BY,C,M,N) & 2(4%,Bi,Ci, M,N) que muestra a M,, N; como los puntos dobles de la proyectividad superpuesta dada sobre =, & Ai Oi M, Bi By Ny Ar Fig.125 La construecién anterior es para una proyectividad superpuesta que tiene dos puntos do- bles. Para cualquier proyectividad dada, el niimero de puntos dobles no se conoce hasta que p haya sido construida, Si el lector desea un ejemplo de una proyectividad con uno o con nin- gin punto doble, es mejor empezar con una linea x, un punto 0, que no esté sobre x, y una cénica C sobre 0, Para un punto doble, tomar por p cualquier tangente a ( excepto la que122 HACES DE PUNTOS Y LINEAS SOBRE UNA CONICA {CAP. 12 pasa por O, y para ningtin punto doble, tomar por p cualquier linea, que no sea x, y no tenga punto en comiin con C. Por supuesto, debemos volver nuevamente al problema; estamos cons- truyendo la proyectividad que tiene puntos dobles prescritos. Escoger sobre C los puntos A, B, C; A’, B’, C’, tal que la linea de Pascal de AB’ CA'BC’ sea p y proyectar estos puntos desde O sobre x para determinar la proyectividad 2(A1,ByCi,...) = 2(Ai, Bi, Ci, ...) La construccién de los puntos dobles de una involucién sobre una linea es, si existen, por supuesto muy similar a la dada anteriormente, Sean 41, A{; Bi, Bi dos pares reciprocos de la involucién dados sobre una linea x y sean A, A'; B, B' sus proyecciones sobre la cénica des- de cualquier punto O de ésta. Como x(Ai, Ai, Bi, Bf) x x(Aj, Ai, Bi, By), se sigue que C(A, A’, B, B') x C(AY, A, BY, B)y tenemos que construir solamente el eje de involueién p deter- minado por los puntos AB’.BA' y AB-A'B'. Obsérvese que la construccién de Steiner consis: te en trasferir una proyectividad dada sobre una linea a una cénica aprovechando la simplici- dad de ciertas construcciones cuando estén envueltas proyectividades sobre una cénica. Esto, a su vez, ha dado lugar @ una investigacién minuciosa sobre qué construcciones son exacta- mente posibles cuando, ademés de una regia, una cénica fija es dada. INVOLUCIONES SOBRE UNA CONICA ‘ Una proyectividad entre dos haces de puntos (lineas) sobre una cénica, que tiene un par de elementos correspondientes que se corresponden reciprocamente, es llamada una involucién sobre la cénica. En el problema 12.1 demostramos Teorema 12.3. En una involucién sobre una eénica, todo par de elementos correspondientes se corresponden reciprocamente. Considerar en la figura 12-6 dos pares reci- procos 4, A’; B, B’ en una involucién de puntos sobre la cénica C. De (4, A’, B) x (A’, A, B), el eje de proyectividad (llamado el eje de involu- cin) p esté sobre los puntos AB’. A’B y AB» A'B’ Obsérvese que p es un lado del triéngulo diago- nal del cuadréngulo completo AA'BB' inscrito en C, Denotar el tercer punto diagonal AA’. BB’ por Py sea A, = AA’-p y B, = BB'.p. Enton ces H(A, A’; Ay, P) y H(B, B'; By, P). ‘Tomar otro punto cualquiera C sobre C Si C’ es su correspondiente en la involucién, en tonces CB. C’B esté sobre p; luego (se encuen- tra fécilmente. (Comparar esto con el procedi- miento para localizar correspondientes en una involucién sobre una linea.) Ya que (B, B’, C) = (B, B, C’), p esta también sobre BC.B'C’. Su- pongamos que BB’. CC’ = P’y sea CC'.p = Ci. Luego H(C, C'; C, P’) y H(B, B'; By, P’). Pero H(B, B’; By, P); por esto P' = P, H(C, C’; C1, P), y AA’, BB’, CC’ estén sobre P, Hemos demos- Fig. 12.6 trado Teorema 12.4. En una involucién entre los puntos sobre una cénica, las uniones de pares reefprocos son concurrentes. El punto de concurrencia P del teorema 12.4 es Hamado el centro de la involucién. Obsér- vese que este punto es el polo del eje de involucién. Una involucién sobre una eénica C, se llama hiperbdliea, parabdliea, o eliptica, si es un caso especial de proyectividad sobre C, con dos, uno, o ningun elemento doble.CAP. 12) HACBS DE PUNTOS Y LINEAS SOBRE UNA CONICA 123, La figura 12-6 ilustra el caso de una involucién hiperbélica sobre C. Aqui el eje de involu- ciénp intersecta a C en dos puntos distintos M y N, los puntos dobles de la involueién, El cen- tro de involucién P es entonces exterior a la cénica. En una involucién parabilica, el eje de involucién es tangente a la cénica; de donde el cen. tro de involucién P esté sobre el eje y, en particular, esta sobre la cénica. Como una consecuen- cia, Pes un miembro de cada par reciproco en la involucién. Las involuciones parabélicas sobre una cénica no son de importancia particular y no serén consideradas aqui. En una involucién eliptica sobre una cénica, el eje no intersecta a la cénica y el centro de involucién esta por tanto dentro de la cénica. En el problema 12.2 demostramos Teorema 12.5. Si la involucién de puntos conjugados determinados por una eénica C sobre uuna linea + es proyectada sobre C desde cualquiera de sus puntos, la invo- lucién que resulta sobre C tiene como eje a x. CONJUNTOS ARMONICOS SOBRE UNA CONICA Sobre cualquier punto O tomo cuatro lineas a, b, c, d tal que H(a, b; c, d). Se cortan es- tas lineas por una eénica ( cualquiera, sobre 0, en los puntos A, B, C, D respectivamente. Aho- ra proyecte estos puntos desde cualquier otro punto 0’, sobre C, por medio de las lineas a’, b, c’, d respectivamente. Por la definicién de eénica O(a,b,¢,d) = O'(a’,b’,¢',d’) ypor tanto H(a', bc’, d'). Definimos Cuatro puntos distintos sobre una eénica forman un conjunto arménico (0, son ar- ménicos) si ellos son proyectados desde cualquier punto de la c6nica por un conjunto ar- ménico de Iineas. Dualmente, Cuatro lineas distintas sobre una cénica forman un conjunto arménico (0, son armé- nicas) si ellas son cortadas por cualquier linea de la eéniea en un conjunto arménico de puntos. Observe que (Fig. 12-7) cuando A, B, C, D sobre una cénica (son proyectados desde alguno de ellos, digamos D, los proyectores son DA, DB, DC y la tan- gente a C en D. Dualmente, sia, 6, c, d sobre una cé- nica, son cortadas por una de ellas, digamos d, las intersecciones son dea, d+b, dec, y el punto de con- tacto de d. Por el teorema 9.7 se tiene, Teorema 12.6. Si cuatro puntos sobre una cénica C son arménicos, las tangentes a C en esos puntos son arménicas. ‘Véase una demostracién en el problema 12.3. Fig. El dual del teorema 12.6, Teorema 12.6’. Si cuatro lineas sobre una cénica son arménieas, sus puntos de contacto son arménicos. es también su reciproco. En el problema 12.4 demostramos Teorema 12.7. Si A, B, C, D son cuatro puntos arménicos sobre una cénica C, es decir, si H(A, B; C, D), entonces las lineas AB y CD son conjugadas con respecto a Cc.124 HACBS DE PUNTOS Y LINEAS SOBRE UNA CONICA ICAP. 12 El reciproco Teorema 12.8. Si dos lineas conjugadas con respecto a una cénica tienen en comin con ella los pares de puntos A, By C, D respectivamente, entonces H(A, B; C, D). es también valido. En el problema 12.5 demostramos el dual del teorema 12.8, Teorema 12.8’. Si dos puntos conjugados con respecto a una cénica ( tienen en comin con ella los pares de lineas a, b y c, d respectivamente, entonces H(a, 6; ¢, d). Como una consecuencia del teorema 12.8, tenemos Teorema 12.9, En una involucién hiperbélica so- bre una cénica, los elementos dobles forman con cada par reciproco un conjunto arménico, Finalmente, usando la figura 12-8 se ve que para un par reciproco dado A, A’ de una involucién elipti- ca sobre una cénica, solamente la linea PO sobre el centro de involucién P y el polo 0 de la linea AA’ es conjugada a Ad’. Por tanto, Teorema 12.10. En una involucién eliptica sobre vuna eénica, hay uno y sélo un par reciproco que forma con un par re- ciproco dado un conjunto armé- nico. Pig. 12-8 Problemas resueltos 12.1, Demostrar que: En una involueién sobre una cénica, todos los pares de elementos co- rrespondientes se corresponden reciprocamente. Considerar la proyectividad entre dos haces de puntos sobre una e6nica C en la que: (I) Ay Bes un par reeiprocamente correspondiente; (2) el correspondiente de Cr A, B en el primer haz es D en el segundo hhaz; (8) el correspondiente de D er el primer haz es & en el segundo haz. Entonces ((A,B,C,D) = C\B,A,D,B) Por el teorema 12.2, C(A,B,C,D) = C(B,A,D,©) Yaque — C(B,A,D,0) x ClA,B,C,D) = C(B,A,D,B) requier que = C, el par de corespondiontes C, Dy, por esto, todo pr de correspondents, se correspon den reprocamente 12.2, Demostrar que: Si la involucién de puntos conjugados determinada por una eénica C sobre una linea x es proyectada sobre ( desde cualquiera de sus puntos, la involucién resultante sobre C tiene a x como eje. Bn la figura 12-9, seen A, Ai; Bl, Bi, dos pares reciprocos de ta involuciénCAP. 12] HACES DE PUNTOS Y LINEAS SOBRE UNA CONICA 125 12.3, 12.4, 2A, Ai, By...) x (Ay Ay By...) de puntos conjugados con respecto a (.. La proyee: cin de este involucién desde el punto 0 sobre C es la involucién CALA". Bs.) = CAS A,B,..) Los lados 04, 0A’ del tridngulo OAA' son in tersectados por la linea x en el par de conjugados Ay, Ai. Por el teorema 9.14, x y AA" son conju: a oe. Entonces A estd sobre el polo de x,y éste es el je de Ia involueién sobre ( como se queria Demostrar que: Si cuatro puntos sobre una cénica C son arménicos, las tangentes a C en estos puntos son también arménicas, Fig. 12-10 Sean A, B,C, D los cuatro puntos y sea X un quinto punto cualquiera sobre C; entonces, por hipeéesis, (XA, XB, XC, XD) es un conjunto arménico, Denotemos por a, 6, ¢, d las tangentes a C en los puntos 4, B C, D respectivamente, Por el teorema 9.7, con y cualquier tangente @ C, (KA, XB,XC,XD) x (uray, yee, ued) Donde (ya, y+b, y+e, yd) e8 un conjunto arménico y, por definicién, (a, 4) también lo es. Demostrar que: Si A, B, C, D son cuatro puntos arménicos sobre una cénica C, es decir, si H(A, B; C, D), entonces las lineas AB y CD son conjugadas con respecto a C. Por definicién, las lineas que provee ane A,B, C, D devde cualquier punto de C son arménicas; en perticular, enemos (DA, DB; DC, DV) donde DV es Is tangente C en D. Sean AB.DC = Wy AB-DV = V; entonces H(A, B; V, W)y la linea polar de Ves DW = CD. De esta forme, AB estd sobre el polo de CD y las dos ineas son conjugadas con respecto ac Fig. 1241126 125. 126. 327, 128. 129. 12.10, 121 1242, HACES DE PUNTOS Y LINEAS SOBRE UNA CONICA (cap. 12 Demostrar que: Si dos puntos con- jugados con respecto a una cénica tienen en comin con ella los pares de lineas a, b y c, d respectivamen- te, entonces H(a, b; ¢, d) Ya que R = ab y S= cvd son puntos conjugados con respecto a la eénica, R esté sobre la linea polar de S, y S est sobre la linea polar rde R. Luegory + son Kness con- jugadas que tienen en comén con C el per de puntos A, B y C, D. Por el teorems 128, H(A, B; C, D) y por el teorema 126, He Fig 1242 bed) Problemas propuestos Construr las lineas dables, si existen, de la proyectivided O(a, b,¢,...) = Ola be...) Ssugerencia, Cortarporvalquiecénia C sobre Oy obtener (A,B, C,..) = CUA’ BC.) Constairet tie de este proyctvidd y ir us intersecions,sexiten, con C a 0 Investig In construcin alternative de Tos puntos dobles, si existen, de la proyetivided HAY Be Ci) HAG Bi, Ch) ‘Tomar cualquier cénica C tocando a x y dibujar desde los puntos dados las tangentes a, b, sa’, Bic 4C. Obtener el centro B de laprovectividad Cla, 5, c,.)'% Cle, bc, )¥ constr las tangenes C desde B, que encuentran a x e los punts dobes pedidos, a existen Sobre una linea tomar dos pares de puntos que no separen cada uno al otro y construir el par que separa arménicamente cada uno de los pares dados, Demostrar el eorema 12.4 considerande los tringulos ABC y 4'B'C' donde A, 4'; B, B: reciprocos de Ia involuctén, (Cr son tes pares Sea C una cénica dada por, (a) cinco de sus puntos, (8) cuatzo de sus puntos y la tangente en uno de ellos, (e) tres de sus puntos y las tangentes en dos de ellos, (a') cinco de sus tangentes,(b) custro de sus tangentes yet punto de contacto sobre una de ellas, (tres de sus tangentesy los puntos de contacto sobre dos deellas; Y seap una lines que no est sobre ninguno de los puntos dados en (a), (),(e)nieoincidente con ninguna de las Lineas en (a'), (6), ('). Consteuir, si existen, las interseceiones depp y C. Sugerencia. Para (a) tomar dos de los puntos dados como eentros de proyeccién y proyecter los puntos res tantes desde cada uno de los primero puntos sobre p. Au ver, proyectar estos puntos sobre p, sobre cualquier cénica (” desde cuslquier punto 0 sobre ella. Construir, si existen, los puntos dobles de ls proyectividad so- bre C’ y proyectarlos a través de 0 sobre p. Para (b), tomar el punto dado de contacto como uno de los centeos de proyeecién, Para (c), tomar los puntos dados de contacto como los contros de prayeccién, Para (a'), (6), (c), encontrar primero los puntos de contacto de todas Ins tangentesy proceder como en el caso anterior, ‘Sea C una eénica dada por (0), (6, (°?, (e), (b),(e) en el problema 12.10 sex P un punto que no esté sobre ninguns de las lineas dadas. Construir, si existen, ls tangentes « C desde P. Demostrar el reciproco del teorema 12.4: Los pares de puntos en que una e6nica es eortada por las lineas de tun haz cuyo centro no esté sobre la ednica forman una involueién, ;Cuales son sus puntos dobles?CAP. 12), HACES DE PUNTOS Y LINEAS SOBRE UNA CONICA 17 12.13, aad. 12.8. 12.16, a2a7. 12:18, 1219. 12.20, qa. 12.22, 12.23. 12.24, 12.25. 12.26, 12.27. Demostrar que: En una involucién entre puntos de una eénice, as tangentes a la céniea en pare reciprocos se interaectan sabre el ee de involucién, Dados cinco puntos A, B, C, D, B sobre una eénica C yun punto R, construir las tangentes, si existen, a ¢ desde B. Sugerencia. Utilice los resultados de los problemas 10:3 y 12.10. Primero, encuentre los segundos puntos de interseeciGn A’, B’ de RA, RB.con C; luego construya el ejep dela involucién C(A, a’, B) = CUA’, A, B')ylos ppantos de interseccién, si existen, de p con C. Dadas cinco tangentes @ una eénica Cy una linea r, construir los puntos de interseeciin, si existen, der con C. Dados cuatro puntos P, Q, R, S, tres de los cuales no son colineales y una linea x que no esté sobre ninguno de los puntos dados, construir una cénica sobre los cuatro puntos y tangente a la lina, Sugerencia. Utilizar el teorema 11.1. Obtenga sobre x la involucién determinada por el cuadeéngulo sencillo PQRS y construya sus puntos dobles, silos hay. Cada punto doble, junto con los puntos dedos, determinan ‘una eénica que satisfacen las condiciones. Diseutir el nimero posible de eénicas. Dadas cuatro lineas p,q, r, 5, tres de las cuales no son concurrentes y un punto X que no esta sobre ninguno de los puntos dados, construir uns e6nica sobre X que tenga a las cuatro lineas como tangentes.. Dados tres puntos no-colineales P, Q. R y dos lineas x y y que no estén sobre ninguno de los puntos dados, construir una cénica que pase por estos puntos y sea tangente alas lineas dadas. Sugerencia. Usar el teorema 11.5, Sean PQ-x = B, PQy = By, construya los puntes dobles, silos hay, de la involucign (P, QB) = (Q, P, B), Sean PR-x— C, PR-y = C’y repita el procedimiento anterior. Disentirel rimero posible de c6nices. Dadas tes lineas no-concurrentes p, q, ry dos puntos X y Y, que no estén sobre ningune de las lineas dadas, construir una eénica sobre los puntos dados y tangente a ls lineas dadas Sean P, Q dos puntos euslesquiea distintos sobre una cénica C. Localizar sobre ( otro par de puntos A, B tal que H(A, B; P, @)neSon los puntos A y B dnicos? Sean A, P, Q tres puntos cuslesquera distntos sobre una eéniea (. Lecalizar sobre ( un punto B tal que H(A, B, P,Q) :Bl punto Bes inca? Sean P, Q. R, $ cuatro puntos distntos evatesquiera sobre una e6nica C. {Bajo qué condiciones existirin ppantos A, B sobre C tal que H(A, By P, Q)y H(A, BR, 8)? ‘Tomar P, @, R, S sobre C y suponiendo que satiafacen las condiciones del problems 12.22, construir el par AB. Bnunciar y resolver los duales de los problemas 12.20-12.28, Demostrar que: Pares reiprocos de una involucién hiperbélica sobre una linea son pares conjugados con res pecto a cualquier cénica que intersecte a la linea en los puntos dobles de la invelucién, Enuneiar y demostrar el reciproco del teorema 123 Sean adios cinco puntos sobre una cénica C. Construir ecbre cualquier linea x un involuci6n de puntos conjugados con respecto @ C.Capitulo 13 Geometria afin plana INTRODUCCION Los eapitulos precedentes comprendieron el mayor niimero de propiedades bisicas de la geometria proyectiva plana. En el comienzo de estos capftulos la geometria elemental del bachillerato fue tomada como la geometria fundamental. El plano proyectivo fue obtenido modificando el plano ordinario como sigue: (a) al plano ordinario se agregé una linea ideal constituida por puntos ideales, (b) la identidad de los puntos ideales y la linea ideal, como tales, fue omitida, es decir, los puntos ideales fueron tratados después como puntos ordinarios y la linea ideal como una linea ordinaria del plano proyectivo. En este capftulo invertimos el procedimiento, es decir, tomamos la geometria proyectiva plana como la geometria fundamental y, por modificaciones del plano proyectivo, obtenemos otras geometrias. Empezamos seleccionando una (cualquiera) linea del plano proyectivo y la Hamamos la linea ideal 0 la linea en el infinito 1. Cuando esta linea es quitada del plano, los puntos y lineas restantes del plano constituyen lo que Hamaremos el plano afin. La geo- metria de este plano es llamada la geometria afin plana. Al desarrollar esta geometria, nos proponemos trabajar en el plano proyectivo con una de sus Iineas (siempre sobre la hoja) denotada /... Un ntimero de teoremas familiares de geometria elemental serdn “replanteados” excepto que las figuras que los acompafian aparecerin a ratos extrafias, (El lector que insista en trabajar con figuras familiares, sélo tiene que volverlas a dibujer con L. fuera de la pagina y “a una distancia infinita”,) Dos puntos distintos A y B del plano proyectivo separan la linea AB = p en dos segmen- tos (véase el capitulo 1) AB y AB. Supongamos que hemos pasado al espacio afin escogiendo como I, cualquier linea que no esté sobre A ni sobre B, Bn el procedimiento, la linea p pierde uno de sus puntos, a saber el punto P,, en que se encuentra I.,, y asi se convierte en una linea abierta. Sobre ésta, 1a lines afin p, los puntos Ay B determinan uno y sélo un segmento, a saber el segmento AB o AB de la linea proyectiva que no contiene a Py. Este segmento seré denotado por AB. No han sido hechos cambios de notacién.en el anterior pérrafo para indicar un cambio del plano proyectivo al plano afin. Podrfamos por supuesto denotar un punto proyectivo por A* si no esta sobre /.,y el correspondiente punto afin por A y cambios similares en notacién para una linea proyectiva, distinta de lo, y la correspondiente linea afin. Esto no se hace aqui ya que todos los teoremas de este capitulo serén establecidos, por supuesto, en términos de puntos y Iineas del plano afin y, por otra parte, serd siempre claro del contexto cuando la linea p, por ejemplo, ha sido tomeda como una linea del plano proyectivo o como una linea del plano afin. LINEAS PARALELAS En el plano proyectivo dos Iineas p y q se intersectan, Cuando este punto de interseccién no esta sobre 1a, las Iineas afines p y q se intersectan; cuando este punto de interseccién sea tun punto de J, las lineas afines py q no se intersectan. Definimos: Dos lineas del plano afin que no se cortan se Haman paralelas. 128CAP. 13) GEOMETRIA AFIN PLANA 129 Nos hemos apropiado de un término familiar de la geometrfa elemental para cubrir la situa- cién familiar de dos lineas que nunca se intersectan. Ahora la geometria proyectiva es no-métrica; de donde el lector debe tener cuidado de no dar interpretacion métrica al tér- mino paralela (0 a cualquiera de los otros términos familiares que serén introducidos aqui). De esta manera no debe suponerse que las Iineas paralelas en el plano afin son siempre equi- distantes. De la definicién anterior de linea paralelas, tenemos Teorema 13.1, ‘Todas las Iineas que son paralelas a una linea dada son paralelas a otra. y Teorema 13.2. A través de un punto dado, que ho esta sobre una linea dada, se puede dibujar una y s6lo una linea paralela a la linea dada Utilicese la figura 13-1 en la cual cada una de las lineas 6,¢,d es, por definicién, paralela a la linea dada a. Evidentemente b es paralela a c y, en efecto, las lineas a, b,c, d son paralelas entre si. De nuevo, la linea x, que esté sobre X y es paralela a la linea a, es ‘inica ya que, por definicién, la linea proyectiva x debe estar también sobre P., que es el punto ideal de a. — Dejamos al lector la demostracién del Si una linea intersecta a una de dos lineas paralelas, también in- pm tersecta a la otra SEGMENTOS CONGRUENTES Considérese en la figura 13-2 el cuadran- gulo completo PQRS que tiene a l. como lado de su tridngulo diagonal. Ya que cada par de lineas afines PQ, RS, y PS, QR se com- pone de lineas paralelas distintas, al cuadran- gulo sencillo PQRS se le llama paralelogramo. Por definicién, los lados de este paralelogramo son los segmentos PQ, QR, RS, SP. Los lados restantes del cuadrangulo son las diagonales (el segmento PR y QS) del paralelogramo. Se dice que dos segmentos AB y CD son congruentes por traslacién si ABCD es un pa- ralelogramo. Por ejemplo, los segmentos PQ y RS (también, PS y QR) de la figura 13-2 son congruentes. Tenemos ahora un medio para comparar segmentos sobre lineas parale- las distintas ya que podemos determinar si dos de estos segmentos son congruentes 0 no. No existe dificultad de extender esto al caso en que los dos segmentos estén sobre la misma linea. Considérese en la figura 13-3 los parale- logramos PP'R'R y QQ'R'R cuyos lados PP* y QQ son segmentos sobre Ia misma linea o. El segmento PP’ es congruente a RR’ que, a Fig 182130 GEOMETRIA AFIN PLANA (CAP. 13 su ver, es congruente a QQ’. Pareceria natural definir entonces los segmentos PP’ y QQ’ como congruentes, es decir, Dos segmentos AA’ y BB’ de la misma linea se dicen ser congruentes por traslacién. si existe un segmeinto CC tal que AA’C’Cy BB’C’C son paralelogramos. Fig. 183 PUNTO MEDIO DE UN SEGMENTO ‘Supongamos que los puntos P’ y @ de la figura 13-3 coinciden con M como en la figura 13-4. Entonces los segmentos PM y MQ' son congruentes y a M lo llamamos el punto medio del segmento PQ’. Sea PR'-l. = De. El cuadringulo completo PMR'R define sobre ly el conjunto arménico H(Cz, Aq: Ds, B.) ¥ como (Ca, Any DayBu) & (CaM, P,Q) entonces H(C,, M; P,Q’). Hemos demostrado el Teorema 13.4. El punto medio de un segmento de linea AB es el conjugado arménico con respecto a los puntos A, B del punto ideal sobre la linea AB. Fig. 18-4CAP. 13] GEOMETRIA AFIN PLANA 131 Volviendo ahora a la figura 13-2, sea PR-QS= C. Ya que H(A.,Bu;Cu,Da), se deduce de (R,P,C.,0) % (Aw)BayCx,D.) © (8,0,0,D.) que H(R, P; Ca, C) y H(S, Q; Dz, C). Por el teorema 13.4, C es el punto medio de cada uno de los segmentos PR y QS. Hemos demostrado el Teorema 13,5. El punto de intersecci6n de las diagonales de un paralelogramo es el punto medio de cada una de ellas. Nota 1. La demostracién anterior se divide en dos partes. En la primera parte, los resul- tados H(R, P; Ca, C) y H(S, Q; Da, C) se obtienen en el plano proyectivo, es decir, sin dar un significado especial a la y sus puntos; en la segunda parte, se hace una interpretacién afin de estos resultados utilizando ciertas definiciones introducidas de antemano. Nota 2, Una demostracién sustituta es: En el plano proyectivo la figura 13-2 muestra tun cuadrangulo completo PQRS donde C, As, B. son sus puntos diagonales y C., D. dos de sus puntos arménicos asociados. Entonces, porel teorema 4.11, H(R, P: Cay C)y H(S, Q; Day C) y la demostracién se continéa como antes. Siguen ahora dos teoremas familiares que se refieren a triéngulos. En el problema 13.1, demostramos el, Teorema 13.6. La linea que estd sobre los puntos medios de dos lados de un tridngulo es paralela al tercer lado. Es natural Hamar el segmento QC, que es la unién de un vértice del tridngulo P@R con el punto medio del segmento determinado por los otros dos vértices, una mediana del tridn- gulo. Denétense por PB y RA las otras medianas de este triéngulo y sea PB-QC = G. Dejamos al lector la demostracién del Teorema 13.7, Las medianas de un triéngulo son concurrentes. Al punto G de concurren- cia se le llama centroide 0 punto medio del tridngulo, Considérense ahora en la figura 13-5 los paralelogramos sencillos PP’R'R y QQ’R'R de la figura 13-3, Sean PR.Q'R' = S, P'R-QR= T, m= ST, p= RR’, m-p= C, m-o=M, Y mila = Ma. Ya que C es el punto medio de la diagonal RR’ del paralelogramo sencillo RSR’T, tenemos H(R, R'; Cu, C). Proyectando estos cuatro puntos primero desde S y después desde T, tenemos H(P, Q’; Ce, M) y H(Q, P'; Ca, M). Luego M es el punto medio de cada uno de los segmentos PQ’ y P’Q. Hemos demostrado el Teorema 13.8. Si dos segmentos PP' y QQ" sobre la misma linea son congruentes, enton- ces los segmentos PQ’ y P’@ tienen el punto medio en comin.132 GEOMETRIA AFIN PLANA (CAP. 13 Refiriéndose a la misma figura, sea M el punto medio de los segmentos PQ' y P’Q sobre la linea o y sea o+l,,=C,. Sobre M témese cualquier linea m # 0 y sea m-l,,=M.. Sobre 1, tmese otro punto A,, y constrijyase su conjugado arménico B,, con respecto a Cx, M.,. Sea PAg* QBu=R, PAs: QBs =S, P'As + QBy = T, P'Ag+Q'Ba = R'. Luego RSR'T es un para- lelogramo completo que tiene a C= RA’-ST como un punto diagonal. Supongamos que la perspectividad (P,Q’,C.) % (Ae,Ba,Cu) envie Men Mz. Como H(P, Q'; Cu, M), entonces H(A) Bu; CayM2). Pero por construccién, H(A., Ba; Cz, Mu); entonces Mz = M.y S est sobre m. En forma andloga, demostramos que T estd sobre m y que C también estd sobre m. Ahora sea ple = CZ. Como (R’, R, C) Z (Aa, Bay Mz) envia CZ en C. (ipor qué?), C2 = Cu y p esté sobre Cx. Entonces p es paralela a 0; PP’R’R y QQ'R'R son paralelogramos; y por tanto PP’ y QQ son congruentes. Hemos demostrado el Teorema 18.9. Si los segmentos PQ’ y P'Q sobre la misma linea tienen un punto medio comtin, entonces los segmentos PP’ y QQ’ son congruentes, LONGITUD Una construccién de la proyectividad parabélica (A,B,C,Fi, Ps...) x (AC) Pus Ps-..) es ilustrada en la figura 4-4. Estudiamos ahora este diagrama en el plano afin (Fig. 13-6) tomando la linea q como L, y ejecutando ciertos cambios titiles en notacién, particular- mente para los puntos sobre o. Por construccién, AgA y Aids SoM congruentes, Ay Ar y AAs son congruentes,... Aides y AisiAve2 son congruentes, .... Entonces para todo entero positivo n el segmento AA, sobre o consta den segmentos congruentes no super- puestos. Decimos La distancia AoA, es n veces la de AgAi. Para construir AoA, cuando ApA; es dado, debemos sélo notar que H(Mz, A; Ao, 2), H(Mo, Ax; As, As), ««.y H(M@ay Ant; Anat, Aa). Fig. 13-6 Considerar ahora el problema de separar un segmento dado yA, (Fig. 13-7) en n seg- mentos congruentes cuando n es cualquier entero positivo dado. Sobre Ay tomar cualquier linea p# 0 y sobre p tomar cualquier punto B,. Entonces localizar sobre p el punto B, tal que BoB, es n veces ByBy. Al unir A y B, se encuentra I, en P,. Sea BiPa*0= Aim (= 1,2,3,...,n 1). Entonces dod: es m veces AoA _ como se pidid. Estamos ahora en posicién (véase capitulo 7) de construir sobre o un punto Ag tal que ApAq sea q veces ApA; para cualquier nimero racional q. La existencia de un punto A, sobre o tal que AoA, sea r veces AyA:, para cualquier mimero real r, se asegura por el axioma 11, capitulo 7.CAP. 13] GEOMETRIA AFIN PLANA 133 Fig. 18-7 La longitud de un segmento AA, puede definirse ahora como = |r|, donde AA, Ir| indica el valor numérico de r. Considérese un segmento AyX sobre la linea o y un seg- mento Ap Y sobre otra linea p que intersecta a o en Ao. La longitud de AX puede encon- trarse escogiendo un punto arbitrario A; sobre el segmento, Similarmente, la longitud de ApY puede hallarse escogiendo arbitrariamente un punto B, sobre el segmento. Sin embargo, estas longitudes son poco significantes ya que es imposible determinar si la unidad de medi- da AoA: sobre 0 es 0 no congruente a la unidad de medida A)B, sobre p. En la geo- metria afin, entonces, segmentos sobre lineas no pardlelas no pueden ser comparados. CONICAS En el plano proyectivo todas las cénicas son equivalentes; por esto todas las eénicas han sido dibujadas en los capitulos del 8 al 12 como curvas a las cuales en geometria analitica se les Hama elipses. Sea C una cénica en el plano proyectivo. Cuando pasamos al plano afin, (a) C no intersecta a lu y se le llama elipse, (6) Ces tangente a lu, y se le lama parabola, ° (c) C intersecta a 1, en dos puntos distintos y se le lama hipérbola, CENTRO Y DIAMETROS El polo, con respecto a una cénica dada ( de le es llamado el centro de C. El centro C de una elipse (Fig. 13-8) es un punto interior; el centro C de una hipérbola es un punto exterior; el polo, con respecto a una parabola, de /., es su punto de contacto C. con la curva. Rigurosa- mente hablando, una pardbola no tiene centro pero a menudo lo hallamos conveniente hablar de Cz como si fuera el centro. A las elipses y a las hipérbolas se les Hama cdnicas centrales. Cuando se da completamente la eénica, se construye el centro como la interseccién de las lineas polares de dos puntos cualesquiera sobre |, (véase el capitulo 9); cuando la cénica no se da completamente, la construccién mas sencilla [véase el problema 9.3(b)] requiere conocer tres de sus puntos.134 GEOMETRIA AFIN PLANA [CAP. 13 Fig. 138 Para una cénica central, toda linea a través de su centro se llama un diémetro de la cénica. Se sigue fécilmente que cada didmetro de una e6nica central es la linea polar, con respecto a la cénica, de algin punto sobre! Como el centro de una elipse es un punto interior, todo didmetro encuentra la elipse en dos puntos distintos, es decir, es una secante. Como el centro de una hipérbola es un punto exterior, un diémetro puede ser una secante, puede no encontrar la hipérbola, o puede ser tangente a la cénica en una de sus intersecciones con 1s. Estas dos tangentes son lamadas asintotas de la hipérbola. Aunque las asintotas son did- metros, ellas tienen ciertas propiedades Gnicas. Como un ejemplo, las asintotas separan aquellos diémetros que no encuentran la hipérbola de aquellos que son secantes. Para una parébola, 1a linea polar de todo punto sobre /., es una linea sobre Cx. Por esto podemos decir que toda linea sobre el centro de una cénica es un didmetro. Sélo en el caso de la parébola los didmetros son paralelos el uno al otro. CONSTRUCCIONES ‘Todas las construcciones de los capitulos 8-10 son vélidas en geometria afin ya que es posible escoger [., de tal manera que no esté sobre cualquier punto dado ni caer a lo largo de cualquier tangente dada. Por otra parte, de una construccién proyectiva se sigue una varie- dad de construcciones afines escogiendo 1, apropiadamente. Bjemplo 13.1. Considerar el problema 10.5; Dados los puntos Ay, As, Ay As y Ia tangente ty, constrit otro punto sobre Ia eénica. Bacogiendo lg como se indica, resltan las siguientes construcciones (1) Dados el centro y tres puntos de una pardbola, construir otro punto sobre la e6nica ‘Tomar le a lo largo de ty (2) Dados tres puntos sobre una hipérbola, la tangente en uno de estos puntos y el punto ideal sobre una asintota, construir otro punto sobre 1a cénica. ‘Tomar ta sobre As (8) Dados dos puntos sobre una hipérbota, la tangente en uno de estos puntos y los puntos ideales sobre las asintotas, construit otro punto sobre la cénica, ‘Tomar ly sobre As ¥ Au (4) Dados tres puntos y una asintota de una hipérbol 3, construir otro punto sobre la eéniea. Tomar forty sobro Arg (5) Dados dos puntos, uns asintota y el punto ideal scbre la otra asintota de una hipérbole, construr otro punto sobre la cénice Tomar le sobre Aya y As. (6) Dados tres puntos sobre una hipérbola, la tangente en uno de estos puntos y el punto ideal sobre una asintota, construir el punto ideal sobre la otra asintota ‘Tomar te sobre Ay a lo largo de ley,CAP. 13) GBOMETRIA AFIN PLANA 135, DIAMETROS CONJUGADOS Sean Py Q puntos distintos sobre una cénica y llémese al segmento PQ una cuerda de la conica. Considérese ahora un sistema de cuerdas paralelas de una cénica dada. Las lineas pro- yectivas que contienen a estas cuerdas estan sobre un punto comin, digamos Aj, y la linea polar de A.,con respecto a la cénica pasa por el punto medio de cada cuerda. Asi, tenemos Teorema 13.10. Los puntos medios de un sistema de cuerdas paralelas de una cénica C estan sobre un didmetro de C. Como consecuencia, la construceién de un diémetro de una eénica dada se reduce a unir los puntos medios de dos cuerdas paralelas distintas de la cénica mientras que la construccién del centro se reduce a intersectar dos didmetros cualesquiera distintos de la cénica, Considere en la figura 13-9 la cénica central C y uno cualquiera de sus diémetros d. Sea dsbe= Dg, Ahora la linea polar de D.,con respecto a ( generalmente es otro didmetro d’ de C. (El lector verificard que esto es cierto ex- cepto cuando d es una asintota de una hipérbola, Para no tener que dar todas c estas excepciones, trabajaremos en lo sucesivo con la siguiente convencién: Siempre que se dé una tangente arbi- traria oun didmetro de una cénica cen- 1 tral, la tangente 0 didmetro no debe ae ser tomado como asintota de una hi- pérbola.) Sea d's! = D. Entonces, la linea d, con respecto a C, es conjugada de d’. (,Por qué?) Como un resultado, a dy d' se les lama pares de diémetros conjugados de C. Continuando de esta manera, los didmetros de pueden so- pararse en pares conjugados. Suponga ahora que empezamos con el didmetro d’. Se deja al lector mostrar que su con- jugado es d y, de esta forma, se demues. tra el Teorema 13.11. Los pares de didmetros conjugados de una eénica central C son pares re- ciprocos de una involucién sobre el centro C de C. Cuando C es una elipse, la involucién del teorema 13.11 no tiene elementos dobles y se Hama eliptica. Cuando C es una hipérbola, la involucién tiene dos elementos dobles distintos (las asintotas) y se lama hiperbélica. Dejamos al lector la demostracién del Teorema 13.12, Cualquier paralelogramo inscrito en una c6nica tiene dos didmetros de la cénica como diagonales y lineas paralelas a un par de didmetros conjuga- dos como lados. Fig. 189 HIPERBOLAS En esta seccién estudiamos los teoremas concernientes con las asintotas de una hipérbola. Muchos de éstos son originados simplemente como interpretaciones afines de teoremas pro- yectivos. Por ejemplo, el teorema 9.13’ da origen al Teorema 13.13. Si una tangente a una hipérbola intersecta a las asintotas en Ay A, enton- ‘ces dos lineas paralelas cualesquiera sobre A y 4’ constituyen un par conju gado, ya que el centro de la hipérbola y cualquier punto sobre /., constituyen un par conjugado.136 GEOMETRIA AFIN PLANA (CAP, 13 De nuevo, el teorema del problema 9.30, da Teorema 13.14, Todo par de didmetros conjugados de una hipérbola separan arménica- mente las asintotas. En el problema 13.8, demostramos el Teorema 13.15. Si la tangente a una hipérbola en M encuentra las asintotas a y a’ en Ay A’ respectivamente y si X es cualquier punto de la linea sobre M y paralela a a’, entonces la linea polar x de X esta sobre A’ y es paralela a AX. Considérese ahora en Ia figura 13-10 la hipérbola ( con asintotas a y a’. Sean dy d’ un par de didmetros conjugados que encuentran 1, en De y Di, respectivamente. Sobre Dz, témese cualquier linea o que encuentra a C en Py Qy las asintotas en Ay A’. Entonces M = ond es el punto medio de la cuerda PQ y, por el teorema 13.14, es también el punto medio del seg- mento AA’, Por el teorema 13.9 los segmentos APy Qa’ son congruentes, Hemos demostrado el Teorema 13.16, $i una cuerda PQ de una hipérbola encuentra las asintotas en A y A‘, en- tonces AP y QA’ son congruentes. Fig. 18-10 Como un caso especial del teorema 13.16 o por una prueba independiente, tenemos el Teorema 13.17. El punto de contacto de una tangente a una hipérbola es el punto medio del segmento de la tangente interceptada por las asintotas. Problemas resueltos 13.1. Demostrar que: La linea sobre los pun- tos medios de dos lados de un tridngu- lo es paralela al tercer lado. Considerar en Ia figura 15-11 el tridngulo POR y 508 PQsl = Awe QRele = Bon RPole = Ca, Denotar por K el punto medio de PQ y por L el punto medio de RP. Como HIP, @ Aw KY HUP, R; Cy, L), 56 sigue que K y L son puntos correspondientes en la perspectividad P,Q Any oo) FB PBs Cay 2) Fig. 13-1CAP. 13] GEOMETRIA AFIN PLANA 137 13.2. 13.3, Entonces K, L, Bason colineales y, por tanto, KL es paralele a QR. Este teorema (afin) se puede obtener también del toorema proyectivo enunciado en la nota correspon diente al problema 4.2, tomando @ la como Ia linea que corta los lados del triéngulo. Pues, entonces, los con. jugados arménieos de las intersecciones son los puntos medios de los lados y la unin de dos puntos medios ‘eualesquicra, que son colineales con el punto deal sobre el tercer lado del triéngulo, es paralele a ese lado, Dada una linea o que no pasa por ningan vértice del tridngulo dado PQR. Sean PQ.0 = A, QR:0 = B, RP-0 = C, ola = Ow y sea T otro punto cualquiera sobre o. Si A’, B,C’ son puntos sobre o tales que cada uno de los segmentos AA’, BB’, CC’ tienen a T como punto medio, méstrar que las lineas PB’, QC’, RA‘ son concurrentes. Fig. 182 Utilzar Ia figura 18-12, Sea PB’. RA’ = Sy consideror el cundringulo completo PQRS. Sus pares de lados opuestos intersectan a o en tres pares reiprocos de una involucién sobre o en la eual A, A'y B, B' son ddos de estos pares. Ya que esta involucién tiene a T, Ow como puntos dobles, el terce par es C, C.. Entonces, QS = C'y QC’ esté sobre $ como se queria. Este teorema afin es un derivado del problema de construir en el plano proyectivo los compaferos de A. B, C en a involucién hiperbélica sobre o que tiene como puntos dobles a T'y U de donde el teorema re- sulta al tomar a U como el punto ideal sobre o. Si los puntos medios de los lados de un tridngulo PQR son P*, Q, R respectivamente, mostrar que HPP, PRP, PR) Uitlizar la figura 13-19 en donde PRL = Cay Por el teorema 136, PR’ es paralela @ Pity, por tanto, también lo es a Cue Ahora (@PP,PRPOPR) = PRC.) {¥ por construccidn, @ es el punto medio del seginento PR. Entonees H(P, R; Q Ca) ¥ Fig. 18418 ssi H(P'P, P'R; PQ, P'R’) como se deseaba,13.4. 138.5. 13.6. 13.7. GEOMETRIA AFIN PLANA [CAP. 18 Demostrar que: Si un didmetro d de una cénica ( la encuentra en puntos las tangentes trazadas a ( en estos puntos son paralelas. Sead el dimetro que encuentra a C en los puntos Py R Como d = PR esté sobre C, el centro de C, su polo con respecto a Ces algin punto, @ saber Aj, Sobre ly. Pore teorema 9.9, las tangentesa Cen Py Q eatin sobre A. Y, por tanto, paralelas, Cuando C es una parabola, una de sus tangentes sobre cualquier punto de les la misms lei por esto dos tangentes ¢ una pardbola nunea son paralelas. Demostrar que: Si AA’ es una cuerda cualquiera de una eénica C cuyo punto medio estd sobre un didmetro d de C, las tangentes a Cen Ay A’ se intersectan sobre d. Sean AA'sd = Ay Ad'sly = Aai entonces H(A, A; Aw, A’) y des Ia linea polar de Ay con respecto & C. (Por qué?) Denotar por T el punto de interseccién de las tangentes a Cen Ay A’. Luego T'es el polo con respecto a C de AA’ y, por el dual del teorema 99, esté sobre d Sean C una cénica y P un punto fijo, no sobre una asintota cuando C es una hipér- bola. Mostrar que los puntos medios de las cuerdas de C sobre Pcaen sobre otra cénica. Supongamos que Ces una cénica central con centro C. Sea x cualquier everda sobre Pque encuentra Con @ @’y sea x-be = Xp. (No excluimos P sobre C, y, por tanto Q = P) La linea polar de Xq con respecto a C etd sobre el punto medio del segmento QQ yestéademés sobre C. Tomax variable sobre P; entonces por el teorema 9.10, Pe) & bel%e x Oe) y asi Pls) = Cle’). Ya que P no esté nunca sabre una asintata en el easo en que C sea una hipérbola, PC ‘nunca es auto-cortespondiente y esta proyectividad nunca es una perepectividad, Luego por definicién, -Eex'estd sobre uns enice que estd también sobre Py sobre C. Dejamos al lector la consideracién del ess0 en que ( es una pardbola. Dadosel centro C de una eénica ( y tres de sus tangentes, dos de las cuales no son para- lelas, construir tantas tangentes adicionales como se deseen. Denoter las tangentes dadas por a,, 03, 0 (Fig. 3-14). $60 4,+ le = Aut ¥ CAaut = Cn = 18,9) Sobre Ayt existe una segunda tangente a C; llémela a:. Ahora Is lines polar de Ax esté sobre Cy ademés sobre los puntos Aj, Ay de las tangentes ay, a2. Sea A,Az+ln = Bue. Entonces como H(C, Bai Ay, Aa) también H(¢,, bes a1, 03), ¥ ap puede ser construide. Bn forma similar, la tangente ay paralela a a) puede ser construida y por tanto tangentes adicioneles se pueden obtener utilizando el teo- ema de Brianchon. Fig. 18-4CAP. 13} GEOMETRIA AFIN PLANA 139 13.8, 13.9. 13.10, 13.1. 13.2. ‘Demostrar que: Si le tangente a una hipérbola en M intersecta las asintotas ay a’ en A y A' respectivamente y si X es un punto cualquiera de la linea sobre M y paralela a a’, entonces la linea polar x de X esta sobre A’ y es paralela a AX. Recurrir ala figura 13-15 en la cual m es Ia tangente en M y X es un punto cualquiera sobre MA’, Sea AX: = Ba, Probaremos que x = A’Ba Las lineas ABw y A’Bo son un par conjugado con respecto a la hipébola por el terema 13.18, mientras «ue las lineas 4’B y MA’, son un par conjugado ya que ’ es el plo de MA‘. Entonces el poo de A’Ba es ABar MAY, = Xo, lo que es lo mismo, la lines polar x de X es 4’Bo. Fig. 18-15 Problemas propuestos ‘Una de las Kneas del plano proyectivo se simboliza por fy. Sien este plano se dan una linea p que intersecta ala en Pa, cuatro puntos distintos A, B, C, D sobre p, y un punto que no esté sobre ninguna de las lineas, (a) construi Ia linea q sobre Ey paralela a p; (@) construir el punto F tal que ABEF sea un parelelogramo; (c) construir el punto G tal que ABGB sea un paralelogramo; (d) dar dos demostraciones de que E es el punto medio del segmento FG; (@) dar un procedimiento para demostrar que los segmentos AB y CD, son congruentes 0 no. Demostrar que: Si PQRS es un paralelogramo, entonces el cuadréngulo completo PQRS tiene dos de sus puntos diagonsles sobre le inversemente. Demostrar que: El conjugado arménico de la mediana sobre un vértice de un triéngulo, eon respecto a los dos lados sobre ese vértice, es paralelo al tercer lado. Demostrar que: Los puntos medios de los segmentos que resultan de intersectar dos lineas parallas dadas ‘ry s con todas ls lineas no paralelas a ella estan sobre uns lines paralela ary s ‘Sugerencia, Sobre cualquier linea p no paralela a r y ¢ sean r-p = R, s-p = S, RS-ly = Lg sea Tel panto medio del segmento RS. Examinar las proyecciones desde rs de estos puntos sobre otras lineas no40 1314, 13.15. 13,16, 13.17 13.18. 13.19. 13.20. 13.21 13.22. En los 13.23. 13.24. 13.25. 13.26. 13.27. 13.28. GEOMETRIA AFIN PLANA (CAP. 13 En la figura 13-11 tomar LAw-@R = M y demostrar que: La longitud del segmento que une los puntos me- dios de dos lados de un triéngulo es un medio de la longitud del tercer lado, Demostrar qu: Si tres puntos distnioe Ay, Ay, Ay sobre una linea sy tes puntos dstntos Aj, AS A tobre ung linea y son talee que Ay, Ade Ay Ay Son paralelasy AgAy A Ay som partls, tambien lo son AAS AAS Demostrar: El teorema 13.7 En Ia figura 9.1, tomar (2) PT = lay verificar que C es una elipse, P, es su centro, p y XX, son diémetros, (b) PK = lay locslizat el centro de C. (c) KT = le y verificar que Ces una hipérbola, Localizar eu centro y sus asintotes (2) ng detal manera que C sea una paribola Para una céniea central C y Pan punto sobre ly, obtener también la interpretacin afin de (a) La definicin de linea polar: — Si un didmetro d esté sobre los puntos medios de eada una de las dos cuerdas paralelas AA’ y BB’ de C, entonces AB.A'B' y AB'-A'B estin sobre d. (8) Bl teorema 9.1: — La linea polar de todo punto sobre con respecto a Ces un diémetro de C. (e) Bl teorema 9.3: — Si, desde un punto sobre un didmetro de C, se trazan dos tangentes ay a' a C, en- tonces el conjugado arménico de d con respecto a ga’ es paralelo al sistema de cuerdas cuyos puntos rmedios estan sobre d. (a) Bi teorema 9.4: — Si, desde un punto sobre cualquier didmetro d de C, dos tangentes @ ( pueden ser trazadas, entonces d encuentra la cuerda de contacto de estas tangentes en su punto medi Demostrar que: Los puntos de contacto de dos tangentes paralelas @ une c6nica estin sobre un diémetro. Bn cada uno de los problemas 13.16(a), (), (@) determi existe Respuesta parcial. (c) PM y PN; determinar otros dos pares. 7 un par de didmetros conjugados cuando tal par Demostrar que: Si une eénica es encontrada por dos de sus tonces PQRS es un paralelogramo. iametros en P, Ry QS respectivamente, en Demostrar: El teorema 13.12. Demostrar que: Si, desde cada uno de dos puntos sobre un diémetro de uns eénica, dos tangentes (ey a’, yb’ se pueden trazar, entonces las Kneas (a-b)(a'-b') y (a-b'(ab) son cada una de ellas paralelas al sist. mma de cwerdas cayos puntos medios estin sobre d, problemas 13.23-13.28, ( es una cénica central. Demostrer que: $i Pes un punto sobre un diémetro d de C, entonces le linea polar de P es paralela al did ‘metro conjugado a’ . Sugerencia. Tomar dsl = Duy d’-le = Dig; entonces Dies el polo de d. Demostrar que: Si d yd’ son un par de didmetros conjugados de C, entonces (2) os paralelo al sistema de ceerdas parelelas cuyos puntos medios estan sobre d(). Sen d, cualquier didmetro de C, que cortae C en Dy D'y sean ey e' un par de diimetrosconjugados de C Mostrar que lineas sobre D y D' paralelas ne y e' se encuentran en Fy G sobre C y que FG es un diémetro aC. ‘Sean Ayy A’ los puntos de contacto de tangentes paralelas a y a ( y sea Bel punto de contacto de una ter cera tangente b a C. Mostrar que a+b esid sobre el didmelro paralelo a A’B y a-b esté sobre el didmetro paralelo a AB. Sean Ay A’ dos puntos de contacto de tangentes paralelas by b'@ C, sea b otratangente a C,y sead el dit metro de C sobre a+b, Localizar el punto de contacto B de b Si los didmetros conjugados dy d' de C intersectan a C en A, By D, Erespectivamente, y si Pes otro punto cualquiera sobre C y q es cualquier linea paralela a d', mostrar que R= AP.q y $= BP.g son puntos con- jugados con respecto aC.CaP. 13) GEOMETRIA AFIN PLANA ut 13.29, 13.30, 13,32, 13.33. 13.34. 13.35. 13.36. 13.37. 13.38, Si Mes el punto medio de una euerda PQ de una pardbola y si O es el polo de PQ, mostrar que Ia pardbola intersecta al segmento OM en su punto medio Dadas eustro tengentes @ una paribola C, construir el didmeteo conjugado a una de las tangentes dadas Sugerencia, Una quinta tangente es ly Dados un didmetro d de una parabola y, (a) tres de sus puntos, 0 (b) tres de sus tangent rabola. -onstruit I pa Demostrar que: Sidy des un par de diémetros conjugados de una hipérbola, una intesecte ala hipérbola y la otra no, Un parlelograme tiene sus ladosparalelos las asintotas de une hipérbolaC. Si una de sus diagonales es tana euerda de C, mostrar que la otra diagonal es un dismetro de C Sugerencia. Vase el problema 10.25, Demostrar que: Bl punto de contacto es el punto medio del segmento sobre la tangente 8 una hipérbola de terminado por la interseccién de la tangente con las asintotas. La Linea p, que esté sobre un punto dado A y que es paralela @ una asintote,intersecta a la hipérbola en P ya la linea polar de A en B Mostrar que P es el punto medio del segmento AB. Dadas dos tangentes, el punto de contacto de uns de ellas y una asintota de una hipérbola, construir: (a) el punto de contacto de la segunda tangents; (b) In tangente desde cuslquier punto de la asintota; (c) el punto ideal sobre Ia otra asin (d) el centeo de la hipétbola; (e) In tra asintota Demostrar que: La cénica de los nueve puntos de un euadringulo con respecto a ly esté sobre lo vértices del tridngulo diagonal y sobre los puntos medios de los seis segmentos determinados por los vértees del cua 2) tres puntos colinesles distintos. Ya que \ 2 0, Qutn) oy (u+82) = (y+v2) son el mismo punto. Considere (y = v2) = (y) + (2) con (9) y (2) fijos y » un parémetro real. Cuando » = 0, (y + v2) es el punto (y); cuando » x4 0, (y + »2) es un punto distinto de (y) y de (2); cuando » # v2 ¥ vi+v2 4 0, los puntos (y), (2), (y + m2), (y + v22) son dis- tintos y colineales. Ademés, si W = Z estd sobre la linea YZ de (6) se tiene que (w) = (y) + »(2) para algin valor de ». Aceptemos la convencién: (y + +2) = (z) cuando » = e. Te- rnemos el Teorema 15.4. Si (y) y (2) son puntos distintos entonces, cuando y varia sobre el sistema de los niimeros reales extendidos (el conjunto de todos los mimeros reales junto con el «), (y + v2) define el haz de puntos sobre la linea determina- da por (y) y (2). Dualmente, tenemos el Teorema 15.3’. Si (Y| y (Z| son lineas distintas, entonces xY + Z, donde r, son ntimeros reales cualesquiera distintos de cero, es otra linea sobre el pun- to determinado por (¥] y [2]. y Teorema 15.4’. Si [Y] y {Z} son lineas distintas entonces, cuando » varia sobre el sis- tema extendido de los ntimeros reales, [Y + vZ] define el haz de lineas sobre el punto determinado por [Y] y [Z]. Bjemplo 15.4. (a) Locelizar el punto de interseocién 7 de la linea r, que une los puntos @, 1, —2) y (1, —6, 8), y la linea 5:21, — Bx —4zy = 0. (6) Hallar la ecuacién dela nea p sobre et punto R:(1, 2, 2) y el punto de interseccién de las lineas 2, — xy + xy = Oy 8 + 2s = 0. (a) Ya que T esté sobre r, tenemos 7:(3+ A, 1— 5d, —2 + 3A) para algin valor de A. Ya que T esté también sobre 5, entonces 2(3 + 2) —3{0 — 6x) —4(—2-4 Ba) = + B= Oy A= —II/5, Ast, 1: (B—11/5, 1+ 11, ~2 83/5) = (4/6, 12, 48/5) 0 T:(4, 60, —4), El problema también puede resolverse eseribiondo la eeuacién de r y resolviéndola simalténeamente con Ie de s. (e) be + sugcidn de cualquier linea concurrente con las dos lineas dadas es de la forme (2 + 5x)x, + (9 + 2x2 cs = 0. Ya que B esté sobre la linen deseada, HELE (B+ M)B4+ 1-2) = 18+ yo xze Entonces (2 + 5-2)x, + (3-4 22)xy + Tay = 12s + 42 + Tay = 0 es la euacion de p ‘Véase también el problema 15.3. DEMOSTRACIONES ANALITICAS ‘Suponga que estamos interesados en los puntos distintos sobre una linea. Por el teorema 15,3, podemos tomar a (y), (2), (y) + (2) como tres puntos arbitrarios sobre una linea, Cuando se necesitan més de tres puntos la forma més sencilla de tomarlos es la siguiente 6), ©, 0) + a2), () + AG), .... (y) + (2). Cuando sélo se necesitan tres puntos, es posible una simplificacién. Considere el conjunto P:(y), Q:(2), R:(w) = My) + (2). Ahora A(y) = (iy) es otra representacién del punto P y y(2) es otra representacién del punto Q. De esta forma es siempre posible escoger nuevas representaciones (y*) = (xy) para Py (2*) = (uz) para @ tal que : (w) = (y*) + @*) @.con (y*), (2*) como antes y (w*) = (—w) tal que (u*) + (@*) + (w*) que es mejor para nuestro propésito. (0,0,0)160 GEOMETRIA ANALITICA PROYECTIVA [OAP. 15 Ejemplo 15.5. Dados los puntos colineales P:(y) = (2 1, —8), Qe(2) = (4, —2, 4), Relu) = (10, —1, 0) del ejemplo 15.3, escoger para Py Q representaciones (y*) y (z*) tales que R:(y* + 2"). +4 = 10 ‘Tomemos Ay) + p) = We) y resolviendo ) —2x = —1 encontramos ) = 2 » = 3/2. Entonces B+ 4p = 0 = (2/2) = (6 —8, 6) como las representaciones pedidas. QW) = 3H y eM o Podemos, entonces, empezar una demostracién suponiendo que los tres puntos P:(y), Q:(2), R:(w) son colineales y que sus coordenadas satisfacen (i) @) = @+@ = Wt) © satisfacen Gi) @+@+) = 9,0 =0 En forma similar, si P, @, R, $ son cuatro puntos, tres de los cuales no son colineales, se sigue de (8) que se pueden escoger respectivamente representaciones (y), (2), (u), (w) tal que (ii) @) +) + (@) + (w) = (0,0,0) = 0 W+@+~% o tal que (iv) (w) Con respecto @ Iineas, los duales de (i)-(iv) se obtienen fécilmente. Ejemplo 15.6. Demos un tridngulo ABC y un punto P que no esta sobre ninguno de los vérties. Sean AP-BC = A", BP-CA = B, CP.AB = C’; BC-B'C = A", CA.C'A' = B", AB.A’B! = C'". Mostrar que A", B", C” son colineales. Fig. 15-1 ‘Tomar A:(a), B:(b), C:e) tal que Pla + b +e); entonces A':(b + c), Ble + a), sobre BC, sus coordenadas son de la forma \(8) + y(€); como A” esté ademés sobre B, C’, solamente podemos ‘Ab —e). Similarmente, B”:(¢ — a) y C":(a — 6). Lacolinealidad sigue de a” dye by ey bs es, BY) = lq-a, %~ a eno 0 o aby aa~ by ay bs © AN EBM EC" = (be) + (0-0) + (a-b) = 0.CAP. 15) GEOMETRIA ANALITICA PROYECTIVA 161 En el problema 154 verifieamos el axioma 6, capitulo 7, (teorema de los dos tridngulos de Descartes). En el problema 15.5 damos otra demostracién y en el problema 15.6 analiza- mos miltiples triangulos perspectivos (véase el problema 3.34). El axioma 7, capitulo 7, es verificado en el problema 15.7. En el problema 15.8 demos. tramos el Teorema 15.5. El conjugado arménico de D(a) + (6) con respecto a Ax(a) y B:(b) es Ex(a) —X(6). Dualmente, tenemos el Teorema 15.5'. El conjugado arménico de d:[A] + {B] con respecto a:{A] y b:(B] es e:{A] —AB. Bjomplo 15.7. Dados los puntos colineales A:(a) = (1, 2, 9), Bild) = @, ménico D de C con respecto a Ay B. 2), C:{e) = @, 1, 0) localizar el conjugado ar- Si Ces dado por la representacién (a) + n(b) entonces, pore teorema 16.5 una representacién de D es (o) — r(b. vem Tone () = 00) +60) y mania [te A= 1 pares 2.8 tenons 656) + B= 0+ 10 tom =o y D(a) ~ 406) = (—2, 1/2, 6). Otra representacién es D:(~4, 7, 12). RAZON DOBLE Sobre la linea determinada por A:(a) y B:(b), tome cuatro puntos P:(a) + a(b), Q:(a) + 8(b), R:(a) + 7(b), $:(@) + (6). Definimos la razén doble de estos puntos en términos de los pardmetros a, 8, 7, 5, como (P,QRS) = (@Bin8) = 9) Ahora no existe diferencia esencial en forma entre (9) y (6), del capitulo 2. En efecto, si A, B, C, D estén a una distancia a, b, c, d, respectivamente de un punto fijo O sobre la linea, entonces (6) viene a ser ee ne _ _ (e-aylad- (A,BC,D) = Zp-Bo = d=a\le—5) Como un resultado, podemos ver que los teoremas 2.2-2.6 se satisfacen aqui sin ningin cam- bio. Ademés, cuando los puntos P, Q R se mantienen fijos mientras que S— B (es decir 5), obtenemos (QR,B) = G— Finalmente, si R= A, $= B, P:(a) + a(b), Q:(e) — a(b), (es decir, H(P, Q; A, B) por el pro- blema 15.8), entonces (P, Q; A, B) = —1. PROYECTIVIDADES El teorema fundamental, capitulo 7, es equivalente a Una proyectividad entre dos haces de puntos esté completamente determinada por tres pares distintos de puntos correspondientes. y en seguida verificaremos esta forma del teorema, Empezamos con la proyectividad més primitiva — la perspectividad elemental entre uh haz de Iineas sobre un punto Py el haz de puntos obtenida cuando el haz de lineas es cortado por cualquier linea p, que no est sobre P. Debido al dual de (i), pagina anterior,162 GEOMETRIA ANALITICA PROYECTIVA ICAP. 15 podemos seleccionar tres lineas cualesquiera q, r, s sobre P y escoger representaciones tal que g:[¥], r:{Z], s:[Y¥+Z). Sean p-q =Q, por=R, pes=S. Como QR, S son colineales, podemos escoger representaciones [véase (i)] de modo que Q:(y), R:(), S:(y +.2). Tenemos entonces Q sobre g de modo que {Yu} = 0, R sobre r de modo que {Zz} = 0, § sobre s de modo que ((¥+Z)(y+2)} = (Yy)} + (Z2} + (¥z} + (Zy) = (Ye) + (Zy} = 0 Sea t:|Y + AZ} cualquier otra linea sobre P. Necesitamos mostrar que pst = T:(y + 22). Esto se sigue puesto que ((X+AZ\ytd2)} = (¥y} + M(¥2} + Zy}) + MZz} = 0 Unir ahora los puntos @ R, $ a cualquier otro punto W ~ Py que no esté sobre p, y cortar estas uniones por cualquier nea w que no esté sobre Wen los puntos (y'), (2'), (y’ + 2’) respectivamente. Dejamos al lector mostrar que la unién de cualquier otro punto (y + 2) sobre py Wes cortada por w en el punto (y’ + Az’). Luego W@W +2), UF22) RWW) DY +2), (Y +22) ‘Ademés, es claro que de otra proyeccién y otra seccién resultaria ().(@, (U2), (U+22) = (UD, (0 +2"), (U7 +22”) y asi WW) +2), (Yaz) x (YE) (YH), (YY a2) Es claro de la anterior discusién que eri una proyectividad entre dos haces de puntos (A,B,C,D,...) = (A',BC,D%,...) sobre lineas distintas o sobre la misma linea, los objetos pueden arreglarse en tal forma que el pardmetro que define cualquier punto, a saber P, en términos de Ay B sea el mismo para definir P’, el correspondiente de P en términos de A’ y B'; resumiendo, una proyectividad preserva pardmetros. Se sigue, entonces, que las proyectividades preservan razones dobles de cuatro puntos, es decir, (P,0,8,8) = (PQ, RS) implica (P.QR,S) = (P,Q RS) Recfprocamente, suponer que (P, Q; R, S).= (P*, Q; R', S'). Siempre podemos escoger representaciones R:(r), $:(s) de modo que Q:(r-+ 8);y R’:("), S':(6") de modo que Q’: ("+ 5). Suponer que P:(r + s). Como (P,Q R, S) = (, 1; 0,0) = A, entonces (P,Q; R, 8) = Ay Pile’ + ds"). De este modo Ia correspondencia entre P, @, R, Sy P,Q R’, S’ es. una proyectividad y tenemos (P,Q58,8) = (P implica P.QR,8) x (P S) RS) SEPARACION Sean A:(a), B:(b), D:(a + db), B:(a + xb) cuatro puntos distintos sobre una linea, De- finimos El par de puntos D, E separan el par de puntos A, B si y sdlo si X/u < 0. La verificacion de los axiomas 8 y 9, capitulo 7, es ahora inmediata. Para el axioma 10, capitulo 7, considerar los puntos A:(a), B:(b), D:la + b), Ey:(0 + 1b), Eax(a + vb) colineales y distintos. Estamos dando () D, B, separan A, B de modo que rf < 0, (i) B, By separan A, EyCAP. 15) GEOMETRIA ANALITICA PROYECTIVA 163 Para (ii) es necesario expresar las coordenadas de B, F, como combinaciones lineales de las coordenadas de A y E,. Encontramos que B:(a—1(a+ yb) Ey (« +a +ub)) ny y asi —p)/v < 0. Estamos obligados a demostrar que D, Ez separan a A, B; es decir, que d/ < 0. Ya que M/u < 0,02 > 0,4 < 00d < 0, y > 0. Supongamos que d > 0, w < 0; entonces (» — u)/ < 0 implica que » < 0, |»| < |u| y asi d/% < 0. Supongamos que \ < 0, » > 0; entonces (v — n)/r < 0 implica que » > 0, » < wy asf A/y < 0. De este modo, hemos ve- rifieado el axioma 10. Problemas resueltos 15.1. Dadas las lineas p:3x, — 3x2 — xp = 0, q:Txy — Ixy — 5x5 = 0, r:10x) — Lx — 4x5 = 0, (@) mostrar que ellas son concurrentes, (b) localizar el punto de concu- rrencia. 3-8-4 on (0) Las ineas son concursentes ya que | 7 “21-6 4-5 wo -1 -4 1-4 XX Xs (8) Primerasolucién, |.8 -3 —1| = 4X, + 8X;—12X, = 0, EI punto de concurrencia es 7a 5 4,8 12) 0 (1,29). Segunda soluelén, Eliminando el término xp entre las ecuaciones de g yr, tenemos 3x, + x5 Si-se toma xj = 1, %5 = —3; entonces x; = 2y el punto pedido es (1, 2, —) como antes, 15.2, Demostrar que: Si (y) y (2) son puntos distintos, entonees A(y) + (2), donde Asz x 0, e8 otro punto sobre la linea determinada por (y) y (2). Suponga que o(y) = Ny) + we). Entonces HG) = oy) — x) = 1) y asi w(z) y (y — A)(y) representan el mismo punto, que contradice a la hipétesis ya que (y) y (z) son puntos dstintos. Similarmente, X(y) + x(2) # vl). As, (9), @) ¥ XO) + a(2) son puntos disints. Yee i uw We Vs 4 a 4 Dor toy Mat ate Mia + ary ‘estos puntos son colineals. 15,3, Mostrar que el punto P:(y) y el punto de interseccién Q de las lineas r:(Z] y s:{W] estan sobre la linea t:{{ Wy |Z ~ {Zy|W] Bl problema es trivial sir os estan sobre P. Si ninguna de les ds exté sobre Pentonces¢ es una ter cera Hinea sobee rt, Sea t:(Z) + X{W] = [Z-+ AI], do 0. Ahora ¢ estar sobre P si [(Z-+W]y} = (29) + Wy) = 002 = ZH. e[z Gr] UUWy z= fai" id Nota, La ecuscién de t tiene la forma (Wy) (22) — (Zu Way = 0 0 {Wy} Zz) = (ay) We}164 GEOMETRIA ANALITICA PROYECTIVA (CAP. 15 15.4. Verificar el axioma 6, capitulo 7: Si dos triéngulos son perspectivos desde un punto, son perspectivos desde una linea. ‘Considerar en la figura 152 ls tringulos ABC y 4’B'C’ perspectivos desde el punto P. Tomar P:(p) As(o), B(0), Cele} entonces A:(p) + Xa) B'(p) + n(0), Cp) + v0). Sean R= AB-A'B, S= BC.B'C, T= CA-C'A'. Como R esté sobre la lines AB, las coordenadas de R son, por el teorema 15.3, alguna com- binacin lineal de (a) y (t); como R estd ademds sobre A’, esta combinscién lineal debe ser Na) ~ w(t. Entonces R:A(0) — n(6) y similarmente S:u(6) — ofc) y Tirle) — A) oe (0) = Na) = ~1( (6) — e)) + (-1)(04a) — afb) es decir, las coordenadas de TT pueden ser escritas como uns combinacién lineal de las coordenadas de Ry S, Por esto R, S, T son colineale y los tringulos son perspectivos desde la linea RST. Fig. 15-2 15.5. Demostrar el teorema de los dos triéngulos de Desargues. Usando la figura 15-2, tomar A:(a), Bb), C:(¢ e' = A'B:| We) = Win + Were + Wars = 0, BC Ys| = 0, = C/A":{ Ze) = 0. La ecuacién de una lines arbitraria sobre el punto A’ ea dada por {Wx + a[Zx} = Oy, por el problema 15.3, estard sobre A si (2a) (We) = (Wa) (22) En forma aniloga, las ecuaciones de les lineas BB! y CC’ son {WO} (Vay = (0) (We) y (¥e} {2a} = {e) {Ya} respectivamente. La condicién para que estas ecusciones tengan une solucién comin se encuentra elimi nando 21, ¥2, 25. Formando el producto {2a} (Wa) + {I76) (Ya) + (We} Za} = (Wa) (Ze) + (V8) (Wa) + (Ze) Wa} 9 eliminando Tos factores comunes, tenemos como condicién para que A, B, C =A’, BY C’ @ {Za} {Wd} {Ye} = {Wa} (¥b} {Ze} Ahora tomar Aifal] = ath + aaUs + aUs = 0, BDU) = 0, Cel} = Ope ABW, BCH), b= C'Au[Z}. La ecuacién de un punto arbitrario sobre la linea e ~ BC es dada por [BU} + rfeU] = 04, porel dual del problema 15.2, estaré sobrea’, es deci, serd el punto S, siCAP. 15} GEOMETRIA ANALITICA PROYECTIVA 165 15.6. 15.7. {oF} OU} = GY) {eU) = (aWW) (BU) y {a2} (c) = {02} (00) ‘que estos puntos sean colineales, es decir, para que a, 8, ¢ = a', b,c Uy para obtener respectivamente. Ls condici se encuentra eliminando Ui, GX} OW} faz} = (OY) (aTP} (ez) ‘Ya que (i) e (2) son idénticas, tenemos: Si dos tridngulos son perspectives desde un punto (ana lines), cellos son perspestivos desde una linea (un punto). ‘Mostrar que los triéngulos ABC y A'B'C’ del problema 15.5 son perspectivos: (1) en el orden A, B, CB’, C’, A’ si {Wa} (¥b} (Ze) = {Ya} (2b) (We) y @) en el orden A, B, C=C’, 4’, Bi si {Ya} {2b} {We} = {Za} (Wb) (Ye) (1) La ecuacién de una lines cualquiera sobre B'esté dada por | Ys} + a{ Ws} = Oy estard sobre A si (Wa} {Ye} = (Ya) (We) Similarmente, las ecuaciones de las lineas BC’ y CA’ son (b} (lx) = (20) (Va) y {20} {Wa} = (We) (Za) BBL CA si {Wa) (Yb) {Ze} = (a) {26} {We} respectivamente, Ast A, B, Se deja al lector mostrar que esto es también la condicién para que a,b, ¢ (2) La ecuscién de una lines arbitraria sobre C” estd dada por |¥x} + Af Zx| = 0 y estard sobre A si {@a} (Yn) = (¥a} (22) Similarmente, las ecuaciones de las lineas BA’ y CB’ son (Wb) (Zn) = {26} (Wa) y {Ye} (We) = (We) (2) respectivamente. Asi A, B, C= C’, A’, B' suponiendo que (2a) {W70) (We) = (Ya) (2b) (Wot ‘Se dejar al lector mostrar que esto es también la condicién para que a, by ¢ =’, 4’, b. Verificar el axioma 7: Los puntos dia- gonales de un cuadréngulo completo nunca son colineales. Considere en la figura 15:9 el cuadréngulo completo PQRS con puntos diagonales 4, B, C. Sean P:(p), Q:G), BiG), S:() las repreeentacio- res escogidas de tal forma que [véase (il, pi ina 160], @+M+H+ =0 @+@ = -()+10) De166, 15.8. 159. 15.10. 15.1. 15.43. 16.14, GEOMETRIA ANALITICA PROYECTIVA (CAP. 15 te sigue que los puntos (p) + (q) = (P+ 4) y () + (8) = (+ 1) son idénticos. Como este punto esté sobre las lineas PQ y RS, debe ser el punto diagonal A. Similarmente, (p + s) y (g + ») definen el punto diagonal B mientras que (p+ 1) y (¢ + @) definen el punto diagonal C. Suponet que A, B, C son colineales. Entonces existen nimeros 2, Nota) + alate) + o(e+9) = 0 mo todos cero, tales que 1 por esto tal que HNO + +A) + +0) = 0 Como 2, 4, » no son todos cero, se sigue que (x + +), (\ +s), le + A) no son todos cero; por tanto Tos pantos QR, S deben ser colineales. Pero esto es imposible y, por tanto, los puntos diagonales nunca son colineales Demostrar que: El conjugado arménico de D:(a) + 4(b) con respecto a A:(a) y B:(b) es Ex(a)—a(b). Vase la figure 15:3 en la cual H(A, B; D, B) se establece por et cundrdngulo completo PQRS. Tomar Gig) ¥ Pea) + n(q). Como R estd sobre BQ tiene coordenadas de la forma (6) + 9(a); como R esta ademis sobre DP, tenemos F:A(b) — ulg). Ya que S esta sobre BP y AR, tenemos S:la) — (6) + a(@). Finalmente, como B esté sobre QS y AB, entonces E:(a) — A(b) como se pidié Problemas propuestos Determinar eudles de les siguientes triplas de puntos son colineales ©) ,0,-0, 4,-2.8, 8-2-1) 8) (4,2, 1, 8,5,2), (84,1) 2) (4,1, (2,2,0), 4,1) (4) (1,0,2), 11,0), 1,1) Si son colineales, obtener una ecuacién de su linea comin; si no son colineales, obtener ecuacfones de las tres Iineas determinadas por ellas. Resp. (1) 2 #4342 = 0 (2) 22, —2— 25 = 0, Bx, —2ey— x5 = 0, Bx, my Bey =O Determinar cuéles de las siguientes triplas de linees son concurrentes. () (4,3,~2), (2,-2.1, (11,1,-2) 8) (1,8,1], (21,3), 0,2,0] ®) [8.2.3], 1,0,~9), [4,1,3] (® (1,-2.1), (1, -1) Si son concurrentes, obtener las coordenadas de su punto comin, Si no son concurrentes, obtener las coordenadas de los tres puntos determinados por ellas Resp. (1) (1,5,8); (8) (8,—1,—6), (1,01), (@,0,—2) Dados los puntos A:(1, 2,8), B(2, 4, 9), C:(L, 2, 2). (Mostrar que 4, B, C son colineaes. (ii) ‘Tomar otras representaciones (a), (6), (c, tales que (a) + (b) +(e) = (Gi) Tomar ottes representaciones de modo que (a) + (6) = () Resp. (i) (@) = (7,14,21), (0) = (-10, ~20,—16), (@) = (8,6, -6) Gi) (@) = (1/8, 14/3, ~1), (&) = (10/2, 20/8, 5) Obtener otras sepresentaciones [P} y (@] para las que rR] = {1l, 1, ~2} 800 dada por (2) = (P] + (Q). Resp (P= (3,9, ineas p:l3, 3, ~2) y g:{2 —2, 1] de modo 6], (@) 8,4) Dados los puntos A:(l, 2,8), B:l2, 8, 6), C36, ~7, 2), Del, 4, —1) (i) Mostrar que tres de ellos no son colineales, (ii) Tomar otres representaciones (a), (6), (c), (d) de modo que (a) + (0) + () + @) = Resp. (a) = (4,8,42), (8) = (6,15,—18), (€) (6,—1,2), (a) = (-16,—16,4) Expresar las coordenedas [1, 1, 1] de la Tinea w como une combinacién lineal de las coordenadas de las lineas no concurrentes [1, 1, 0}, (1, 0, 1}, (0, 1,3).CAP. 15) GEOMBTRIA ANALITICA PROYECTIVA 167 15.18, 15.16. 15.17. 15.18, 15.19. 1520. 15.21. 15.22. 15.23. 15.24, 15.25. 15.26. 15.27. 15.28. 15.29. Mostrar que Iss lineas x1 +} 21a + 8x3 = 0, 4x) + Sty — x9 = 0, 8x) — Bp + xy = 0 forman un trilingulo. Bseribe las ecuaciones de las lineas que unen eada vértie de este tridngulo con el punto (, 1, 1). Resp. Be, +24— 45 = 0, Sy ~185q+ 18x, = 0, Bx, 17, +925 = 0 En Ia figura 16-1, tome Ac(0, 0, 0), B:(0, 1, 0), C:(0, 0, 1), PL 1, 1); obtenga las coordenads de todos los otros puntos y las ecuaciones de todas las lineas de la figura. Respuesta parcial. C':(1,1,0), ©": (1y—1,0), p= A"B"C": 2, +444 25=0 polar (véase problema 3.11) de P con respecto al trdngulo ABC. Nota, La lines pes tal Dados los puntos distintos Ay: (10,0), Ax: (0,1,0), Ag (1,1,1), Ag (Lye, a), As: (1, 8,8), Ag: (Lee). () Obtener AvAysAyas = RoC, ~ab, 0), ArAseAsA = Se(l, 6+ € — be, 1) y RSrabm + (b+ bet ably (Gi) Mostrar que R, Sy T= AyAy+AeAs son colineales. Demostrar el caso expecial de} teorema de Pappus (ver problema 3.4, pégina 40). Sugerencia, Tomar Ay (a), By (b), P:(e), Oxfa + b+ ec). Bntonces Cy:(a ~ 6), Cy:la + © — 6), Cysla+ 2e— by En la figura 4-3, tomar P:(1, 0, 0), Q:(, 1, 0), R:(O, 0, 1), S2(L, 1, 1). (a) Bncontrar las coordenadas de todos las otros puntos y las ecusciones de todas las lineas de la figura, (b) Mostrar que eltriéngulo diagonal es perspectivo con uno de los tringulos determinados por P, Q, R, S, Localizat para cada par perspectivo el centro y el eje de perspectividad. Respuesta parcial. (a) C:(1, 0, 1), B:(, % 1), Fs(l, 1,0), ACzx — x2 — 5 = 0. (@) Los cuatro puntos P,Q, R, Sy las cuatro lineas definidas en el veorema 4.14, Demostrar el teorema de Pappus. Sugerencia. En la figura 29, tomar Ay ta), By 20D), Ay:(@), Caz(a) + (0) + (ch; Asst) + ple, Bisa) + () + ofc). Bntonces C,:e(6) + Ce — A)le) ¥ Caste — ofa) + eld). Mostrar que las lineas 0:11 — x2 — ty = 0, brn, — x2 + as = Oy e:4) + 2x5 = 0 son cone: rrentes. Encontrar el conjugado arménico d dela lines c con respecto aay b. Resp. 82, — 2z,— En el problema 15.21, sea Q = +b. Si C x Q es un punto cualquiera sobre c, tome como d la linea polar del punto C con respecto a ay b. Eneontrar la lines polar de P:(, 1, 2) eon respecto aa yb. Resp. x4 +) +8) = 0 En el problema 15.18 mostrat que p e6 Ia linea polar de O con respecto 8 ry s Utilzandar los resultados de los proble de las tree formas ABC 3 A'BIC', ABC ZBICA', ABC x CA'B ellos también son perspoctivos en las tres formas. 8 155 y 15.6, mostrar que si los trnguloe son perspectives en dos Encontrar las condiciones para que los tringulos del problema 15.5 sean perspectivos en las formas, (i) ABC A'C'B, (i) ABC = B'A'C’, (il) ABC = CBA’. Respuesta parcial. (i) {Za|-{Yb|-|We} = | Wa} {Zb|-| Ye]. Verificar que si los triéngulos del problema 18.5 son perspectivos en cinco formas cualeaquiers, ellos son completamente perspectives, es docir, son perspectives en las seis formas posible. EEscribir loe dusles de las tres dltimas secciones de este capitulo, Dados A:(a), B:(b), D:(a + 6) y E:(@ + qb), obtener (A, B; D, E) = d/s. De esta manera, la sepe racidn se ha definido en términos de razén doble. En cada uno de Tos siguientes casos ( A:(1,2,0), B:(2,0,2), D: Gi) A2(,1,0), B:(,0,1), D:@4,1), (iil) A: ,1,4), B:(@,5,—1), Ds (1, 1,1), B: (20, 81,2) iv) A: (1,-2,8), B:(-2,8,1), D:(5,—T,~8), B:(2,-5,18) detorminar si D, B separa a A, B, Resp. Los separados en ().Capitulo 16 Sistemas coordenados y trasformaciones proyectivas INTRODUCCION En el capitulo anterior fue introducida como un modelo de geometria proyectiva plana, una geometria de triplas de nimeros, identificadas como puntos. Aunque se encontré conve- niente hablar de las triplas de nimeros como coordenadas de los puntos, se debe reconocer que hay, por lo menos en el momento, una diferencia entre estas triplas de nimeros y las coorde- nadas familiares de un punto, En nuestra geometria la tripla de nimeros es el punto; en la geometria analitica plana, las coordenadas de un punto se establecen relativas a un sistema coordenado previamente establecido. Nos proponemos ahora establecer sistemas coordenados convenientes sobre la linea proyectiva y en el plano proyectivo. Con el propésito de aclarar esto, imaginemos que la coordenada resultante de un punto es su coordenada relativa. Mas adelante diremos que un sistema coordenado puede ser establecido en el plano de modo que las triplas de nmeros del capitulo 15 — llamadas coordenadas absolutas — son, ellas mis- mas, coordenadas relativas. El primer paso para construir una geometria es escoger un elemento fundamental. El co- nocimiento por parte del lector de la geometria se reduce probablemente a la geometria pun- tual, es decir, geometrias en las cuales el punto es el elemento fundamental. En esta geometria se dice que la linea tiene una dimensién, que el plano tiene dos dimensiones y que el espacio tiene tres dimensiones. Bn nuestra geometria de triplas de némeros, reconocemos, en vista del principio de dualidad que tanto el punto como la linea son elementos fundamentales. Vimos en el capitulo 15 que los puntos sobre una linea pueden ser dados por medio de un solo paré- metro; por esto, la geometria de puntos sobre una linea es de una dimensién. Dualmente las \imeas sobre un punto pueden ser dadas por medio de un solo parémetro; por esto, la geometria de lineas sobre un punto es también de una dimensién, Mas adelante veremos que la geome. tria de puntos y lineas sobre el plano es de dos dimensiones. La naturaleza de la geometria en consideracién se determina por la seleceién de un con- junto de trasformaciones sobre las coordenadas del elemento fundamental. En geometria mé- trica plana, tratamos con el conjunto de trasformaciones conocidas como movimientos rigidos — traslaciones y rotaciones — ya que bajo estas trasformaciones tanto longitud de segmentos como medidas de dngulos son invariantes. En nuestra geometria trataremos con el conjunto de trasformaciones, llamadas trasformaciones proyectivas, bajo las cuales la razén doble de cuatro elementos es invariante COORDENADAS PROYECTIVAS SOBRE UNA LINEA (PUNTO) Considerar en la figura 16-1 la linea o del plano métrico. El sistema familiar de coordena- das se establece seleccionando sobre o un punto Q, desde el cual se toman todas las medidas, una medida unidad, y un sentido (positivo) a lo largo de o. Esencialmente, esto consiste en seleccionar dos puntos O y U sobre 0 a los cuales se asignan respectivamente las coordenadas Oy 1. La coordenada x no homogénea de un tercer punto X sobre o es y x T 7 on co) n20 Fig. 16-1 eto 168CAP. 16) SISTEMAS COORDBNADOS Y TRASFORMACIONES PROYECTIVAS 169 entonces la distancia dirigida de O a X. A su vez, un sistema de coordenadas homogéneas so. bre o puede establecerse asignandole las coordenadas (0,1) a 0, (1,1) a U, y, a cualquier otro punto X con coordenada no homogénea x, un par cualquiera de coordenadas (x,, x2) las cuales satisfacen x,/x2 = x. A B c x : @ o (es) 4.0) on an 5 ° 1 Fig. 162 Considere en seguida (Fig. 16-2) la linea o en el plano proyectivo. Sobre o tome dos puntos distintos A: (a) = (a1, az, a3) y B:.(b) = (by, ba, bs). Si acordamos que estas representaciones permanecerin fijas, cualquier escogencia de los némeros diferentes de cero , y definen un punto tinico X: (x) = (aa +ub) sobre o. Reefprocamente, por la representacién (x) de X, obte- rnemos el par X, z. Suponga que ahora se utiliza otra representacién de X, digamos (ax). En- tonces de (ax) = (ada + aub) obtenemos un nuevo par ad, au. Sin embargo, ya que un par es un miltiplo constante del otro, este caso no interesa, Los edlculos anteriores se han hecho su jetos a la restriccién de que las representaciones de A y B permanecen fijas. Para mostrar ta necesidad de esta restriccién, s6lo necesitamos tomar nuevas representaciones A (aa) y B: (sb) y ver, para las escogencias particulares anteriores, que mientras (aka + ub) es un punto sobre o, éles distinto al punto X. En la practica, la fijacién de las representaciones de los puntos ba- ses Ay Bse efectia seleccionando un tercer punto C: (c) sobre o y escogiendo las representacio- nes (a*) y (b*) de Ay B tales que (a*) + (b*) = (c). Definimos ahora: Con respecto a un sistema de coordenadas sobre una Iinea o que consiste de los puntos distintos A: (a), B: (b), C: (c) sujetos a la condicién (a) + (b) = (c), las coordenadas pro- yectivas homogéneas relativas a cualquier punto X: (x) que esta sobre o son (A, y) donde x = Ma) + u(d) y la abscisa 0 coordenada proyectiva no homogénea relativa del mismo punto X es x= df, Esencialmente, un sistema de coordenadas proyectivas homogéneas sobre una linea se ori- gina, (i) seleccionando tres puntos distintos (puntos de referencia) sobre la linea, (ii) asigndndo- Tea dos de los puntos (puntos bases) A y B las coordenadas (1, 0) y (0, 1) respectivamente, (iii) asigndndole las coordenadas (1, 1) al tercer punto (punto unidad) C. Estos mismos puntos establecen un sistema de coordenadas no homogéneas sobre la linea en donde A, B, C tienen respectivamente @ @, 0, 1 como coordenadas. Ejemplo 16.1. Si A: Q, 1, ~9), B: (4, 2,4), C: (0, 1, 0) se toman como puntos de referencia sobre la ines o, halle las coor denadas proyectivas homogénens y la eoordenada proyective no homogénes de D: (8, 2, ~7} sobre o Primero, escoja nuevas representaciones (véase ejemplo 18.5) A: (a) = (4, 2, 6) y B: (@) = @, —3, 6) tal que =8 C:(a + 6). Ahora tome d(a) + a(b) = (8, 2, —T) y resuelva { = 2 para obtener \ = 3/2,» = 1/3. = Boner on ordnads homies, tenemos D2, 13; eraeprsentacn D2. Boel cso Ia eoordense » no homogénes ex opénen es id En el problema 16.1, demostramos el Teorema 16.1. La raz6n doble de cuatro puntos cualesquiera sobre una linea es indepen- diente del sistema de coordenadas escogido sobre la linea. Dualmente, un sistema de coordenadas proyectivas homogéneas sobre un punto se origi- na al asignar las coordenadas (1, 0} y [0, 1] a dos lineas bases a y b sobre Q y las coorde- nadas (1, 1] a una tercera linea sobre O. Estas lineas originan también un sistema no ho- mogéneo en el cual a, 6, c tienen respectivamente a, 0, 1 como coordenadas. Por ejemplo, el170 SISTEMAS COORDENADOS Y TRASFORMACIONES PROYECTIVAS (CAP. 16 lector sélo tiene que escribir completamente el dual del ejemplo 16.1 en donde A: (2, 1, —3] Mega a ser a: (2, 1, —3]. En vista de esto, restringiremos la atencién en las préximas tres sec- ciones a sistemas coordenados sobre lineas. La tarea de escribir el dual de todos los problemas y ejemplos de estas secciones se deja al lector como un ejercicio. TRASFORMACIONES PROYECTIVAS EN UNA DIMENSION En el plano proyectivo tomar dos Iineas distintas. Sobre una de ellas seleccionar tres pun- tos distintos P, @ Ry suponer que, relativo al sistema coordenado previamente establecido sobre la linea, se encontré que las coordenadas no homogéneas son P: p, Q: g, Rr. Asi mismo, sobre la otra linea suponer que se han seleccionado tres puntos distintos P*, @’, R’ cuyas coorde- nadas no homogéneas relativas al sistema coordenado previamente establecido son P':p', Q':q', Rizr, Sean X:x y X'zx' otro par de puntos correspondientes en la proyectividad (P, Q, R)= (P, QR’). Entonces (P,Q:B,X) = (PL Q5 RX) a no (p=nla-2) _ Wr —2) . (p= a\@-1) ~ @-2"N(q"-r/) Resolvemos ahora (2) para s' en términos de x. Tomando B= 8 y a 4’, tenemos de donde a(a'x — qx’ —p'a+p'q) = s'(x'x— pe’ —q'e + pq’) [(s—s')2- +s" —qs]a” = (sp'—s’a')x + pas’ ~ pigs az+b y v= SS @) donde a= sp’—s’q’, b = pq’s’—p’qs, c= 8—8', d= ps’— qs. En términos de coordenadas homogéneas, tenemos, tomando x = x1/xz y a’ = ai/2f 5 oat be . pr, = en, + dz," Las ecuaciones (3), (4), (6) definen una aplicacién de un haz de puntos sobre otro, 0 una trasformacién proyectiva que envia los puntos sobre una linea en puntos sobre otra, 0 una pro- yectividad entre dos haces de puntos. Dualmente, tenemos AX+B Cx+D 8) AX: + BXs : CX FD 7 {= AX. + BX Cee , p*0 6) oXt = OX, + DXs como ecuaciones de la trasformacién proyectiva en coordenadas homogéneas y no homogéneas que envia las lineas sobre un punto 0 en las lineas sobre otro punto 0’.CAP. 16) SISTEMAS COORDENADOS Y TRASPORMACIONES PROYECTIVAS im La ecuacién (3) también es de la forma generalmente llamada trasformacién lineal. {Es entonees toda trasformacién lineal cy = etd e ne cata con no todos los a,b, c, diguales a cero, una trasformacién proyectiva, es decir, una trasforma- cién que tiene inversa y conserva la raz6n doble? Mostramos que (3") es proyectiva si envia puntos distintos en puntos distintos. Sean P:p y Q:q dos puntos distintos cualesquiera sobre una linea oy sean P’:p' = wy y Qeq' = At 5 sus correspondientes, respectivamente, sobre otra linea o', o sobre la misma linea 0. De + = (ad=de)(p—9) (ep ¥ay(eq+a) 4'# Osiy sélosiad—be # 0. vod se deduce, ya quep ~ 9x 0, quep’ Ahora considere (3") con la restriccién adicional ad — be # 0. Entonces puede solucionar- sede x= ss que, remplazéndolo en (3"), muestra fécilmente que es el inverso de (3” '; Rer, R'sr'; S:s, S's! cuatro pares eualesquiera distintos y= d= belew—0) Finalmente, sean Pp, P'p'; Qa, @ de puntos correspondientes. De = (ad—be)(p-r) POP epeaertae ~*~ (eptdyerra) » (ad—be)(g~r) , _ (ad bola~s) To = (eq Fajer +d)’ . eae) Nes Fd) se tiene por medio de un céleulo sencillo que (PQs RS") (=rVg-s) _ (@=19~8) 02,5) (@—s\¢-r) (-sq-r) Hemos demostrado el Teorema 16.2, Toda trasformacién lineal ax+d crtd’ es una trasformacién proyectiva. nw donde ad—be + 0 Ejemplo 16.2. Dados los puntos P:2, 3, R:4 sobre la linea oy los puntos P:3, Q':4, R':2 sobre otra linea. (a) Determinarla trasformacién lineal que envia P, Q, Ren P, @, R’respectivamente. (b) Loeaizar el punto S' sobre o'en el cual S:—1 viado. (c) Localice el punto T sobre oque es enviado en T':0 sobre” () ,Es proyectivala trasformacién? (a) Yaquex~ 2esenviadoen 2’ ~ 3, tenemos usando (3”) que a+b S= pd 8 Mtb bo- Bd = 0 ) Similarmente, tenemos que B8a+b~120—4d = 0 y fat b~ 8-24 = 0 Restando (i) de Gi) y ii, obtenemos a-be-d y Ma-te+d = 0 euulta $a —Be = 0. Tome a= 8, ¢ = 3; entonces d = —10y 28, La trasformacién pedi12 SISTEMAS COORDENADOS Y TRASFORMACIONES PROYECTIVAS (CAP. 16 (c) Cuando x’ = 0, 8x — 28 = Oy x =f. (4) Como ad — be = 4 x 0, la trasformacién es proyectiva, En el problema 16.2, demostramos el Teorema 16.3. Si las uniones de tres pares de puntos correspondientes de dos haces proyec- tivos son concurrentes, los haces son perspectivos. PROYECTIVIDADES SOBRE UNA LINEA. COORDENADAS NO HOMOGENEAS ‘Suponer que las lineas 0 y o' de la seccién anterior coinciden. Hay entonees dos interpre- taciones de la trasformacién proyectiva an+b cara’ ne ad—be #0 6 En la primera interpretacién, tenemos un haz de puntos sobre la linea o referido a dos sistemas coordenados distintos. Cada punto X sobre o tiene dos coordenadas — x cuando se refiere a un sistema y x’ cuando se refiere al otro — y (6) en esencia cambia cada x en su pro- pio x’, Bajo esta interpretacién, (6) se Hama una trasformacién pasiva o alias 0 una trasfor- macién de coordenadas. En la segunda, tenemos dos haces de puntos sobre o superpuestos referidos al mismo sis- tema coordenado. Entonces (6) envia un punto X: x sobre o en, generalmente, otro punto X': x! sobre 0, Bajo esta interpretacién (6) se lama una trasformacién activa o alibi. Como una trasformacién alibi, (6) es la definieién analitica de una proyectividad sobre ‘una linea; frecuentemente, se llama una colineacién sobre una linea Investigamos ahora la posibilidad de que la colineacién (6) entre dos haces superpuestos envie algiin punto M en s{ mismo. Este punto M, si existe, se llama un punto doble (fijo, auto- correspondiente, invariante) de la proyectividad. Los puntos dobles, si existen, se obtienen tomando x = x' en (6) y resolviendo la ecuacién cuadratica resultante en x. Primero, consideremos los casos especiales cuando c = 0. La ecuacién cuadritica es entonces en realidad una ecuacién lineal de modo que x =« es siempre una raiz y M:e es siempre un punto doble. () Cuando c= Mio y Nig bz Oyaz d, tenemos (d — a)x = b, en este caso hay dos puntos dobles: (ii) Cuando c = 0, b 4 Oya = d, los puntos dobles M y N de (i) coinciden. Entonces hay un solo punto doble M: «. (ii) Cuando ¢ = b Oyax d, entonces (d —a)x 0. Hay dos puntos dobles M:e y N:0. (iv) Cuando c= b= Oya = d, todo punto de la linea es punto doble. Esta proyectividad se co- noce como idéntica Por otra parte, cuando x' = x, (6) se puede escribir como eat (d-ajr—b = 0, o%0 4+ V@=aF + Me VE= oF Fae ae yo Be cuyas raices sonCAP. 16) SISTEMAS COORDENADOS Y TRASFORMACIONES PROYECTIVAS, 173 Existen tres casos: Caso 1. (d —a)? + 4be > 0. Las raices son reales y distintas. Hay dos puntos distin- tos dobles; ; se llama una proyectividad hiperbélica. Caso 2. (d —a)? + Abc = 0. Las raices son reales y ¢ + se le llama proyectividad parabélica. iden. Hay un punto doble; a Caso 3, (d—a)? + 4be < 0. Las raices son complejas. No hay punto real doble; a se le Hama proyectividad eliptica Asi, aparte de la trasformacién idéntica, + es hiperbélica, parabélica o eliptica. Véase el problema 16.3. En el problema 16.4, demostramos el Teorema 16.4. La razén doble K de los dos elementos dobles de una proyectividad hiper- bélica y un par de elementos correspondientes es independiente de este par. A la constante real K se le llama el invariante caracteristico de la proyectividad hiperbélica. Se sigue que cualquier proyectividad hiperbélica se puede escribir en la forma candnica wom _ pin vom ~ “es donde x, x, son los puntos dobles y K es el invariante caracteristico, En el problema 16.5, se obtienen las formas candnicas para proyectividades parabélicas w= 24p, p= bla, cuandoc=0 y cuando c# 0. son obtenidas, Ejemplo 16.3. Reducir als forme eanénica: (a) 2” = (c} La proyectividad es hiperbslica con puntos dobles M: 3/2, N:—2. Usando el par de puntos correspondientes P: 1; P:—1/2, encontramos K = (M,N; P,P) = (82-2) 1,-1/2) = U8 wee 1 ot? = 32-9) La forma eanéniea es (6) Laproyectividad es parabélica con punto doble M: 2, La forma canénica es ==> = = INVOLUCIONES SOBRE UNA LINEA Sea r una trasformacién proyectiva de una linea sobre ella misma cuya inversa es r. (Como ejemplo véase el problema 16.13(f).] Entonces r+7~ rt = §, la idén- tica, y la proyectividad + se lama involucién cuadrética. Con més frecuencia, se le llama, sencillamente, involucidn. Sip, p' es un par de puntos correspondiente en una involucién, tam- bién lo son p’, p; por esto llamaremos a p, p' un par reciproco de la involucién. (Véase el capitulo 6.) En el problema 16.6 demostramos el Teorema 16.5, La trasformacién proyectiva n+ @ w= a al es una involucién si y sdlo sia + d= 0.m4 ‘SISTEMAS COORDENADOS Y TRASFORMACIONES PROYECTIVAS ICAP. 16 La ecuacién de una involucién puede escribirse en la forma fra’ +o(z+z) +h =0, gt-fh 40 a y, por tanto, esté completamente determinada dando dos pares reciprocos de puntos. Ejemplo 16.4. ‘Obtene la ecuacién de la involucign que tiene 2,2; #24 como dos pares reiprocos. Sustituyendo cada pat en (7) obtenemnos feet tole tei) +h feats + Oley tap) +h " o ° liminando los coeficientes entre (7)y las axferiores ecuaciones, la ecuacién pedida es en forma de determinante ee ete 1 ei ate 1 ety my tay 1 =o (8) Los puntos dobles de una involucién se encuentran escribiendo x' = x en (7) y resolviendo la ecuacién resultante. Esta ecuacién tendra dos raices reales y distintas (la involucién es hi- perbdliea), dos raices reales iguales (la involucién es parabdliea) 0 dos raices complejas (la in- volucién es eliptica). Las involuciones parabdlicas generalmente no se tratan (véase el proble- ma 16.26). Una involucién hiperbélica queda completamente determinada cuando se conocen sus puntos dobles, o un punto doble y otro par reefproco. Finalmente, una involucién queda completamente determinada cuando Ia ecuacién cuadritica que da sus puntos dobles se conoce. En efecto, suponer que esta ecuacién es axt+2br+e= 0, bac #0 @ Ahora considerarla involucion aa’ +b(r+2")+e = 0 (10) que es hiperbélica o eliptica segiin que las rafces de (9) sean reales o complejas. La ecuacién (10) puede derivarse de (9) por la regla simple remplazar x? por xx' y 2x por x + x’ La ecuacién (10) se lama la forma polarizada de (9) Ejemplo 16.5. Derivar la ecuacién de la involucién de la ecuacién 3x¢ + 5x —6 = 0 dando sus puntos dobles. Polarizando Ia ecuacién dada, tenemos Ber + Hee) 6 6 Gxe! + 824x212 = 0 Es sencillo demostrar el Teorema 16.6. Los pares de puntos arménicos x, x' a dos puntos x, xy dados son pares reciprocos de una involucién que tiene x,, x2 como puntos dobles. PROYECTIVIDADES SOBRE UNA LINEA. COORDENADAS HOMOGENEAS El estudio de proyectividades sobre una linea y el plano proyectivo, (también, en espacios proyectivos de dimensin més alta) se simplifica mucho con el uso de coordenadas homogé- neas. En esta seccién volvemos a estudiar proyectividades usando {fi = az, + bx, + (ad-be ¥ 0 pat = cn, td, #9) ° Otra vez, mirando el trabajo futuro, proponemos un cambio de notacién y volver a escribi (5) comoCAP. 16} SISTEMAS COORDENADOS Y TRASFORMACIONES PROYECTIVAS 175, (, 1, = Oy, Far, 40, % 0) (i) phy = Oy, + Oye , Para investigar los posibles puntos dobles remplazamos x{, por x1, x4 por xp en (11) y consideramos las ecuaciones resultantes (au~ py + aut, = 0 ison o Ahora (12) tendré soluciones no triviales si y sélo si au-p aw m om--| = 9 (13) ° p= (G+ az)p + (Guxde2—aseda:) = 0 Alla ecuacién (13) se le Hama la ecuacidn caracteristica de la proyectividad, y a sus raices p;, 2 se les lama raices caracteristicas. Una proyectividad no idéntica (5) es hiperbélica, para- bélica o eliptica si las raices o1, pz son reales y distintas, reales e iguales o imaginarias. Ejemplo 16.6. fal = tay t Bg Examine la proyectivided |2¢ gp), att puntos dole, : ap 5) we , La ccuscin caracerton os |? 9% | a gt p38 = 0; lan rcs caracte 4 ag = <8 Ls pos dole dea poyrtiviad ve encuentran cuando ys remplna por = 4 y nx = ~Ben una las ecuaciones oe Bey + (1 Utilizando la primera ecuactén, encontramos (2-4)ay + 82, = 204 + Bay G+ a, + Bey = Bey tm) = l punto doble es (5,2), el punto doble es (—1, Bl lector puede verificar que se obtiene el mismo resultado si utilizamos la segunda ecus hiperbélics, in, As la proyectividad es Por el teorema 16.5 cualquier involucién sobre una linea tiene la forma pth = yt, + Ott, py = yyy — Oy ‘con puntos invariantes que satisfacen 4,22 — 2a,,2,%,— a,02 = 0 La involucién es hiperbélica o eliptica si a?, +404, >0 0 08, +440, <0, > Gy tana, «0 COORDENADAS HOMOGENEAS DE UN PUNTO EN EL PLANO Para crear un sistema de coordenadas sobre una linea, se hizo uso de tres puntos cuales- quiera sobre ella A: (a), B: (b), C: (a+ 6). Con relacién a este sistema de coordenadas, las coor- denadas homogéneas de un cuarto punto cualquiera P: (p) sobre la linea, se obtuvo como el par ordenado de mimeros (p;, pz) que satisface (p) = p,(a) + pe(b). Los puntos basicos de es- te sistema de coordenadas eran los puntos A y B; el papel del tercer punto C era tnicamente determinar en todo momento representaciones fijas (coordenadas absolutas) de Ay B. Una extensién sencilla de lo anterior se hard para establecer un sistema de coordenadas en el plano proyectivo.176 SISTEMAS COORDENADOS ¥ TRASFORMACIONES PROYECTIVAS (CAP. 16 En el plano, tomar cuatro puntos A;, Az, As, As, tres de los cuales no son colineales. Esco- ger representaciones de los tres primeros puntos de modo que se tenga Ay : (a); As: (0), As: (c), Aa: (a + b +0). Nétese que el papel de A, es simplemente para fijar representaciones para Aj, Az, Ag. Estos tres puntos son vértices de un triéngulo, lamado el trigngulo de referencia; el punto A, se llama el punto unidad. El sistema coordenado, asi definido, seré indicado por Ai, Az, As; Aq. En términos de este sistema coordenado, definimos las coordenadas relati- vas como Ay: (1, 0, 0), Ag: , 1,0), As: 0, 0, 1), Aa: (1, 1, 1) y Ya, 8, 7) para cualquier punto ¥: (y) donde (y) = ala) + (6) + 1c). Ejemplo 16.7. ‘Tomar cuatro puntos con coordenedas absolutes A;: (, 2,3), As: (2, —B, 4), Aa: 4, 8, ~6), et (1, 9, —8). (BL lector puede verificar qu tes de estos puntos no son colineales.) Bstablectr el sistema coordenad Ay, As, Asi Aa yet contra: (1) Las coordenadas relatives de P con coordenadas absolutes (22, 1). (2) Las coordenadas absolutas de @ con coordenadas relativas (4, —2, 1. (8) Las relaciones que eristen entre las cordenadas absolutas (22 de un punto arbitvaro X. Primero, fjemos las representaciones Ay: (a, As: (b; Asc) de modo que Ay: (a+ 8 + ¢). Tomar Nd, 2,8) + (2,-8.4) + o4,8,~6) = (11, 9,-5) Ad Qabdy = 1 resolver el sistema R-Se+h = 9 B+ dnb = para obtener A = 1, w= 1yy = 2. Entonees Au: (1, 2 8), Ay: @%—8, 4), As: (10, 12); Aq: (1, 8, —6)satistace to das las condiciones para trdngulo de referencia y punto unidad. (1) Tomar a(t, 2,3) + 8(2, —8, 4) + 418, 10, —12) = (2 2 1) y resolver el sistema att B= 2 22-38 +107 = 2 Bet 4p ~ 127 = 1 para obtener « = 91/60, @ = 1/40, » = 51/240, Bntonces, en coordenadas reativas, tenemos P: (37/80, 7/40, 431/240}; otra representacin es P: (148,42, 31). (2) Las edordenadas relativas de @ son: a = 4, 8 = —2. = Islas coordenades absolutasserian 4(1,2,8) ~ 2(2, 8,4) + 1(8,10,—12) = (8,24, 8) Otra representacién es @: (3, —1) 4) 9 as coordenadas relatives (o.,22,%) (8) Wentifieando (xy, 42, x5) eon (4, —2 , 1) de (2), tenemos una representacién @: (ep 02) dada por Leay + Bony + oy 2emy — Bem + 10-m = oof Bony + Aoey — WBeey = py donde los coeficientes de xy, x3, x5 en la primera, segunda y tercera igualdad son respectivamente le prime- ra, segunda y tercera coordenadas (absolutes) de los vétices del triéngulo de referenc Como en geometria métrica, una prueba analitica se puede simplificar con una escogencia apropiada del sistema coordenado. Ejemplo 16.8. (a) Para una prueba del teorema de los dos triéngulos de Desargues (problema 15.4), tomar uno de los tringulos (Fig. 16-3) como tridngulo de referencia y el punto unidad como centro de perspectividad. () Para una prueba del teorema de Pappus, tomar A, (1,0, 0), Be=(0, 1,0), As (0, U, 1) y Cy CL, 1, 1) en la figura 29 (e) Bn ol estudio do un cusdringulo completo, los vértices pueden tomarse como los vertices del triéngulo de refe- rencia y el punto unidad o (véese el problema 164) el tringulo diagonal se puede tomar como el tridngulo de referencia y el punto unidad como uno de los vértices del cuadrdngulo,