I.

5
TEOREMAS DE CONFIGURACION Indice del cap tulo.
1 Homolog as, homotecias y traslaciones 2 El teorema de Pappus 3 El teorema de Desargues 4 Ejercicios

A. Castell on

TEOREMAS DE CONFIGURACION
En este u ltimo cap tulo de la primera parte se estudiar an dos teoremas b asicos de la geometr a proyectiva, los teoremas de Desargues y Pappus. Son numerosas las aplicaciones que de ellos se desprenden, y muy interesantes las conexiones que establecen entre la geometr a sint etica m as cl asica, tipo Poncelet, y la m as basada en el algebra, tipo Pl ucker. Por desgracia, esta aproximaci on apenas si ser a esbozada dado el car acter elemental de estas notas. Para una lectura m as profunda sobre el particular se remite a [Blumenthal], [Artin] o [Castell on].

1 Homolog as, homotecias y traslaciones En esta secci on se estudiar an las proyectividades de un plano proyectivo en s mismo 1. Si punto doble era aqu el que se transformaba en s mismo por una proyectividad, a las rectas invariantes por proyectividades se les llamar a rectas dobles y, en general, a los subespacios invariantes, subespacios dobles. En todos los casos se usan tambi en los adjetivos jo y unido como sin onimos de doble. Advi ertase que los puntos de una recta doble r por una proyectividad no tienen por qu e ser dobles. Lo m as que puede decirse de ellos es que se aplican por en otro punto de r. Sin embargo, si un punto P se expresa como intersecci on P = r s de dos rectas dobles r y s distintas, entonces el propio P ha de ser doble (raz onese). Adem as se da la situaci on dual, esto es, toda recta determinada por dos puntos dobles es doble. En efecto, si A y B son dobles por y X AB , debe ocurrir que (X ) (A) (B ) = AB . En lo que sigue, se har a uso frecuente de estos dos u ltimos hechos. De una proyectividad : P P de un plano en s mismo se dir a que es central si existe un punto C P tal que cada recta por C es doble, esto es, X = C implica (CX ) = CX . A un punto C con tal propiedad se le conoce
1

En realidad, casi todo lo que aqu se arme tambi en es v alido para colineaciones, esto es, para biyecciones que conserven puntos alineados.

I.5-1

Apuntes de geometr a af n y proyectiva como centro de la proyectividad. Basta considerar dos rectas diferentes por el centro para concluir con que el propio centro es un punto doble. Lema I.5.1 Para cada proyectividad una proyectividad de un plano proyectivo P en s mismo se satisfacen las siguientes propiedades: i) Si hay en P dos rectas distintas llenas de puntos dobles, entonces es la identidad. ii) Si C es un centro de , entonces C es doble. iii) es la identidad si tiene dos centros distintos. iv) Si es central con centro C y r es una recta doble que no pasa por C , entonces todo punto de r es doble. Demostraci on Para la parte i), si r y s son dos rectas distintas con todos sus puntos dobles, t omense A y B en r s y otros dos puntos C y D en s r. La elecci on de estos cuatro puntos asegura que no haya tres de ellos alineados, por lo que se ha construido un s mplex del plano que queda jo por la proyectividad . El teorema fundamental obliga a que = 1P . Eso s , para que este razonamiento funcione es preciso contar con al menos tres puntos en cada recta. Por otro lado, que haya al menos tres puntos en cada recta proyectiva sobre un cuerpo K equivale a armar la existencia de al menos dos escalares en el cuerpo K . Pero en cada cuerpo hay al menos dos elementos, el 0 y el 1, lo que acaba de probar i). La demostraci on del resto del lema se propondr a en la tanda de ejercicios. Denici on I.5.1 Una homolog a es una proyectividad central de un plano en s mismo distinta de la identidad. La parte iii) del lema anterior permite armar que para una homolog a dada existe un u nico punto tal que toda recta por el es doble. No deber a de extra nar que tambi en se satisfaga la propiedad dual, enunciada en el siguiente Teorema I.5.1 Toda homolog a posee una u nica recta con todos sus puntos dobles. Demostraci on Sea una homolog a del plano P con centro C . En caso de existir una recta con todos sus puntos dobles, esta ha de ser u nica por la I.5-2

A. Castell on parte i) del lema I.5.1, luego solo es preciso comprobar la existencia de tal recta. Como no es la identidad, debe haber un punto P con (P ) = P . En particular, P = C pues C es doble, lo que permite considerar la recta doble CP . Obs ervese que (P ) CP . Sea r una recta arbitraria por P distinta de la CP . Es evidente que (r) = r ya que, de lo contrario, (P ) = P . (Recu erdese que el punto de intersecci on de dos rectas dobles tiene que ser doble.) Se arma ahora que el punto A = r (r) es doble (gura I.5.1). En efecto, A no coincide con C (por qu e?), luego puede escribirse como intersecci on de r con la recta doble CA. As , (A) ha de pertenecer a (r) y a CA, cuando el punto com un de estas dos rectas es el propio A. De ah que (A) = A.

