IES 9 011 DEL ATUEL

PROFESORADO EN MATEMTICA
GEOMETRA III CICLO LECTIVO 2007
AUTORA: Licenciada Clara M. Valerdi

PROGRAMA ANALTICO
EJE TEMTICO I: CURVAS Y CONSTRUCCIONES GEOMTRICAS
Bloque 1: Curvas Clsicas Especiales
Expresin compleja de rectas en el plano. Puntos inversos de una recta. Cnicas. Circunferencia: su
expresin compleja. Puntos inversos de circunferencias. Expresin paramtrica de la circunferencia.
Ejercicios. Expresin compleja de la elipse. Expresin paramtrica de la elipse. Propiedad focal de la
elipse. Expresin compleja de la hiprbola. Expresin paramtrica de la hiprbola. Propiedad focal de
la hiprbola. Propiedad focal de la parbola. Lemniscatas. Cicloides. Epicicloides. Hipocicloides. Sus
propiedades. Ejercicios. Espirales. Curvas y reas lmites: fractales. Dimensin fractal. El copo de
nieve de Von Koch. La carpeta de Sierpinski. Fractal de Apolonio.
Bloque 2: Construcciones con regla y comps
Potencia de un punto respecto de una circunferencia: propiedades. Trazado de circunferencias:
diferentes casos. Problema de Apolonio. Razn urea. Construccin de un rectngulo cuyos lados
estn en razn urea. Ejercicios. Construccin de polgonos regulares. Resolubilidad de las
construcciones con regla y comps.
EJE TEMTICO II: MATEMTICA DISCRETA
Bloque 1: Grafos
Definicin de grafo. Definicin de digrafo. Aristas paralelas. Lazos. Grafos planos. Caras. Frmula de
Euler para grafos. Frmula de Euler para poliedros. Caras, aristas y vrtices de los poliedros
regulares. Caminos y ciclos. El problema de los puentes de Knigsberg. Ciclos eulerianos. Grado de
un vrtice. Ciclos hamiltonianos. Representaciones de grafos. Matrices de adyacencia. Propiedades.
Matrices de incidencia. Mosaicos. Los dibujos de Escher.
Bloque 2: Geometra Computacional
Propsito de la Geometra Computacional. El problema del par ms cercano. El problema de la
cubierta convexa. Diagramas de Voronoi.

EJE TEMTICO III: SUPERFICIES Y VOLMENES

Bloque 1: Superficies
Superficies en forma paramtrica. Generalidades. Producto vectorial fundamental. rea de superficies
paramtricas. Representacin paramtrica del plano. Representacin paramtrica de las superficies
cilndricas. Representacin paramtrica de las superficies esfricas. Ejercicios de clculo de reas.
Bloque 2: Volmenes
Coordenadas cilndricas. Representacin del cilindro y del cono. Volmenes de cuerpos cilndricos
finitos. Coordenadas esfricas. Volumen de la esfera.
EJE TEMTICO IV: GEOMETRAS NO EUCLIDIANAS
Bloque 1: Los Elementos de Euclides
Definiciones, axiomas, postulados. Fundamentacin axiomtica de la Geometra plana. El quinto
postulado. Enunciados equivalentes. El cuadriltero de Saccheri: objetivos y propiedades.
Clasificacin de las geometras no euclidianas. Geometra de la esfera.
Bloque 2: Transformaciones bilineales
Flix Klein y el programa de Erlangen. Transformaciones bilineales. Imgenes de rectas y
circunferencias

por

transformaciones

bilineales.

Conservacin

de

puntos

inversos

por

transformaciones bilineales. Conservacin de razones dobles. Transformaciones bilineales a

coeficientes reales. Sus propiedades.
Bloque 3: Un modelo de Geometra No Euclidiana
El semiplano de Poincar. Distancias y rectas. Propiedades. Paralelismo. ngulo de paralelismo.
Trazado de las paralelas a una recta por un punto exterior a la misma. Oriciclos. Hiperciclos.

INTRODUCCIN
Breve revisin de las propiedades necesarias para el desarrollo de este tema
Un nmero complejo expresado en forma binmica es z = x + i y, donde sabemos que:
x R se llama parte real de z. La notacin ser, indistintamente, x Re (z).
y R se llama parte imaginaria de z .La notacin ser, indistintamente, y Im (z).
Es muy importante que recuerden que, pese a recibir el nombre de parte imaginaria, y es un nmero real.
El nmero real y queda sealado como parte imaginaria de z al estar acompaado por la unidad imaginaria

Actividad 1: repasen las operaciones de adicin, sustraccin, multiplicacin y divisin de nmeros complejos
expresados en forma binmica, y sus propiedades.
Actividad 2: completen el cuadro siguiente; siempre tomaremos z en forma binmica z = x + i y:
z .................

este nmero complejo se llama ...........................................

z z ...............

por lo tanto x

Resulta entonces que z z es un nmero .........................................

z - z .................

por lo tanto y

Resulta entonces que z z es un nmero .........................................

i 2 ................
z z ...............

z z ............... y recibe el nombre de ..................................................

Actividad 3:
Tomando z = x + i y, demuestren las siguientes propiedades:
zz
z1 z 2 z1 z 2
z1 z 2 z1 z 2
z1

z2

z1

z2

si z 2 0

Expresin compleja de rectas en el plano

Sean p y q dos puntos del plano tales que p q. El lugar geomtrico de los puntos del plano que equidistan de p
y q es una recta, que es la mediatriz del segmento determinado por p y q.

Figura 1
Sea z un punto genrico de la recta equidistante de p y q.
Entonces la distancia de p a z es
d (p, z) = | z p |

(1)

y la distancia de q a z es
d (q, z) = | z - q |

(2)

De (1) y (2) resulta la ecuacin de la recta en forma compleja

|zp|=|z-q|

(3)

Definicin
Sea la recta r dada por su ecuacin en forma compleja (3). Los puntos p y q se llaman puntos inversos respecto
de r.
Ejemplo
Sean p = 2 + i, q = 1 + 2 i
Dichos puntos son inversos respecto de la recta | z (2 + i ) | = | z ( 1 + 2 i) |

y
3

-1

-2

-3
-3

-2

-1

Figura 2
Elevando los mdulos al cuadrado por comodidad, tenemos que:
z (2 i)

z z ( 2 i) z ( 2 i) z 5
z (1 2i)

z ( 2 i) z ( 2 i ) z ( 2 i ) z ( 2 i)

( 4)

z (1 2i ) z (1 2i) z (1 2i ) z (1 2i)

z z (1 2i) z (1 2i ) z 5

(5)

De (4) y (5) obtenemos

z z ( 2 i) z ( 2 i) z 5 z z (1 2i ) z (1 2i) z 5
Efectuando los clculos habituales con nmeros complejos, resulta que

-1 - i z 1 i z

( 6)

que es una forma ms simple de expresar la ecuacin de la recta.

Ms an, intentemos reemplazar z por sus componentes, es decir, z = x + i y en (6) y operemos con los nmeros
complejos de la manera habitual

1 i x i y 1 i x i y 0
x i y i x y x i y i x y 2 x 2 y 0 x y

(7)

Es decir, la expresin compleja obtenida corresponde a la recta cuya ecuacin cartesiana es y = x

Ser la ecuacin | z (2 + i) | = | z ( 1 + 2 i) | la nica que tiene como representacin a la recta y = x?

Observen la figura 2!
Actividad 4
1) Dada la ecuacin z z (1 i)
a) representen grficamente en un par de ejes los puntos p y q y la recta que equidista de ellos;
b) efecten un desarrollo similar al del ejemplo para obtener la ecuacin de la recta en forma explcita o en
forma implcita;
c) comenten los resultados obtenidos en (a) y en (b).
2) Realicen un trabajo similar al efectuado en la resolucin del ejercicio 1 para las siguientes ecuaciones:
a ) z 3i z 5i
b ) z z 4 2 i

c ) z 6 i z 5 2 i

Caso general
Trabajaremos la ecuacin z p z q , elevando los mdulos al cuadrado por comodidad:
zp

zp

zq

z p

zq

z q

zz pz pz pp zz qz qz qq

p q z p q z p p q q
p q z p q z

Por las propiedades que repasamos al principio, ambos miembros de la igualdad son nmeros reales; en efecto ,
el miembro de la izquierda es la suma de un nmero complejo y su conjugado, que es el doble de la parte real de
ambos nmeros, y el de la derecha es la diferencia de dos mdulos, que son nmeros reales.

Desafo al lector

En qu caso Re p q z ser un real positivo? En qu caso Re p q z ser un nmero

negativo? Puede ser que Re p q z =0? Si respondieron en forma afirmativa, en qu caso? Si

respondieron en forma negativa, justifiquen su respuesta.
CONCLUSIN: la ecuacin z p z q es equivalente a la ecuacin de una recta en el plano, ya que
los trminos cuadrticos z z no figuran en ella.
Observacin: podemos expresar la ecuacin z p z q de manera equivalente como:
zp
1
zq

Es legtimo que nos preguntemos, y si la ecuacin fuera

zp
2?
zq

Veamos un ejemplo:
zi
2 z i 2 z i
zi
Elevando al cuadrado por comodidad, vemos que
z -i

zi

4 zi

z i 4

zi

z i

z z i z i z 1 4 z z i z i z 1

z z i z i z 1 4 z z 4i z 4i z 4
3 z z 5i z 5i z 3 0

Esto es nuevo, evidentemente. Pero podemos observar algunos hechos:

El miembro izquierdo de la igualdad es un nmero real, a primera vista, por ser igual a 0.
El primer trmino del miembro de la izquierda es un nmero real multiplicado por z

. Por lo que es de

segundo grado.

La suma 5 i z 5 i z i 5 z 5 z es igual a la parte imaginaria de 5 z , multiplicada por

2,

en efecto: i 5 z 5 z i 2 i Im 5 z 2 Im 5 z , por lo que es de primer grado.

Estas propiedades nos permiten sospechar que estamos ante una curva de segundo grado. Dicha curva se
caracteriza porque el cociente de las distancias de uno cualquiera de sus puntos (el punto genrico z) a dos
puntos fijos (en este caso, i y i) es constante. Qu curva ser? Veamos, para lo cual debemos seguir trabajando.

Partimos de la expresin

3 z z 5 i z 5 i z 3 0 y la dividimos por - 3 :
5
5
z z iz iz 3 0
ahora extraemos el factor comn z de los dos primeros trminos :
3
3
5
5
5

z z i i z 3 0
qu tentacin de extraer un z - i ! Pero nos falta un trmino.
3
3
3

Entonces hacemos un truco : agregar lo que falta, y compensar, es decir :

5
5
5
25

z z i i z i
3 0
3
3
3
9

Ahora contamos con un factor comn entre los dos primeros trminos, pero nos sobran dos trminos

independientes. Operemos:

25
2
3 ; ahora sumemos ese resultado a ambos miembros de la ecuacin:
9
9

5
5
2
i z i
3
3
9

es decir :

5
5
2
i z i
por lo que tenemos el producto de un complejo por su conjugado.
3
3
9

Ya sabemos a qu es igual, as que reemplazamos :

z

5
2
5
2
i
z i
3
9
3
9
donde elegimos la raz cuadrada positiva porque el mdulo de un complejo es siempre positivo.
z

Qu curva es sta?
Observemos que

5
5

i z i
3
3

2
9

Como el mdulo de la diferencia de dos nmeros complejos es igual a la distancia entre los mismos, concluimos

que la distancia de los puntos z que nos interesan al punto z 0

Por lo que los puntos z que satisfacen la ecuacin

5
i es constante, ms an, es igual a 2 .
3
3

zi
2 se hallan sobre la circunferencia de centro
zi

5
z 0 i y radio r = 2
3
3
Actividad 5:
Realicen un anlisis similar al anterior para las ecuaciones siguientes:

a)

z 1
5
z3

b)

d)

z2
5
z3

e)

z 3 i
1

z 3i
2

c)

z i
2
z 2i

z 1 i
2
z 1 i

f )2

z 1 i
1
z 1 i

La respuesta del tem (e) es la circunferencia z 3 i 2 , es decir, su centro es el punto z0 =................ y su

radio es igual a r = ................
Veamos un grfico:

Figura 3
Podemos observar lo siguiente:
El centro z0 = - 3 i, y los puntos p = i y q = -2 i, estn alineados.

El punto p = i es exterior a la circunferencia.

El punto q = - 2 i es interior a la circunferencia.

La distancia de z0 a p es d (z0, p) = | - 3 i i | = 4

La distancia de z0 a q es d (z0, q) = |-3 i + 2 i | = 1

 El producto de las distancias d (z0, p) d (z0, q) = 4, que es el cuadrado del radio de la circunferencia.

Representen grficamente todas las circunferencias de los tems (a) hasta (f), y analicen si sucede lo mismo que
en el caso del tem (e).Cada grupo deber entregar el grfico que se le asigne la prxima clase. Pueden hacerlo
a mano o en computadora.
Ahora, resumiendo lo que hemos hallado, veamos un poco de teora. Es decir, empezaremos por definir los
puntos p y q con los cuales hemos trabajado en los ejemplos. Al leer la teora, comparen los trabajos prcticos
realizados con las rectas y circunferencias.
Puntos inversos de una recta
Sean p y q dos puntos del plano. Se dice que p y q son puntos inversos respecto de una recta r del plano si
equidistan de dicha recta. Esta situacin se describe matemticamente mediante la ecuacin:
zp
1, que equivale a
zq

z-p zq

Cada recta tiene infinitos puntos inversos.

Un par de puntos inversos p y q basta para definir una recta.

En el trabajo prctico realizado sobre rectas dadas por dos puntos inversos de la pgina

, justifiquen las

dos observaciones.
Puntos inversos de una circunferencia
Sean p y q dos puntos del plano. Se dice que p y q son puntos inversos de la circunferencia cuyo centro es z 0 y
radio r si cumplen los requisitos siguientes:

p y q se hallan sobre la misma semirrecta con origen en z0.

