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.