Si en la demostraci on del lema I.5.1 se concluy o con que en cada recta hay al menos tres puntos, el principio de dualidad proporciona al menos tres rectas pasando por cada punto 2. Esto permite concebir otra recta s por P distinta de CP y de r con la que repetir el razonamiento del p arrafo anterior para obtener otro punto doble B = s (s) distinto de A (por qu e B = A?). Como la recta AB est a determinada por dos puntos dobles, ella misma es doble. Ahora se dan dos posibilidades, o bien C AB , o bien la recta doble AB no pasa por el centro. En esta u ltima situaci on, el lema I.5.1.iv) asegura que AB est a llena de puntos dobles. Si, por el contrario, C AB , entonces
2

V ease tambi en el ejercicio I.3.10.

I.5-3

Apuntes de geometr a af n y proyectiva la restricci on de de dominio e imagen a la recta AB deja jos a los tres puntos del s mplex (A, B, C ). Del teorema fundamental se deduce que esta restricci on es la identidad o, lo que es lo mismo. todo punto de AB es doble, lo cual concluye la demostraci on. A la recta constituida por puntos dobles cuya existencia y unicidad asegura el teorema anterior se la denomina eje de la homolog a. Es interesante advertir que una homolog a queda determinada por completo sin m as que dar su centro C , su eje r y un par de puntos hom ologos A y A = (A), con A distinto de C y fuera del eje. En tal circunstancia, si se pretende hallar el transformado por de otro punto B = C no perteneciente a r CA, se considerar a el punto P = r AB (gura I.5.2). Entonces B = (B ) debe estar, por un lado, sobre la recta CB , por ser esta doble, y, por otro, en la transformada de la AP que no es otra que A P . Luego B = CB A P . El caso restante (B CA) se deja como ejercicio.

Ahora se plantea la siguiente pregunta: cu ando podr a restringirse una homolog a al af n y obtener una anidad? Al objeto de contestar a la cuesti on, hay que tener en cuenta que para restringir la homolog a : P P al af n es preciso que la recta del innito sea doble. Si esa recta es distinta del eje de homolog a r, con el centro C en el af n, el lema I.5.1 proporcionar a dos rectas diferentes llenas de puntos dobles (r y la impropia), lo que contradice que no es la identidad. Esto limita las posibilidades a cuatro, a saber: * El centro C est a en el af n y el eje r es la recta del innito. I.5-4

A. Castell on * C r con r la recta del innito. * C est a en el innito y r no pasa por C . * r no es la recta del innito, pero C es el punto impropio de r. Las dos u ltimas posibilidades se estudiar an en los ejercicios. Aqu se tratar an las dos primeras. Denici on I.5.2 Si C es un punto de un plano af n, por homotecia de centro C se entiende a una anidad que, o bien es la identidad, o bien es la restricci on de una homolog a de la envolvente proyectiva que tiene a C por centro, y a la recta del innito por eje.

En la parte izquierda de la gura I.5.3 se esquematiza el c alculo gr aco de una homotecia h de la que se conoce su centro C y la imagen A de un punto A = C . Sup ongase que A = A . (Pi ensese por qu e el caso A = A conduce a que h sea la identidad.) Para hallar el transformado de otro punto B / AC , se proceder a inspir andose en el m etodo habitual para homolog as. La imagen B de B ha de estar en la recta CB , por ser esta doble, y en la paralela a AB por A , pues aquella ha de pasar (en la envolvente proyectiva) por el punto impropio P de AB que es doble. Esto resuelve el trazado de B cuando B / AC . Si B pertenece a AC , t omese cualquier punto X fuera de esta recta y h allese su imagen X . El procedimiento anterior permitir a ahora calcular B con X y X como datos en lugar de A y A . Teorema I.5.2 (Teorema de Thales) Para cada homotecia de centro I.5-5

