Homografía en El Plano Proyectivo Con Cabri - Angel Montesdeoca

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 8

Homografa en el plano proyectivo con CABRI II Plus

Angel Montesdeoca
Comentamos una interpretaci
on con CABRI del siguiente ejercicio:

Determinar las ecuaciones de la homografa en el plano proyectivo que transforma los


puntos A(0, 0, 1), B(0, 1, 0), C(1, 0, 0), D(1, 1, 1) en los puntos B, C, D, A, respectivamente. Hallar los elementos dobles de la misma.
De la ecuacion general de una homografa:
0 1
a1
x
y 0 = a21
z0
a31

a12
a22
a32

x
a13
a23 y ,
z
a33

imponiendo que A 7 B, B 7 C, C 7 D y D 7 A, resulta la ecuacion:


0

x
0
0 1
x
0 1 y ,
y 0 = 1
x0 = z, y 0 = x + z,
z0
0 1 1
z

z 0 = y + z.

Tiene un u
nico punto doble E = AC BD, (1, 0, 1), y una u
nica recta doble F G : xy +z = 0;
siendo F (1, 1, 0) y G(0, 1, 1) los otros puntos diagonales del cuadrivertice ABCD.
Vamos a mostrar con CABRI, la imagen X 0 , mediante esta homografa, de un punto X arbitrario, as como dar sus coordenadas numericas respecto a la referencia {A, B, C; D}. Para ello,
utilizaremos tres macros (proyectividad puntos.mac, homografia.mac, coordenadas homogeneas.mac)
que describiremos mas abajo.

Recordemos primero que para determinar el homologo de un punto P mediante una proyectividad definida entre dos rectas, ` y `0 , por tres pares de puntos homologos (A, A0 ), (B, B 0 ) y
(C, C 0 ), trazamos su eje de perspectividad, que pasa por los puntos AB 0 A0 B y AC 0 A0 C. El

La Laguna, 25 de Agosto del 2011.


http://webpages.ull.es/users/amontes/pdf/cabrihom.pdf

Angel Montesdeoca

Un ejemplo de homografa con CABRI

P
ag. 2/8

