Sie sind auf Seite 1von 48

APENDICE

LOS ELEMENTOS DE EUCLIDES

LIBROS I, II, III Y IV

1.- INTRODUCCION.

Quienquiera que, aun casualmente, hojee un ejemplar de los Elementos de Euclides, est
sujeto a darse cuenta que, no obstante algunas imperfecciones, est examinando uno de los
trabajos que va a la cabeza de cuantos se han compilado. Este tratado de Euclides con todo derecho
se considera como el primer gran progreso en la historia del pensamiento y la organizacin
matemticos. Ningn trabajo, excepto la Biblia, se ha utilizado, editado o estudiado ms
ampliamente. Por ms de dos milenios ha dominado toda la enseanza de la geometra, y se han
publicado ms de mil ediciones de l desde su primera impresin en 1482. Como el prototipo del
mtodo matemtico moderno, su impacto sobre el desarrollo de las matemticas ha sido enorme,
y un nmero sorprendente de subsecuentes desarrollos importantes en la geometra deben su
origen e inspiracin a alguna parte o caracterstica de gran obra.

No es ninguna detraccin que el trabajo de Euclides sea ampliamente una compilacin de trabajos
de predecesores, puesto que su mrito principal est precisamente en la destreza consumada con
la que las proposiciones se seleccionaron y dispusieron en una sucesin lgica presumiblemente
partiendo de un pequeo grupo de suposiciones iniciales. Ni tampoco es una detraccin que la luz
de la crtica moderna ha revelado algunos defectos en la estructura del trabajo; seria admirable en
efecto si dicho intento antiguo y colosal del mtodo axiomtico estuviera exento de tachas.

No se ha hallado ninguna copia de los Elementos de Euclides, que date realmente de la poca del
autor. Las ediciones modernas de los Elementos se basan en una revisin preparada por Ten de
Alejandra casi 700 aos despus de que se public el trabajo original. No fue sino hasta principios
del siglo diecinueve cuando se descubri en la biblioteca del Vaticano un ejemplar anterior,
mostrando solo diferencias menores de la revisin de Ten. Un estudio cuidadoso de las citas y el
comentario de escritores antiguos indica que las definiciones, los axiomas y los postulados iniciales
del tratado original difieren algo de las revisiones, pero que las proposiciones y sus demostraciones
han permanecido en gran parte como Euclides las escribi.

En los trece libros que comprenden los Elementos de Euclides, hay un total de 465 proposiciones,
contrario a la impresin popular, muchas de estas proposiciones tratan, no de geometra, sino de
teora de los nmeros y algebra griega (geomtrica).

El libro I principia, por supuesto, con las definiciones, postulados y axiomas preliminares necesarios.
Aunque los matemticos actuales empleen las palabras axiomas y postulados como sinnimos,
los griegos antiguos hicieron una distincin, la distincin adoptada por Euclides posiblemente es que
un axioma es una suposicin inicial a todos los estudios, mientras que un postulado es una
suposicin inicial que pertenece al estudio en mano. Las 48 proposiciones del Libro I se dividen en
tres grupos. Las primeras 26 tratan principalmente de las propiedades de tringulos e incluyen tres
teoremas de congruencia bien conocidas. Las proposiciones I27 hasta I 32 establecen la teora de
las paralelas y demuestran que la suma de los ngulos de un tringulo es igual a dos ngulos rectos.
Las proposiciones restantes del libro tratan de paralelogramos, tringulos y cuadrados, con
referencias especiales a las relaciones de reas, La proposicin I47 es el teorema de Pitgoras, y la
proposicin finas, I48, es el reciproco del teorema de Pitgoras. El material de este libro fue
desarrollado por los primeros pitagricos.

El libro II trata de la transformacin de reas y el lgebra geomtrica griega de la escuela


pitagrica. En este libro encontramos los equivalentes geomtricos de varias identidades
algebraicas. Al final del libro hay dos proposiciones que establecen la generalizacin del teorema de
Pitgoras que conocemos actualmente como ley de los cosenos.

El libro III contiene aquellos teoremas familiares respecto a circunferencias, cuerdas,


tangentes y la medicin de los ngulos relacionados que encontramos en algunos textos de
geometra.

En el libro IV se encuentran las exposiciones de las construcciones pitagricas, con comps


y regla, de polgonos regulares de tres, cuatro, cinco, seis y quince lados.

El libro V da una exposicin magistral de la teora de la proporcin como la origin Eudoxio.


Esta teora, aplicable a magnitudes inconmensurables y conmensurables, fue la que resolvi un
"escndalo lgico" creado por el descubrimiento pitagrico de los nmeros irracionales. Anterior al
descubrimiento de los nmeros irracionales se sinti intuitivamente que dos segmentos de recta
cualquiera son conmensurables y que el tratamiento pitagrico de la proporcin se construy sobre
esta premisa falsa. La teora eudoxiana de la proporcin facilit posteriormente un fundamento,
desarrollada por Richard Dedekind a finales del siglo diecinueve, para el sistema de anlisis de los
nmeros reales. Los textos de geometra actuales no emplean la teora eudoxiana, sino ms bien la
teora anterior pitagrica completada por alguna teora elemental de lmites.

El libro VI aplica la teora eudoxiana de la proporcin a la geometra plana. Aqu hallamos


los teoremas fundamentales de tringulos semejantes y construcciones que dan la tercera, cuarta y
media proporcionales. Tambin encontramos una solucin geomtrica a las ecuaciones cuadrticas,
y la proposicin de que la bisectriz interna de un ngulo de un tringulo divide al lado opuesto en
dos segmentos proporcionales a los otros dos lados. Probablemente no hay teorema en este libro
que no haya sido conocido por los antiguos pitagricos, pero las demostraciones preeudoxianas de
muchos de ellos fueron defectuosas puesto que se basaban en una teora incompleta de la
proporcin.

Los libros VII, VIII y IX, conteniendo un total de 102 proposiciones, tratan de la teora
elemental de los nmeros. En estos libros hay muchos teoremas elegantes respecto a los nmeros
naturales, pero, puesto que tenemos que tratar slo de geometra, no presentamos ninguna
exposicin de ellos.

El libro X trata de irracionales, esto es, de segmentos rectilneos que son inconmensurables
respecto al segmento rectilneo dado. Muchos consideran que este libro es tal vez el ms admirable
de los Elementos. Gran parte del contenido de este libro se cree es debido a Thetetus, pero lo
extraordinariamente completo, la clasificacin elaborada, y el acabado se acreditan a Euclides.
Abruma la credulidad al darse cuenta que los resultados de este libro fueron alcanzados por el
razonamiento retrico no ayudado por ninguna notacin algebraica conveniente.

Los tres libros restantes, XI, XII y XIII, tratan de la geometra slida o del espacio, cubriendo
la mayor parte del material, con excepcin de lo relativo a esferas. Las definiciones, los teoremas
acerca de rectas y planos en el espacio, y los teoremas relativos a paraleleppedos se encuentran en
el libro XI. Los volmenes se tratan hbilmente en el libro XII, y las construcciones de los cinco
poliedros regulares estn dados en el libro XIII.

En El presente apndice, mostraremos los libros I, II, II, y IV de los Elementos de Eucides.
Para conocer los restantes libros, consultar la bibliografa.

2.- LIBRO I

DEFINICIONES

1. Un punto es lo que no tiene parte o dimensin.


2. Una lnea es una longitud sin anchura.
3. Los extremos o lmites de una lnea son puntos.
4. Una recta es una lnea que tiene todos sus puntos en la misma direccin.
5. Una superficie es la que solo tiene longitud y anchura.
6. Los extremos o lmites de una superficie son lneas.
7. Una superficie es plana es la que contiene una recta en cualquier posicin.
8. Un ngulo plano es la inclinacin entre s de don lneas de un plano si estas se cortan y no
estn en una misa recta.
9. Cuando las lneas comprenden el ngulo son rectas, el ngulo se dice que es rectilneo.
10. Cuando una recta se levanta sobre otra formando ngulos adyacentes iguales, cada uno de
los ngulos iguales se llama ngulo recto, y la recta que se eleva sobre otra perpendicular a
esta otra.
11. Un ngulo obtuso es mayor que uno recto.
12. Un ngulo agudo es menor que uno recto.
13. Un lmite es lo que constituye un extremo de alguno cosa.
14. Una figura es lo que est contenido en un lmite o en varios lmites.
15. Un circulo es una figura plana contenido en una lnea, llamada circunferencia, tal que todas
las rectas que van desde un punto particular hasta puntos de ella, quedando dentro de la
figura, son iguales.
16. El punto particular (de la definicin 15) se llama centro de la circunferencia o del crculo.
17. Un dimetro de un crculo o de una circunferencia es una recta que pasa por su centro y
termina, en ambos sentidos, en la circunferencia. Dicha recta visera adems a la
circunferencia y al crculo.
18. Un semicrculo es la figura contenida entre un dimetro y una semicircunferencia, o sea, la
mitad de la circunferencia cortada por l. El centro del semicrculo es el mismo que el del
crculo.
19. Figuras rectilneas son las contenidas entre rectas, figuras trilaterales (o tringulos) son las
contenidas entre tres, cuadrilaterales (o cuadrilteros) las contenidas entre cuatro y las
multilaterales (o polgonos) las contenidas entre ms de cuatro.
20. De las figuras trilaterales, un tringulo equiltero es aquel cuyo tres lados son iguales, un
tringulo issceles tiene dos de sus lados iguales y un tringulo escaleno tiene sus tres lados
desiguales.
21. Adems, de las figuras trilaterales, un tringulo rectngulo es la que tiene un ngulo recto,
un tringulo obtusngulo la que tiene un ngulo obtuso, y un tringulo acutngulo la que
tiene sus tres ngulos agudos.
22. De las figuras cuadrilaterales, un cuadrado es la que es equiltera y sus ngulos son rectos;
un cuadrilongo es la que tiene todos sus ngulos rectos pero no es equiltera; un rombo es
la equiltera pero sin ngulos rectos, y un romboide la que tiene sus lados y ngulos
opuestos iguales unos a otros pero no es ni equiltera ni tiene ngulos rectos. Los
cuadrilteros distintos de los anteriores se llaman trapecios o trapezoides, segn que
tengan un par de lados paralelos o no tengan ninguno.
23. Rectas paralelas son las que, estando en el mismo plano y prolongndolas indefinidamente
en ambos sentidos, no se cortan ni en uno ni en el otro sentido.

POSTULADOS

1. Una recta puede trazarse desde un punto cualquiera hasta otro.


2. Una recta finita puede prolongarse continuamente y hacerse una recta ilimitada e
indefinida.
3. Una circunferencia puede describirse con un centro y una distancia.
4. Todos los ngulos rectos son iguales entre s.
5. Si una recta que corte a otras dos forma con estos ngulos interiores del mismo lado de ella
que sumados sean menores que dos rectas, las dos rectas, si se prolongan indefinidamente,
se cortaran del lado en que dicha suma de ngulos sea menor de dos rectos.

AXIOMAS O NOCIONES COMUNES

1. Las cosas que sean iguales a la misma cosa tambin son iguales entre s.
2. Si a cantidades iguales se suman otras tambin iguales, los totales sern iguales.
3. Si se restan cantidades iguales de otras tambin iguales, los residuos sern iguales.
4. Las cosas que coinciden entre s, son iguales entre s.
5. El todo es mayor que una parte.

PROPOSICIONES

Proposicin 1. Dado un segmento de recta, construir sobre el un tringulo equiltero.

Demostracin

Sea AB un segmento de recta, trcese la circunferencia C1 de


Centro en A y Radio AB. Anlogamente trcese la circunferencia
C2 de centro en B y radio AB. Sea C punto de interseccin de C1 y
C2. AB = AC por ser radios de C1. AB = AC por ser radios de C2.
Entonces AC = AB = BC ABC es equiltero.
Proposicin 2. Colquese a partir de un punto dado (como extremo) una recta igual a otra dada.

Demostracin

Sea AB un segmento de recta y C un punto fuera de l, nase BC y


sobre el constryase un tringulo equiltero BCD. Trcese la
circunferencia C1 de centro en B y trcese la circunferencia C2 de
centro D y radio AD. El radio de C1 ps AB.

AD = GD por ser radios de C2, esto es AB + BD = DC + CG. BD = DC


por ser lados del tringulo equiltero. AB = CG

Proposicin 3. Sean dos segmentos de recta desiguales, construir sobre el mayor segmento; un
segmento igual al menor que fue dado.

Demostracin

Sean AB, CD dos segmentos de recta tales que CD > AB. La


proposicin 2 nos garantiza la construccin del segmento CE = AB.
Trcese la circunferencia C1 de centro en C y radio CE. La cual
intersectara a CD en F ya que CD > AB. CF = CE por ser radios de C1.
Por lo tanto CD > CF y CF = AB donde CF esta sobre CD.

Proposicin 4. Si dos tringulos tienen dos lados de uno iguales respectivamente a dos del otro, y
los ngulos comprendidos por dichas parejas de rectas son iguales, tambin tendrn la base de uno
igual a la del otro, un tringulo ser igual al otro, y los ngulos restantes de uno sern iguales a los
restantes del otro, respectivamente, es decir, que sern iguales los opuestos a lados iguales.

Sean ABC, DEF en donde AB = DE, AC =


DF, BAC = EDF. Si ABC aplica en el DEF,
y si el punto A es puesto sobre el punto D y
el segmento de recta AB sobre DE,
entonces el punto B coincide con E, ya que
AB = DE, AC tambin coincide con DF ya que
BAC = EDF. Por lo tanto el punto C coincide
con el punto F, de donde BC = EF.

Como ambos tringulos son iguales, sus ngulos restantes tambin coinciden.
Proposicin 5. En los tringulos issceles, los tringulos de la base son iguales entres si, y si las rectas
iguales se prolongan, los ngulos que estn bajo la base sern tambin iguales.