Apuntes de geometr a af n y proyectiva C existe un escalar , denominado raz on de la homotecia, tal que (X ) C = (X C ), cualquiera que sea el punto X del plano af n. M as a un, para cada par de puntos X y Y , se tiene que (X ) (Y ) = (X Y ). Demostraci on Se evidencia que si la homotecia es la identidad, entonces el teorema se satisface con = 1. De lo contrario, existe al menos un punto A tal que A = (A) = A CA. T omese ahora un B / CA y sea B = (B ) su imagen. Se est a entonces en la situaci on descrita por la gura I.5.3 izquierda. Que A pertenezca a AC permite escribir A C = (AC ), para alg un escalar . Por la misma raz on, se tiene que B C = (B C ), para un cierto . Recurriendo al ejercicio I.4.19, se tiene que = (QCAA ) y = (RCBB ), con Q el punto del innito de CA, y R, el de CB . Pero si se considera, en la envolvente proyectiva, la perspectividad de centro P , con P el punto impropio com un a AB y A B , resulta que = pues las perspectividades conservan razones dobles. El caso X CA se obtendr a del ya demostrado adjudic andole, por ejemplo, al punto B anterior el papel que antes jugaba A. Adem as, para dos puntos cualesquiera X y Y , se tiene (X ) (Y ) = (X C ) (Y C ) = (X Y ). con lo que se naliza la demostraci on de esta versi on un tanto libre del teorema de Thales 3. Se acabar a esta secci on examinando qu e le ocurre a la restricci on al af n de una homolog a cuyo centro C pertenece a la recta del innito y esta coincide con el eje. Si el punto del af n A se transforma en el A = (A), para hallar la imagen B = (B ) de otro punto B / AA habr a que operar como se describe a continuaci on (gura I.5.3 derecha). La paralela a AA por B ha
3

Quiz a no se reconozca a primera vista la conocida cantinela del cl asico teorema de Thales: Segmentos de paralelas comprendidos entre concurrentes son proporcionales. Pero dicho en la forma equivalente, los tri angulos CAB y CA B son semejantes, se advierte la coincidencia con el aqu enunciado, en el cual el escalar ejerce el papel de raz on de semejanza.

I.5-6

A. Castell on de pasar por B pues el centro de es su punto impropio. Adem as, si P es el punto del innito de AB , entonces B debe pertenecer a la recta proyectiva A P , cuya parte af n es la paralela a AB por A . En denitiva, B no es sino la intersecci on de la paralela a AA por B con la paralela a AB por A . Dicho de otro modo, la regla del paralelogramo para la suma de vectores da B A = (B A) + (A A), y, despejando B , se obtiene B = B + (A A). A igual resultado se llegar a bajo la suposici on B AA sin m as que tomar un C fuera de AA y aplicar lo ya probado. Se ha concluido con que la anidad es la traslaci on de vector A A. En resumen, las homolog as cuyo eje es la recta impropia se restringen al af n como homotecias o traslaciones seg un permanezca el centro en el af n o se vaya al innito, pero t engase presente que el concepto de homolog a es tan exclusivamente proyectivo, como los de homotecia y traslaci on lo son de la geometr a af n, por m as que estas se obtengan como convenientes restricciones de aquellas.

2 El teorema de Pappus Aunque se considera a Girard Desargues (1591-1661) como el padre de la geometr a proyectiva, uno de los teoremas que m as juego ha dado en este campo fue enunciado siglos antes por Pappus de Alejandr a, alrededor del a no 250 D.C. Y a pesar de que este matem atico utilizara para su demostraci on argumentos esencialmente eucl deos, aqu se est a en condiciones de desarrollar una prueba simple que solo utiliza el hecho de que las razones dobles son invariantes por perspectividades. Teorema I.5.3 (Teorema de Pappus) En un plano proyectivo, dadas dos ternas (A, B, C ) y (P, Q, R) de puntos alineados, los puntos X = AQ BP , Y = AR CP y Z = BR CQ est an en l nea recta. Demostraci on Consid erense los puntos O = AB P Q, Z = XY BR, S = P C BR y T = AR BP (gura I.5.4). N otese que la tesis se I.5-7

Apuntes de geometr a af n y proyectiva

satisfar a si se logra probar que Z = Z . Para ello, util cese el hecho de que la perspectividad C : BR P Q de centro C conserva razones dobles, y resultar a (BSRZ ) = (OP RQ). Por la perspectividad de centro A se tiene (OP RQ) = (BP T X ), y por la de centro Y , (BP T X ) = (BSRZ ). En denitiva, (BSRZ ) = (BSRZ ), lo que implica Z = Z y el teorema est a demostrado 4. Se suele recurrir a la siguiente regla nemot ecnica para memorizar las rectas involucradas: disponiendo las ternas de puntos una sobre la otra, A P B Q C R ,

como si fuese una matriz, las intersecciones de l neas aludidas en las hip otesis se obtienen como las diagonales de los tres menores de segundo orden

A P

B AQ BP , Q

B Q

C BR CQ, R

A P

C AR CP . R

