Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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.
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
POSTULADOS
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
Demostracin
Demostracin
Proposicin 3. Sean dos segmentos de recta desiguales, construir sobre el mayor segmento; un
segmento igual al menor que fue dado.
Demostracin
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.
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.
<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.
Demostracin.
<BAF=<CAF.
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.
Demostracin.
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.
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.
Proposicin 15. Si dos rectas se cortan, forman ngulos opuestos por el vrtice iguales entre s.
Demostracin.
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.
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.
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
Proposicin 20. En un tringulo, la suma de dos lados cualesquiera es mayor el otro lado.
Demostracin.
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.
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.
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.
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.
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.
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.
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
(**) 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.
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.
Proposicin 33. Las rectas que unen en la misma direccin los extremos de rectas iguales y paralelas
son paralelas e 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.
Sean ABC y DEF dos tringulos sobre las mismas paralelas AH, BF y con bases iguales BC=EF.
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.
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.
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).
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).
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.
Entonces (AD)(DB)+(CD)2=(ACFE)+(CDGF)+(FGJI)
=(CBHF)+(CDGF)+(FGJI)
=(CB)2
=(CBGF)+(BDHG)+(FGJI)+(GHKJ)
=(CD)2
=(ABFD)+(ABFD)+(DEHG)
=(ACED)+(CBFE)+(ACED)+(CBFE)+(DEHG)
=(ACED)+(CBFE)+(EFIH)+(DEHG)+(CBFE) Por (*)
=(ABIG)+(CBFE)
=(AB)2+(CB)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)
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 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.
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
Hiptesis:
Tesis:
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:
Tesis:
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:
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:
Hiptesis:
Tesis:
Tesis:
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:
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:
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:
Tesis:
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 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:
Proposicin 12. Si dos crculos se cortan mutuamente por fuera, la recta que une sus centros ira
por el punto de contacto.
Hiptesis:
Tesis:
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:
Tesis:
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=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.
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.
(***)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.
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.
Proposicin 24. Los segmentos circulares semejantes puestos sobre rectas iguales, son iguales
entre s.
Proposicin 26. En los crculos iguales, los ngulos iguales comprenden arcos iguales sea que
estn constituidos en los centros o en las periferias.
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.
Proposicin 28. En los crculos iguales las rectas iguales cortan arcos iguales, el mayor con el
mayor y el menor con el menor.
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.
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.
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.
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).
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
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.
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
3. Dcese que una figura rectilnea est inscrita en un crculo, cuando cada ngulo de la
4. Dcese que una figura rectilnea est circunscrita alrededor del crculo, cuando cada
5. Anlogamente dcese que un circulo est inscrito en una figura, cuando la periferia del
6. Dcese que un circulo est circunscrito a una figura, cuando la periferia del circulo toca
7. Dcese que una recta est adaptada en un crculo cuando los extremos de la misma estn
Proposicin 1. Adaptar a un circulo dado una recta igual a una recta dada que no sea mayor que
le dimetro del crculo.
Cuadriltero ABHG, AB=GH; pero GH=EF y en el cuadriltero AEFC EF=AC. Entonces AB=AC.
Por lo tanto ABDC es un cuadrado.
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.
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.
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.
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.
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.
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.
[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
[11]Euclides; Los Elementos de Euclides (Libro III, IV, V), Edt U.N.A.M.