Demostracin.

Prolnguese AB y AC hasta D y E respectivamente, sea F un punto sobre BD


sobre constryase AG = AF (por proposicin 3). En los AFC, AGB AF =

por construccin, AC = AB por qu ABC es issceles y < FAC=<GAB ngulo
comn. De donde por teorema 4 AFC y AGB son iguales, de donde
<ACF=<ABG, <AFC=<AGB,
=
.

En los BFC, CGB


=
,
=
lado comn y <BFC=<CGB y por proposicin 4 los BFC
, <CBF=<BCG, <CBG=<BCF.
=
son iguales, de donde

Notar que <ABG=<ACF. Esto es <ABC+<CBG=<ACB+<BCF.

<ABC=<ACB y <CBF><BCG

Proposicin 6. Si en un tringulo dos ngulos son iguales, los lados opuestos a los ngulos iguales
tambin sern iguales.

Demostracin.

Sea ABC en donde <AVC=<ACB. Supongamos que y que
>
.

Sobre AB Constryase =
. En los DBC, ABC =
por
=
construccin, lado comn y <DBC=<ACB. Entonces DBC y ABC son
iguales, pero esto no puede suceder__; ya que el tringulo menor no es igual al
triangulo mayor,
=

Proposicin 7. Dadas dos rectas trazadas sobre otra (a partir de dos extremos) y que se corten en
un punto, no pueden trazarse sobre la misma recta (a partir de sus extremos), y del mismo lado de
ella, otras dos rectas que se corten en otro punto y que sean iguales a las anteriores
respectivamente, es decir, cada una igual a la que pase por el mismo extremo.

Demostracin.

Supongamos que se pueden trazar en los puntos extremos del segmento


y de el mismo lado dos segmentos de recta iguales a otros dos que se corten
en puntos diferentes. Esto es

se cortan en C,

se cortan en
D. Tales que = = . Entonces en ACD =
de donde
<ACD=<ADC y en BCD = de donde <BCD=<BDC. Entonces ACD
> BCD, esto es ADC > BDC. Lo cual no puede suceder y

.
Proposicin 8. Si dos tringulos tienen dos lados del uno iguales respectivamente a otros dos del
otro, y adems tienen sus bases iguales, tendrn tambin iguales los ngulos opuestos a las rectas
iguales.

Demostracin. Caso 1: Sean ABC, DEF. Con ,


= ,
= = .
. , = ; Como
=
=
; B cae sobre E. Sea de tal forma que sea colineal a

= , = es issceles, de donde por
proporcin 5. <EDG=<DGE y por proporcin 4 los tringulos son iguales.
=
Caso 2: El ABC aplica al DEF. Colquese A sobre D, como ; B

cae sobre E. Sea = de tal forma que al unir se intersecte con
dentro de dicho segmento y
=
. DFG es isoceles puesto que
,
=
entonces < DFG=<DGF (*)

= , entonces <EFG=<EGF (**).
Sumando (*) y (**) <DFG=<DGE y por teorema 4, los tringulos son iguales.

Caso 3: EL ABC aplica al DEF. Colquese a sobre D, como =


; B

cae sobre E. Sea = de tal forma que al unir se intersecte con
ms all de dicho segmento y
=
. El DFG es issceles puesto
, entonces <DFG=<DGF (*) y el EFG es issceles puesto que
=
que =
, entonces
<EFG=EGF (**), restando (*), (**) obtenemos que < DFE=<DGE y por proposicin 4 los tringulos son
iguales.

Proposicin 9. Bisectar un ngulo dado.

Demostracin.

Sea <DAE un ngulo cualquiera, sea B un punto Cualquiera en


unos de los del ngulo, constryase sobre el otro lado un
segmento
=
, nase B y C para formar , constryase

un tringulo equiltero en BC BCF. Entonces es la bisectriz
del ngulo, porque en ACF =
por construccin;
=

por construccin; = ya que BCD es ngulo. Porque
=
en ABF, ACF = por construccin; ya que BCF es equiltero y
=
lado
comn. Y por proposicin 8 los ABF, ACF son iguales.

<BAF=<CAF.

Proposicin 10. Bisectar un segmento de recta dado.

Demostracin.

Sea
un segmento de recta dado, sobre este constryase un tringulo
equiltero como ABC, bisectese el Angulo ACB, sea dicha bisectriz. Digo
es la bisectriz del segmento
que , porque en el ACD, BCD;
=


ya que es eqilatero, = por ser lado comn y <ACD=<BCD ay que
es la bisectriz de <ACB y por proposicin 4 los ACD y BCD son iguales, de donde
=
.

Proposicin 11. Trace una recta perpendicular a otra dada desde un punto de esta.

Demostracin.

Sea AB una recta dada y C un punto de ella, sea D un punto de


;

Trace = sobre y constryase sobre un tringulo
. Digo que
equiltero como el FDE; unase forma ngulos

rectos con la recta .

Porque FDC, FEC, ,


= =


= 8 , . <
=< ; .
Proposicin 12. Trcese una recta perpendicular a otra infinita dada, desde un punto que no est
sobre esta ltima.

Demostracin.

Sea AB una recta dad y C un punto fuera de ella, tmese un punto D


en lado apuesto de C a la recta dad, trcese la circunferencia G de
radio
y centro en C, como la circunferencia EDF, sean E, F los
puntos de interseccin de C, y . nase ,
y bicsectese
,
sea dicha bisectriz. Digo que
es perpendicular a ya que
CEG CEG son iguales: porque = por ser radios de C1,
=

lado comn y = ya que es la bisectriz de FE. De
donde <CGE=<CGF y como son adjuntos, entonces son rectos, .

Proposicin 13. Si se traza una recta sobre otra, formando ngulo, formara dos ngulos rectos o bien
ngulos cuya suma sea igual a dos ngulos rectos.

Demostracin.

Sea AB y CD dos rectas que forman entre si dos ngulos <BCD y <ACD.
SI <DCB=<ACD por ser adjuntos son rectos y hay nada que probar.
Supongamos que <DCB <ACD. Sea C el punto de interseccin de
AB y DC. Por proposicin 11 sea EC una recta que pasa por C y que
forma dos ngulos rectos. Esto es <ACE+<BCE=180o.

Notar que <BCE=<BCD+<DCE=90o.

<ACD=<ACE+<DCE de donde <BCD+<ACD=<BCD+<ACE+<DCE= [<BCD+<DCE] +


o
<ACE=<BCE+<ACE=180 .
Proposicin 14. Si con una recta cualquiera, y pasando por un punto sobre ella, dos rectas que no
est al mismo lado de la primera, forman ngulos adyacentes cuya suma sea igual a dos rectas, las
dos rectas sern una continuacin de la otra construyendo una sola recta.

Demostracin.
un segmento de recta dado. Por B trcese el segmento
Sea y el
segmento ; de tal forma que <ABC+<ABD=180, entonces por probar que

estn en lnea recta.

Supongamos que no est en lnea recta a CB, sea


en lnea recta con
. Entonces por teorema 13 la recta CBE y AB forman dos ngulos, de donde

dichos ngulos suman 180. Esto es <ABC+<EBA=180 y por hiptesis <ABC+<ABD=180 entonces
<ABC+<EBA=<ABC+<ABD, entonces <EBA=<ABD lo cual no puede suceder.
Estn en
lnea recta.

Proposicin 15. Si dos rectas se cortan, forman ngulos opuestos por el vrtice iguales entre s.

Demostracin.

Sea AB y CD dos rectas, en donde E es el punto de interseccin de estas


rectas. Por mostrar que <CEB=<AED y <CEA=<DEB.

Por teoremas 13 CD y AE forman dos ngulos, de donde la suma de estos


es 180.

<AED+<BED=180, <CEB+<CEA=180. Entonces <CEA+<AED=<CEB+<CEA y <CEB+<BED=<CEB+<CEA.


<AED=<CEB y <BED=<CEA.

Proposicin 16. En un tringulo, si se prolonga uno de los lados, el ngulo exterior es mayor que
cualquiera del interior y que el opuesto.

Demostracin.

Sea ABC un tringulo cualquiera y prolnguese algn lado como BC hasta


D. Por Probar que < < .

Sea AC bisectada en F. nase



, .

En los =
, . =
, < =<
. 4. < =< . < <
. >

Proposicin 17. En un tringulo dado la suma de dos ngulos cuales quiera es menor que dos rectas.

Demostracin.
prolnguese hasta D, como
Sea ABC un tringulo, el lado . El <DBA exterior;
de donde por proposicin 16 se tiene que > >
. + > + . 180 > +
+ > +. 180 > +
Proposicin 18. En un tringulo, el lado mayor se opone al ngulo mayor.

Demostracin.
el mayor lado del tringulo, por
Sea ABC un tringulo cualquiera y se
probar que <ACB es el mayor de los ngulos interiores del tringulo.
constryase
Sobre =
. Donde el ADC es issceles y por ende
<ACD=<ADC.

El <ADC es exterior al BCD, de donde por proposicin 16 > < =<


. > . > . >
.
Proposicin 19. EN un tringulo, el tringulo mayor es opuesto al lado mayor.

Demostracin.

Supongamos que en el ABC el <BAC es mayor que los dems ngulos internos.
es mayor que los restantes lados del tringulo.
Por probar que

(*) Supongamos que


=
. Entonces <CBA=<BAC. Esto no puede suceder
puesto que <BAC es mayor que los dems ngulos internos (por hiptesis).

(**) Supongamos que <


, entonces por proposicin 18 > .
Esto no puede suceder puesto que <BAC es mayor que los ngulos internos por lo tanto
es mayor
que los dems lados del tringulo.

Proposicin 20. En un tringulo, la suma de dos lados cualesquiera es mayor el otro lado.

Demostracin.

Sea ABC un tringulo cualquiera, sobre


prolongar hasta D, como

de tal forma que =


. . . De donde por proporcin 5
<CAD=<CDA. Entonces > 19 >
. [ ]
+
>
;
+

> . > < + .

Proposicin 21. Si sobre uno de os lados de un tringulo, y a partir de sus extremos, se trazan dos
rectas que se corten dentro del tringulo, la suma de las rectas ser menor que la suma de los dos
lados restantes del tringulo, pero el ngulo que comprenden ser mayor.

Demostracin.

Sea ABC un tringulo cualquiera desde el vrtice A trcese


y desde el

vrtice trcese ; sea D el punto de interseccin de . Por probar
+
que > +
> .

En el , >
+ por proposicin 20. Entonces se tiene que

+ > + ()
+
En el DEC >
por proposicin 20. Entonces se tiene que
+
>
+
(
).
+
Entonces por (*) y (**) >
+
. > Por ser exterior al DEC
Anlogamente > por ser exterior al ABE por lo tanto > .

Proposicin 22. Con tres rectas, que sean iguales a tres rectas dadas, constryase un tringulo, por
lo tanto, es necesario que la suma de dos cualesquiera de ellas sea mayor que la restante.

Demostracin.
,
Sean ,
tres segmentos de recta. En donde la suma
de dos de ellos es mayor que el tercero. Es necesario construir
un tringulo cuyos lados son iguales respectivamente a los
segmentos dados.

Sea GK una recta; sobre ella constryase


=
,
=

.
constryase el circulo GLM,
Ahora con centro en H y radio

con centro en I y radio en Constryase el circulo LJM, Sea
LJM la interseccin de dichos crculos. nase . Entonces LHI ser el tringulo pedido por
y
=
= =
, , =
= .

Proposicin 23. Sobre una recta dada y con vrtice en un punto de ella, constryase un ngulo
rectilneo igual a otro dado.

Demostracin.

Sea
un segmento de recta dado, tmese F y sea <BAC un
ngulo dado. Es necesario construir en F un ngulo igual a <BAC.

En <BAC; nase
, y se obtiene el ABC.

Por teorema 22 se puede construir un tringulo cuyos lados seas


iguales a los segmentos ,
,
. De donde en el ABC, FGI.
Se tiene que = =
, ,
=
que por proposicin
8 los tringulos son iguales. Por lo tanto <BAC=<IFG.

Proposicin 24. Si dos tringulos tienen dos lados de uno iguales, respectivamente a dos del otro,
pero uno de los ngulos comprendidos por una de las parejas de lados es mayor que el de la otra,
tambin tendr la base mayor de la pareja de mayor ngulo.

Demostracin.

Sea los ABC, DEF, ,


= =
, > . Por probar

que > .

Por proposicin 23 en D y sobre


constryase <BAC=<GDF y hgase

= . nase . De donde ABC, ADGF son iguales, entonces el

=
.
En el DGE
=
que por proposicin 5 <DGE=<DEG.

Entonces < . En FGE que por proposicin 19 , pero


> =
. Por lo tanto
>
.

Proposicin 25. Si dos tringulos tienen dos lados de uno iguales, respectivamente, a dos del otro,
pero la base del primero es mayor que la del segundo, el ngulo de la primera pareja de rectas ser
mayor que el de la segunda.

Demostracin.

Sea ABC y DEF tales que = =


, =
.
Entonces es necesario probar que el > .

(*) Supongamos que <BAC=>EDF, como


= =
por

proposicin 4 el ABC e igual a DEF de donde = lo cual no
puede suceder.

(**) Supongamos que < y como ,


= 24
= <

. Lo cual no puede suceder, por lo tanto > .

Proposicin 26. Si dos tringulos tienen dos ngulos de uno iguales, respectivamente, a dos del otro,
y un lado igual a otro, es decir, iguales cualquiera de los lados, de uno y otro, adyacentes a los
mismos ngulos iguales, o sea, los opuestos en ambos uno de los ngulos iguales, tambin tendrn
los lados restantes del uno iguales a los lados restantes del otro y el ngulo restante igual al ngulo
restante.

Demostracin.

(*) Sean ABC, DEF tales que <CAB=<FDE, <CBA=<FED,



=
. Por probar que los tringulos son iguales. Esto es
=
, etc.

