Homografía en El Plano Proyectivo Con Cabri - Angel Montesdeoca
Homografía en El Plano Proyectivo Con Cabri - Angel Montesdeoca
Homografía en El Plano Proyectivo Con Cabri - Angel Montesdeoca
Angel Montesdeoca
Comentamos una interpretaci
on con CABRI del siguiente ejercicio:
a12
a22
a32
x
a13
a23 y ,
z
a33
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
Angel Montesdeoca
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
P
ag. 3/8
(Applet CabriJava)
Ahora, ya estamos en condiciones de aplicar el macro homografia.mac, para construir el homologo
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)
P
ag. 3/8
Angel Montesdeoca
P
ag. 4/8
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
P
ag. 4/8
Angel Montesdeoca
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
P
ag. 5/8
Angel Montesdeoca
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
P
ag. 7/8
P
ag. 7/8
Angel Montesdeoca
P
ag. 8/8
P
ag. 8/8
Angel Montesdeoca