p z0

q z0 r2

Verifiquen en el trabajo prctico de circunferencia de la pgina 7 que se cumplen ambos requisitos.

Si p y q son dos puntos inversos de una circunferencia, la ecuacin de dicha circunferencia es equivalente a la
ecuacin:

10

p z0
k
q z0
k es un nmero real tal que:

k>0

k1

Porque, si fuese k < 0, ..

y si fuese k = 1, ..
Ejemplo 1
Veremos cmo podemos, dada la ecuacin cartesiana de una recta y un punto p C:

hallar el punto q / q es inverso de p respecto de la recta;

hallar la ecuacin de la recta en la forma compleja

zp
1
zq

Dada la recta y = 2x, y el punto p = 1 + i, hallaremos el punto inverso q. A tal fin, comenzamos expresando x e y
como parte real e imaginaria de un nmero complejo z = x + i y:

zz
z z z - z 2iz 2i z
2i

1 - 2i z 1 2i z

3 4i
1 2i
z
z
5
1 2i

Entonces, z p ser:

1 i 3 4i
3 4i
5 5i 3 4i
3 4i
z 1 i

z

z
5
5
3 4i
5
5

1 7i
3 4i

5
5

zp

Los clculos omitidos quedan a vuestro cargo.

Observen que

3 4i
1 , as que en definitiva resulta:
5

11

zp z

As que q

1 7i
1 7i
1 7i
z
z
zq
5
5
5

1 7
i
5 5

Justifiquen todos los pasos efectuados. Interpreten grficamente el resultado.

Ejemplo 2
Dada la ecuacin de una circunferencia con centro en z0 y radio r, en la forma | z z0 |= r,
y un punto p C, hallaremos:

el punto inverso q de p con respecto a la circunferencia;

la ecuacin de la circunferencia en la forma

zp
k / k 0 k 1
zq

Sea la circunferencia de ecuacin | z | = 2 es decir, cuyo centro es z0 = ., y su radio es r = .

y el punto p = -1 + i.
Para hallar q podemos empezar por un grfico donde figuren la circunferencia y el punto p:

Figura 4

12

La semirrecta con origen z0 y que contiene a p

es y = -x / x < 0, es decir los nmeros complejos

correspondientes sern los siguientes:

z x i x x 1 i

x0
Sabemos que q pertenece a esta semirrecta, y adems, por definicin de puntos inversos, tenemos que:

p z0

q z0 r 2 p q 4

Entonces tenemos que

2 x

2 4 x 2 x 2

q = -2 (1 i)

Comprueben que los puntos p y q satisfacen los requisitos para ser puntos inversos respecto de la circunferencia
|z|=2
La ecuacin de la circunferencia referida a sus puntos inversos p y q es la siguiente:

z 1 i
k
z 2 2i
Falta hallar el valor de k, entonces recordamos que el punto z es genrico, es decir, es un punto cualquiera de la
circunferencia. Elijamos, por ejemplo, z = 2, lo que nos permitir calcular k:
2 1 i
3i

2 2 2i
4 2i

10
2

k
2
20

Hallen el valor de k reemplazando z por otros puntos ubicados en la circunferencia. Si hemos trabajado bien,
qu deber suceder? Comenten el resultado.
Nuestra ecuacin quedar entonces:
z 1 i
2

z 2 2i
2

13

Ser posible volver a obtener la ecuacin | z | = 2 a partir de la ecuacin del prrafo anterior? Probemos,
elevando los mdulos al cuadrado por comodidad:
2 z 1 i

z 2 2i

2 z 1 i z 1 i z 2 2i z 2 2i

2 z z 2z 1 i 2 z 1 i 4 z z z 2 2i z 2 2i 8
zz z

z 2

Pudimos obtener nuevamente la ecuacin de partida.

y ahora
Actividad 6
1) Sea la recta cuya ecuacin en coordenadas cartesianas es

y=x
a) Dado el punto p = 1 C, representen grficamente la recta y el punto p.

b) Hallen, analtica y grficamente, el punto q que es inverso de p respecto a la recta.

c) Expresen la ecuacin de la recta en la forma z p = z q

d) A partir del resultado del tem (c), vuelvan a obtener la ecuacin de la recta en coordenadas cartesianas.
2) Repitan el trabajo realizado en el ejercicio 1 en los casos siguientes:
a) Recta y = x, p = 2 + i
b) Recta y = x, p = 1 + i Qu les llama la atencin en este resultado?
c) Recta y =2 x, p = 2 + i
d) Recta y = x + 3 , p = 1 + i
e) Recta y = 5 x-2 , p = i
Actividad 7

14

1) Sea la circunferencia z = 2
a) Dado el punto p = 2 + i C, representen grficamente la circunferencia y el punto p.

b) Hallen, analtica y grficamente, el punto q que es inverso de p respecto a la circunferencia.

c) Expresen la ecuacin de la circunferencia en la forma

zp
k
zq

d) A partir del resultado del tem (c), vuelvan a obtener la ecuacin de la circunferencia en la forma

z =2
2) Repitan el trabajo realizado en el ejercicio 1 en los casos siguientes:
a) Circunferencia z = 2, punto p = -1+i

b) Circunferencia z = 2, punto p =

2 1 i

Qu les llama la atencin en este resultado?

c) Circunferencia z = 2, punto p = -1+2 i

d) Circunferencia z - 1 = 1, punto p = 2 + i

Teora
Ecuacin de la recta y de la circunferencia en forma compleja
Despus de haber trabajado, en casos particulares, con las ecuaciones de rectas y de circunferencias expresadas a
partir de sus puntos inversos, vamos a generalizar, es decir, a estudiar la teora que nos permite garantizar que
una ecuacin del tipo:
zp
k tal que k 0
zq

15

corresponde siempre a una recta o a una circunferencia, siendo p y q un par de puntos inversos de la misma.
Esta ecuacin corresponder a una recta si k = 1, y a una circunferencia si k 1.
zp
k mediante el recurso de elevarla al
zq

Vamos a partir, como siempre hemos hecho, de la ecuacin

cuadrado. Observen que debemos tener presente que k > 0, ya que en caso contrario la ecuacin no tiene sentido,
porque

zp

zp

k2 z q

z p k 2

zq

z z q z q z q q
q z p k q z p p k

zz pz pz pp k

1 k z z p k
2

z q

qq 0

(1)

En esta ecuacin podemos destacar algunas cosas interesantes:

El coeficiente de z z es un nmero real, ya que es igual a 1 k2 ;

El trmino independiente es tambin un nmero real, ya que es igual a p

El coeficiente de z es un nmero complejo, p k 2 q , y el coeficiente de z es el conjugado del

k2 q

coeficiente de z, ya que p k 2 q p k 2 q
As que la ecuacin (1) puede escribirse de la siguiente manera:
azz bz bz c 0

donde a c R, b C

(2)

donde tenemos que:

a =

b = .

c = .

A continuacin trabajaremos la ecuacin (2), que es ms sencilla que la (1), a la que despus retornaremos.

16

azz bz bz c 0

( 2)

b
b
c
z z 0
a
a
a
b
b
c
z z z 0
a
a
a

y la dividimos por a

zz

Los dos primeros trminos tienen un factor comn

(3)

Podemos apreciar que los dos ltimos trminos no tienen un factor comn, pero nuestra experiencia en el trabajo

b
de los ejemplos nos sugiere que creemos un factor comn z intercalando el trmino que necesitamos, es
a

decir,

bb
a2
bb c
b
b
b
z z 2 0

a
a
a
a
a

(4)

b ac
b
b
z

a
a
a2
b
b
b
z z
a
a
a

aplicando propiedades tenemos que :

b

ac

(5)

a2

La ecuacin (5) nos dice que:

trabajando la ecuacin (2) hemos obtenido una igualdad entre nmeros reales;

como

b
a

ac 0 b

0 , debe ser

ac

b ac
a2

0 , o, lo que es equivalente pero ms simple,

(6)

Por lo que obtendremos la siguiente ecuacin

ac

que corresponde a la

circunferencia cuyo centro es . y cuyo radio es . si y slo si las constantes a,

b y c satisfacen la condicin (6)
Actividad 8

17

En el desarrollo precedente hemos dividido por a, y tal divisin slo es posible si a 0. Analicen en grupo el
caso a = 0.
Vamos a continuar ahora nuestro trabajo con la ecuacin (1) . Comparando esta ecuacin con la expresin (2),
podemos ver que:
a 1 k2
b p k 2q b p k 2 q
k2 q

Nos interesa demostrar que el nmero real b

c p

a c 0 , as que reemplazaremos a, b y c por las expresiones

en funcin de p, q y k:

a c p k 2q p k 2 q 1 k 2

k 2p q k 2 p q k 4 q

p p q q p q k
pq

k2 q

k p q k p q k q q k p p k
2

k2 q
2

k2 p

k4 q

p p p q q q p q

p q p q

Es decir, que en el caso que estamos estudiando, la ecuacin (1) SIEMPRE corresponde a una circunferencia.
Desafo a los lectores

Recapitulando, observen que el centro z0 de la circunferencia es z 0

p k2 q
y que su radio r es
1 k2

k pq
1 k2

2
Verifiquen las condiciones p z 0 q z 0 r , mediante reemplazo directo de los valores involucrados.

Tambin es posible demostrar que se cumple el requisito de que p y q se hallan sobre la misma semirrecta con
origen en z0. La demostracin es conceptualmente sencilla, pero es larga, por lo que no la incluyo en los
contenidos de este curso.

18

19

La elipse
Introduccin
La elipse es una curva conocida, as que es posible que ustedes recuerden su definicin.
Se llama elipse al conjunto de puntos del plano tales que la suma de sus distancias a dos puntos fijos del plano,
llamados focos, es constante.
Recordando que el mdulo de la diferencia de dos nmeros complejos representa la distancia entre ellos,
podemos definir la elipse de la siguiente manera:
z F z F' 2a

donde F y F son los focos y z es un punto genrico de la elipse.

Actividad 9
Consideren z = x + i y un punto genrico de una elipse cuyos focos son F = -1 i, y F = 1 + i. Adems, a = 5.
Escriban su ecuacin en forma compleja y bosquejen un grfico. Cul es la excentricidad de dicha elipse?

Tambin han estudiado la ecuacin de la elipse en forma cannica, expresada como:

x 2 y2

1 , donde a > b > 0 son constantes.

a 2 b2
El nmero real positivo c

nmero real positivo

a 2 b 2 es la distancia del centro de la elipse a cualquiera de sus focos, y el

c
1 se llama excentricidad de la elipse.
a

Propiedad de reflexin de la elipse

Esta es una propiedad muy importante de la elipse. La recta tangente a una elipse en uno cualquiera de sus
puntos determina ngulos suplementarios con los radios vectores que unen dicho punto con los focos.
Interpretemos grficamente esta propiedad.

20

Figura 7
El punto genrico de la elipse es X, los focos son F y F, y los radios vectores son r y r. Adems, t es la recta
tangente a la elipse en X y n es la normal a la elipse en el mismo punto.
Bueno! La figura 7 ilustra la propiedad enunciada, adems parece que la recta normal es bisectriz del ngulo
F ' . Se animan a demostrar esta propiedad, a partir de la propiedad de reflexin? Pero sabemos bien
FX

que un ejemplo no es una demostracin, y que la demostracin debe valer para todas las elipses. As que veamos
la demostracin de la propiedad de reflexin.
A tal fin, consideremos la elipse con el foco F en el origen de coordenadas:

Figura 8

21

Si consideramos los vectores F1 X y F2 X observamos que F1 X X , y que F2 X X F2 . En las

direcciones de F1 X y F2 X consideramos los versores, u 1 en la direccin de F1 X y u 2 en la
direccin de F2 X . Recuerdan cmo se pueden obtener los dos versores? Antenlo aqu:

Como la elipse es una curva plana, podemos expresarla en forma paramtrica con un solo parmetro t, es decir,
el punto X = x(t) + i y(t); no necesitamos entrar en detalles para tener xito en nuestra demostracin.
Entonces, observando la figura 8, tenemos que:

X r1 u 1 r2 u 2 F2 que son funciones del parmetro t.

Derivando, obtenemos las siguientes expresiones:

X ' r1' u 1 r1 u 1'

(1)

X ' r2' u 2 r2 u '2

(2)

Ahora bien, recordemos que u 1 es un versor, es decir,

u1

1;

recordemos adems que es funcin del

parmetro t, llammosla g(t); entonces,

g(t ) u 1

u 1 u 1 1 g ' ( t ) u 1' u 1 u 1 u 1' 2 u 1 u 1' 0 ,

lo que significa que los versores

u 1 y u 1' son ortogonales.

De (1) podemos deducir, planteando producto escalar, que

X' u 1 r1' u 1

r1 u 1 u 1' r1

Desafo a los lectores: tomando

(3)

h( t ) u 2

que finalmente, resulta que X ' u 2 r2'

obtengan la conclusin de que u 2 y u '2 son ortogonales y

(4) , adaptando convenientemente el razonamiento que condujo a

(3).

22

La suma de (3) y (4) nos revela lo siguiente:

X ' u 1 X ' u 2 X ' u 1 u 2 d 1' d '2 d 1 d 2 ' 0 , ya que d1 + d2 = 2 a

Esto significa que X' u 1 u 2

(5)

Para qu nos va a servir la propiedad (5)? Nuestro propsito es demostrar que la recta tangente a una elipse en
un punto genrico X forma con los radios vectores correspondientes al mismo, ngulos exteriores
son ngulos suplementarios, entonces la relacin entre sus cosenos es se
y
suplementarios. Si

acuerdan?... Y el coseno de un ngulo entre vectores est relacionado con el producto escalar de ambos, ya que
a b

cos

el ngulo entre los dos vectores.

, siendo

Para no tener problemas con el valor

, vamos a tomar el versor en su direccin, es decir, el versor tangente

a la elipse en el punto X de la misma, es decir,

Tenemos que T u 1 u 2 T u 1 T u 2 0