Siguiendo con la t onica establecida hasta ahora, se obtendr an algunas versiones anes del teorema de Pappus, dependiendo de la elecci on que se haga de la recta del innito.
4

Aunque se han usado razones dobles para mejorar la visualizaci on del razonamiento, esta prueba en realidad se basa en el segundo teorema fundamental. En efecto, la proyectividad Y A C transforma Z en Z y deja jo al s mplex (B,S,R), luego Z =Z .

I.5-8

A. Castell on Teorema I.5.4 Sean (A, B, C ) una terna de puntos distintos de una recta r de un plano af n y (P, Q, R) otra terna de puntos situados sobre otra recta s del mismo plano secante con la anterior en un punto O / {A, B, C } y tales que AQ BP y AR CP . Entonces BR CQ (gura I.5.5).

Demostraci on Basta aplicar el teorema de Pappus en la envolvente proyectiva con XY como recta del innito. Ahora bien, en la conguraci on de Pappus proyectiva, puede que la recta XY pase por el punto O de intersecci on de AB con P Q. Estas dos rectas, al pasar al af n eligiendo a XY como recta impropia, se convierten en paralelas. Al enunciado resultante se le conoce como Corolario I.5.1 (Teorema menor de Pappus) Sean A, B y C puntos de una recta r de un plano af n y P , Q y R otros tres puntos situados sobre una recta s del mismo plano paralela a r. Si AQ BP y AR CP , entonces BR tambi en es paralela a CQ.

Varias aplicaciones del teorema de Pappus ser an relatadas m as adelante I.5-9

Apuntes de geometr a af n y proyectiva tanto en el texto como en las sucesivas tandas de ejercicios. Por ahora se expondr a una referente a la conmutatividad de las homolog as. En un plano proyectivo P el janse un punto O y una recta t y consid erese el conjunto H de las homolog as de centro O y eje t. Sean y dos de tales homolog as. T omense dos rectas r y s por O distintas de t y f jese en r el punto A = O. Sean B = (A), C = (B ) y la homolog a de H que transforma A en C . (S gase el razonamiento en la gura I.5.7.)

Como una homolog a queda determinada por el centro, el eje y una pareja de puntos hom ologos, es evidente que = . Esc ojase ahora un punto arbitrario R s {O}. La imagen de R por se calcula haciendo Z = RB t y Q = (R) = CZ s. El transformado de Q por se obtiene de escribir X = AQ t y P = (Q) = BX s, luego ( )(R) = P . En virtud del teorema de Pappus, se tiene que Y = AR CP t es otro punto del eje de homolog a com un. Recu erdese que la homolog a queda determinada por la imagen de R con ( )(R) = P . Pero (R) = CY s = P , con lo que = . Lo curioso del asunto es que este hecho es revertible, lo cual se enuncia en el siguiente Teorema I.5.5 En un plano proyectivo, la satisfacci on de la propiedad de Pappus descrita en el teorema I.5.3 equivale a la conmutatividad de cada par de homolog as que compartan centro y eje. I.5-10

A. Castell on Demostraci on En un sentido ya se ha probado con anterioridad. Para el otro, sea P un plano en el que conmutan cada par de homolog as con eje y centro comunes. Esc ojanse en P dos rectas distintas r y s y seis puntos en la conguraci on de Pappus con A, B, C r s, y P, Q, R s r. Se denen los puntos O = r s, X = AQ BP , Y = AR CP y Z = BR CQ. Como en el directo, se razonar a sobre las homolog as , y , las tres con eje Y Z y centro O, tales que (A) = B , (B ) = C y (A) = C . De nuevo = . Y como y conmutan, entonces (R) = CY s = P debe coincidir con ( )(R). Pero (R) = CZ s = Q y (Q) = P , lo que implica que X = AQ BP es un punto del eje de la homolog a, con lo que X Y Z y la propiedad de Pappus es satisfecha en P . No es fruto del azar que en el enunciado que se acaba de demostrar salga a relucir la palabra conmutatividad en relaci on con el teorema de Pappus. Y es que, desde el comienzo de estos apuntes y en aras de una mayor simplicidad, se opt o por trabajar con espacios (vectoriales, proyectivos y anes) sobre cuerpos. Pero igual se podr an haber considerado unas estructuras solo un poco m as generales como los anillos de divisi on 5. Esta postura, en realidad, no habr a acarreado consecuencias demasiado importantes. Por citar algunas de ellas, nos habr amos topado con la imposibilidad de denir sistemas de coordenadas homog eneas mediante la exhibici on de la sucesi on de puntos base m as el punto unidad, surgir a una cierta complicaci on en el proceso deductivo de las ecuaciones de un subespacio, y habr an de modicarse algunos aspectos de la dualidad. Casi todo lo dem as seguir a funcionando en espacios proyectivos sobre anillos de divisi on. Sin embargo, para que en esos planos proyectivos m as generales se satisfaga la propiedad de Pappus resulta ser necesario y suciente que el producto del anillo base sea conmutativo. Esto es relativamente f acil de visualizar a partir de los teoremas I.5.5 y I.5.2, tarea que se dejar a que culmine el lector en la tanda de ejercicios.
5

