Professional Documents
Culture Documents
Fundamentos de Geometria - HSM Coxeter PDF
Fundamentos de Geometria - HSM Coxeter PDF
/'X’Y’”. En particular, si ABC y ABC’ son dos
tridngulos que tienen un lado comin, ABC+ABC’ se llama ruptura o
deformacion segin sea la recta CC’ paralela a AB 0 no lo sea. Hay una clase
de deformacion que tiene la suficiente importancia para recibir un nombre y
un simbolo especiales: la reflexion afin A(CC’) 0 B(CC’), que surge cuando el
Punto medio de CC esti en AB. Dicho de otra manera, un tridngulo
cualquiera ACC’ determina una reflexién afin A(CC’) cuyo espejo (0 “eje”)
an mediana que pasa por A en Ia direccion de todas las rectas paralelas a
a,
En el lenguaje det programa Erlangen (véase la pag. 95), el grupo principal
de la geometria afin es el grupo de todas las afinidades.238 geometria afin
EJERCICIOS
1. La ruptura o deformaciim ABC—ABC’ conservan invariantes todos los puntos de
la recta AB. Qué efecto tienen um punto Pde posicién general?
2. Toda afinidad de periode 2 es 0 bien un semigiro, o bien una reflexién afin,
3. Si con respecto 3 tina afimidad dada se tiene que todo punto no invariante esté
por lo menos en una fects invariants, entonces la afinidad es o bien una dilatacién, 0
bien una ruptura, © biem Una deformacion.
4, En términos de Goordensdas afines, las afinidades son las “transformaciones
afines”
ax + by +1.
Bae cxtdy +m, ad # be.
5. Describanse las transformaciones
@ voxel yay: Gi) x
vax=byy (i) x
13.4 EQUIAFINIDADES
Pues él, a escala geométrica,
Tomaba la medida a los jarros de cerveza,*
Samuel! Butler (1600-1680)
(Hudibras, 1.1)
Estamos preparados para demostrar que la comparacién de las longitudes
sobre rectas paralelas se puede extender a la comparacién de las dreas en una
Posicién cualquiera [cf. Forder 1, pigs. 259-265; Coxeter 2, pigs
125-128]. Con el objeto de ser sencillos, nos limitaremos a considerar
regions poligonales. (Se pueden incluir otras formas por medio de un
Proceso adecuado de limites como los que se usan en el cilculo integral.) Es
claro que se puede dividir cualquier regién poligonal en un numero finito de
tridngulos.7 De acuerdo con H. Hadwiger y P. Glur [Elemente der Mathe-
matik, 6 (1951), pags. 97-120], afirmaremos que dos de esas regiones son
equivalentes si se pueden dividir en un niimero finito de piezas que son
congruentes de dos en dos (por medio de traslaciones 0 semigiros). En
otras palabras, dos regiones poligonales serin equivalentes cuando se
puedan derivar una de otra mediante divisiones y rearreglos. Al super-
poner dos divisiones diferentes, veremos que esta clase de equivalencia,
que obviamente es reflexiva y simétrica, es también transitiva; dos
Poligones equivalentes al mismo poligono son también equivalentes entre
si.
Los paralelogramos OPQR y OP'Q'R de la figura 13.4a son equi-
valentes, pues cada uno de ellos esté compuesto por el trapezoide OP'OR
mas uno de los dos triingulos congruentes OPP’, RQQ’. En algunos de
* For he, by Geometrick scale
Could take the size of Pots of Ale. (1)
+N. J, Lennes, American Journal of Mathematics, 33 (1911), pig. 46.equiafinidades 239
P PQ
Figura 13.4a Figura 13.40
estos casos se necesitan mas de dos piezas, pero acabamos por encontrar
que:
13.41 Dos paralelogramos son equivalentes si tienen un par de lados
opuestos de la misma longitud y en el mismo par de paralelas
Puesto que se puede dividir un paralelogramo por su diagonal y tener dos
tridngulos que son congruentes mediante un semigiro, tenemos que dos tridn-
gulos (como OPQ y OP'Q' en la figura 13.40) son equivalentes cuando
tienen un vértice comin mientras los lados opuestos a dicho vértice son
segmentos congruentes de una recta. En particular, si los puntos Po,
P, ...,Py estén a espacios iguales en una recta (que no pase por O), de
manera que los segmentos PoP, P:P2,...sean todos congruentes, como se
ve en la figura 13.4¢, entonces los triingulos OPoP,, OP,P2,... son todos
equivalentes, y decimos con naturalidad que el drea de OPoP, es n veces el
Grea de OPoP;. Al interpolar nuevos puntos en la misma recta, podemos
extender Ja idea a todos los valores reales de n, y concluimos que si Q esta
en el lado PQ’ de un tridngulo OPQ’, como tenemos en la figura 13.4d, la
ceviana OQ divide cl rea del triéngulo en la misma razén que el punto Q
divide el lado:
13.42 OEE: PQ .
oPg’ ~ Pg’
Es natural que consideremos esta razén como negativa cuando P esta entre Q
y Q', es decir, cuando los dos tridngulos tienen orientaciones opuestas.
Por medio de estas ideas podemos definir el area de un polfgono de
manera que los poligonos equivalentes tengan dreas iguales, y cuando dos
poligonos se agregan para formar un polfgono mayor, las dreas se sumen.
Para calcular el rea de un polfgono dado en términos de un tridngulo tipo
OAB como unidad de medida, dividimos el poligono en tridngulos y
sumamos las areas de las piezas, que se calculan de la manera que veremos a
continuacién.
Si aplicamos una traslaci6n adecuada, un tridngulo cualquiera se desplazard
de manera que uno de sus vértices coincida con el vértice O del tridngulo
tipo OAB. Segin esta idea, tomamos un tridngulo OPQ. Sea la recta PO240 geometria afin
RAG -,
Figura 13.4¢ Figura 13.44
tal que corte a OA en P’, y a OB en Q’, como esti en la figura 13.4d.
Al multiplicar las tres razones
OPQ _ PQ OPQ _OP 0AQ’_ 0g
OP'Q'” PQ’ OAQ’~ OA’ OAB OB
obtenemos la razén que buscamos
ORO PO) OPIO0'
OAB~ P'Q'OA OB
13.43
Con el objeto de obtener una expresién analitica del drea de un triingulo
OPQ con respecto a los ejes del vértice O, tomamos las coordenadas de los
puntos
Ost Ain! B. PO P,Q
como
(0, 0), (1, 0), (0, 1), (ers ¥1). (2, ¥2), (P, 0), (0, 9),
respectivamente. Puesto que la ecuacién
=
Pq
de la recta PQ es satisfecha por (x1, y1) y (¢2, 2), tenemos
Te wlg 1 _1-ylg
x P Xa
‘aeadode ga U2 = di
or te: equiafinidades 241
Al tomar él producto de
PQ m= OP) OG _ mm =m
FOS 7° OA OB ae
obtenemos
org wa
13.44 —<~= yo — Xa) ?
ORR 2 a ie yal”
Y deducimos, como se hizo en § 8.2, que un triéngulo
(X41. V1) (X92. ¥2) (X3 ¥a)s
de posicién general, tiene por érea POR, donde
“yl
POR
13. Bek = ;
3.45 dap =| 02 1
Xa ys 1
Puesto que la transformacién lineal homogénea
x’ = ax + by, Y=extdy
lleva al tridngulo OAB a
(0, O)(a, c)(b, d),
concluimos que la afinidad 13.33 preserva el drea si y sdlo si
ad — be = 1.
Una afinidad que preserva el area se llama equiafinidad (0 “colineacion
equiafin” [Veblen y Young 2, pags. 105-113]. El grupo de todas las
equiafinidades, como el de todas las dilataciones, incluye el grupo de todas
las traslaciones y semigiros como subgrupo normal, y ademas constituye un
subgrupo normal del grupo de todas las afinidades. Las equiafinidades pueden
ser de muchas clases. He aqui algunos ejemplos:
La rotacion hiperbolica (o “transformacion de Lorentz” o “dilatacion de
Procusto”)
13.46
yo, wy @>0, p#1),
en la que x'y' = xy, conserva invariante cada rama de la hipérbola xy = 1. La
rotacion hiperbélica cruzada
13.47 Nesp. y= py (@>o0, nl
intercambia las dos ramas. La rotacion parabolica
13.48 x axel 2xty+l,
en la que x? ?_y, conserva invariante la parabola y=x°. La
rotacion eliptica242 geometria afin
13.49 x’ = xcos@ — ysen9, y’ = xsen0 + ycos@
conserva invariante Ja elipse x? + y’
conmensurable con =.
1, y es periddica cuando @ es
En § 2.8 (pag. 62) derivamos un poligono regular PoP,P2 ...a partir de
un punto Po (distinto del centro) al aplicar repetidamente la rotacién que
recorre 2n/m. (La rotacion leva Po a P;, P; a P2, y asi sucesivamente.)
Aunque la medida de angulos carece de sentido en la geometria afin,
podemos definir un poligono regular desde el punto de vista afin cuyos vértices
P;se derivan de un punto adecuado Pz al aplicar repetidamente una equiafinidad
Se dice que el poligono es del tipo {m) cuando Ia equiafinidad es una
rotacion eliptica 13.49, donde 6 =2n/n y n es racional, de manera que P;
tiene las coordenadas afines
(cos j6, sen j0) (8 = 2n/n).
En Ia figura 13.4e podemos ver un pentagrama (n = 5/2) y un pentégono
(n= 5) que son regulares desde el punto de vista afin.
Pa Py
Pa Po Py Pr
Figura 13.4¢ Figura 13.4f
EJERCICIOS
1. Dos tridngulos con un lado com‘in (como tenemos a ABC y BCD en la figura
13.24) tienen la misma area si y s6lo sila recta que une los dems vértices es paralela al
lado comin (es decir, si AD es paralela a BC).
2. Si un pentigono tiene cuatro de sus diagonales paralelas a cuatro de sus lados, la
‘otra diagonal serd también paralela al otro lado.
3. {Cuindo es una dilatacién una equiafinidad?
4, (Cuindo es una ruptura una equiafinidad?
5. {Cuando ¢s una deformacién una equiafinidad?
6. El producto de un nimero cualquiera de reflexiones afines es una equiafinidad.
7. Una traslaci6n, semigiro o ruptura cualesquiera se pueden expresat como
producto de dos reflexiones afines.
8. Si una equiafinidad no es una traslacion ni un semigiro, ni una ruptura, se puede
expresar como PoP;P2—>P;P;P3 donde PoPs es paralela a P\P>. (Véase la figura
13.4f)
aos Se puede expresar toda equiafinidad como producto de dos reflexiones afines.
eblen.)
10. En un polfgono regular desde el punto de vista affn PgP;P2 ..., las rectas PiP; y
PyPx son paralelas siempre que i +/—=h +k.celosias bidimensionales 243
M1. {Por qué hablamos de x? +y
poco después de 13.49)?
12, Qué tridngulos y qué cuadringulos son regulares desde el punto de vista afin?
13. Constriiyase, un exégono regular desde et punto de vista afin.
14. Caleiilese la’ raz6n PoP3/P;P2 para un poligono regular desde el punto de vista
afin de tipo (n).
15. Qué valores de m hacen a un poligono regular desde el punto de vista afin de
tipo {n} susceptible de ser construido con una regla de paralelas?
1 como elipse y no como circunferencia (un
13.5 CELOSIAS BIDIMENSIONALES
A Farey le han dedicado veinte rengiones en el Dictionary of
National Biography ....Su bidgrafo omite lo tinico de su
vida que le ha sobrevivido,
G. H. Hardy
[Hardy y Wright 1, pag. 37]
El tratamiento que dimos a las celosias en § 4.1 (hasta la descripcién de
la figura 4.1d) es puramente afin. De hecho, una celosia es el conjunto de
puntos cuyas coordenadas afines son enteros. Cualquiera de los puntos puede
ser el origen 0.
Sea A’ un punto cualquiera de la celosia, y sea A el primer punto de la
celosfa en el rayo QA’. De acuerdo con Hardy y Wright [1, pag. 29], decimos
que A es un punto visible, porque no hay ningiin punto de la celosia entre O
y A que obstruya la vision de 4 de un observador colocado en O. En
términos de coordenadas afines, una condicion necesaria y suficiente para que
(x, y) sea visible consiste en que los enteros x y y sean primos entre si, es
decir, que no tengan divisor comin mayor que 1. Los tres puntos visibles
(1,9), (4D, 1)
forman con el origen un paralelogramo. A éste se le llama celda unitaria (0
“paralelogramo tipico”) de la celosia, puesto que las traslaciones la trans-
forman en una infinidad de celdas iguales que llenan el plano sin traslaparse y
sin dejar intersticios: es una regién fundamental del grupo de las traslaciones.
Y asi nos sirve de unidad conveniente para caleular el area de una regién.244 geometria afin 5
Segiin Steinhaus [2, pags. 76-77, 260] se debe a Pick el descubrimiento
del teorema siguiente, en 1899:-*
13.51 El drea de wn poligono simple cualquiera cuyos vértices son
puntos de la celosia se determina por medio de la formula
db+ce-1,
donde b es el mimero de puntos de la celosia en la cota mientras c es el
numero de puntos dentro de ella.
(Por poligono “simple” entendemos uno tal que sus lados no se cortan.
En la figura 13.Sa se puede ver un ejemplo en el que b= 11, c= 3.)
Demostracion. Empezamos por observar que la expresién 1b +c—1 es
aditiva cuando se yuxtaponen dos poligonos. De hecho, dos poligonos en los
que intervengan respectivamente 6; +c; y b2 +c: puntos de la celosia,
tendrin un lado comin que ha de coniener n (>0) puntos de la celosia
ademas de los dos vértices en los extremos; entonces los valores de b y ¢ para
el poligono combinado son
b=b +b2-2n-2, cHant+eoin,
de manera que
bb +e—1 = ($b +1 — 1) + be + cz — I).
En seguida, observemos que la formula es valida para un paralelogramo
que carezea de puntos de la celosia en sus lados (de manera que b=4 y la
expresién se reduce a ¢+1). Cuando 4 paralelogramos de ésos se colocan
juntos, cuatro en cada vértice, para llenar una region grande, el numero de
puntos de Ia celosia que quedan implicados (al margen de un error periferial
despreciable) es N(c +1), y este nimero ha de ser igual al de celdas unitarias
que se necesitan para Ilenar la misma region.
Al partir el paralelogramo en dos tridngulos congruentes por medio de una
diagonal, vemos que la formula también es valida para un tridngulo que
carezea de puntos de la celosia en sus lados. Un tridngulo que tenga puntos
de la celosia en uno de sus lados puede reducirse al caso que hemos descrito al
unir esos puntos con el vértice opuesto, de manera que se divida en
tridngulos menores. Este procedimiento tal vez haya de repetirse, pero es
obvio que no habré que hacerlo mds que un mimero finito de veces. Por
iltimo, como sefialdbamos en la pig. 239, un poligono cualquiera puede ser
dividido en triingulos; entonces, se suman las expresiones de las piezas que
tesultan para obtener el resultado que se busca.
En particular, tenemos que un paralelogramo cualquiera en el que b= 4 y
¢=0 tiene por rea 1 y nos puede servir de celda unitaria. Si los vértices de
un paralelogramo asi(en el orden del sentido contrario al de las manecillas
del reloj) son
(0,0), @y), (K+ xy +4) Carn),
* Una extension a tres dimensiones se puede encontrar en J. E. Reeve, On the volume of
lattice polyhedra, Proceedings of the London Mathematical Society (3), 7 (1957), piss,
378398.. celosias bidimensionales 245
vemos, a partir de 13.44, que
13.52 M1 — yx = 1.
En otras palabras, esta es la condicién que deben cumplir los puntos
13.53 (0,0), (x,y), (xa, 91)
para formar un tridngulo “vacio” de orientacién positiva y de area de 4, que
podria usarse también para generar la celosia, como (0, 0) (1, 0). (0. 1). Asi.
tenemos que una celosia queda completamente determinada, si hacemos caso
‘omiso de su posicién, por el drea de la celda unitaria que le corresponde. Es
mis, aunque hay una infinidad de puntos visibles en una celosia dada, todos
tienen el mismo papel. (Estas propiedades de la geometria afin contrastan
marcadamente con las de la geometria euclidiana, donde la forma de una
celosia admite variaciones ilimitadas y los puntos visibles de cada celosia
estin a una infinidad de distancias diferentes.)
Figura 13.Sb
George Polya* aplicé 13.52 a un lema de la teoria de los ntimeros que
tiene utilidad. La serie de Farey Fy, de orden ii es la sucesién ascendente de
las fracciones de 0 a 1 tales que sus denominadores no exceden 11. Asi,
tenemos que x/y pertenece a Fy cuando x y y son primos entre si y
13.54 O