al ngulo entre T y u 1
Entonces, llamando

(6)
y

al ngulo entre T y u , la igualdad (6) significa

que
0 cos

cos
cos
cos
son ngulos suplementarios. QED
y
As que

Actividad 10
En la demostracin precedente, establecimos que un versor u ( t ) derivable es ortogonal a su derivada, esto es,
u ( t ) u ' ( t ) 0 . Recordando que la derivada de una funcin constante es igual a cero, y siguiendo el

mismo procedimiento que nos permiti obtener la expresin (3), demuestren que :
Si F( t ) es una funcin vectorial derivable y de mdulo constante en un intervalo abierto I, entonces

F( t ) F' ( t ) 0"
Realizando esta demostracin, disponemos de una propiedad general que podremos invocar cada vez que la
necesitemos.

23

La hiprbola
Introduccin
La hiprbola es una curva conocida, as que es posible que ustedes recuerden su definicin.
Se llama hiprbola al conjunto de puntos del plano tales que el valor absoluto de la diferencia de sus distancias a
dos puntos fijos del plano, llamados focos, es constante.
Recordando que el mdulo de la diferencia de dos nmeros complejos representa la distancia entre ellos,
podemos definir la hiprbola de la siguiente manera:
z F z F'

2a

donde F y F son los focos y z es un punto genrico de la hiprbola.

Tambin podemos expresar la definicin de la siguiente manera:
z F z F' 2 a

Propiedad de reflexin de la hiprbola

Esta es una propiedad muy importante de la hiprbola. La recta tangente a una hiprbola en uno cualquiera de
sus puntos determina ngulos congruentes con los radios vectores que unen dicho punto con los focos. Es decir,
la recta tangente a la hiprbola en cualquier punto de la misma es bisectriz del ngulo determinado por los dos
radios vectores que unen a dicho punto con los focos.
Interpretemos grficamente esta propiedad.
Propiedad de reflexin de la hiprbola
Esta es una propiedad muy importante de la hiprbola. La recta tangente a una hiprbola en uno cualquiera de
sus puntos determina ngulos congruentes con los radios vectores que unen dicho punto con los focos.
Interpretemos grficamente esta propiedad.

24

Figura 9
Para demostrar esta propiedad, analicemos una figura anloga a la que nos ayud en el caso de la elipse.

Figura 10
Actividad 11
Adaptando el razonamiento planteado en el caso de la elipse, y ahorrando la demostracin intermedia gracias a
la propiedad demostrada en la actividad 10, demuestren la propiedad de reflexin de la hiprbola. Sugerencia:
resten las expresiones anlogas a las expresiones (3) y (4) de las pginas 22 y 23.

25

La parbola
Se llama parbola al conjunto de puntos del plano que equidistan de un punto fijo, llamado foco, y de una recta
fija, llamada directriz.
Cul es la frmula que utilizamos para hallar la distancia de un punto P 0 (x0 , y0 ) a una recta de ecuacin A x
+ B y = C?
Actividad 12
Obtengan la ecuacin de la parbola cuya directriz es la recta y = -x, y cuyo foco es F(2,2). Interpreten
geomtricamente, sealando el eje de la parbola.
Propiedad de reflexin de la parbola

Figura 11
La recta tangente a una parbola en uno cualquiera de sus puntos, X en la figura 11, es bisectriz del ngulo
determinado por la paralela al eje de la parbola que contiene al punto X y el radio vector que une dicho punto

F.
con el foco F. Es decir, es bisectriz del YX
Por definicin de parbola, el tringulo YXF es issceles, por lo que basta demostrar que la recta que contiene a
los puntos Y y F es paralela a la recta normal que contiene al punto X.

26

Consideremos la ecuacin de la parbola

y2 = 4 p x

(1)

donde p representa
Entonces, asignando a X las coordenadas (x, y) por ser un punto genrico de la parbola, y derivando con
respecto a x:

2 y y' 4 p y'

de la normal es m n

2p
y

que es la pendiente de la tangente a la curva si y 0. Entonces, la pendiente

y
.
2p

Observando la figura 11, es claro que la recta que contiene a los puntos F e Y tiene la misma pendiente que la
normal en X, y por lo tanto es perpendicular a la recta tangente en X. Por las propiedades de la altura de un

F.
tringulo issceles, resulta que la recta tangente es bisectriz del YX
Actividad 13
Lectura comentada en clase: La matemtica y el sonido, del libro El encanto de la matemtica de Theoni
Pappas, Zugarto ediciones.
Preparen un trabajo sobre aplicaciones de las propiedades de reflexin a la ptica y a la acstica, que
presentarn la prxima clase.
Asimismo tratarn de averiguar:Qu se dice que hizo Arqumedes cuando la flota romana sitiaba Siracusa?
Ser verdad?
Actividad 14
Es posible (y fcil) demostrar las propiedades de reflexin a travs de las ecuaciones de las cnicas:
elipse: b2 x2 + a2 y2 = a2 b2
hiprbola: b2 x2 - a2 y2 = a2 b2

27

parbola: y2 = 4 p x
Pueden consultar dichas demostraciones en el libro de Lehmann. Geometra Analtica, Limusa Noriega
editores.

Lemniscatas
Actividad 15
Lectura comentada del tema en el libro La Geometra en la formacin de profesores, de Luis Santal, Red
Olmpica. Los grupos completarn los grficos y/o desarrollos que consideren necesarios para llegar a la
ecuacin general (x2 + y2)2 + 2 c2(y2 x2) + c4 k4 = 0
El valo de Cassini es una lemniscata tal que c = 1 y k = 2. Observando el grfico, puede parecer una elipse,
pero no lo es: el valo de Cassini es de cuarto grado, y la elipse es de segundo grado.
Actividad 16
Hallen los puntos de interseccin del valo de Cassini con los ejes coordenados. A modo de ayuda, les propongo
el planteo siguiente:

x 2 y 2 2 2 y 2 x 2 15 0
y 0

para obtener los puntos de interseccin del valo de Cassini con el eje x.

Cuidado! Como la ecuacin del valo es de cuarto grado, obtendrn cuatro soluciones complejas. Los puntos
de interseccin, que son dos, tienen como abscisas a las soluciones reales del sistema planteado. Con un sistema
anlogo, pero exigiendo x = 0, obtendrn los puntos de interseccin con el eje y.
Actividad 17
La ecuacin del valo de Cassini es:
(x2 + y2)2 + 2 (y2 x2) 15 = 0

(1)

28

Esta actividad va a servir para apreciar la diferencia en ordenadas del valo de Cassini y la elipse que corta a
los ejes coordenados en los mismos puntos, a saber:

Puntos de interseccin con el eje x:

5 ,0 y

5 ,0

Puntos de interseccin con el eje y: 0, 3 y 0,

Es decir, la elipse con la que nos interesa comparar al valo de Cassini es la elipse cuya ecuacin es:

x 2 y2

1
5
3

(2)

Veamos un grfico de ambas curvas en el primer cuadrante:

y
1.75
1.5
1.25
1
0.75
0.5
0.25
0.5

1.5

Figura 12
Ahora resolvemos la ecuacin (2) para obtener la expresin de y en funcin de x en el primer cuadrante:

x2

3 1
5

A continuacin resolvemos la ecuacin (1) para obtener la expresin de y en funcin de x en el primer

cuadrante:

29

1 x2 2

4 x2

Al restarlas, hallamos una funcin f(x), a saber

f (x)

x2

1 x 2 2 4 x 2 3 1
5

y cuya grfica es:

0.04

0.03

0.02

0.01

0.5

1.5

Figura 13
Los clculos omitidos quedan a vuestro cargo
La lemniscata de Bernoulli
Figura 14
Recordando que en general, la ecuacin de una lemniscata es
(x2 + y2)2 + 2 c2 (y2 x2) + c4 - k4 = 0
estudiaremos la lemniscata de Bernoulli. Observen que simplemente, debe ser c = k, lo cual significa que existen
infinitas lemniscatas de Bernoulli, al contrario de lo que sucede con el valo de Cassini. Los detalles para
obtener la forma
(x2 + y2)2 = 2 c2 (x2 y2) (1)

30

son muy sencillos de completar.

Veamos en qu zona tiene sentido la ecuacin (1). Como el miembro de la izquierda es no negativo, tambin
debe serlo el de la derecha, esto es, deber cumplirse que

x 2 y2 0

(2)

Esto quiere decir que (x + y) (x y) 0 y, como sabemos, esto es equivalente a dos sistemas de inecuaciones, a
saber:

0yx 0yx
(3) (4)
0yx 0yx
El sistema (3) nos da que debe cumplirse simultneamente y -x e y x, ( es decir, -x y x, lo que nos
indica que la curva est en la zona sombreada en el siguiente grfico:

Figura 15
Resuelvan el sistema (4) o apelen a la simetra de la curva para hallar la zona de curva en los cuadrantes donde
x<0.
Analicen la figura 13.En qu puntos del primer cuadrante coinciden las dos curvas? Cul de las dos curvas
tiene ordenadas mayores que las de la otra? Para qu valor de x se obtiene la separacin mxima?

31

(aproximadamente, observando la figura) A qu planteo pueden recurrir para hallar este valor de x? Cul es
el valor aproximado de la separacin mxima?Pueden realizar un clculo exacto de los valores precedentes?
CURVAS CLSICAS EN FORMA PARAMTRICA
La cicloide

Actividad 1
Lean atentamente la definicin de la cicloide en el libro de Santal ya citado.
Qu significa que gira sin resbalar?
Cul es la longitud del arco que subtiende un ngulo medido en radianes, si el radio de la circunferencia es
r?
Ahora vamos a hallar las ecuaciones paramtricas de la cicloide, es decir:

x x(t )

y y( t )

32

Figura 1
Analicemos la figura 14. El punto P(x, y) es un punto genrico de la cicloide. El parmetro t es el ngulo medido
en radianes. Atencin! Recuerden que, para calcular funciones trigonomtricas, es indiferente que el ngulo est

; pero para otros fines, como calcular una
3

expresado en radianes o en grados; por ejemplo, cos 60 cos

longitud de arco, el ngulo siempre debe ser expresado en radianes.

Vamos primero a x, la abscisa de P. En la figura 1 podemos apreciar que x =OM = ON - MN.
Adems,
OM = r t

MN r cos t r sen t
2

De lo que resulta
x (t) = r t r sen t = r (t sen t)
A continuacin hallaremos y, la ordenada de P. En la figura 14 descubrimos que y = MP = MQ + PQ
Adems,
MQ = r

33

PQ r sen t r cos t
2

De lo que resulta
y (t) = r r cos t = r (1 - cos t)
En sntesis, las ecuaciones paramtricas de la cicloide son:

x(t) r t sen t

y(t) r 1 cos t
t R
Actividad 2

Figura 2
Observando la figura 2, y considerando que la cicloide ha sido generada por el movimiento de una
circunferencia de radio r, indiquen:

las abscisas de los puntos donde la curva corta al eje x. Generalcenlas.

las coordenadas de los puntos ms altos de la curva. Generalcenlas.

34

Vamos ahora a trabajar con el ngulo que forma la tangente a la cicloide con la vertical; lo haremos de manera
diferente a la que plantea nuestro texto. Trabajaremos con vectores, como en el caso de la elipse y el de la
hiprbola.

Les gusta la trigonometra? Claro que s! Vamos a tener el gusto de trabajar con ella.
A partir de las ecuaciones paramtricas, podemos expresar a la cicloide a travs del vector:
c( t ) r ( t sen t ), r (1 cos t )
c'( t ) r (1 cos t ), r sen t

Entonces la derivada ser

(1)

Como para hallar el versor tangente debemos dividir las coordenadas de c' ( t ) por el mdulo de dicho vector,
calculemos su cuadrado:

c' ( t )

r 2 1 cost sen 2 t r 2 1 2 cos t cos 2 t sen 2 t 2 r 2 1 cos t 4 r 2 sen 2

2

(2)
Los detalles omitidos quedan a vuestro cargo.

35

 t
t
0 , as que c' ( t ) 2 sen
, entonces el versor
2
2

Vamos a suponer, para fijar ideas, que sen

tangente a la cicloide en P, es decir, T ( t ) , resulta ser:

t
t
t
2 sen cos
2 ,
2
2 sen t , cos t



2
t
t

2
2 sen
2 sen

2
2

2 sen 2

T(t )

gracias a las expresiones (1) y (2) y a las propiedades de las funciones trigonomtricas.

t
Cuidado! Esto no quiere
2

Pero entonces, ya podemos calcular el cos , ya que cos T ( t ) j cos

decir que sea =

t
, ya que el coseno no es una funcin inyectiva.
2

Esto no es lo que aparece en la pgina 47 de Santal, pero falta poco, gracias a que

t
t
1 cos t cos
2

2

2 cos 2

1 cos t
2

La ltima implicacin es tan obvia que debera haberla omitido. Vamos a suponer, para fijar ideas, que

1 cos t
sen 2 t
t

tenemos lo siguiente:
0 , entonces, como
2
2 (1 cos t )
2

cos

t

2

2 (1 cos t )

t

2

2 (1 cos t )

cos

sen

sen t
1 cos t

sen t
t
cot g

2
1

cos t

cotg

(Pitgoras dixit)
ya que tomamos todos los valores positivos.

Bien, ahora las expresiones de la pgina 48 surgen fcilmente de las propiedades de las funciones
trigonomtricas, y como ya adivinaron, los detalles quedan a vuestro cargo.

36

Y llegamos a que

sen
y

1
2r

que es constante. Aplicaremos esta propiedad en algunos ejercicios.

Actividad 3
Consideren la cicloide

x 2 (t sen t )

y 2 (1 cos t )

(1)

Represntenla grficamente en el intervalo [- 2 , ]

Hallen el valor de

Hallen el valor de sen , de la abscisa x y de la ordenada y para t

sen
y

, siendo el ngulo entre la tangente y la vertical.

. Cul es el valor de , para

4

el mismo valor de t?
sen

Calculen la constante

Consideren ahora la cicloide generada por una circunferencia de radio r = 5 que rueda sin resbalar a

de dos maneras distintas.

lo largo de eje x. Obtengan su forma paramtrica y realicen el mismo estudio que para la cicloide (1).
La epicicloide
Actividad 4
Lean e interpreten la definicin de epicicloide en el libro de Santal. Respondan las mismas preguntas que para
la actividad 1.
La definicin es, como ven, similar a la de cicloide. El anlisis grfico y obtencin de las ecuaciones
paramtricas es un poco ms largo. Veamos la figura.

37

Figura 5
El punto P(x, y) es el punto genrico sobre la epicicloide. R es el radio de la circunferencia fija, a la que por
simplicidad consideramos centrada en el origen de coordenadas. El radio de la circunferencia mvil es r.
El punto de partida es D (0, R). Agrguenlo a la figura 5.
Como en el caso de la cicloide, hallaremos primero la abscisa x (t) del punto P.

x = ON MN

ON = (R + r) sen t

MN r cos t
2

r sen t

Observen que x queda en funcin de dos parmetros, a saber, t y . Pero como la circunferencia de

radio r gira sin resbalar, tenemos que r = R t.

t t
r

MN r sen t r sen

Finalmente, tenemos que

38

 Rr
x R r sen t r sen

que es funcin de t, ya que R y r son constantes.

Ahora, nos falta calcular la ordenada y(t).

y = AB + BO

AB = (R + r) cos t

Rr

BO r sen t r cos

Finalmente, tenemos que

R r
y R r cos t r cos

Entonces, las ecuaciones paramtricas de la epicicloide generada por una circunferencia de radio r que rueda sin
resbalar sobre una circunferencia de radio R son:

Rr

x R r sen t r sen

y R r cos t r cos R r
r

Actividad 5

Cul es la forma paramtrica de la epicicloide tal que R = r?

Cul es la forma paramtrica de la epicicloide tal que R = 2 r?Y si r = 2R?

Cul es la forma paramtrica de la epicicloide tal que R =3 r? Y si r = 3R?

39

Cul es la forma paramtrica de la epicicloide tal que R = 4 r? Y si r = 4R?

Cul es la forma paramtrica de la epicicloide tal que R =

Para los casos R = 2r, R = 3r y R = 4r, cul es el menor intervalo de t para que la epicicloide est

2 r? Y si r =

2 R?

completa?

Para los casos r = R, r = 3R y r = 4R, cul es el menor intervalo de t para que la epicicloide est

completa?(es decir, para volver al punto de partida, (0, R))

Veamos ahora las grficas de algunas epicicloides:
R=r

(CARDIOIDE)

epi 1

R=2r

epi 2

40

R=3r

epi 3
Desafo a los lectores: bosquejen una epicicloide tal que R = 4 r, conjeturando su forma a partir de las tres
epicicloides representadas.
Vamos a establecer un resultado general, a travs del cual podrn saber si vuestra conjetura es correcta, y
animarse a bosquejar ms epicicloides.
Partiremos de las ecuaciones paramtricas:

Rr

r
sen
t

r
sen

y R r cos t r cos R r
r

que, tomando R = n r, siendo n N, quedan:

t n 1 r sen t r sen n 1 t

y n r r cos t r cos n r r
r

t n 1 r cos t r cos n 1 t

nr r

n
r

r
sen
t

r
sen

(1)

41

Buscaremos ahora los puntos de contacto de la epicicloide con la circunferencia fija. Para ello, recordamos que
las ecuaciones paramtricas de la misma son:

x R sen t

y R cos t
Como nos interesa el caso en que R = n r / n N, nos queda:

x n r sen t

y n r cos t

(2)

Entonces, de (1) y (2) tenemos lo siguiente:

nr r

x n r r sen t r sen
r

t n r sen t

y n r r cos t r cos n r r
r

t n r cos t

Podemos simplificar x de la siguiente manera, con detalles a vuestro cargo

r sen t r sen n 1 t 0 sen t sen n 1 t

(3)

Trabajando con y de la misma manera, tenemos que:

cos t cos n 1 t

(4)

Qu significan (3) y (4)? Las dos juntas nos dicen que los valores t y (n+1) t son congruentes, lo que expresado
matemticamente es:
(n + 1) t = t + 2 k / k Z

(5)

La consecuencia de (5) es que n t = 2 k ( k Z ), pero entonces

42

2k
n

(6)

Analicemos la expresin (6) tomando k = 1, y veamos qu valores toma t:

Para n = 1 tenemos t = 2 . Es decir, si R = r el nico punto de contacto es (0, R) y obtenemos la cardioide de la
figura epi 1.
Para n = 2 tenemos t = . Es decir, si R = 2 r, los puntos de contacto son dos: (0,-R) y (0, R) (figura epi 2)

Si n = 3, resulta que t

Si n = 4, entonces t

2
, que es el ngulo de 120 que nos da la figura epi 3.
3

y la epicicloide es un trbol de cuatro hojas. La conjetura result correcta? Miren:

2

epi 4
Desafo a los lectores: en cada figura epi i, con i = 1,,4, tracen la circunferencia fija, de radio R .
Los puntos en los que la epicicloide corta a la circunferencia fija se conocen como picos de la epicicloide.
Actividad 6
Preparen las ecuaciones paramtricas de las epicicloides hasta n = 10. Bosquejen los grficos y luego los
compararemos con los que obtengamos en las computadoras.
Actividad 7

43

Analicen los picos de la epicicloide tal que r = 2 R.

Analicen los picos de la epicicloide tal que r = n R.

Qu conclusiones obtienen en estos casos?

Bosquejen los grficos para n = 2 y 3, y comparen con las respuestas correctas:

Veremos algunos casos ms en la computadora, pero recorriendo las curvas con un lpiz, pueden comprobar para
qu valor de t se traza la curva completa, es decir, se vuelve al punto de partida (0, R).
Caso general
Consideremos la forma paramtrica de cualquier epicicloide:

Rr

r
sen
t

r
sen

y R r cos t r cos R r
r

y las de la circunferencia fija:

x R sen t

y R cos t
44

Para obtener los picos de la epicicloide, igualamos las coordenadas x e y de las dos curvas, y tenemos:

Rr
sen
t

sen

t 0

cos t cos R r
r

t 0

o, lo que es equivalente:

Rr

t t 2k
r

Si despejamos t en esta ecuacin vemos que t 2 k

r
R

(k Z)

(k Z)

Como k es cualquier nmero entero, esto quiere decir que la cantidad de puntos de interseccin entre la curva y

la circunferencia fija depende del cociente

r
.
R

Analicen los casos ya vistos, en que R = n r y r = n R, (n N) para entender mejor esta propiedad.

Veamos los dos casos que restan.

Caso

Resulta que t 2 k

r
Q
R

r
m

(m n N)
R
n

km
m
2
, que es congruente a 2 cuando k m es mltiplo de n, lo cual
n
n

depende de k, ya que m y n son fijos.

Por ejemplo, si m = 3 y n = 5, el primer valor de k para que k m sea mltiplo de n es 5, y el valor de

km
3 ; es decir, se necesitan 3 giros para volver al punto (0, R) por primera vez:
n

45

Analicen el caso m = 4, n = 2.

Analicen el caso m = 4, n = 6.

Enuncien conclusiones y justifquenlas.

Observacin: si

R
es irracional, la curva no podr cerrarse, lo cual sucede al alcanzar el punto de partida (0,
r

R). Por ejemplo, si

R
R
2 , entonces k
k
r
r

2 Z , por ser un nmero irracional. En las siguientes

figuras podrn apreciar algunos casos:

0t2

0t5

0 t 20

46

La hipocicloide
Actividad 8
Lean atentamente la definicin de hipocicloide en el libro de Santal. Qu diferencias encuentran entre esta
definicin y la de epicicloide? Antenlas:

Vamos a deducir las coordenadas paramtricas de la hipocicloide, para lo cual utilizaremos la figura 6. Como en
el caso de la epicicloide, R ser el radio de la circunferencia fija y r, el de la circunferencia mvil.

Figura 6
Estudiemos primero la abscisa, x, del punto genrico P. De la observacin de la figura surge que x es la
diferencia de dos segmentos, a saber:
(R-r) sen t
r cos

47

Para relacionar el cos con nuestros datos, observemos que

t t , por lo que cos

2
2

= sen (t ), y ya sabemos que r = R t, como en la epicicloide.

Entonces llegamos a que

Rr
t
r

x R r sen t sen

Actividad 9
Del anlisis de la figura 6, y aprovechando el valor de a deducido en nuestro estudio de x, hallen la expresin
de y, es decir

R r
t
r

y (R r ) cos t r cos

Actividad 10
Realicen un estudio de la relacin entre R y r para la hipocicloide, tomando como modelo el estudio general de
la epicicloide. Constaten con las grficas siguientes:

R=4r

R=5r

R = 1,5 r

48

5
r
3

2 r,0

t 15

La astroide en coordenadas cartesianas

La forma paramtrica de la astroide ( R = 4 r) es:

x 3 r sen t r sen 3 t
y 3 r cos t r cos 3 t
Lo nico que necesitamos es reemplazar R en las expresiones de x(t) e y(t).
Actividad 11
Considerando 3 t = 2 t + t, las frmulas de adicin de funciones trigonomtricas y la relacin pitagrica,
demuestren que:
sen (3t) = 3 sen t 4 sen3 t
cos(3t) = 4 cos3 t 3 cos t
Entonces, la forma paramtrica de la astroide queda expresada de la siguiente manera:
x = 3 r sen t - r (3 sen t 4 sen3 t) = 4 r sen3 t
y = 3 r cos t + r (4 cos3 t 3 cos t) = 4 r cos3 t
Como queremos hallar la ecuacin cartesiana, es decir, la ecuacin en la cual aparezcan x e y, deberemos
eliminar el parmetro t; al estar x e y en funcin de t a travs de senos y cosenos, nos conviene aplicar la relacin

49

pitagrica. Para esto, necesitamos que sen t y cos t estn elevadas al cuadrado. Como estn elevadas al cubo,
para lograr nuestro objetivo deberemos elevar las igualdades a la potencia 2/3:

2
3

2
3

2
3

2
3

x 4 r sen t

2
3

2
3

x y 4 r

2
3

y 4 r cos 2 t
Listo.

Dndole distintos valores a r, propongan y dibujen varias astroides. Cada grupo deber presentar su propuesta
la prxima clase.

50

Espirales
Introduccin: curvas en forma polar

Figura 1
Recordemos que la forma polar de una curva es la expresin de la misma en la forma r = f ( ), siendo r la
distancia del punto genrico de la curva a un punto O, llamado polo, y el ngulo entre el eje polar y la recta
que une al polo con el punto P. En estas condiciones, las coordenadas cartesianas son:
x = f ( ) cos

y = f ( ) sen

La espiral de Arqumedes
1) La curva cuya ecuacin en forma polar es r = / > 0 se llama espiral de Arqumedes:

51

Figura 2
Observen cmo la distancia de un punto genrico al polo, que es el origen de coordenadas, aumenta a medida
que aumenta el ngulo , ya que su medida es la misma de dicho ngulo medido en
La curva ha sido trazada para 0, 4] Traten de trazar el resto de la curva hasta 6, guindose por los
ngulos marcados y la escala dada por las circunferencias concntricas.
Actividad 1
Analicen en el libro de Santal los dems ejemplos de espirales. Represntenlas grficamente.
Curvas y reas lmites: fractales
Introduccin
Hasta ahora, nuestro estudio de la Geometra se ha referido a puntos, curvas y superficies.

Los puntos son entes geomtricos de dimensin cero.

Las curvas, planas o espaciales, tienen dimensin 1. Pueden ser rectas, cnicas, cicloides, espirales; en

fin, hay infinitas curvas que ocupan buena parte de nuestra atencin al estudiar Geometra.

Las superficies, como planos, superficies esfricas, cilndricas, cnicas, de dimensin 2.

Los volmenes, como esferas, cilindros, conos, de dimensin 3.

52

Existen, aunque no son objeto de nuestro estudio, entes geomtricos de cualquier dimensin mayor que

3, como por ejemplo los hiperplanos.

Pero siempre nos hallamos ante dimensiones enteras. Esto no tiene por qu ser as. A travs de

iteraciones, es posible definir entes geomtricos de dimensin no entera.

Qu son los fractales? Este nombre, propuesto por Benoit Mandelbrot en 1977, se impone a figuras geomtricas
que se mantienen iguales independientemente de la escala de observacin. Es decir, es lo mismo observar el todo
que una parte, propiedad que se conoce como autosemejanza o sibisimilitud. Etimolgicamente, el nombre
proviene del latn fractus, que equivale a roto o irregular.
Muchos fractales tienen dimensin fraccionaria. Esta dimensin fue descripta por Hausdorff en 1919. Vamos a
fundamentar esta dimensin a partir de la dimensin eucldea que ya conocemos.
Notacin: denotaremos

D a la dimensin fractal.

De a la dimensin eucldea.

Primero consideremos un segmento de recta de longitud 1.

Figura 1
Supongamos que el instrumento que utilizamos para medirlo tiene una resolucin L. En nuestro ejemplo,
L=0,25, ya que est dividido en cuatro partes iguales. El nmero de segmentos en que queda dividido el
segmento original se denota N(L); en nuestro ejemplo, N(L)=4. La longitud del segmento entonces est dada por
N(L) L = 1
Hacemos un trabajo similar con un cuadrado de rea igual a 1:

53

Figura 2
En este ejemplo, L=1/3, siendo entonces el rea de cada cuadrado en que qued dividido el original: L 2=1/9.
Como el cuadrado original fue dividido en N(L) = 9 cuadrados iguales, tenemos que:
N(L) L2 = 1
Ahora consideremos un cubo de volumen 1:

Figura 3
dividido en N(L) cubos de arista L. En el ejemplo tenemos que L = . El volumen de cada cubo es L 3 = 1/8, y la
cantidad de cubos de arista L es N(L) = 8. Entonces
N(L) L3 = 1
En cada caso, podemos apreciar que, independientemente de que la figura sea un segmento, un cuadrado o un
cubo,

N(L) LD e 1
Generalicemos ahora este procedimiento para definir la dimensin fractal D. Si una figura puede dividirse en
N(L) partes, cada una de las cuales se mide con una resolucin L, debe cumplirse que:
N(L) LD = 1

54

Tomando logaritmos, y aplicando las propiedades de los mismos, obtenemos:

ln (N(L)) + D ln L = 0
y despejando D:

ln N(L) ln N(L)

ln L
1
ln
L

Ejemplo
1) El conjunto de Cantor, que consiste en dividir un segmento en tres partes iguales, quitar el segmento central e
iterar el procedimiento, a saber:

Figura 4
En este ejemplo, los segmentos que aparecen en cada iteracin son el doble de los que haba en la anterior, por lo
que N(L) = 2; en cambio, la longitud de los segmentos de cada iteracin es un tercio de la longitud de los
segmentos de la iteracin anterior, es decir, L = 1/3. Entonces:

ln 2
0,6309
ln 3

Es decir, el conjunto de Cantor no es un punto ni una lnea, sino una figura cuya dimensin es mayor que la de
un punto y menor que la de una curva.

55

Actividad 1
Por qu debemos tomar logaritmos naturales? Y si tomramos logaritmos decimales? Prueben con la
calculadora. Expliquen lo que sucedi.
Actividad 2
Lean, en el libro de Santal, el mismo tema que estamos estudiando. Analicen y obtengan la dimensin de la
curva de Von Koch y de la carpeta de Sierpinski.
Actividad 3
Consideren el siguiente proceso de generacin de un fractal: a partir de un segmento de longitud 1, se generan
dos segmentos de manera que:

se produzca una rotacin de 45

la diagonal de la nueva figura tenga la misma longitud del segmento inicial.

Se itera el proceso indefinidamente.

He aqu los primeros cuatro pasos de la creacin del dragn:

Figura 5

Cules son los dos pasos siguientes?

Cul es la dimensin fractal de la figura obtenida?

56

Construcciones con regla y comps

Potencia de un punto respecto de una circunferencia
Definicin.
Consideremos una circunferencia y un punto P exterior a ella. Trazamos una semirrecta con origen en P y que
corta a la circunferencia en dos puntos A y B:

Figura 1
Llamaremos potencia de P con respecto a C al producto de las longitudes de los segmentos determinados por el
punto P y los puntos de interseccin de la semirrecta con la circunferencia, es decir: PA PB.
A simple vista, parece que si cambiramos la semirrecta, el producto puede variar, ya que las longitudes de
ambos segmentos no tienen por qu ser las mismas. Entonces, cul elegimos? Releyendo la definicin,
podemos ver que sta no exige una semirrecta en particular. Y entonces?
Entonces, vamos a demostrar que no importa qu semirrecta elijamos, el producto de las longitudes de ambos
segmentos es constante, siempre, claro, que conservemos el punto P.
Vamos a trazar dos semirrectas tangentes a nuestra circunferencia C, con origen en P. Una de ellas corta a C en
los puntos A y B; la otra, en A y B, como vemos en la figura 2:

57

Figura 2
Los tringulos PAB y PAB son semejantes, ya que los ngulos homlogos son congruentes. En efecto, el ngulo

A ' PB
' A que subtienden el arco
BPB es comn a ambos tringulos, y resulta PB

AA' . Por lo tanto,

los lados homlogos de PAB y PAB son proporcionales, es decir:

PA
PA '

PA PB PA ' PB'
PB'
PB

58

GRAFOS
Definicin
Un grafo G es una estructura constituida por:

Un conjunto finito V = {v1, v2, , vn}, cuyos elementos se llaman vrtices o nodos.

Un conjunto A = {a1, a2, , am}, tambin finito, cuyos elementos se llaman aristas.

Cada arista a A queda asociada a un par no ordenado de vrtices. Los vrtices pueden ser iguales o

distintos, pero no puede haber ninguna arista aislada de vrtices.

Notacin: un grafo G cuyo conjunto de vrtices es V y cuyo conjunto de aristas es A se denota G(V, A).

Definicin Un digrafo, o grafo dirigido, es una estructura constituida por:

Un conjunto finito V = {v1, v2, , vn}, cuyos elementos se llaman vrtices o nodos.

Un conjunto A = {a1, a2, , am}, tambin finito, cuyos elementos se llaman aristas.

Cada arista a A queda asociada a un par ordenado de vrtices.

Observacin: la diferencia entre grafo y digrafo es que las aristas del digrafo estn orientadas.
En este curso no estudiaremos dgrafos.

Ejemplos
1)

Figura 1
En este caso, tenemos que:
V = {v1, v2, v3}
A = { a1, a2, a3}
Notacin: a1 = (v1, v2) = (v2, v1)

59

a2 = (v2, v3) = (v3, v2)

a3 = (v1, v3) = (v3, v1)
Esta notacin significa que las aristas tienen sus extremos en los vrtices indicados: no es una igualdad entre
pares ordenados.
2) Sea el grafo G(V, A) que sigue:

Figura 2
El conjunto V =
y el conjunto A =
A partir de este ejemplo, precisaremos algunos conceptos atinentes a la clasificacin de vrtices y aristas de un
grafo.

Vemos que a1 = (v1, v2) = (v2, v1), y que a2 = (v1, v2) = (v2, v1). Las aristas a1 y a2 se llaman aristas

paralelas. Es decir, dos aristas son paralelas si unen los mismos vrtices.

Si bien una arista siempre debe estar asociada a uno o dos vrtices, los vrtices pueden no estar

asociados a ninguna arista, como sucede con v 5. Un vrtice que no es extremo de ninguna arista se llama vrtice
aislado.

El vrtice v6 es extremo de una sola arista. Los vrtices que tienen esta propiedad se llaman vrtices

pendientes.

La arista a8 = (v3, v3) tiene un solo extremo. Las aristas que tienen un solo extremo se denominan

bucles.

Un grafo que no tiene bucles ni aristas paralelas es un grafo simple.

Una arista asociada con un par de vrtices es incidente en los mismos. Se dice que ambos vrtices son

adyacentes. Por ejemplo, v1 y v3 son adyacentes, ya que a4 incide en ambos vrtices.

Sea G(V, A) un grafo, consideremos otro grafo G(V, A). Diremos que G es un subgrafo de G si

60

1.

V V y A A

2.

Si una arista a A es incidente en v y w, entonces v V y w V.

En la figura 2, si tomamos V = {v1, v2, v3} y A = {a1, a4} entonces G(V, A) es un subgrafo de G(V, A).
En cambio, si V = {v1, v2} y A = {a1, a4} entonces G(V, A) no es un subgrafo de G(V, A).

CAMINOS Y CICLOS
Las definiciones que estudiaremos a continuacin tambin se ilustran en el grafo de la figura 2.

Sean v1 y vn dos vrtices de un grafo. Un camino de v1 a vn es una sucesin de n vrtices y aristas que

comienza en v1 y termina en vn.

As, C1 = {v2 , a3, v3, a5, v4, a7, v6} es un camino de v2 a v6. Otro camino de v2 a v6 es C2 ={ v2, a6, v4, a7, v6}; y
otro ms es C3 = { v2, a3, v3, a8, v3, a5, v4, a3, v6}

La cantidad de aristas que forman un camino se denomina longitud del mismo.

Entonces, la longitud de C1 es 3, la de C 2 es 2 y la de C 3 es 4. El camino que slo consta del vrtice v 5 es un

camino de longitud 0.

Un grafo es conexo si existe un camino que una cualquier par de vrtices del mismo.

El grafo de la figura 2 no es conexo. No existe ningn camino de v1 a v5.

El grafo de la figura 1 s lo es.

Un camino entre dos vrtices de un grafo se llama camino simple si no tiene vrtices repetidos.

En nuestro ejemplo, C1 y C2 son caminos simples; en cambio, C3 no lo es.

Un ciclo es un camino de longitud no nula que comienza y termina en el mismo vrtice. Puede ser

simple: es el caso en que el nico vrtice que se repite es el de partida y llegada.

Los caminos C1, C2 y C3 no son ciclos.
C4 = { v1, a1, v2, a2, v1} es un ciclo simple.
C5 = {v1, a4, v3, a8, v3, a3, v2, a2, v1} es un ciclo que no es simple.
Observacin: si el camino no tiene aristas paralelas, basta indicar los vrtices en forma ordenada para definirlo.
La longitud del camino es el nmero de vrtices menos 1.

Actividad 1
En los grafos de las figuras 1 y 2, hallen caminos simples y caminos que no lo sean.
Indiquen todos los ciclos existentes, indicando si son simples o no.

61

Actividad 2
Analicen, en el libro de Santal, los temas:

Grafos en el plano.

Grafos eulerianos y grafos hamiltonianos.

Actividad 3

Analicen los grafos que se ilustran en el libro, y expliquen por qu el grafo I es euleriano y el grafo II

no lo es.

Analicen el grafo hamiltoniano que aparece en el libro, y hallen otro recorrido diferente del que se

indica en el texto.
GRAFOS PLANOS

Un grafo es plano si es posible dibujarlo en el plano sin que se crucen sus aristas.

Por ejemplo, el grafo de la figura 2 es un grafo plano.

Observacin: aunque un grafo se presente con aristas cruzadas, es un grafo plano si se puede dibujar sin que las
aristas se crucen y conservando la relacin entre vrtices y aristas.
Ejemplo:

Figura 3
En este grafo, las aristas a5 y a6 se cruzan en un punto que no es un vrtice, pero es un grafo plano, ya que es
posible dibujarlo as:

Figura 4

62

Ahora, las aristas a5 y a6 no se cruzan, y a6 sigue uniendo los mismos vrtices que en la figura 3.
Los grafos de las figuras 3 y 4 son isomorfos, esto es, tienen la misma cantidad de vrtices, la misma cantidad de
aristas, y los vrtices homlogos estn unidos por las mismas aristas.
En adelante, trabajaremos con grafos planos, considerando como tales tambin a los grafos que sean isomorfos a
grafos planos.
Dado un grafo conexo y plano, quedan determinadas regiones llamadas caras del grafo, que estn limitadas por
ciclos.
En el grafo de la figura 4, las caras son (v1, v2, v4, v1), (v2, v3, v4, v2) y (v1, v2, v3, v1).

Actividad 4

Estudien y analicen el artculo que se adjunta sobre teselados. Creen algn teselado. Consulten en

Internet para ampliar el tema.

Analicen el tema Mosaicos en el libro de Santal. Obviaremos la demostracin de la condicin

necesaria para crear un mosaico cuyas caras tienen el mismo nmero de lados.

FRMULA DE EULER PARA GRAFOS

Consideremos un grafo G, plano y conexo.
Notacin: V ser la cantidad de vrtices de G.
A ser la cantidad de aristas de G.
C ser la cantidad de caras de G.
Entonces tenemos que V A + C = 1
En el grafo de la figura 4, es V = 4, A = 6 y C = 3. Euler tiene razn.
El grafo de la figura 2 no es conexo, y tenemos que V = 6, A = 8 y C = 4, as que V A + C 1. Pero si quitamos
el vrtice v6, obtenemos un subgrafo conexo y la relacin se verifica.

Actividad 5
Analicen las definiciones de grafos del libro de Santal y el esbozo de demostracin de la frmula de Euler.

63

MATRICES ASOCIADAS A UN GRAFO

Matrices de adyacencia
Consideremos un grafo plano que no tenga aristas paralelas.
Aprovechemos el grafo de la figura 4:

Recordemos que dos vrtices son adyacentes si son extremos de una misma arista. Vamos a confeccionar una
matriz cuadrada AV V . Para tal fin, ordenamos los vrtices, por ejemplo, v 1, v2, v3, v4 (no es obligatorio, pero
una vez definido el orden, debemos respetarlo). Entonces asignaremos al elemento a ij de la matriz A un cero o un
uno, de acuerdo al siguiente criterio:

si v i y v j no son adyacentes

si v i y v j son adyacentes

a ij

Entonces, de acuerdo a nuestro ejemplo, tenemos la siguiente matriz:

0
1
A
1

0
1
1

1
0
1

1
1
1

Observemos lo siguiente:

La matriz A es simtrica, es decir, A = At.

La matriz A tiene ceros en la diagonal principal. Esto significa que ningn vrtice es adyacente a s

mismo, es decir, que el grafo no tiene bucles.

La suma de los elementos de cualquier fila o columna es igual a la cantidad de aristas que concurren en

un vrtice. Por ejemplo, en v1 concurren 3 aristas, a saber: a1, a4 y a6 (aunque no podemos saber, a partir de la
matriz, cules son dichas aristas; para saberlo debemos observar el grafo).

64

Dos grafos sern isomorfos si y slo si, para un cierto orden de sus vrtices, sus matrices de adyacencia

son iguales.

65

Otro ejemplo:

Este es el subgrafo del grafo de la figura 2, que resulta de quitar la arista a 1 para que no haya aristas paralelas. He
aqu la matriz de adyacencia:

0
1

1
A
0
0

0
1
1
0
0

1
1
1
0
0

1
1
0
0
1

0
0
0
0
0

0
0

1
0

Observemos que:

la quinta fila es nula, ya que v5 no es adyacente a ningn vrtice.

el elemento a33 = 1, ya que v3 es adyacente a s mismo.

Actividad 6
a) Verifiquen que la matriz es simtrica y que la suma de los elementos de cualquier fila o columna es igual al
grado del vrtice correspondiente.
b) Hallen la matriz A del grafo de la figura 2, y expliquen por qu excluimos a los grafos que titntn aristas
paralelas. No est prohibido hallar la matriz A, pero como ven, se pierde informacin importante.

0
1

c) Vuelvan a la matriz
1