Los anillos de divisi on en alguna bibliograf a, son denominados cuerpos no necesariamente conmutativos.

I.5-11

Apuntes de geometr a af n y proyectiva 3 El teorema de Desargues Teorema I.5.6 (Teorema de Desargues) Sean ABC y A B C dos

tri angulos de un plano proyectivo tales que las rectas AA , BB y CC concurren en un punto O. Entonces, las parejas de lados (AB, A B ), (AC, A C ) y (BC, B C ), se cortan seg un puntos que est an alineados.

En el enunciado anterior se han omitido, por razones est eticas, aquellas condiciones necesarias para la existencia de los elementos que en el se mencionan. Por ejemplo, para que la recta AC tenga derecho a existir, se deber a haber exigido que los puntos A y C fuesen distintos. Demostraci on: Sean P = AB A B , Q = AC A C y R = BC P Q (gura I.5.8). Se considerar a la homolog a de centro O y eje P Q que transforma A en A . Un c alculo directo da (B ) = A P OB = B y (C ) = A Q OC = C .

Entonces la recta BC se transforma por en la B C . Como R es doble, pues pertenece al eje de la homolog a), resulta R = BC B C , lo que acaba la demostraci on 6. A dos tri angulos de un plano en la conguraci on de Desargues se les llama, por razones obvias, hom ologos.
6

El argumento original de Desargues pasaba por aplicar el teorema de Menelao y su rec proco a convenientes tri angulos.

I.5-12

A. Castell on A continuaci on se enunciar a el dual del teorema de Desargues. La situaci on dual de dos tri angulos (A, B, C ) y (A , B , C ) dados por sus v ertices y con las parejas (A, A ), (B, B ) y (C, C ) de lados hom onimos determinando rectas concurrentes en O, ser a la de dos tri angulos (a, b, c) y (a , b , c ) dados por sus lados con las parejas de rectas hom onimas (a, a ), (b, b ) y (c, c ) cort andose seg un puntos de una recta o. Sean P = a a , Q = b b y R = c c alineados sobre la recta o. H agase A = b c, B = a c, C = a b, A = b c , B = a c y C = a b . Obs ervese que, con tal terminolog a, se tiene AB = c, AC = b, BC = a, A B = c , A C = b y B C = a . Se ha obrado, a n de cuentas, como suele hacerse con los tri angulos, llamando a cada v ertice con la misma letra que su lado opuesto, pero en may uscula. De aqu P = AB A B , Q = AC A C , R = BC B C , y las hip otesis del dual coinciden con la tesis de Desargues. Qu e curioso, verdad? El dual armar a ahora que las rectas p = (a b)(a b ) = CC , q = (a c)(a c ) = BB y r = (b c)(b c ) = AA , pasan todas por un punto O. Vaya, se ha topado uno con las hip otesis de Desargues. En denitiva el dual de Desargues dice lo mismo que el rec proco y puede enunciarse entonces la siguiente verdad: Sean (A, B, C ) y (A , B , C ) dos tri angulos de un plano proyectivo. Entonces, las rectas que pasan por v ertices hom onimos concurren en un punto si y solamente si las parejas de lados hom onimos se cortan seg un puntos que est an alineados. Una aplicaci on pr actica del rec proco del teorema de Desargues permite trazar por un punto A una recta concurrente con otras dos r y s que se cortan en un lugar O, inaccesible por alguna raz on, por ejemplo, porque caiga fuera del papel.

I.5-13

Apuntes de geometr a af n y proyectiva

T omense puntos cualesquiera B en r y C en s (gura I.5.9). La idea consiste en construir un tri angulo (A , B , C ) hom ologo del (A, B, C ) con B r y C s. Si se consiguiera, la recta AA ser a la l nea buscada. Para ello, el jase una recta cualquiera o que corte a los tres lados del tri angulo dentro de la gura y que har a las veces de eje de homolog a. H agase P = o AB , Q = o AC y R = o BC . Tr acese por R cualquier recta t y ll amese B a la intersecci on de t con r, y C a la de t con s. Se precisa hallar A . Por un lado, ha de caer en QC , y, por otro, en P B . As , A = QC P B y la recta AA soluciona el problema.