Supongamos que
, entonces algunos de los dos es
mayor; supongamos sin prdida de generalidad que >
. Entonces construyamos sobre
un segmento =
y nase . De donde
, = =
, , < = . Entonces por proposicin 4 son iguales y por
ende <GBA=<FED. Pero <FED=CBA, entonces <CBA=<GBA. Lo cual no puede suceder. Por lo tanto

= y como AB=DE, <CAB=<FDE, entonces CB=FE, <ACB=<DFE.

(**) Sean ABC, DEF tales que AC=DF, <CAB=<FDE, <CBA=<FED. Por probar que los tringulos son
iguales.

Supongamos que ABDE; entonces alguno de los dos es mayor. Supongamos sin prdida de
generalidad que AB>DE. Entonces sobre AB constryase AH=DE y nase CH. En el ACH, DFE
AC=DF, <CAH=<FDE y AH=DE que por teorema 4 son iguales, entonces <CHA=<FED; Pero
<FED=<CBA. Entonces <CHA=<CBA y <CHA es exterior al CHB y <CHA=<CBA. Lo cual no puede
suceder. Entonces AB=DE y por (*) los tringulos son congruentes.
Proposicin 27. Si una recta que atraviesa a otras dos forma con estos ngulos alternos iguales, las
dos rectas sern paralelas.

Sean AB y CD dos rectas cortadas por la recta EF, y sea F y E


el punto de interseccin de estas, tales que el <AEF=<DFE.
Por probar que AB es paralela a CD. Supongamos que AB no
es paralela a CD, y que al prolongarse ambas se cortan en el
punto G. Entonces E, F, G no colineales forman el triangulo
EFG. Para el cual el <AEF es exterior y adems igual a uno interior no adyacente al <DFE, lo cual no
puede suceder en virtud del teorema 16. Por lo tanto AB y CD son paralelas.

Proposicin 28. Si una recta que atraviesa a otras dos forma con una de estas un Angulo externo
igual al interno, con la otra, del mismo lado de la transversal, o si los ngulos internos del mismo
lado de esta son iguales a dos rectos, las dos rectas sern paralelas.

(*)Sea AB, CD dos rectas cortadas por EF y sea G el punto de


interseccin de la recta AB y EF, H el punto de interseccin de las
rectas CD y EF, y sea <EGB=<GHD. Por probar que AB y CD son
paralelas. <AGH=<GHD. Esto es los ngulos alternos internos son
iguales y por la proposicin 27 AB y CD son paralelas.

(**) Supngase que <BGH+<GHD=180 y <AGH+<BGH=180. Entonces se tiene que


<BGH+<GHD=<AGH+<BGH, de donde <GHD=<AGH. Esto es los ngulos alternos internos son iguales
y por ende AB y CD son paralelas.

Proposicin 29. Una recta que atraviesa a otras dos paralelas forma con estos ngulos alternos
iguales, un ngulo externo igual al interno no adyacente del mismo lado de la transversal y los
ngulos internos del mismo lado de esta son suplementarios.

Sean AB, CD, dos rectas paralelas cortadas por la secante EF. Sea G
el punto de interseccin de Ab y EF; H el punto de interseccin de
CD y EF. Por demostrar que <AGH=<GHD y < BGH+<GHD=180
supongamos que <AGH<GHD y supongamos sin prdida de
generalidad que AGH>GHD. Entonces AGH+BGH >
GHD+BGH, pero por proposicin 13 AGH+BGH=180,
esto es 180>GHD+BGH. Y por el postulado al prolongar las
rectas AB, CD se cortan, esto no puede suceder ya que dichas rectas son paralelas. De donde
AGH=GHD. Entonces AGH+BGH=GHD+BGH, esto es 180=GHD+BGH.

Proposicin 30. Las rectas paralelas a la misma recta son tambin paralelas entre si.

Sea AB paralela a EF, CD paralela a EF. Entonces por demostrar que


AB es paralela a CD.

Si AB es paralela a EF; entonces <AGI=<GIF. Si CD es paralela a EF;


entonces <CHI=<GIF. Entonces <AGI=<CHI, pero <CHI=<GHD por ser
opuestos por el vrtice. Entonces <AGI=<GHD, esto es los ngulos
alternos internos son iguales y por proposicin 27 AB es paralela a CD.

Proposicin 31. Trazar por un punto una recta paralela a otra dad.

Sea AB una recta dada y C un punto fuera de ella; tmese sobre AB


un punto D y nase C, como CD.

En C constryase una ngulo igual a <CDB como <ECD, esto es


<ECD=<CDB (por proposicin 23). Prolnguese EC hasta F; como EF.
Notar que la recta CD corta a EF, AB formando ngulo alternos internos iguales y por teorema 27,
EF es paralela AB.

Proposicin 32. En un tringulo, si se prolonga uno de los lados, el ngulo externo formado es igual
a la suma de los dos internos no adyacentes, y los tres ngulos internos del tringulo suman dos
rectos.

Sea ABC un tringulo y <ACE un ngulo exterior, entonces es


necesario probar que <ACE=<CBA+<CAB y <BAC+<ABC+<ACB=180
por el punto C, trcese una paralela a AB (por proposicin 31) como
CD, entonces <BC = <CD. (Por proposicin 29). Anlogamente
como AB es paralela a CD y cortada por la recta BC, <DCE=<ABC.
Entonces <BAC+<ABC=<ACD+<DCE, esto es
<BAC+<ABC+<ACB=180 (por proposicin 13).

Proposicin 33. Las rectas que unen en la misma direccin los extremos de rectas iguales y paralelas
son paralelas e iguales.

Sean AB, CD dos segmentos de recta iguales y paralelos. nase AC y BD,


entonces AC y BD son iguales y paralelos; ya que.

nase AD, como AB y CD son paralelos y cortados por AD <BAD=<CDB.


Entonces ABD, ACD se tiene que AB = CD, AD = AD y <BAD=<CDB
entonces AC=BD, de donde <CAD=<BDA. Esto es AC y BD forman
ngulos alternos internos iguales cortadas por la recta AD. Por lo tanto AC y BD son iguales y
paralelas.

Proposicin 34. En reas paralelogramicas (o sea, encerradas en paralelogramos), los lados y los
ngulos opuestos son iguales entre si y el dimetro, o diagonal, bisecta las reas.

Sea ABCD un paralelogramo y AD una de sus diagonales, entonces es


necesario probar que AB=CD, AC=BD, <BAC=<BDC y <ACD=<ABD.

Como ABCD es un paralelogramo AB y CD son paralelas cortadas por la


recta AD, entonces <BAD=<ADC por proposicin 29. Anlogamente AC
y BD son paralelas cortadas por la recta AD; entonces <CAD=<BDA y AD=AD por ser lado comn de
ABD, ACD; de donde por proposicin 26 los tringulos son iguales y por ende AB=CD, AC=BD y
AD divide en dos partes iguales al cuadriltero ABCD y como <BAD=<ADC y <CAD=<BDA. Entonces
<BAD+<CAD=<ADC+<BDA. Esto es <BAC=<BDC. Y como ABD y ACD son iguales se tiene que
<ACD=<ABD.

Proposicin 35. Los paralelogramos que estn sobre la misma base y entre las mismas paralelas son
iguales.

Sean ABCD y CDEF dos paralelogramos con una base


comn CD, y las bases AB, EF sobre una misma paralela.
Por probar que los paralelogramos ABCD y CDEF tienen
la misma rea.

Como ABCD es un paralelogramo, AB=CD y como CDEF


es un paralelogramo CD=EF. Entonces AB+BE=CD+BE=EF+BE. Esto es AE=BF, AC=BD y CE=DF por
ser paralelogramos ABCD y CDEF y por teorema 8 los ABD y BFD son iguales. Restando DGE a
ambos tringulos, se tiene que el rea del trapezoide ACGB es igual al del trapezoide CDFE, que
sumndole a ambos trapezoides de rea del CGD obtenemos que los paralelogramos ABCD y CEDF
tienen la misma rea.

Proposicin 36. Los paralelogramos que estn sobre bases iguales y entre las mismas paralelas son
iguales.

Sean ABCD y EFGH dos paralelogramos cuyas


bases son CD, GH, AB, EF y estn sobre las
paralelas CH y AF respectivamente; adems
CD=GH, de donde por proposicin 34 AB=EF.
nase CE y DF, entonces el paralelogramo ABCD
y EFGH tienen la misma rea, puesto que por
proposicin 35 tienen la misma base CD y sus bases estn sobre las mismas paralelas. Anlogamente
el paralelogramo CEDF tiene la misma rea que el paralelogramo EFGH, puesto que tienen una base
comn EF y sus bases estn sobre las mismas paralelas (proposicin 35). Por lo tanto el rea del
paralelogramo ABCD es igual al rea del paralelogramo EFGH.

Proposicin 37. Los tringulos que estn sobre la misma base y entre las mismas paralelas son
iguales.

Sean ABC, DBC tringulos con la misma base BC y sobre las mismas paralelas; AD y BC trcese EB
paralela a AC y FC paralela a BD.

Entonces por teorema 35 el rea del paralelogramo EABC es


igual al rea del paralelogramo DFBC. BA es una diagonal del
paralelogramo EABC y por teorema 34 divide en dos partes
iguales al rea. Anlogamente DC diagonal del paralelogramo
DFBC y por teorema 34 lo divide en dos partes iguales. Esto es
rea EAB + rea ABC = rea DBC + rea DCF.

De donde 2 rea ABC= 2 area DBC. Por lo tanto rea ABC


= rea DBC

Proposicin 38. Los tringulos que estn sobre bases iguales y entre las mismas paralelas son
iguales.

Sean ABC y DEF dos tringulos sobre las mismas paralelas AH, BF y con bases iguales BC=EF.

Trcese una paralela a AB como GC y una paralela


a DE como HF. Entonces por teorema 36 los
paralelogramos AGBC y DEFH tienen las mismas
reas. Notar que AC es una diagonal del
paralelogramo AGBC y por teorema 34 divide a su
rea en dos partes iguales; anlogamente DF es
una diagonal del paralelogramo DEFH y por
teorema 34 divide a su rea en dos partes iguales.
Por lo tanto los ABC, DEF tienen la misma rea.

Proposicin 39. Los tringulos iguales que estn sobre la misma base y al mismo lado de ella tambin
estn entre las mismas paralelas.

Sean ABC y DBC dos tringulos con reas iguales y con la misma
base BC. Por probar que estn sobre las mismas paralelas, esto
es AD y BC son paralelas.

Supngase que AD y BC no son paralelas, entonces por teorema


31 trcese una paralela a BC como AE y nase EC. Entonces por
teorema 37 los tringulos ABC y EBC tienen la misma rea y por
hiptesis ABC y DBC tienen la misma rea. Esto es los tringulos
EBC y DBC tienen la misma rea. Esto no puede suceder, por lo
tanto AD es paralela a BC.

Proposicin 40. Los tringulos iguales que estn sobre bases iguales y al mismo lado de ellas estn
tambin entre las mismas paralelas.

Sean ABC y DCE dos tringulos con reas iguales; y con


bases iguales BC=CE del mismo lado BE. Por probar que
estn sobre las mismas rectas paralelas AD y BE.

Supngase que AD y BE no son paralelas, entonces por


teorema 31, trcese AF paralela a BE y nase FE.
Entonces por teorema 38 los tringulos ABC, FCE tienen
la misma rea; pero por hiptesis los tringulos ABC,
DCE tienen la misma rea. Esto es los tringulos FCE,
DCE tienen la misma rea, lo cual no puede suceder. Por lo tanto AD es paralela a BE.
LIBRO III

DEFINICIONES

1. Cualquier paralelogramo rectangular dice estar contenido por dos lneas rectas contenidas

en un ngulo recto.

2. Y si cualquier rea de una paralelogramo deja que algo o cualquier cosa de los

paralelogramos sobre su dimetro por dos complementos que son llamados gnomon.

PROPOSICIONES

Proposicin 1. Sean dos segmentos de recta dados en donde uno de ellos es dividido en segmentos
de recta ms pequeos, entonces el rectngulo formado por los dos segmentos de recta es igual a
la suma de los rectngulos formados por cada uno de los segmentos de recta en que fue dividido un
segmento dado y el que no fue dividido.

Sea AB y CD dos segmentos de recta dados y sea CD


dividido en los puntos E y F. Entonces es necesario probar
que el rectngulo formado por CD y AB es igual a la suma
de los rectngulos formados por CE, EF, FD y AB.

Trcese en C, CG de tal forma que forme con CD ngulo


recto (teorema I 11). Sobre CG sea AB=CH (teorema I 3).
Trcese HK paralela a CD y que pase por H (Teorema I 31)
y trcese EI, FJ, DK paralela CH que pasen por E, F y D
respectivamente (teorema I 31). Entonces el rectngulo
CDKH es igual a la suma de los rectngulos CEIH, EFJI, FDKJ.

El rectngulo CDKH est formado por CD y CH, pero CH=AB. El rectngulo CEIH est formado por
CE Y CH, CH=AB. El rectngulo EFJI est formado por EF y EI, pero EI=CH=AB (por teorema I, 34) y
el rectngulo FDKJ est formado por FD y EJ=EI=CH=AB (teorema 34).

Nota. Esta proposicin se establece algebraicamente como (X1+X2++) Y=X1Y+X2Y+



Proposicin 2. Si un segmento de recta es dividido en dos partes,
entonces la suma de los rectngulos formados por cada una de las partes
del segmento dividido y este es igual al cuadrado formado por el
segmento de recta dado.

Sea AB un segmento de recta y sea E un punto de AB. Sobre AB


constryase un cuadrado (Teorema I 46), como ABCD. Trcese EF
paralela a AD y que pase por E, entonces el cuadrado ABCD es igual a la
suma de los rectngulos AEFD y EBCF.
El rectngulo AEFD est formado por AE y AD, pero AD=AB. El rectngulo EBCF est formado por
EB y EF, pero EF=AD=AB. (Teorema I, 34).