1
0
1
1

1
1
0
1

1
1
1

y traten de dibujar el grafo. Qu pueden hacer? Y qu no pueden hacer?

d) Para la misma matriz A del tem (c), hallen A2. Analicen qu informacin nos da esta matriz. (Ayuda: los
elementos de la matriz A nos dan la cantidad de caminos de longitud 1 que van de un vrtice a otro).
Potencias de la matriz de adyacencia

66

Consideremos el siguiente grafo G:

Figura 5

0
1
Su matriz de adyacencia es A
0

0
1
1

1
0
1

1
1
1

Obtengan el producto AxA = A2

2
1
A2
2

1
3
1
2

2
1
2
1

1
2
1

Denotemos a los elementos de A2 como bij, y mantendremos la notacin a ij para los elementos de A. Es decir,
consideremos A = (aij)44 y A2 = (bij)44
Podemos notar que:

Esta matriz es simtrica, al igual que A.

La matriz no consta solamente de ceros y unos. Qu significado tendrn los 2 y los 3 que aparecen en

A2?
Es fcil responder a esta pregunta si tenemos en cuenta la definicin de producto de matrices.
Qu significa la primera fila de A? Significa que v 1 y v1 no son adyacentes, que v1 y v2 son adyacentes, que v1 y
v3 no lo son y que v1 y v4 s lo son. El hecho de que dos vrtices son adyacentes es equivalente a que entre ambos
existe un camino de longitud 1. Efectivamente, entre v 1 y v2 tal camino es C1 = {v1, a1, v2}, y entre v1 y v4 el
camino de longitud 1 es C2 = {v1, a5, v4}.
Cmo obtenemos el elemento b11? Mediante el producto escalar del vector fila (0, 1, 0, 1) con el vector
columna (0, 1, 0, 1); dicho producto es 00 + 11 + 00 + 11 = 2. El primer trmino 00 es el producto

67

a11a11; como no existe ningn camino de longitud 1 entre v 1 y v1, lo que obtenemos es la inexistencia de un
camino
{v1, v1, v1}. El segundo trmino, 11, es el producto de a12 por a21, y responde al hecho de que existe una arista
(a1) que incide en v1 y en v2, entonces el camino C3 = {v1, a1, v2, a1, v1} es un camino de longitud 2 de v1 a v1.
De la misma forma analizamos los otros dos productos. Podemos apreciar, observando el grafo, que el camino C 4
= {v1, a5, v4, a5, v1} es el otro camino de longitud 2 de v 1 a v1. Relacionen esto con el producto11 del cuarto
trmino.
Es importante tener en cuenta que la primera fila de A2 nos da la cantidad de caminos de longitud 2 que hay
desde v1 a v1 (0), de v1 a v2 (2), de v1 a v3 (0) y de v1 a v4 (2).
Y el b22 = 3? Debera indicarnos que hay 3 caminos de longitud 2 desde v 2 hasta v2. El producto escalar de la
fila 2 por la columna 2 de A es: (1, 0 ,1, 1) (1, 0, 1, 1) = 3. Y nos permite hallar los caminos, ya que a 12 = 1
significa que los vrtices v1 y v2 son adyacentes; a21 = 1 tiene el mismo significado, y el camino de longitud 1
que resulta es {v2, a1, v1, a1, v2}. Razonando en forma similar, tenemos que a 13 = 1 y a31 = 1, lo que nos da el
camino {v2, a2, v3, a2, v2}; y como a24 = a42 = 1, obtenemos el camino {v2, a4, v4, a4, v2}.
Analicen el resto de los elementos de la matriz A2. Obtengan A3 e interprtenla, de la misma manera como
analizamos A2.
Podemos preguntarnos ahora, hay alguna manera clara de representar matrices que posean aristas paralelas?
Claro que s!
Matrices de incidencia
La matriz de incidencia de un grafo se obtiene:

Considerando las filas como vrtices y las columnas como aristas.

Definiendo

si la arista a j incide en el vrtice v i

en caso contrario

a ij

Ejemplo:
La matriz de incidencia I del grafo de la figura 5 es:

1
1
I
0

1
1
0

0
1
1

1
0
1

1
0
0

68

Notemos que:

La matriz I no es, en general, cuadrada. Slo podr serlo si la cantidad de aristas es igual a la de

vrtices, lo que depende exclusivamente del grafo que estemos estudiando.

En cada columna aparecen dos nmeros 1. Esto es as porque cada arista tiene dos extremos. Si hubiera

bucles en el grafo, aparecera solamente un uno en la columna correspondiente. De ninguna manera puede haber
ms de dos unos en una columna. Qu significara esto ltimo?

La suma de los elementos de cualquier fila es igual al grado del vrtice correspondiente.

A partir de la matriz de incidencia es posible obtener el grafo.

Ejemplo:
Consideremos nuevamente el grafo de la figura 2:

1
1

0
Entonces I
0
0

1
0
0
0
0

1
1
0
0
0

0
1
0
0
0

0
1
1
0
0

1
0
1
0
0

0
0
1
0
0

0
1

0
0

Observen las filas y columnas de la matriz y relacinenlas con el grafo:

Cmo se presentan las aristas paralelas?

Cmo se presenta el bucle?

Cmo se presenta el vrtice aislado? Y el vrtice pendiente?

Calculen el grado de cada vrtice y verifiquen en el grafo.

Actividad 7
Para los grafos G que se ilustran a continuacin, realicen las tareas siguientes:

Dibujen un grafo plano G, isomorfo a G.

69

En G, comprueben la validez de la frmula de Euler.

Hallen las matrices A y A2 asociadas a G, y expliciten todos los caminos de longitud 2 entre vrtices

(es fcil, pero largo; tengan paciencia).

Hallen la matriz de incidencia I asociada a G. Determinen el grado de cada vrtice.

a) G:

b) G:

Actividad 8

En cada grafo plano G, verifiquen la frmula de Euler y determinen:

La matriz de adyacencia A,

La matriz de incidencia I.

Todos los caminos de longitud 2 de v2 a v2.

70

a) G:

b) G:

Actividad 9
En el grafo de la figura 2, comprueben que la frmula de Euler no se verifica. Cul es la explicacin?
Actividad 10

1 1 1 1
la matriz de incidencia de un grafo plano G.
1 1 1

Sea I
1

Dibujen el grafo G.

Indiquen el grado de cada vrtice.

Comprueben la frmula de Euler.

Actividad 11
Sea I la matriz de incidencia de un grafo plano G

1
I 0
1

1
1

0
1

0
1

0
1
0

Sin dibujar G, respondan las siguientes preguntas:

Cuntos vrtices tiene G?Cuntas aristas tiene?Cuntas caras debera tener?

71

Existen aristas paralelas? En caso afirmativo, indiquen cules son. En caso negativo, expliquen cmo

se deduce la respuesta a partir de la matriz.

Existen bucles? En caso afirmativo, en qu vrtice incide el bucle?

Ahora s, dibujen el grafo. Dibujarlo antes es trampa!

POLIEDROS
Actividad 12
Lean la introduccin a poliedros en el libro de Santal.
Cmo se deduce la frmula de Euler para poliedros a partir de la frmula de Euler para grafos?

Ahora vamos a trabajar con un poco ms de detalle el razonamiento que aparece en el libro. Es muy importante
completar los pasos matemticos que aparecen abreviados en los libros; esto nos ayudar a entender mejor el
texto y nos sirve como experiencia en manejo de propiedades y tcnicas.
El siguiente grafo corresponde a un cubo, al que le hemos quitado una cara y hemos extendido sobre el plano:

En la pgina 89 de Santal pueden observar el caso del dodecaedro regular.

Empecemos por establecer la notacin: p es el nmero de aristas por cara y q es el nmero de aristas que
concurren en cada vrtice. Es importante que tengamos en cuenta que, para que realmente tengamos un poliedro
y no una figura plana, debe ser: p 3 y q 3.
Adems, recordemos que A es el nmero de aristas, V es el nmero de vrtices y C es el nmero de caras.
Entonces es inmediato que q V = 2 A = p C

(1)

Recuerden que:

qV

V
1
q

2A

A
1
2

pC

C
1
p

(2)

72

De (1) y (2), y por propiedades de las proporciones, tenemos que:

V
A
C
VAC
VAC
2
4pq

1
1
1
1 1 1
2p pq 2q
2p pq 2q 2p pq 2q

q
2
p
q 2 p
2pq
2pq
Queda claro el por qu de la eleccin de V A + C.
El denominador de la ltima expresin debe ser positivo, ya que estamos hablando de cantidades de vrtices,
aristas y caras. En efecto,

4p
,
2p 2q pq

2pq
,
2p 2q pq

4q
(3)
2p 2q pq

Entonces llegamos a que

2 p + 2 q p q > 0 p (2 q) 2 (2 q) + 4 > 0 (p 2) (2 q) > -4 (p 2) ( q 2 ) < 4
En este desarrollo volvemos a usar el recurso para forzar la factorizacin por grupos, ya empleado en el caso de
circunferencias en forma compleja.
Adems, recordemos que p 2 > 0 y que q 2 > 0.
Concentrmonos en la expresin (p 2) ( q 2 ) < 4 (4), y veamos qu posibilidades nos aporta.

Si p = 3, entonces las caras de los poliedros resultantes son tringulos. En caso de que el poliedro sea

regular, los tringulos son equilteros.

En este caso, la expresin (4) nos dice que q 2 < 4, es decir, q < 6; como p y q son nmeros enteros, las
posibilidades son: q = 3, q = 4, q = 5.

Caso p = 3, q = 3, 2p + 2q pq = 3

12
18
12
4, A
6, C
4
3
3
3

Como cada poliedro toma su nombre del nmero de caras, en este caso estamos ante un tetraedro. Las caras del
tetraedro son tringulos; en el caso del tetraedro regular, son tringulos equilteros.

Caso p = 3, q = 4, 2p + 2q pq = 2

V 6, A 12, C 8
Este poliedro es un octaedro.

73

Caso p = 3, q = 5, 2p + 2q pq = 1

V 12, A 15, C 20

El poliedro recibe el nombre de icosaedro.

Si p = 4, entonces las caras de los poliedros resultantes son cuadrilteros. En caso de que el poliedro sea

regular, las caras son cuadrados.

En este caso, la expresin (4) nos dice que q 2 < 2, es decir, q < 4; como p y q son nmeros enteros, la nica
posibilidad es que q = 3.

Entonces el denominador 2p + 2q pq = 2, y resulta:

V 8, A 12, C 6

El poliedro es un hexaedro. El hexaedro regular se llama cubo.

Si p = 5, por (4) averiguamos que q 2 < 2, y nuevamente tenemos que q = 3. Adems, sabemos que las

caras del poliedro son pentgonos.

Entonces el denominador 2p + 2q pq = 1, y resulta:

V 20, A 30, C 12

El poliedro es un dodecaedro. Las caras del dodecaedro regular son pentgonos regulares.

74

75

GEOMETRAS NO EUCLIDIANAS
Un poco de historia
Los Elementos de Euclides son el punto de partida de la Geometra como ciencia, al proponer su estudio
sistemtico sin preocuparse por las aplicaciones prcticas. Se estima que Euclides vivi alrededor del ao 300 A.
C.
Actividad 1
Lean en el texto de Santal el esquema de la estructura de losElementos. Presten especial atencin a los
cinco postulados.
Los cuatro primeros postulados son considerados en la actualidad como la Geometra absoluta, ya que todas
las geometras deben cumplirlos para merecer tal nombre.
En cambio, el quinto postulado ha sido ocasin de controversia durante siglos. Noten que su enunciado es
complicado, en contraste con la simplicidad de los otros cuatro. Por eso, ni el mismo Euclides se atrevi a
recurrir a l con frecuencia, sino que eludi su uso todo lo que le fue posible. Surgi la sospecha de que el quinto
postulado era en realidad un teorema, y que era posible demostrarlo, cosa que los matemticos trataron de hacer
durante siglos.
Gracias a este afn por demostrar el quinto postulado, se obtuvieron muchos enunciados equivalentes a l.
Mencionaremos los ms importantes.
1.

Dos rectas paralelas son equidistantes. (Posidonio, siglo I A. C.)

2.

Si tres puntos estn del mismo lado de una recta y equidistan de ella, los tres puntos perten4ecen a la
misma recta. (Clavius, 1537 1612). (Aclaracin: del mismo lado de una recta quiere decir en el
mismo semiplano con respecto a una recta)

3.

Si una recta encuentra (corta) a una de dos paralelas encuentra necesariamente a la otra.

4.

Por un punto exterior a una recta se puede trazar una y slo una paralela a dicha recta. (Playfair, 1748
1818).

5.

Por un punto cualquiera, tomado en el interior de un ngulo, se puede siempre trazar una recta que
encuentre a los dos lados del ngulo. (Legendre, 1752 1833).

6.

Dado un tringulo cualquiera, existe siempre uno semejante de magnitud arbitraria. (Wallis, 1616
1703).

7.

La suma de los ngulos interiores de un tringulo es igual a dos rectos. (Saccheri, 1667 1733).

8.

Existen tringulos de rea tan grande como se quiera. (Gauss, 1799).

76

Los enunciados equivalentes son propiedades muy conocidas de la geometra plana, en realidad, mucho ms
conocidas que el quinto postulado. Pero no lo demuestran, ni tampoco lo desmienten.
El cuadriltero de Saccheri
Saccheri era un matemtico que se propuso demostrar el quinto postulado por el absurdo; es decir, estableciendo
que todo lo que pudiera contradecirlo era falso. Con este objeto cre una figura, llamada cuadriltero
birrectngulo issceles, ms conocido como el cuadriltero de Saccheri.

Figura 1
Esto, que parece un trapecio, es en realidad un cuadriltero de Saccheri visto en perspectiva. Lo vemos como un
trapecio porque estamos acostumbrados a mirar las figuras desde arriba, y no de frente. Si la figura fuera lo
bastante grande, no la veramos con los ngulos rectos sino oblicuos. Podemos imaginar cmo se ve la ruta
90 .
b
cuando vamos viajando. Teniendo esto en cuenta, aceptamos que a

