Geometra Eucldea Plana

Primer Cuatrimestre 2010

Construcciones y lugares geomtricos

1. Introduccin 1

2. Construcciones y lugares geomtricos 4

2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

1. Introduccin
Los axiomas establecen relaciones entre ciertos objetos, dando propiedades
de existencia o unicidad, por ejemplo que dados dos puntos distintos existe una
nica recta que los contiene. Hasta ahora nos hemos preocupado por deducir
lgicamente otras relaciones y propiedades a partir de los axiomas, tales como
que dados un punto y una recta existe una nica perpendicular a la recta que
contiene al punto.
Los problemas de existencia y unicidad son centrales a toda la matemtica,
pero cuando queremos usar los resultados en la prctica necesitamos determinar
efectivamente los objetos, o al menos aproximaciones a ellos. Para muchos
objetos es posible dar una serie de pasos a seguir, o algoritmo.
Por ejemplo, supongamos que tenemos un rectngulo de lados y y que-
remos encontrar
un cuadrado de igual rea. El problema es equivalente a
encontrar .
Usando propiedades de los nmeros
reales, es posible demostrar que existe
un nico R, > 0, tal que = . En algunos casos particulares, como = 1
y = 4, es posible encontrar rpidamente , pero en general esto no es as como
en el caso = 1 y = 2, y necesitamos algn procedimiento que nos permita
calcular ya sea exactamente o al menos dentro de un error permitido.
La geometra viene de problemas prcticos y no sorprende que ya en los
primeros resultados de Los Elementos, Euclides se preocupara por estos proce-
dimientos o construcciones con regla y comps, mediante los cuales obtenemos
efectivamente ciertos objetos a partir de objetos iniciales o auxiliares.
Como si se tratara de un juego en el cual slo podemos hacer ciertos movi-
mientos, en las construcciones slo se permiten algunos objetos iniciales, slo
ciertos pasos son permitidos, y debemos llegar al objetivo en un nmero finito
de pasos.
Los objetos iniciales pueden ser puntos, rectas (y derivados como semirrec-
tas, segmentos y semiplanos) o circunferencias. Tambin podemos considerar
Pg. 2 Construcciones y lugares geomtricos

puntos arbitrarios en una recta (semirrecta, segmento, semiplano) o en la cir-

cunferencia.
Contamos con dos instrumentos, la regla no graduada y el comps, que
nos permiten construir a partir de dos puntos una recta o una circunferencia
respectivamente.
Podemos usar el comps tambin para transportar longitudes: dado un seg-
mento, podemos construir una circunferencia con centro en cualquier punto y
con radio igual a la longitud del segmento.
. En realidad, el comps de Euclides permite trazar una circunferencia dados un
centro y un punto sobre la circunferencia, pero al levantarlo el comps se
cierra, es decir no permite transportar longitudes directamente. En cambio
el comps moderno permite transportar longitudes pues conserva su apertura
al levantarlo del papel.
Se puede demostrar que con el comps de Euclides podemos transportar
longitudes (haciendo ms pasos que con el comps moderno), de modo que
para simplificar supondremos que podemos usar un comps moderno.
Finalmente, dadas dos rectas, o una recta y una circunferencia, o dos circun-
ferencias, podemos determinar los puntos de interseccin.
. Para otras curvas no siempre es posible construir con slo regla y comps la
interseccin o construir la curva, aunque a veces se pueda construir indivi-
dualmente cada punto en ella.
Un poco caprichosamente, no podemos medir segmentos ni ngulos, de
modo que no se pueden usar instrumentos de medicin (como la regla graduada
o el transportador), ni otras herramientas como escuadras.
Resumiendo, cada paso puede consistir en: 1) construir una recta (semirrecta,
segmento) o circunferencia con regla o comps a partir de los objetos existentes;
2) construir los puntos de interseccin de rectas o circunferencias; y 3) construir
un punto arbitrario (no sujeto a otras restricciones) en una recta (semirrecta,
segmento, semiplano) o circunferencia.
Volviendo a nuestro ejemplo inicial, como veremos ms adelante es posible
construir (con regla y comps) un segmento de longitud dados y .
. En la proposicin 14 del Libro II de Los Elementos, Euclides realiza esta
construccin para figuras poligonales generales.
Con los mtodos y tecnologas que disponemos actualmente muchas de las
construcciones geomtricas han perdido el inters prctico: basta apretarun
par de botones de la calculadora para obtener una buena aproximacin de
una vez ingresados y .
No todo es historia antigua, ya que la construccin de Euclides del mximo
comn divisor entre dos nmeros1 se sigue usando sin mayores modificaciones
en cosas tan sofisticadas como transacciones seguras de internet.
Las construcciones geomtricas tambin tienen inters terico, y han dado
lugar al desarrollo de muchas reas de las matemticas. Por ejemplo, la imposibi-
lidad de ciertas construcciones como la cuadratura del crculo, la duplicacin
del cubo y la triseccin del ngulo encajan dentro de la profunda teora de
Galois.2
Veamos una breve descripcin de estos problemas.
1 Proposiciones 1 y 2 del Libro VII.
2 Por E. Galois (18111832), quien muri a los 21 aos. Sus trabajos se publicaron en 1846.
1. Introduccin Pg. 3