Nota: esta proposicin se establece algebraicamente como a(a+b)+ b(a+b)= (a+b)2



Proposicin 3. Si un segmento de recta es dividido en dos partes, entonces el rectngulo formado
por el segmento de recta y uno de los segmentos en que fue dividido este es igual a la suma del
rectngulo formado por los segmentos en que fue dividido el segmento dado y el cuadrado formado
por el segmento de divisin tomado para formar el primer rectngulo.

Sea AB un segmento de recta dado y C un punto de


AB, sobre AC constryase un cuadrado como ACED.
Constryase BF paralelo a AD y que pase por B,
prolnguese DE hasta F como DF. Entonces el
rectngulo ABFD es igual a la suma del cuadrado
ACED y el rectngulo CBFE.

El rectngulo ABFD est formado por AB y AD, pero AD=AC. El cuadrado ACED est formado por
AC. El rectngulo CBFE est formado por CB y CE, pero CE=AD=AC (Teorema I 34).

Nota: esta proposicin se establece algebraicamente como a(a+b)=a2+ab.



Proposicin 4. Si un segmento de recta se divide en dos partes, entonces el cuadrado formado por
el segmento dado es igual a la suma de los cuadrados formados por los segmentos en los cuales se
divide el segmento dado y los rectngulos formados por dichos segmentos.

Sea AB un segmento de recta y F un punto de AB. Constryase


sobre AB un cuadrado como ABCD (Teorema I 46), trcese FH
paralela a AD y que pase por F (Teorema I 31). <DIH=<EDI puesto
que AD es paralela a FH (Teorema I 29), <DIH=<FIB opuestos por
el vrtice (Teorema I 15), <FIB=<FBI puesto que AB es paralela a
EG (Teorema I29). Entonces FBI es issceles, esto es FI=FB
(teorema I 6); entonces FB=IG, FI=BG (teorema I 34). De donde
FBGI tiene todos sus lados iguales. <IFB+<GBF=180 (teorema I
29), pero <CBA=90; entonces <IFB=90, entonces
<FIG=<BGI=90 (teorema I 34). Entonces FBGI es un cuadrado;
anlogamente EIHD es un cuadrado formado por FB y AF respectivamente.

El rectngulo AFIE est formado por AF, FI; pero FI=FB. El rectngulo IGCH est formado por IH,
IG; pero IH=IE=AF; IG=FB. De donde dichos rectngulos son iguales, y por ende el cuadrado ABCD
es igual a la suma de los cuadrados formados por FB, AF y los rectngulos formados por AF y FB.

Nota: esta proposicin se establece geomtricamente como (a+b)2=a2+b2+2ab



Proposicin 5. Si una lnea recta es dividida igual y desigualmente, el rectngulo contenido por las
partes iguales, junto con el cuadrado sobre la lnea entre los puntos de seccin, es igual al cuadrado
sobre la mitad de la lnea.
Sea AB un segmento de recta dado y sea C punto medio de
AB y D un punto de CB, entonces por probar que
(AD)(DB)+(CD)2=(CB)2.

Entonces (AD)(DB)+(CD)2=(ACFE)+(CDGF)+(FGJI)

=(CBHF)+(CDGF)+(FGJI)

=(CBHF)+(GHKJ)+(FGJI) (teorema I 43)

=(CB)2

Nota: Esta proposicin se establece algebraicamente como (a+b)(a-b)+b2=a2



Proposicin 6. Si una lnea recta es bisectada y genera un punto cualquiera, el rectngulo contenido
por la lnea completa as generada y la parte de ella generada, junto con el cuadrado sobre la mitad
de la lnea bisectada, es igual al cuadrado sobre la lnea recta hecha de la mitad y la parte generada.

Sea AB un segmento de recta y sea C punto medio de AB;


prolnguese AB hasta D. Entonces por probar que
(AD)(BD)+(CB)2=(CD)2

Entonces (AD)(DB)+(CB)2=(ACFE)+(CBGF)+(BDHG)+ (FGJI)

=(CBGF)+(BDHG)+(FGJI)+(GHKJ)

=(CD)2

Puesto que ACFE=GHKJ, ya que AC=CB=FG=GJ. Entonces AC=GJ.

Como BD=DH=BG=CF=GH, entonces CF=GH.

Nota: esta proposicin se establece algebraicamente como (2 a+b) b+a2=(a+b)2.



Proposicin 7. Si una lnea es dividida en dos partes; entonces la suma de los cuadrados formados
por la lnea recta dad y uno de los segmentos de divisin es igual a la suma de los rectngulos
formados por la lnea recta dada y el segmento de divisin tomado para formar el segundo cuadrado
ms el cuadrado formado por el segmento de divisin restante.

Sea AB un segmento de recta dado y C un punto en AB.


Construyase sobre AB un cuadrado como ABIG; y sobre CB un
cuadrado como CBFE (teorema I 46). , tracese DF paralela a GI y
CH paralela AG y que pasen por E (teorema I 31), y por teorema I
43 ACED es igual a EFIH (*).

Por probar que (AB)2+(CB)2=2(AB)(CB)+(AC)2.

Entonces 2(AB)(CB)+(AC)2=(AB)(CB)+ (AB)(CB)+(AC)2

=(ABFD)+(ABFD)+(DEHG)

=(ACED)+(CBFE)+(ACED)+(CBFE)+(DEHG)
=(ACED)+(CBFE)+(EFIH)+(DEHG)+(CBFE) Por (*)

=(ABIG)+(CBFE)

=(AB)2+(CB)2

Nota: esta proposicin se establece algebraicamente como (a+b)2+a2=2(a+b)a+b2.

Proposicin 8. Si un segmento de recta es cortado aleatoriamente cuatro veces el rectngulo


contenido por el segmento de recta y uno de los segmentos junto con el cuadrado del segmento
restante es igual al cuadrado descrito por el segmento de recta y el segmento restante es igual al
cuadrado descrito por el segmento de recta y el segmento ya dicho (el primer segmento de recta)
como un solo segmento.

Sea AB un segmento de recta y C un punto sobre AB.


Constryase sobre CB un cuadrado como CBFE y sobre EF un
cuadrado como EFJI, y sobre FJ un cuadrado como FGKJ
(teorema I 46). Trcese DF, HJ paralelas a AB y que pasen por
E, I respectivamente y trcese AD y DH paralelas a CE, EI
respectivamente y que pasen por D, H (teorema I 31 ).
Constryase sobre HI un cuadrado como HIML (Teorema I
46). Trcese JN, KD paralelas a IM y que pasen por J, K
respectivamente (Teorema I 31) y constryase sobre FG un
cuadrado como FGDB (Teorema I 46). Por probar que
4(AB)(CB)+(AC)2=(AB+BC)2.

Entonces 4(AB)(CB)+(AC)2=(ACED)+(CBFE)+(DEIH)+(EFJI)+(EFJI)+(IJNM)+(FGKJ)+(JKON)+(HILM)

=(ACED)+(CBFE)+(DEIH)+(EFJI)+(EFJI)+(IJNM)+(FGKJ)+(JKON)+(HILM)+(BPGF)

=(APOL)= (AB+BC)2. Ya que EFJI=BFGP.