1.

(figura 1), si los lados ad y

y b
Propiedad: en el cuadriltero de Saccheri, cuyos ngulos rectos son a
.
d
bc son iguales, entonces resulta que c

2.

(figura 1), si los lados ad

y b
Propiedad: en el cuadriltero de Saccheri, cuyos ngulos rectos son a
y viceversa.
d
> bc, entonces resulta que c

Estas propiedades dan lugar a tres hiptesis:

1.

90 , los ngulos
b
Si abcd es un cuadriltero birrectngulo issceles, siendo ad = bc, y a
tambin son rectos. sta es la hiptesis del ngulo recto, que corresponde a la geometra
y d
c

euclidiana.

77

2.

90 , los ngulos
b
Si abcd es un cuadriltero birrectngulo issceles, siendo ad = bc, y a
son agudos. sta es la hiptesis del ngulo agudo, que corresponde a las geometras llamadas
y d
c

hiperblicas.
3.

90 , los ngulos
b
Si abcd es un cuadriltero birrectngulo issceles, siendo ad = bc, y a
son obtusos. sta es la hiptesis del ngulo obtuso, que corresponde a las geometras
y d
c

llamadas elpticas.
Saccheri se propuso demostrar que la primera hiptesis es la correcta a travs de la falsedad de las otras dos, es
decir, por el absurdo. En el caso de la hiptesis del ngulo obtuso, crey tener xito al demostrar que las rectas
deberan tener longitud finita, lo cual desmentira dicha hiptesis. Eso no es as: en la geometra esfrica (que
van a leer en el libro de Santal) las rectas tienen longitud finita. En cambio, cuando abord la hiptesis del
ngulo agudo, no lleg a ninguna contradiccin, ni siquiera aparente.
Otras propiedades importantes son las siguientes:
1.

Si en el cuadriltero de Saccheri se verifica la hiptesis del ngulo recto, entonces ab = cd.

2.

Si en el cuadriltero de Saccheri se verifica la hiptesis del ngulo obtuso, entonces ab > cd.

3.

Si en el cuadriltero de Saccheri se verifica la hiptesis del ngulo agudo, entonces ab < cd.

4.

Si en un solo cuadriltero es vlida la hiptesis del ngulo recto, tambin lo es en los dems. Esta
propiedad independiza la hiptesis del cuadriltero en particular. Tambin es vlida en las otras dos
hiptesis.

5.

Si se verifica la hiptesis del ngulo recto, la suma de los ngulos interiores de un tringulo ser igual a
dos ngulos rectos.

6.

Si se verifica la hiptesis del ngulo obtuso, la suma de los ngulos interiores de un tringulo ser
mayor que dos ngulos rectos.

7.

Si se verifica la hiptesis del ngulo agudo, la suma de los ngulos interiores de un tringulo ser
menor que dos ngulos rectos.

Las tres ltimas propiedades son muy importantes, ya que la propiedad de que la suma de los ngulos interiores
de un tringulo sea igual a dos ngulos rectos es equivalente al quinto postulado. Si esta propiedad no se
verifica, ni el quinto postulado ni los enunciados equivalentes que hemos estudiado se verificarn.

Actividad 2
Lean y analicen, en el texto de Santal, el tema La geometra de la esfera.

78

Hagan una lista de las propiedades que les llamen la atencin.

Transformaciones bilineales
Flix Klein y el programa de Erlangen
Actividad 3
Repasen y escriban los axiomas de grupo, estudiados en lgebra II.
Flix Klein (1849 1925), al tomar posesin de un puesto de profesor en la Universidad de Erlangen, en 1872,
dio una conferencia, conocida como el programa de Erlangen, donde propuso la aplicacin del concepto de
grupo en geometra. Defini una geometra como el estudio de las propiedades que permanecen invariantes bajo
cierto grupo de transformaciones.
Si curiosean un poco el primer captulo del libro de Santal, van a ver algunos ejemplos de estos grupos de
transformaciones. Es la actividad 4
Nuestro objeto de estudio ser ahora el grupo de transformaciones bilineales, que dan lugar al modelo de
geometra hiperblica debido a Poincar.
Transformaciones bilineales
El plano proyectivo C es el conjunto C de los nmeros complejos, ampliado con el punto al infinito.
Simblicamente, C C .
Definicin
Sean a, b, c, d constantes complejas tales que ad bc 0 c 0.
Definimos T : C C de la siguiente manera:

azb
cz d

T (z )

a
c

d
si z z
c
d
si z
c
si z

Simplemente, agregamos el infinito para que las funciones homogrficas estudiadas en Clculo I sean
biyectivas.
El valor

d
se llama punto al infinito de la funcin.
c

79

Es importante que observemos que:

d
T lm T (z)
c z d
c

T() lm T(z)
z

Actividad 5
Demuestren que T : C C es biyectiva, para lo cual basta probar que T es inyectiva. Aprecien la importancia
de exigir que ad bc 0.

No es posible representar grficamente una funcin como T(z), ya que su dominio es de dimensin 2 y su
codominio tambin. Lo que s es posible es analizar las imgenes de curvas en el dominio de la funcin.
Vamos a analizar las imgenes de rectas y de circunferencias por una transformacin bilineal, y vamos a
demostrar que son rectas o circunferencias.
Es importante destacar que la imagen de una recta no tiene por qu ser una recta, y que la imagen de una
circunferencia no tiene por qu ser una circunferencia.
Ejemplo 1 Sea

1
z z / z 0 z

T : C C / T(z) si z 0
0 si z

Entonces a = 0, b = 1, c = 1 y d = 0, por lo que ad bc = -1.

Siempre consideraremos z = x + i y, T(z) = u + i v = w

Transformemos el eje real y = 0; recordamos que y

zz
, por lo que y = 0 z z
2i

80

1
1
z
z
w
1
1
zz 0

0
w w
1
1
ww

0 ww 0
w w
ww
w

ww
2i
tenemos que v 0

Como v

Es decir, el eje real y = 0 se transforma en el eje real v = 0.

Transformemos el eje imaginario x = 0; recordamos que x

zz0

zz
, por lo que x = 0 z z 0
2

1
1
ww

0
0 ww 0
w w
ww

Es decir, el eje imaginario x = 0 se transforma en el eje imaginario u = 0.

Ahora transformaremos la recta y = 1, es decir, z z 2 i

zz

1
1
ww

2i w w 2i w w 2i w w w w 0
w w
ww

ww

w
w
i
i0
2
2

1
1
1
1
1
1
1

w w i i w i 0 w i w i w i
2
2
2
4
2
2
2

1
1
concluimos que w i
2
2

La recta y = 1 se transforma entonces en la circunferencia con centro z 0

1
4

1
1
i y radio r .
2
2

Observen que estamos completando cuadrados, como hacamos cuando estudiamos recta y circunferencia.

Ahora transformaremos la recta x = 1, es decir, z z 2

zz

1
1
ww

2 w w2 w w 2 w w w w 0
w w
ww

ww

w
w
0
2
2

1
1
1
1
1
1
1

w w w 0 w w w
2
2
2
4
2
2
2

1
1
concluimos que w

2
2

La recta x = 1 se transforma entonces en la circunferencia con centro z 0

1
4

1
1
y radio r .
2
2

Actividad 6

81

Representen grficamente las rectas y = 1, x = 1 en el plano xy; y las circunferencias en las que se transforman,
en el plano uv:

Ms adelante revisaremos estos ejemplos en el marco de la teora. De todos modos, anoten todo lo que les vaya
llamando la atencin.
Ahora transformaremos la circunferencia | z 2 | = 2

Represntenla grficamente.
z2

1
2
2
1
1

2
2

44
ww w w
w
w

z2 z2

1 2 w 2w
ww

0 w w

1
2

Hemos obtenido, en el plano uv, la recta u =

1
.
4

Ejercicio: transformen la familia de rectas por el origen | z r | = r, donde r > 0.

Transformemos la familia de rectas paralelas y x

Sabemos que y

h
.
2

zz
zz
x
2i
2

Entonces la ecuacin de la familia en forma compleja es z z i z z h

Agrupando trminos, resulta que z 1 i z 1 i i h

Transformemos ahora la familia de rectas, y obtenemos:
1
1 i 1 1 i i h w 1 i w 1 i i h w 1 i w 1 i i h w w
w
w
ww
h w w w 1 i w 1 i 0

(1)

En la ecuacin (1) debemos distinguir dos casos:

82

h=0

(1) nos da entonces: w 1 i w 1 i 0

Es decir que la parte real, llamada u, de w (1-i ) = 0.
Expresemos w en forma binmica, esto es, w = u + i v
Entonces Re ( w ( 1 i ) ) = Re ((u + i v) ( 1 i )) = u + v = 0
Las recta se transforma entonces en v = - u.
Representen grficamente ambas rectas en dos planos contiguos.
h 0, caso en el que podemos dividir por h.

Entonces, (1) queda:

1 i
1 i
w
w0
h
h

ww

1 i 1 i
1 i
2

w w

2 0
w

h h
h
h

Finalmente :
w

1 i
2

h
h

que es la ecuacin de una circunferencia de centro z0 =

y radio r =

Representen grficamente las rectas y = x + 1 , y = x 1 y sus respectivas transformadas en dos planos

contiguos. Qu les sugieren los grficos que han hecho? Cmo caracterizan la recta que se transforma en
otra recta?
Ejemplo 2
Estudiaremos ahora una transformacin ms completa que la anterior.

z i
z 1

T ( z)

z / z 1 z
si z 1

Completen la definicin.

si z

Identifiquen a =

,b=

,c=

,d=

. Calculen ad bc.

Obtengamos la expresin de z a partir de w = T(z)

w i
w 1

83

Consideremos la recta vertical x = 1, que en forma compleja es

zz 2
w i
w i

2
w 1 w 1

w i w 1 w i w 1
w 1 w 1

Distribuyendo , tenemos : w w w i w i w w w i w i 2 w w 2 w 2 w 2

1 i w 1 i w

2 w 2 w 2 1 i w 1 i w 2

Lo que significa que la parte real, es decir u, de (1 + i) w = 1

Con la notacin w = u + i v, llegamos a la ecuacin u v = 1.
Los detalles omitidos quedan a vuestro cargo.
Consideremos la recta horizontal y = 1, que en forma compleja es

z z 2i

w w w iw i w w iw w i
w i w i

2i
w 1 w 1
w w w w 1

1 i w 1 i w 2 i 2 i w w 2 i w 2 i w 2 i
2 i w w 1 i w 1 i w 0

1 i
1 i
w
w0
2
2

ww

1 i
1 i
1

1 i
w w

w
0
2
2
2

Lo que, finalmente, nos da la ecuacin de la circunferencia transformada: w

1 i
1

2
2

Actividad 6
Consideren la transformacin bilineal del ejemplo:

z i
z 1

T ( z)

z / z 1 z
si z 1
si z

Hallen las transformadas de los ejes coordenados x = 0 e y = 0.

Hallen la transformada de la circunferencia | z | = 1.

Nota: en adelante, slo indicaremos la definicin de las transformaciones bilineales para valores finitos de z y w.
El resto de la definicin quedar sobreentendido; es importante que lo tengamos en cuenta.
Actividad 7
Consideren la transformacin

84

T : C C / T ( z)

z 1
2z 4

Demuestren que es biyectiva. Utilicen la definicin sobreentendida.

A partir de w = T(z), hallen z = T-1(w).

Transformen la circunferencia | z | = 1. Hallen el punto inverso q

de p = 3 respecto de la

circunferencia. Qu papel cumplen T(p) y T(q) en relacin con la curva transformada?

Transformen la circunferencia | z | = 2. Hallen el punto inverso q

de p = 3 respecto de la

circunferencia. Qu papel cumplen T(p) y T(q) en relacin con la curva transformada?

Transformen la familia de rectas verticales x = c. Consideren los diferentes casos.

Transformen la familia de rectas horizontales y = c. Consideren los diferentes casos.

Transformen la familia de rectas oblicuas y = m x + 2.

Transformen la familia de rectas oblicuas y = m x + 4.

Qu les llama la atencin? Anoten todo lo que vayan descubriendo.

Teora
Vamos ahora a generalizar los hechos observados en los ejemplos. Naturalmente, generalizaremos solamente
aquellos que lo merecen; no todo tiene validez general. A la luz de esta teora, revisarn y analizarn las
conclusiones que hayan ido anotando, confirmando algunos, descartando otros y enriqueciendo los ejemplos con
nuevas observaciones. Por lo tanto, es fundamental que hayan resuelto los ejercicios y anotado lo que les haya
llamado la atencin. Y no se preocupen, aqu no hay errores; todo el trabajo forma parte de vuestra formacin
disciplinar y es, por consiguiente, positivo.

MUY IMPORTANTE: de aqu en adelante, llamaremos crculo a toda recta o circunferencia.

Propiedades de las transformaciones bilineales

1.

Toda transformacin bilineal T : C C transforma crculos en crculos.

Demostracin: Sean a, b, c, d C / ad bc 0 c 0

85

 azb
cz d

d
si z z
c

T : C C / T(z )

a
c

si z

d
c

si z

Y sea el crculo de ecuacin

zp
k / k 0 , donde p y q son puntos inversos respecto del crculo. No nos
zq

preocupemos por el valor de k; puede ser igual a 1 o distinto de 1.

Siguiendo el mecanismo utilizado para resolver los ejemplos y los ejercicios, y poniendo w = T(z), calculemos

dw b
. Entonces obtenemos:
cw a

dw b
p
w
cw a
d w b pcw a p
zp

dw b
zq
dw b qcw aq
q
w
cw a

apb
cp d cp d

k
a q b cq d
cq d

Hemos agrupado y dividido por el coeficiente de w en numerador y denominador para obtener la ecuacin de un
crculo referido a sus puntos inversos. Los clculos omitidos quedan a vuestro cargo.