Aunque tambi en se podr a haber utilizado la propiedad de Pappus. Para I.5-14

A. Castell on verlo, esc ojanse puntos arbitrarios A y Q en r, y P y B en s. Sean C = A B QA y R = P Q AB (gura I.5.10). Entonces, las ternas (A , B, C ) y (P, Q, R) se encuentran en la conguraci on de Pappus con A = BR CQ. Haciendo X = A R CP , la recta AX habr a de pasar por r s = A Q BP . El teorema de Desargues produce varias versiones anes dependiendo de la cantidad de sus elementos que sean arrebatados por la recta del innito. Se compendian todas ellas en el siguiente Teorema I.5.7 Sean (A, B, C ) y (A , B , C ) dos ternas de puntos de un plano af n tales que, o bien AA , BB y CC se cortan en un punto O, o bien las tres rectas son paralelas entre s . i) Si P = AB A B , Q = AC A C y R = BC B C , entonces R P Q (guras I.5.11a y I.5.11b). ii) Si AB A B , Q = AC A C y R = BC B C , entonces QR tambi en es paralela a AB y a A B (guras I.5.11c y I.5.11d). iii) Si AB A B y AC A C , entonces BC es paralela a B C (guras I.5.11e y I.5.11f). Rec procamente, si (A, B, C ) y (A , B , C ) son dos ternas de puntos de un plano af n satisfaciendo cualesquiera de las circunstancias i), ii) o iii), entonces o bien AA , BB y CC se cortan en un punto O, o bien las tres rectas son paralelas entre s . La demostraci on se reduce a aplicar el teorema de Desargues o su rec proco en el plano proyectivo en el que se sumerge el af n y examinar las distintas posibilidades para la recta impropia seg un contenga o no al centro de homolog a y a los puntos P , Q y R del eje de homolog a. Del teorema de Desargues se obtienen multitud de propiedades acerca de pol gonos. A continuaci on se expondr an algunas de ellas, dejando otras para el lector en la secci on de ejercicios. Sup ongase que se dispone de un trapecio (A, A , B , B ) en un plano af n con AB A B y se traza una pareja de paralelas por A y A y otra por B y B que producen las intersecciones C y C con las primeras (gura I.5.12). I.5-15

Apuntes de geometr a af n y proyectiva

I.5-16

A. Castell on

Se arma que la recta CC pasa por la intersecci on O de los lados AA y BB . En efecto, los tri angulos (A, B, C ) y (A , B , C ) poseen lados paralelos dos a dos, encontr andose la situaci on rec proca de iii) del teorema I.5.7. Teorema I.5.8 Dado un cuadriv ertice (A, B, C, D) de un plano proyectivo con puntos diagonales E = AB CD, F = AC BD y G = AD BC , sea M la intersecci on de la diagonal EF con el lado AD. Entonces G pertenece a la recta determinada por P y Q, donde P = AB CM y Q = CD BM .

Demostraci on Basta observar que los tri angulos (A, E, D) y (C, M, B ) son hom ologos con el punto F como centro de homolog a. Seg un el teorema de Desargues, los puntos P , Q y G se alinean sobre el eje de homolog a. Teorema I.5.9 En un plano af n, las medianas de un tri angulo conI.5-17

Apuntes de geometr a af n y proyectiva curren en un punto de la envolvente proyectiva denominado el baricentro. Adem as, en caracter stica distinta de 3, el baricentro reside en el af n.

Demostraci on Este teorema puede demostrarse utilizando coordenadas, lo que reduce la prueba a examinar sistemas de ecuaciones lineales. Tal t actica ser a propuesta al lector en los ejercicios. Sin embargo, aqu se obtendr a como consecuencia inmediata del teorema de Desargues. Sea (A, B, C ) un tri angulo de un plano af n sobre el cuerpo K . Se trabajar a en la envolvente proyectiva del plano af n. Al punto del innito del lado AB se le denotar a por P , al del lado AC , por Q, y al del lado BC , por R. El cuadriv ertice (A, B, R, Q) tiene a A y B entre sus v ertices, y sus puntos diagonales son C , P y C = BQ AR (gura I.5.14). El cuarto arm onico de la terna (A, B, P ) ser a entonces M1 = AB CC . Recordando el lema I.4.2 y teniendo en cuenta que 1 = (ABP M1 ) = (P M1 AB ) resulta que M1 es el punto medio del lado AB . De forma an aloga se encontrar an los puntos medios de los otros dos lados, el M2 considerando el cuadriv ertice (A, C, R, P ) (con B = AR CP y M2 = AC BB ), mientras que el punto M3 se obtiene del cuadriv ertice (B, C, P, Q) (con A = BQ CP y M3 = BC AA ). N otese que las medianas son las rectas AA , BB y CC . Pero ahora los tri angulos I.5-18