Nota: esta proposicin se establece algebraicamente como 4(a+b)b+a2={[a+b]+b2.

Proposicin 9. Si un segmento de recta es cortado igual y desigualmente en segmentos como AB en


C y D. Entonces la suma de los cuadrados formados por AD y DB es el doble de los cuadrados
formados por la suma de los cuadrados AC, CD.

Sea AB un segmento de la recta dado y C punto medio de AB


(teorema I 10), sea EC = AC y que forme angulo recto con AC
y pase por C (teorema I 11). Unase AE, EB.

Trcese FD paralela de EC y que pase por D (Teorema I 31),


tracese FG paralela CB y que pase por G (Teorema I 31). Unase
AF. Por probar que (AD)2+ (DB)2=2(AC2+CD2).

Entonces ACE, AC = EC; de donde < EAC = < CEA (teorema I 6). BCE, CB = CE; de donde <BEC =
<CBE. Entonces en ACE AE2 = AC2+EC2, en BCE se tiene que EB2 = EC2 + BC2 (Teorema I 47).
Pero como AC = EC, entonces AE2 = 2AC2 (*) y como BC = EC; entonces EB2= 2BC2. En EGF
<GFE=<CBE puesto que GF es paralela a CB (teorema I 29), entonces <GFE=<BC, de donde EG =GF
(teorema I 5). Entonces EF2=EG2+GF2, esto es EF2=GF2, de donde EF2=CD2 (**) ya que GF=CD
(teorema I34).

En AFD <ADF=90 y por teorema I47 AF2=AD2+FD2(***). Entonces por (*) y (**)
2(AC2+CD2)=AE2 + EF2, pero como el AEF es rectngulo entonces AF2 = AE2 + EF2, de donde
2(AC2+CD2)= AF2 y por (***) 2(AC2+CD2)=AD2+FD2. Por lo tanto 2(AC2+CD2)=AD2+DB2 ya que
FD=DB por que <CEB=<CBE=<GFE y <GFE<CEB=<DFB+CBE, entonces <GFE=<DFB.
Esto es <DFB=DBF.
+ 2
Nota: La proposicin precedente se expresa algebraicamente como a2+b2=2{[ ] +
2
+ 2
[ 2
] }

Proposicin 10. Si un segmento de recta es bisectado y prolongado, entonces la suma de los


cuadrados construidos sobre el segmento de recta ms su prolongacin y el segmento de recta
prolongado; es el doble de la suma de los cuadrados construidos sobre una de las bisecciones del
segmento y el restante segmento de recta ms su prolongacin.

Por probar que AD2+BD2=2{AC2 + CD2}. Sea


DE perpendicular a DB y DE=DB. Entonces el
BDE es issceles, esto es <DBE=<DEB y
BE2=DB2+FD2(*). Sea FC perpendicular a AB y
FC=AC=CB. Entonces AFC, BFC issceles e
iguales.

Entonces <FAC = <FBC y AF2=AC2+FC2, esto


es AF2=2AC2, FB2=CB2+FC2, de donde
FB2=2CB2. Como AFC, BFC son issceles,
entonces <AFC=45=<CFB. Esto es <AFE=90,
de donde el AFE es rectngulo y AE2=AF2+FE2 (***). Anlogamente el ADE es rectngulo
y AE2= AD2+DE2(**), de (***) y (**)AF2+FE2 = AD2+DE2; pero DE=DB, entonces
AD2+DB2=AF2+FE2 de (**)AF2=2AC2, entonces AD2+DB2=AF2+FE2 de (**)AF2+2AC2,
entonces AD2+DB2=2AC2+FE2(v).

Sea GE perpendicular a BD y FG paralelo de CD con FG=CD. El FGE es rectngulo, de donde


FE2 =FG2+GE2; pero FG=CD. Entonces FE2=CD2+GE2. Y como FG es paralela CD cortada por
FE<GFE=<CBF, <CBF=<DBG por ser opuestos por el vrtice. Pero <DBE=<DEB porque
BDE es issceles, entonces <GFE=<GEF, esto es FGE es issceles y FE2=2CD2. Sustituyendo
esto en (v) obtenemos que AD2+DB2=2{AC2 + CD2}.

Nota: esta proposicin se establece algebraicamente como (2a+b)2+b2=2{a2+(a+b)2.


Proposicin 11. Si un segmento de recta es cortado, entonces el rectngulo contenido por todo
el segmento y uno de los segmentos de divisin es igual al cuadrado del restante segmento de
divisin.

Sea AB un segmento de recta, constryase sobre este un


cuadrado como ABGH. Bisctese AH, esto es I es punto medio
de AH, nase IB.

Constryase sobre AH y en I un segmento DI=IB, constryase


sobre DA un cuadrado como DECA, prolnguese EC como EF,
entonces por probar que AC2= (AB) (CB).

Por Teorema II 6 (HD)(AC)+ (AI)2, como ID=IB; entonces


(HD)(AC)+ (AI)2= (IB)2, pero IB2= AI2+AB2, entonces
(HD)(AC)+ (AI)2= (AB)2 + (AI)2, de donde (HD)(AC)= AB2
esto es HDEF es igual a ABGH, entonces HACF + ADEC =
HACF+FCBG, entonces ADEC=FCBG. Por lo tanto AC2= (CB).
(AB)
Proposicin 12. En un tringulo obtuso el cuadrado del lado opuesto al ngulo obtuso es mayor
que la suma de los cuadrados formados por los lados que contienen al ngulo obtuso por el
doble del rectngulo contenido por uno de los lados cerca del ngulo obtuso.

Sea ABC un tringulo obtuso y <ABC obtuso. Tracese AD


perpendicular a BC y que pase por A. Entonces ADB por
ser rectngulo AB2=AD2+DC2, pero DC2=
DB2+BC2+2DB. BC (Teorema II 4). Entonces
AC =AB +DB +2DB. BC, esto es AC =AB +BC +2DB. BC.
2 2 2 2 2 2

Entonces AC2>AB2+BC2 por 2DB. BC.


Proposicin 13. Es un tringulo acutngulo el cuadrado del lado opuesto a un ngulo agudo es
menor que la suma de los cuadrados de los lados que contienen el ngulo agudo por el doble
del rectngulo contenido por uno de los lados del ngulo agudo.

Sea ABC un tringulo acutngulo y <ACB un ngulo agudo; por probar


que AB2<AC2+BC2 y AC2+BC2=AB2+2BC. DC.

Entonces por teorema II. 2BC. DC+BD2=BC2+DC2, entonces


2BC. DC+AD2+BD2=BC2+DC2+AD2, de donde 2BC. DC+AB2=BC2+AC2
por lo tanto BC2+AC2>AB2.

Proposicin 14. Construir un cuadrado igual en rea a la de una figura dada (cuadriltero).
Sea el paralelogramo EFGH igual en rea el
cuadriltero ABCD (Teorema I45). Prolnguese
EF hasta I; como EI tales que FI=FG, Bisctese EI,
esto es J punto medio de EI. Por teorema II 5 se
tiene que (EF) ( FG) + (JF)2= (JI)2 con centro en
J y radio EJ trcese la semicircunferencia EKI.

Entonces EJ = JR. Entonces (EF) ( FG) + (JF)2= (JK)2

(EF) ( FG) + (JF)2= (FK)2 + (JF)2

(EF) ( FG) = (KF)2

Esto es el cuadrado buscado esta sobre KF y tiene rea igual al cuadriltero ABCD.
LIBRO III

DEFINICIONES
1. Crculos iguales son aquellos cuyos son aquellos cuyos dimetros son iguales, o aquellos
cuyos radios son iguales.
2. Dcese que una recta es tangente al crculo, cuando toca al crculo y prolongada no la
corta.
3. Dcese que los crculos son tangentes mutuamente, cuando se tocan mutuamente y no
se cortan mutuamente.
4. En el crculo dcese que las rectas distan igualmente del centro, si las perpendiculares
trazadas desde el centro a las mismas son iguales.
5. Dcese que dista ms aquella sobre la cual cae mayor perpendicular.
6. Segmento de crculo es la figura limitada por una recta y por la periferia del crculo.
7. Angulo en el segmento es el limitado por una recta y por la periferia del crculo.
8. Angulo en el segmento es el limitado por las rectas trazadas desde un punto de la
periferia del segmento a los extremos de la recta que es base del segmento.
9. Cuando las rectas que forman el ngulo cortan alguna periferia, dcese que el ngulo
consiste en ella.
10. Sector del crculo es la figura limitada por las rectas que limitan.
11. Segmentos circulares semejantes son los que abarcan ngulos iguales.

PROPOSICIONES

Proposicin 1. (Constructivo) Encontrar el centro de un crculo dado.

Hiptesis:

Sea ABG un crculo dado

Tesis:

Es necesario encontrar el centro del circulo ABG.


1
Trcese una recta cualquiera AB y sea D=2 AB. Trcese una
perpendicular a AB que pase por D (sea DG dicha recta).
1
Alrguese DG hasta E y sea Z= EG. Por probar que Z es el centro
2
del circulo ABG.

Supongamos que H es el centro del circulo ABG. Entonces AH=BH por ser radios, AD=BD puesto
1
que D=2 AB y DH es lado comn de AHD y BHD, de donde AHD es congruente al BHD
y por lo tanto < ADH=<BDH y cuando una recta levantada sobre otra hace iguales a los ngulos
que forma, estos son rectas. De donde <BHD=<ZDB lo cual no puede suceder. Por lo tanto Z es
el centro del circulo ABG.
Corolario: cuando en el crculo una recta corta a otra en dos partes iguales y en ngulos rectos,
entonces sobre dicha recta est el centro del crculo.

Proposicin 2. La lnea trazada entre dos puntos, tomados al acaso sobre la periferia del crculo
caer dentro del crculo.

Hiptesis:

Sea el crculo ABG y tmese sobre su periferia dos puntos


cualesquiera A, B.

Tesis:

La lnea trazada del punto A al punto B caer dentro del crculo.

Sea D el centro del circulo ABG; y supngase que la lnea cae


fuera del crculo, tal como AEB. Trcese AD y BD que por ser
radios de crculo ABG son iguales, de donde el tringulo
ADBEA de lados AD , BD y AEB respectivamente es issceles y
por ende <DAE=<DBE, notar que <DEB es exterior al DAE; de donde <DEB ><DAE,
entonces <DEB > <DBE. Y como a ngulo mayor se opone lado mayor y viceversa BD>DE, pero
DB=DZ; entonces se tiene que DZ>DE lo cual no puede suceder. Por lo tanto la lnea caer
dentro del crculo.

Proposicin 3. Si una recta por el centro del crculo divide a otra que no pasa por el centro en
dos partes iguales, tambin la corta en ngulos rectos, y, si la corta en ngulos rectos, tambin
la corta en dos partes iguales.

Hiptesis:

Sea el circulo ABG y en el una recta que pasa por el centro GD que
corte a otra recta AB que no pasa por el centro en dos partes
iguales en el punto Z.

Tesis:

La recta GD corta en ngulos rectos a la recta AB.

Trcese siendo E el centro del circulo ABG AE, BE que por ser
1
radios son iguales, como Z=2 AB se tiene que AZ=BZ y ZE es lado comn de los tringulos AEZ
y BEZ respectivamente, y por ende dichos tringulos son congruentes, de donde <AZE=<BZE
y como <AZE+<BZE=180; esto es Z<AZE=180. Por lo tanto <AZE=<BZE=90.

) Por probar que si la recta corta en algunos rectos a la recta , entonces la divide en dos

partes iguales como AE=BE por ser radios, entonces el ABE es issceles; de donde
<EAB=<EBA y como <AZE=<BZE por ser rectas, entonces <AEZ=<BEZ, de donde AEZ y
BEZ son congruentes, y por ende AZ=BZ; pero AZ+BZ=AB, esto es 2AZ=AB. Por lo tanto
1
AZ=BZ=2 AB.

Proposicin 4. Si en un crculo se cortan dos rectas que no pasan por el centro, no se cortan en
dos partes iguales.

Hiptesis:

Sea el circulo ABGD y en el dos rectas que no pasan por el centro AG=BD cortndose
mutuamente en el punto E.

Tesis:

Dichas rectas no se cortan en partes iguales.

Supngase que las rectas AG y BD se cortan en partes iguales en


el punto E; esto es AE=GE y BE=DE. Trcese ZE una recta que
pasa por el centro y divide en dos partes iguales a la recta que

no pasa por el centro. Entonces por el teorema 3, la divide en
ngulos rectos; esto es <AEZ=<GEZ. Anlogamente como

divide en dos partes iguales a la recta y esta no pasa por el

centro, la divide en ngulos rectos, de donde <BEZ=<DEZ
entonces <AEZ=<BEZ lo cual no puede suceder. Por lo tanto
dichas rectas no se cortan en partes iguales.

Proposicin 5. Si dos crculos se cortan entre s, no tienen el mismo centro.

Hiptesis:

Sean ABG y GDH dos crculos que se cortan


mutuamente en los puntos B y G.

Tesis:

Dichos crculos no tienen el mismo centro.

Supongamos que los crculos ABG y GDH tienen el


mismo centro; sea E dicho centro. Entonces EG=EZ
por ser radios del circulo ABG y en donde Z es el punto
de interseccin del segmento EH y el circulo ABG. Anlogamente EG=EH por ser radios del
circulo GDH. De donde EZ=EH lo cual no puede suceder. Por lo tanto los crculos ABG y GDH
tienen diferente centro; si dichos crculos se cortan mutuamente en los puntos B, G.

Proposicin 6. Si dos crculos se tocan entre s, no tendrn el mismo centro.


Hiptesis:

Sean ABC, DEC crculos que se tocan entre si en el punto C.

Tesis:

Dichos crculos no tiene el mismo centro.

Supongamos que los crculos ABC y DEC tienen el mismo


centro; sea F dicho centro. Trcese FA y sea G el punto de interseccin de FA y el circulo DEC.
Entonces FA=FC por ser radios del circulo ABC. Anlogamente FG=FC por ser radios del circulo
DEC. Entonces FA>FG lo cual no puede suceder. Por lo tanto si dos crculos se tocan entre s, no
tienen el mismo centro.

Proposicin 7. Si en el dimetro del crculo se toma un punto, que no sea centro del crculo, y
desde ese punto se trazan algunas rectas al crculo, ser mxima aquella en la que est el centro
y la mnima la restante; y de las otras la que est ms prxima a la que pasa por el centro es
siempre mayor que la ms lejana, y solo hay dos iguales desde ese punto al crculo de cada lado
de la mnima.

Hiptesis:

Sea ABGD un circulo de dimetro AD, sobre AD tmese el punto Z, que


no sea centro del crculo, trcense las rectas ZB, ZG, ZH. Sea E centro
del crculo.

Tesis:

ZA>ZB>ZG>ZH>ZD

Trcense las rectas BE, GE y HE, en el tringulo BEZ BE+EZ>ZB, como BE=AE por ser radios;
entonces AE+EZ=AZ>ZB. Ahora fijmonos en los tringulos BEZ y GEZ. BE=GE por ser radios,
EZ lado comn de ambos tringulos y <BEZ><GEZ y por teorema 24I. ZB>ZG, Anlogamente
ZG>ZH.

Como EZ+HZ>EH, pero EH=ED por ser radios; entonces EZ+HZ>ED, y como ED=EZ+ZD,
entonces EZ+HZ>EZ+ZD; de donde ZH>ZD. Por probar que desde un punto Z se pueden trazar
dos segmentos iguales al crculo.

Dichos segmentos se encuentran en lados opuestos de ZD, notar que uno de ellos es ZH;
entonces probaremos que existe otro y que este es nico.

Trcense sobre EZ en el punto E un ngulo <EZT igual al ngulo <HEZ y trcese ZT. Como
HE=TE por ser radios y ZE lado comn de los tringulos HEZ, ZET y como <ZET=<HEZ.
Entonces los tringulos son congruentes; de donde ZH=ZT. Ahora probemos que ZT es nico.
Supngase que ZT no es nico y que ZK=ZH y como ZH=ZT, entonces ZT=ZH lo cual no puede
suceder; ya que contradice la primera parte de la proposicin.

Proposicin 8. Si se toma un punto fuera del circulo y desde este punto se trazan algunas rectas
hacia el crculo, de las cuales una pase por el centro y las restantes, como quiera, de esas rectas
entre las que tocan la parte convexa, la mxima es la que pasa por el entro, y de las otras la mas
prxima a la del centro es siempre mayor que la ms distante; pero entre las rectas que acaban
en la periferia convexa, la mnima es la que est entre el punto y el dimetro, y de las otras la
ms cercana a la mnima es siempre menor que la ms lejana, y solamente pueden trazarse
desde el punto hacia el circulo dos iguales de cada parte de la mnima.

Hiptesis:

Sea ACF un crculo y L un punto exterior a este, trcese desde L al


circulo LD, LC, LB y LA de tal forma que LA contenga al centro, sean F,
G, H, I los puntos de interseccin de LD, LC, LB y LA con el circulo
respectivamente.

Tesis: LA>LB>LC>LD y de la periferia convexa FGHI del circulo


LF>LG>LH>LI.

En LEB, LE+EB>LB, pero EB=EA; entonces LE+EA>LB de donde


LA>LB. Como LEB, LEC tienen la misma base LE y un lado igual CE=BE, y como
LEB>LEC por teorema I24, LB>LC, anlogamente LC>LD de donde LA>LB > LC>LD.

Ahora probemos que sobre la periferia convexa del crculo LF>LG > LH>LI. En LHE,
LH+HE>LE; pero LE=LI+IE y HE=IE por ser radios. Entonces LH+IE>LI+IE; de donde LH>LI
como LHE, LGE tienen un lado comn LG y otro lado igual GE=GH por ser radios; pero
GEL>HEL, de donde por teorema I24 LG>LH. Anlogamente LF>LG, de donde
LF>LG > LH>LI.

Ahora probaremos que desde L se pueden trazar a la periferia convexa del crculo dos
segmentos iguales y de lados opuestos a LI Notar que uno de ellos es LH, entonces por probar
que existe otro y que es nico.

Sobre LE y en E; tracese un angelo <LEJ igual al angulo <LEH. Tracese LJ, y comoLE es lado
comn de los LEH, LEJ y EH=EJ por ser radios; entonces son congruentes y por ende HEL,
de donde por teorema I24 LG>LH. Anlogamente LF>LG, de donde LH=LJ. Ahora mostremos
que LJ es nico, supongamos que no y que existe LK, de tal forma que LK=LH y como LH=LJ
entonces LJ=LK; lo cual no puede suceder ya que contradice a la primera parte del teorema.

Proposicin 9. Si se toma un punto en el interior del crculo y desde este punto se conducen al
crculo ms de dos rectas iguales, el punto tomado es el centro del crculo.
Hiptesis:

Sea el circulo BCD y en el interior de este; el punto A, trcense


hacia el crculo ms de dos rectas iguales. AB, AD, AC.

Tesis:

El punto A es el centro del crculo.

Trcense BC y DC y crtense en dos partes iguales dichas rectas


en los puntos H y E respectivamente. Prolnguese AH y sean I,
J los puntos de interseccin de esta prolongacin con el crculo, anlogamente prolnguese AE
y sean F, G los puntos de interseccin de esta prolongacin con el crculo.

1
Los ACE, ADE son congruentes, puesto que AC=AD por construccin, CE=DE porque E=
2
CD AE lado comn. Entonces <AEC=<AED, pero <AEC+<AED=180 de donde
<AEC=<AED=90 y por corolario del teorema 1 III, el centro del circulo esta sobre GF.
Anlogamente sobre IJ esta el centro del crculo, y como el nico punto de interseccin de la
rectas IJ y GF es A. Por lo tanto A es el centro del crculo.

Proposicin 10. Un crculo no corta a otro circulo en ms de dos puntos.

Demostracin por contradiccin

Sean ABC y DEF dos crculos que se cortan en B, G, F,


H respectivamente. nase HB y BG y sean K, L sus
puntos medios respectivamente. Trcese la
perpendicular KC a HB y NL a BG; entonces por
proposicin III 1 el centro del circulo ABC esta sobre
AC y no respectivamente pero P es punto en comn
de ellas; por lo tanto P centro del circulo ABC.
Anlogamente se muestra que P es centro del circulo
DEF, lo cual no puede suceder; ya que contradice a la
proposicin III 5, por que los crculos se cortan.

Proposicin 11: Si dos crculos se tocan mutuamente por dentro y se toman sus centros, la recta
que une sus centros, prolongada, ser sobre el punto de contacto.

Hiptesis:

Sean ABC, ADE dos crculos que se tocan mutuamente en el punto A (por
dentro). Sea F el centro del circulo ABC y G el centro del circulo ADE.

Tesis:

La recta trazada del punto F al punto G, prolongada, caer sobre el punto A.


Supongamos que la recta trazada del punto F al punto G, prolongada, caer sobre el punto H. En
FGA, FG+GA>FH y como FH=FG+GH; obtenemos FG+GA>FG+GH; esto es GA>GH y como
GA=GE por ser radios del circulo ADE, GE>GH lo cual no puede suceder. Por lo tanto la recta
trazada del punto F al punto G, prolongada, caer sobre el punto A.

Proposicin 12. Si dos crculos se cortan mutuamente por fuera, la recta que une sus centros ira
por el punto de contacto.

Hiptesis:

Sean ABC, ADE dos crculos que se tocan


mutuamente por fuera en el punto A. Sea F centro
del circulo ABC, y sea G centro del circulo ADE.

Tesis:

La recta trazada desde F hasta G, pasara por el


punto de contacto exterior A.

Supongamos que no pasa por el punto A y que pasa por C, D. Trcese AF y AG, entonces FA=FC
por ser radios del circulo ABC, anlogamente AG=GD por ser radios del circulo ADE. Entonces
FA+AG=FC+GD, de donde obtenemos que FG>FA+AG y FG<FA+AG lo cual no puede suceder
por lo tanto la recta trazada desde F hasta G; pasara por el punto de contacto exterior A.

Proposicin 13. Un crculo no toca a otro circulo ms que en un punto, sea que lo toque exterior
o interiormente.

Hiptesis:

Sean C1 C2 dos crculos.

Tesis:

Si C1 C2 son tangentes, entonces se intersectan a lo mas en un punto.

Supongamos que se intersectan en ms de un punto, sea C1 el circulo ABC y C2 el circulo ADE, C3


el circulo BFG, y supongamos que A y D son puntos de interseccin de C 1 y C2 y adems se
intersectan anteriormente. Sea H centro de C1, I centro de C2; entonces AH=DH y DH>DI, de
donde AH>ID y por ser I centro de C2, AI=ID, al ser AH>ID entonces AI>ID lo cual no puede
suceder.

Ahora supongamos que C1 y C3 se intersectan exteriormente en ms de un punto, y sean F, B


puntos de interseccin de C1 y C3, por teorema III 2 FB caer dentro de C1 y C3 por ser puntos
sobre su periferia, pero FB cae fuera. Lo cual no puede suceder.

Proposicin 14. En un crculo rectas iguales distan lo mismo del centro, si y solo si son iguales
entre s.
Sea ABC un circulo y E su centro. Sean AC y BD rectas en el crculo.

) Supongamos que AC y BD distan lo mismo del centro, entonces


