Está en la página 1de 57

a

o ctiv
rid e
Geometría Proyectiva

ar roy
rG aP
ue trí
eg e
es om

Fernando Meseguer Garrido


M Ge
do e
an s d
rn te
Fe un
Ap

El presente documento es una recopilación de los apuntes que utilizo para explicar el Tema 1:
Fundamentos Proyectivos de la asignatura de Expresión Gráfica de la ETSIAE. Es un trabajo
incompleto, y por lo tanto susceptible de mejora, no pretende sustituir a los apuntes tomados
en clase, sino complementarlos. Este material está basado en el trabajo conjunto de todos los
profesores de la cátedra de Expresión Gráfica, así como diversa bibliografía, y está sujeto a una
licencia CC-BY-NC-SA (se puede distribuir este trabajo siempre que no sea con fines comerciales,
se cite su fuente original, y no se cambie el tipo de licencia utilizada). En el documento se hace
referencia al cuadernillo de problemas de geometría proyectiva, y en ocasiones hay enlaces a
mi canal de Geogebra.
Geometría Proyectiva
 Nomenclatura:
 Espacios geométricos - dimensión
 Elementos geométricos
 Formas geométricas – Categoría

a
Transformación proyectiva:

o ctiv
o Postulados:
 Unicidad
 Pertenencia

rid e
 Orden

ar roy
o Operaciones:
 Proyección

rG aP
 Sección
o Ley de dualidad
 Ternas (razón simple)
ue trí
 Cuaternas (razón doble)
eg e
es om

Geometría métrica  medida


M Ge

Bisectriz, Mediatriz, Radio


Geometría proyectiva  posición, pertenencia
do e

Posición relativa, independiente de la medida


an s d
rn te
Fe un
Ap

GP1
Geometría Clásica o Euclidea:
Quinto postulado- Por un punto exterior a una recta dada sólo cabe
trazar una paralela.
Se sustituye por, en el plano:

a
o Dos puntos definen una recta.

o ctiv
o Todo par de rectas se cortan en un punto (cuando dos rectas son
paralelas decimos que se cortan en un punto del infinito conocido

rid e
como punto impropio).

ar roy
Recta impropia

rG aP
ue trí
eg e
es om
M Ge

¿en el plano, puntos, rectas?  Definiciones formales


do e
an s d

Espacios Geométricos
rn te

1. Espacio unidimensional
2. Espacio bidimensional Dimensión: nº de datos
Fe un

3. Espacio tridimensional para definir un individuo


4. … ∞1, ∞2, ∞3
Ap

GP2
Elementos Geométricos
No tienen ni magnitud, ni tamaño, ni forma:

a
Punto (P) Recta (r) Plano (π)

o ctiv
(NOMENCLATURA)
Puntos: GDL (Grados de libertad)

rid e
Espacio 1d

ar roy
GDL=1 P ∈ r ∞1

Espacio 2d
rG aP
ue trí
GDL=2 P ∈ α ∞2
eg e
es om

Espacio 3d
M Ge

GDL=3 P ∈ ε ∞3
do e

Rectas:
an s d

En el plano
rn te

GDL=2
Fe un

y = ax + b
En el espacio
Ap

GDL=2+2=4

Planos:
En el espacio Dirección normal 2
+distancia al origen 1=
GDL=3

GP3
Formas geométricas
Categoría = N = Nº de parámetros necesarios para definir un elemento
dentro de la forma
- Formas de 1ª categoría (N=1)

a
o ctiv
rid e
ar roy
Serie rectilínea Haz de rectas

rG aP
Conjunto de: puntos (A, B, C, …) rectas (a, b, c, …)
Base: recta (r) punto (P)
ue trí
P∈r ∞1 r∈P ∞1
eg e

Espacio unidimensional En el plano


es om
M Ge
do e
an s d
rn te

Haz de planos
Fe un

Conjunto de: planos (α, β, … )


Base: recta (r)
Ap

π∈r ∞1
En el espacio 3D

GP4
- Formas de 2ª categoría (N=2)

a
o ctiv
rid e
Plano punteado Plano reglado

ar roy
Conjunto de: puntos (A, B, …) rectas (r1, r2, …)

rG aP
Base: plano π plano π
P ∈ π ∞2 r ∈ π ∞2
ue trí
Espacio bidimensional
eg e
es om
M Ge
do e
an s d
rn te

En 3D:
Fe un

Radiación de rectas Radiación de planos


Conjunto de: rectas (r1, r2, …) planos (π1 , π2 , … )
Ap

Base: punto (P) punto (P)


r ∈ P ∞2 π ∈ P ∞2

GP5
- Formas de 3ª categoría (N=3)

a
o ctiv
rid e
Espacio de puntos Espacio de planos

ar roy
Conjunto de: puntos (A, B, …) Planos (π1 , π2 , … )

rG aP
Base: espacio 3D espacio 3D
P ∈ ℝ3 ∞3 π ∈ ℝ3 ∞3
ue trí
Espacio tridimensional
eg e

¿Por qué no rectas? Nº grados de libertad en el espacio (4)


es om
M Ge