A. Castell on (A, B, C ) y (A , B , C ) est an en la conguraci on del rec proco de Desargues pues las parejas de lados hom onimos se cortan seg un los puntos alineados P , Q y R. De ah que las medianas hayan de concurrir en el punto O, que ser a el baricentro. Para la segunda parte, sup ongase que el baricentro O reside en el innito7 . El cuadriv ertice {B, C, P, Q}, del que R es punto diagonal, proporciona la cuaterna arm onica (B, C, R, M3 ). Tambi en se ha probado que (ABP M1 ) = 1. Pero la perspectividad de centro O transforma esta u ltima cuaterna arm onica en la (M3 , B, R, C ). Para ello, t engase en cuenta que OP BC debe ser el punto impropio de BC , esto es, R. En denitiva, tanto (B, C, R, M3 ) como (M3 , B, R, C ) forman cuaternas arm onicas. Del teorema I.4.4 se desprende
1 que 1 = 1 stica de K es 3. (Recu erdese 1 , lo que implica que la caracter

aqu el ejercicio I.4.20.)

4 Ejercicios 1) Compl etese la demostraci on del lema I.5.1. 2) Pru ebese que si es una proyectividad de un plano distinta de la identidad y con toda una recta r de puntos dobles, entonces es una homolog a. Indicaci on: real cese el razonamiento dual al expuesto en la demostraci on del teorema I.5.1. 3) Demu estrese que una homolog a de un plano no tiene m as puntos dobles que el centro y el eje, ni m as rectas dobles que el eje y las que pasan por el centro. 4) Sea : P P una proyectividad con dim P 2. Demu estrese que si hay en P dos hiperplanos distintos H y H compuestos por puntos dobles, entonces = 1P . 5) Las deniciones de proyectividad central y homolog a pueden extenderse a espacios proyectivos de dimensi on n 2 de forma obvia: de una
7

A la situaci on en que dos tri angulos son hom ologos con respecto a una homolog a cuyo eje pasa por el centro se la conoce como la conguraci on menor de Desargues .

I.5-19

Apuntes de geometr a af n y proyectiva proyectividad : P P se dir a que es central si existe un C P tal que cada hiperplano H que contenga a C es doble ( (H) = H). A la proyectividad central se la llamar a homolog a cuando = 1P . Pues bien, si : P P es una homolog a con dim P 2, pru ebense las siguientes propiedades: i) Cada recta por el centro es doble. ii) El centro C de es u nico. iii) Cada hiperplano doble que no pasa por C est a lleno de puntos dobles. iv) Existe un u nico hiperplano compuesto por puntos dobles (esta es la generalizaci on del teorema I.5.1). 6) En un plano proyectivo P , sea una homolog a de centro C y eje r. En este ejercicio se estudiar an las restricciones de a un plano af n A = P s, con s una recta distinta del eje. En tales circunstancias, ya se vio que C ha de quedarse en el innito. Ll amese a la restricci on de al af n. i) Demu estrese que el conjunto {P (P ) : P = (P ), P A} constituye un haz de rectas paralelas. ii) Si C / r, pru ebese que opera en cada recta A (A) como una homotecia, esto es, existe un escalar tal que (A) P = (A P ) para cada punto A fuera del eje, con P = A (A) r 8 . Indicaci on: puede facilitar bastante el trabajo usar el ejercicio I.4.19 y el hecho de que la raz on doble es invariante por perspectividades. iii) Si C r, compru ebese que restringida a cada recta paralela al eje es una traslaci on 9. iv) Dense m etodos gr acos para el c alculo de dilataciones y transvecciones conocidos el eje r y un par de puntos hom ologos (A, A ), con A / r. 7) En unciese el dual del teorema de Pappus 10. Si es posible, h agase lo propio con el teorema menor de Pappus.
8 9

En tal situaci on, se dice de que es una dilataci on de raz on . A se la llama entonces una transvecci on. En cierta literatura lo llaman el teorema de Brianchon

10

I.5-20