por definicin las perpendiculares trazadas desde el centro a
dichas rectas son iguales; esto es, EF=EG. Por teorema III 3 la
recta EF que pasa por el centro corta en ngulos rectos a la recta
AC que no pasa por el centro; entonces la divide en dos partes
1
iguales. Esto es F=2AC, anlogamente EG pasa por el centro y
corta en ngulos rectos a la recta BD que no pasa por el centro, de
1
donde G=2BD. En EFC, EGB, EF=EF, EB=EC por ser radios,
<EGB=<EFC y por teorema I47 BG=FC por lo tanto BD=AC.

) Supongamos que AC=BD por probar que EF=EG y <EGB=<EFC=90. Trcese desde E las
perpendiculares a AC y BD respectivamente y nase EC, EB, en EFC, EGB como EF, EG divide
ngulos rectos a AC, BD y por proposicin III 3; la divide en partes iguales, de donde FC=GB,
<EFC=<EGB, EC=EB por ser radios. Entonces por proposicin I 47 EF=EG.

Proposicin 15. La mxima en el crculo es el dimetro, entre las otras la ms prxima al centro
es siempre mayor que la ms lejana.

Sea AFB un circulo de centro en G, AG=CG y GB=GD, entonces


AG+GB=CG+GD; de donde AB=CG+GD.

Pero CG+GD>CD, entonces AB>CD por teorema I20. CGD > EGF,
entonces CD>EF por teorema I24. Esto es AB>CD>EF.

Proposicin 16. La recta perpendicular trazada al dimetro del circulo en su extremos caer
fuera del crculo, y entre la recta y la periferia ninguna otra se interpondr y en el ngulo del
semicrculo es mayor que cualquier ngulo rectilneo y lo restante menor.

(*)Sea ABC un crculo por centro en D, sea AB su dimetro y EB


perpendicular a AB, que pasa por B. Por probar que EB cae fuera del
crculo ABC.

Supongamos que cae dentro; como FB 1 siendo FB perpendicular a


AB, nase FD como FD=DB por ser radios, entonces en el FDB <
DFB=<DBF= 90, entonces <DFB+<DBF=180 lo cual no puede
suceder. Por lo tanto EB cae fuera del crculo.

(**)Por probar que entre la periferia del circulo ABC y la recta EB


no se interpone recta alguna.
Supongamos que ZB se interpone. Desde D trcese la perpendicular DG a ZB, de donde
<DGB=90 y por ende DBG<90. Entonces DB>DG por Teorema I19, lo cual no puede
suceder ya que DB=DG por ser radios. Nota G puede estar fuera del crculo.

(***)Por probar que el ngulo limitado por AB y la periferia FGB es mayor que cualquier ngulo
agudo y el ngulo limitado por la periferia FGB y EB menor que dicho ngulo. Supongamos que
existe un ngulo agudo de tal forma que sea mayor que el ngulo limitado por AB y la periferia
FGB y menor que el ngulo limitado por la periferia FGB y EB. Entonces se interpone una recta
entre EB y AB. Lo cual no puede suceder en virtud de (**).

Proposicin 17. (Constructivo) Desde un punto dado trazar una recta tangente a un crculo
dado.

Sea ABC un circulo C1 con centro en E y D un punto fuera de l. nase


ED y trcese un circulo C2 con centro en E y radio ED. Sea H punto de
interseccin de ED y C1.

Trcese DC, entonces DC es la perpendicular buscada porque en los


EDC, EHG. ED=EG; EC=EH, y <EDC=<HEG. De donde son iguales,
entonces se tiene que <ECD=<EHG, y como FG es perpendicular a ED
entonces <EHG=90. Esto es <ECD=90.

Proposicin 18. Si una recta es tangente al cirulo, y desde el centro al punto de contacto se traza
una recta, la recta trazada es perpendicular a la tangente.

Sea ABC un circulo y EF tangente al crculo en el punto C. nase el centro D del circulo a EF. Por
probar que EF es perpendicular a DC.

Supngase que EF no es perpendicular a DC y sea DG


perpendicular a EF, entonces <DGF=90; de donde DCE<90,
entonces DC>DG. Pero siendo el punto de interseccin de DG y el
circulo que pasa por A, BC DC=DH, entonces DH>DG, lo cual no
puede suceder. Por lo tanto EF es perpendicular a DC.

Proposicin 19. Si una recta es tangente al crculo y desde el


punto de contacto se traza una perpendicular a la tangente, el
centro del crculo est en la recta dada.

Sea C1 el crculo que pasa por los puntos A1B y C de centro en D.


Y sea EF tangente a C1 en C. Trcese AC perpendicular a EF por
probar que D pertenece a AC.

Supngase que D no est sobre AC, esto es, que el centro no


pertenece a AC. Supongamos que G es el centro, nase GC y por
teorema III B GC es perpendicular a EF. Esto es <GCF=90 y por
hiptesis <ACF=90 ya que AC es perpendicular a EF. Entonces
<ACF=<GCF, lo cual no puede suceder. Por lo tanto D esta sobre AC.

Proposicin 20. En un crculo el ngulo opuesto en el centro es el doble del opuesto en la


periferia, cuando los ngulos comprenden como base el mismo arco.

Sea ABC un circulo con centro en D, y sea <BDC un ngulo con


vrtice en el centro y abraza el arco BC. Sea <BC un ngulo con
vrtice en la periferia y abraza al arco BC. Por probar que
<BDC=2<BAC.

nase AD y prolnguese hasta E como AE. AD=BD entonces


<BD=<DB y <EDB=<BD+<DB, esto es <EDB=2<BD.
Anlogamente como D=CD <DC=<DC y
<EDC=<DC+<DC; esto es <EDC=2<DC. Entonces
<EDB+<EDC=2(BAD+<DAC), esto es <BDC=2<BAC. El
resultado se prueba anlogamente si el centro est fuera del ngulo formado sobre la periferia
o si pertenece a alguno de los lados del ngulo formado sobre la periferia.

Proposicin 21. En un crculo los ngulos opuestos en el mismo


segmento son iguales entre s.

Sea ABC un circulo con centro en E, y sean <BC y <BDC


opuestos al segmento BC. Por probar que <BC =<BDC.

nase BE, CE, entonces por teorema III 20 <BEC=2<BC y


<BEC=2<BDC, entonces 2<BAC=2<BDC. Por lo tanto
<BAC=<BDC.

Proposicin 22. En los cuadrilteros puestos en los crculos los


ngulos opuestos son iguales a dos rectas.

Sea ABCD un circulo y en l, el cuadriltero ABCD. Por probar que


la suma de los ngulos opuestos del cuadriltero es igual a dos
rectas. nase AC y BD. En ABD <BDA+<DAB+<ABD=180, pero
<DCA=<ABD por ser opuesto a D, <CB=<BDA por ser opuestos
a B, entonces <ACB+<DCA=<ABD+<BDA. Esto es el
<DCB=<ABD+<BDA, y como <BDA+<DAB+<ABD=180,
entonces <DAB+<DCB=180.

Proposicin 23. Sobre una misma recta no se pueden construir dos


segmentos circulares semejantes y desiguales en la misma parte.

Sea AB un segmento de recta, y supngase que ACB y ADB son dos


segmentos circulares semejantes y desiguales. Trcese BD, DC.
nase AC y AD. Y por ser semejantes los segmentos circulares,
entonces abarcan ngulos iguales (definicin III 11). Entonces
<BDA=<BCA. Lo cual no pude suceder porque <BDA es exterior al ACD y es mayor que los
ngulos interiores no adyacentes a l.

Proposicin 24. Los segmentos circulares semejantes puestos sobre rectas iguales, son iguales
entre s.

Sean B, CD dos segmentos de recta iguales, y sean AEB y CFD


segmentos circulares semejantes, construidos sobre AB y CD
respectivamente. Por probar que dichos segmentos circulares son
iguales aplquese el segmento AEB sobre el segmento CFD, de donde
el punto A caer sobre C, la recta B sobre la recta CD, el punto B
sobre el punto D y por ser AB=CD se aplicara el segmento AEB sobre
el segmento CFD.

Ya que si el segmento AEB no aplica sobre el CFD, entonces o caer


dentro o caer fuera o exceder como CHD.

i) Si cae dentro o fuera, contradice el teorema III 23. Esto no se


puede construir sobre un mismo segmento de recta, dos segmentos circulares
semejantes y desiguales.
ii) Si excede como el segmento CHD, contradice al teorema III 10. Esto es, dos cirulos
se cortaran a lo ms en dos puntos.

Por lo tanto los segmentos AEB, CFD con iguales.

Proposicin 25. (Constructivo) Dado el segmento de un crculo, suplir el crculo de que es


segmento.

Sea ACB un segmento de crculo, entonces se deber construir


el circulo de que es segmento.
1
Olvidase a la mitad el segmento AB. Esto es D=2AB y trcese
ED perpendicular a AB y que pase por D., nase EB. Entonces
puede suceder o que BED >EBD.

i) Supongamos que BED >EBD en B y sobre EB


constryase un ngulo <EBF=<BED. (Teorema I23) y
prolnguese ED hasta F; como EF. De donde EF=FB en EBF,
nase AF. Los ADF, BDF son iguales ya que AD=BD,
DF=DF, <ADF=<BDF. Entonces AF=BF. De donde
FA=FB=FE. Ahora constryase el circulo de centro F y radio
FA, este pasara por A, E y B.
ii) Supongamos que <BED=<EBD.
Entonces ED=BD, pero BD=D entonces ED=BD=D, de
donde o ser el centro del circulo de radio DA, este pasara por
A, E y B.
iii) Supongamos que BED < EBD. Constryase sobre EB y en B <EBF=<BED, es fcil
ver que F ser el centro del crculo.

Proposicin 26. En los crculos iguales, los ngulos iguales comprenden arcos iguales sea que
estn constituidos en los centros o en las periferias.

Sea C1 el circulo ABD de centro en C y C2 el circulo EFG


de centro en C1; siendo C1=C2 ya que EC1=AC. Sea
<ADB=<EGF o <ACB=<EC1F, por probar que el arco
AB es igual al arco EF. Trcese AB, EF. En los ACB,
EC1F se tiene que AC=EC1, BC=FC1, <ACB=EC1F de
donde son iguales. Esto es AB=EF y por teorema III 24,
el arco AB es igual al arco EF ya que C1=C2

Proposicin 27. En los crculos iguales los ngulos que abarcan arcos iguales son iguales
mutuamente, sea que salgan de los centros, sea que estn constituidos en la periferia.

Sea C1 el circulo EFG con centro en H y C2 el circulo


ABC con centro en D. C1=C2 ya que EH=DB, el arco
circular EF es igual al arco circular BC. Por probar
que <EHF=<BDC y <FGE=<BAC. Supongamos que
<EHF <BDC y que EHF>BDC. Constryase
sobre EH y en H <EHI=<BDC (Teorema I23),
entonces por teorema III 26 el arco IE es igual al
arco BC y por hiptesis el arco EF es igual al arco BC;
de donde el arco IE es igual al arco BC y por
hiptesis el arco EF es igual al arco BC; de donde el arco IE es igual al arco EF. Lo cual no puede
suceder. Entonces <EHF=<BDC y como <EHF=2<FGE y <BDC=2<BAC, entonces
<FGE=<BAC.