Cuadratura del crculo: construir con regla y comps un cuadrado que tenga
igual rea que un crculo dado. El problema es equivalente
a dado un seg-
mento de longitud , construir un segmento de longitud (que sabemos
que existe).
En 1882 F. von Lindemann demostr que y por lo tanto es trascen-
dente y entonces tal construccin es imposible.
Duplicacin del cubo: en tres dimensiones, construir un cubo que duplique
en volumen a otro dado. El problema es equivalente a dado un segmento de
longitud construir otro de longitud 3 2 .
Segn la leyenda, el orculo de Delfos plante este problema a los
atenienses durante la plaga que asol Atenas en 420 a.C..
Triseccin del ngulo: dado el ngulo , construir el ngulo /3.
Tanto este problema como el de duplicacin del cubo se reducen a ecua-
ciones polinmicas de grado 3. P. Wantzel demostr en 1837 que ambas
construcciones (con regla y comps) son imposibles.
Hay muchas variaciones sobre las construcciones con regla y comps.
L. Mascheroni (17501800) demostr en 1797 que se puede eliminar la
regla dejando slo el comps (de Euclides), claro que las construcciones se
hacen mucho ms complicadas y se debe interpretar que construir una recta
o segmento se limita a dar dos puntos distintos.
Tambin tenemos el comps oxidado, donde el comps tiene una abertura
fija, y construcciones con slo regla (hablaremos sobre algunas de ellas ms ade-
lante en el curso). En particular, segn el teorema de Poncelet y Steiner (1833)
basta con conocer una (nica) circunferencia y su centro para que cualquier
construccin con regla y comps pueda hacerse tambin con regla solamente.
Otras variantes permiten el uso de otras herramientas, algunas tan sencillas
como una regla marcada, o curvas alternativas a la circunferencia. Con muchas
de estas variantes la triseccin del ngulo (por ejemplo) se hace posible.
Una herramienta particularmente intrigante es el origami (en japnes, ple-
gado de papel), proveniente del arte tradicional japons originado hacia el siglo
VI. Usando las reglas (o axiomas) de H. Huzita (19242005), con el origami se
pueden resolver ecuaciones polinmicas hasta de grado 3, lo que en particular
implica la construccin (con origami) de la duplicacin del cubo y la triseccin
del ngulo.
Para concluir, y para mostrar la interconexin entre distintas reas de la
matemtica, mencionamos que otro problema de la antigedad es el de construir
(con regla y comps) un -gono regular de lado dado, donde N, 3.
C. F. Gauss (17771855) prob que se puede construir para = 17 cuando
tena 19 aos, y cinco aos ms tarde obtuvo como condicin suficiente que
sea de la forma 2 1 . . . , donde los son distintos primos de Fermat es decir de

la forma 22 +1 con N. En su trabajo de 1837, Wantzel tambin demostr que
la condicin es necesaria. En contrapartida, J. Pierpont (18661938) en 1895
demostr que con el origami se pueden construir los polgonos cuando es de
la forma 2 3 1 . . . , donde los primos son ahora de la forma 2 3 + 1, con
, enteros no negativos.
. Los primos de la forma 2 3 + 1 se llaman de Pierpont en su honor. Si = 0,
se puede demostrar que un primo de Pierpont es primo de Fermat.
Slo se conocen 5 primos de Fermat (los primeros son 3, 5, 17, 257), y se
Pg. 4 Construcciones y lugares geomtricos

sospecha que hay slo finitos primos de Fermat pero infinitos primos de
Pierpont.

2. Construcciones y lugares geomtricos

De aqu en ms entenderemos que construccin se refiere a una con regla y
comps.
Seguimos la seccin 7 del libro de Pogorlov [1], agregando algunos resulta-
dos de 8. Nos limitamos a repetir los enunciados, a veces con algn comentario,
pero omitiendo las demostraciones (que estn en el libro).
La mayor novedad respecto a la presentacin de Pogorlov es el concepto de
cruz de bisectrices siguiendo al libro de Vasliev y Gutenmjer [2, pg. 38].
2.1. Problema (7.1 en [1]). Dados los segmentos , , , construir un tringulo con
esos lados.
. Como sabemos, el problema no siempre tiene solucin, ya que deben satisfacerse las
relaciones
+ > , + > y + > .

2.2. Problema (7.2 en [1]). Dados un ngulo , una semirrecta y un

semiplano correspondiente a la recta , construir en ese semiplano tal que
= .
2.3. Problema (7.3 en [1]). Dado un ngulo , construir tal que la semi-
rrecta es bisectriz del ngulo.
2.4. Proposicin. Si las rectas y , , , se cortan en el punto determinando las
semirrectas , , , , los ngulos , , y con respectivas
bisectrices , , , , entonces
i) y son semirrectas complementarias, as como lo son y .
ii) Las rectas y que contienen respectivamente a y , y y , son
perpendiculares.
2.5. Definicin. La figura formada por las rectas y de la proposicin ante-
rior se llama cruz de bisectrices de las rectas y .
2.6. Problema (7.4 en [1]). Dado el segmento , encontrar en el segmento tal
que = , i.e., encontrar el punto medio del segmento.
2.7. Problema (7.5 en [1]). Dados el punto y la recta , trazar por una
perpendicular a cuando
a) ,
b) < .
. Una vez resuelto este problema, el uso de la escuadra (no graduada) est permitido,
como forma de simplificar los pasos.