A. Castell on 8) Compru ebese que en un plano af n la composici on de dos homotecias del mismo centro C y razones respectivas y es otra homotecia de centro C y raz on . Util cese este hecho y el teorema I.5.5 para dar una demostraci on alternativa del teorema de Pappus. 9) Sean r, s, t, a, b, c, a , b , c nueve rectas distintas de un plano proyectivo tales que a a s, b b s, c c s, c b r, a c r, b a r, b a t y a c t. Demu estrese que c b t. 10) El teorema de Desargues ha sido comprobado en espacios proyectivos bidimensionales. Exam nese la prueba para eliminar de ella las restricciones sobre la dimensi on. Dicho de otra forma, pru ebese que dos tri angulos hom ologos y no coplanarios de un espacio proyectivo de dimensi on mayor o igual que 2 son tales que sus lados hom ologos, adem as de cortarse, lo cual no resulta autom atico en estas dimensiones, lo hacen seg un puntos de la misma recta. 11) Sean (A, B, C, D) y (A , B , C , D ) dos tetraedros dados por sus v ertices de un espacio proyectivo tridimensional tales que las rectas AA , BB , CC y DD pasan todas por un punto O distinto de los ocho primeros. i) Pru ebese que las parejas de caras hom ologas se cortan seg un rectas coplanarias. El t ermino hom ologo se entiende en sentido obvio, por ejemplo, la cara A + B + C es la hom ologa de la cara A + B + C . La anterior es una analog a tridimensional del teorema de Desargues. ii) Demu estrese el rec proco, esto es, si dos tetraedros de un espacio tridimensional satisfacen que sus parejas de caras hom ologas se cortan seg un tres rectas del mismo plano, entonces las rectas determinadas por parejas de v ertices hom ologos concurren en un punto. iii) En unciese alguna otra analog a en dimensi on cuatro. 12) Demu estrese que si en un plano proyectivo el tri angulo (A, B, C ) es hom ologo con el (A , B , C ) y con el (B , C , A ), entonces tambi en lo es con el (C , A , B ). 13) Obt engase el rec proco de la propiedad de Pappus aplicando el diI.5-21

Apuntes de geometr a af n y proyectiva recto a convenientes ternas de puntos. Con mayor concreci on, en un plano proyectivo sean A, B y C tres puntos de una recta, y P , Q y R otros tres puntos arbitrarios. Consid erense los puntos X = AQ BP , Y = BR CQ y Z = AR CP . Pru ebese que si X , Y y Z est an alineados, entonces el punto R ha de pertenecer a la recta P Q. 14) Si tres tri angulos de un plano son hom ologos dos a dos respecto a mismo centro de homolog a, compru ebese que los ejes de homolog a concurren en un punto. * 15) En un plano af n consid erese un cuadriv ertice (A, B, C, D). Sean P la intersecci on de AD con la paralela a CD por B , y Q, el punto de corte de BC con la paralela a AB por D. Util cese el teorema de Pappus para demostrar que P Q y AC son rectas paralelas 11. 16) Sean A, B , C , D cuatro puntos y a, b, c, d cuatro rectas de un plano tales que b c AD, c a BD, a b CD, a d BC y b d AC . Pru ebese que c d AB . 17) Resu elvase el ejercicio I.3.5 utilizando tan solo el teorema de Desargues. 18) Dado un pent agono (A, B, C, D, E ) de un plano, sean F = AB CD y M = AD EF . Demu estrese que los puntos P = AE BM , Q = DE CM y R = BC AD est an alineados. 19) En un plano af n sup ongase que tanto (A, B, C, D) como (A, B , C, D ) son paralelogramos. Pru ebese que (B, B , D, D ) es otro paralelogramo. 20) Obt engase una demostraci on anal tica (es decir, que haga uso de las coordenadas homog eneas) del teorema I.5.9. Indicaci on: Si A, B y C son los v ertices de un tri angulo (no degenerado, claro), P es el punto del innito de AB , y Q, el de AC , t omese un sistema de coordenadas homog eneas del tipo {A, P, Q; U }, para cualquier U que haga las veces de punto unidad. En el, A tiene coordenadas (1, 0, 0), mientras que las de B son (1, , 0), y (1, 0, ) las de C .
11

A este hecho se le conoce como propiedad especial de Pappus.

I.5-22

A. Castell on 21) En un plano af n sobre un cuerpo de carcater stica 3 se considera el cuadriv ertice {A, B, C, D} de puntos diagonales E = AB CD, F = AC BD y G = AD BC . Sea H la intersecci on de la diagonal F G con el lado CD. Demu estrese que las rectas AH , EF y BC concurren. Int entese una argumentaci on sint etica que utilice el ejercicio I.4.20. Si no se consigue, se permite al lector recurrir a coordenadas. 22) Pru ebese el rec proco de la segunda parte del teorema I.5.9, es decir, que en caracter stica 3, las medianas de un tri angulo son rectas paralelas. De nuevo deber a acometerse un razonamiento sint etico apoyado en el ejercicio anterior, y solo acabar usando coordenadas en caso de desesperaci on.

I.5-23