Proposicin 28. En los crculos iguales las rectas iguales cortan arcos iguales, el mayor con el
mayor y el menor con el menor.

Sea C1 el circulo ABC de centro en G y C2 el


circulo DEF de centro en H. C1=C2 el circulo
DEF de centro en H. C1=C2 ya que AG=EH. Sean
AB=DE ya que h1G es perpendicular a AB, h2
perpendicular a DE y h1G=h2H. Por probar que
el arco AB es igual al arco DE y que el arco ACB
es igual al arco DFE.

En los AGB, DHE AG=DH, BG=EH, AB=DE


de donde son iguales. Entonces <AGB=<DHE
y como C1=C2 Por teorema III 26 el arco AB es igual al arco DE y el arco ACB es igual al arco
DFE.
Proposicin 29. En los crculos iguales, rectas iguales subtienden arcos iguales.

Sea C1 el circulo ABC de centro en D, y C2 el


circulo EFH de centro en G; siendo C1=C2 ya
que AD=FG, el arco AB igual al arco EF. Por
probar que AB=EF. nase AD, BD, FG, EG, en
los ADB, FGE se tiene que AD=FG, BD=EG
y como el arco AB es igual al arco EF por
Teorema III 27, <ADB=<FGE y entonces los
ADB, FGE son iguales y por lo tanto
AB=EF.

Proposicin 30. (Constructivo). Dividir un arco en dos partes iguales.

Sea AB un arco construido sobre AB, divdase a la mitad AB; esto


1
es C= AB y trcese DC perpendicular a AB. nase AD y DB, en
2
los ADC, BDC AC=BC, DC=DC y <DCA=<BCD de donde son
iguales; entonces AD=DB y por teorema III 28 rectas iguales en
crculos iguales, cortan arcos iguales. Por lo tanto el arco AD es
igual al arco BD.

Proposicin 31. En un crculo el ngulo puesto en el semicrculo es recto, el que est en el


segmento mayor es menor que el recto, el que est en el segmento menor es mayor que el recto,
y adems, el ngulo del segmento mayor es mayor que un recto, el del segmento menor, menor
que el recto.

Sea ABD un crculo de centro en C. y ABDF un semicrculo de


un crculo dado. Por probar

i) <BAD=90
ii) ABD<90 AFD >90
iii) BAD>90 (ngulo del segmento mayor) y FAD<90
(ngulo del segmento menor).
i) Prolnguese BA hasta E como BE y tracese AC. CB=CA
entonces <CBA=<CAB. CD=CA entonces <CDA=<CAD; de
donde <CAB+<CAD=<CBA+<CDA; esto es <BAD=<CBA+<CDA y <EAD es
exterior a ABD. Entonces <EAD=<CBA+<CDA, <BAD=<EAD y por definicin
T20, <BAD=90.
ii) En ABD, <BAD=90; entonces ABD<90 y en el cuadriltero ABDF la suma de
los ngulos opuestos de este es 180 (teorema III 22), entonces
<ABD+<AFD=180 pero ABD<90. Entonces AFD>90.

Proposicin 32. Si una recta es tangente al crculo y desde el punto de contacto se traza una
recta que corte al crculo, los ngulos que esta haga con la tangente sern iguales a los ngulos
que se forman en los segmentos alternos.
Sea ACF un crculo y AB tangente al crculo en el punto C,
trcese CD que corte al crculo. Por probar que <DCB=<DEC
y <DCA=<DFC.

Trcese en C de AB EC perpendicular a AB. nase ED, y sea F


un punto cualquiera del arco DC; nase DF, CF. Por
proposicin III 31 <EDC=90=<ECB. Entonces se tiene que
<DEC+<ECD=90=<ECB=<ECD+<DCB; de donde
<DEC=<DCB. En el cuadriltero EDFC
<DEC+<DFC=180=<ACD+<DCB, esto es <DEC+<DFC=<ACD+<DEC; entonces
<DFC=<ACD.

Proposicin 33. (Constructivo). Sobre una recta dada construir un segmento de crculo que
comprenda un ngulo igual a un ngulo rectilneo dado.

Demostracin. Sea AB una recta dada y C el ngulo dado. Se debe construir sobre la recta AB un
segmento de circulo que comprenda un ngulo igual al C. <C puede ser o agudo; o recto; u
obtuso.

Constryase sobre AB y en A el <DAB=<C (teorema


1
I 23). Sea E=2 AB y sea AG perpendicular a DA en A,
EF perpendicular a BA en E y F punto de interseccin
de AG y EF, nase FB. Notar que AEF es congruente
con el BEF ya que <AEF=<BEF; AE=BE, EF=EF,
entonces AF=BF. Sea un circulo C1 de centro en F y
radio AF; este pasara por B. Sea G punto de
interseccin de C1 y AG, nase BG. Ntese que AB corta a C1 y DA es tangente a C1; entonces por
proposicin III 32 <AGB=<DAB ya que <AGB est en el segmento AGB y como <DAB=<C. Por
lo tanto <AGB=<C.

Constryase sobre AB y en A <DAB=<C (Teorema


1
I23) Sea F=2 AB (teorema I 10). Sea C1 el circulo de
radio FA o FB, como DA es perpendicular a AB ya que
<DAB=90 (corolario, teorema III 16). Sea E un
punto del arco AB. nase AE; BE y por proposicin III
32 <AEB=90<DAB=<C. Por lo tanto <AEB=<C.

Constryase sobre AB y en A <FAG=<C


1
(teorema I 23) Sea D=2 AB y sea AH
perpendicular a AF en A, sea DE
perpendicular a AB en D. Notar que los ADE y BDE son
congruentes ya que AD=BD, <ADE=<BDE, DE=DE, entonces
AE=BE. Sea C1 el circulo de centro en E y radio AE o DB, sea J un punto del segmento menor GA.
nase GJ, AJ. Ntese que AB corta a C1 , y AF tangente a C1 ya que <FAE=90(corolario teorema
III 16), entonces por teorema III 32<GAF=<GJA; pero <GAF=<C. por lo tanto <GJA=<C.

Proposicin 34. (Constructivo) quitar de un circulo dado un segmento que comprenda un


ngulo igual al ngulo rectilneo dado.

Sea ABC un circulo dado Y<D el ngulo dado. Se debe separar del
circulo ABC un segmento que comprende un ngulo igual al ngulo
dado.

Constryase sobre AB y en B <EBA=<D (teorema I


23). Y sea EB una recta que toque al crculo dado.
Entonces por teorema III 32 <EBA=<ACB; pero
<EBA=<D. Entonces <ACB=<D, de donde solo
resta quitar el segmento ACB.

Proposicin 35. Si en un crculo se cortan dos rectas mutuamente, el rectngulo comprendido


bajo los segmentos de una es igual al rectngulo comprendido entre los segmentos de la otra.

Demostracin. Sea ABD un circulo de centro en E, y sea F punto de interseccin de AB y CD. Por
probar que (AF) ( FB)= ( DF) ( FC).

Sea EG perpendicular a AB y EH perpendicular a CD (teorema I 12).


nase CE. FE, BE. AB Es cortado igual y desigualmente, entonces por
teorema II 5 (AF)( FB)+( GF)2=(GB)2; entonces
(AF)( FB)+( GF) +(GE) =(GB) +(GE)
2 2 2 2 de donde
(AF)( FB)+( EF) =(EB) . Anlogamente CD es cortado igual y
2 2

desigualmente, entonces por teorema II 5., (DF)(FC)+( FH)2=(CH)2,


entonces (DF)(FC)+( FH)2+( EH)2=(CH)2+(EH)2, de donde
(DF)(FC)+( EH)2=(CE)2; pero CE=BE por ser radios, de donde CE2=BE2. Entonces
(DF)(FC)+( EF)2=(AF)( FB)+( EF)2.

Por lo tanto (DF)(FC)= (AF)( FB). Nota que el resultado es obvio cuando se cortan las rectas
en el centro.

Proposicin 36. Si se toma un punto fuera del circulo y desde l se dirigen dos rectas hacia el
circulo, y desde las cuales una corta al crculo y la otra lo toca, (el rectngulo) comprendido por
toda la secante y su parte exterior tomada entre el punto y la periferia convexa ser igual al
cuadrado de la tangente.
Demostracin.

i) La secante pasa por el centro. Sea BEC un circulo de centro en D y sea AB secante a
este y AC tangente. Por probar que (AB)( AE)=( AC)2. Unase DC, de
donde por teorema III 18 < DCA=90. EB cortado en partes iguales y
anexndole EA, entonces por teorema II 6 (AB)( AE)+( ED)2=(AD)2,
y (AD)2=(DC)2+(AC)2 pero ED=DC por ser radios. Entonces
ED2=DC2, de donde (AB)( AE)+(DC)2=(DC)2+(AC)2. Por lo tanto
(AB)( AE)=( AC)2.
ii) La secante no pasa por el centro. Sea BCD un circulo de centro en
E y sea AB secante a este y AC

Sea EF perpendicular a BD (teorema I 12) y por


1
teorema III 3 F=2 BD. Unase EA, ED y EC. Como CA es
tangente al circulo <ECA=90 (teorema III 18). BD es
cortado en partes iguales y anexando DA, entonces
por teorema II 6 (AB)(AD)+(FD)2=(FA)2. Entonces
(AB)( AD)+( FD)2+(FE)2=(FA)2+(FE)2, de donde
(AB)( AD)+( ED)2=(EA)2. Pero (EA)2=(EC)2+(AC)2,
entonces (AB)( AD)+( ED)2=(EC)2+(AC)2. Pero
ED=EC por ser radios, entonces ED2=EC2. De donde (AB)( AD)+( EC)2=(EC)2+(AC)2. Por lo
tanto (AB)(AD)=(AC)2.

Proposicin 37. Si se toma un punto fuera del circulo y desde ese punto se trazan al crculo dos
rectas, una de las cuales corta al crculo y la otra solo la toca, y el (rectngulo limitado) por toda
la secante y por la parte exterior de la misma entre el punto y la (parte) cncava de la
circunferencia es igual al (cuadrado) de la que toca, la que toca es tangente al crculo.

Sea ABC un crculo de centro F. AD toca al


crculo y BD lo corta. Por probar que AD es
tangente al crculo. Trcese CD tangente al
crculo ABC. (Teorema III 17) nase FC, FA, FD.
Por teorema III 36 se tiene que
(BD)( ED)=( CD)2 y (BD)( ED)=( AD)2 (*).

Por teorema III 18 <FCD=90, de (*)


( CD)2=( AD)2. Entonces CD=AD, FD=FD,
FA=FC por ser radios, entonces por teorema I 8
se tiene que los ADF, CDF son iguales,
entonces <DAF=<FCD. Esto es <DAF=90. Si
prolongamos AF ser dimetro, y por corolario del teorema III 16, AD es tangente al crculo
ABC.
LIBRO IV

DEFINICIONES

1. Dcese que una figura rectilnea est inscrita en otra figura rectilnea, cuando cada uno

de los ngulos de la figura inscrita tiene el vrtice en cada uno de los lados de la figura

en que se inscribe.

2. Anlogamente se dice que una figura est circunscrita alrededor de otra figura, cuando

cada lado de la figura circunscrita toca a cada uno de los vrtices de los ngulos de la

figura alrededor de la cual se circunscribe.

3. Dcese que una figura rectilnea est inscrita en un crculo, cuando cada ngulo de la

figura inscrita toca la periferia del crculo.

4. Dcese que una figura rectilnea est circunscrita alrededor del crculo, cuando cada

lado de la figura circunscrita es tangente de la periferia del crculo.

5. Anlogamente dcese que un circulo est inscrito en una figura, cuando la periferia del

circulo toca a cada uno de los lados de la figura en la cual se inscribe.

6. Dcese que un circulo est circunscrito a una figura, cuando la periferia del circulo toca

a cada uno de los ngulos de la figura alrededor de la cual se inscribe.

7. Dcese que una recta est adaptada en un crculo cuando los extremos de la misma estn

sobre la periferia del crculo.


PROPOSICIONES

Proposicin 1. Adaptar a un circulo dado una recta igual a una recta dada que no sea mayor que
le dimetro del crculo.

Sea ABC un crculo de dimetro AB y centro en C1, y sea


DE tales que DEAB, entonces adaptar DE en el crculo
ABC.

Si DE = AB el problema est resuelto ya que AB es


dimetro y est adaptada al crculo ABC. Sea DE < AB,
sea BF = DE y con centro en B y radio BF trcese un
circulo; como el GFH y trcese BG. Entonces BG=BF por
ser radios, pero BF=DE, por lo tanto BG=DE.

Proposicin 2. Inscribir en un crculo dado un tringulo equingulo a un tringulo dado.

Sea DEF un crculo dado y sea ABC. Entonces se debe


inscribir un tringulo en el crculo de
tal forma que los ngulos del tringulo
inscrito sean iguales a los del tringulo
dado.

Sea GH tangente al crculo en F. y sobre


FH y en F constryase <HFD=<ABC, y sobre GF y en F
constryase <GFE=<BCA. nase ED, y por teorema III 32, se
tiene que <HFD=<DEF, <GFE=<EDF y <EFD=<BAC ya que
s=180. Entonces <DEF=<ABC, <BCA=EDF,
EFD=<BAC.

Proposicin 3. Circunscribir un tringulo equingulo a una triangulo dado alrededor de un


circulo.

Sea DEF un crculo con centro en G y ABC. Se debe


circunscribir un tringulo al crculo de tal forma que los
ngulos del tringulo circunscrito sean iguales a los del
tringulo dado.