2.8. Problema. Trazar por un punto una recta paralela a la recta (se supone
< ).
. Es el problema 8.7 en Pogorlov [1], pero no es necesario usar el axioma de
las paralelas.
2.1 Ejercicios Pg. 5

2.9. Definicin. Un lugar geomtrico de puntos es el conjunto de puntos que

satisface determinada propiedad.
. Por ejemplo, por su misma definicin, la circunferencia de centro y radio
es el lugar geomtrico de los puntos cuya distancia a es .
. Como un lugar geomtrico es un conjunto, digamos , demostrar que coincide
con otro conjunto requiere de demostrar dos implicaciones: y
. $
2.10. Definicin. La mediatriz de un segmento es la recta perpendicular a
la recta por y que pasa por el punto medio del segmento. $
2.11. Teorema (7.6 en [1]). La mediatriz del segmento es el lugar geomtrico
de los puntos que equidistan de y .
2.12. Teorema. Las mediatrices de los lados de un tringulo se cortan en un nico
punto.
2.13. Definicin. Dado el tringulo , se llama circunferencia circunscripta
del tringulo a una circunferencia que pasa por los vrtices , , .
Tambin decimos que el tringulo est inscripto en la circunferencia.
. As como se puede decir septiembre o setiembre, se puede decir cir-
cunscripta o circunscrita. La segunda acepcin es ms moderna, pero ac
usaremos casi siempre la primera. $
2.14. Teorema.
a) Si es una circunferencia circunscripta al tringulo , y es su centro,
entonces es el punto de interseccin en el teorema 2.12, llamado circun-
centro del tringulo.
b) Todo tringulo tiene una nica circunferencia circunscripta.
. En cambio, un segmento tiene varias.
c) Dados tres puntos no alineados, hay una nica circunferencia que los contiene.
En particular, una circunferencia queda determinada por tres de sus puntos.
2.15. Problema (7.7 en [1]). Dados tres puntos no alineados, construir una cir-
cunferencia que pase por ellos.
2.16. Problema (7.8 en [1]). Dada una recta , dos puntos y < , y una
longitud , construir un punto en tal que + = .
. Se supone < , en otro caso la construccin es imposible.
. Si y son los focos de una elipse (tema que veremos ms adelante), se pide
encontrar una de las intersecciones de la elipse con una recta que pasa por un foco,
encontrando de paso la tangente correspondiente.

2.17. Problema (8.6 en [1]). Encontrar el lugar geomtrico de los puntos que
pertenecen a un mismo semiplano respecto de una recta y que equidistan de esa
recta.

2.1. Ejercicios
Ejercicio 2.1.
a) Construir un segmento igual a la suma de dos segmentos dados.
Pg. 6 Referencias

b) dem con la diferencia (el mayor menos el menor).

Ejercicio 2.2. Construir un segmento que mida 1/4 la longitud de otro dado.
Ejercicio 2.3. Construir la suma (resp. diferencia) de dos ngulos dados.
Ejercicio 2.4. Construir un ngulo que mida 1/4 lo que otro dado.

Ejercicio 2.5.
a) Dados dos puntos en el plano, encontrar dos circunferencias distintas
que los contengan.
. Atencin que es circunferencia y no crculo.
b) Dar cuatro puntos en el plano tales que ninguna circunferencia los
contiene a todos.
Ejercicio 2.6. Construir en cada caso un tringulo con las condiciones
dadas:
a) y lados y .
b) y lados y .
c) , y lado .
d) Lados , y mediana relativa a .
e) Lados , y altura desde .
Indicar, en cada uno de los casos anteriores, si:
i) la construccin siempre es posible, o hay que imponer restricciones a
las condiciones para la existencia de un tal tringulo,
ii) hay un nico tringulo posible, i.e., si dos tringulos que satisfacen las
mismas condiciones deben ser iguales.
Ejercicio 2.7. Demostrar la proposicin 2.4.

Ejercicio 2.8. El lugar geomtrico de los puntos que equidistan de dos rectas
secantes es la cruz de bisectrices de las rectas (con el punto de interseccin
incluido).
Ejercicio 2.9. Dado el tringulo , construir una recta por tal que
dist(, ) = dist(, ). Cuntas soluciones hay? Sugerencia: considerar los ca-
sos en que y estn en un mismo semiplano respecto de o en distintos.
Ejercicio 2.10. Dividir el segmento en un nmero entero de partes iguales.

Referencias
[1] A. V. Pogorlov. Geometra elemental. MIR, Mosc, 1974.
[2] N. B. Vasliev y V. L. Gutenmjer. Rectas y curvas. MIR, Mosc, 1980.