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.