Prolnguese BC del tringulo como KL. Trcese desde G


una recta a cualquier parte del crculo como GD.
Constryase <ACL=<DGF sobre GD y en G. constryase <ABK=<EGD sobre FG y en G, y
trcese tangentes al crculo en D, F, E respectivamente
, como HJ, IJ, HI. Entonces el IJH es el pedido.

Por proposicin III 18 <HEG=<HDG=<IFG=90. En


el cuadriltero EGDH, <EGD+<EHD=180 por
proposicin 22. En ABC <KBA+<ABC=180,
entonces <EGD+<EHD=<KBA+<ABC; pero
<ABK=<EGD. Entonces <EHD=<ABC.
Anlogamente <FGD+<FJD=<ACL+<ACB, pero
<ACL=<DGF. Entonces <FJD=<ACB. Por lo tanto el
restante <EIF=<BAC.

Proposicin 4. Inscribir un crculo en un tringulo dado.

Sea ABC un tringulo, bisectese <ACB, <ABC, que


concurren en el punto G. Trcense las perpendiculares a
cada uno de los lados, esto es GE perpendicular a AC, GD
perpendicular a BC y GF perpendicular a AB. Es fcil
probar que si un punto pertenece a la bisectriz entonces
equidista de cada uno de los lados del ngulo y si equidista
pertenece a la bisectriz. Entonces GD=GE y GE =GF,
entonces GD=GF. De donde AG es bisectriz del <BAC. Sea
el circulo de centro en G y radio GD. El circulo FED es el buscado.

Proposicin 5. Circunscribir un crculo a un tringulo dado.


1
Sea ABC y sean DE perpendicular a AB, siendo D=2 AB. FE
1
Perpendicular a AC siendo F=2 AC y E punto de interseccin de DE y
EF.

Es fcil probar que E equidista de A y B, A y C. esto es AE=BE, AE=CE,


entonces BE=CE y si equidista de B y C; entonces E esta en EG
1
perpendicular a BC, siendo G= 2 BC. Sea la circunferencia ABC de
Centro en E y radio AE, el cual es el circulo buscado.

Proposicin 6. Inscribir un cuadrado en un crculo dado.

Sea ABC un circulo de centro en 0 y AD y BC dimetros tales que AD


sea perpendicular a BC. Por probar que ABDC es un cuadrado. Notar
que los ABD, B0D, D0C, C0A son congruentes ya que
0A=0B=0D=0C, <A0B=<B0D=<D0C=<C0A=90. Entonces
AB=BD=DC=CA. Como 0B=CD en 0BD, <0BD=<0BD.
Anlogamente <0BA=<0AB. <0BD+<0DB=90. Esto es
<ABD=90. Anlogamente <BAC=<ACD=<CDB=90.
Proposicin 7. Circunscribir un cuadrado alrededor de un crculo dado.

Sea EGH un circulo de centro en I. trcense sus dimetros


perpendiculares entre s. Esto es EF perpendicular a GH; trcense las
tangentes al crculo en H, F, G, y E respectivamente como BD, DC, CA
y AB. Por probar que ABDC es un cuadrado. Como AB es
perpendicular a EF, CD perpendicular de EF; entonces AB es paralelo
de CD. Anlogamente AC perpendicular de GH, BD perpendicular a
GH; de donde AC paralelo a BD. De donde ABCD es un paralelogramo
y por proposicin I 34, AB=CD, BD=AC. Como AB es perpendicular
a EF y AEFC paralelogramo <C=90, <A=90; entonces <D=90, <B=90.

Cuadriltero ABHG, AB=GH; pero GH=EF y en el cuadriltero AEFC EF=AC. Entonces AB=AC.
Por lo tanto ABDC es un cuadrado.

Proposicin 8. Inscribir un crculo en un cuadro dado.


1 1
Sea ABCD un cuadrado y E=2 AD, F=2 AB. Sea EG paralelo a AB, EG
paralelo a DC que pase por E. FH paralelo a AD, FH paralelo a BC y
J punto de interseccin de EG y FH.

Como AFJE es un paralelogramo AF=EJ y AE=FJ, pero como


1 1
AB=AD y F= AB, E= AD entonces AF=FJ, FJ=EJ; anlogamente
2 2
FJ=JG y EJ=JH.

Tmese el circulo de centro en J y radio FJ, dicho circulo pasara


por F, G, H, E y por el corolario del teorema III 16 ya que
<AFJ=<AEJ=<DHJ=<CGJ=90. AB, AD, DC y CB tocaran al crculo en los puntos E, H, G y F
respectivamente.

Proposicin 9. Circunscribir un crculo alrededor de un cuadrado dado.

Sea ABCD un cuadrado dado. nase BD, AC; y sea E punto de interseccin
de AC y BD. <ABE=<ADB ya que AB=AD. <CBE=<CBE.

En ABE, CBE, AB=CB, <ABE=<CBE, EB=EB. Entonces AE=CE.


Anlogamente EB=ED. Sea el circulo de entro en E y radio AE, el cual pasara
por los puntos A, B, C y D.

Proposicin 10. Construir un tringulo issceles que tenga cada uno de los ngulos de la base
el doble del restante.
Sea AB un segmento de recta y crtese en C. Sea C1 un
circulo de centro en A y radio AB. Por teorema II 11
(AB)(CB)=(AC)2. Adptese BD a C1 tales que BD=AC,
entonces (AB)(CB)=(BD)2.

nase CD, AD y circunscrbase un circulo C2 al ACD. Por


teorema III 32 <BDC=<DAC. Entonces se tiene
que<BDC+<CDA=<DAC+<CDA. Esto es <BDA
=<DAC+<CDA, y por teorema I 32 se tiene que
<BCD=>DAC+<CDA, <BDA<BCD pero AB=AD;
entonces <BDA=<DBA. Entonces <BDA = <DBA
<BCD, entonces <DAC+<ADC=2<DAC.

Pero <BCD=<DAC+<CDA, entonces <BCD=2<DAC. Pero <BCD=<DBA y <BCD=<BDA.


Entonces <DBA=2<DAC y <BDA=2<DAC.

Proposicin 11. Inscribir un pentgono equingulo y equiltero en un crculo dado. Sea ABC un
tringulo tales que <ABC=<ACD=2<BAC. Circunscrbase a
este el circulo ABC, bisectese los ngulos <ABC y <ACB y sean
BD y dichas bisectrices. nase AD, DC, CB, EB, EA. Junto con
BC forman el pentgono requerido. Como <ABC, <ACB han
sido bisectados, entonces se tiene que
<ABD=<DBC=<ECB=<ACE=<BAC y por teorema III 26 los
arcos AD, DC, CD, BE y EA son iguales. Y por teorema III 29
AD=DC=CB=EB=EA. Entonces el pentgono es equiltero. Como el arco EA es igual al arco DC
aadiendo el arco EBC, entonces el arco AEBC es igual al arco DCBE. El <ADC subtiende al arco
AEBC y el <EAD subtiende al arco DCBE. Entonces por teorema III 27 <ADC=<EAD.
Anlogamente se muestra la igualdad de los otros ngulos, entonces el pentgono es
equingulo.

Proposicin 12. Circunscribir un pentgono equiltero y equingulo alrededor de un crculo


dado.

Sea ABCDE el pentgono equiltero y equingulo inscrito en el


crculo ABC, de centro en F. Trcense las tangentes al crculo en
los puntos A, B, C, D y E como KG, GH, HI, IJ, JR respectivamente.
Por probar que K G H I J es un pentgono equiltero y equingulo.
nase EF, JF, DF, IF, CF. Por teorema III 18 JI perpendicular a FD,
KJ perpendicular a EF y HI perpendicular a FC. Entonces
EF2+EJ2=FJ2 y FD2+JD2=FJ2, entonces EF2+EJ2=FD2+JD2 como
EF=DF, entonces EJ2=JD2. Esto es EJ=JD.

De donde los EFJ y DFJ son congruentes, entonces


<EFJ=<DFJ y <EFJ=<DJF. Entonces <EFD=2<DFJ y
<EJD=2<FJD. Anlogamente <CFD=2<DFI y <CID=2<DIF. Como los arcos ED y CD son
iguales (teorema IV 11), entonces <EFD=<CFD. Esto es 2<DFJ=2<DFI, de donde <DFJ=<DFI.
Y como FD=FD y <JDF=<IDF entonces los tringulos JFD y IFD son congruentes. Entonces
JD=DI y JI=2JD.

Anlogamente KJ=2EJ, pero EJ=JD; entonces KJ=2JD=JI. Esto es KJ=JI. Del mismo modo
KJ=JI=IH=HG=GK, entonces GHIJK es un pentgono equiltero. Como JFD y IFD son
congruentes, entonces <DJF=<DIF; pero <DJF=<EJF, entonces <EJD=2DJF. Esto es
<EJD=2<DIF. Pero <DIF=<CIF entonces <EJD=<CID. Del mismo modo el
<EJD=<CID=<IHG=<HGK=<GKJ, entonces GHIJK es un pentgono equingulo.

Proposicin 13. Inscribir un crculo en un pentgono dado, equingulo y equiltero.

Sea ABCDE un pentgono equingulo y equiltero. Sea CG, DH las


bisectrices de <BCD y <CDE respectivamente y F punto de interseccin
de CG y DH. nase FB, FA y FE. Los BFC y DFC son congruentes ya que
BC=DC por ser pentgono equiltero. <BCF=<DCF CG bisectriz de <BCD.
CF=CF lado comn, entonces BF=DF, CBF=<CDF entonces
2<CBF=2<CDF pero 2<CDF=<CDE ya que DF bisectriz de <CDE,
entonces <ABC=<CDE. Anlogamente siendo BF bisectriz de <ABC 2<CBF=<ABC, entonces
<ABC=<CDE. Del mismo modo <ABC=<BCD=<CDE=<DEA=<EAB. Trcense las
perpendiculares a AB, BC, CD, DE, y EA que pasen por F. tales como FH; FI; FJ; FK; FG. En IFC,
JFC <FIC=<FJC; <ICF=<JCF; FC=FC. Entonces por teorema I 26. IFC es congruente a JFC.
Entonces IF=JF. Anlogamente KF=GF=HF=IF.

Sea el circulo de centro en F y radio JF, que por corolario III 16 AB, BC, CD, DE, EA toca al crculo.
Por lo tanto el circulo de centro en F y radio FJ es tangente al pentgono equiltero y equingulo
ABCDE.

Proposicin 14. Circunscribir un crculo alrededor de un pentgono que sea equiltero y


equingulo.

Sea ABCDF un pentgono equiltero y equingulo. Bisectese <BCD,


<CDE, siendo CF y DF sus bisectrices respectivamente. Trcense BF,
AF y EF. Los BFC y DFC son congruentes ya que BC=DC,
<BCF=<DCF y CF=CF. Entonces BF=DF.

Anlogamente CF=EF y como en el teorema precedente se demuestra


que BF, AF, EF son bisectrices del ngulo <ABC, <BAE, <AED. De
donde BF=CF=DF=EF=AF. Sea el circulo de centro en F y radio FC,
este pasara por A, B, C, D y E.

Proposicin 15. Inscribir un hexgono equiltero y equingulo a un crculo dado.

Sea AEF un circulo C1 de centro en C y radio AC. Sea AB su dimetro con centro en A y radio AC
trcese el circulo C2 DCG. Sean D y G puntos de interseccin de C1 y C2. Prolnguese GC hasta E
como GE y DC hasta F como DF. nase AG, GF, FB, BE, ED, DA entonces AGFBED es un hexgono
equiltero y equingulo. AC=GC radios C1, AG=AC radios C2.
Entonces AG=AC=GC, esto es AGC es equiltero. Entonces
<CAG=<CGA=<ACG. Del mismo modo <CDA=<CAD=<ACD,
entonces <ACG=<ACD. Anlogamente
<ACG=<ACD=<DCE=<ECB=<BCF=<FCG. Y por teorema III 26
los arcos AD, DE, EB, BF, FG y GA son iguales. Y por teorema III 29.
AD=DE=EB=BF=FG=GA. Esto es el hexgono es equiltero, y
como el arco AG es igual al arco BF, entonces el arco AEF es igual al
arco GDB. Entonces por teorema III 27 <AGF=<GFB.
Anlogamente <AGF=<GFB=<FBE=<BED=<EDA=<DAG. Esto
es el hexgono es equingulo.

Proposicin 16. Inscribir en un crculo dado un pentadecgono equiltero y equingulo.

Inscribirse en un tringulo equiltero y un pentgono equiltero en


el crculo de tal forma que tengan un vrtice comn, el arco ADB es
la tercera parte de un crculo, el arco DBE, AD es la quinta parte del
crculo. Entonces como AD tiene tres, DB tendr 2. Divdase el arco
DB en dos partes iguales y adptese esta en el crculo
sucesivamente.
REFERENCIAS.

[1] A.I. Fetisov; La demostracin en Geometra, edit. Limusa.

[2]G. Dorofeiev, M. Potapov; Temas selectos de Matemticas Elementales, Edit. MIR.

[3]C. Gategno; La enseanza de las matemticas, Edit.

[4]T. Dreyfus, N. Hadas, E. Gower; The four Congress International of educational Mathematica,
Edit.

[5]The national Coucil of teacners of Mathematics, Inc; The book of year 1988, Edit. N.C.T.M

[6]Moise Downs; Geometra Moderna, Edit. Fondo Educativo Interamericano, S.A.

[7]Wentworth, Smith; Geometra plana y del espacio, Edit. Porrua

[8]Howard Eves; One Introduction to History of Mathematics, Edt.

[9]Howard Eves; Estudio de la Geometras, Edt. U.T.E.H.A.

[10]Euclid; The Elements, Edt. Dover

[11]Euclides; Los Elementos de Euclides (Libro III, IV, V), Edt U.N.A.M.

[12]Hemmerlingn; Geometra Elemental, Edt. Limusa.