1. Conceptos y sus relaciones de Incidencia.

a. Punto Impropio Qu tienen en comn todo par de rectas paralelas? Cuando queremos dar una direccin dibujamos una recta, pero la direccin no es esa recta, dado que cualquier recta paralela lo cumple. Puig Adam, en su libro Curso de Geometra Mtrica, tomo II, observa que el concepto de direccin tiene relaciones de incidencia idnticas a las del punto: I. Dos recta de un plano o tienen en comn un punto, o tienen comn una direccin. II. Dos puntos determinan una recta; y anlogamente: Un punto P y una direccin determinan una recta. (aplicacin del V postulado de Euclides) III. Por una recta y un punto no incidentes, no pasa ms que un plano. Anlogamente: Por una recta no pasa ms que un plano paralelo a una direccin dada (distinta de la de la recta). Por lo que podemos afirmar que todo par de rectas paralelas tienen un punto en comn al que llamaremos punto impropio. Unificando el concepto de direccin y punto impropio los enunciados anteriores se resumen en lo siguiente: I. Dos rectas en un plano determinan un II. Dos puntos (propios, o uno propio y otro punto (propio o Impropio) comn a ambas. Impropios) determinan una recta a la que pertenecen. b. Recta Impropia Qu sucede con dos puntos Impropios? Dos puntos impropios determinan una orientacin. Para comprobarlo tracemos por un punto cualquiera del espacio rectas paralelas a ambas direcciones, estas paralelas determinan un plano. Todos los planos que podemos obtener de este modo son paralelos entre s y se dice que tienen la misma orientacin (la cual contiene todas las direcciones). Propiedades de Incidencia que cumple el concepto de Orientacin: II'. Dos direcciones determinan, pues, una orientacin que las contiene. (Enunciado anlogo al II anterior). III'. Un punto y una orientacin determinan un plano al que pertenecen. (Enunciado anlogo al III anterior). IV. Un plano y una orientacin distinta de la del plano determinan una direccin, lo mismo que un plano y una recta no incidentes definen un punto. V. Dos planos o tienen una recta comn o una orientacin comn. De lo anterior podemos convenir en llamar recta impropia a la orientacin, dado que cumple las relaciones de incidencia de la recta, y englobar II y II' de la siguiente forma: II. Dos puntos (propios o impropios) determinan una recta (propia o impropia). c. Plano Impropio Como observamos los elementos impropios se comportan en sus propiedades como si fuesen puntos y rectas de un plano, que llamaremos plano impropio.

Comp. de Geometra

2357ymas@gmail.com

2. Generalizacin de las relaciones de incidencia.

En gran medida ya lo hicimos a medida que realizamos los convenio de nominacin a modo de comprobacin de que los nombres cumplan las propiedades de los conceptos aludidos. Pero ac los resumiremos sin distincin de los adjetivos de propio o impropio. En Geometra plana. (i). Dos rectas determinan un punto situado en ambas. En Geometra del espacio. (ii). Dos puntos determinan una recta que pasa por ambos. (iii).Un punto y una recta no incidentes determinan un plano que pasa por ellos. Fcilmente se puede verificar que: Tres puntos no alineados determinan un plano que pasa por ellos. Si una recta tiene dos puntos en una plano, est contenida en l. Tres planos no concurrentes en una recta determinan un punto situado en ellos. Si una recta pertenece a dos planos que pasan por un punto, es incidente con dicho punto. (v). Dos planos determinan situada en ambos. una recta (ii). Dos puntos determinan una recta que pasa por ellos.

(iv).Un plano y una recta no incidentes definen un punto situado en ellos.

3. Leyes de dualidad.
La presentacin en doble columna de las proposiciones anteriores nos permite ver la simetra entre las relaciones de incidencia, en el plano, la recta y el punto, y en el espacio el punto y el plano, y su relacin con la recta. La relacin de pertenencia estar en se convierte en la recproca pasar por, pero si no se quiere distinguir una de otra se puede utilizar el concepto universal de incidencia. (Ver anexo 2)

4. Operaciones bsicas de la proyectividad

La proyeccin desde un punto o una recta y la seccin por una recta o un plano, son las operaciones bsicas de la proyectividad. a. Tipos de Proyeccin Proyeccin de un punto A desde otro O. Consiste en trazar la recta a que pasa por ambos. Proyeccin de una recta r desde un punto O que no pertenece a ella. Consiste en trazar el plano definido por ambas. Proyeccin de un punto O desde una recta r que no lo contiene. Consiste, como en el caso anterior, en trazar el plano definido por ambos.
Comp. de Geometra

2357ymas@gmail.com

b. Tipos de secciones. Seccionar o cortar dos figuras geometras es la operacin correlativa o dual a proyectar. Seccin de una recta r por otra a. Es la determinacin del punto P comn de ambas1. Seccin de un plano por una recta r, o viceversa. Consiste en hallar el punto P comn a ambos. Seccin de un plano por otro . Consiste en determinar la recta r comn a ambos. c. Relaciones entre proyeccin y seccin Al proyectar una serie rectilnea, A, B, C, , de una recta r, desde un punto V exterior a ella, se obtiene un haz de rectas a, b, c,..., de vrtice V que pertenecen al plano definido por V y r. Que se designa V(ABC...). Recprocamente, la seccin de un haz de rectas a, b, c,..., por otra recta r, que no pase por el vrtice V del haz, produce una serie rectilnea, A, B, C,... Si proyectamos una serie rectilnea, A, B, C,..., desde una recta r, no coplanaria con la serie, se obtiene un haz de planos , , ,... cuya arista es r. Si seccionamos un haz de planos , , ,... de arista m por una recta r, no coplanaria con ella, se obtiene una serie rectilnea, A, B, C. La proyeccin de un haz de rectas a, b, c,... de vrtice V desde un punto O exterior al haz, produce un haz de planos , , ,... cuya arista r es la proyeccin de v desde O. As mismo, la seccin de una haz de planos , , ,... de arista r, por otro plano , que no contiene a la arista, determina un haz de rectas a, b, c,... cuyo vrtice V es la interseccin de la arista r con el plano . Al proyectar una forma plana ABCDE desde un punto exterior a ella, se obtiene una superficie radiada de vrtice O. Del mismo modo, la seccin de una superficie radiada de vrtice O por un plano que no contiene a ste produce una forma plana ABCDE. De las propiedades antes establecidas se deduce: Las operaciones de proyeccin y seccin conservan las relaciones de incidencia.

5. Categora de una forma geometra fundamental.

Es el nmero de condiciones necesarias para fijar o determinar cada elemento constituyente de manera inequvoca, dentro de la propia forma a la pertenece. a. Figura de Primera categora Son las constituidas por elementos de una sola especie puntos (serie rectilnea), recta (haz de rayos) y plano (haz de planos).
1 En el desarrollo del texto no se har distincin entre figuras propia o impropia, a menos que sea necesario.

Comp. de Geometra

2357ymas@gmail.com

Las ms sencillas o fundamentales son : La serie rectilnea o conjunto de infinitos puntos de una recta. Son figuras de esta forma la recta y/o el segmento. Haz de rayos o radiacin plana, es el conjunto de infinitas rectas de un plano que pasan por un punto. Son figuras de esta forma un ngulo y el haz de rectas o rayos. El haz de planos, es el conjunto de infinitos planos que pasan por una recta. Son figuras de esta forma el ngulo diedro y el haz de planos. b. Figura de segunda categora Son las constituidas por elementos de dos especies (puntos y rectas o rectas y planos). Las ms sencillas o fundamentales son : La forma plana, es el conjunto de todos los puntos y rectas de un plano. Son figuras de esta forma las curvas planas y los polgonos. La radiacin, es el conjunto de las infinitas rectas y planos que pasan por un punto. Son figuras de esta forma la radiacin de rectas, la radiacin de planos, las superficies cnicas y las superficies piramidales. c. Figuras de tercera categora Son el conjunto de los infinitos puntos, rectas y planos del espacio. Son figuras de esta forma los poliedros, las superficies curvas, las superficies regladas y todas las figuras geomtricas.
http://trazoide.com/wiki

6. Haces y secciones proyectivas

a. La proyectividad segn Poncelet Definicin Dos figuras de primera o de segunda categora se llaman proyectivas entre s cuando pueden obtenerse una de otra mediante una sucesin de proyecciones y secciones. Apliquemos los visto en 4.c: proyectando una serie ABCD... desde un punto exterior (fig I) tenemos un haz de rectas abcd... Cortando este haz por otra recta, tenemos otra serie A'B'C'D'... Proyectando esta serie desde una recta (no secante) obtenemos un haz de planos ..., el cual cortado a su vez por otra recta dar una serie A''B''C''D''...

Fig. I Comp. de Geometra

Fig. II

2357ymas@gmail.com

Anlogamente (fig. II) por proyecciones y secciones sucesivas podemos pasar de una figura de segunda categora ABCD, a otras abcd, A'B'C'D' que llamaremos proyectivas con ella. i. Determinacin de figuras proyectivas Dada dos figuras, para reconocer si son proyectivas segn Poncelet, debemos encontrar una sucesin de proyecciones y secciones que las ligue, pero cmo podemos reconocer, a priori, si tal sucesin existe?. Para esto se buscaran propiedades, invariantes de la proyectividad, que este presente en las dos figuras:

7. Invariantes mtricos
a. Razn Simple Dado tres puntos alineados ABC llamamos razn simple entre ellos (ABC) al valor de la razn entre los segmentos orientados AB:AC, cuyo signo es + o , segn que el sentido de ellos sea coincidente u opuesto. AB ( ABC)= AC i. Propiedades:
( ACB)= 1 ( ABC ) (CBA)=1( ABC) (CAB)= 1 1( ABC) (BAC )= ( ABC) ( ABC)1

ii. Variacin de la razn simple. Coordenadas baricntricas. Existe una correspondencia biunivoca entre el valor numrico de la razn simple (XBC) y la posicin de X, siendo X un punto variable en una recta y los puntos B, C fijos en la misma. Por lo que el valor que toma (XBC) determina una posicin para X, denominada coordenada baricentrica de X.
( XBC)= XB = XC

Si llamamos x a la abscisa de X, y b y c a las de B y C respectivamente, se tendr en valor y signo para cualquier posicin de X:
= b x c x

de donde despejando x obtenemos x= 1 , que da la abscisa nica x correspondiente a un valor dado de , obteniendo de este modo la coordenada baricntrica. iii. La razn simple como invariante en la proyeccin paralela. Con el uso del Teorema de Thales, se demuestra de modo inmediato:

b c

Realizando una proyeccin paralela de una terna ABC, segn otra A'B'C', se conserva el valor de la razn simple (A'B'C')=(ABC).

Comp. de Geometra

2357ymas@gmail.com

Tambin se cumple que la razn simple es invariante en toda proyeccin central sobre rectas paralelas.

Al proyectar una serie ACD desde un punto propio V sobre otra A'C'D' no paralela, vara la razn simple.
Esto se demuestra fcilmente con la aplicacin del teorema del seno. Expresemos la razn simple en funcin de los ngulos ordinarios convexos ac, ad formados por los rayos proyectantes VA, VC, VD se tiene: sen ac sen ad AC=VC AD=VD senVAC , senVAD dividiendo AC : AD, obtenemos: AC sen ac VC ( ACD )= = AD senad VD De los dos factores de la igualdad anterior, el primero es fijo si lo son los tres rayos acb; el segundo depende de la recta que secciona el haz. Para otra seccin: A ' C ' sen ac VC ' ( A ' C ' D ' )= = A ' D ' sen ad VD' VC VC ' de donde se da la igualdad VD = VD' , si las secciones son paralelas.

Por lo tanto: La razn simple es un invariante mtrico en toda proyeccin paralela. iv. Razn simple de una terna de rayos

(abc )=

sen ab sen ac

Siendo ab, ac los ngulos convexos (nicos que pueden proyectar segmentos propios). Y atribuyndole signos iguales o distintos a los ngulos, segn sea del mismo o de opuesto sentido. b. Razn Doble como invariante mtrico de la proyeccin. En consecuencia de lo visto anteriormente construiremos un invariante para la proyeccin no paralela. Para esto debemos neutralizar el factor variable VC : VD: dividamos la razn simple (ACD) por una anloga, construida tomando otro punto B.
( BCD)= BC senbc VC = BD sen bd VD

(ACD):(BCD):
AC BC sen ac senbc : = : AD BD sen ad senbd

o bien

( ACD):(BCD )=(acd ): (bcd)

El primer miembro de se llama razn doble o armnica de la cuaterna de puntos ABCD y se designa (ABCD). El segundo miembro se llama razn doble de la cuaterna de rayos a, b, c, d designndosela por (abcd), mantenindose en estas los convenios establecidos en los
6

Comp. de Geometra

2357ymas@gmail.com

prrafos anteriores en cuanto a los signos. La razn doble de una cuaterna de rayos { puntos} con ellos. Razn doble de...
AC BC : AD BD senac senbc cuatro rayos: (abcd )= : senad senbd

{ puntos} rayos

es igual a la razn doble de la cuaterna de un punto { desdeuna recta } por no alineado { concurrente }

obtenida

{ proyectando} cortando

la anterior

cuatro puntos:

( ABCD)=

cuatro planos de un haz (es la de seccin recta):

( )=

sen ac senbc : sen ad senbd

Comparando esta seccin recta abcd con otra oblicua a'b'c'd', ambas se cortan en una cuaterna de puntos ABCD situada en la interseccin de sus planos, tenemos que:
( )=( abcd )=( ABCD)=(a ' b ' c ' d ')

La razn doble de una haz de cuatro planos es igual a la de puntos una recta que resulta de cortarlo por rayos un plano concurrente con la arista. cualquiera no incidente

Concluimos: La razn doble de cuatro elementos de una figura de primera categora es un invariante en toda transformacin proyectiva de la misma.

Cuaterna Armnica: Se le llama a cuatro elementos cuya razn doble vale -1. 2 i. Razn doble con elementos impropios. Qu sucede si uno de los puntos, A por ejemplo, es impropio (dado que las demostraciones anteriores suponen propios los puntos ABCD)?
AC sen ac VC , = AD sen ad VD BC senbc VC = BD senbd VD

verificndose ahora (por el paralelismo entre a y la recta BD)

VC senVDC senad = = VD sen VCD senac

( ABCD)=
2

AC BD sen ac sen ad BD = AD BC senad sen ac BC

Se dice que AB esta armnicamente separado de XX' cuando (ABXX')=-1. La separacin armnica es reciproca, si (ABXX')=-1, (XX'AB) =-1 por lo tanto se dice puede decir que XX' estan armonicamente separados de AB.

Comp. de Geometra

2357ymas@gmail.com

Finalmente, la razn doble de cuatro puntos impropios es la razn doble de cuatro rayos proyectantes desde un punto cualquiera del plano, definicin independiente del punto elegido, se conservar la validez de la relacin (ABCD) cmo invariante mtrico de la proyectividad, aun en el caso en que se corte el haz abcd por la recta impropia. ii. Propiedades: Si ( ABCD)=
( BADC)=(CDAB)=( CDAB)=( DCBA)= ( ACDB)= 1 1 1 ( ADBC )=1 1 ( ABDC )= ( ADCB)= 1 1 1

iii. Variacin de la razn doble. Coordenadas proyectivas. Anlogo al procedimiento realizado con la razn simple se determina:
=( XBCD )= XC BC XC : = k XD BD XD

Por lo que los valores de son los de la razn simple =( XCD ) multiplicado por el factor k =BC : BD , por ser BCD puntos fijos. La representacin grfica de la funcin
= k= c x k , es la misma de la funcin dx =( XCD )

pero con un cambio en el eje vertical. Anlisis: Para Para Para Para Para

XB XC XD X B' X