Postulados iniciales: (no contar-> formalización en el espacio)


-2 elementos no coincidentes en el espacio (forma 3ª categoría) definen
do e

una forma de 1ª categoría


an s d

-3 elementos no coincidentes forman una forma de 2ª categoría


-1 elemento y una forma de primera categoría no pertenecientes definen
rn te

una forma de 2ª categoría


Fe un

punto + recta => plano


Ap

plano + recta => punto


En el plano, puntos y rectas son elementos, y bases de formas de primera
categoría.

GP6
̅
Transformación proyectiva Ʌ
Postulados de la transformación proyectiva:
-Unicidad La transformación proyectiva es biunívoca (ejemplo que no
cumple, inversión)

a
-Pertenencia

o ctiv
entonces
̅ r′ y A ∈ r →
Si r Ʌ A′ ∈ r′

rid e
-Orden

ar roy
La transformada de una serie rectilínea cerrada por el infinito mantiene el
orden (piensa en la recta como una circunferencia de radio infinito)

rG aP
ue trí
eg e
es om

Operaciones proyectivas
M Ge

Proyección Sección
Proyectando la
do e

serie rectilínea de Seccionando el


an s d

base r desde el haz de base P con


punto P -> haz la recta r -> serie
rectilínea
rn te
Fe un
Ap

En el plano, series rectilíneas y haces de rectas. En el espacio series


rectilíneas y haces de planos.

GP7
Ley de Dualidad
-En el plano
Toda proposición de la geometría proyectiva en el plano sigue siendo
cierta si se sustituye
Recta -> Punto Punto-> Recta

a
o ctiv
Proyección-> Sección Sección->Proyección
Y viceversa

rid e
ar roy
Lo único que requiere es tener cuidado con el lenguaje

rG aP
Dos rectas que se cortan en un punto <-> Dos puntos que definen una recta
ue trí
eg e

==Dos elementos definen una forma de primera categoría


es om

Un punto “pertenece” a dos rectas <-> una recta “pertenece” a dos puntos
M Ge

-En el espacio
do e

Lo mismo, pero con planos y puntos


an s d
rn te

Ternas y cuaternas
Fe un

̅ 𝐫’(𝐀’𝐁’𝐂’𝐗’)
𝐫(𝐀𝐁𝐂𝐗) Ʌ
Ap

(𝐀𝐁𝐂𝐗) = (𝐀’𝐁’𝐂’𝐗’)
(ACX) (A′ C′ X′ )
es decir (BCX) = (B′
C′ X′ )

AC⁄AX A′ C′ ⁄A′ X′
es decir =
BC⁄BX B′ C′ ⁄B′ X′

GP8
Razón simple (Teorema de Tales)

XA m
(XAB) = = =λ
XB n

a
o ctiv
XA es una medida, con sentido, medidas con sentidos distintos tienen
signo opuesto

rid e
ar roy
XA → Negativo

XB → Positivo

rG aP
Punto medio λ = −1
ue trí
Comparaciones en el que elemento comparado (X) es móvil.
eg e
es om

XA
λ = f(xX ) = (XAB) =
XB
M Ge
do e
an s d

Teorema de tales para cálculo gráfico de ternas


rn te

a a′ a′′
Fe un

= =
b b′ b′′
Ap

a b c
= =
a′ b ′ c ′
a a′ a′′
= =
c c′ c′′
c′′ a′′
=
c a

GP9
Manipulación ternas:

X A B

m n-m

a
n

o ctiv
XA m XB n 1

rid e
(XAB) = = =λ (XBA) = = =
n m λ

ar roy
XB XA
BA −(n − m) BX −n 1
(BAX) = = =1−λ (BXA) = = =

rG aP
BX −n BA −(n − m) 1 − λ
AX −m λ AB n−m 1
(AXB) = = = (ABX) = = =1−
ue trí
AB n−m λ−1 AX −m λ
eg e
es om

(XAB) (XBA) = 1
(XAB) + (BAX) = 1
M Ge

--------------------------------------------------------------------------------------------------
XA
(XAB) = =3 ¿X?
do e

XB
an s d

¿B?
1 1 1 BX
rn te

(BXA) = = =− =
1−λ 1−3 2 BA
Fe un
Ap

o, más sencillo:
XA XA
(XAB) = = 3 → XB =
XB 3

GP10
Terna de rectas
Se define la razón simple como el cociente entre los senos de los ángulos:

sin(xa
̂) sin α
(xab) = = =λ
̂ ) sin β
sin(xb

a

o ctiv

rid e
ar roy
x
b
a

rG aP
Repaso de la función seno:
ue trí
cateto opuesto co
sin α = = sin 0 = 0, función impar
eg e

hipotenusa h
es om
M Ge

Pregunta, ¿es (XAB) = (xab) cuando r(XAB) ʌ̅ V(xab)?


do e

AA′ BB′
an s d

sin α = ; sin β =
VA VB
rn te

sin α AA′ VB AA′ VB


(xab) = = =
sin β VA BB′ BB′ VA
Fe un

AA′ XA XA
por Tales, = y = (XAB), con lo que:
Ap

BB′ XB XB

VB VA
(xab) = (XAB) → (XAB) = (xab)
VA VB

GP11
En general proyectividad no implica conservación de la razón simple. ¿Cuándo sí
sucede?

VA = VB
Decir que el triángulo es isósceles no aporta nada (sólo valdría para rayos
en concreto). Sin embargo, si VA ∥ VB, V = V∞ :

a
o ctiv
(XAB) = (xab) = (X′A′B′)

rid e
ar roy
rG aP
ue trí
Es decir, cuando se proyecta desde un vértice impropio, o se secciona un haz de vértice
impropio, la proyectividad resultante conserva la razón simple: hemos redescubierto el
eg e

Teorema de Tales.
es om
M Ge
do e
an s d
rn te
Fe un
Ap

Y también porqué el punto medio de un segmento, proyectado desde un vértice no


impropio, no queda en el punto medio del segmento proyectado.

GP12
RAZÓN DOBLE
 Cuaternas
 Invariante Proyectivo
 Determinación gráfica de cuaternas
 Cuaterna Armónica

a
Cuadrilátero y Cuadrivértice completos

o ctiv
Polar de un punto respecto a dos rectas
 Formas proyectivas de primera categoría
o Perpectividad Ʌ ̿

rid e
 Series perspectivas

ar roy
 Centro perspectivo
 Dual: haces perspectivos

rG aP
 Eje perspectivo

Repaso de ternas
ue trí
eg e
es om

VA
(CAB) = (cab)
VB
M Ge
do e

Vértice impropio -> conservación de la razón simple


an s d

Cuaternas
rn te
Fe un

Es una razón de razones


Ap

(XAB) XA⁄XB XA YB
(𝐗𝐘𝐀𝐁) = = = =μ
(YAB) YA⁄YB XB YA

(xab)
Igualente, (𝐱𝐲𝐚𝐛) =
(yab)

GP13
1
(𝐗𝐘𝐀𝐁) = μ → (XYBA) =
μ
1
→ (YXAB) =
μ
Es decir:

(𝐗𝐘𝐀𝐁) = (ABXY) = (BAYX) = (YXBA)

a
o ctiv
Además: (XYAB) + (XABY) = 1

Invariante proyectivo

rid e
ar roy
Sabemos que:

VA

rG aP
(XAB) = (xab)
VB
VA
ue trí
(YAB) = (yab)
VB
eg e

VA
es om

(xab)
(𝐗𝐘𝐀𝐁) = VB = (𝐱𝐚𝐛) = (𝐱𝐲𝐚𝐛)
VA (𝐲𝐚𝐛)
(yab)
M Ge

VB
(𝐗𝐘𝐀𝐁) = (𝐱𝐲𝐚𝐛) = (𝐗′𝐘′𝐀′𝐁′)
do e
an s d

La razón doble es un invariante proyectivo, se puede seccionar y proyectar


cualquier número de veces y se conserva.
rn te
Fe un
Ap

Sólo hay relación directa si existe elemento doble.

GP14
Determinación Gráfica de Cuaternas
Si se hace una proyección auxiliar en la que el segundo elemento esté en
el infinito, los tres puntos restantes tienen una razón simple igual a la
doble, dado que (Y∞ AB) = 1. Además, si se coloca un elemento doble,
tenemos una relación perspectiva (Ʌ ̿), y tenemos un vértice que relaciona
ambas series.

a
o ctiv
(XAB)
(𝐗𝐘∞ 𝐀𝐁) = = (XAB)
(Y∞ AB)

rid e
𝟑 X′A′
(XYAB) = 3/2 ¿X? 𝐘 ′ ∞ → (𝐗′𝐀′𝐁′) = =

ar roy
𝟐 X′B′

rG aP
ue trí
eg e
es om
M Ge
do e
an s d
rn te
Fe un
Ap

GP15
Cuaterna Armónica
(XYAB) = −1 Las dos razones son iguales, pero una de ellas es negativa.
También se denominan pares separados armónicamente, o puntos en
separación armónica.
Construcción:

a
o ctiv
X’ impropio

rid e
ar roy
rG aP
ue trí
eg e
es om
M Ge

¿Qué pasa si los rayos x e y son perpendiculares? Que son bisectriz de los
rayos a y b.
do e
an s d
rn te

x⊾y
Fe un

b cualquiera
Ap

r⊾y->x∞

GP16
Cuadrilátero y Cuadrivértice completo

4 vértices (A, B, C, D)
4+2=6 lados (l1, l2, l3, l4, l5, l6)

a
3 puntos Diagonales (elementos comunes a lados

o ctiv
que no comparten vértice)
(D1, D2, D3)
3 Diagonales

rid e
ar roy
rG aP
ue trí
Propiedades armónicas
eg e
es om

(ABCD) = (A′B′C′D′) pr. desde V1


M Ge

1
(ABCD) = (BACD) = = −1
(ABCD)
do e

(BACD) = (A′B′C′D′) pr. desde V2


an s d
rn te
Fe un
Ap

GP17
Dos lados de un cuadrivértice separan armónicamente a las diagonales
que concurren en el punto diagonal que determinan.

El dual es el cuadrilátero completo.

a
4 lados (a, b, c, d)

o ctiv
6 vértices (V1 a V6)

rid e
3 diagonales

ar roy
(elementos comunes a vértices

que no comparten lado)

rG aP
3 Puntos diagonales
ue trí
eg e
es om

Para construir una cuaterna armónica construyo un cuad. Completo.


M Ge

(XX′AB) = −1 ¿X’?
do e
an s d
rn te
Fe un
Ap

Falta punto interior Falta punto exterior

GP18
Polar de un punto con respecto a dos rectas

En un cuadrivértice
completo, cualquier

a
recta trazada desde un

o ctiv
punto diagonal, secciona
a los otros dos lados y a
la diagonal opuesta en

rid e
puntos separados

ar roy
armónicamente con
dicho punto diagonal.

rG aP
Por ello se denomina a
la diagonal opuesta a un
ue trí
punto diagonal la polar
de ese punto respecto a
eg e

las dos rectas.


es om
M Ge

Formas Proyectivas de primera categoría


do e
an s d

Transformación
rn te

̅ 𝐫’(𝐀’𝐁’𝐂’𝐗’)
𝐫(𝐀𝐁𝐂𝐗) Ʌ
Fe un
Ap

Se puede sacar con valores numéricos de cuaternas, muy poco efectivo.

GP19
Perspectividad
Series perspectivas
Dos series no superpuestas son
perspectivas cuando hay una
relación proyectiva entre ambas, y

a
además hay un elemento que

o ctiv
coincide con su homólogo.
(el elemento común es homólogo de

rid e
si mismo)

ar roy
rG aP
Esto es equivalente a que las dos
series sean secciones del mismo haz.
ue trí
El vértice de dicho haz se denomina
centro perspectivo 𝐂 ̿
Ʌ
eg e
es om

Esto permite utilizar ese haz para determinar elementos homólogos.


M Ge

Los homólogos de los puntos impropios (L1∞ y L’2∞) se denominan puntos


límites (L’1 y L2)
do e
an s d
rn te
Fe un
Ap

GP20
Dualidad en el plano: Haces perspectivos
Punto->recta
Recta->punto

a
o ctiv
rid e
ar roy
Dos haces son perspectivos cuando hay una relación proyectiva entre

rG aP
ambas, y una recta que coincide con su homóloga.
Es equivalente a decir que ambos haces son proyección de una misma
ue trí
serie rectilínea.
eg e

Esa serie es el eje perspectivo 𝐞 ̿


Ʌ
es om

El concepto de elemento límite no tiene sentido.


M Ge

Notas finales:
do e

-La perspectividad es una proyectividad con una condición adicional, es


an s d

más restrictivo. Es importante familiarizarse con la nomenclatura.


-Los sistemas de proyección cónica se basan en relaciones perspectivas.
rn te

-Si en el caso de dos series perspectivas el centro perspectivo es impropio,


Fe un

se recupera una proyección cilíndrica, se conserva la razón simple-> Tales.


Ap

GP21
Formas Proyectivas de primera categoría
 Repaso determinación de cuaternas
o Cuaternas en haces
 Perpectividad Ʌ
̿
o Determinación de rayos ⊾
 Proyectividad Ʌ
̅

a
o ctiv
o Series Proyectivas
 Eje proyectivo
 Homólogos del punto de corte

rid e
 Puntos límites

ar roy
o Dual: haces proyectivos
 Centro proyectivo

rG aP
 Homólogos del rayo común
 Series semejantes
 Haces congruentes
ue trí
 Formas superpuestas
eg e

o Elementos dobles
es om

 Formas en involución

Repaso determinación de cuaternas


M Ge

GP4, GP6, GP7, GP13


do e

Ejemplo de cuaterna en haces:


an s d

3 (acd) (ACD) AC 3
(abcd) = − ¿d? -> (abcd) = (bcd) = (B = =−
5 ∞ CD) AD 5
rn te
Fe un
Ap

GP22
̿
Ʌ
Series y haces, centro y eje perspectivo, puntos límite.

a
o ctiv
rid e
ar roy
̿ s’
𝐬Ʌ
rG aP ̿ V’
𝐕Ʌ
ue trí
GP14- Haces perspectivos: rayos ortogonales a sus homólogos, rayos
eg e

ortogonales con homólogos ortogonales.


es om
M Ge
do e
an s d
rn te
Fe un
Ap

GP23
̅
Proyectividad Ʌ

Perspectividad desplazada, el elemento común no es homólogo de si


mismo:
̿ 𝐬’
𝐬Ʌ ̿ s’’ 𝐬 Ʌ
𝐬′ Ʌ ̿ 𝐬’’ ̿ 𝐕′
𝐕Ʌ ̿ 𝐕′′
𝐕′Ʌ 𝐕 Ʌ̿ 𝐕′′

a
o ctiv
rid e
ar roy
rG aP
ue trí
̅ s’’
sɅ ̅ V′′

eg e

Soluciones:
es om

1- Traslación para hacerla perspectiva (la traslación es una proyección


de vértice impropio y sección con recta paralela)
M Ge
do e
an s d
rn te
Fe un
Ap

GP24
2- Proyectar las series desde dos vértices de forma que sean haces
perspectivos

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om

3- Lo mismo, usando un punto de la serie y su homólogo como vértice:


M Ge

Eje proyectivo eɅ
̅ -> independiente del punto elegido
do e
an s d
rn te
Fe un
Ap

GP25
Series perspectivas – centro perspectivo
Series proyectivas – eje proyectivo
Homólogos del punto de corte de las series
||
Puntos de corte del eje proyectivo con las series.

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e

Problema dual: Haces proyectivos


es om

Series en rayos homólogos-> Centro proyectivo CɅ


̅
M Ge
do e
an s d
rn te
Fe un
Ap

GP26
Homólogos de la recta común (tangentes de la cónica proyectiva)

Dar el centro proyectivo


equivale a dar las parejas
de rayos homologos m y n

a
o ctiv
rid e
ar roy
rG aP
ue trí
Series semejantes (conservación razón simple) Haces congruentes
eg e
es om
M Ge
do e
an s d
rn te
Fe un
Ap

GP27
Formas Superpuestas
 Cálculo de homólogos
 Tipo
o Proyectividad elíptica
o Proyectividad parabólica
o Proyectividad hiperbólica

a
 Orden

o ctiv
o Series Acordes y Discordes
 Cálculo de un punto doble dado el otro

rid e
 Potencia de una proyectividad

ar roy
 Invariante absoluto de la proyectividad hiperbólica
 Involución

rG aP
 Formas proyectivas de 2º orden
o Uso para el cálculo de puntos dobles
ue trí
eg e

Formas superpuestas
es om

La mayor parte de las cosas se resuelven simplemente haciendo una


M Ge

forma auxiliar separada:


do e
an s d
rn te
Fe un
Ap

No obstante hay una característica propia de las formas


superpuestas: los puntos dobles. ¿Cuántos existen?

GP28
Tipo de proyectividad en series superpuestas
(ABXY) = (A′ B ′ X ′ Y ′ )
3 puntos dobles:
(D1 D2 D3 Y) = (D1 D2 D3 Y′)
(D1 D3 Y) (D1 D3 Y′)
=

a
(D2 D3 Y) (D2 D3 Y′)

o ctiv
D1 D3 ⁄D1 Y D1 D3 ⁄D1 Y ′
=
D2 D3 ⁄D2 Y D2 D3 ⁄D2 Y ′

rid e
D1 Y D1 Y′

ar roy
= → Y = Y′
D2 Y D2 Y′
Identidad

rG aP
2 puntos dobles:
o Proyectividad hiperbólica
1 punto doble:
ue trí
o Proyectividad parabólica
eg e

0 puntos dobles:
es om

o Proyectividad elíptica
Si hay al menos un punto doble, se pueden tratar como perspectividades
M Ge
do e
an s d
rn te
Fe un
Ap

GP29
Series acordes y discordes
Acorde Discorde

a
o ctiv
rid e
ar roy
Intuitivamente, hace referencia a si ambas series tienen el mismo

rG aP
sentido, o el opuesto.
ue trí
Las discordes son necesariamente hiperbólicas
Las series acordes pueden ser de cualquier tipo.
eg e
es om

Series discordes:
M Ge
do e
an s d
rn te
Fe un
Ap

Los puntos dobles separan (no armónicamente) puntos homólogos

GP30
Series acordes
Elíptica Hiperbólica

a
o ctiv
rid e
ar roy
Un punto “adelanta” al otro, le

rG aP
tiene que volver a adelantar

Si existen puntos dobles, no separan puntos homólogos


ue trí
eg e
es om

Cálculo de un punto doble dado el otro


M Ge

Se trata con una perspectividad intermedia GP27 2 puntos dobles

Problema de 2º orden
do e

Hacen falta + herramientas


an s d
rn te
Fe un
Ap

O bien se proyecta desde dos vértices que estén alineados con el


punto doble, y se calcula el eje perspectivo (arriba).

GP31
O bien se hace pasar un eje perspectivo (eɅ̿ ) por el punto doble, se
proyecta una serie desde un vértice cualquiera (V), y se calcula el
otro vértice (V’) para que sea perspectivo con el anterior, dando el
rayo doble el otro punto doble.

a
o ctiv
rid e
ar roy
rG aP
ue trí
El problema dual, calcular el otro rayo doble cuando se conoce uno,
eg e

también se puede solucionar de dos formas:


es om

Seccionar ambos haces por dos rectas base (s y s’) que se cortan en
d1-d’1, con lo que el otro rayo doble pasa por el centro perspectivo
M Ge

(CɅ̿ ).
do e
an s d
rn te
Fe un
Ap

GP32
O hacer situar un centro perspectivo (CɅ̿ ) en el rayo doble, seccionar
un haz por cualquier recta base (s), calcular la otra recta (s’) que
secciona al otro haz y es perspectiva con la otra serie con el centro
perspectivo usado, y la otra recta doble es la intersección de las
rectas base (punto D2=D2’).

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om
M Ge
do e

¿Cómo se puede tener una proyectividad parabólica? Cuando


an s d

ambos puntos dobles colapsan: caso muy particular:


Dados A, B, A’ y el único
rn te

Punto doble D=D’, ¿B’?


Fe un
Ap

Eje perspectivo (eɅ̿ ) que contenga al punto

doble, y vértice V cualquiera. Los rayos del

haz V, (a y b) determinan los puntos AA’ y BB’.

El vértice V’ ha de pertenecer al rayo d=d’ y

a la recta entre AA’ y A’ (a’). Proyectando BB’

desde V’ (rayo b’) y seccionando la recta base se obtiene B.

GP33
Potencia de una proyectividad

Si se considera una proyectividad de series superpuestas (o no):


(L1∞ L2 AB) = (L′1 L′2∞ A′B′)
(L1∞ AB) (L′1 A′B′)
= ′
(L2 AB) (L2∞ A′B′)

a
1
= (L′1 A′B′)

o ctiv
(L2 AB)
L2 B L′1 A′
= → L2 BL′1 B′ = L2 AL′1 A′= cte

rid e

L2 A L1 B′

ar roy
Esa constante se denomina potencia de la serie

rG aP
Invariante absoluto de una proyectividad hiperbólica

Si se considera una proyectividad hiperbólica, es decir, con dos


ue trí
puntos dobles, se sabe que:
eg e

(ABD1 D2 ) = (A′B′D1 D2 )
es om

(AD1 D2 ) (A′D1 D2 )
=
(BD1 D2 ) (B′D1 D2 )
(AD1 D2 ) (BD1 D2 )
M Ge

=
(A′D1 D2 ) (B′D1 D2 )
(AA′ D1 D2 ) = (BB ′ D1 D2 ) = K
do e
an s d

K es el invariante absoluto de la proyectividad


El caso particular K = −1 se denomina INVOLUCIÓN
rn te
Fe un
Ap

GP34
Si se considera la posición de los puntos límites y los dobles en una
proyectividad hiperbólica cualquiera (dada por los puntos dobles y
uno de los puntos límites L1).

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om

Separando las series y determinando el otro punto límite (L’2) se puede ver
que los puntos límite y los puntos dobles forman pares de puntos
M Ge

isotómicos, es decir, que ambas parejas tienen el mismo punto medio (M).

INVOLUCIÓN
do e
an s d

Una involución es una transformación tal que:


rn te

f(x) = x ′ ; f(x′) = x;
Fe un

Es decir:
Ap

f(f(x)) = x;
Ejemplo: simetría. La traslación claramente no es involutiva
Existe por lo tanto un solo punto límite, punto medio de los dobles, y
hay propiedades métricas que facilitan el cálculo de los mismos,
empleando el hecho de que el invariante absoluto es -1.

GP35
Los puntos dobles separan armónicamente a cualquier pareja de
homólogos:
1
(ABD1 D2 ) = (AA′ D1 D2 ) = (A′ AD1 D2 ) = = −1
(AA′ D1 D2 )
Cuaterna armónica para el cálculo de armónicos, dados los puntos dobles,
y lo mismo para el cálculo de un punto doble dado el otro, un punto y su

a
homólogo:

o ctiv
rid e
ar roy
rG aP
Necesariamente existe un solo punto límite, denominado centro de la
involución I, y es el punto medio de los dobles (debido a la isotomía). Por
ue trí
lo tanto:
eg e

2 2
es om

IBIB′ = ID1 = ID2 = potencia


Es decir, I tiene la misma potencia con respecto a cualquier circunferencia
que pase por dos puntos homólogos. Dados dos pares de homólogos, I
M Ge

está en el eje radical de dos circunferencias cualesquiera que pasen por las
parejas.
do e
an s d
rn te
Fe un
Ap

Y con ello se pueden calcular los puntos dobles-> GP29

GP36
Formas proyectivas de 2º Orden
Hasta ahora hemos considerado formas proyectivas entre elementos de
primer orden. No obstante, según los postulados que hemos visto se
puede establecer una relación proyectiva sobre cualquier serie, mientras
se mantenga la unicidad. Ejemplo:
Serie de puntos en una circunferencia:

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om

Como los ángulos son iguales (arcos capaces), también lo son las
cuaternas.
M Ge

(abcd) = (a′b′c′d′)

Es necesario proyectar desde un vértice que pertenezca a la


do e

circunferencia.
an s d

Series superpuestas de 2º orden


rn te
Fe un
Ap

Cálculo análogo del eje proyectivo (GP30)

GP37
Los puntos dobles en series superpuestas en una forma de 2º orden
son inmediatos, se puede aplicar para calcular los puntos dobles en
series superpuestas en rectas. GP25

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om
M Ge

Y de manera más sencilla en haces


do e
an s d
rn te
Fe un
Ap

GP38
Tratamiento proyectivo de las cónicas
o Datos simples:
 Puntos de paso
 Tangentes
o Definición puntual de la cónica

a
o Definición tangencial de la cónica (dualidad)

o ctiv
o Datos híbridos (elementos dobles)
o Resolución de problemas de:
 Tangentes en puntos

rid e
 Puntos de tangencia

ar roy
 Intersecciones
 Tangentes exteriores

rG aP
o Cónicas como series superpuestas
ue trí
Datos simples
eg e
es om

ax 2 + by 2 + cxy + dx + ey + 1 = 0 -> 5 parámetros


5 puntos o 5 tangentes
M Ge

¿Existe una relación proyectiva entre los puntos de una cónica?


do e
an s d
rn te
Fe un
Ap

GP39
Definición puntual de la cónica

Se puede definir una cónica como el lugar geométrico de los puntos


donde se cortan rayos homólogos de dos haces proyectivos

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om

Punto que se acerca a uno de los vértices -> tangente por el vértice
Las tangentes a la cónica por los vértices pasan por el centro
M Ge

proyectivo de los haces (GP 31)


do e
an s d
rn te
Fe un
Ap

Calcular un rayo homólogo x==determinar el punto de corte del


rayo x con la cónica

GP40
Definición tangencial de la cónica

Se puede definir una cónica como la envolvente de las rectas que


unen elementos homólogos en dos series rectilíneas en
proyectividad.

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om

Tangente que se aproxima a una de las rectas base -> punto de


tangencia en la recta base
M Ge

Los puntos de tangencia de la cónica en las bases son los puntos de


corte del eje proyectivo con las mismas. (GP 32.1)
do e
an s d
rn te
Fe un
Ap

Calcular un punto homólogo a X==determinar la tangente a la


cónica desde el punto X

GP41
Datos híbridos (elementos dobles)
Necesitamos que los datos se pertenezcan
4 puntos una tangente dual 4 tangentes y un punto
GP 33.2 GP 32.2

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om
M Ge

3 puntos 2 tangentes dual 3 tangentes y 2 puntos


do e
an s d
rn te
Fe un
Ap

Requiere calcular un dato extra y resolver como el anterior:


Lo resolveremos más eficientemente después

GP42
Intersección de la cónica con una recta (si no pasa
por un dato)

Cónica por 5 puntos (A, B, C, V, V’)-> 2 haces (a, b, c y a’, b’, c’) ->
seccionamos con la recta para obtener series superpuestas (A1, B1,
C1 y A’1, B’1, C’1)-> calculamos los puntos dobles de las series

a
superpuestas (problema de 2º orden, circunferencia auxiliar Ca)

o ctiv
GP 34

rid e
ar roy
rG aP
ue trí
eg e
es om
M Ge
do e
an s d
rn te
Fe un
Ap

El problema dual (tangentes a la cónica desde un punto exterior)


está resuelto en geogebra

GP43
Cónicas como series superpuestas
3 puntos, 3 homologos ¿6 datos?

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om

Estamos sobredimensionando la cónica. Lo más probable es que no


acertemos a colocar el sexto punto en su sitio.
M Ge

Si coincide un punto con el homólogo de otro: cálculo de tangencias


por ese punto (GP 38.2)
do e
an s d
rn te
Fe un
Ap

GP44
Eligiendo otra combinación:

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e

Hay 12 combinaciones con soluciones gráficas distintas. El trazado puede ser


es om

más o menos fácil dependiendo de la combinación elegida.

Problema dual: GP 39
M Ge
do e
an s d
rn te
Fe un
Ap

GP45
4 puntos una tangente dual 4 tangentes y un punto

GP 33.2 GP 32.2

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om
M Ge

3 puntos 2 tangentes dual 3 tangentes y 2 puntos


GP 43.1 GP 43.2
do e
an s d
rn te
Fe un
Ap

GP46
Polaridad
o Repaso:
 Cónica como Lugar Geométrico de elementos
homólogos
 Cónica como elementos del plano con relaciones

a
proyectivas

o ctiv
o Polo-Polar: separación armónica
 2 rectas
 Circunferencia

rid e
 Cónica

ar roy
o Involución en la cónica
 Triángulo autopolar

rG aP
o Relación de tangencia, polo, polar, polares conjugadas
 Diámetro
ue trí
 Diámetro conjugado
 Centro
eg e

 Ejes
es om

 Magnitud
M Ge

Partiendo de una cónica definida por datos simples se pretende


llegar a tener la cónica definida por sus ejes, en posición y magnitud
do e
an s d
rn te
Fe un
Ap

GP47
Polar de un punto respecto a dos rectas
(PP′A′B′) = (PP′′A′′B′′) = −1

Dado un punto Q en p,

a
la polar de P, q, la polar

o ctiv
de Q, pasa por P

rid e
ar roy
rG aP
ue trí
Polar de un punto respecto a una circunferencia
eg e

(PP′AB) = −1
es om
M Ge
do e
an s d
rn te
Fe un
Ap

GP48
En la figura anterior cada recta que corte la circunferencia tiene
subordinada una involución, de puntos con relación polo polar. Los
puntos dobles de la involución son los puntos de corte con la
circunferencia.

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om

¿Qué pasa si la recta es exterior a la circunferencia?


M Ge
do e
an s d
rn te
Fe un
Ap

En la involución que la circunferencia c subordina sobre la recta r, si


a cada punto se le hace corresponder el corte de su polar con la
recta, tenemos una involución elíptica (sin puntos dobles).
GP49
Igualmente, si nos fijamos en los puntos de la circunferencia,
podemos considerar que están en involución, podemos calcular el
eje proyectivo de las series superpuestas:

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om

Además, en este caso existe un centro perspectivo que relaciona las


M Ge

dos series. (dos series superpuestas con al menos un punto doble


son perspectivas, lo que pasa es que en una recta está en la propia
recta). Se denomina centro de involución I.
do e
an s d
rn te
Fe un
Ap

Pero aún más, podemos tener una involución elíptica, cuando I es


interior (no hay tangentes, no hay puntos dobles).
GP50
Si el centro de involución es impropio, el eje proyectivo (su polar),
es un diámetro.
Si hay cuatro puntos en una circunferencia, ¿Cuántas maneras hay
de relacionarlos involutivamente?

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e

Existen 3 involuciones diferentes, cada centro de involución está en


es om

la intersección de las polares de los otros dos. Eso se denomina el


triángulo autopolar.
M Ge

En realidad esos cuatro puntos definen un haz de cónicas, y el


triángulo autopolar es el mismo para todas ellas. Por cada punto del
plano, el haz define una cónica, y se mantienen todas las
do e

propiedades que hemos visto.


an s d
rn te
Fe un
Ap

GP51
Polar de un punto impropio

a
o ctiv
rid e
ar roy
rG aP
ue trí
eg e
es om
M Ge

Pasa por el centro de la cónica, es un diámetro de la cónica. Si se


determina la polar del punto impropio del diámetro, se obtiene el
diámetro conjugado.
do e
an s d

Se define el centro de la cónica como el Polo de la recta impropia. Por el


pasan todos los diámetros.
rn te

Los ejes de la cónica son la pareja de diámetros conjugados que son


Fe un

ortogonales.
Ap

Si en una cónica se tienen dos tangentes (t1 y t2) con sus respectivos
puntos de tangencia (T1 y T2), la polar del punto P (punto de corte de las
tangencias) pasa por los dos puntos de tangencia.

GP52
GP 41.1

a
o ctiv
rid e
ar roy
rG aP
Si el punto Q es el punto impropio de esa polar, q, polar del polo Q es un diámetro. De
q se sabe que pasa por p (puntos de una polar tienen su polar por el polo), y dado que
en la cuaterna armónica cuando uno de los puntos es impropio el otro es punto medio,
ue trí
q pasa por el punto medio del segmento entre los puntos de tangencia.
eg e
es om
M Ge
do e
an s d
rn te
Fe un
Ap

Si en la cónica se tienen tres tangentes, y 2 puntos de tangencia se puede


determinar el centro. (GP 53)

GP53
En este proceso se pueden obtener hasta tres diámetros. Para cada
diámetro, existe una dirección conjugada, la de la polar del punto P, con el
que se ha obtenido.

a
o ctiv
rid e
ar roy
rG aP
Ejes
ue trí
Si se tienen dos parejas de diámetros conjugados, se tiene un haz de
rectas en involución. La naturaleza de este haz es el mismo que el de la
eg e

cónica. Los rayos dobles, si existen, se corresponden con las asíntotas.


es om

Para obtener los ejes, hay que determinar la pareja de rayos homólogos
que es ortogonal: circunferencia auxiliar. (GP 41.3, GP 50.1)
M Ge
do e
an s d
rn te
Fe un
Ap

GP54
El diámetro de la circunferencia que pasa por el centro de involución
define un arco capaz de 90º desde el que el centro de la cónica ve a dos
diámetros conjugados que son perpendiculares: los ejes de la cónica.

Magnitud de los ejes

a
Una vez se tienen los ejes, un eje, el punto en el que corta a cualquiera de

o ctiv
las tangentes, y el pie de la polar de ese punto (en este caso, la polar es
perpendicular al eje) subordinan una involución en la recta, de centro el

rid e
centro de la cónica. Los puntos dobles de dicha involución son el corte del

ar roy
eje con la cónica, y por lo tanto determinan la magnitud del mismo.

rG aP
ue trí
eg e
es om
M Ge
do e
an s d
rn te
Fe un
Ap

La construcción más económica quizá para determinar ese punto doble es


la del teorema del cateto. Sólo hay que repetir el proceso para el otro eje.

GP55
El proceso completo queda entonces:
Partiendo de 5 datos simples

a
o ctiv
Se determinan tres tangentes con sus puntos de tangencia

rid e
ar roy
rG aP
ue trí
A partir de ello se obtiene el centro de la cónica, y dos pares de diámetros
eg e

conjugados
es om
M Ge
do e
an s d

Con los haces en involución, se determinan diámetros conjugados


ortogonales (ejes)
rn te
Fe un
Ap

Con los ejes, una tangente, y el punto de tangencia, se determina la


magnitud

GP56

También podría gustarte