hom
ologo P 0 de P se obtiene cortando `0 con la recta que une A con el punto de intersecci
on del
0
eje de perspectividad con la recta A P .
(http://webpages.ull.es/users/amontes/apuntes/gdh.pdf#h-constr-proy)
El macro proyectividad puntos.mac(1) nos facilita esta construccion. Si las dos rectas coinciden
o alguno de los puntos estan superpuestos, deberemos proyectar los puntos de una de las rectas
sobre una tercera.
Ahora vamos a describir una posible va de como se determina graficamente el homologo X 0 de
un punto X de una homologa en el plano, determinada por cuatro pares de puntos correspondientes, (A, A0 ), (B, B 0 ), (C, C 0 ) y (D, D0 ).
Sea P = AB DC, su homologo es P 0 = A0 B 0 D0 C 0 ; por lo que tenemos la proyectividad,
que la homografa induce entre AB y A0 B 0 , determinada por los tres pares de puntos homologos:
(A, A0 ), (B, B 0 ) y (P, P 0 ). Sea Xc = AB CX y Xc0 su homologo. El homologo X 0 de X ha de
estar en la recta CXc0 .
Tomemos ahora Xd = AB DX y determinemos su homologo Xd0 sobre A0 B 0 . Con lo que
obtenemos X 0 = C 0 Xc0 D0 Xd0 .

(Applet CabriJava)
El macro homografia.mac(2), nos proporciona esta construccion. Pero, cuando alguno de los
pares de puntos que determinan la homografa coinciden, deberemos acometer una construccion
previa, que pasamos a comentar.
Como en el ejercicio propuesto, el conjunto de puntos imagenes dados es una permutaci
on de
los de partida, para usar el macro no los podemos tomar dos veces. Para solucionar esto, podemos
utilizar el siguiente procedimiento:
Simulamos una proyecci
on en el espacio desde un punto O (en particular, puede tomarse O =
E = AC BD), del plano que contiene a A, B, C y D en otro plano. Para ello, consideramos los
puntos F = AB CD y G = BC DA, y desde estos proyectamos un punto A , tomado en la
recta OA; obtenemos as, los puntos B = F A OB y D = GA OD, Si proyectamos B desde
G o bien D desde F , se obtiene el mismo punto C sobre OC.
Un ejemplo de homografa con CABRI

P
ag. 2/8

Angel Montesdeoca

Un ejemplo de homografa con CABRI

P
ag. 3/8

(Applet CabriJava)
Ahora, ya estamos en condiciones de aplicar el macro homografia.mac, para construir el homologo

X de X en la homografa determinada por los pares de puntos correspondientes (A, A ), (B, B ),


(C, C ) y (D, D ). Encontrado X , solo nos queda localizar X 0 , sobre OX , mediante el proceso inverso al de la construccion de los puntos A , B , C y D , a partir de A, B, C y D. Para
ello, proyectamos (por ejemplo) X desde F sobre B C y, luego, proyectamos este u
ltimo punto

obtenido desde O sobre BC; proyectando este punto desde F sobre OX , obtenemos el punto X 0 ,
hom
ologo de X.
(Fichero Cabri II Plus: http://webpages.ull.es/users/amontes/cabri/cabrih03plus.fig)

Terminamos, comentado el macro coordenadas homogeneas.mac, que permite determinar las


coordenadas homogeneas de cualquier punto del plano respecto a la referencia {A, B, C; D}, con
D punto unidad.
Dado un punto P , sean Db = AC BD, Dc = AB CD, Pb = AC CP y Pc = AB BP ,
entonces se verifica que los valores de las razones dobles (A B Pc Dc ) = y, (A C Pb Db ) = z, dan las
coordenadas homogeneas (1, y, z) de P respecto a {A, B, C; D}.
La obtencion grafica de los valores de la razon doble de los cuatro puntos A, B, Pc , Dc , se puede
hacer de la siguiente manera:
Se toma un punto D sobre una recta d que pase por A (se puede tomar d como el lado AC y
D como C) y se determinan los puntos de interseccion E y F de la recta CPc y CDc con la recta
paralela a d por B. Entonces la razon doble (A B Pc Dc ) es la abscisa del punto F en la referencia

Un ejemplo de homografa con CABRI

P
ag. 3/8

Angel Montesdeoca

Un ejemplo de homografa con CABRI

P
ag. 4/8

afn {B; BE}. Ya que:


(A B Pc Dc ) =

APc BPc
AC AC
BF
:
=
:
=
.
BPc BDc
BE BF
BE

(Applet CabriJava)
Coordenadas homogneas de P ( x , y , z ), no situado en
el lado BC del tringulo ABC, en la referencia proyectiva
{A, B, C; D}

Inversamente, si lo que queremos es ubicar un punto en plano del que se conocen sus coordenadas
homogeneas, P (x, y, z), respecto a una referencia proyectiva {A, B, C; D}, debemos obtener los pies
Pb y Pc de sus cevianas desde B y C, respectivamente. As, por ejemplo, como se ha de verificar
(A B Pc Dc ) = y/x, para determinar Pc , procedemos de la forma siguiente:
Tomamos sobre una recta d por A un punto D (tomamos d = AC y D = C); sean el punto de
intersecci
on E de la recta CDc con la recta que pasa por B y paralela a d, y el punto F de abscisa

y/x en la referencia afn {B; BE}. Entonces Pc es el punto de interseccion de AB con DF .

Transcripcion del codigo de los macros usados:


1. MACRO proyectividad puntos.mac

MACRO CabriII vers. MS-Windows 1.0


proyectividad puntos, no name
Icon:
0000000000000000
0000000000000000
0000444444440000
0004444444444000
0004440000044000
0004F40000044000
0004440000044000
0004440000044000
00044444444F4000
0004444444440000
0004440000000000
0004440000000000
Un ejemplo de homografa con CABRI

P
ag. 4/8

Angel Montesdeoca

Un ejemplo de homografa con CABRI

P
ag. 5/8

0004440000000000
0004F40000000000
0000000000000000
0000000000000000
Help:
"Dados tres puntos A, B y C en una recta r, y otros tres A, B y C
en otra recta r, determina el homologo de X de r,
mediante la proyectividad A-->A, B--> B y C-->C"
Mth: 0
CN:9, ON:11, FN:1, PO:10
CT:
line, CS 0, V, W, t, DS:1 1, GT:0, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
line, CS 0, V, W, t, DS:1 1, GT:0, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
Const:
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 2 7
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 6 3
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 2 8
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 6 4
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 10 11
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 12 13
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 14 15
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 9 6
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 16 17
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 18 2
Int, Mth:0, 1, 0, CN:2, VN:1, Const: 19 5, R, W, t, DS:1 1, GT:2, V, nSt

2. MACRO homografia.mac

MACRO CabriII vers. MS-Windows 1.0


Homografia, no name
Icon:
0000000000000000
0000000000000000
0006660000006600
0006660000006600
0006660000006600
0006660000006600
0006660000006600
0006666666666600
0006666666666600
0006660000006600
Un ejemplo de homografa con CABRI

P
ag. 5/8

Angel Montesdeoca

Un ejemplo de homografa con CABRI

P
ag. 6/8

0006660000006600
0006660000006600
0004660000006600
0006660000006600
0000000000000000
0000000000000000
Help:
"Dados A,A,B,B, C,C D,D y X, determina el homologo X."
Mth: 0
CN:9, ON:35, FN:1, PO:34
CT:
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
Const:
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 1 3
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 2 4
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 7 9
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 10 12
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 7 5
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 10 14
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 8 6
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 11 16
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 1 4
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 2 3
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 1 17
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 2 15
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 18 19
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 20 21
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 22 23
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 13 2
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 24 25
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 26 1
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 27 11
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 8 28
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 9 5
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 10 30
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 1 4
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 2 3
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 1 17
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 2 15
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 32 33
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 34 35
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 36 37
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 31 2
Un ejemplo de homografa con CABRI

P
ag. 6/8

Angel Montesdeoca

Un ejemplo de homografa con CABRI

P
ag. 7/8

Int, Mth:0, 0, 0, CN:2, VN:1, Const: 38 39


Line, Mth:1, 0, 0, CN:2, VN:2, Const: 40 1
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 41 11
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 42 6
Int, Mth:0, 1, 0, CN:2, VN:1, Const: 29 43, R, W, t, DS:1 1, GT:1, V, nSt

3. MACRO coordenadas homogeneas.mac

Macro CabriII vers. DOS 1.0


Coordenadas homogeneas, no name
Icon:
0000000000000000
0000000000000000
00FF00000000FF00
00FFF000000FFF00
00FFFF0000FFFF00
00FF0FF00FF0FF00
00FF00FFFF00FF00
00FF000FF000FF00
00FF00000000FF00
00FF00000000FF00
00FF00000000FF00
00FF00000000FF00
00FF00000000FF00
0000000000000000
0000000000000000
0000000000000000
Help:
"Dada la referencia proyectiva (A,B,C;U) y un punto P, no situado en las rectas AB,
Mth: 0
CN:5, ON:40, FN:2, PO:38
CT:
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
point, CS 0, R, W, t, DS:1 1, GT:1, V, nSt
Const:
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 1 3
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 2 1
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 4 3
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 4 2
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 2 5
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 5 3
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 6 10
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 7 11
Un ejemplo de homografa con CABRI

P
ag. 7/8

Angel Montesdeoca

Un ejemplo de homografa con CABRI

P
ag. 8/8

Int, Mth:0, 0, 0, CN:2, VN:1, Const: 7 8


Int, Mth:0, 0, 0, CN:2, VN:1, Const: 9 6
Mid, Mth:0, 0, 0, CN:2, VN:1, Const: 1 2
Mid, Mth:0, 0, 0, CN:2, VN:1, Const: 16 13
Cir, Mth:1, 0, 0, CN:2, VN:2, Const: 1 17
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 1 7
Int, Mth:1, 0, 256, CN:2, VN:1, Const: 19 18
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 20 13
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 20 14
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 2 7
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 22 23
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 21 23
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 2 23
Cir, Mth:1, 0, 0, CN:2, VN:2, Const: 2 25
Int, Mth:1, 0, 256, CN:2, VN:1, Const: 26 27
Axes, Mth:1, 0, 0, CN:3, VN:3, Const: 2 25 28
Mid, Mth:0, 0, 0, CN:2, VN:1, Const: 1 3
Mid, Mth:0, 0, 0, CN:2, VN:1, Const: 30 12
Cir, Mth:1, 0, 0, CN:2, VN:2, Const: 1 31
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 1 6
Int, Mth:1, 0, 256, CN:2, VN:1, Const: 33 32
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 34 12
Line, Mth:1, 0, 0, CN:2, VN:2, Const: 34 15
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 3 6
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 36 37
Int, Mth:0, 0, 0, CN:2, VN:1, Const: 35 37
Perp, Mth:0, 0, 0, CN:2, VN:2, Const: 3 37
Cir, Mth:1, 0, 0, CN:2, VN:2, Const: 3 39
Int, Mth:1, 0, 256, CN:2, VN:1, Const: 40 41
Axes, Mth:1, 0, 0, CN:3, VN:3, Const: 3 39 42
Eq/Co, Mth:0, 1, 0, CN:2, VN:3, Const: 24 29, B, W, NbD:2, FD, WU, GT:0, V, nSt
Eq/Co, Mth:0, 1, 0, CN:2, VN:3, Const: 38 43, B, W, NbD:2, FD, WU, GT:0, V, nSt

Un ejemplo de homografa con CABRI

P
ag. 8/8

Angel Montesdeoca

También podría gustarte