(BBCD) = (BCD):(BCD) = 1 (CBCD) = 0 (DBCD) (armnicamente separado de B respecto CD) (B'BCD) = -1 (BCD)=1:(BCD)=(BCD)

A cada valor x, abscisa del punto X, corresponde un valor y, recprocamente, a cada valor corresponde un valor =( XCD) y por lo tanto un valor de x nmero indicador de la posicin de X. Por lo tanto la razn doble (XBCD) puede servir como nmero indicador de la posicin de X y se llama coordenada proyectiva de X respecto a los tres puntos fijos BCD.

8. Proyectividad entre formas de primera categora.

Anteriormente vimos que para saber si dos figuras geometras eran proyectivas entre s debamos determinar si exista una sucesin de proyecciones y/o secciones que pasramos de una a otra. Chasles aplicando los invariantes metrcos vistos y analizados anteriormente, planteo lo siguiente:

Comp. de Geometra

2357ymas@gmail.com

a. Definicin de proyectividad segn Chasles: Dos formas de primera categora son proyectivas, cuando se corresponden elemento a elemento de tal modo que la razn doble de cuatro elementos cualesquiera, tomados en una forma, es igual a la razn doble de sus homlogos en la otra. Si los elementos A,B,C,D,... de una serie son respectivamente homlogos con los de otra proyectiva con ella A', B', C', D',... escribimos ABCD... A'B'C'D'... lo que se traduce, segn Chasles, que son iguales las razones dobles de las cuaternas homlogas: (ABCD) = (A'B'C'D') (ABCE)=(A'B'C'E')

Anlogamente si la serie ABCDE... es proyectiva con el haz de rectas abcd... y con el haz de planos ... escribimos: ABCD... abcd... ... (figuras de primera categora) i. Teorema: Dos series o haces congruentes son proyectivos. ii. Qu sucede si las series son impropias? De la propiedad anterior y por lo visto en 8.b.i: Razn doble con elementos impropios, resulta que: Dos series impropias son proyectivas entre s cuando lo son los haces que las proyectan desde dos puntos propios cualesquiera. Definicin independiente de los puntos elegidos por el paralelismo de los pares de haces proyectantes de una misma serie impropia. b. Teorema fundamental de la proyectividad Antes de mencionar el teorema debemos mencionar cundo dos formas de primera categora son superpuestas: en el caso de las series lo son cuando tienen la misma recta base, en el caso de dos haces de planos lo son cuando tienen la misma arista y en los haces de rectas si estn situados en el mismo plano y tienen el mismo vrtice. Si en una proyectividad (segn Chasles), entre dos formas de primera categora superpuestas, tres elementos de una de ellas coinciden con sus homlogos en la otra, coinciden todos los restantes pares de puntos homlogos

Comp. de Geometra

2357ymas@gmail.com

Demostracin: En la proyectividad: ABCDEF... ABCDEF... coinciden A con A, B con B, C con C por lo tanto: (ABCD) = (ABCD) = (ABCD) Lo que exige que D D por no existir un punto que forme con otros tres una razn doble determinada (8.b.iii: Variacin de la razn doble y coordenadas proyectiva). Anlogamente E E, F F,... Es decir coinciden todos los pares de puntos homlogos. c. Equivalencia de las definiciones de Chasles y Poncelet. La conservacin de la razn doble en las operaciones de proyectar y cortar, prueba que: Dos figuras proyectivas segn Poncelet, lo son segn Chasles. Recprocamente demostraremos que: Dos series proyectivas, segn Chasles, pueden obtenerse una de otra por una sucesin de proyecciones y secciones, es decir, son proyectivos, segn Poncelet. Demostracin: Supongamos las series coplanarias V (bastando, si no cumplieran la condicin, proyectar una de ellas desde un punto exterior a las dos sobre un plano que pase por la otra) y adems no superpuestas (bastando, en caso de que lo fueran, proyectar una de ellas sobre otra recta C'' coplanaria). Sean estas rectas ABC... y B'' A'' A1B1C1 ... y r y r1 sus bases respectivas. Elijamos ahora en la recta AA1 dos puntos B' C' A' r cualesquiera V, V1 y cortemos los haces proyectivos V1(A1B1C1...) V(ABC...), por la recta r2B2C2, siendo B2 la interseccin de VB y V1B1, y el punto C2 la interseccin V' de VC y V1C1. Sea A2 la interseccin de r2 con AA1. Las secciones de estos haces con r2 sern dos series proyectivas (Chasles) con tres elementos A2, B2, C2 coincidentes. Luego coincidirn todos los dems. Es decir, en la recta r2 se cortarn los pares de rayos homlogos de los haces proyectivos V(ABC ...) y V1(A1B1C1 ...) , quedando de este modo enlazadas las series dadas ABC ..., A1B1C1 ... por una sucesin de proyecciones y secciones. As, proyectando ABC... desde V y cortando por r2 obtenemos A2B2C2 ... y proyectando esta serie desde V1 y cortando por r1 obtendremos A1B1C1 ... La demostracin para haces de rectas o planos, puede siempre reducirse a la anterior, seccionando previamente cada haz por una recta. La equivalencia de ambas definiciones de proyectividad nos permite aplicarlas indistintamente para llevar, en cada momento, las deducciones por la va ms cmoda: d. Determinacin de una proyectividad por tres pares de elementos homlogos. Una proyectividad entre dos formas de primera categora queda definida dando tres pares de elementos3 homologos.
3 Destaquemos que utiliza la palabra elementos y no puntos. 10
2357ymas@gmail.com

Comp. de Geometra

Demostracin: Dado tres puntos de una serie A, B, C y otros tres homlogos A, B, C en la otra. Podemos hallar de infinidad de maneras un conjunto de proyecciones y secciones, es decir, una proyectividad (Poncelet) en la que sean homlogos ABC y ABC. Cualquiera que sea la sucesin de operaciones elegida, la correspondencia obtenida es la misma, pues todo nuevo punto X de la serie ABC... define una razn doble (XABC), y le ha de corresponder en la segunda serire el nico punto X 4. Que forma con A, B, C una razn doble (XABC) igual a la (XABC) (Chasles). e. Nota (Definicin de Staudt): Otra forma de determinar la proyectividad es la presentada por Staudt, que cumple la particularidad de unificar las dos definiciones anteriormente citadas (Proncelet y Chasles). Esta definicin se destaca por su aplicacin dado que podra decirse que es un caso particular de la definicin de Chasles, porque plantea la correspondencia de razones dobles iguales a -1 (cuaternas armnicas). Aplicando una propiedad de los cuadrivertices que comprueba cuaternas armnicas atraves de simples condiciones de incidencia 5, simplicando el trabajo mtrico de determinar si dos figuras de primera categora son proyectivas. f. Grupo Proyectivo Aplicando cualquiera de las definiciones resulta: El producto de dos proyectividades es una proyectividad. La transformacin inversa de una proyectividad es tambin proyectividad.

Por tanto: Todas las proyectividades entre formas de primera categora forman grupo. Llamado grupo proyectivo6. En resumen: La relacin proyectiva es invariante respecto de todas las proyectividades. Si dos series son proyectivas, sus transformados mediante cualquier proyectividad se corresponden con los primeros mediante otra proyectividad.

9. Proyectividad e Involucin entre formas de primera categora.

a. Formas Perspectivas

Una serie y un haz son perspectivos, cuando la serie es seccin del haz.

Dos series son perspectivas, cuando ambas son secciones de un mismo haz.

Dos haces son perspectivos, cuando ambos son proyecciones de una misma serie.

4
5 6

La unicidad de este punto fue tratada en x Variacin de la razn doble. Coordenada proyectiva.
Anexo 5: Obtencin de cuaternas armnicas con el simple uso de regla. Concepto de Grupo: cuando un conjunto de transformaciones es tal que contiene todas las transformaciones inversas y todas las transformaciones producto de dos cualesquiera de las del conjunto se dice que estas transformaciones forman grupo. Podemos pues resumir en el siguiente Ax. III 4-5: Los movimientos del plano forman grupo. PUIG ADAM, P. (1970). Curso de Geometra Mtrica. Tomo 1. Madrid: Editorial Euler. Pg 25.

Comp. de Geometra

11

2357ymas@gmail.com

Las rectas que unen puntos homlogos se intercecan en un punto V llamado centro perspectivo de las series.

Los puntos de interseccin de pares de rayos homlogos estn alineados en el eje perspectivo.

La correspondencia entre formas perspectivas se llama perspectividad. Segn la definicin de Poncelet, podemos decir: Toda proyectividad es una producto de perspectividades.

b. Relacin entre Proyectividad y Perspectividad. i. Teorema Dos series proyectivas ABC..., A'B'C'... situadas en bases distintas tales que un punto comn a ambas bases es homlogo de s mismo, doble A A', son perspectivas.
Demostracin: Proyectando las dos series desde el punto V de interseccin de BB' y CC' se obtienen dos haces proyectivos superpuestos con tres rayos dobles a, b, c y, por tanto, sern dobles todos los dems, Teorema fundamental.

Dos haces proyectivos abc..., a'b'c'... de vrtices distintos tales que el rayo a a' comn a ambos haces es homlogo de s mismo (doble), son perspectivos.
Demostracin: Cortando ambos haces por la recta r que une los puntos bb' y cc' se obtienen dos series proyectivas superpuestas con tres puntos dobles A, B, C y, por tanto, sern dobles todos los dems, Teorema fundamental.

ii. Determinacin de una perspectividad a partir de una proyectividad Dada dos superpuestas: series proyectivas no Dados dos superpuestos haces proyectivos no

ABCD... A'B'C'D'... los haces que las proyectan respectivamente desde dos puntos homlogos A, A' (tomados cada uno en la otra serie) son perspectivos. El eje e de esta perspectividad es independiente del par de puntos homlogos elegidos y se llama eje proyectivo de las series dadas.

abcd... a'b'c'd'...
las series obtenidas, cortndolos respectivamente por dos rayos homlogos a y a' (tomado cada uno en el otro haz) son perspectivos. El centro V de esta perspectividad es independiente del para de rayos homlogos elegidos y se llama centro proyectivo de los haces dados.

Fig. I

Fig. II

Comp. de Geometra

12

2357ymas@gmail.com

Demostracin (teorema izquierdo) En efecto los haces A(A'B'C'...) y A'(ABC...) son proyectivos y tienen el rayo comn AA' homlogo de s mismo. Por tanto, aplicando teorema anterior, queda demostrada la primera parte del teorema. Para hallar el punto homologo de uno C de la primera serie, basta proyectarlo desde A' sobre el eje e y proyectar el punto obtenido desde A sobre la base de la segunda serie (fig. I). Recprocamente para hallar el homlogo de un punto de sta. Aplicando esta construccin al punto de interseccin de las bases de las series considerado como punto M de la serie ABC... resulta como homlogo (realizando los pasos anteriormente descritos) el punto M' de interseccin del eje con la base de la segunda serie y, anlogamente, considerando el punto de interseccin de ambas bases como punto N' de la segunda serie, resulta como homlogo el punto N de interseccin de e con la primera serie. Si las series no son perspectivas , los puntos M' y N son distintos los cuales bastaran para determinar el eje, el cual es, por tanto, independiente del par de puntos A y A' elegidos, demostrado de este modo la segunda parte del teorema. Si las series son perspectivas, es decir si son secciones de un mismo haz, el eje proyectivo pasa por el punto comn a las dos series M M' que es doble y tambin por el punto de interseccin de AB' y BA'. Tomando como nuevos vrtices de proyeccin B y B', el eje ha de pasar por los dos mismo puntos, lo que demuestra que el teorema es cierto en todo caso. Demostracin (teorema derecho) Se demuestra correlativamente, aunque la ley de dualidad hace innecesaria la demostracin. c. Puntos limites de dos series perspectivas. Cmo determinamos los homlogos de puntos impropios?. En el caso en que los puntos impropios de dos series no son homlogos entre s, cada uno de ellos tiene un homlogo propio en la otra serie, que se llama punto lmite de la misma. Llamaremos L al punto lmite de la primera serie (homlogo del punto impropio de la segunda) y K' al punto lmite de la segunda serie (homlogo del impropio de la primera). En la figura se indica su construccin, mediante el eje proyectivo (mtodo correlativo al visto anteriormente). Si expresamos la igualdad de las razones dobles formadas por estos dos pares de puntos y otros dos pares homlogos, se obtiene:
( LK AB)=( L ' K ' A ' B ')

o sea

LA K ' B ' = LB K ' A '

de donde:
LA K ' A '=LB K ' B '

En dos series proyectivas con puntos lmites el producto de distancias de dos puntos homlogos a los puntos lmites respectivos es constante.

Comp. de Geometra

13

2357ymas@gmail.com

d. Construccin de perspectividad en formas superpuestas. Si ABC... y A'B'C'... son dos series proyectivas superpuestas, proyectandolas desde dos puntos situados fuera de su base, se obtiene dos haces proyectivos no superpuestos. A los cuales se les puede aplicar las construcciones de la derecha del epgrafe 11.b.ii. e. Involucin i. Definicin: Una proyectividad entre series superpuestas en la cual todos los puntos se corresponden doblemente se llama involucin. ii. Teorema: Si en una proyectividad entre dos formas de primera categora superpuestas, dos elementos homlogos AA' se corresponden doblemente 7, se corresponden asimismo doblemente los restantes puntos homlogos. Demostracin: La razn doble AA'XX' formada con A, A' y otro par de puntos homlogos cualesquiera X, X', es igual a la que resulta de permutar A y A' y tambin X y X' (8.b.ii Propiedades de razones dobles). (AA'XX')=(A'AX'X) lo que demuestra, que en la proyectividad definida por las ternas AA'X A'AX', el punto homlogo de X', como perteneciente a la primera forma, es X, y, por tanto, todos los puntos homlogos se corresponden doblemente. El razonamiento es general lo mismo para series que para haces. Tal proyectividad se llama involucin. iii. Teorema: Si una involucin tiene dos puntos dobles M y N, la razn doble formada por dos puntos homlogos cualesquiera A y A' y los puntos dobles M y N (caracterstica), vale -1. Reciproco : Los pares de puntos AA', BB', armnicamente seprados por dos puntos fijos MN forman una involucin cuyos puntos dobles son MN. Si abc... y a'b'c'... son dos haces proyectivos superpuestos, cortndolos por dos rectas que no pasen por su vrtice comn, obtendremos dos series proyectivas no superpuestas, a las que puede aplicarse las construcciones de la izquierda del epgrafe 11.b.ii.

f. Ejemplos mtricos: La semejanza, la congruencia y las simetras como casos particulares de proyectividades. i. Series Semejantes y Congruentes: Dos series proyectivas en las que son homlogos los puntos impropios LL', son semejantes.

Corresponden doblemente: AA'... A'A....

Comp. de Geometra

14

2357ymas@gmail.com

Formando cuaterna con estos puntos y otros tres homlogos, resulta: ( AL BC)=( A ' L ' B ' C ') o sea ( ABC )=( A ' B ' C ') es decir,
AB A ' B' = AC A ' C '

lo que prueba la proporcionalidad de los pares de

AB AC = A 'B' A'C'

segmentos homlogos

= razn de semejanza.

Si adems de corresponderse los puntos impropios de dos series proyectivas, son iguales dos segmentos homlogos AB = A'B', las series son congruentes. Puesto que son semejantes y la razn de semejanza es igual 1. Reciproco: Toda semejanza (y en particular toda congruencia) es una proyectividad. Por conservar las razones simples y por tanto, las dobles. Homotecia Toda proyectividad con un punto doble impropio y otro propio M, es una homotecia de centro M.
( MAB)=( MA ' B' )

por lo que

MA MA ' = MB MB '

ii. Series Simtricas. Dos series en involucin cuyos puntos dobles son uno propio O y otro impropio, son simtricas respecto del punto O. Por ser una involucin con dos puntos dobles, se tiene (OL AA') = -1 se desprende OA:OA' = -1, OA = -OA'. Reciproco: Toda simetra es una involucin cuyos puntos dobles son el centro y el punto impropio.

10. Invariantes mtricos en formas de segunda categora.

As como vimos que la razn doble es un invariante mtrico en formas de primera categora, ahora veremos cmo trasponer lo visto a las figuras de segunda categora, y de este modo ir armando la teora mtrica de la proyectividad. Proyectemos una terna PAB desde un punto V no alineado con ella y expresemos la razn simple (PAB) en funcin de los ngulos del haz:
PA sen pa VA = [1] PB sen pb VB

Multiplicando por la razn simple obtenemos el invariante razn doble

MB sen mb VB = formada por un nuevo punto M, MA sen ma VA

PA MB PA MA = : =( PMAB ) PB MA PB PB

(sin razones de distancia a V)

Comp. de Geometra

15

2357ymas@gmail.com

Apliquemos la misma idea con tres razones simples:

MB senmb VB = , [2] MC sen mc VC NC sen nc VC = NA sen na VB

[3]

que cumplan la condicin que el extremo que est en el denominador de cada razn se halla en el numerador de la siguiente, para si al multiplicar [1], [2] y [3] simplificamos las razones de distancia a V y obtenemos un nuevo invariante proyectivo 8:

PA MB NC sen pa sen mb sen nc = PB MC NA sen pb sen mc sen na

aplicable a seis puntos APBMCNA, o a los seis rayos apbmcna. El producto de tres razones en cadena es un invariante proyectivo de las formas planas o radiadas, es decir, un valor que se conserva al proyectarlas o cortarlas sucesivamente. 9

11. Valores particulares de los invariantes mtrico-proyectivos.

A modo de ir aproximando a las aplicaciones y alcance de la utilizacin de invariantes metrcos-proyectivos analizados anteriormente, se presentaran los Teoremas de Ceva y Menelao. Se invita al lector a continuar su anlisis con la aplicacin mtrica de los teoremas de Menelao y de Ceva respeto a los puntos notables de un triangulo. a. Teorema de Ceva La condicin necesaria y suficiente para que sean concurrentes las rectas que unen los vrtices A, B, C de un tringulo respectivamente con tres puntos M, N, P situados en los lados opuestos, es que el producto de las tres razones simples en cadena (PAB)(MBC)(NCA) valga -1. Demostracin (directo) Sobre el plano de un tringulo ABC ubico un punto D no situado en ningn lado, desde el cual proyecto los vrtices. Sean M, N y P las B intersecciones de las proyecciones sobre los lados BC, AC y AB respectivamente. Apliquemos el invariante de segunda categora Fig. II Fig. I definido por los seis puntos APBMCN visto anteriormente, tomando como vrtice V el punto D:
C

PA MB NC sen PDA sen MDB sen NDC = =1 PB MC NA sen PDB sen MDC sen NDA

por ser:
8 9 La caracterstica de los invariantes es su independencia con la distancia al centro de proyeccin, en otras palabras no depender de la recta que secciona el haz. P. Puig Adam. Curso de geometra mtrica Tomo II Complementos; Biblioteca Matemtica S.L. Ediciones; Madrid: 1975; Pag. 114

Comp. de Geometra

16

2357ymas@gmail.com

 opuestos por el vrtice en la Figura I: PDA= MDC , MDB= NDA , NDC = PDB suplementarios y opuestos por el vrtice en la Figura II: PDA=180 MDC , MDB= NDA , NDC =180 PDB (anlogamente para otras posiciones de D). Demostracin (reciproco) Dado los punto M y N no hay ms que un punto P sobre AB que d para valor -1 (Coordenadas proyectivas).

el

Si proyectamos los seis puntos A, P, B, M, C, N desde un punto V situado fuera de su plano, obtendremos seis rectas de una radiacin a, p, b, m, c, n cuyo invariante
sen pa senmb sen nc sen pb sen mc senna

es igual al anterior en virtud de lo visto en 8.b: Invariantes mtricos

en formas de segunda categora, permitindonos afirmar que: la condicin necesaria y suficiente para que concurran en una recta los planos que unen las aristas a, b, c de un triedro con los opuestos, es que se verifique:
sen pa sen mb sen nc =1 sen pb sen mc senna

i. Alcance del Teorema de Ceva: Debido a su independencia con la medida del vrtice V a los puntos proyectantes podemos trasponer la conclusin a la Geometra esfrica (cotando la radiacin por una superficie esfrica) sustituyendo el concepto de recta por circunferencia mxima y los segmentos por los senos de las distancias esfricas 10. Invito hacer una parntesis en el desarrollo del tema para reflexionar sobre la anterior conclusin, dado que nos hacer ver frente a qu propiedades (invariantes) estamos trabajando, dado que as como puedo cortar la radiacin por una superficie esfrica tambin podra hacerlo por una corrugada o unas paredes de una habitacin como mas adelante cuando veamos las aplicaciones de la Geometra Proyectiva desarrollaremos con el estudio de las Anamorfosis; y en todos estos casos obtendremos figuras que tienen razones en comn.

b. Teorema de Menelao La condicin necesaria y suficiente para que estn alineados los puntos M, N, P respectivamente situados en las rectas de los lados BC, CA, y AB de un triangulo ABC es que el producto de las tres razones en cadena (PAB)(MBC)(NCA) valga +1. Demostracin (directo) : Supongamos los puntos M, N, P pertenecientes a una recta, sobre la cual se ubica el vrtice V de proyeccin (distinto de M, N, P). situado fuera de los segmentos propios 11 determinados por dichos puntos. Aplicando el invariante mtrico de segunda categora tendremos:
10 11 Anexo 6: Definicin de triangulo esfrico. Anexo 3: Propiedades de orden y separacin.

Comp. de Geometra

17

2357ymas@gmail.com

PA MB NC sen PVA sen MVB sen NVC = =+1 PB MC NA sen PVB sen MVC sen NVA

por reducirse cada denominador con el numerador siguiente:

PA MB NC =+ 1 PB MC NA

Demostracin (reciproco) : Dado M y N no hay ms que un punto P en el lado AB que d para el valor +1. i. Alcance del Teorema de Menelao: Proyectando desde un nuevo punto V exterior al plano y aplicando el invariante para figuras de segunda categora, resulta el Teorema anlogo en la radiacin, o el equivalente en la Geometra esfrica (realizando las sustituciones de conceptos mencionadas anteriormente). 12

c. Generalizacin: Teorema de Carnot Generalizando la idea pueden hallarse invariantes mtrico-proyectivos de 3, 4, , n razones tomando ternas alabeadas en cadena en espacios de 3, 4, , n dimensiones. Los productos de estas razones sern igualmente invariantes respecto de las colineaciones en dichos espacios. Los valores particulares de estos invariantes darn lugar a teoremas anlogos a los de Menelao y de Ceva 13: Teorema de Carnot El producto de las razones simples en cadena de las ternas formadas por los vrtices de cada lado de un polgono plano o alabeado y sus intersecciones con una recta o con un plano vale la unidad.

12. Proyectividad entre formas de segunda y tercera categora

a. Formas planas homogrficas Diremos que dos figuras planas son homogrficas cuando se corresponden punto a punto y recta a recta, de tal modo que a todo punto y recta incidentes en una de las figuras correspondan un punto y una recta incidentes en la otra. 14 Teorema: En dos figuras planas homograficas, a una serie de puntos (haz de rectas) de una de ellas le corresponde otra serie (haz) proyectiva con la primera en la otra. Demostracin: Por definicin a puntos alineados (rectas concurrentes) de una de las figuras corresponde puntos alineados (rectas concurrentes) en la otra. Si definimos en
12 13 14 Precisamente Menelao demostr su teorema para aplicarlo en tringulos esfricos. P. Puig Adam. Curso de geometra mtrica Tomo II Complementos; Biblioteca Matemtica S.L. Ediciones; Madrid: 1975; pg 125. Puig Adam. Curso de geometra mtrica Tomo II Complementos, Editor: Biblioteca Matemtica S.L.; Madrid: 1975, Pg.:160

Comp. de Geometra

18

2357ymas@gmail.com

una de las figuras una cuaterna armnica mediante un cuadrivrtice, en la otra quedara definido el cuadrivrtice homologo y, por tanto, una cuaterna armnica. Al existir correspondencia en las figuras armnicas podemos afirmar (Staudt) que las series (haces) homlogas son proyectivas. Consecuencia del teorema: En dos figuras planas homogrficas se conservan las razones dobles.

El ejemplo ms sencillo de formas planas homograficas lo constituyen dos secciones planas de una misma radiacin y se llaman perspectivas. Los puntos (rectas) homlogos son los de interseccin de una misma recta (plano) de la radiacin por los dos planos.

El ejemplo ms sencillo de formas radiadas homogrficas lo constituyen dos radiaciones proyectantes de una misma forma plana, y se llaman asimismo perspectivas. Los rayos (planos) homlogos son los proyectantes de un mismo punto (recta) de la forma plana proyectada.

Otros ejemplos de transformaciones homogrficas son: la traslacin, las simetras, el giro, la homotecia, as como la homologa y, su caso particular, la afinidad, que se estudiaran a continuacin. b. Grupo de las homografa. De la definicin se concluye: La transformacin inversa de una homografa es homografa. El producto de dos homografas es otra homografa. La identidad es una homografa. Por lo tanto: Todas las homografas entre formas planas o radiadas forman grupo. c. Propiedades de las homologa. Dos formas planas perspectivas es decir, secciones de una misma radiacin, se llaman tambin homolgicas y cumplen: 1.La pareja de puntos homolgicos A y A', B y B', estn alienados con otro punto fijo O, llamado centro de homologa. 2.Las parejas de rectas homologas r y r', s y s', se cortan en puntos pertenecientes a una recta fija e, llamada eje de homologa.

Comp. de Geometra

19

2357ymas@gmail.com

d. Teorema de las tres homologas Dos figuras ' y '' no coplanarias, homologicas de una tercera respecto de un mismo eje e de homologa y de dos centros distintos O' y O'' son homolgicas entre s respecto del mismo eje e y de centro O alienado con O' y O''. Demostracin: En la correspondencia resultante entre ' y '' son dobles todos los puntos del eje e, por lo que esta correspondencia es una homologa. Dado que el plano AA'A'' determinado por un punto cualquiera A de y sus homologos A'A'' contiene O' y O'' (situados respectivamente en AA' y AA''), la recta A'A'' de este plano corta la O'O''. Pues al ser coplanarias dos rectas homlogas cualesquiera, los son tambin las rectas A'A'', B'B'' que unen los pares de puntos homlogos situados en ellas, de donde se desprende que todas las rectas A'A'', B'B'',... que unen pares de puntos homlogos se cortan entre si y con O'O''. Y como todas no son coplanarias, pasan forzosamente por un el punto de interseccin de A'A'' con O'O'', llamado O (centro de la homologa ' ''). e. Determinacin de una homologa. Una homologa queda determinada dando: El centro, el eje y un par de puntos homlogos A, A'. Pues uniendo A y A' con puntos del eje, se obtiene cuantas rectas rr' homlogas se desee, y sobre ellas, cuantos puntos homlogos BB' hagan falta, alinendolos con O. El centro, el eje y un par de rectas homlogicas. Dos tringulos homolgicos, Pues los vrtices homlogos estn alineados con un punto O y sus lados homlogos se corten en puntos de una recta. El centro, el eje y una recta limite.

i. Rectas Limites de una homologa. Se le llama rectas limites de una homologa a las rectas homologas de la recta impropia de plano,considerada como de una y otra figura. Propiedades: Las rectas lmites son paralelas al eje. Dado que han de concurrir en l con la recta impropia. El centro dista de una recta lmite l lo mismo que dista el eje de la otra k El conocimiento de una recta lmite equivale al de dos rectas homlogas. En la figura se muestra la construccin de estas rectas lmites en una homologa entre formas planas superpuestas: Sea la homologa que se muestra en la figura, definida por su centro O, el eje e y un par de punto homlogos A y A'. Uniendo un punto R del eje con A y A' se obtienen dos rectas homlogas r y r'. El punto K', homologico del punto K impropio de la recta r, debe pertenecer a r' y estar alineado con O y K, por lo tanto, K' es el
Comp. de Geometra

20

2357ymas@gmail.com

punto de interseccin de r' y la paralela a r por O. Del mismo modo, el punto L, homolgico de L' impropio de la recta r', ser la interseccin de r con la paralela por O a r'. Las paralelas al eje por L y K' son, respectivamente, las rectas lmites l y k' buscadas.

f. Homologas y homografas particulares. Aplicaciones. i. Eje impropio Los puntos donde se deben cortar las parejas de rectas homolgicas son impropios, por lo que stas son paralelas. Esta condicin convierte a la homologa en una homotecia de centro O y razn:
OA ' OB ' OC ' = = =k OA OB OC

Si k = -1 resulta una simetra central. ii. Centro impropio El punto de concurrencia de los rayos de homologa es un punto del infinito, por lo que son paralelos. A este caso particular, llamado homologa afn o, simplemente afinidad lo desarrollaremos a continuacin. iii. Centro y eje impropios Por una parte, los rayos de homologa sern paralelos y por otra las parejas de rectas homolgicas tambin lo sern. Estas caractersticas convierten a esta homologa en una traslacin cuya direccin es la de escape del punto O par hacerse impropio. Nota: giros. Un giro en el plano (y en general una congruencia) que no sea traslacin ni simetra, no es caso particular de la homologa por no existir en l serie doble ni haz doble alguno. No hay en l ms que un punto doble real que es el centro del giro.15 g. Homologa afn. Como vimos anteriormente, esta transformacin es un caso lmite de homologa, cuando el centro es impropio y el eje propio. Por tanto, las condiciones que se cumplen en la afinidad son: Las parejas de puntos afines AA', BB', se hallan sobre rectas paralelas entre s y paralelas a una direccin determinada, llamada direccin de afinidad. Las parejas de rectas r y r', s y s', se cortan en puntos que pertenecen a una recta fija, llamada eje de afinidad.

15

Puig Adam, Curso de Geometra Tomo II, pg. 167

Comp. de Geometra

21

2357ymas@gmail.com

Ejemplo: En la figura al cuadriltero ABCD le corresponde el A'B'C'D' en una afinidad de eje e y direccin d. Como se muestra en la figura se mantienen las condiciones de la homologa, excepto que el haz de rayos concurre, en este caso, en un punto impropio en la direccin d.

i. Rectas limites En la afinidad los nicos puntos dobles son los del eje. Los afines de los puntos impropios tambin estn en el infinito. Por esta causa, en la afinidad no se toman en consideracin las rectas lmites que son dobles (ambas impropias). ii. Determinacin Una afinidad queda definida dando el eje y un par de puntos homlogos, puesto que stos determinan la direccin del centro o de afinidad. iii. Razn de afinidad En una afinidad, donde su direccin no coincide con la del eje, la caracterstica o razn doble (AA'OAe) determinada por un par de puntos homlogos cualesquiera AA', el centro y el eje, se reduce a la razn simple de la distancia del eje a cada par de puntos homologos, tomados en la direccin de la misma:
Ae A ' =k Ae A

Siendo k una constante llamada razn de afinidad. Observacin: Si el valor de k es positivo, una pareja de elementos afines: puntos, segmentos, o figuras, se hallan en el mismo semiplano respecto del eje. Si el valor de k es negativo cada elemento esta situado a distinto semiplano de su afn respecto del eje. Si la direccin de afinidad y el eje son perpendiculares se dice que la afinidad es ortogonal. En este caso si k =-1 se cumple que: A e A '= A e A y en este caso la afinidad es una simetra axial cuyo eje es el de afinidad. (en el caso de no ser ortogonal se obtiene una simetra oblicua). Cayley exclam Proyective Geometry is all Geometry Una de las preguntas que anote al comenzar este trabajo, en marco de investigacin podra decir que fue mi pregunta inicial, es porque se dice que la geometra proyectiva es toda la geometra?. Y ahora estoy en condiciones de comprender, dado que todas las transformaciones geomtricas planas estudiadas en cursos de geometra mtrica, son casos particulares de la transformacin homogrfica. En otras palabras: la Geometra mtrica plana, es decir, la Geometra que estudia las propiedades invariantes en estas transformaciones, aparece as como un captulo de la Geometra proyectiva plana. 16
16 Puig Adam, Curso de Geometra Tomo II, dcima edicin 1975; pg. 168

Comp. de Geometra

22

2357ymas@gmail.com

h. Abatimientos de figuras planas a travs de la homologa afn. A continuacin desarrollaremos una operacin que proporciono solucin a distintos problemas mtricos en los variados sistemas de representacin, que es el abatimiento de una figura plana sobre el plano de dibujo. Veamos algunos ejemplos: i. Abatimiento de una figura plana dada por su proyeccin ortogonal. Sea el plano de dibujo y un plano secante, del que conocemos su traza t sobre y un punto P definido por su proyeccin ortogonal P' y la cota o distancia PP'. Supongamos trazada en un figura de la que conocemos su proyeccin ortogonal ' sobre el plano del dibujo y queremos saber la verdadera magnitud de . Abatimos el plano sobre , lo que significa girar alrededor de su traza t hasta superponerlo con (se suele elegir el sentido que ms convenga). La figura se convierte en 1 de modo que cada par de puntos homlogos A (original) y A1 (abatido) estn en una recta perpendicular al plano bisector del diedro descrito en el abatimiento. Como la direccin de esta perpendicular es fija, podemos afirmar: Entre la figura original y su abatimiento 1 existe una homologa afn de eje t y de direccin normal al eje. Adems: Entre la figura original y su proyeccin ortogonal ' existe asimismo una homologa afn de eje t y de direccin normal al eje. Por lo tanto concluimos dado que estamos bajo las hiptesis del teorema de las tres homologas que: Existe una homologa afn 17 de eje t y direccin perpendicular a l entre ' (conocida) y 1 (incgnita del problema). Por lo que para resolver el problema necesitaremos dos puntos homlogos en esta afinidad. Resolucin geomtrica del problema: Construyo el tringulo PP'Q (PQ perpendicular a t) del que se conoce los catetos P'Q y PP' (cota) y llevando la hipotenusa QPQ sobre la perpendicular a t por Q en el sentido indicado por el abatimiento. Ubicados los dos puntos homologos P' y P1 , la construccin de la figura 1 es inmediata. En la figura estn detallados todos los trazados necesarios para hacerlos.

Observaciones: Tambin puede aplicarse la homologa afn en problemas inversos donde la incgnita sea la proyeccin ortogonal ', conociendo el abatimiento 1.
17 La homologa es afn dado que el centro esta alineado con los otros dos impropios, por lo que sera tambin impropio.

Comp. de Geometra

23

2357ymas@gmail.com

 Anlogamente procederamos si la proyeccin fuese oblicua. ii. Abatimiento de una figura plana dada por su proyeccin central. A continuacin resolveremos un problema correlativo al anterior donde en lugar de conocer su proyeccin ortogonal, conoceremos su proyeccin central 1 de la figura situada en un plano , desde un centro O, sobre el plano del dibujo (vertical en la figura). Conociendo la posicin de O respecto de por su proyeccin ortogonal O' y su distancia OO'. Tambin conocemos t la traza de y l' la traza del plano paralelo a por O, es decir, la proyeccin sobre de la recta del infinito del plano o lugar de las proyecciones de todos sus puntos impropios. Por lo tanto de modo indirecto queda determinado el plano (paralelo Ol' por t). En la practica la recta lmite l', se le llama linea de fuga del plano , porque en ella concurren las imgenes (sobre ) de todos los sistemas de rectas paralelas del plano . Para determinar esta recta alcanza con conocer dos puntos de fuga, que son la interseccin de las imgenes de dos pares de rectas paralelas de figura . Volviendo con el problema planteado, para averiguar la verdadera forma de , abatiremos el plano sobre , teniendo en cuenta que: Entre y su abatimiento 1 existe una homologa afn de eje t y su direccin perpendicular al plano bisector del diedro descrito en el abatimiento. Ademas: Entre y ' existe una homologa de centro O, eje t y recta lmite l'. Por lo tanto aplicando el teorema de las tres homologias, resluta: Entre ' y 1 existe una homologa de eje t cuyo centro es el punto O 1 situado en una paralela por O a la direccin de afinidad, es decir, en una perpendicular al eje t, y por lo tanto a la lnea de fuga l' y a una distancia QO 1 de ella igual a QO hipotenusa del tringulo rectngulo OO'Q del que se conocen los catetos O'O y O'Q (quedando determinado el centro de la homologa O1). Conocido el centro y el eje de la homologa entre ' y 1 y la recta lmite l', tenemos todos los elementos necesarios para construir 1 conocida ' y as determinar la verdadera forma de una figura plana conociendo su proyeccin cnica sobre el plano . Si pensamos en el problema inverso al anterior, dicha homologa nos permite determinar ' conocida 1, es decir, construir la perspectiva de una figura plana conocida, o si pensamos en una aplicacin plstica, prever el efecto visual de una forma ideada en proyectos, como es el caso de las Anamorfosis 18 que desarrollaremos en el siguiente epgrafe.
18 Es un efecto perspectivo utilizado en arte para forzar al observador a un determinado punto de vista preestablecido o privilegiado, desde el que el elemento cobra una forma proporcionada y clara. La anamorfosis fue un mtodo descrito en los estudios de Piero della Francesca sobre perspectiva. (Wikipedia) Comp. de Geometra

24

2357ymas@gmail.com

13. Aplicaciones tcnicas

Continuado con las aplicaciones tcnicas que proporciona el estudio de la Geometra Proyectiva podemos mencionar: Sistema de representacin de Monge en sistemas didricos ortogonal (forma representativa para la Geometra euclidiana del espacio). En mi caso visto en Matemtica C de sexto ao del plan 76 y actualmente se encuentra en Matemtica IV de sexto ao opcin Matemtica-Diseo, bajo el nombre de Geometra Descriptiva. Tambin podemos nombrar el sistema de proyeccin acotada o planos acotados, usada para representar grficamente objetos irregulares como por ejemplo relieves utilizado en Topografa. Es una proyeccin ortogonal sobre la que se acotan en cada punto, lnea, u objeto representado la altura (cota) del mismo con respecto a cualquier plano de referencia que sea paralelo al plano de proyeccin.

Tambin debemos destacar, como mencionamos anteriormente, las aplicaciones que proporciona a las artes plsticas como es la realizacin de anamorfosis.

Comp. de Geometra

25

2357ymas@gmail.com

a. Anamorfosis i. Aspectos histricos de las Anamorfosis. Tiene su comienzo en el Renacimiento, dentro de la disciplina de la Geometra Proyectiva, considerada como una forma curiosa de perspectiva. Fue practicada durante siglos e incluso, se imparti en las escuelas de artes en Europa entre los siglos XVI y XIX, para despus caer en desuso hasta casi desaparecer en la enseanza de Bellas Artes. Por tanto, es una tcnica bastante desconocida en la actualidad. Uno de los primeros en hablar de anamorfosis fue Leonardo Da Vinci en el Codex Atlanticus,19 donde realiz dibujos simples de un ojo humano y el rostro de un nio aplicando esta tcnica. Estos dibujos aparecen estirados en direccin horizontal, de tal modo que vistos frontalmente son casi irreconocibles, pero colocados en la posicin correcta (muy sesgada, viendo la hoja casi de lado o de canto) se recompone, de manera que aparecen los dibujos del rostro y el ojo con sus correctas proporciones.

Otra obra famosa por la utilizacin de esta tcnica es Los Embajadores (1533) de Hans Holbein el Joven donde con gran calidad pictrica se observa la anamorfosis de una calavera que aparece a los pies de los mismos,. Podemos revertir esa deformacin, observndola desde el lateral izquierdo inferior (punto de visin y de fuga).

19

Lenoardo Da Vinci: La anamorfosis, en Cdex Atlnticus (1483-1518). El Codex Atlanticus es una recopilacin de ms de 2.500 hojas de dibujos de temas variados (anatoma, geometra y otros), as como de diseos de proyectos.

Comp. de Geometra

26

2357ymas@gmail.com

En la actualidad, las anamorfosis son usadas por artistas plasticos en la realizacin de pinturas callejeras, como es el caso de Julian Beever, un artista britnico que se dedica a pintar con tizas, quien se hizo reconocido a nivel mundial por cadenas de correos electrnicos con imgenes de sus obras anamrficas, como las siguientes:

[Invito al lector a buscar ms imgenes de este artista en Internet.]

Comp. de Geometra

27

2357ymas@gmail.com

ii. El primer paso Cul es el truco, cmo se hace, si la hubiera: qu proyeccin hace que sea posible esta ilusin... estas son algunas de las preguntas que supongo nos hacemos al ver este tipo de obras. Pero primero respondamos qu son: La anamorfosis es la representacin de figuras realizadas con una perspectiva determinada que deforma extremadamente los objetos; sin embargo, stos, vistos desde el punto de fuga que converge en la visin, se recomponen de forma que parecen elevarse en el aire dando la sensacin de realidad (3D)20 iii. Mtodo: la perspectiva invertida En el Renacimiento Alberti formula tericamente la perspectiva cnica 21 donde obtiene la tercera dimensin sobre dos dimensiones, haciendo que toda las lneas paralelas al plano de tierra (suelo) convergen en la lejana en su punto de fuga que va a parar al horizonte. La figura de la izquierda es una representacin del siglo XII que carece de perspectiva cnica, por ende de punto de fuga, causando que no exista proporcin entre el tamao de los guerreros y el castillo, como tampoco en la relacin que establece la lejana donde los barcos situados en la zona superior del cuadro (que se supone se hallan ms lejos en el horizonte) son tan grandes como los situados en primer trmino.

En la actualidad lo normal en la perspectiva proyectada en un plano bidimensional por lo que los objetos se empequeezcan conforme se alejan, manteniendo constante los invariantes mtricos desarrollados.

Figuras: Modo de aplicar la tcnica desarrollada por Alberti.

En las anamorfosis sucede lo contrario los objetos representados se agrandan conforme se alejan, pero de tal forma que al invertrse las proporciones, la sensacin que percibimos es que emergen (o hunden) del suelo, dando la sensacin de tridimensionalidad. La explicacin esta fundamentada en el punto de fuga invertido y en que ...vistos desde el punto de fuga que converge en la visin, ... en vez de fugar hacia el horizonte en un punto que coincide con la altura del espectador, fuga hacia nuestros ojos.
20 Mara Gmez; Anamorfosis el ngulo mgico; Primera edicin Publicacin Universidad de Valencia; 2008; Pg.:47. 21 La perspectiva cnica de una figura es la representacin de esta sobre un plano, tal y como la vemos en realidad. Existen distintos tipos de perspectiva cnica: frontal de un punto de fuga, oblicua de dos y oblicua de tres puntos de fuga. Comp. de Geometra

28

2357ymas@gmail.com

PF
La imagen representa un espacio donde las lneas blancas sealan las fugas de una perspectiva cnica que convergen en el punto de fuga situado en H, justo donde coincide la mirada o altura de los ojos hacia el horizonte de un espectador. El contorno de las lineas negras representan las dimensiones que tendra una pintura anamrfica sobre el suelo. Como podemos ver esta forma un trapecio que converge hacia el punto de vista del espectador (PV) y punto de fuga inverso coincidentes con sus ojos. En lo que respecta a las dimensiones vemos que a medida que se prolonga, aumenta considerablemente su tamao. A mayor longitud ms se extender y se abrir su proyeccin respecto al H, tomando dimensiones que se pierden en la lejana, por lo tanto imposibles de realizar.

xH

PV t

El dibujo muestra la forma y dimensin que tendra una pintura bidimensional anamrfica (zona verde sobre el plano del suelo). Esto nos muestra que el fenmeno de la anamorfosis se da al percibir de forma invertida la perspectiva que vemos normalmente.

Comp. de Geometra

29

2357ymas@gmail.com

Veamos algunas obras del artista Julian Beever desde distintos puntos.

Fig. Fotografa sacada desde PV o PF

Fig. Fotografa sacada desde H

Otro ejemplo:

Comp. de Geometra

30

2357ymas@gmail.com

iv. Relacin entre la figura anamrfica y la que nosotros percibimos al verla desde el PV o F. Recordemos que si dos formas planas y ' situadas en planos distintos se corresponden punto a punto de modo que los pares de puntos homlogos estn alineados con un punto fijo PV y consideramos como recta homloga de la determinada por dos puntos cualesquiera AB de la primera la determinada por los puntos homlogos A'B' de la primera figura, resulta que: y ' son secciones de un mismo haz por lo tanto son perspectivas, son homolgicas.

Por lo que podemos considerar a ' la figura anamorfica resultante de seccionar la proyeccin de la figura desde el punto PV con el plano , plano de dibujo. Recordemos, para determinar una homologa debemos conocer: Centro: punto donde se intersecan las rectas determinadas por pares de puntos homlogos. Eje: recta determinada por la interseccin de rectas homlogas. Recta lmite del plano : recta donde concurren las imgenes (sobre ) de todos los sistemas de rectas paralelas de . Podemos afirmar que entre y ' existe una homologa de centro PV, eje t (interseccin de con ) y recta lmite l' (interseccin de con un plano paralelo a que contiene a PV).

Observacin: Tengamos en cuenta que a medida que los puntos de la figura se aproxima a la recta de interseccin del plano con el plano paralelo a que contiene a PV lo puntos de la figura ' se aproximan a la recta impropia homologa de la recta mencionada. Provocando que las dimensiones de ' se pierdan en la lejana y por tanto imposibles de realizar y distinguir al ojo humano por lo que distorsionara el efecto de 3D al no tener los puntos limites de la figura bien definidos. Por lo tanto la sensacin anamrfica en 3D que percibimos como ms real de las figuras pintadas est relacionada con la longitud y dimensin de la pintura y la altura del PV, dado que el ngulo entre la proyeccin y el plano de dibujo a medida que esta se aleja el espectador se va cerrando provocando que las anamorfosis se perciba ms plana o achatada. Si determinamos una funcin de dos variables, donde la calidad del efecto 3D esta relacionado con: altura de los ojos y la dimensin de la figura anamrfica, los resultados obtenidos por la experiencia de Eduardo Relero (artista argentino de Rosario que reside en Espaa) es que esta funcin tiene un mximo cuando la dimensin de la figura es 4 veces la altura de los ojos.

Comp. de Geometra

31

2357ymas@gmail.com

v. La homologa buscada De modo correlativo al 12.h.ii realicemos un abatimiento del plano sobre el plano teniendo en cuenta que entre y su abatimiento 1 existe una homologa afn de eje t y direccin perpendicular al pano bisector del diedro descrito en el abatimiento. Por lo que aplicando el teorema de las tres homologas, afirmamos que: entre ' y 1 existe una homologa de eje t cuyo centro es el punto F1 situado en una paralela por F a la direccin de afinidad, es decir, en una perpendicular al eje t, y por tanto a la lnea de fuga l' y a una distancia h de ella; que nos permite a partir de 1 determinar la homolgiaca '.

vi. Anamorfosis de una circunferencia. Siempre debemos comenzar con la realizacin del boceto , que nos mostrar y orientar para traspasar (proyectar) el dibujo que, finalmente ser la imagen ilusoria, no la real, entendiendo por real la pintada y deformada, ' figura anamrfica. De este modo, tan slo sern iguales el boceto y la imagen ilusoria que emerger en el aire cuando la veamos del punto de fuga o vista (F o PV). Cuadricular el boceto es imprescindible para trasladar el dibujo a la cuadrcula anamrfica (de lo contrario deberamos proyectar un nmero muy grande de puntos, que en realidad son infinitos). Actividad Comenzaremos con una figura simple una circunferencia inscripta en un cuadrado dividido a su vez en 36 cuadrados, esta sera 1. Recordemos que estamos en condiciones de decir que el problema se reduce a la construccin de una figura homologa a 1 conociendo el centro PV, la linea de fuga o recta lmite l' y el eje e.

Resolucin: Tacemos d, la diagonal del cuadrado, para simplificar la construccin.

Comp. de Geometra

32

2357ymas@gmail.com

PV1

Camara de fotos

Imagen

Linea de fuga
xd

l'

D x

eje e

d'

Comp. de Geometra

33

2357ymas@gmail.com

Protocolo de construccin: 1. Sea {D}= d e , D es punto comn entre d y su homologa d'. 2. Trazo r / PV 1 r r d . Sea {L ' }= r l ' , L' es el punto homologo del impropio de la diagonal d, por lo tanto es el punto comn de las imgenes de las rectas paralelas a d. 3. Trazo la recta d' que contiene L' y D. 4. Construyo los homlogos de los puntos de interseccin de la diagonal d con la cuadricula proyectando los mismos desde PV e intersectandolo con d'. 5. Construyo los homlogos de los vrtices que no pertenecen a d. Construyendo los lados homlogos que contienen a estos vrtices realizando pasos anlogos a los anteriores. 6. Teniendo en cuenta que las homogrfias conservan las relaciones de incidencia termino de construir la cuadricula anamrfica.

Camara de fotos

Imagen

Comp. de Geometra

34

2357ymas@gmail.com

vii. Construccin de una Anamorfosis sobre un plano acotado. La cuadricula anamrfica anterior fue realizada sobre una hoja de garbanzo. Teniendo la consideracin de cubrir mximamente su superficie, realizamos lo siguiente: Datos: El centro La dimensin de la figura a proyectar (el boceto). La direccin del eje y de la linea de fuga. Y la imagen de la recta que contiene al centro y es perpendicular al eje. La cual forma parte de la cuadricula (siempre y cuando la misma coincida con uno de los ejes de simetra de la cuadricula). Protocolo de construccin: 1. Ubico el centro de la homografa. 2. Trazo, sobre el borde opuesto de la hoja respecto del centro, una recta en la direccin del eje que sera el lado de la cuadricula anamrfica donde ubicare, a mi conveniencia, V' la imagen del vrtice con mayor cota y que pertenece a la diagonal d. 3. Proyecto V' desde el centro. Sobre esta recta se encuentra V. 4. Ubico V, dado que conozco la distancia de la recta que contiene al centro y es perpendicular al eje y V. Determinando de este modo la homologa dado que conocemos el centro, el eje y un par de puntos homlogos. viii. Anamorfosis de CeRP. Realizacin de la cuadricula de 8x8, sobre la que se realizara el boceto.

Comp. de Geometra

35

2357ymas@gmail.com

Camara de fotos

Imagen

Comp. de Geometra

36

2357ymas@gmail.com

Realizacin de la cuadricula anamrfica:

Debido a la dimensin de de la cuadricula anamorfica, fue necesario la utilizacin de hilos como instrumentos de geometra.

Hilo

Camara de fotos

Imagen

Comp. de Geometra

37

2357ymas@gmail.com

Terminada la cuadricula anamorfica

Verificacin de invariantes mtricos Dieron aproximados debido a la dimensin y la utilizacin de los instrumentos

Traspaso de cada figura dentro de los cuadraditos a la cuadricula anamorfica respetando proporciones.

Comp. de Geometra

38

2357ymas@gmail.com

Camara de fotos

Imagen

Camara de fotos

Imagen

Comp. de Geometra

39

2357ymas@gmail.com

Para obtener mayor realismo se pinto aplicando nociones basicas de la perspectiva lumniar, utlilizacin de claroscuros y sombras.

Comp. de Geometra

40

2357ymas@gmail.com

Camara de fotos

Imagen

Comp. de Geometra

41

2357ymas@gmail.com

Comp. de Geometra

42

2357ymas@gmail.com

ix. Anamorfosis sobre varios planos. El siguiente desafo es pensar que sucede cuando la cuadricula anamrfica debe realizarse sobre varios planos adyacentes. La siguientes imgenes muestra una obra de Eduardo Ruiz Relero, argentino, donde utilizo como planos de dibujo el piso y las paredes.

Para ver estas pinturas anamorficas desde otros puntos de vista ingresen en: http://www.youtube.com/watch?v=aOfjjexC2rg
Comp. de Geometra

43

2357ymas@gmail.com

Resolucin: Al igual que en el caso anterior, realizar un esquema ayuda a identificar las homologas que permiten obtener la anamorfosis deseada.

Referencias: F o PV: Centro de la proyeccin, que representa los ojos del observador o punto donde colocar la cmara para obtener el efecto adecuado. : plano sobre el que se encuentra el dibujo original (cuadricula). 1: Plano de dibujo representa el suelo. 2: Plano de dibujo representa una pared (paralelo a ).

Observaciones del esquema: Aplicando el teorema de las tres homologas podemos descomponer esta en dos: 1. sobre el plano 1, que tendramos que repetir los pasos desarrollados en los epgrafes anteriores. 2. Sobre el plano 2, que se identifica como una homologa de centro propio y eje impropio dado que el punto en comn entre dos rectas homologas es impropio. Pasos: 1. En los epgrafes anteriores vimos que para determinar 1, , la proyeccin de sobre el plano 1, existe una homologa afn que hace coplanarios los elementos de la misma. Esta homologa surge del abatimiento en sentido antihorario de sobre 1. Y permite determinar la figura homologa de sobre el plano 1, en lo homologa de centro PV, eje t y linea de fuga l'. 2. De modo anlogo al anterior haremos coplanarios los elementos de la homologa que permita determinar la verdadera forma de la proyeccin de sobre 2. Para esto existe una homologa afn que determina el abatimiento de sobre 1 en sentido opuesto al anterior22, por lo que est contiene el mismo eje pero direccin perpendicular a la direccin de la homologa que determina 1. De este modo tenemos las condiciones y los elementos necesarios de la homologa de centro propio y eje impropio que me permite obtener la imagen de sobre 2: Sobre la proyeccin sobre 1, se traza la recta interseccin de 1 y 2. En esta recta estn los puntos en comn que tienen las dos figuras homolgicas a , puntos de referencia para determinar la razn de la homotecia que determina la homologa de centro propio y eje impropio.

22

Se sugiere que el abatimiento sea en sentido opuesto al anterior dado que de lo contrario al restablecer el plano 2, el cual sera un papel, la imagen quedara del lado no visible.

Comp. de Geometra

44

2357ymas@gmail.com

Comp. de Geometra

45

2357ymas@gmail.com

Aplicando este mtodo y teniendo habilidad en tcnicas de dibujo podramos lograr obras como las siguientes:

Comp. de Geometra

46

2357ymas@gmail.com

Las ultimas cuatro imgenes fueron descargadas de: http://imgur.com/a/1Pnbq

Comp. de Geometra

47

2357ymas@gmail.com

Comp. de Geometra

48

2357ymas@gmail.com

14. Conclusin
Desde el comienzo tuve la cuestin porqu Cayley menciono que la Geometra Proyectiva era toda la Geometra; culminado el estudio de las transformaciones proyectivas elementales y de mayor inters, podemos comprender que debido al descubrimiento de las propiedades invariantes respecto de estas transformaciones como es el ejemplo de la razn doble, podemos considerar las transformaciones de la geometra euclidiana como simple casos particulares de la anterior. Adems de que la misma permite sistematizar las diferentes geometras, conocidas como no euclidianas. El procedimiento es proyectando figuras del plano eucldeo y seccionar con planos no eucldeos, sabiendo que las relaciones de incidencia se conservan y que la razn doble entre elementos tambin. Pero en la actualidad se conocen otros grupos de transformaciones como las racionales, de contacto, continuas,... donde las proyectividades no son ms que transformaciones muy particulares de estas. En consecuencia debemos decir que la frase de Cayley Projective Geometry is all Geometry en la actualidad es considerada un anacronismo.

Debido a que el alcance de esta trabajo fue conocer la Geometra de forma ms global ya sea por el recorrido historico realizado como por la adopcin de ms herramientas para la resolucin de problemas, como plantearnos comprender cmo es que los artistas (mencionados en el desarrollo, entre otros) lograban esos efectos en sus obras, tengamos en cuenta que lo estudiado fueron las transformaciones bsicas necesarias para la realizacin de estas anamorfosis en el plano, pero podramos plantearnos realizar anamorfosis en el espacio, es decir estudiar proyectividad entre formas de tercera categora; o continuar con los distintos sistemas de representacin; realizar un estudio analtico de la proyectividad; estudiar las geometras no euclidianas, el estudio de transformaciones racionales, de contacto, continuas; entre otras temas. Por lo que debemos reconocer que solo estamos frente a la punta de un iceberg que sabemos donde esta ubicado, ahora solo queda explorarlo.

Comp. de Geometra

49

2357ymas@gmail.com