Resumiendo, lo que hemos obtenido es:

w T (p)
w T (q )

cq d
k' 0
cp d

Quiere decir que el crculo en el plano de la variable independiente z se ha transformado en un crculo en el

plano de la variable dependiente w.
Pero hay ms: T(p) y T(q) son puntos inversos respecto del crculo transformado.
Podemos reformular la propiedad 1 de la siguiente manera:
Toda transformacin bilineal T : C C transforma crculos en crculos, y los puntos inversos del crculo en el
plano de z en puntos inversos respecto de su transformado en el plano de w.
2.

Un crculo en el plano de z se transforma en una recta en el plano de w si y slo si contiene al punto al

infinito de T(z).

Demostracin: para demostrar esta propiedad apelamos al resultado obtenido en la demostracin de la propiedad
1. Sabemos que, para que el crculo en el plano de la variable w sea una recta, debe ser k = 1.

86

Entonces:

cq d
w T ( p)
k
1
w T (q )
cp d

cp d
k
cq d

d
p
d
c
k
pertenece al crculo en
d
c
q
c

el plano de z.
Observen que no importa si el crculo de partida es una recta o una circunferencia, sino solamente si contiene o
no al punto al infinito.
Una consecuencia inmediata de esta propiedad es que un crculo en el plano de z que no contenga al punto al
infinito se transforma en una circunferencia.

Transformaciones bilineales a coeficientes reales

Vamos ahora a analizar el caso particular de que las constantes a, b, c y d de la expresin de T(z) sean reales,
salvo posibilidad de simplificacin, es decir:
T(z)

2i z i
2z 1

es una transformacin a coeficientes reales.

i z 5i
z5

NOTACIN: denotaremos con ad bc 0, que se llama determinante de la transformacin bilineal.

Empecemos por observar que el punto al infinito de estas transformaciones es un nmero real, por lo tanto el eje
real del plano de z se transforma en una recta. Ms an, esa recta es el eje real del plano de w.
Veamos. La ecuacin del eje real en el plano de z es z z 0
w

azb
dw b
z
cz d
cw a

Entonces

zz

d w b d w b d w b a c w d w b a c w

ww 0
cw a
cw a
a c w a c w

ww 0
porque

0. Es decir, el eje real del plano de z se transforma en el eje real del plano de w.

Surge ahora la pregunta: teniendo en cuenta que el eje real determina dos semiplanos, el inferior y el superior,
ser posible determinar en qu se transforma cada uno de dichos semiplanos a travs de una transformacin
lineal? S, es posible y depende del signo de .

87

Actividad 8
Recordando que Im(z )

zz
, y que z z w w , donde w = T(z), demuestren que:
2i

Si >0, el semiplano Im(z) > 0 se transforma en el semiplano Im(w) > 0, y el semiplano

Im(z) <0 , en el semiplano Im(w) < 0.(Se dice que los semiplanos se transforman en s mismos)

Si < 0, los semiplanos se transforman en los opuestos.

Vamos ahora a trabajar con transformaciones bilineales cuyo determinante > 0, y especficamente vamos a
analizar en qu se transforman las rectas verticales y las circunferencias con centro en el eje real del plano de z.

1. Consideremos una recta vertical, cuya ecuacin general es z z K , y transformmosla:

dw b dw b
2 cd w w a d b c w w 2 a b

K
cw a
cw a
c w a c w a

Trabajando la ecuacin que hemos obtenido, y simplificando, llegamos a que:

2 c d K c w w a d b c K a c w w 2 a b K a
2

(1)

Pero sabemos que, para que la transformada de la recta considerada sea una recta en el plano de w, debe
cumplirse que el coeficiente de | w |2 sea nulo, obtenemos lo siguiente:
(- 2 cd K c2 )= -c (2 d + K c ) = 0, y como c 0, debe ser

K
d
d
, es decir, Re( z) , lo cual no es
2
c
c

nuevo porque ya habamos demostrado la condicin necesaria y suficiente para que un crculo en el plano de z se
transforme en una recta en el plano de w. Qu tipo de recta obtenemos? Veamos.
Volviendo a (1), por la condicin enunciada obtenemos:

a d b c K a c w w 2 a b K a 2

(2)

Como todas las constantes son reales, si despejamos w w podemos apreciar que la nueva recta en el plano de
la variable w es tambin vertical. Completen los detalles.
Analicemos el caso en que la recta se transforma en una circunferencia; tenemos que - 2 cd K c2 0.
Trabajando la expresin (1), llegamos a que:

ww

a d b c K a c w w

2 c d K c

Para abreviar, llamamos A

a d bc Ka c
2 c d K c2

2a b K a2
2 c d K c2 0
B

2a b K a2
2 c d K c2

(3)

(4)

88

Reemplacemos ahora (4) en (3):

wwA ww B0

B R

que, completando cuadrados en la forma habitual, nos dar

| w + A |2 = A2 B
Observemos que:

Como A es un nmero real, la circunferencia que obtengamos estar centrada en el eje real de la

variable w.

Sabemos que, por ser T bilineal, la transformada en este caso nos da una circunferencia.

Actividad 9
Verifiquen directamente que el cuadrado del radio de la circunferencia es A 2 B = 2, y como estamos
trabajando con >0, el radio ser igual a . Con este fin, vuelvan a utilizar (4) para obtener la expresin de A
y de B.

89

2. Ahora transformaremos una circunferencia con centro en el eje real de la variable z.

La ecuacin de una circunferencia con esta propiedad es | z x 0 | = r, donde x 0 R.
Sabemos, gracias a la teora general, que la circunferencia se transformar en un crculo. Si la circunferencia del
plano de z contiene al punto al infinito, obtendremos una recta; si no lo contiene, tendremos una circunferencia.
Qu ms podemos averiguar? Veamos

z x0 r z x0 z x0 r2
z z x o z x 0 z x 02 r 2

(5)

Transformemos la ecuacin (5):

dw b

cw a

dw b
dw b dw b
2
2

c w a x0 c w a c w a x0 r

Agrupemos:

2 c d w w a d x 0 b c x 0 a d w w b 2 2 a b x 0

c ww ac w w a
2

r 2 x 02

(6)

Si la circunferencia contiene al punto al infinito, se deber cumplir:

d
x 0 x 02 r 2
c

(7)

Por lo tanto:

2 c d x 0 w w a d x 0 b c x 0 b d w w b 2 2 a b x 0

c2w w a c w w a 2

d2
d
2 x0
2
c
c

(8)

Actividad 10
Simplifiquen la ecuacin ( 8 ) y deduzcan que:

El coeficiente de w w se anula, lo que significa que estamos ante una recta.

Dicha recta es de la forma Re (w) = K (constante), lo que significa que la transformada es una recta

vertical.
Actividad 11
Simplificando la ecuacin ( 8 ), hallen que:

Si la circunferencia no contiene al punto al infinito, se transforma en una circunferencia.

El centro de la circunferencia transformada se halla sobre el eje real, u, de la variable w.

Nota: en todos los casos, agrupen las constantes reales con otro nombre; no nos interesa el trabajo de detalle, que
solamente tiene sentido en los ejercicios.

90

Un modelo de geometra no euclidiana

El semiplano de Poincar
Algunas definiciones
Consideremos el plano proyectivo C .

Definicin: llamaremos semiplano de Poincar al conjunto = { z C / Im (z) > 0}.

Es decir, el semiplano de Poincar es el semiplano superior.

Definicin: los puntos que constituyen el semiplano de Poincar se llaman puntos propios.

Definicin: los puntos del eje real (Im (z) = 0) y el infinito son los puntos impropios del semiplano de

Poincar.

Definicin: las rectas de esta geometra son semirrectas verticales y semicircunferencias centradas en el

eje real de la variable z, es decir, el eje x

Figura 1
En la figura se observan las rectas r y r, que corresponden a los dos casos mencionados. En r se observan dos
puntos impropios, denominados y ; en r se ve solamente , ya que = . Resumiendo, todas las rectas del
semiplano de Poincar tienen dos puntos impropios.

Definicin: dos rectas se dicen paralelas si se cortan en un punto impropio.

Las dos rectas de la figura 1 no son paralelas.

Las rectas de la figura 2 y de la figura 3 son paralelas:

91

Figura 2

Figura 3
Desafo a los lectores: por un punto exterior a una recta, cuntas paralelas pasan? Dos rectas paralelas a una
tercera son paralelas entre s? A pensar!

La distancia en el semiplano de Poincar

Introduccin

Definicin: dados cuatro nmeros complejos distintos z 1 , z2 , z3 , z4, que son puntos del plano, se llama

razn doble de z1 , z2 , z3 , z4 , y se denota (z1 , z2 , z3 , z4), al nmero complejo

z1 , z 2 , z 3 , z 4

z1 z 3 z 2 z 4
z1 z 4 z 2 z 3

(9)

Actividad 12
Verifiquen que, si T es una transformacin bilineal, entonces ( T(z1), T(z2), T(z3), T(z4)) = (z1, z2 , z3 , z4).
Esta propiedad se enuncia tambin de la siguiente manera: la razn doble de cuatro puntos es invariante por
transformaciones bilineales.

92

Resumiendo, si tenemos en cuenta que una transformacin bilineal con transforma rectas verticales y
circunferencias centradas en el eje x en rectas verticales y circunferencias centradas en el eje x, y que adems
respeta los semiplanos inferior y superior, y la razn doble de cuatro puntos, sospechamos que la definicin de
distancia en el semiplano de Poincar debe tener algo que ver con las razones dobles.
Antes de definir la distancia, veamos qu le vamos a exigir.

Para empezar, diremos que dos figuras son congruentes si existe una transformacin bilineal que

transforma a una en la otra. Esta propiedad es anloga a la que exigimos en la geometra habitual, cuando
decimos que dos figuras son congruentes si podemos superponerlas (es decir, si podemos transformar una en la
otra por una isometra eucldea). Para que la distancia que vamos a definir respete estas propiedades, le
exigimos que sea invariante por transformaciones bilineales; es decir, que una transformacin bilineal conserve
la distancia entre puntos. En smbolos:

d (a , b) r d T (a ), T ( b) r
Donde llamamos d (a, b) a la distancia entre a y b en el semiplano de Poincar.
Y tenemos que definir una isometra en este conjunto.

Sabemos que en la geometra ordinaria, si tres puntos a, b, c estn alineados, entonces la distancia

eucldea de cumple que d e (a , b) d e (a , c) d e ( b, c) . A la nueva distancia d que vamos a crear le

vamos a exigir la misma propiedad, llamada aditividad. En smbolos:

d (a , b) d (a , c) d ( b, c)
Con esto a la vista, y teniendo en cuenta las propiedades resumidas recin, definimos la distancia d:

Definicin: Dados dos puntos a y b del semiplano de Poincar, se define la distancia entre a y b como:

d (a , b ) ln , , a , b , donde y son los puntos impropios de la recta que pasa por a y b.

Actividad 13
Demuestren que la distancia as definida tiene las propiedades exigidas.
Demuestren que d(a, a) = 0.
Propiedades

En el caso de que la recta que contiene a los puntos a y b sea una semirrecta vertical, uno de los puntos

impropios es , para fijar ideas sea = .

Entonces la razn doble ser

93

 , , a , b lm a b
b a

a
b
a

Siendo por consiguiente la distancia d (a , b) ln

Im (a )

Ms precisamente, como , a y b tienen la misma parte real, d (a , b) ln

Im ( b)
Ejemplo: calculemos la distancia entre a = 1 + 2 i , b = 1 + 4 i, c = 1 + 6 i

ln 2

ln

d (a , b) ln

d ( b, c) ln

As que, aunque la distancia eucldea entre a y b es igual a la distancia eucldea entre b y c, no sucede lo mismo
con la distancia en el semiplano de Poincar. Hagamos un clculo ms:

d (a , c) ln

ln 3 d (a , b) d ( b, c) , como es fcil verificar apelando a las propiedades de

los logaritmos.

Analicemos qu pasa cuando el punto b se aleja sobre la recta, es decir, b :

Im (a )

lm d (a , b) lm ln
b
b
Im ( b)

Este lmite slo tiene sentido cuando la recta es una semirrecta vertical.

Volvamos al caso general, es decir, d (a , b ) ln , , a , b .

Analicemos el caso en que uno de los puntos, por ejemplo b, se acerca al eje real, lo que se expresa diciendo que
tiende a uno de los puntos impropios:

, , a , b a b
b a
lm , , a , b 0 d (a , b)
b

lm , , a , b d (a , b)
b

Resumiendo, siempre que uno de los puntos tiende a un punto impropio, la distancia entre ambos tiende a
infinito.

94

Para terminar, veamos algunas definiciones que son necesarias para comprender el texto de Santal sobre la
geometra hiperblica de Poincar.
Se llama ciclo a toda circunferencia que, como ya sabemos, es el lugar geomtrico de los puntos del semiplano
de Poincar que equidistan de un punto dado, llamado centro. Aqu, lo que cambia es la distancia, por lo que las
circunferencias en esta geometra no son las euclidianas.
Se llama hiperciclo al lugar geomtrico de los puntos que equidistan de una recta dada.
Se conoce como trayectoria ortogonal a un haz de curvas a cualquier curva que sea ortogonal a todas las curvas
del haz en los puntos de interseccin.
Se llama oriciclo, o curva lmite, a toda trayectoria ortogonal a un haz de rectas paralelas.
Actividad 14

Analicen el texto de Santal, enfatizando la caracterizacin de ciclos, hiperciclos y oriciclos.

Analicen los siguientes grficos, donde se visualizan las dos paralelas a una recta en un punto exterior

p.

95

Actividad 15
Dada la recta x2 + y2 = 1, y > 0, y el punto p(1, 5), hallen analtica y grficamente las dos paralelas que pasan
por el punto p.
Dada la recta x2 + y2 = 1, y > 0, y el punto p(2, 5), hallen analtica y grficamente las dos paralelas que pasan
por el punto p.

96