Escolar Documentos
Profissional Documentos
Cultura Documentos
Frederico Commandino
So Paulo: Edies Cultura, 1944
ISBN - No indicado
Fonte: Biblioteca do Clube de Engenharia da Bahia
Obra digitalizada por: Neuziton Torres Rapadura - neuzitontr@terra.com.br
Colaborao voluntria
SRIE CIENTFICA
EUCLIDES
Elementos de Geometria
Adicionados e Ilustrados
Por
ROBERTO SIMSON
Prof Matemtica na Academia de Glasgow
REVISTOS P A R A
EDIES CULTURA
Por
ANBAL FARO
EDIOES CULTURA
AV. 9 DE JULHO, 872 e 878 (1 and.)
FONE: 402228 - SO I'AULO - BRASIL
1944
PRIMEIRO LIVRO
DOS
DEFINIES.
II
III
IV
VI
VII
Superfcie plana aquela, sobre a qual assenta toda uma tinha reta entre
dois pontos quaisquer, que estiverem na mesma superfcie.
VIII
IX
ELEMENTOS DE GEOMETRIA 4
EUCLIDES
CB, com as letras DBC, ou CBD. Mas se um ngulo estiver separado de outro
qualquer, poder-se- marcar com a mesma letra, que estiver no vrtice, como
o ngulo no ponto E (Fig. 2.)
Quando uma linha reta, caindo sbre outra. linha reta, fizer com esta dois
ngulos iguais, um de uma, e outro de outra parte, cada um dstes ngulos
iguais se chama ngulo reto; e a linha incidente se diz perpendicular a outra
linha; sbre a qual cai (Fig. 3.).
XI
XII
XIII
XIV
XV
Crculo uma figura plana fechada por uma s linha, a qual se chama
circunferncia: de maneira que tdas as linhas retas, que de um certo ponto
existente no meio da, figura, se conduzem para a circunferncia, so iguais
entre si (Fig. 6.).
XVI
XVII
Dimetro do crculo uma linha reta, que pas.sa pelo centro, e que se
termina por ambas as partes na circunferncia.
XVIII
XIX
ELEMENTOS DE GEOMETRIA 5
EUCLIDES
XX
XXI
XXII
XXIII
XXIV
XXV
XXVI
(Fig. 9.).
XXVII
XXVIII
XXIX
XXX
XXXI
ELEMENTOS DE GEOMETRIA 6
EUCLIDES
E a figura, que de uma parte, fr mais comprida, pode ser retngula, mas
no eqiltera (Fig. 14.).
XXXII
(Fig. 15.).
XXXIII
XXXIV
XXXV
POSTULADOS.
II
III
AXIOMAS
II
ELEMENTOS DE GEOMETRIA 7
EUCLIDES
III
IV
VI
VII
VIII
IX
XI
XII
ELEMENTOS DE GEOMETRIA 8
EUCLIDES
PROPOSIO I. PROBLEMA.
Seja dado o ponto A, e dada tambm a reta BC. Deve-sedo ponto A tirar
uma linha reta igual a reta dada BC.
Do ponto A para o ponto B tire-se (Post. 1.) a reta AB, e sbre esta se
faa (Prop. 1.1.) o tringulo eqiltero DAB; e produzam-se (Post. 2.) as retas
AE, BF em direitura das retas DA, DB. Com o centro B, e o intervalo BC
descreva-se (Post. 3.) o crculo CGH; e tambm com o centro D, e o intervalo
DG descreva-se o crculo GKL. Sendo o ponto B o centro do crculo CGH, ser
BC = BG (Def. 15.). E sendo' D o centro do crculo GKL, ser DL = DG. Mas as
partes DA, DB das retas DL, DG so iguais. Logo, tiradas estas, as partes
resduas AL, BG sero tambm iguais (Ax. 3.). Mas temos demonstrado, que
BC = BG. Logo cada uma das duas AL, BC ser igual a BG. Mas as cousas
iguais a uma terceira, so iguais entre si. Logo ser AL = BC; e por
conseqncia temos. tirado do ponto A a linha reta AL igual a outra dada BC.
ELEMENTOS DE GEOMETRIA 9
EUCLIDES
Sejam os dois tringulos ABC, DEF, cujos lados AB, AC, DE, DF so
iguais, cada um a cada um, isto , AB = DE, e AC = DF; e seja o ngulo BAC =
EDF. Digo, que a base BC igual base EF; e que o tringulo' ABC igual ao
tringulo DEF; e que os outros ngulos do primeiro tringulo so iguais aos
outros do segundo, cada um a cada um, segundo ficam opostos a lados iguais;
isto , o ngulo ABC = DEF, e ACB = DFE.
Considere-se psto o tringulo ABC sbre o tringulo DEF, de sorte que o
ponto A caia sbre o ponto D, e a reta AB sbre a r.eta DE. O ponto B cair
sbre o onto E, por ser AB = DE. Ajustando-se pois AB sbre DE, tambm a
reta AC se ajustar sbre a reta DF, sendo o ngulo BAC = EDF. Logo sendo
AC = DF, o ponto C cair sbre o ponto F. Mas temos visto que B cai sbre E.
Logo a base BC se ajustar sbre a base EF. Porque se no se ajustarem,
caindo B em E, e C em F, se seguir, que duas linhas retas compreendem um
espao, o que no pode ser (Ax. 10.). Logo a base BC deve-se ajustar sbre a
base EF, e por conseqncia so iguais. Logo todo o tringulo ABC se ajusta
sbre todo o tringulo DEF, e assim so iguais; e os outros ngu!os do
primeiro tringulo tambm se ajustam sbre os outros do,segundo e so
iguais; isto , o ngulo ABC = DEF, e ACB = DFE.
PROP. V. TEOR.
Seja o tringulo issceles ABC com os lados iguais AB, AC, os quais sejam
produzidos para D e E. Digo, que ser o ngulo ABC = ACB, e CBD = BCE.
Tome-se na reta BD um ponto qualquer F; e da reta AE>AF se corte (Pr.
3.1.) a parte AG = AF; e se tirem as retas PC, GB. Sendo AF = AG, e AB = AC;
as duas FA, AC sero iguais s duas GA, AB, cada uma a cada uma. E alm
disto compreendem o ngulo comum F AG. Logo a base FC ser igual (Pr.
4.1.) base GB; e o tringulo AFC igual ao tringulo AGB; e os mais ngulos
iguais aos mais ngulos, cada um a cada um; isto , os que so opostos a
lados iguais, como ACF = ABG, e AFC = AGB. E sendo AF = AG e AB = AC,
tirando AB de AF, e AO de AG, ficar BF = CG (Ax. 3.). Mas temos
ELEMENTOS DE GEOMETRIA 10
EUCLIDES
demonstrado, que FC = GB. Logo as duas BF, FC so iguais s duas CG, GB,
cada uma a cada uma; e o ngulo BFC = CGE. Mas a base BC comum aos
dois tringulos FBC, GCB. Logo stes dois tringulos so iguais (Pr. 4.1.); e os
mais ngulos dles, que forem opostos a lados iguais, so tambm iguais.
Logo ser .() ngulo FBC = GCB e BCF = CBG. Assim sendo o ngulo total ABG
igual ao total ACF, como se tem demonstrado; e sendo CBG = BCF, tirando
QBG de ABG, e BCF de ACF, ficar o ngulo ABC = ACB, que so os ngulos
sbre a base BC do tringulo issceles ABC. E j se tem provado FBC = GCB,
que so os ngulos debaixo da base BC.
COROL. Disto se segue, que todo o tringulo equiltero tambm
equingulo.
Seja o tringulo ABC, e seja o ngulo ABC = ACE. Digo, que ser AB =
AO.
Se no fr AB = AC, uma destas duas retas ser maior que a outra. Seja
AB a maior, e desta, que maior, se corte (Pr. 3.1.) DB = AC, que menor.
Tire-se a reta DC. Sendo DB = AC, e BC comum, sero as duas DB, BC iguais
s duas AC, CB, cada uma a cada uma. Mas o ngulo DBC = ACB. Logo a
base DC ser igual base AB; e o tringulo DBC igual (Pr. 4.1.) ao tringulo
ACB, o que absurdo, porque DBC menor que ABC. Logo as retas AB, AC
no so desiguais, e por conseqncia deve ser AB = AC.
COROL. Desta proposio se infere que todo o tringulo eqingulo
tambm eqiltero.
ELEMENTOS DE GEOMETRIA 11
EUCLIDES
Seja dado o ngulo retilneo BAC. Deve-se dividir ste ngulo em duas
partes iguais.
Tome-se na reta AB qualquer ponto D, e da reta AC corte-se (Pr. 3.1.) a
parte AE = AD; e tirada a reta DE, sbre esta se faa (Pr. 1.1.). o tringulo
eqiltero DE:B', e se tire AF. Digo, que o ngulo BAC fica dividido em duas
partes iguais pela reta AF. Sendo AD = AE e AF comum; nos dois tringulos
FDA, FEA os dois lados DA, AF sero iguais aos dois lados EA, AF, cada um a
cada um. Mas a base DF = EF outra base. Logo, ser o ngulo DAF = EAF
(Pr. 8.1.); e por conseqncia o ngulo retilneo dado BAC fica dividido pela
reta AF em duas partes iguais.
PROP. X. PROB.
ELEMENTOS DE GEOMETRIA 12
EUCLIDES
Seja dada a linha reta determinada AB. preciso dividi-Ia em duas partes
iguais.
Faa-se (Pr. 1.1.) sbre a reta dada AB o tringulo eqiltero ABC; e com
a reta CD se divida (Pr.9 .1.) em duas metades o ngulo ACB. Digo, que a reta
AB fica dividida em duas partes iguais no ponto D.
Porque sendo AC = CB, e CD comum, sero as duas AC, CD, iguais s
duas BC, CD, cada uma a cada uma. Mas o ngulo ACD = BCD. Logo ser
(Pr. 4.1.) a base AD = DB outra base. Logo temos dividido a reta determinada
AB em duas partes iguais no ponto D.
Seja dada a reta AB, e nela o ponto C. Deve-se do ponto O levantar uma
perpendicular sbre a reta B.
Tome-se na reta AC qualquer ponto D, e ponha-se OE = OD (Pr. 3.1.), e
sbre DE faa-se (Pr. 1.1.) o tringulo eqiltero DFE. Tire-se finalmente a
reta FC. Digo, que FC perpendicular sbre a dada AB no ponto C.
Por ser DC =CE, e FC comum; as duas DC, CF sero iguais s duas EC,
CF, cada uma a cada uma. Mas a base DF = FE outra base. Logo ser o
ngulo DCF = ECF (Pr. 8.1.) ; .e stes ngulos so formados um de uma, e
outro de outra parte da mesma linha. Mas quando uma reta,' caindo sbre
outra, faz os ngulos de ambas as partes iguais entre si, stes ngulos so
retos (Def. 10.). Logo os ngulos DCF, FCE so retos, e assim temos levantado
a perpendicular FC sbre a reta dada AB, e do ponto dado C.
COROL. Com isto podemos demonstrar que duas linhas retas no podem
ter um segmento comum (Fig. 30.).
Tenham as duas retas ABC, ABD, se possvel, o segmento comum AB.
Do ponto B levante-se a perpendicular BE sbre AB. Porque ABC uma linha
reta, ser o ngulo CBE = EBA (Def. 10.). Do mesmo modo sendo ABD uma
linha reta, ser o ngulo DBE = EBA. Logo ser DBE = CBE,isto , um ngulo
menor igual a um maior, o que no pode ser. Logo duas linhas retas no
podem ter um segmento comum.
Seja dada a linha reta AB, e fora dela o ponto C. Devese do ponto C
conduzir uma perpendicular sbre a reta AB.
Da outra parte da reta AB tome-se um ponto qualquer D, e com o centro
C, e o intervalo CD descreva-se (Post. 3.) o crculo EGF, que corte a reta AB
nos pontos F, G; e a reta FG se. divida pelo meio (Pr. 10.1.) no ponto H, e
ELEMENTOS DE GEOMETRIA 13
EUCLIDES
tirem-se as retas CF, CH, CG. Digo, que a reta CH perpendicular sbre a reta
indefinita AB.
Sendo FH = HG, e HC comum, as duas FH, HC sero iguais s duas HG,
HC, cada uma' a cada uma. Mas a base CF = CG (Def. 15.) outra base. Logo,
ser o ngulo CHF = CHG (Pr. 8.1.), e por conseqncia stes ngulos, sendo
adjacentes mesma linha CH, sero retos, e a reta CH, que parte do ponto C,
ser perpendicular sbre a reta dada indefinita AB, como se pedia.
Uma linha reta, caindo sbre outra linha reta, faz com esta
ou dois ngulos retos, ou dois ngulos iguais a dois retos (Fig.
32. 33.).
Caia a reta AB sbre a reta CD, fazendo com esta os dois ngulos CBA,
ABD. Digo, que os ngulos CBA, ABD, ou so dois retos, ou so iguais a dois
retos.
Porque se fr o ngulo CBA = ABD (Fig. 32.), claro est que so retos
(Def. 10.). E quando assim no seja: do ponto B (Fig. 33.) levante-se (Pr.
11.1.) sbre CD a perpendicular BE. Logo os ngulos CBE e EBD so dois
retos. E porque o ngulo CBE igual aos dois CBA, ABE, ajuntando de uma e
outra parte o mesmo ngulo EBD, sero os dois, CBE, EBD iguais aos trs
CBA, ABE, EBD (Ax. 2.). Tambm, sendo o ngulo DBA igual aos dois DBE,
EBA, ajuntando de ambas as partes o ngulo comum ABC, sero os dois DBA,
ABC iguais aos trs DBE, EBA, ABC. Mas stes trs ngulos so iguais aos dois
CBE, EBD; e as quantidades, que so iguais a uma terceira, so iguais entre si
(Ax. 1.). Logo. os dois ngulos CBE, EBD so iguais aos dois DBA, ABC.
Mas CBE, EBD so dois retos. Logo os dois ngulos DBA, ABC so iguais a
dois retos.
ELEMENTOS DE GEOMETRIA 14
EUCLIDES
demonstrar de qualquer outra reta fora de BD. Logo, as retas CB, BD esto em
direitura.
Seja o tringulo ABC, cujo lado BC seja produzido para a parte D. Digo,
que o ngulo externo ACD maior que 'qualquer dos internos e opostos CBA,
BAC.
Divida-se o lado AC em duas partes iguais (Pr. 10.1) no ponto E; e tirada
a reta BE, esta se continue at F de sorte que seja BE = EF. Tire-se FC, e o
lado AC seja produzido para G. Sendo AE = EC, e BE = EF, as duas AE, EB
sero Iguais s duas CE, EF, cada uma a cada uma. Mas o angulo AEB = CEF
(Pr. 15.1), por serem stes ngulos verticalmente opostos. Logo, a base AB
igual base CF; e o tringulo AEB igual ao tringulo CEF; e os mais ngulos
iguais aos mais ngulos. (Pr. 4.1), cada um a cada um, segundo ficam opostos
a lados iguais. Logo ser o ngulo BAE = ECF. Mas o ngulo ECD>ECF. Logo,
ser tambm ACD>BAE. Com o mesmo discurso, dividido pelo meio o lado BC,
se demonstra ser o ngulo BCG, isto , ACD>ABC (Pr. 15.1.).
ELEMENTOS DE GEOMETRIA 15
EUCLIDES
Seja o tringulo ABC. Digo, que dois ngulos quaisquer do tringulo ABC,
tomados juntamente, so menores que dois retos.
Produza-se BC para D. Sendo no tringulo ABC o ngulo externo A CD
maior (Pr. 16.1.) que o ngulo interno e oposto ABC; se a um e outro se
ajuntar o ngulo comum ACB, os ngulos ACD, ACB juntos sero maiores que
os ngulos ABC, ACB. Mas ACD, ACB so iguais a dois retos (Pr. 13.1.).
Logo, os dois ngulos ABC, BCA so menores que dois retos. Do mesmo
modo podemos demonstrar serem os ngulos BAC, ACB e os ngulos CAB,
ABC menores que dois retos.
Seja o tringulo ABC, e seja o lado AC>AB. Digo que o ngulo ABC>BCA.
Sendo AC>AB, poder tomar-se AD = AB (Pr. 3.1.).
Tire-se a reta BD. Porque no tringulo BDC o ngulo externo> ADB
maior que o ngulo interno e oposto BCD (Pr. 16.1.) ; e ADB = ABD, por ser
AB = AD (Pr. 5.1.); ser o ngulo, ABD>ACB, e por conseqncia ABC muito
maior que ACB.
Seja o tringulo ABC. Digo que dois quaisquer lados do tringulo ABC so
maiores que o terceiro; isto , os lados BA, AC so maiores que o lado BC; os
lados AB, BC so maiores que o lado AC: e os lados BC, CA so maiores que' o
lado AB.
Produza-se BA, para D, e posta AD = CA (Pr. 3.1.), tire-se a reta DC.
Sendo DA = AC, ser o ngulo ADC = ACD (Pr. 5.1.). Mas BCD>ACD. Logo,
ser BD> ADC. E porque no tringulo DCB o ngulo BCD>BDC; e' ao
ngulo maior fica oposto o lado tambm maior (Pr. 19.1.), ser o lado DB
>BC. Mas DB igual aos dois lados juntos ,BA, AC. Logo os dois lados BA, AC
ELEMENTOS DE GEOMETRIA 16
EUCLIDES
so maiores que O lado BC. Do mesmo modo se prova que os lados AB, BC
so maiores que o lado CA; e que os lados BC, CA so maiores que o lado AB.
ELEMENTOS DE GEOMETRIA 17
EUCLIDES
Seja dada a reta AB, e nela o ponto A; e seja dado o ngulo retilneo
DCE. Deve-se formar no ponto A, e com a reta dada AB um ngulo retilneo
igual ao ngulo proposto DCE.
Tomados os pontos D, E, como se quiser, nos lados do ngulo DCE, tire-
se a reta DE; e com trs lados, que sejam iguais s trs retas CD, DE, EC,
faa-se (Pr. 22.1.) o tringulo AFG, e seja CD = AF, CE = AG, e DE = FG.
Digo, que o ngulo F AG ser igual ao proposto DCE. Porque as duas DC, CE
so iguais s duas F A, AG, cada uma a cada uma, e a base DE = FG outra
base; ser o ngulo DOE = F AG (Pr. 8.1. ). Logo, com a reta dada AB, e no
ponto A temos feito o ngulo retilneo FAG igual ao ngulo retilneo dado DCE.
Sejam os dois tringulos ABC, DEF, que tenham os lados AB, AC iguais
aos lados DE, DF, cada um a cada um, isto , o lado AB = DE, e AC = DF; e
seja o ngulo BAC>EDF. Digo que ser tambm a base BC>EF, que a outra
base.
Seja DE no maior que, DF. Com a reta DE e no ponto D faa-se (Pr.
23.1.) o ngulo EDG = BAC; e posta DG = DE (Pr. 3.1.), tirem-se as retas EG,
GF. Sendo AB = DE, e AC = DG, sero as duas BA, AC, iguais s duas ED, DG,
cada uma a cada uma. Mas o ngulo BAC = EDG. Logo, ser a base BC = EG
outra base (Pr. 4.1.). E sendo DG = DF, ser o ngulo DFG = DGF (Pr. 5.1.).
Mas o ngulo DGE>DGF. Logo ser o ngulo DEG>EGF. Logo, o ngu]o EFG
muito maior que o ngulo EGF. E porque ,no tringulo EFG o ngulo
EFG>EGF; e ao ngulo maior fica oposto o lado tambm maior (Pr. 19.1), ser
o lado EG>EF. Mas EG = BC. Logo ser BC>EF.
Sejam os dois tringulos ABC, DEF, que tenham. os l/1dOfj AB, AC iguais
aos lados DE, DF, cada uma a cada um, iHLn , AB = DE, e AC = DF, e seja a
base BC>EF. Digo fll'" ser o ngulo BAC>EDF.
ELEMENTOS DE GEOMETRIA 18
EUCLIDES
Sejam os dois tringulos ABO, DEF, que tenham os ngulos ABO, BOA
iguais aos ngulos DEF, EFD, cada um a cada um, isto , ABO = DEF, e BCA =
EFD; e tenham um lado igual a um lado, e sejam stes lados em primeiro,
lugar adjacentes a ngulos iguais, isto , BC = EF. Digo que os outros lados
so iguais aos outros lados, cada um a cada um, isto , AB = DE, e AC = DF; e
o ngulo BAC = EDF outro ngulo.
Se AB, DE no so retas iguais, uma delas sera maior. Seja AB maior.
Ponha-se BG = DE, e tire-se a reta GC. Sendo BG =DE, e BC = EF, as duas
GB, BC sero iguais s duas DE, EF, cada uma a cada uma. Mas o ngulo
GBO = DEF. Logo ser a base GO = DF outra base (Pr. 4.1.); e o tringulo
GBC = DEF outro tringulo; e os outros ngulos opostos a lados iguais sero
respectivamente iguais entre si. Logo ser o ngulo GCB = DFE. Mas temos
posto DFE = BCA. Logo ser o ngulo BCG = BCA, isto , um ngulo menor
igual a um maior, o que no pode ser, e por consequncia AB, DE no so
desiguais. Logo so iguais. Mas BC = EF. Logo as duas AB, BC so iguais s
duas DE, EF, cada uma a cada uma. Mas tambm o ngulo ABC = DEF.
Logo, ser a base AC = DF, que a outra base, e o ngulo BAC = EDF (Pr.
4.1.).
Sejam agora iguais os lados (Fig. 47.), que ficam opostos a ngulos
iguais, isto , seja AB = DE. Digo outra vez que os outros lados so iguais aos
outros lados, isto , AO= DF, e BO = EF; e tambm que o ngulo BAC =
EDF.
Se as retas BO, EF no so iguais, uma delas ser maior que a outra.
Seja BC, se possvel, a maior; e posta BH = EP, tire-se a reta AH. Sendo BH
= EF, e AB = DE, as duas AB, BH sero iguais s duas DE, EF, cada uma a
cada uma. Mas os ngulos feitos por estas retas so iguais. Logo, a base AH
ser igual base DF; e o tringulo ABH igual ao tringulo DEF; e os outros
ngulos iguais aos outros ngulos, segundo ficam opostos a lados iguais. Logo,
ser o ngulo BHA. = EFD. Mas pela hiptese EFD = BCA. Logo ser BHA =
BCA; isto , o ngulo externo BHA do tringulo AHC ser igual ao interno e
oposto BCA, o que no pode ser (Pr. 16.1.). Logo, as retas BC, EF no so
desiguais. Logo, so iguais. Mas AB = DE. Logo, as duas AB, BC so iguais
ELEMENTOS DE GEOMETRIA 19
EUCLIDES
s duas DE, EF, cada uma a cada uma. Mas os ngulos feitos por elas so
iguais. Logo, a base AC = DF outra base, e o ngulo BAC = EDF.
A reta EF corte as outras duas AB, CD e faa com elas os ngulos alternos
AEF, EFD iguais. Digo, que AB, CD so duas paralelas.
Se AB, CD no so paralelas, produzidas ho de concorrer ou para as
partes B, D, ou para as partes A, C. Produzam-se, e concorram para as partes
B, D no ponto G. Logo, no tringulo GEF, deve ser o ngulo externo AEF>EFG,
flue o interno e oposto (Pr. 16.1.). Mas, pela hiptese, era AEF = EFG, o que
j no pode ser. Logo, as duas retas AB, CD produzidas para as partes B, D
no concorrem. Do mesmo modo se demonstrar, que nem podem concorrer
para ns partes A, C. Mas as linhas retas, que produzidas nunca concorrem nem
para uma, nem para outra parte, so paralelas (Def. 35.). Logo, as duas retas
AB, CD so paralelas.
A reta EF corte as duas AB, CD, e faa o ngulo externo EGB = GRD, que
o interno e oposto da mesma parte; ou faa os dois internos da mesma
parte BGR, GRD iguais a dois retos. Digo que as retas AB, CD so paralelas.
Sendo o ngulo EGB = GHD, e EGB = AGH (Pr.15.1.), ser AGH = GHD.
Mas so alternos. Logo AB ser paralela a CD (Pr. 27.1.). E porque os ngulos
BGH, GHD so iguais a dois retos, pela hiptese e tambm os ngulos AGH,
BGH so iguais a dois retos (Pr. 13.1.), os dois AGH, BGH sero iguais aos dois
BGH, GHD. Logo, tirando o ngulo comum BGH, ficar AGH = GHD. Mas so
alternos. Logo, as duas retas AB, CD so paralelas.
Uma linha reta, que corta duas retas paralelas, faz os ngulos
alternos iguais entre si o ngulo externo igual ao interno e
oposto da mesma parte, e finalmente os internos da mesma
parte iguais a dois retos (Fig. 49.).
A linha reta EF corte as duas AB, CD, paralelas. Digo que far com elas os
ngulos alternos AGH, GHD iguais; e que o angulo externo EGB ser igual ao
interno e oposto da mesma parte GHD e que os internos e da mesma parte
BGH, GHD sero iguais a dois retos.
ELEMENTOS DE GEOMETRIA 20
EUCLIDES
Sejam as retas AB, CD paralelas mesma reta EF. Digo que as retas AB,
CD so paralelas entre si.
A reta GHK corte as trs retas AB, EF, CD nos pontos G, H, K. Porque a
reta GK corta as duas paralelas AB, EF em G, e H, ser o ngulo AGH = GHF
(Pr. 29.1.). E porque a mesma reta GK corta as paralelas EF, CD em H, e K,
ser tambm o ngulo GHF = GKD. Mas temos visto ser AGK = GHF. Logo,
ser AGK =GKD. Mas so os ngulos alternos. Logo, as retas AB, CD so entre
si paralelas (Pr. 27 . 1. ).
Seja o ponto A, e a reta BC. Deve-se do ponto A conduzir uma linha reta,
que seja paralela reta BC.
Tome-se na reta BC um qualquer ponto D, do qual se tire a reta DA para
o ponto A. Com a reta DA se faa no ponto A o ngulo DAE = ADC (Pr. 23.1.);
e se produza EA para F. Digo que estar feito o que se pede.
Porque a reta AD cortando as duas BC, EF, faz os ngulos alternos EAD,
ADC iguais entre si, ser EF paralela a BC (Pr. 27.1.). Logo do ponto dado A
temos conduzido a reta EAF paralela reta dada BC.
ELEMENTOS DE GEOMETRIA 21
EUCLIDES
Seja o tringulo ABC, e um lado dle BC seja produzido para D. Digo que
o ngulo externo ACD igual aos dois internos e opostos CAB, ABC; e que os
trs ngulos intern08 ABC, BCA, CAB do mesmo tringulo ABO so iguais a
dois retos.
Pelo ponto C tire-se a reta CE paralela a AB (Pr. 31.1.). Sendo AB, CE
paralelas, e cortadas pela reta AC, os ngulos alternos BAC, A,CE sero iguais
(Pr. 29.1.). E as mesmas paralelas AB, CE, sendo cortadas pela reta BD, o
ngulo externa ECD ser igual ao interno e oposto ABC (Pr. 29.1.). Mas temos
demonstrado ser ACE = BAC. Logo, o ngulo externo e total ACD igual aos
dois internos e opostos CAB, ABC. Ajunte-se-lhes o mesmo ACB; e os dois
ACD, ACB sero iguais aos trs CBA, BAC, ACB. Mas os dois ACD, AGB so
iguais a dois retos (Pr. 13.1.). Logo, os trs CBA, BAC, ACB sero tambm
iguais a dois retos.
COROL. 1. Todos os ngulos internos de qualquer figura retilnea,
juntamente com quatro retos, so iguais a duas vzes tantos retos, quantos
so os lados da figura (Fig. 53.).
Uma figura retilnea qualquer ABCDE pode-se dividir em tantos tringulos,
quantos so os lados da mesma figura, tomando, como se quiser, dentro da
figura um ponto F, e tirando dste ponto para todos os ngulos da figura
outras tantas retas, como FA, FB, FC, FD, FE. Mas pela precedente proposio,
todos os ngulos dstes tringulos tomados juntamente so iguais a duas
vzes tantos retos, quantos so os mesmos tringulos, isto , quantos so os
lados da figura; e ao mesmo tempo os ditos ngulos so iguais aos ngulos da
figura juntamente com os outros ao redor do ponto F, que o vrtice comum
de todos os tringulos, isto , juntamente com quatro retos (Cor. 2. Pr. 15.1.).
Logo, todos os ngulos da figura, e mais quatro retos, so iguais a duas vzes
tantos retos, quantos so os lados da mesma figura.
COROL, 2. Todos os ngulos externos de 1trlUl figura qualq1ter tomados
juntamente so iguais a quatro retos (Fig. 54.).
O ngulo interno ABC, juntamente com o externo adjacente ABD, igual
a dois retos (Pr. 13.1.). Logo; todos os internos juntamente com todos os
externos so iguais a duas vzes tantos retos, quantos so os lados da figura;
isto , pelo corolrio precedente, so iguais a todos os ngulos internos da
figura, juntamente com quatro retos. Logo, tirados os ngulos internos, ficaro
os externos iguais a quatro retos.
ELEMENTOS DE GEOMETRIA 22
EUCLIDES
ABC = BCD. Logo,ser a base AC = BD, que a outra base (Pr. 4.1.); e o
tringulo ABC igual ao tringulo BCD, e os mais ngulos iguais aos mais
ngulos (Pr. 4.1.), cada um a cada um, segundo ficam opostos a lados iguais.
Logo, deve ser o ngulo ACB = CBD. Logo, a reta BC, fazendo com as duas
AC, BD os ngulos alternos ACB, CBD iguais, as duas retas AC, BD sero
paralelas (Pr. 27.1.). E j temos demonstrado que so tambm iguais.
ELEMENTOS DE GEOMETRIA 23
EUCLIDES
= BC. Logo, ser AD = EF (Ax. 1.). Ajunte-se a mesma reta DE, ou tire-se.
Ser AE = DF, isto , o todo igual ao todo, ou o resto igual ao resto (Ax. 2.3.).
Mas -AB = DC. Logo, as duas EA, AR so iguais s duas FD, DC, cada uma a
cada uma. Mas o ngulo externo FDC igual (Pr. 29. 2.) ao interno EAB. Ser
o tringulo EAB = FDC outro tringulo (Pr. 4.1.). Do trapzio ABCF tire-se o
tringulo FDC; e do mesmo trapzio ABCF tire-se o tringulo EAB. Logo, os
paralelogramos ABCD, EBCE, que so os restos, sero iguais (Ax. 3.) entre si.
Os tringulos ABC, DBC, estejam postos sbre a mesma base BC, e entre
as mesmas paralelas AD, BC. Digo que os tringulos ABC, DBC so iguais.
Produza-se AD de uma e outra parte para E, e F, e pelo ponto B tire-se
BE paralela a CA, e pelo ponto C tire-se CF paralela a BD (Pr. 31.1.). Logo,
EBCA, DBCF sero dois paralelogramos. Mas stes paralelogramos so iguais
(Pr. 35. 1.), por estarem sbre a mesma base BC, e entre as mesmas
paralelas BC, EF; e o tringulo ABC a metade (Pr. 34.1.) do paralelogramo
EBCA, que fica dividido em duas partes iguais pela diagonal AB, como tambm
o tringulo DBC a metade do paralelogramo DBCF, que dividido em duas
partes iguais pela diagonal DC. Logo, ser o tringulo ABC = DBC, outro
tringulo, porque as metades de quantidades iguais so tambm iguais (Ax.
7.).
PROP. XXXVIII. TEOR.
ELEMENTOS DE GEOMETRIA 24
EUCLIDES
ELEMENTOS DE GEOMETRIA 25
EUCLIDES
Estejam sbre a mesma base BC, e entre as mesmas paralelas BC, AE, eo
paralelogramo ABCD, e o tringulo EBC. Gigo que o paralelogramo ABCD o
dbro do tringulo EBC.
Tire-se a reta AC. Logo os tringulos ABC, EBC so iguais (Pr. 37.1.), por
estarem sbre a mesma base BC, e entre as mesmas paralelas BC, AE. Mas o
paralelogramo ABCD o dbro do tringulo ABC (Pr. 34.1.), porque dividido
em duas partes iguais pela diagonal AC. Logo, tambm o paralelogramo ABCD
ser o dbro do tringulo EBC.
ELEMENTOS DE GEOMETRIA 26
EUCLIDES
ELEMENTOS DE GEOMETRIA 27
EUCLIDES
Seja o tringulo retngulo ABC, cujo ngulo reto seja BAC. Digo que o
quadrado feito sbre o lado BC igual aos quadrados descritos sbre os lados
BA, AC, que formam o ngulo reto BAC.
Descreva-se sbre BC o quadrado BDEC (Pr. 46.1.), e sbre BA, AC os
quadrados GB, HC. Pelo ponto A tire-se AL, paralela (Pr. 31.1.) a BD, ou CE,
tirem-se tambm as retas AD, FC. Porque os ngulos BAC, BAG so retos
(Def. 30.), as duas retas CA, AG esto em direitura uma com outra (Pr.
14.1. ). O mesmo ser a respeito das duas AB, AH. Os ngulos DBC, FBA, por
serem retos, so iguais. Ajunte-se-lhes o mesmo ngulo ABC. Logo, o total
DBA ser igual ao total FBC (Ax. 2.). E sendo as duas AB, BD iguais s duas
ELEMENTOS DE GEOMETRIA 28
EUCLIDES
FB, BC, cada uma a cada uma, e o ngulo DBA = FBC, ser o tringulo ABD =
FBC outro tringulo (Pr. 4.1.). Mas o paralelogramo BL o dbro (Pr. 41.1.) do
tringulo ABD, porque est sbre a mesma base BD, e entre as mesmas
paralelas BD, AL; e o quadrado GB o dbro do tringulo FBC, porque tem a
base comum FB, e esto entre as mesmas paralelas FB, GC. Logo, sendo
iguais os dobros de quantidades iguais (Ax. 6.), deve ser o paralelogramo BL
igual ao quadrado GB. Do mesmo modo, tiradas as retas AE, BK, se
demonstra, que o paralelogramo CL igual ao quadrado HC. Logo, o quadrado
inteiro BDEC, feito sbre o lado BC oposto ao ngulo reto BAC, igual aos dois
quadrados GB, HC formados sbre os lados BA, AC, que fazem o mesmo
ngulo reto BAC.
ELEMENTOS DE GEOMETRIA 29
LIVRO II
EUCLIDES
DEFINIES
II
PROP. I. TEOR.
ELMENTOS DE GEOMETRIA 31
EUCLIDES
ELMENTOS DE GEOMETRIA 32
EUCLIDES
PROP. V. TEOR.
ELMENTOS DE GEOMETRIA 33
EUCLIDES
ELMENTOS DE GEOMETRIA 34
EUCLIDES
ELMENTOS DE GEOMETRIA 35
EUCLIDES
tambm AF. Sendo AC = CE, ser o ngulo EAC = AEC (Pr. 5.1.). E porque o
ngulo ECA reto, sero os dois AEC, EAC juntos iguais a um reto (Pr. 32.1.),
e por conseqncia cada um dles ser a metade de um ngulo reto. Pela
mesma razo, cada um dos ngulos CEB, EBC deve ser a metade de um reto.
Logo, o ngulo total AEB reto. E porque o ngulo GEF a metade de um
reto, e EGF um reto, por ser igual ao ngulo ECB interno e oposto (Pr.
29.1.), ser o outro ngulo EFG tambm a metade de um reto. Logo, ser o
ngulo GEF = EFG e, por conseqncia, EG= GF (Pr. 6.1.). Tambm, sendo o
ngulo B semi-reto, e FDB reto, por ser ste igual a ECB interno e oposto, ser
o ngulo BFD semi-reto. Logo, ser o ngulo B = BFD e, conseqen-' temente,
DF = DB (Pr. 6.1.). E sendo AC = CE, ser o quadrado de AC igual ao
quadrado de CE. Logo, os quadrados de AC e de CE juntamente fazem o dbro
do quadrado de AC. Mas o quadrado de EA igual aos quadrados de AC e de
CE (Pr. 47.1.), por ser o ngulo ACE reto. Logo, o quadrado de EA o dbro
do quadrado de AC. Tambm, sendo EG = GF, ser o quadrado de EG igual ao
quadrado de GF. Logo, os quadrados de EG e de GF so o dbro do quadrado
de GF. Mas o quadrado de EF igual aos quadrados de EG e de GF. Logo, o
quadrado de EF ser o dbro do quadrado de GF. Mas GF = CD (Pr. 34.1.).
Logo, o quadrado de EF o dbro do quadrado de CD. Mas tambm o
quadrado de AE o dbro do quadrado de AC. Logo, os quadrados de AE, e de
EF so o dbro dos quadrados de AC e de CD. Mas o quadrado de AF igual
aos quadrados de AE e de EF, por ser o ngulo AEF reto. Logo, o quadrado de
AF o dbro dos quadrados de AC e de CD. Mas os quadrados de AD, e de DF
so iguais ao quadrado de AF; porque o ngulo ADF reto. Logo, os
quadrados de AD e de DF so o dbro dos quadrados de AC e de CD. Mas DF
= DB. Logo, os quadrados de AD e de DB so o dbro dos quadrados de AC e
de CD.
PROP. X. TEOR.
ELMENTOS DE GEOMETRIA 36
EUCLIDES
AG. Porque temos AC = CE, ser o ngulo CEA = EAC (Pr. 5.1.). Mas o ngulo
ACE reto. Logo, cada um dos ngulos CEA, EAC ser semi-reto. Pela mesma
razo semi-reto cada um dos ngulos CEB, EBC. Logo, o ngulo AEB deve
ser reto. E porque EBC semi-reto, ser DBG tambm semi-reto (Pr. 15.1.).
Mas BDG reto, porque igual ao alterno DCE (Pr. 29.1.). Logo, DGB ser
semi-reto. Logo, ser DGB = DBG, e por conseqncia BD = DG (Pr. 6.1.)
Tambm, sendo EGF semi-reto, e sendo F reto, por ser igual ao ngulo oposto
ECD (Pr. 34.1.), ser FEG semi-reto. Logo, ser EGF = FEG, e GF = FE. E
porque temos EC = CA, ser o quadrado de EC igual ao quadrado de CA. Logo,
os quadrados de EC e de CA so o dbro do quadrado de CA. Mas o quadrado
de EA igual aos quadrados de EC e de CA (Pr. 47.1.). Logo, o quadrado de
EA o dbro do quadrado de AC. Tambm, sendo GF = FE, ser o quadrado
de GF igual ao quadrado de FE. Logo, os quadrados de GF e de FE so o dbro
do quadrado de EF. Mas o quadrado de EG igual aos quadrados de GF e de
FE. Logo, o quadrado de EG o dbro do quadrado de EF. Mas EF, CD so
iguais. Logo, o quadrado de EG o dbro do quadrado de CD. Mas temos
demonstrado ser o quadrado de EA o dbro do quadrado de AC. Logo, os
quadrados de AE e de EG so o dbro dos quadrados de AC e de CD. Mas o
quadrado de AG igual aos quadrados de AE e de EG.Logo, o quadrado de AG
o dbro dos quadrados de AC e de CD. Mas os quadrados de AD e de DG so
iguais ao quadrado de AG. Logo, os quadrados de AD e de DG so o dbro dos
quadrados de AC e de CD. Mas DG = DB. Logo, os quadrados de AD e de DB
so o dbro dos quadrados de AC e de CD.
ELMENTOS DE GEOMETRIA 37
EUCLIDES
= HD. Mas HD o retngulo compreendido pelas retas AB, BH, por ser AB =
BD; e FH o quadrado de AH. Logo, o retngulo de AB, BH, igual ao
quadrado de AH. Logo, temos dividido a reta AB no ponto H, de sorte que o
retngulo compreendido pelas retas AB, BH igual ao quadrado de AH.
ELMENTOS DE GEOMETRIA 38
EUCLIDES
ELMENTOS DE GEOMETRIA 39
EUCLIDES
ELMENTOS DE GEOMETRIA 40
LIVRO III
EUCLIDES
DEFINIES.
II
III
IV
Mas uma reta se diz mais distante do centro que outra reta, quando a
perpendicular, que do centro cai sbre a primeira reta, maior que a
perpendicular, que do mesmo centro cai sbre a segunda (Fig. 2.).
VI
Segmento de crculo uma figura compreendida por uma linha reta e por
uma poro da circunferncia do crculo (Fig.3.).
VII
VIII
ELEMENTOS DE GEOMETRIA 42
EUCLIDES
IX
Setor de crculo uma figura formada por duas retas, que fazem um
ngulo no centro, e por aquela poro da circunferncia, que as ditas retas
compreendem entre si (Fig. 5. ).
XI
PROP. I. PROB.
ELEMENTOS DE GEOMETRIA 43
EUCLIDES
Seja o crculo ABC, e dentro dle a reta CD tirada pelo centro E, a qual
corte pelo meio no ponto F a reta AB, que no passa pelo centro. Digo que CD
perpendicular a AB.
Achado o centro (Pr. 1.3.). E do crculo ABC, tirem-se as retas EA, EB.
Sendo AF = FB, e FE comum, as duas AF, FE sero iguais s duas BF, FE, cada
uma a cada uma. Mas a base EA = EB outra base. Logo, ser o ngulo AFE =
BFE (Pr. 8.1.). Mas quando uma linha reta, caindo sbre outra, faz os ngulos
adjacentes iguais entre si, cada um dstes ngulos reto (Def. 10.1.). Logo,
os ngulos AFE, BFE so retos, e por conseqncia a reta CD, que passando
pelo centro corta em duas partes iguais a reta AB, que no passa pelo centro,
perpendicular sbre a mesma reta AB.
Seja agora CD perpendicular a AB. Digo que C]) corta .a reta AB em duas
partes iguais, de maneira que AF = FB. Feita a mesma construo como.
acima, sendo EA = EB, por serem semidimetros do mesmo crculo, ser o
ngulo EAF = EBF (Pr. 5.1.). Mas tambm. AFE = BFE por serem ambos
stes ngulos retos. Logo, os dois tringulos EAF, EBF tm dois ngulos iguais
a dois ngulos, cada um a cada um, e um lado igual a um lado, isto , o lado
ELEMENTOS DE GEOMETRIA 44
EUCLIDES
comum EF, que oposto a ngulos iguais. Logo, os outros lados dos ditos
tringulos sero iguais aos outros lados, cada um a cada um (Pr. 26.1.) e por
conseqncia ser AF = FB.
PROP. V. TEOR.
ELEMENTOS DE GEOMETRIA 45
EUCLIDES
assim FE = FB, isto , uma reta menor igual a uma maior, o que no pode ser.
Logo, no o ponto F o centro comum dos crculos ABC, CDE.
ELEMENTOS DE GEOMETRIA 46
EUCLIDES
ELEMENTOS DE GEOMETRIA 47
EUCLIDES
PROP. X. TEOR.
ELEMENTOS DE GEOMETRIA 48
EUCLIDES
Seja o crculo ABDC, e nle as retas iguais AB, CD, tiradas entre os
pontos da circunferncia A, B, C, D. Digo que que estas distam igualmente do
centro.
Seja E o centro do crculo ABDC, e do ponto E caiam caiam sobre as retas
AB, CD as perpendiculares EF, EG. Tirem-se as retas AE, EC. Porque a reta EF,
ELEMENTOS DE GEOMETRIA 49
EUCLIDES
que passa pelo centro, corta perpendicularmente a reta AB, que no passa
pelo centro, esta reta AB ficar dividida em duas partes iguais. (Pr. 3.3.), e
ser AF = FB, e assim AB ser o dbro de AF. Pela mesma razo ser CD o
dbro de CG. Mas AB = CD. Logo, ser AF =CG. Sendo pois AE = EC, ser o
quadrado de AE igual ao quadrado de EC. Mas os quadrados de AF, FE so
iguais (Pr. 47.1.) ao quadrado de AE, por ser reto o ngulo AFE; e os
quadrados de EG, GC so iguais ao quadrado de EC, porque o ngulo EGC
reto. Logo, os quadrados de AF, FE so iguais aos quadrados de CG, GE. Mas o
quadrado de AF igual ao quadrado de CG, por ser AF = CG. Logo, o
quadrado de FE ser igual ao quadrado de EG, e assim ser: FE = EG. Mas em
um crculo as retas distam igualmente do centro, quando as perpendiculares,
que do centro caem sbre elas, so iguais (Def. 4.3.). Logo, as retas AB, CD
distam igualmente do centro E.
Sejam agora as retas AB, CD igualmente distantes do centro E, isto ,
seja FE = EG. Digo que ser AB = CD. Feita a mesma construo como acima,
se poder do mesmo modo demonstrar que a reta AB a dbro da reta AF, e
CD o dbro de CG. E porque temos AE = EC, o quadrado de AE ser igual ao
quadrado de EC. Mas as quadrados de EF, FA so iguais ao quadrado de AE; e
os quadrados de EG, GC so iguais ao quadrado de EC. Logo, os quadrados de
EF, FA so iguais aos quadrados de EG, GC. Mas a quadrado de EF igual ao
quadrado de EG, por ser EF = EG. Logo, a quadrado de AF ser igual ao
quadrado de CG, e por conseqncia ser AF = CG.Mas AB a dbro de AF, e
CD o dbro de CG. Logo, ser AB = CD.
ELEMENTOS DE GEOMETRIA 50
EUCLIDES
Seja porm BC>FG. Digo, que a reta BC estar mais perto do centro do
que a reta FG; isto , feita a mesma construo, ser EH<EK. Porque sendo
BC>FG, ser BH>FK. Mas os quadrados de BH, HE so iguais aos quadrados
de FK, KE, dos quais a quadrado de BH maior que a quadrado de FK, por ser
BH>FK. Logo, o quadrado de EH ser menor que o quadrado de EK, e por
conseqncia ser EH<EK.
Seja a crculo ABC, cujo centro seja D, e a dimetro AB. Digo que a reta,
que se levantar da extremidade A, perpendicularmente, sbre o dimetro AB,
cair tda fora do crculo ABC.
No seja assim, mas caia, se possvel, dentro do crculo, como a reta
AC. Tire-se DC. Sendo DA = DC, ser o ngulo DAC = ACD (Pr. 5.1.). Mas DAC
reto. Logo, ser tambm reto o ngulo ACD. Logo, no tringulo ACD, os dois
ngulos DAC, ACD sero iguais a dois retos, o que no pode ser (Pr. 17.1.).
Logo, a reta, que do ponto A, se levante perpendicularmente sbre o dimetro
BA, no cai dentro do crculo. Do mesmo modo se pode demonstrar, que no
assenta sbre a circunferncia. Logo, cai fora do crculo, como a reta AE (Fig.
24.).
Digo mais que entre a reta AE e a circunferncia ACB no se pode
conduzir outra linha reta alguma (Fig. 24.).
Porque, se possvel, entre a circunferncia ACB, e a perpendicular AE,
esteja tirada a reta FA. Do ponto D seja conduzida sbre F a perpendicular
(Pr. 12.1.) DHG. Por ser o ngulo AGD reto, e o ngulo DAG menor que um
reto (Pr.17.1.), ser DA>DG (Pr. 19.1.). Mas teremos DA = DH. Logo, ser DH
>DG, o que absurdo, sendo DH<GD. Logo, entre a reta AE e a circunferncia
ACB, no se poder tirar outra linha reta alguma; isto , a circunferncia do
crculo passar entre a perpendicular, sbre o dimetro, e a reta, que com o
dimetro fizer um ngulo agudo, por grande que seja; ou tambm a mesma
circunferncia passar entre a dita perpendicular e outra reta, que faa com a
perpendicular um ngulo qualquer, por pequeno que seja.
Isto somente, e no outra coisa alguma se deve entender, quando no
texto grego e nas verses o ngulo do semicrculo chamado o maior entre
todos os ngulos agudos; e o outro, que falta para o complemento de um
ngulo reto, o menor entre todos os ngulos tambm agudos.
ELEMENTOS DE GEOMETRIA 51
EUCLIDES
COROL. Do que se tem demonstrado fica claro, que a reta, a qual de uma
extremidade do dimetro de um crculo se levanta perpendicularmente sbre o
mesmo dimetro, tangente do crculo e o toca em um ponto s; porque j
temos visto que uma reta, que encontra a circunferncia de um crculo em
dois pontos, est dentro do crculo (Pr . 2.3.). Tambm se faz evidente que
uma s linha reta pode ser tangente de um crculo, no mesmo ponto.
ELEMENTOS DE GEOMETRIA 52
EUCLIDES
ELEMENTOS DE GEOMETRIA 53
EUCLIDES
stes ngulos por base o mesmo arco BCD, ser o ngulo BFD o dbro (Pr.
20.3.) do ngulo BAD. Pela mesma razo o ngulo BFD o dbro do ngulo
BED. Logo, ser o ngulo BAD = BED.
Agora o segmento (Fig. 31.) BAED no seja maior que o semicrculo; e
nle existam os ngulos BAD, BED. Deve-se demonstrar que stes ngulos so
iguais entre si. Tirado o dimetro AFC e a reta CE, o segmento BAEC ser
maior que o semicrculo. Logo, os ngulos BAC, BEC existentes no segmento
BAEC sero iguais. Com a mesma demonstrao se prova serem iguais os
ngulos CAD, CED. Logo, sero tambm iguais os ngulos totais BAD,BED.
ELEMENTOS DE GEOMETRIA 54
EUCLIDES
ELEMENTOS DE GEOMETRIA 55
EUCLIDES
Nos crculos iguais ABC, DEF, e sbre os arcos iguais BC, EF estejam
postos os ngulos EGC, EHF feitos nos centros G, H, e tambm os ngulos
BAC, EDF existentes nas circunferncias BAC, EDF. Digo que ser o ngulo
BGC = EHF, e BAC = EDF.
Se fr o ngulo BGC = EHF, claro est que ser tambm o ngulo BAC =
EDF. (Pr.20.3.). Mas se supusermos que um dles maior que o outro, seja
BGC o maior. Sbre a reta BG, e no ponto G, faa-se (Pr.23.1.) o ngulo BGK
= EHF. Os ngulos, feitos nos centros e iguais entre si, assentam sbre arcos
iguais (Pr. 26.3.). Logo, ser o arco BK igual ao arco EF. Mas era EF = BC.
Logo, deve ser BE = BC, o que no possvel, sendo BK<DC. Logo, no so
desiguais os ngulos BGC, EHF. Logo, so iguais. Mas o ngulo A a metade
(Pr. 20.3.) do ngulo BGC, e o ngulo D a metade do ngulo HEF. Logo, ser
tambm A = D.
Sejam os crculos iguais ABC, DEF, e as cordas iguais BC, EF, que dividam
as circunferncias dos crculos nos arcos maiores BAC, EDF, e nos arcos
menores BGC, EHF. Digo que ser BAC = EDF, e BGC = EHF.
Achados os centros (Pr. 1.3.) dos crculos K, L, tirem-se as retas BK, KC,
EL, LF. Porque os crculos so iguais, os raios tambm devem ser iguais. Logo,
sero as duas retas BK, KC iguais s duas EL, LF. Mas a base BC = EF outra
base. Logo, ser o ngulo BKC = ELF (Pr. 8.1.). Mas os ngulos iguais, e que
ELEMENTOS DE GEOMETRIA 56
EUCLIDES
existem nos centros, assentam sbre arcos iguais (Pr. 26.3.) Logo, ser o arco
BGC igual ao arco EHF. Logo, sendo as circunferncias ABC, DEF iguais entre
si, tambm ser o arco BAC igual ao EDF.
Seja dado o arco ADB. Deve-se dividir o arco ADB em duas partes iguais.
Tire-se a reta AB, e divida-se pelo meio (Pr .10.1.) no ponto C. Dste
ponto C levante-se sbre AB a perpendicular CD, e tirem-se as retas AD, BD.
Sendo pois AC = CB, e CD comum, sero as duas AC, CD, iguais s duas BC,
CD. Mas o ngulo ACD = BCD, por serem um e outro retos. Logo, ser a
base AD igual (Pr. 4.1.) base BD. Mas cordas iguais cortam arcos iguais; isto
, o arco maior igual ao maior, e o menor igual ao menor; (Pr. 28.3.); e cada
um dos arcos AD, DB menor que um semicrculo. Loo, ser o arco AD igual
ao, arco DB.
Seja o crculo ABCD, cujo dimetro seja BC, e o centro E. Tirada a corda
CA que divide o crculo nos dois segmentos ABC, ADC, conduzam-se as retas
BA, AD, DC. Digo que o ngulo BAC, que existe no semicrculo BAC, reto; e o
ngulo ABC, que existe no segmento ABC maior que o semicrculo, agudo; e
o ngulo ADC, que existe no segmento ADC menor que o semicrculo,
obtuso.
Tire-se a reta AE, e produza-se BA para F. Porque temos BE = EA, ser o
ngulo EAB = EBA (Pr. 5.1.). Tambm sendo AE = EC, ser EAC = ECA. Logo,
ELEMENTOS DE GEOMETRIA 57
EUCLIDES
o ngulo total BAC ser igual aos dois ABC, ACB, Mas o ngulo FAC externo
igual aos dois internos (Pr. 32.1.) e opostos ABC, ACB. Logo, ser o ngulo
BAC = FAC, e por conseqncia cada um dles ser reto (Def. 10.1.). Logo, o
ngulo CAB, existente no semicrculo BAC, reto. E porque no tringulo ABC
os dois ngulos ABC, BAC tomados juntos, so menores que dois retos (Pr.
17.1.), e BAC, como fica demonstrado, um ngulo reto; ser o ngulo ABC,
que existe no segmento ABC, maior que o semicrculo, menor que um reto, e
assim ser agudo.
Finalmente, porque o quadriltero ABCD existe em um crculo, e os
ngulos opostos de um quadriltero qualquer, existente em um crculo, so
iguais a dois retos (Pr .22.3.), os ngulos ABC, ADC sero iguais a dois retos.
Mas o ngulo ABC, sendo agudo, menor que um reto. Logo, o ngulo ADC,
existente no segmento ADC menor que o semicrculo, ser maior que um reto,
e por conseqncia ser obtuso.
claro est que a poro AB da circunferncia, a respeito do centro E, cai
para fora da reta AB, que com a base AC de um e outro segmento forma o
ngulo reto para a parte do segmento maior ABC; e que a poro AD cai entre
o mesmo centro E e a reta AF, que com a mesma AC faz o ngulo reto para a
parte do segmento menor ADC.
Isto nada mais se deve entender, quando no texto grego e nas verses
o ngulo do segmento maior se diz maior que um reto; e o ngulo do
segmento menor se diz tambm menor que um reto.
COROL. Disto se pode deduzir, que se em um tringulo um ngulo fr
igual aos outros dois, o dito ngulo deve ser reto. Porque o ngulo adjacente a
ste, o qual ngulo adjacente vem a ser por conseqncia um ngulo externo,
igual queles outros dois ngulos do tringulo; e quando dois ngulos
adjacentes so iguais, cada um dles reto (Def. 10.1.).
ELEMENTOS DE GEOMETRIA 58
EUCLIDES
ABD sero iguais a um reto (Pr. 32.1.). Mas o ngulo ABF reto. Logo, ste
ngulo ABF ser igual aos dois BAD, ABD. Logo, tirando o comum ABD, ficar
o ngulo DBF = BAD, que existe no segmento alterno BAD. Sendo pois a figura
ABCD um quadriltero existente em um crculo, os ngulos opostos dle sero
iguais (Pr. 22.3.) a dois retos. Logo, os ngulos BAD, BCD so iguais aos
ngulos DBF, DBE (Pr. 13.1.). Mas temos visto DBF = BAD. Logo, ser
tambm o ngulo DBE = DOB ngulo existente no segmento alterno DCB.
Seja a linha reta dada AB, e o ngulo retilneo C. Sobre a reta AB deve-se
descrever um segmento de crculo, em que possa existir um ngulo igual ao
ngulo dado C.
Seja em primeiro lugar o ngulo O reto (Fig. 44.). Divida-se AB em duas
partes iguais (Pr. .10.1.) no ponto F; e fazendo centro em F; com o intervalo
FA descreva-se o semicrculo AHB. O ngulo AHB existente no semicrculo AHB
ser reto (Pr. 31.3.), e por conseqncia igual ao ngulo dado C.
No seja reto o ngulo dado C (Figs. 45 e 46.). Sbre a reta AB, e no
ponto dela A faa-se o ngulo BAD igual (Pr. 23.1.) ao ngulo C; e sbre a
reta AD levante-se do ponto A perpendicular (Pr .11.1.) AE, e divida-se a reta
AB pelo meio (Pr .10.1.) no ponto F, do qual ponto F levantada a perpendicular
(Pr .11.1.) FG sbre a mesma AB, tire-se a , reta GB. Sendo AF = FB, e FG
comum, sero as duas AF, FG I iguais as duas BF, FG. Mas o ngulo AFG =
BFG. Logo, ser a base AG = GB outra base (Pr, 4.1.). Logo, o "crculo descrito
com o centro G e com o intervalo GA, deve passar tambm pelo ponto E.
Descreva-se pois, e seja o crculo AHB. Porque da extremidade A do dimetro
AE est levantada a reta AD perpendicular ao mesmo dimetro AE, ser a reta
tangente (Pr. 16.3.) do crculo AHB, no ponto A. Logo, porque do contacto A
est conduzida a reta AB, que divide o , crculo em dois segmentos, ser o
ngulo DAB igual ao ngulo, que pode existir no segmento alterno AHB. Mas
DAB = C ngulo dado. Logo, o ngulo C ser tambm igual ao ngulo no
segmento AHB. Logo, sbre a linha reta dada AB temos descrito o segmento
de crculo AHB, em que pode existir um ngulo igual ao ngulo retilneo dado
C.
ELEMENTOS DE GEOMETRIA 59
EUCLIDES
do ponto do contacto B est tirada a reta BC, ser o ngulo FBC igual ao
ngulo no segmento (Pr. 32.3.) alterno BAC. Mas temos feito o ngulo FBC =
D. Logo, ser o ngulo no segmento BAC igual ao ngulo D; e assim do crculo
ABC temos cortado um, segmento, em que pode existir um ngulo igual ao
ngulo retilneo dado C.
ELEMENTOS DE GEOMETRIA 60
EUCLIDES
ELEMENTOS DE GEOMETRIA 61
EUCLIDES
reto (Pr. 18.3.). Logo, o retngulo de AD, DC, juntamente com o quadrado de
EB, ser igual aos quadrados de EB e de BD. Logo, tirando o quadrado comum
de EB, ficar o retnngulo compreendido pelas retas AD, DC igual ao quadrado
da tangente DB.
COROL. Disto se segue que, se de um ponto qualquer A fora de um
crculo (Fig. 54.) se tirarem duas retas que cortem o crculo, os retngulos
compreendidos pelas retas inteiras e pelas partes delas, que ficam entre o dito
ponto e a parte convexa da circunferncia, sero iguais entre si; isto , ser o
retngulo das retas BA, AE igual ao retngulo das retas CA, AF. E a razo
porque cada um dstes retngulos igual ao quadrado da tangente AD.
Do ponto D fora do crculo ABC estejam tiradas as duas retas DCA, DB,
das quais DCA corte o crculo, e DB seja incidente sbre a circunferncia. Seja
tambm o retngulo compreendido pelas retas AD, DC igual ao quadrado de
DB. Digo que DB tangente do crculo ABC no ponto B.
Do ponto D tire-se reta DE, que toque (Pr. 17.3.) o crculo ABC no
ponto E, e achado o centro F do crculo, tirem-se as retas FE, FB, FD; O ngulo
FED ser reto (Pr. 18.3.), E porque a reta DE toca o crculo ABC, a reta DCA
o corta, o retngulo de AD, DC ser igual (Pr. 36.3.) ao quadrado de DE. Mas
o retngulo das mesmas retas AD, DC se supe igual ao quadrado de DB.
Logo, ser o quadrado de DE igual ao quadrado de DB, e por conseqncia
sar a reta DE igual reta DB. Mas tambem FE = FB. Logo, as duas DE, EF
so iguais as duas DB, FB; cada uma a cada uma. Logo, nos tringulos DEF,
DBF sendo a base FD comum, ser o ngulo DEF = DBF (Pr. 8.1.). Mas o
ngulo DEF reto. Logo, ser tambm reto o ngulo DBF. Mas a reta FB
produzida um dimetro; e uma reta, que de uma extremidade do dimetro,
se levanta perpendicularmente sbre o mesmo dimetro, toca o crculo (Pr.
16.3.). Logo, a reta DB tangente do crculo ABC no ponto B.
ELEMENTOS DE GEOMETRIA 62
LIVRO IV
EUCLIDES
DEFINIES
Uma figura retilnea se diz inscrita em outra figura retilnea, quando cada
um dos ngulos da inscrita toca cada um, isto , o correspondente, dos lados
daquela em que a primeira est inscrita (Fig. 1.).
II
III
Uma figura retilnea se diz inscrita em, um circulo, quando cada um dos
ngulos dela toca a circunferncia do crculo (Fig. 2.).
IV
VI
VII
PROP. I. TEOR.
Seja dado o crculo ABC e a reta D, a qual no seja maior que o dimetro
do crculo ABC. Deve-se inscrever no crculo ABC uma reta igual linha reta D.
Seja BC o dimetro do crculo ABC. Se fr BC = D, estar feito o que se
pede, porque no crculo ABC est, inscrita a reta BC = D. Mas se fr BC>D,
ELEMENTOS DE GEOMETRIA 64
EUCLIDES
ELEMENTOS DE GEOMETRIA 65
EUCLIDES
PROP. V. PROB.
ELEMENTOS DE GEOMETRIA 66
EUCLIDES
ELEMENTOS DE GEOMETRIA 67
EUCLIDES
ELEMENTOS DE GEOMETRIA 68
EUCLIDES
PROP. X. PROB.
ELEMENTOS DE GEOMETRIA 69
EUCLIDES
tanto ACD como CDA Sero o dbro de CAD. Divida-se cada um dos ngulos
ACD, CDA em partes iguais (Pr. 9.1.) com as retas CE, DB, e tirem-se as
cordas AB, BC, DE, EA. Digo que a figura retilnea ABCDE o pentgono que
se pede.
Porque cada um dos ngulos ACD, CDA o dbro do ngulo CAD, e cada
um dos mesmos ngulos ACD, CDA est dividido pelo meio com as retas CE,
DB; os cinco ngulos DAC, ACE, ECD, CDB, BDA sero iguais entre si. Mas os
ngulos iguais e existentes na mesma circunferncia de um crculo assentam
sbre arcos iguais (Pr. 26.3.). Logo, sero tambm iguais entre si os cinco
arcos AB, BC, CD, DE, EA. Mas a arcos iguais da mesma circunferncia
correspondem cordas tambm iguais (Pr. 29.3.). Logo, sero iguais entre si as
cinco retas AB, BC, CD, DE, EA. Logo, o pentgono ABCDE eqiltero. Digo
que tambm eqingulo. Porque, sendo iguais os arcos AB, DE, se
ajuntarmos a uma e outra parte o mesmo arco BCD, ser o arco ABCD igual.
ao arco EDCE. Logo, os ngulos AED, BAE, que assentam sbre os arcos iguais
ABCD, EDCB, sero tambm iguais (Pr. 27 .3.). Com a mesma demonstrao
se prova que cada um dos ngulos ABC, BCD, CDE igual a cada um dos
ngulos BAE, AED. Logo, o pentgono ABCDE eqingulo. Logo, sendo
tambm eqiltero, como se tem demonstrado, temos inscrito em um crculo
dado um pentgono eqiltero e eqingulo.
ELEMENTOS DE GEOMETRIA 70
EUCLIDES
tambm FCK = FCL, porque ambos so ngulos retos. Logo, nos dois
tringulos FKC, FLG h dois ngulos iguais a dois ngulos, cada um a cada um,
e um lado igual a um lado, que o lado comum FC adjascente a ngulos
iguais. Logo, sero os outros lados iguais aos outros lados, e o terceiro ngulo
igual ao terceiro (Pr. 12.1). Logo, ser KC = CL, e o ngulo FKC = FLC. Sendo
pois KC = CL, ser KL o dbro de KC. Pela mesma razo, ser HK o dbro de
BK. E porque temos demonstrado ser BK = KC, KL o dbro de KC, como HK
o dbro de BK, ser HK = KL. Com o mesmo discurso se prova que cada
uma das retas GH, GM, ML deve ser igual a cada uma das duas HK, KL. Logo,
o pentgono GHKLM eqiltero. Digo que tambm equingulo. Porque,
sendo o ngulo FKC = FLC, e sendo HKL o dbro de FKC, como KLM o dbro
de FLC, ser HKL = KLM. Do mesmo modo se provar que cada um dos
ngulos KHG, HGM, GHL igual a cada um dos ngulos HKL, KLM. Logo, os
cinco ngulos GHK, HKL, KLM, LMG, MHG, so iguais entre si. Logo, o
pentgono GHKLM equingulo. Logo, sendo tambm eqiltero e circunscrito
ao crculo ABCDE, temos feito o que se pedia.
ELEMENTOS DE GEOMETRIA 71
EUCLIDES
do mesmo dimetro (Pr. 16.3.). Logo, cada uma das retas AB, BC, CD, DE, EA,
sendo uma tangente do crculo GHKLM, ser ste crculo inscrito no pentgono
ABCDE. Logo, temos inscrito um crculo em um pentgono dado eqiltero e
eqingulo.
ELEMENTOS DE GEOMETRIA 72
EUCLIDES
arcos iguais (Pr. 26.3). Logo, os seis arcos AB, BC, CD, DE, EF, FA so iguais,
como tambm as seis cordas (Pr. 29.3.), AB, BC, CD, DE, EF, FA. Logo, o
hexgono ABCDEF eqiltero. Digo que tambm eqinguIo. Porque,
sendo o arco AF igual ao arco ED, se a uma e outra parte se ajuntar o mesmo
arco ABCD, ser o arco FABCD igual ao arco EDCBA. Mas o ngulo FED assenta
sbre o arco FABCD, e o ngulo AFE assenta sbre o arco EDCBA. Logo, ser
FED = AFE (Pr. 27.3.). Do mesmo modo podemos demonstrar que cada um
dos, outros ngulos do hexgono ABCDEF igual a cada um dos dois AFE,
DEF. Logo, o hexgono ABCDEF eqingulo. Logo, sendo tambm eqiltero
e inscrito no crculo ABCDEF, temos inscrito em um. crculo dado um hexgono
eqiltero e eqingulo.
COROL. Disto se conclui que o lado do hexgono eqiltero e eqingulo
igual ao semidimetro do crculo, no qual o hexgono est inscrito.
Tambm claro que, se pelos pontos A., B, C, D, E, F se tirarem outras
tantas tangentes ao circulo, ficar circunscrito ao mesmo crculo um hexgono
eqiltero e eqingulo, na conformidade do que temos demonstrado a
respeito do pentgono; e que na mesma conformidade se poder inscrever, ou
circunscrever um crculo a um hexgono dado eqiltero e eqingulo.
ELEMENTOS DE GEOMETRIA 73
LIVRO V
EUCLIDES
DEFINIES
III
IV
VI
VII
VIII
IX
ELEMENTOS DE GEOMETRIA 75
EUCLIDES
XI
XII
XIII.
ELEMENTOS DE GEOMETRIA 76
EUCLIDES
XIV
XV
XVI
XVII
XVIII
XIX
ELEMENTOS DE GEOMETRIA 77
EUCLIDES
XX
AXIOMAS I
II
III
IV
PROP. I. TEOR.
ELEMENTOS DE GEOMETRIA 78
EUCLIDES
ELEMENTOS DE GEOMETRIA 79
EUCLIDES
ELEMENTOS DE GEOMETRIA 80
EUCLIDES
PROP. V.TEOR.
ELEMENTOS DE GEOMETRIA 81
EUCLIDES
PROP. A. TEOR.
PROP. B. TEOR.
ELEMENTOS DE GEOMETRIA 82
EUCLIDES
PROP. C. TEOR.
PROP. D. TEOR.
ELEMENTOS DE GEOMETRIA 83
EUCLIDES
Mas seja a primeira grandeza A (Fig. 10.) uma parte da segunda B. Digo
que a terceira C ser a mesma parte da quarta D. .
Porque, sendo A :B::C:D, ser invertendo (Pr. B.5.) B:A::D:C. Mas A
uma parte de B, e por conseqncia B uma grandeza multplice de A. Logo,
pelo caso antecedente, D ser outra grandeza igualmente multplice de C, e
assim C ser a mesma parte de D, como A a parte de B.
ELEMENTOS DE GEOMETRIA 84
EUCLIDES
ELEMENTOS DE GEOMETRIA 85
EUCLIDES
PROP. X. TEOR.
ELEMENTOS DE GEOMETRIA 86
EUCLIDES
ELEMENTOS DE GEOMETRIA 87
EUCLIDES
ELEMENTOS DE GEOMETRIA 88
EUCLIDES
Sejam proporcionais as grandezas compostas AB, BE, CD, DF, isto , seja
AB:BE::CD:DF. Digo que as mesmas grandezas divididas sero tambm
proporcionais, isto , ser AE:EB::CF:FD.
Tomem-se as grandezas GH, HK, LM, MN eqimultplices quaisquer de AE,
EB, CF, FD; e tambm as outras KX, NP eqimultplices de EB, FD. Sendo GH,
HK grandezas eqimultplices de AE, EB, sero GH, GK tambm eqimultplices
(Pr. 1.5.) de AE, AB. Mas GH, LM so eqimultplices de AE, CF. Logo, GK, LM
sero eqimultplices de AB, CF. Tambm, sendo LM, MN eqimultplices de
CF, FD, sero LM, LN eqimultplices (Pr. 1.5.) de CF, CD. Mas LM, GK eram
eqimultplices de CF, AB. Logo, GK, LN so eqimultplices de AB, CD. Da
mesma sorte tambm, porque HK, MN so eqimultplices de EB, FD, e KX, NP
eqimultplices de EB, FD, as grandezas compostas HX, MP sero
eqimultplices (Pr. 2.5.) de EB, FD. Sendo pois AB BE::OD:DF, e sendo GK,
LN eqimultplices de AB, CD, e HX, MP eqimultplices de EB, FD; se GK fr
maior, ou igual, ou menor que HX, tambm LN ser maior (Def. 5.5.), ou
igual, ou menor que MP. Mas, se GH fr maior que KX, ajuntando a parte
comum HK, ser GK>HX, e por conseqncia LN>MP, e tirando a parte
comum MN, ser LM>NP. Logo, se fr GH>KX, ser tambm LM>NP. Do
mesmo modo demonstraremos que, se GH fr igual, ou menor que KX,
tambm LM ser igual, ou menor que NP. Mas GH, LM so eqimultplices de
AE, CF; KX, NP so eqimultplices de EB, FD. Logo, ser AE:EB::CF:FD.
ELEMENTOS DE GEOMETRIA 89
EUCLIDES
Sejam proporcionais as grandezas divididas AE, EB, CF, FD, isto , seja
AE:EB::CF:FD. Digo que estas grandezas, sendo compostas, tambm sero
proporcionais, isto , ser AB:BE::CD:DF.
Tomem-se as grandezas GH, HK, LM, MN eqimultplices quaisquer de
AB, BE, CD, DF, e as outras KO, NP, eqiiimultplices quaisquer de BE, DF.
Porque KO, NP, como tambm KH, NM so eqimultplices de BE, DF; se KO,
multplice de BE, fr maior, ou igual, ou menor que KH, multplice da mesma
grandeza BE, tambm NP, multplice de DF, ser maior, ou igual, ou menor
que MP, multplice da mesma DF.
Seja, primeiramente, KO no maior que KH (Fig. 24.). Ser NP no maior
que NM. E porque GH, HK so eqimultplices de AB, BE, e AB>BE, ser
GH>KH (Ax. 3.5.). Mas KO no maior que KH. Logo, ser GH>KO. Do
mesmo modo se demonstra ser LM>NP. Logo, no sendo KO>KH, ser GH
multplice de AB sempre maior que KO, multplice de BE, e tambm LM,
multplice de CD, ser maior que NP, multplice de DE.
Mas seja KO>KH (Fig. 25.). Ser, como temos demonstrado, NP>NM. E
porque a grandeza total GH multplice da total AB, como a parte HK
multplice da outra parte BE, tiradas estas partes ser o resto GK multplice
(Pr. 5.5.), do resto AE, como GH multplice de AB, ou como LM multiplice
de CD. Do mesmo modo sendo LM multiplice dc CD, como a parte MN o da
parte DF, o resto LN ser multplice do resto CF, como LM o de CD. Mas
temos provado que LM, GK so eqimultiplices de CD, AE. Logo, GK, LN so
eqimultplices de AE, CF. Sendo pois KO, NP eqimultplices de BE, DF,
tambm, sendo as partes KH, NM eqimultplices das mesmas grandezas BE,
DF, os restos HO, MP sero iguais, ou s grandezas BE, DF, ou eqimultplices
delas (Pr. 6.5.).
Sejam, em primeiro lugar, (Fig. 25.) HO, MP iguais, respectivamente, a
BE, DF. Sendo AE:EB::CF:FD, e sendo GK, LN equimultplices do AE, CF, ser
GK:EB::LN:FD (Cor. 4.5.). Mas temos HO = EB, MP = FD. Logo, ser
GK:HO::LO:MP. Logo, se GK fr maior, ou igual, ou menor qe HO, tambm LN
ser maior (Pr. A. 5.), ou igual, ou menor que MP.
Mas sejam (Fig. 26.) HO, MP eqimultplices de EB, FD. Porque temos AE
:EB::CF:FD, e GK, LN so eqimultplices, de AE, CF, e HO, MP eqimultplices
de EB, FD; e se GK fr maior, ou igual, ou menor que HO, tambm LN ser
maior (Def. 5.5.), ou igual, ou menor que MP, o que temos demonstrado
tambm no caso precedente. Logo, se fr GH>KO, tirando a parte comum KH,
ser GH>HO, e por conseqncia LN>LP, e juntando a mesma grandeza NM,
ser LM>NP. Logo, se fr GH>KO, ser LM>NP. Do mesmo modo se
demonstra, que sendo GH = KO, ser LM = NP; e que sendo GH<KO, ser
tambm LM<NP. Mas, quando KO no maior que KH, temos visto que
sempre GH>KO, e LM>NP, e GR, LM so grandezas eqimultplices quaisquer
de AB, CD; e KO, NP eqimultplices de BE, DF. Logo, ser AB:BE::CD:DF
(Def. 5.5.).
ELEMENTOS DE GEOMETRIA 90
EUCLIDES
Seja a grandeza total AB para a total CD, como a parte AE para a parte
CF. Digo que o resto EB ser para o resto FD como a grandeza total AB para
a grandeza' total CD.
Sendo AB:CD::AE:CF; ser permutando (Pr. 16.5.) BA:AE::DC:CF. E
como as grandezas compostas proporcionais tambm divididas so
proporcionais (Pr. 17.5.); ser BE:EA::DF:FC, e outra vez permutando
BE:DF::EA:FC. Mas AE:CF::AB:CD. Logo, ser EB:FD::AB:CD.
COROL. Se uma grandeza total fr para outra grandeza total, como uma
parte daquela para uma parte desta, ser o resto, que fica da primeira
grandeza, para o resto da segunda, como a parte da primeira , para a parte
da segunda. Isto se faz evidente pela mesma demonstrao, que fica dada.
PROP. E. TEOR.
ELEMENTOS DE GEOMETRIA 91
EUCLIDES
ELEMENTOS DE GEOMETRIA 92
EUCLIDES
ELEMENTOS DE GEOMETRIA 93
EUCLIDES
ELEMENTOS DE GEOMETRIA 94
EUCLIDES
parte AG para a parte CH, ser o resto GB para o resto HD, como a total AB
para a total CD (Pr. 19.5.). Mas AB>CD. Logo, ser tambm GB>HD (Pr.
A.5.). E como temos AG = E, e CH = F, sero as duas AG, F iguais as duas CH,
E. Logo, sendo GB, HD desiguais, e sendo GB>HD, se a GB se ajuntarem as
duas AG, F, e a HD se ajuntarem as duas CH, E, as duas AB, F tomadas juntas
sero maiores, que as duas CD, E, tambm tomadas juntas.
PROP. F. TEOR.
PROP. G. TEOR.
PROP. H. TEOR.
ELEMENTOS DE GEOMETRIA 95
EUCLIDES
PROP. K. TEOR.
ELEMENTOS DE GEOMETRIA 96
EUCLIDES
ELEMENTOS DE GEOMETRIA 97
LIVRO VI
EUCLIDES
DEFINIES.
II
III
Uma linha reta se diz dividida em extrema e mdia razo, quando tda a
linha para o segmento maior, como ste segmento maior para o segmento
menor.
IV
A altura de uma qualquer figura a linha reta, que do vrtice dela cai
perpendicularmente sbre a base (Fig. 2.).
PROP. I. TEOR.
ELEMENTOS DE GEOMETRIA 99
EUCLIDES
ser a base BC para a base CD, como (Def. 5.5.) o tringulo ABC para o
tringulo ACD.
E porque o paralelogramo EC o dbro (Pr. 41.1.) do tringulo ABC, e o
paralelogramo CF o dbro do tringulo ACD, e porque as partes tm entre si a
mesma razo, que as grandezas eqimultiplices delas (Pr. 15.5.), o tringulo
ABC ser para o tringulo ACD, como o paralelogramo EC para o
paralelogramo CF. Logo, tendo ns demonstrado que a base BC para a base
CD, como o tringulo ABC para o tringulo ACD, e que o tringulo ABC para
o tringulo ACD, como o paralelogramo EC para o paralelogramo CF; a base
BC ser para a base CD, como (Pr. 11.5.) o paralelogramo EC para o
paralelogramo CF.
COROL. Desta proposio se infere, que os tringulos e paralelogramos,
que tm alturas iguais, esto entre si na razo das bases.
Porque, dispostas as fiurtras de maneira que as bases delas estejam na
mesma linha reta, e lanadas dos vrtices dos tringulos umas
perpendiculares sbre as bases dos mesmos tringulos, a linha reta que
passar pelos vrtices ser paralela outra reta, sbre a qual se ajustam as
bases (Pr. 33.1.), por se suporem iguais entre si as alturas dos tringulos, e
por conseqncia iguais as, ditas perpendiculares, as quais alm disto so
tambm paralelas. Feita pois a mesma construo, a demonstrao se far do
mesmo modo que acima.
ADE, como o tringulo CDE para o mesmo tringulo ADE. Logo, visto ter
cada um dos tringulos BDE, CDE a mesma razo para o tringulo ADE, sero
os tringulos BDE, CDE iguais (Pr. 9.5.) entre si. Mas tambm esto postos
sbre a mesma base DE. Logo, devem estar tambm entre as mesmas
paralelas (Pr. 39.1.), e por conseqncia a reta DE paralela ao lado BC.
Seja o tringulo ABC, cujo ngulo BAC esteja dividido em partes iguais
pela reta AD. Digo que ser BD:DC::BA:AC.
Pelo ponto C seja conduzida a reta CE paralela (Pr. 31.1.) a DA, e o lado
BA produzido concorra com ela no ponto E. Porque a reta AC corta as paralelas
AD, EC, ser o ngulo ACE = CAD ngulo alterno (Pr. 29.1.). Mas pela
hiptese CAD = BAD. Logo, tambm ser BAD = ACE. E como a reta BAE
corta as paralelas AD, EC, ser o ngulo externo BAD =AEC interno e oposto.
Mas temos visto ser ACE = BAD. Logo, ser ACE = AEC, e por conseqncia o
lado AE igual (Pr. 6.1.) ao lado AC. Sendo pois a reta AD paralela ao lado E.C
do tringulo BCE, ser (Pr. 2.6.) BD:DC::BA:AE. Mas temos AE = AC. Logo,
ser tambm BD:DC::BA:AC (Pr. 7.5.).
Seja agora BD:DC::BA:AC. Tire-se a reta AD. Digo que o ngulo BAC fica
dividido em partes iguais pela reta AD.
Feita a mesma construo que acima, como temos pela hiptese
BD:DC::BA:AC, e tambm BD:DC::BA:AE, (Pr. 2.6.), por ser AD paralela ao
lado EC do tringulo BCE, ser (Pr. 11.5.) BA:AC::BA:AE. Logo, deve ser AC =
AE (Pr. 9.5.), e por conseqncia o ngulo AEC = ACE (Pr. 5.1.). Mas AEC =
BAD, e ACE = CAD (Pr. 20.1.). Logo, ser BAD = CAD, e assim o ngulo BAC
ficar dividido em partes iguais pela reta AD.
PROP. A. TEOR.
Sejam os tringulos eqingulos ABC; DEF, cujos ngulos ABC, DEF, ACB,
DEC sejam iguais. Do mesmo modo sero iguais (Pr. 32.1.) os ngulos BAC,
CDE. Digo que nos tringulos ABC, DCE os lados, que formam ngulos iguais,
so proporcionais, e que os lados opostos aos ngulos iguais so homlogos.
Ponha-se o tringulo DCE de maneira que o lado CE esteja em direitura
(Pr. 22.1.) com o lado BC do tringulo ABC. Como os ngulos ABC, ACB so
menores que dois retos (Pr. 17.1.), e temos ACB = DEC; sero os ngulos
ABC, DEC menores que dois retos, e por conseqncia as duas retas BA, ED
produzidas devem finalmente concorrer (Ax. 12.1.). Produzam-se pois e
concorram no ponto F. Sendo o ngulo DCE = ABC, as retas BF, CD sero
paralelas (Pr. 28.1.). Tambm sendo ACB = DEC, a reta AC ser paralela a FE.
Logo, a figura FACD um paralelogramo, e por conseqncia deve ser AF =
CD, e AC = FD (Pr. 34.1. ). E porque a reta AC paralela ao lado FE do
tringulo FBE, ser (Pr. 2.6.) BA:AF::BC:CE. Mas AF = CD. Logo, ser
BA:CD::BC:CE (Pr; 7.5.), e permutando AB:BC::CD:CE. Alm disto, sendo, CD
paralela a BF, ser BC:CE::FD:DE. Mas FD = AC. Logo, ser BC:CE::AC:DE,
e permutando BC:CA::CE:ED. Logo, tendo-se j demonstrado ser
AB:BC::DC:CE, e BC:CA::OE:ED, ser por igual (Pr. 22.5.) BA:AC::CD:DE.
PROP. V. TEOR.
Seja os dois tringulos ABC, DEF, e seja o ngulo BAC do primeiro igual
ao ngulo EDF do segundo. Sejam tambm proporcionais os lados, que fazem
os ditos ngulos iguais, isto , seja HA:AC::ED:DF. Digo que os tringulos
ABC, DEF so equingulos, e que o ngulo ABC igual ao ngulo DEF, e ACB
= DFE.
Com a reta DF e no ponto D faa-se (Pr. 23.1.) o ngulo FDG igual a um
dos dois BAC, EDF, e com a mesma reta DF e no ponto F faa-se tambm DFG
= ACB. Ser o terceiro ngulo B igual (Pr. 32.1.) ao terceiro G. Logo, os
tringulos ABC, DFG so equingulos, e por conseqncia deve ser (Pr. 4.6.)
BA:AC::GD:DF. Mas temos pela suposio, BA:AC::ED:DF. Logo, ser
ED:DF::GD:DF (Pr. 11.5.), e assim ser ED = DG (Pr. 9.5.). Mas nos
tringulos DEF, DGF comum o lado DF, e so iguais os ngulos EDF, GDF.
Logo, ser a base EF igual (Pr. 4.1.) base FG, e o tringulo EDF igual ao
tringulo GDF; e os mais ngulos iguais cada um a cada um dos outros
ngulos, segundo ficam opostos a lados iguais. Logo, ser o ngulo DFG =
DFE, e G = E. Mas DFG = ACB. Logo, ser ACB = DFE. Mas temos suposto
ser BAC = EDF. Logo, o terceiro ngulo B igual (Pr. 32.1) ao terceiro E, e os
tringulos ABC, DEF so eqingulos.
Sejam os dois tringulos ABC, DEF (Fig. 10.), que tenham os ngulos
BAC, EDF iguais entre si, e sejam proporcionais os lados, que formam os
ngulos ABC, DEF, de maneira, que seja AB:BC::DE:EF. Seja primeiramente
agudo, ou menor que um reto cada um dos ngulos C, F. Digo que os
tringulos ABC, DEF so eqingulos, e que o ngulo ABC igual ao ngulo
DFE, e C = F.
Supondo-se serem desiguais os ngulos ABC, DEF, um dles h de ser
maior. Seja ABC o maior. Sbre a reta AB, no ponto B, faa-se (Pr. 23.1.) o
ngulo ABG= DEF. Sendo o ngulo A = D, e ABG = DEF, ser tambm AGB =
DFE (Pr. 32.1.). Logo, os tringulos ABG, DEF so eqingulos, e por
conseqncia deve ser AB:BG::DE:EF (Pr. 4.6.).
Mas pela hiptese temos DE:EF::AB:BC. Logo, ser AB:BC::AB:BG (Pr.
11.5.). Logo, tendo AB para cada uma das retas BC, BG a mesma razo, ser
BC = BG (Pr. 9.5.), o ngulo BGC = BCG (Pr. 5.1.). Mas BCG tem-se suposto
menor que um reto. Logo, tambm BGC ser menor que um reto, e assim AGB
ser maior que um reto (Pr. 13.1.). Mas tem-se demonstrado AGB = F. Logo,
F maior que um reto, o que no pode ser, porque o temos suposto menor
que um reto. Logo, no so desiguais os ngulos ABC, DEF, mas sim iguais.
Mas o ngulo A igual ao ngulo D. Logo, ser tambm C = F, e assim so
eqingulos os tringulos ABC, DEF.
Suponha-se agora no menor que um reto cada um dos ngulos, C, F
(Fig. 11.). Digo que neste caso tambm so eqingulos os tringulos ABC,
DEF.
Feita a mesma construo que acima, do mesmo modo se pode
demonstrar BC = BG, e o ngulo C= BGC. Mas o ngulo C no menor que
um reto. Logo, BGC no ser menor que um reto. Logo, no tringulo BGC, dois
ngulos tomados juntos no so menores que dois, retos, o que no possvel
(Pr.17.1.). Logo, os tringulos ABC, DEF devem ser eqingulos, como temos
demonstrado no caso precedente. Seja, finalmente, reto um dos ngulos C, F,
por exemplo o ngulo C (Fig. 12.). Tambm digo que os tringulos ABC, DEF
so eqingulos.
Suposto no ser assim, sbre a reta AB, no ponto B, faa-se o ngulo
ABG = DEF. Provar-se-, como no primeiro caso, ser a reta BG = BC, e o
ngulo BCG = BGC. Mas BCG reto. Logo, BGC tambm reto (Pr. 5.1.)
Logo, no tringulo BGC h dois ngulos, os quais tomados juntos no so
menores que dois retos, o que no pode ser (Pr. 17.1.), Logo, os tringulos
ABC, DEF so eqingulos.
Seja o tringulo retngulo ABC, cujo ngulo BAC seja reto. Do ponto A
esteja tirada a reta AD perpendicular sbre a base BC. Digo que os trngulos
ABD, ADC so semelhantes ao tringulo total ABC, e tambm semelhantes
entre si.
Sendo o ngulo BAC = ADC, por ser um e outro reto; e sendo o ngulo B
comum aos dois tringulos ABC, ABD, ser o terceiro ACB igual (Pr. 32.1.) ao
terceiro BAD. Logo, os tringulos ABC, ABD so eqingulos, e por
conseqncia, sendo proporcionais os lados que fazem os ngulos iguais (Pr.
4.6.), so os mesmos tringulos ABC, ABD semelhantes (Def. 1.6.). Com o
mesmo discurso se prova serem tambm semelhantes os tringulos ADC, ABC.
Digo mais que os tringulos ABD, ADC so semelhantes entre si.
Como os ngulos retos BDA, ADC so iguais, e se tem demonstrado BAD
= C; ser o terceiro ngulo B igual (Pr. 32.1.) ao terceiro DAC. Logo, os
tringulos ACD, ADB so eqingulos, e por conseqncia, semelhantes.
COROL. Disto se pode coligir, que em um tringulo retngulo e
perpendicular, que do ngulo reto cai sbre a base do mesmo tringulo
mdia proporcional entre os segmentos da base; e que cada um dos lados do
tringulo total uma mdia proporcional entre a base e o segmento da base,
que fica da mesma parte dsse lado. Porque dos tringulos eqingulos BAD,
ADC BD:DA::DA:DC (Pr. 4.6.); e nos tringulos tambm eqingulos ABC,
DBA BC:BA::BA:BD; e finalmente nos tringulos eqingulos ABC DAC
BC:CA::CA:CD.
Seja BA a linha reta dada. Deve-se cortar da reta AB uma parte qualquer
dela, que fr pedida.
Tire-se do ponto A a reta AC, que faa com a outra dada AB um ngulo
qualquer que fr. Na reta AC, tomado o ponto D, como quisermos, ponha-se
AC multplice de AD, do mesmo modo que a reta dada AB multplice da
parte, que se deve cortar dela. Tire-se a reta BC, e pelo ponto D faa-se
passar DE paralela a BC. Ser AE a parte, que se pede.
Como no tringulo ABC a reta ED paralela ao lado BC, ser
CD:DA::BE:EA (Pr. 2.6.), e compondo (Pr. 18.5. ), CA:AD::BA:AE. Mas CA
uma grandeza multplice de AD. Logo, tambm BA ser multplice de AE, e do
mesmo modo (Pr. D.5.). Logo, AE ser a mesma parte de AB, como AD o de
AC. Logo, AE a parte que se deve cortar da reta dada AB, e por
consequncia de uma linha reta dada temos cortado aquela. parte, que se
pedia.
PROP. X. PROB
Seja dada a linha reta AB, e a outr AC dividida de qualquer modo que
fr. Deve-se dividir a reta AB, assim como est dividida a reta AC.
Esteja a reta AC dividida nos pontos D, E. Ponham-se as retas AB, AC de
maneira que faam entre si um ngulo, como se quiser, no ponto A; e tirada a
reta BC, a esta pelos pontos D, E sejam conduzidas as paralelas (Pr. 31.1.)
DF, EG; e tambm pelo ponto D a reta DHK paralela a AB. As figuras FH, HB
sero paralelogramos, e assim ser DH = FG, e HK = GB (Pr. 34.1.). No
tringulo DKC, sendo HE paralela ao lado KC, ser CE:ED::KH:HD (Pr. 2.6.).
Mas temos KH = BG, e HD = GF. Logo, ser CE:ED::BG:GF. Tambm no
tringulo AGE, sendo FD paralela ao lado EG, ser ED:DA::GF:FA. Mas temos
demonstrado ser CE:ED::BG:GF. Logo,ser CE:ED::BG:GF, e ED:DA::GF:FA.
Logo, temos dividido a reta AB, assim como estava dividida a outra reta dada
AC.
Sejam dadas as retas AB, AC, as quais faam entre si um ngulo, como
quisermos, no ponto A. preciso achar a terceira reta proporcional.
Produzam-se as retas AB, AC para D e E, e feita BD = A e, tire-se BC, e a
esta pelo ponto C conduza-se a paralela (Pr. 31.1.) DE. Visto ser, no tringulo
AED, a reta BC paralela ao lado DE, ser AB:BD::AC:CE (Pr. 2.6.). Mas BD =
AC. Logo, tambm ser AB:AC::AC:CD, e, por conseqncia, temos achado a
reta CE, terceira proporcional a respeito das duas linhas retas dadas AB, AC.
Sejam dadas as retas AB, DC. Havemos de achar entre as retas AB, BC
uma mdia proporcional.
Ponham-se as retas AB, BC em direitura uma com outra, e sbre a total
AC como dimetro descreva-se o semicrculo ADC; e do ponto B levantada a
reta AD perpendicularmente (Pr. 11.1.) sbre AC, sejam tiradas as retas AD,
DC. O ngulo ADC, que existe no semicrculo ADC, reto (Pr. 31.3.) .
E, como no tringulo retngulo ADC do ngulo reto em D cai a reta DB
perpendicularmente sbre a base AC, ser DB mdia proporcional (Cor. 8.6.)
entre os segmentos da base AB, BC. Logo, entre as duas retas propostas AB,
BC temos achado a mdia proporcional DB.
Sejam os tringulos iguais ABC, ADE, e que tenham os ngulos BAC, DAE
iguais. Digo que nos tringulos ABC, DAE OS lados, que compreendem os
ngulos iguais BAG, DAE, so reciprocamente proporcionais, isto , que deve
ser, CA:AD::EA:AB.
Ponham-se os tringulos BAC, DAE, de maneira que esteja o lado CA em
direitura com o lado AD. Estar tambm EA em direitura com AB (Pr. 14.1.).
Tire-se a reta BD. Sendo, pela hiptese, iguais os tringulos ABC, ADE, cada
um dles deve ter a mesma razo para o tringulo ABD, e assim ser
CAB:BAD::EAD:DAB (Pr. 7.5. ). Mas. CAB:BAD::CA:AD (Pr. 1.6.); e
EAD:DAB::EA:AB. Logo, ser CA:AD::EA:AB (Pr. 11.5.), e, por conseqncia,
nos tringulos iguais ABC, ADE so, reciprocamente, proporcionais os lados.
que fazem os ngulos BAC, DAE tambm iguais.
Nos tringulos ABC, ADE sejam agora reciprocamente proporcionais os
lados, que formam os ngulos iguais BAC, DAE, isto , seja CA:AD::EA:AB
Digo que os tringulos ABC, APE so iguais.
Porque, tirada a reta BD, sendo CA:AD::EA:AB, e sendo
CA:AD::BCA:BAD, e tambm EA:AB::EAD:BAD; ser BAC:BAD::EAD:BAD.
Logo, ser o tringulo ABC igual (Pr. 9.5.) ao tringulo ADE.
Seja dada a linha reta AB, e o retilneo quadriltero CDEF. Sbre a reta
AB se deve descrever um retilneo semelhante ao retilneo CDEF, e
semelhantemente psto.
Tirada a reta DF sbre AB, e no ponto A faa-se (Pr. 23.1,) o ngulo BAG
= C, e no ponto B faa-se o ngulo ABG = CDF, ser o terceiro CFD igual (Pr.
32.1.) ao terceiro AGE. Logo, os dois tringulos FCD, GAB so eqingulos. Do
mesmo modo, sbre a reta BG e no ponto G faa-se o ngulo BGH = DFE; e
no ponto B faa-se o ngulo GBH = FDE; ser o terceiro FED igual (Pr. 32.1.)
ao terceiro GHB. Sendo pois AGB = CFD, e BGH = DFE, ser o total AGH igual
ao total CFE. Pela. mesma razo deve ser ABH = CDE. Mas tambm A = C, e
GHB=FED. Logo, os retilneos ABHG, CDEF so eqingulos. Demonstraremos
agora que nestes retilneos os lados, que formam os ngulos iguais, so
proporcionais. Sendo eqingulos os tringulos GAB, FCD, ser BA:AG::DC:CF
(Pr. 4.6.), e AG:GB:CF:FD; e tambm nos tringulos eqingulos BGH, DFE,
sendo GB:QH::FD:FE, ser por igual (Pr. 22.5.) AG:GH::CF:FE. Com o mesmo
discurso se prova ser AB:BH::DC:DE. Mas GH:HB::FE:ED. Logo, os retilneos
ABHG, CDEF tm proporcionais os lados, que formam os ngulos iguais, e, por
conseqncia, sendo os mesmos retilneos tambm eqingulos, como se tem
demonstrado, sero semelhantes (Def. 1. 6.) entre si, e dste modo est feito
o que se pedia.
Descreveremos agora sbre a reta AB uma figura de cinco lados,
semelhante a outra CDKEF tambm de cinco lados, e semelhantemente posta.
Tirada a reta DE, descreva-se sbre AB o quadriltero ABHG semelhante
ao quadriltero CDEF, e semelhantemente psto. Faa-se com a reta BH no
ponto B o ngulo HBL = EDK, e no ponto H o ngulo BHL = DEK. Ser o
terceiro K igual ao terceiro L. E como os quadrilteros ABHG, CDEF so
semelhantes, ser o ngulo GHB = FED. Mas BHL = DEK. Logo, ser o total
GHL igual ao total FEG. Com a mesma demonstrao se prova ser ABL= CDK.
Logo, as duas figuras de cinco lados AGHLB, CFEKD so eqingulas. Pela
mesma semelhana dos quadrilteros AGHB, DFED temos GH:HB::FE:ED. Mas
HB:HL::ED:EK (Pr. 4.6.). Logo, por igual (Pr. 22.5.) ser GH:HL::FE:EK. Pela
mesma razo ser tambm AB:BL::CD:DK. Mas BL:LH::DK:KE, por serem
eqingulos os tringulos BLH, DKE. Logo, as figuras AGHLB, CFEKD tm
proporcionais os lados, que fazem os ngulos iguais; e como so tambm
eqingulos, pelo que temos demonstrado acima, sero semelhantes (Def.
1.6.) entre si. Logo, est feito o que se pedia. Com o mesmo mtodo sbre
uma linha reta dada se poder descrever um retilneo semelhante a um
hexgono, ou a outro qualquer polgono dado.
Sejam as quatro linhas retas proporcionais AB, CD, EF, , GH, isto , seja
AB:CD::EF:GH, e sejam formados sbre as retas AB, CD os retilneos
semelhantes e semelhantemente postos KAB, LCD; e sbre as outras EF, GH
os retilneos MF, NH tambm semelhantes entre si, e semelhantemente
postos, Digo que o retilneo KAB para o retilneo LCD, como o retilneo MF
para o retilneo NH.
Seja a linha reta X terceira proporcional (Pr. 11.6.) a respeito das duas
AB, CD, e a reta O tambm terceira proporcional a respeito das outras duas
EF, GH. Sendo, pela hiptese, AB:CD::EF:GH, ser CD:X::GH:O (Pr. 11. 5. ).
Logo, por igual (Pr. 22.5.) deve ser AB:X::EF:O. Mas como AB para X,
assim o retilneo KAB para o retilneo LCD (2. Cor. 20.6.); e como EF para
O, assim o retilneo MF para o retilneo NH. Logo, ser o retilneo KAB para o
retilneo LCD, como o retilneo MF para o retilneo NH.
Suponhamos agora ser o retilneo KAB para o retilneo LCD, como o
retilneo MF para o retilneo NH. Digo que ser AB:CD::EF:GH.
Achada a reta PR de maneira que seja AB:CD::EF:PR (Pr. 12.6.),
descreva-se sbre a mesma reta PR (Pr. 18.6.) o retilneo SR, semelhante e
semelhantemente psto a respeito de um dos dois MF, NH. Como temos
AB:CD::EF:PR, e sobre as retas AB, CD esto descritos os retilneos
semelhantes e semelhantemente postos KAB, LCD, e sbre EF, PR os outros
retilneos, tambm semelhantes e semelhantemente postos MF, SR: ser, pelo
que se tem demonstrado o retilneo KAB para o retilneo LCD, como o retilneo
MF para o retilneo SR. Mas temos suposto ser KAB:LCD::MF:NH. Logo, o
retilneo MF tem a mesma razo para cada um dos retilneos NH, SR. Logo, o
retilneo NH igual (Pr. 9.5.) ao retilneo SR. Mas stes dois retilneos so
tambm semelhantes e semelhantemente descritos. Logo, ser GH = PR.
Logo, sendo AB:CD::EF:PR e sendo PR = GH, ser finalmente AB:CD::EF:GH
devem existir ao redor de uma mesma diagonal (Pr. 26.6.). Seja DB esta
diagonal comum, e descreva-se a figura tda, produzindo a reta KF at o
ponto L. Sendo os paralelogramos CF, FE iguais (Pr. 43.1.), se ajuntarmos a
uma e outra parte o mesmo paralelogramo KH, ser o total CH igual ao total
KE. Mas CR = CG (Pr. 36.1.), por serem as retas AC, CB iguais entre si.
Logo, tambm ser CG = KE. Ajunte-se-lhes o paralelogramo comum CF. Ser
o paralelogramo AF igual ao gnmon CHL, e por conseqncia o paralelogramo
CE, isto , o paralelogramo AD ser maior que o paralelogramo AF.
Em segundo lugar a base AK (Fig. 34.) do paralelogramo AF seja menor
que a reta AC. Suposta a mesma construo, como os paralelogramos DH, DG
so iguais (Pr. 36.1.), por ser HM = MG (Pr. 34.1.), ser DH>LG. Mas DH =
DK (Pr. 43.1.). Logo, ser DK>LG. Logo, ajuntando a uma e outra parte o
mesmo paralelogramo AL, ser o paralelogramo AD maior que o
paralelogramo AF.
Seja AB a linha reta dada, e o retilneo dado, ao que deve ser igual o
paralelogramo, que se quer aplicar reta AB, seja C; contanto, porm, que
ste retilneo no seja maior do que o paralelogramo aplicado metade da
mesma reta AB, sendo semelhantes os defeitos. Seja D a figura
paralelograma, a que deve ser semelhante o defeito do paralelogramo que se
pede. preciso aplicar reta AB um paralelogramo igual ao retilneo C, e com
o defeito de uma figura paralelograma semelhante ao paralelogramo. D.
Dividida em partes iguais (Pr. 10.1.) a linha reta AB no ponto F,
descreva-se sbre a parte EB como base o paralelogramo EBFG, semelhante
(Pr. 18.6.) ao paralelogramo D, e semelhantemente psto. Complete-se o
paralelogramo AG. O paralelogramo AG ser igual, ou maior que o retilneo C.
Se o paralelogramo AG fr igual ao retilneo C, estar feito o que se pede,
porque o paralelogramo AG igual ao retilneo C, e com o defeito da figura
paralelograma EF semelhante a D, j est aplicado reta dada AB. Mas no
sendo AG = C, ser (Pr. 27.6.) AG>C. Logo, sendo EF = AG, ser tambm
EF>C. Descreva-se (Pr. 25.6.) o paralelogramo KLMN igual ao excesso de EF
sbre C, semelhante ao paralelogramo D, e semelhantemente psto. Ser o
mesmo paralelogramo KLMN semelhante (Pr. 21.6.) ao paralelogramo EF, por
serem semelhantes entre si os dois EF, e D. Seja homlogo o lado KL a
respeito do lado EG, e seja tambm homlogo o lado LM a respeito do lado
GF: Como o paralelogramo EF igual aos dois retilneos C, KM tomados
juntos, ser EF>KM. Logo, ser o lado GE maior que o lado LK, e o lado GF
maior que o lado LM. Tome-se GX LK, e GO = LM, e complete-se o
paralelogramo XGOP. Logo, os paralelogramos XO, KM so iguais e
semelhantes. Mas KM semelhante a EF. Logo; XO tambm semelhante a
EF. Logo, os paralelogramos XO, EF existem ao redor de uma mesma diagonal
(Pr. 26.6.). Seja esta diagonal a reta GPB. Descreva-se a figura tda
produzindo a reta OP at o ponto S, e a reta XP at os pontos T, R. Logo,
sendo o paralelogramo EF igual aos dois retilneos C, e KM tomados juntos; e
sendo XO = KM tirando XO de EF, ficar o gnmon ERO igual ao retilneo C. E
como os complementos OR, XS so iguais (Pr. 43.1.) entre si, se ajuntarmos a
um e outro o mesmo paralelogramo SR, ser o total OB igual ao total XB. Mas
XB = TE (Pr. 36.1.), por ser o lado AE igual ao lado EB. Logo, ser tambm
TE = OB Ajunte-se-lhes o mesmo paralelogramo XS. Ser o paralelogramo TS
igual ao gnmon ERO. Mas temos demonstrado que o gnmon ERO igual ao
retilneo C; Logo, ser o paralelogramo TS igual ao retilneo C. Logo, temos
aplicado linha reta dada AB o paralelogramo TS igual ao retilneo dado C, e
com o defeito da figura paralelograma SR semelhante a D, por ser tambm SR
semelhante (Pr. 24.6.) a EF, que foi feito semelhante a D.
gnmon NOL igual ao retilneo C. Logo, ser AX = C. Logo, linha reta dada
AB temos aplicado o paralelogramo AX igual ao retilneo proposto C, e com o
excesso da figura paralelograma OP semelhante a D, por serem EL, OP
semelhantes (Pr. 24.6.) entre si, e por trmos feito o paralelogramo EL
semelhante ao paralelogramo D.
Seja o tringulo retngulo ABC, cujo ngulo BAC seja reto. Digo que a
figura retilnea, formada sbre o lado BC, e igual s outras duas figuras
tomadas juntamente, semelhantes. primeira, e semelhantemente descritas
sbre os lados BA, AC.
Caia do ponto A sbre o lado BC a perpendicular AD. Como no tringulo
retngulo ABC do ngulo reto em A, est tirada sbre a base BC a
perpendicular AD, os tringulos ABD, ADC sero semelhantes ao tringulo total
ABC, e tambm sero semelhantes (Pr. 8.6.) entre si. Logo, sendo o tringulo
AHC semelhante ao tringulo ABD, ser CB:BA::BA:BD (Pr. 4.6.). Logo, as
trs retas CB, BA, BD so proporcionais, e assim ser a primeira destas trs
retas para a terceira, como a figura retilnea descrita sbre a primeira reta
para outra figura semelhante (2. Cor. 20.6.), e semelhantemente descrita
sbre a segunda. Logo, ser CB para BD, como a figura formada sbre o lado
CB para a figura semelhante, e semelhantemente descrita sbre o lado BA. E
invertendo (Pr. B.5.), como DB para BC, assim a figura sbre BA ser para a
figura sbre BC. Com a mesma demonstrao se provar ser DC para CB,
como a figura sbre CA para a figura sbre CB. Logo, como as duas retas
BD, DC tomadas juntas so para BC, assim as, figuras formadas sbre os
lados BA, AC sero para a figura feita sbre o lado BC (Pr. 24.5.). Mas as duas
retas BD, DC tomadas juntas so iguais a BC. Logo, a figura retilnea formada
sbre o lado BC ser igual (Pr. A.5.) s figuras semelhantes, e
semelhantemente descritas sbre os lados BA, AC.
Sejam os crculos iguais ABC, DEF, e os ngulos BGC, EHF existentes nos
centros G, H; e tambm os ngulos BAC, EDF existentes nas circunferncias
dos mesmos crculos. Digo que, como o arco BC para o arco EF, assim o
ngulo BGC para o ngulo EHF; e assim tambm o ngulo BAC para o
ngulo EDF; e o setor BGC para o setor EHF.
Na circunferncia do crculo ABC, principiando do ponto C, tomem-se os
arcos CK, KL em um nmero qualquer que fr, contanto que cada um dles
seja igual ao arco BC; e tambm na circunferncia do crculo DEF, principiando
no ponto F, tomem-se os arcos FM, MN, e cada um dles seja igual ao arco EF.
Tirem-se os raios GK, GL, HM, HN. Como os arcos BC, CK, KL so iguais entre
si, tambm sero iguais (Pr. 27.3.) os ngulos BGC, CGK, KGL. Logo, assim
como BL multplice do arco BC, do mesmo modo o ngulo BGL ser
multplice do ngulo BGC. Pela mesma razo, como o arco EN multplice do
arco EF, assim o ngulo EHN ser multplice do ngulo EHF. E se o arco BL fr
maior, ou igual, ou menor que o arco EN, tambm o ngulo BGL ser maior,
ou igual (Pr. 27.3.), ou menor que o ngulo EHN. Logo, como o arco BC para
o arco EF, assim o ngulo BGC ser para o ngulo EHF (Def. 5.5.). Mas
BGC:EHF::BAC:EDF (Pr. 15.5.), porque cada um dos primeiros ngulos o
dbro (Pr. 20.3.) de cada um dos segundos. Logo, como o arco BC para o
arco EF, assim tambm o ngulo BAC ser para o ngulo EDF. Logo, em
crculos iguais os ngulos existentes, ou nos centros, ou nas circunferncias,
tm entre si a mesma razo, que tm os arcos sbre os quais assentam os
ditos ngulos.
Digo mais que assim como o arco BC para o arco EF, assim tambm o
setor BGC para o setor EHF (Fig. 42.).
Tiradas as cordas BC, CK, e tomados ncs arcos BC, CK os pontos X, O,
tirem-se as outras cordas BX, XC, CO, OK. Como as outras duas retas BG, CG
so iguais s duas CG, GK, e os ngulos BGC, CGK formados por estas retas
so tambm iguais entre si, ser a base BC igual , base CK, e o tringulo
GBC igual (Pr. 4.1.) ao tringulo GCK. E sendo os arcos, BC, CK iguais, os
complementos dles para a circunferncia inteira do crculo ABC sero tambm
iguais. Logo, ser o ngulo BXC = COK (Pr. 27.3.), e assim sero semelhantes
(Def. 11.3.) os segmentos BXC, COK. Mas os segmentos de crculos
semelhantes existentes sbre retas iguais so tambm iguais (Pr.24.3.). Logo,
o segmento BXC igual ao segmento COK. Mas o tringulo BGC igual ao
tringulo CGK, como j temos provado. Logo, todo o setor BGC deve ser igual
a todo o setor CGK. Com a mesma demonstrao se prova que o setor KGL
igual a cada um dos dois setores BGC, CGK. Do, mesmo modo so iguais entre
si os setores EHF, FHM, MHN. Logo, assim como o arco BL multplice do arco
BC, do mesmo modo o setor BGL ser multplice do setor BGC. Pela mesma
razo, como o arco EN multplice do arco EF, assim tambm o setor EHN o
ser a respeito do setor EHF. E se o arco BL for maior, ou igual; ou menor que
o arco EN, tambm o setor BGL ser maior, ou igual, ou menor que o setor
EHN. Logo, como o arco BC para o arco EF, assim o setor BGC ser para o
setor EHF (Def. 5.5.).
PROP. B. TEOR.
Seja o tringulo ABC, cujo ngulo BAC seja dividido em partes iguais pela
reta AD. Digo que o retngulo compreendido pelos lados AB, AC igual ao
retngulo compreendido pelos segmentos BD, DC da base BC juntamente com
o quadrado da reta AD.
Circunscreva-se (Pr. 5.4.) ao tringulo BAC o crculo ACB, e produza-se a
reta AD, at que encontre a circunferncia no ponto E. Tire-se a corda EC.
Visto serem iguais pela hiptese os ngulos BAD, CAE; e tambm os ngulos
ABD, AEC (Pr. 21.3.), por estarem stes no mesmo segmento ABEC; os
tringulos ABD, AEC sero eqingulos, e por consequncia ser
BA:AD::EA:AC (Pr. 4,6.); e assim o retngulo das retas BA, AC ser igual (Pr.
16.6.) ao retngulo das retas AE, AD; isto , o retngulo das retas BA, AC ser
igual (Pr. 3.2.) ao retngulo das retas de ED, DA juntamente com o quadrado
de AD. Mas o retngulo das retas ED, DA igual (Pr. 35.3.) ao retngulo das
retas BD, DC. Logo o retngulo compreendido pelos lados BA, AC ser igual ao
retngulo compreendido pelas retas BD, DC juntamente com o quadrado da
reta AD.
PROP. C. TEOR.
ECA existente no semicrculo (Pr. 31.3.), e tambm o ngulo ABD igual (Pr.
21.3.) ao ngulo AEC, por estarem ambos stes ngulos no mesmo segmento
ABEC, os tringulos ABD, AEC sero eqingulos. Logo, ser BA:AD::EA:AC
(Pr. 4.6.), e por conseqncia o retngulo compreendido pelos lados BA, AC
ser igual (Pr. 16.6.) ao retngulo compreendido pela reta AD perpendicular
base BC, e pelo dimetro EA do crculo ACB circunscrito ao tringulo ABC.
DEFINIES
II
III
Uma linha reta perpendicular a um plano, quando faz ngulos retos com
tdas as retas que a tocam, existentes no mesmo plano.
IV
VI
VII
VIII
IX
Esta dcima definio se deixa pelas razes, que se deram nas Notas.
XI
XII
XIII
XlV
XV
XVI
XVII
Dimetro da esfera se chama qualquer linha reta, que passa pelo centro
da esfera, e se termina de uma e outra parte na superfcie da mesma esfera.
XVIII
Pirmide cnica uma figura slida, que fica formada pela revoluo
inteira de um tringulo retngulo ao redor de um lado daqueles, que
compreendem o ngulo reto. E ste lado se deve considerar como imvel no
tempo de uma revoluo inteira do tringulo.
Se o lado, que se imagina imvel, fr igual ao outro que gira, e que com
o primeiro faz o ngulo reto, a pirmide cnica se chamar ortogonia; se fr
menor, ambligonia, e se maior, oxignia.
XIX
XX
Base da pirmide cnica o crculo descrito pelo outro lado, que pertence
ao ngulo reto, e que faz uma revoluo inteira juntamente com o tringulo.
XXI
XXII
XXIII
XXIV
XXV
XXVI
Tetraedro uma figura slida formada por quatro tringulos iguais entre
si, e equilteros.
XXVII
XXVIII
XXIX
Icosaedro uma figura slida formada por vinte tringulos iguais entre si,
e eqilteros.
Def. A.
PROP. I. TEOR.
Cortem-se as, duas retas AB, CD no ponto E. Digo que as retas AB, CD
existem no mesmo plano. Cortem-se agora duas a duas as trs retas EC, CB,
BE nos pontos C, B, E. Digo que estas retas tambm existem em um mesmo
plano.
Imagine-se que passa um plano pela reta EB, a qual poder ser
produzida, se fr necessrio. Faa-se girar ste plano ao redor da reta EB,
considerada como imvel, at que passe pelo ponto C. Como os pontos E, C
existem no dito plano, neste mesmo plano deve tambm existir (Def. 7.1.) a
reta EC. Pela mesma razo a reta BC existe no plano, em que pela hiptese se
acha a reta EB. Logo, as trs linhas retas EC, CB, BE existem em um mesmo
plano. Mas o plano das retas EC, EB o mesmo (Pr. 1.11.), que o plano das
retas CD, AB. Logo, as duas retas AB, CD existem em um mesmo plano.
PROP. V. TEOR.
Seja a reta AB perpendicular a cada uma das outras trs BC, BD, BE na
seo comum B. Digo que as retas BC, BD, BE existem em um mesmo plano.
Existam as duas retas BD, BE em um plano, e fora dste plano, se
possivel, esteja a reta BC. Considere-se produzido o plano das retas AB, BC,
at que chegue a cortar o plano das retas BD, BE, e seja a reta (Pr. 3.11.) BF
a seo comum dstes planos. Logo, no plano, que passa pelas retas AB, BC
existem as trs linhas retas AB, BC, BF. E como a reta AB perpendicular a
cada uma das duas BD, BE, ser tambm perpendicular ao plano, que passa
por elas (Pr. 4.11.), e por conseqncia a tdas as retas, que a tocam e que
existem no mesmo plano (Def. 3.11.). Mas a reta BF toca a reta AB no ponto
B, e existe no plano, das retas BD, BF. Logo, a reta AB ser perpendicular
reta BF, e assim ser reto o ngulo ABF. Mas tambm pela hiptese reto o
ngulo ABC. Logo, ser ABF = ABC, o que no pode ser, porque, existindo
ambos em um mesmo plano, evidente que stes ngulos so desiguais.
Logo, a reta BC no est fora do plano, que passa pelas outras duas BD, BE,
mas sim existe juntamente com elas no mesmo plano.
Seja as duas retas paralelas AB, CD, e entre os pontos E, F esteja tirada
a outra reta EF. Digo que a reta EF existe no plano, que passa pelas duas
paralelas AB, CD.
PROP. X. TEOR.
Seja dado o ponto A fora do plano BH. Deve-se do ponto A conduzir uma
reta perpendicular ao plano BH.
Tira-se no plano BH qualquer reta BC, e seja conduzida do ponto A a reta AD
perpendicularmente (Pr.12.1) sobre BC. Se a reta AD fr perpendicular ao
plano BH, j estar feito o que se pede. Mas no o sendo, no plano BH tire-se
do ponto D a reta DE perpendicular (Pr. 11.1.) a BC, e do ponto A a reta AF
perpendicular a DE; e, finalmente, faa-se passar pelo ponto F a reta GR
paralela (Pr. 31.1.) a BC. Demonstraremos que a reta AF perpendicular ao
plano BH. Sendo a reta BC perpendicular a cada um a das retas ED, DA ser
tambm perpendicular ao plano, que passa (Pr. 4.11.) pelas mesmas retas ED,
DA. Mas a reta GH paralela a BC, e quando, postas duas paralelas, uma
delas perpendicular a um plano, tambm a outra perpendicular (Pr. 8.11.)
ao mesmo plano. Logo, a reta GH ser perpendicular ao plano, que passa
pelas retas ED, DA, e por conseqncia ser perpendicular a tdas as retas,
que existindo no mesmo plano a tocarem (Def. 3.11.) Mas a reta AF existe no
plano das retas ED, DA, e toca a reta GH no ponto F. Logo, GH deve ser
perpendicular a AF, e assim AF vem a ser perpendicular a GH. Mas AF
perpendicular a DE. Logo, AF perpendicular a cada uma das duas GH, DE, e
por conseqncia perpendicular ao plano, que passa pelas retas ED, UH, que
o mesmo que o plano dado BH. Logo, do ponto dado A, existente fora do
plano BH, temos conduzido a reta AF perpendicular ao mesmo plano BH.
As duas retas AB, BC, que formam o ngulo ABC, sejam paralelas s
outras duas DE, EF, que fazem o ngulo DEF. Digo que o plano ABC, que
passa pelas retas AB, BC, paralelo ao plano DEF, que passa pelas retas DE,
EF.
Tire-se do ponto B a reta BG perpendicular (Pr. 11.11.) ao plano, que
passa pelas retas DE, EF, e seja G o ponto, em que a reta BG encontra, o
plano DEF. Tirem-se (Pr. 31.1.) pelo ponto G as retas GH paralela a ED, e GK
paralela a EF. Como a reta. BG cai perpendicularmente sbre o plano DEF,
tambm ser perpendicular (Def. 3.11.) a tdas as mais retas, que existindo
neste mesmo plano a tocarem. Mas as duas retas GH, GK existem no dito
plano, e tocam a reta BG. Logo, ser BG perpendicular tanto a GH como a GK,
e assim ser reto cada um dos ngulos BGH, BGK. Sendo pois BA paralela (Pr.
9.11.) a GH, por serem ambas paralelas mesma reta DE, ainda que existam
em diferentes planos, os ngulos GBA, BGH, sero iguais (Pr. 29.1.) a dois
retos. Mas BGH um ngulo reto. Logo, ser tambm reto o ngulo GBA, e
por conseqncia ser GB perpendicular a BA. Pela mesma razo a reta GB
deve ser perpendicular a BC. Logo, sendo GB perpendicular a cada uma das
duas BA, BC no ponto em que estas se cortam, a mesma GB ser tambm
perpendicular (Pr. 4.11.) ao plano conduzido pelas retas, BA, BC. Mas o
mesmo se verifica a respeito do plano, que passa pelas retas DE, EF. Logo, a
mesma reta BG perpendicular tanto ao plano ABC, como ao plano DEF. Mas
os planos, sbre os quais a mesma reta cai perpendicularmente, so paralelos
(Pr. 14.11.) entre si. Logo, o plano, que passa pelas. retas AB, BC, paralelo
ao plano, que passa pelas retas. DE, EF.
Sejam cortadas as duas retas AB, CD pelos planos paralelos GH, KL, MN
nos pontos A, E, B; C, F, D. Digo que, ser AE:EB::CF:FD.
Tirem-se as retas AC, BD, AP, e encontre a reta AD o plano KL no ponto
X. Tirem-se tambm as retas EX, XF. Como os dois planos paralelos KL, MN
so cortados pelo plano EBDX, sero paralelas (Pr. 16.11.) entre si as sees
comuns EX, BD. Pela mesma razo, porque os dois planos paralelos GR, KL
so cortados pelo plano AXFC, devem ser tambm paralelas as sees comuns
AC, XF. Sendo pois no tringulo ABD a reta EX paralela ao lado BD, ser
AE:EB::AX:XD (Pr. 2.6.). E no tringulo ADC, ser AX:XD::CF:FD.Mas temos
visto ser AX:XD::AE:EB. Logo, ser AE:EB::CF:FD (Pr. 11.5.).
Seja o ngulo slido A formado pelos trs ngulos planos DAC, CAD,
DAB. Digo que dois dstes ngulos, quaisquer que sejam, tomados juntamente
so maiores que o terceiro.
Se os trs ngulos BAC, CAD, DAB forem iguais entre si, fica evidente a
verdade do que se afirma. Mas, suposto serem desiguais, seja o ngulo BAC
no menor que qualquer dos outros dois, e ao mesmo tempo seja maior que o
ngulo DAB. No plano, que passa pelas retas BA, AC, tire-se do ponto A a reta
AE, de maneira que seja o ngulo BAE = DAB (Pr. 23.1). Ponha-se AE = AD e
pelo ponto E faa-se passar a reta BEC, que corte as duas AB, AC nos pontos
B, C, e finalmente tirem-se as retas DB, DC. Sendo DA = AE, e AB comum,
sero as duas DA, AB iguais s duas EA, AB. Ms temos o ngulo DAB = BAE.
Logo, ser a base DB igual (Pr. 4.1.) base BE. E como as duas retas BD, DC
tomadas juntas so maiores (Pr. 20.1.) que CB, e DB = BE, tirando de uma
parte a reta DB, e de outra a reta BE, ficar DC>EC; Sendo pois DA = AE, e
AC comum, e DC>EC; ser o ngulo DAC>EAC (Pr. 25.1.). Mas pela
construo temos DAB = BAE. Logo, os ngulos DAB, DAC tomados juntos so
maiores que o ngulo BAC. Mas temos suposto ste ngulo BAC no menor
que qualquer dos dois DAB, DAC. Logo, o mesmo ngulo BAC juntamente com
um, seja qualquer que fr, dos ditos ngulos DAB,DAC, ser maior, do que o
outro que restar dos mesmos ngulos DAB, DAC.
CBA, ABF, FBC, dois dstes ngulos, tomados como se quiser, sero sempre
maiores que o terceiro. Logo, os dois CBA, ABF so maiores que FBC. Pela
mesma razo, cada dois ngulos planos formados nos pontos C, D, E, F, os
quais ngulos so adjacentes s bases dos tringulos, que tm como vrtice
comum o ponto A, so maiores que o terceiro feito no mesmo ponto que os
outros dois, e que sempre vem a ser um ngulo do polgono BCDEF, Logo,
todos os ngulos existentes sbre as bases dos tringulos, cujo vrtice comum
o ponto A, tomados juntamente, so maiores que todos os ngulos do
polgono BCDEF, tambm tomados juntos. Mas, como todos os ngulos dos
ditos tringulos, tomados juntamente, so iguais a duas vzes tantos retos,
quantos so os mesmos tringulos, isto , quantos so os lados do polgono,
BCDEF, e alm disto todos os ngulos de qualquer polgono, juntamente com
quatro retos, so iguais a duas vzes tantos retos, quantos so os lados do
polgono (1. Cor. 32.1. ); sero todos os ngulos dos ditos tringulos, tomados
juntamente, iguais a todos os ngulos do polgono tambm tomados juntos, e
mais a quatro retos. Mas j se tem demonstrado qu todos os ngulos,
existentes sbre as bases, dos ditos tringulos so maiores que todos os
ngulos do polgono BCDEF. Logo, os outros ngulos dos mesmos tringulos,
que formam o ngulo slido A, devem ser menores que quatro retos. Fica pois
demonstrado que os ngulos planos, que em qualquer nmero formam um
ngulo slido, tomados juntamente, so menores que quatro ngulos retos.
Sejam os trs ngulos planos ABC, DEF, GHK, e dois dstes ngulos,
quaisquer que forem, sejam maiores que o terceiro. Sejam tambm iguais
entre si os lados AB, BC, DE, EF, GH, HK. Tirem-se as retas AC, DF, GK. Digo
que se poder fazer um tringulo com as trs retas AC, DF, GK, isto , que
duas quaisquer destas trs retas sero sempre maiores que a terceira.
Se os ngulos ABC, DEF, GHK forem iguais, tambm as retas AC, DF,
GK sero iguais (Pr. 4.1.); e por conseqncia duas destas, quaisquer que
sejam, sero maiores que a terceira. Mas suponhamos serem desiguais os
ngulos, ABC, DEF, GHK, e juntamente ser o ngulo ABC no menor que
qualquer dos outros dois DEF, GHK. Ser a reta AC no menor que DF, nem
menor que GK (Pr. 4. ou 24.1.). pois evidente que a reta AC, juntamente
com a reta DF, ser maior que GK, e que a mesma AC juntamente, com GK
ser maior que DF. Digo que as duas DF, GK tomadas juntas so maiores que
AC. Faa-se (Pr. 23.1.) no ponto B e com a reta AB o ngulo ABL = GHK, e
ponha-se BL igual a uma das retas AB, BC, DE, EF, GH, HK. Tirem-se as outras
AL, LC. Como cada uma das retas AB, BL, igual a cada uma das retas GH,
HK, e so iguais os ngulos compreendidos ABL, GHK, sero tambm iguais
entre si as bases AL, GK. E como os ngulos E, H tomados juntos so pela
hiptese maiores que o ngulo ABC, e temos o ngulo H = ABL, ser o ngulo
E>LBC. Sendo pois cada uma das duas LB, BC igual a cada uma das duas DE,
EF, e sendo o ngulo, DEF>LBC, ser a base DF maior que a base LC. Mas
temos. visto ser GK = AL. Logo; as duas retas DF, GK, tomadas juntas, sero
maiores que as duas AL, LC, tambm tomadas juntas. Mas as duas AL, LC
juntas so maiores (Pr. 20.1.) que AC. Logo, as duas DF, GK tomadas juntas
sero ainda maiores que AC. Fica pois demonstrado que das trs retas AC, DF,
GK duas, quaisquer que sejam, tomadas juntas so maiores que a terceira, e
que assim poderemos com elas construir (Pr. 22.1.) um tringulo.
Sejam os trs ngulos planos ABC, DEF, GHK tomados juntos menores
que quatro retos; e dois quaisquer dles, tambm tomados juntos, suponha-se
sejam maiores que o terceiro. Com os trs ngulos planos ABC, DEF, GHK se
deve formar um ngulo slido.
Ponham-se iguais entre si as retas AB, BC, DE, EF, GH, RK, e tirem-se
as outras AC, DF, GK. Com estas trs retas AC, DF, GK poder-se- fazer um
tringulo (Pr. 22.11.). Faa-se pois (Pr. 22.11), e. seja o tringulo LMN, de
sorte que seja AC=LM, DF=MN, e GK=NL (Fig. 24.25.). Circunscreva-se (Pr.
5.4.) ao tringulo LMN o crculo LMN, cujo centro X cair ou dentro do
tringulo, ou em um dos lados dle, ou fora do tringulo.
Caia em primeiro lugar o centro X (Fig. 24.) dentro do tringulo LMN, e
tirem-se os raios LX, MX, NX. Digo que AB>LX. Se no fr AB>LX, ser ou
AB = LX, ou AB<LX. Suponha-se primeiramente ser AB = LX. Sendo pois AB =
LX, e sendo, pela construo AB = BC, e LX = XM, sero as duas AB, BC iguais
s duas LX, XM, cada uma a cada uma. Mas a base AC do ,tringulo ABC
igual base LM do tringulo LXM. Logo, ser ngulo ABC = LXM (Pr. 8.1.).
Pela mesma razo ser DEF = MXN, e GHK = NXL. Logo, os trs ngulos ABC,
DEF, GHK, tomados juntos, so iguais aos trs LXM, MXN, NXL, tambm
tomados juntos. Mas stes so iguais a quatro retos (2. Cor. 15.1.). Logo, os
trs ABC, DEF, GHK, sero iguais a quatro retos, o que absurdo, porque Os
temos suposto todos juntos menores que quatro retos. Logo, no podia ser AB
= LX.
Digo agora que nem pode ser AB<LX. Suponha-se AB<LX. Faa-se
sbre a reta LM, e para a parte do centro X, o tringulo LOM, de maneira que
seja LO = AB, e OM = BC. Sendo pois a base LM igual base AC, ser o
ngulo LOM = ABC (Pr. 8.1.). Mas temos suposto ser AB; isto , LO<LX. Logo,
as duas retas LO, MO devem cair por dentro do tringulo LXM, porque, se se
ajustassem sbre os lados LX, XM do tringulo LXM, ou inteiramente cassem
para fora do mesmo tringulo, seriam ou iguais ou maiores que os lados LX,
XM (Pr. 21.1.). Logo, deve ser o ngulo LOM, isto , o ngulo ABC>LXM (Pr.
21.1.). Com o mesmo discurso se demonstra ser DEF>MXN, e GHK>NXL.
Logo, os trs ngulos ABC, DEF, GHK, tomados juntos so maiores que os trs
LXM, MXN, NXL, tambm tomados juntos, e por conseqncia os ditos trs
ngulos ABC, DEF, GHK so maiores que quatro retos. Mas isto no pode ser,
porque pela hiptese eram todos juntos menores que quatro retos. Logo,
falso ser AB<LX. Mas tambm se tem demonstrado que no pode ser AB = LX.
Logo, resta ser AB>LX.
Caia agora o centro do crculo em um dos lados do tringulo LMN (Fig.
25.) por exemplo no lado MN, e seja o ponto X o dito centro. Digo outra vez
que AB>LX. Se no fr AB>LX, ser ou AB = LX, ou AB<LX. Seja
primeiramente AB = LX. Sero as duas retas AB, BC juntas, isto , as duas
DE, EF, iguais s duas MX, XL, isto , iguais a MN. Mas MN = DF. Logo, as
duas DE, EF, tomadas juntamente sero iguais a DF, o que no pode ser (Pr.
20.1.). No pois AB = LX. Mas nem pode ser AB<LX. Porque feita esta
suposio, finalmente se manifesta um absurdo ainda mais visvel. Logo, deve
ser AB >LX.
Caia finalmente o centro X. (Fig. 26 e 27.) do crculo fora do tringulo
LMN. Tirem-se os semidimetros LX, MX, NX. Digo que tambm neste caso
ser AB>LX. Se no fr AB>LX, ser AB = LX, ou AB<LX. Seja em primeiro
lugar AB = LX: Podemos demonstrar, como no primeiro caso, ser o ngulo
ABC = MXL, e GHK = LXN. Logo, ser o ngulo total MXN igual aos dois ABC,
GHE tomados juntamente. Mas os dois ABC, GHK so maiores que o ngulo
DEF. Logo, ser MXN>DEF. E como os dois dos lados DE, EF so iguais aos
dois MX, XN cada um a cada um; e tambm a base DF igual base MN, ser
o ngulo MXN = DEF (Pr. 8.1.), o que absurdo, por trmos j demonstrado
ser MXN>DEF. Logo, no AB = LX.
Tambm digo, que no pode ser AB<LX. Se supusermos que AB<LX;
ser o ngulo ABC>MXL, e GHK>LXN, como temos visto no primeiro caso.
Faa-se no ponto B e com a reta BC o ngulo CBP = GHK, e posta BP = HK,
tirem-se as retas CP, AP. Sendo CB = GH, sero as ditas CB, BP, iguais s
duas GH, HK. Mas os ngulos CBP, GHK compreendidos por estas retas so
iguais. Logo, ser a base CP igual base GK, ou LN. E nos tringulos ABC,
MXL, dos quais cada um issceles, sendo o ngulo ABC, no vrtice maior do
que o ngulo MXL tambm no vrtice, o ngulo MLX feito sbre a base ML ser
maior (Pr, 32.1.) que o ngulo ACB formado sbre a base AC. Pela mesma
razo, sendo GHK, isto , CBP>LXN, ser tambm XLN>BCP. Logo, ser o
ngulo total MLN maior que o total ACP. E como os dois lados ML, LN so
iguais aos dois AC, CP, cada um a cada um, e temos o ngulo MLN>ACP, ser
a base MN maior (Pr. 24.1.) que a base AP. Mas MN = DF. Logo, ser
DF>AP. Logo, sendo os lados DE, EF iguais aos lados AB, BP, cada um a cada
um; e sendo DF>AP, ser o ngulo DEF>ABP (Pr. 25.1.).
Mas o ngulo ABP igual aos dois ABC, CBP, isto , aos dois ABC, GHK
tomados juntamente. Logo, o ngulo DE ser ,maior que os dois ABC, GHK
tomados juntos, o que absurdo, por ser aqule menor do que stes dois
juntos, pela suposio que temos feito. Logo, no AB<LX. Mas temos
demonstrado que nem AB = LX. Logo, fica sendo AB>LX.
Tudo isto demonstrado assim, levante-se do ponto X (Fig. 23, 24, 25,
26 e 27.) a reta XR perpendicularmente (Pr. 12.11.) sbre o plano do crculo
LMN. E como em todos os casos temos visto ser AB>LX, ponha-se RX de tal
comprimento, que o seu quadrado seja igual ao excesso do quadrado de AR
sbre o quadrado de LX. Tirem-se finalmente s retas RL, RM, RN. Sendo pois
a reta RX perpendicular ao plano do crculo LMN, ser tambm perpendicular
(Def. 3.11.) aos semidimetros LX, MX, NX, E sendo LX = XM, e XR comum, e
retos os ngulos RXL, RXM, e por conseqncia iguais entre si, ser RL = RM.
Do mesmo modo deve ser RN = RL, e RN = RM. Logo, so iguais entre si as
trs retas RL, RM, RN. E como temos suposto ser o quadrado de XR igual ao
excesso, em que o quadrado de AB excede o quadrado de LX, ser o quadrado
de AB igual aos dois quadrados de LX, e XR. Mas o quadrado de RL igual (Pr.
47.1.) aos quadrados de LX e de XR, por ser reto o ngulo LXR. Logo, o
quadrado de AB ser igual ao quadrado de RL, e por conseqncia ser AB =
RL. Mas cada uma das retas BC, DE, EF, GH, HK igual a AB, e tanto RM como
RN igual a RL. Logo, cada uma das retas AB, BC, DE, EF, GH, HK ser igual a
cada uma das retas RL, RM, RN. E como as duas RL, RM so, iguais s duas
AB, BC, e a base LM igual base AC, ser o ngulo LRM = ABC (Pr. 8.1. ).
Pela mesma razo, ser tambm o ngulo MRN = DEF, e NRL = GHK. Logo,
com os trs ngulos planos LRM, MRN, NRL, que so iguais aos trs dados
ABC, DEF, GHK, temos formado no ponto R um ngulo slido, como se pedia.
PROP. A. TEOR.
base NG. Logo, ser o ngulo DKL = GMN (Pr. 8.1.). Mas o ngulo DKL a
inclinao do plano CAD sbre o plano CAE, e o ngulo GMN a incl1nao do
plano FBG sbre o plano FBH. Logo, stes planos esto entre si
semelhantemente inclinados (Def. 7.11.). Com o mesmo discurso podemos
demonstrar que os outros planos, em que existem ngulos iguais, tm entre si
respectivamente a mesma inclinao.
PROP. B. TEOR.
PROP. C. TEOR.
figuras sero iguais entre si, respectivamente. Aplicando pois a figura slida
AG a figura slida KQ, de maneira que a figura plana AC caia sbre a figura
plana KM, e tda a reta AB sbre tda a reta KL; a figura AC se ajustar em
tdas as partes dela. sbre a figura KM, por serem estas figuras iguais entre si
e semelhantes. Logo, as retas AD, DC, CB se devem ajustar sbre as retas KN,
NM, ML, cada, uma sbre cada uma, respectivamente; e os pontos A, D, C, B
sbre os pontos K, N, M, L, e o ngulo slido A sbre o ngulo slido K, e, por
conseqncia, o plano AF sbre o plano KP, e a figura AF sbre a figura KP,
sendo estas iguais e semelhantes. Logo, as retas AE; EF, FB devem cair sbre
as retas KO, OP, PL, e os pontos E, F sbre os pontos O, P. Do mesmo modo
se provar que a figura AH se deve ajustar sbre a figura KR, e reta DH
sbre a reta NR, e o ponto R sbre o ponto H. Sendo pois o ngulo slido B
igual ao ngulo slido L, com a mesma demonstrao concluiremos que a
figura BG se ajusta sbre a figura LQ, e a reta CG sbre a reta MQ, e o ponto
G sbre o ponto Q. Ajustando-se pois entre si todos os planos e lados das
figuras slidas AG, KQ, sero estas iguais entre si, e semelhantes.
Seja o slido CDGH formado pelos planos paralelos AC, GF, BG, QE, FB,
AE. Digo que os planos opostos AC, GF BG, CE, FB, AE so paralelogramos
iguais e semelhantes.
Como os planos paralelos BG, CE esto cortados pelo plano AC, sero
paralelas entre si. (Pr. 16.11.) as sees comuns AB, CD. Pela mesma razo
devem ser paralelas as sees comuns AD, BC dos planos BF, AE como o plano
AC. Mas temos visto que a reta AB paralela a CD. Logo, a figura AC ser um
paralelogramo. Do mesmo modo se pode demonstrar que as figuras CE, FG,
GB, BF, AE so paralelogramos. Tirem-se as diagonais AH, DF. Sendo pois a
reta AB, paralela a DC, e BH paralela a CF, isto , as duas AB, BH paralelas s
duas DC, CF existentes em outro plano, ser o ngulo. ABH = DCF (Pr.
10.11.). E tambm sendo as duas AB, BH iguais s duas DC, CF cada uma a
cada uma, e sendo o ngulo ABH = DCF, ser AH = DF, e o tringulo ABH
igual (Pr. 4.1.) ao tringulo DCF. Mas o paralelogramo BG o dbro (Pr.
34.1.) do tringulo ABH, e o paralelogramo CE dbro do tringulo DCF.
Logo, o paralelogramo BG ser igual e semelhante ao paralelogramo CE. Com
a mesma demonstrao se provar que Os paralelogramos AC, AE so,
respectivamente, iguais e semelhantes aos paralelogramos GF, DF.
Seja dada a reta AB, e nela o ponto A. Seja tambm dado o ngulo
slido D, formado pelos trs ngulos planos EDC, EDF, FDC. Deve-se construir,
no ponto A e sbre a reta AB, um ngulo slido igual ao ngulo slido D.
Tome-se na reta DF qualquer ponto F, e tire-se dste ponto F a reta FG,
perpendicular (Pr. 11.11.) ao plano, que passa pelas retas ED, DC. Seja G o
ponto, em que a perpendicular FG encontra o plano. Tire-se DG, e faa-se (Pr.
23.1.) com a reta AB e no ponto A o ngulo BAL = EDC, e tambm o ngulo
pelo plano AGHC das diagonais AG, CH dos planos opostos ALGF, CBHD, o
mesmo slido AH ficar dividido em duas partes iguais (Pr. 28.11.). Logo, o
slido AK o dbro do prisma, que tem os tringulos opostos ALG, CBH. Pela
mesma razo por que o slido AK cortado pelo plano LGHB, que passa pelas
diagonais LG, BH dos planos opostos ALNG, CBKH, ser o slido AK o dbro do
mesmo prisma compreendido entre os tringulos opostos ALG, CBH. Logo, o
slido AH igual ao slido AK.
No tenham agora os paralelogramos DM, EN algum lado comum (Figs.
36 e 37.). Como as figuras CH, CK so paralelogramos, ser o lado CB igual
(Pr. 34.1.) tanto ao lado DH, como ao lado EK. Logo, ser DH = EK. Ajunte-se,
ou tire-se de uma e outra parte a mesma reta RE. Ser DE = HK, e o tringulo
CDE igual (Pr. 38.1.) ao tringulo BHK, e o paralelogramo DG igual (Pr. 36.1.)
ao paralelogramo HN. Pela mesma razo ser o tringulo AFG igual ao
tringulo LMN. Mas os paralelogramos CF, CG so respectivamente iguais (Pr.
24.11.) aos paralelogramos BM, BN, por estarem opostos entre si. Logo, o
prisma formado pelos tringulos AFG, CDE, e pelos paralelogramos AD, DG,
GC igual (Pr. C .11.) ao prisma compreendido pelos tringulos LMN, BHK, e
pelos paralelogramos BM, MK, KL. Tirando :pois o prisma LMNBHK do slido,
que est entre a base AB o plano oposto FDKN, e tambm tirando do mesmo
slido o outro prisma AFGCDE, os restos que ficarem, isto os slidos AH, AK,
sero iguais entre si.
mesmas retas FR, MQ, os lados dles AF, AO, CD, CR, e LM, LP, BH, BQ, que
so os lados, que se levantam sbre a base ACBL; e tambm o slido CP
igual ao slido CN, porque ambos stes slidos esto sbre a mesma base
ACBL, e os lados dles AO,AG, LP, LN, e CR, CE, BQ, BK, levantados sbre a
mesma base ACBL, se terminam nas mesmas retas ON, RK. Logo, o slido CM
ser igual ao slido CN.
paralelogramo SB, por terem ambos a mesma base LB, e por estarem entre as
mesmas paralelas LB, AT, e tambm sendo pela hiptese o paralelogramo SB
igual ao paralelogramo CD; ser o paralelogramo AB igual ao paralelogramo
CD. Mas o ngulo ALB= CLD. Logo, pelo que temos j demonstrado, ser o
slido AE igual ao slido CF. Mas temos tambm provado, que o slido AE
igual ao slido SE. Logo, ser o slido SE igual ao slido CF.
Suponhamos, finalmente, no serem perpendiculares s bases iguais
AB, CD (Fig. 40.) as lado AG, HK, BE, LM; CN, RS, DF, OP dos slidos AE, CF.
Digo tambm que so iguais entre si os slidos AE, CF.
Caiam dos pontos G, K, E, M; N, S, F, P, sbre os planos das bases LH,
OR as perpendiculares (Pr. 11.11.) GQ, KT, EV, MX; NY, SZ, FI, PU, que
encontrem os planos nos pontos Q, T, V, X; Y, Z, I; U. Tirem-se as retas QT,
TV, VX, XQ; YZ, ZI, lU, UY. Como as duas retas GQ, KT so perpendiculares ao
mesmo plano, sero paralelas (Pr. 6.11.) entre si. Mas tambm as duas MG,
EK so paralelas. Logo, tambm sero paralelos (Pr. 15.11.) entre si os planos
MQ, ET, passando o primeiro pelas retas MG, GQ; e passando o outro pelas
retas EK, KT. Pela mesma razo so paralelos os planos MV, GT. Logo, o slido
QE um paraleleppedo. Do mesmo modo se demonstra que o slido YF
tambm um paraleleppedo. Mas pelo que temos dito, o slido EQ igual ao
slido FY, por serem iguais as bases MK, PS, e tambm iguais as alturas dles,
e por se levantarem os lados perpendicularmente sbre as mesmas bases: e o
slido EQ igual (Pr. 29. ou 30.11.) ao slido AE, e o slido FY igual ao
slido CF, por terem tanto uns como os outros a mesma base e a mesma
altura. Logo, ser o slido AE igual ao slido CF.
'altura, esto entre si na razo das bases AE, CF. Logo, tambm os prismas,
que so as metades, (Pr. 28.11.) dstes paraleleppedos, devem estar na
mesma razo das ditas bases AE, CF, isto , na razo dos tringulos AEM,
CFG.
PROP. D. TEOR.
No sejam agora os lados (Fig. 46.) FE, BL, GA, KH; XN, DO, MC, RP
perpendiculares sbre as bMes EH, NP. Tirem-se dos pontos F, B, E, G; X, D,
R, M outras tantas retas perpendicularmente sbre os planos das bases EH,
NP, as quais encontrem os ditos planos nos pontos S, Y, V, T; Q, l, U, Z.
Completem-se os slidos FV, XU, que devem ser paraleleppedos, como se tem
demonstrado no ltimo caso da prop. 31 dste Livro. Digo que, sendo iguais
entre si os slidos AB, CD, as bases so reciprocamente proporcionais s
alturas, isto , a base EH do slido AB para a base NP do slido CD, como a
altura dste slldo CD para a altura do slido AB. Visto ser o slido AB igual
ao slido CD, pela suposio, e o slido BT igual (Pr. 29. ou 30.11.) ao slido
AB, por estarem sbre a mesma base FK, e terem a mesma altura, e tambm,
pela mesma razo, o slido DC igual ao slido DZ; ser o slido BT igual ao
slido DZ. Mas as bases de paraleleppedos iguais, e sbre as quais se
levantam perpendicularmente os lados, so reciprocamente proporcionais s
alturas, como j se tem demonstrado. Logo, ser a base FK do slido BT para
a base XR do slido DZ, como a altura dste slido DZ para a altura do
slido BT. Mas as bases FK, H so iguais, como tambm so iguais as bases
XR, NP. Logo, ser a base EH para a base NP, como a altura do slido DZ
para a altura do slido BT. Mas os slidos DZ, DC tm a mesma altura, como
tambm os slidos BT, BA. Logo, ser a base EH do slido AB para a base NP
do slido CD, como a altura do slido DC para a altura do slido BA, e assim
as bases dos slidos paraleleppedos AB, CD so tambm neste caso
reciprocamente proporcionais s alturas.
Tenham finalmente as bases, (Fig. 46.) dos paraleleppedos entre si a
razo recproca das alturas, isto , seja a base EH do slido AB para a base NP
do slido CD, como a altura do slido CD para a altura do slido AB. Digo
que os slidos AB, CD so iguais. Feita a mesma construo que acima, sendo
a base EH para a base NP, como a altura do slido CD para a altura do slido
AB; e sendo a base EH igual base FK, e a base NP igual base XR, ser a
base FK para a base XR, como a altura do slido CD para a altura do slido
AB. Mas os slidos AB, BT, como tambm os slidos CD, DZ, so igualmente
altos. Logo, ser a base FK para a base XR como a altura do slido DZ para
a altura do slido BT. Logo, as bases dos paraleleppedos BT, DZ so
reciprocamente proporcionais s alturas. Mas os lados, que se levantam sbre
as bases nestes slidos, soperpendiculares s mesma bases. Logo, os slidos
BT, DZ devem ser iguais, como h pouco ficou demonstrado. Mas o slido BT
igual (Pr. 29 ou 30.11) ao slido BA, e o slido DZ igual ao Slido DC, por
estarem postos, tanto os primeiros , como os segundos sobre a mesma base e
por terem alturas iguais. Logo, os slidos AB, Cd so iguais.
Sejam iguais entre si os dois ngulos planos BAC, EDF (Fig. 47.), e
sendo tambm iguais as retas AH, DM; que dos vrtices dos ngulos se
levantam sbre os planos dles, faam com os lados BA, AC, ED, DF os
ngulos HAB, MDE iguais, e os ngulos HAC, MDF tambm iguais. Dos pontos
H, M sejam conduzidas sbre os planos BAC, EDF as perpendiculares HK, MN.
Digo que ser HK =MN.
Visto ser formado o ngulo slido, A pelos trs ngulos planos BAC,
BAH, HAC, que, so iguais, cada um a cada um, aos trs ngulos planos EDF,
EDM, MDF que fazem o ngulo slido D; sero iguais entre si os ngulos
slidos A, D, de maneira, que um dles se poder ajustar sbre o outro
exatamente. Porque, sendo o ngulo plano BAC aplicado ao, ngulo plano EDF,
poderemos demonstrar, como j fizemos na Proposio B dste Livro, que a
reta AH se deve ajustar com a reta DM, e sendo AH = DM, o ponto H deve cair
sbre o ponto M. Do que depois se segue que a reta HK, perpendicular ao
plano BAC, vir a ser a mesma (Pr. 13.11.) que a reta MN, perpendicular ao
plano EDF, por se ajustarem entre, si tambm stes planos. Fica pois evidente
ser HK = MN.
Sejam as quatro retas proporcionais AB, CD, EF, GR, isto , seja
AB:CD::EF:GR. Estejam postos sbre estas retas proporcionais os
paraleleppedos AK, CL, semelhantes e semelhantemente descritos; e do
mesmo modo os outros EM, GN. Digo que ser o slido AK para o slido CL,
como o slido EM para o slido GN.
Ponham-se as retas O, P, Q, R, de maneira que as quatro AB, CD, O, P,
como tambm as quatro EF, GR, Q, R, sejam continuamente proporcionais (Pr.
11.6.). Sendo pois pela hiptese, AB:CD::EF:GR; ser tambm CD:O::GH:Q;
e O:P::Q:R (Pr. 11.5.). Logo, ser por igual AB:P::EF:R (Pr. 22.5.). Mas AB
para P, como o slido AK para o slido CL (Cor. 33.11.), e EF para R, como o
slido EM para o slido GN. Logo, ser o slido AK para o slido CL, como o
slido EM para o slido GN.
Suponhamos agora ser o slido AK para o slido CL, como o slido EM
para o slido GN. Digo que ser AB:CD::EF:GH.
Faa-se AB:CD::EF:ST, e sbre a reta ST descreva-se (Pr. 27.11.) o
paraleleppedo SV, semelhante e semelhantemente psto a respeito do
paraleleppedo EM, ou GN. Como AB:CD::EF:ST, e sbre as retas AB, CD
esto feitos os paraleleppedos AK, CL, semelhantes e semelhantemente
no mesmo plano, as duas retas OX, RP. Seja pois a reta YS seo comum
dos planos KN, XR e seja DG: o dimetro do paraleleppedo AF. Digo que as
duas retas YS, DG se encontram, e se cortam -reciprocamente em partes
iguais.
Tirem-se as retas DY, YE, BS, SG. Sendo DX paralela a OE, os ngulos
alternos DXY, YOE sero iguais (Pr. 29.1:). E sendo DX = OE, e XY = YO, e o
ngulo DXY == YOE; ser a base DY igual base YE, e o ngulo XYD = OYE
(Pr. 4.1.), e assim ser DYE uma s linha reta (Pr. 14.1,). Do mesmo modo se
provar, que BSG uma s linha reta, e que BS igual a SG. E como a reta
CA igual e paralela a DB, e ao mesmo tempo igual e paralela a EG, ser DB
igual (Pr. 9.11.) e paralela a EG. Mas entre as extremidades das retas iguais e
paralelas DB, EG, esto tiradas as outras DE, BG. Logo, tambm estas duas
DE,BG sero iguais, (Pr. 33.1.) entre si e paralelas, e por conseqncia as
retas DG, YS devem existir no mesmo plano, por estarem tiradas entre os
pontos D, G, Y, S das duas paralelas DE, BG. Logo, as retas DG, YS ho de se
encontrar em algum ponto. Encontrem-se pois no ponto. T. Sendo paralelas
entre si as duas retas DE, BG, os ngulos alternos EDT, BGT sero iguais. Mas
DTY = GTS (Pr. 15.1.). Logo, nos tringulos DTY, GTS h dois ngulos iguais
a outros dois ngulos, cada um a cada um; e um lado igual a outro lado, isto
, o lado DY igual ao lado GS, por ser DY a metade de DE, e GS a metade de
BG, e por ser DE = BG; e alm disto os mesmos lados DY, GS ficam opostos a
ngulos iguais. Logo, os outros lados dos ditos tringulos sero entre si,.
respectivamente, iguais (Pr. 26.1.), e por conseqncia ser DT = TG, e YT =
TS.
LEMA I.
Necessrio para a demonstrao de algumas Proposies dste Liyro.
ste Lema a Proposio I. do Livro X.
PROP. I. TEOR.
21.3.) os ngulos AEB, AMB, porque ambos assentam sbre o mesmo arco AB,
e pela mesma razo FLG = FNG. Logo, ser AMB = FNG. Mas o ngulo reto
BAM igual ao reto GFN (Pr. 31. 3.). Logo, ser tambm o terceiro ABM igual
ao terceiro GFN, e assim sero eqingulos os tringulos ABM, FGN. Logo,
deve ser BM:GN::BA:GF (Pr. 4.6.), e por conseqncia a razo duplicada da
de BM para GN igual (Def. 10.5. e Pr. 22.5.) duplicada da razo de BA para
GF. Mas a razo do quadrado de BM para o quadrado de GN duplicada (Pr.
20.6.) da razo de BM para GN; e a razo do polgono ABCDE para o polgono
FGHKL a duplicada da razo de BA para GF.
Logo, assim como o quadrado de BM para o quadrado de GN, assim
tambm ser o polgono ABCDE para o polgono FGHKL.
Sejam os crclos ABCD, EFGH, cujos dimetros sejam BD, FH. Digo
que assim como o quadrado de BD para o quadrado de FH, assim tambm o
crculo ABOD para o crculo EFGH.
Suposto no ser assim, o quadrado de BD ser para o .quadrado de FH,
como o crculo ABCD para um espao menor, ou maior que o crculo EFGH
Seja, primeiramente, para um espao menor, e seja S ste espao
(Figs. 3.4.). Inscreva-se, no crculo EFGH, o quadrado EFGH. Digo que ste
quadrado, inscrito no crculo EFGH, maior que a metade do mesmo crculo
EFGH. Porque, se pelos pontos E, F, G, H, forem tiradas outras tantas
tangentes ao crculo, o quadrado inscrito EFGH vir a ser a metade (Pr. 41.1.)
do quadrado circunscrito ao mesmo crculo.
Mas o crculo menor do que o quadrado circunscrito. Logo, o
quadrado EFGH maior que a metade do crculo EFGH. Divida-se cada um dos
arcos EF, FG, GH, HE em partes iguais nos pontos K, L, M, N, e tirem-se as
retas EK, KF, FL, LG, GM, MH, HN, NE. Cada um dos tringulos EKF, FLG,
GMH, HNE ser maior que a metade do segmento circular, em que fica
compreendido, porque, se pelos pontos K, L, M, N forem conduzidas ao crculo
outras tantas tangentes, e sbre as retas EF, FG, GH, HE se completarem
outros tantos paralelogramos; cada um dos tringulos EKF, FLG, GMH, HNE,
ser a metade do paralelogramo, que lhe corresponde. Mas cada segmento
menor que o paralelogramo que lhe pertence. Logo, cada um dos tringulos
EKF, FLG, GMH, HNE maior do que a metade do segmento circular em que
fica descrito. E divididos outra vez stes arcos nas suas metades, e tiradas as
A razo disto porque h de haver um quadrado igual ao circulo ABCD. Chamando P o lado
dste quadrado, manifesto, que postas as trs retas BD, FH, P, se lhes poder achar a
quarta proporcional, qual chamo Q. Logo, os quadrados feitos sbre as retas BD, FH, P, Q,
sero tambm proporcionais, que o mesmo que dizer, que supostos os quadrados das retas
BD, FH, e suposto o circulo ABCD, poder haver um espao, que seja uma quarta grandeza
proporcional a respeito dos mesmos quadrados de BD, e de FH, e do crculo ABCD. Seja S esta
quarta grandeza proporcional. Do mesmo modo se ho de entender alguns lugares
semelhantes, que h nas proposies seguintes.
Porque temos demonstrado, na Nota precedente, que postos os quadrados das retas BD, FH,
e psto o crculo ABCD, pode haver um espao, que foi marcado com a letra S, o qual seja a
quarta grandeza proporcional. Da mesma sorte, postos o espao T, e os crculos ABCD,
EFGH,poder haver um espao, que seja a quarta grandeza proporcional.
Porque, postos os quadrados das retas BD, FH, e o circulo ABCD, podendo haver um espao
que seja a quarta grandeza proporcional, e no podendo ser ste espao nem menor, nem
maior que o circulo EFGH, como j se tem demonstrado, segue-se que o mesmo espao h de
ser igual ao circulo EFGH.
pirmide da base triangular AEG e do vrtice R, como temos demonstrado.
Logo, a pirmide da base triangular ABC e do vrtice D semelhante
pirmide da base triangular AEG e do vrtice H. Logo, cada uma das pirmides
AEGH, HKLD semelhante pirmide total ABCD.
Sendo pois BF = FC, o paralelogramo EBFG ser o dbro (Pr. 41.1.) do
tringulo GFC. E como dois prismas so iguais entre si, quando, sendo
igualmente altos, a base paralelograma de um o dbro (Pr. 40.11.) da base
tringular do outro; o prisma, cuja base o paralelogramo EBFG, e que tem o
lado KH oosto mesma base EBFG, ser igual ao prisma, cuja base o
tringulo GFC, e o plano oposto o tringulo HKL, visto serem stes prismas
igualmente altos, por estarem postos entre os planos paralelos (Pr. 15,11.)
ABC, HKL,
Tambm manifesto que cada um dstes dois prismas maior que
cada uma das duas pirmides, cujas bases so os tringulos AEG,. RKL, e os
vrtices os pontos H, D. Porque, tirada a reta EF, o prisma da base
paralelograma EBFG, e do lado oposto KH maior que a pirmide da base
triangular EBF e do vrtice K. Mas esta pirmide igual outra, que tem por
base o tringulo AEG, e por vrtice o ponto H, por serem ambas
compreendidas por planos iguais entre si e semelhantes. Logo, tambm o
prisma, cuja base o paralelogramo EBFG, e o lado oposto a esta base a reta
HK, maior que a pirmide da base triangular AEG e do vrtice H. Mas o
prisma, cuja base o paralelogramo EBFG, e que tem o lado HK oposto a esta
base, igual ao prisma cuja base o tringulo GFC, e o plano oposto o
tringulo HKL; e a pirmide da base triangular AEG e do vrtice R igual
pirmide da base triangular RKL e do vrtice D. Logo, os ditos dois prismas
tomados juntos so maiores que as duas pirmides,cujas bases so os
tringulos AEG, HKL, e os vrtices os pontos H, D, tambm tomadas juntas.
Logo, a pirmide total, que tem por base o tringulo ABC, e por vrtice o
ponto D, est dividida em duas pirmides iguais e semelhantes entre si, e
tambm semelhantes pirmide total; e mais em dois prismas iguais, os quais
tomados juntos so maiores que a metade da mesma pirmide total.
PROP. IV.TEOR.
PROP. V. TEOR.
Pode isto demosntrar pelo mesmo mtodo, por que demonstrams uma coisa semelhante a respeito da
Seja o prisma com a base triangular ABC, qual fica oposto o tringulo
DEF. Digo que o prisma ABCDEF se pode dividir em trs pirmides iguais entre
si, e com bases tambm triangulares.
Tirem-se as retas BD, EC, CD. Como a figura ABED um
paralelogramo, cuja diagonal a reta BD, os tringulos ABD, EBD sero iguais
(Pr. 34.1.). Logo, a pirmide, que tem por base o tringulo ABD, e por vrtice
o ponto C, ser igual (Pr. 5.12.) pirmide, que tem por base o tringulo EBD,
e, por vrtice o ponto C. Mas a pirmide, cuja base o tringulo EBD, e o
vrtice o ponto C, a mesma pirmide que tem a base triangular EBC, e o
vrtice D, por serem ambas formadas com os mesmos planos. Logo, a
pirmide, cuja base o tringulo ABD, e, o vrtice o ponto C, ser igual
pirmide, cuja base o tringulo EBC, e o vrtice o ponto D. Tambm sendo a
figura FCBE um paralelogramo, cuja diagonal a reta CE, os tringulos ECF,
ECB devem ser iguais. Logo, a pirmide, cuja base o tringulo ECB, e o
vrtice o ponto D, ser igual pirmide, cuja base o tringulo ECF, e o
vrtice o ponto D. Mas a pirmide da base triangular ECB, e do vrtice D,
igual pirmide, cuja base o tringulo ABD, e o vrtice o ponto C, como se
tem j demonstrado. Logo, a pirmide, cuja base o tringulo ECF, e o vrtice
o ponto D, ser igual pirmide, cuja base o tringulo ABD, e o vrtice o
ponto C. Logo, o prisma ABCDEF est dividido em trs pirmides iguais entre
si, e com bases triangulares, isto , est dividido nas pirmides ABCD, EBDC,
ECFD. E como a pirmide da base triangular ABD, e do vrtice C a mesma
que a pirmide cuja base o tringulo ABC, e o vrtice o ponto D, por serem
ambas compreendidas pelos mesmos planos; e a pirmide da base triangular
ABD, e do vrtice C a terceira parte do prisma, cuja base o tringulo ABC,
e o plano oposto o tringulo DEF, como j temos demonstrado; a pirmide,
cuja base o tringulo ABC, e o vrtice o ponto D, ser tambm a terceira
parte do prisma, que tem a mesma base triangular ABC, e o plano oposto o
tringulo DEF.
COROL. 1. Disto se segue que qualquer pirmide a terceira parte do
prisma, que tem a mesma base da pirmide e altura igual. Porque, se a base
do prisma fr outra qualquer figura retilnea, o prisma se poder sempre
dividir em outros prismas, que tenham bases triangulares, e assim ter lugar
a mesma demonstrao que acima.
COROL. 2. Os prismas igualmente altos esto entre si como as bases;
porque as pirmides, que tm a mesma altura, e que assentam sbre as
mesmas bases dos prismas, tm entre si aquela mesma razo que tm as
bases (Pr. 6.12.).
PROP. X. TEOR.
Estejam postos sbre as bases iguais AB, CD os cilindros. BE, DF. Digo
que o cilindro BE para o cilindro DF, como o eixo GH para o eixo KL.
Produza-se o eixo KL at o ponto N, de maneira que seja LN = GH, que
o eixo do cilindro BE. Considere-se, descrito o cilindro CM ao redor do eixo
LN. Como pela construo so igualmente altos os dois cilindros EB, CM,
estaro entre si como as bases (Pr. 11.12.). Mas estas bases so iguais. Logo,
os cilindros EB, CM so tambm iguais. E sendo o cilindro FM cortado pelo
plano CD. paralelo aos planos opostos, ser o cilindro CM para o cilindro DF,
C9IDO o eixo LN para o eixo KL (Pr. 13.12.). Ms o cilindro CM igual ao
cilindro EB, e o eixo LN igual ao eixo GH. Logo, ser o cilindro BE para o
cilindro DF, como o eixo GH para o eixo KL.
Mas o cilindro BE para o cilindro DF, como a pirmide cnica ABG
para a pirmide cnica CDK (Pr. 15.5.) porque o cilindro o triplo (Pr. 10.12.)
da pirmide cnica, que tem a mesma base e altura igual. Logo, ser tambm
a pirmide cnica ABG para a pirmide cnica CDK, como o eixo GH para o
eixo KL. Mas os eixos GH, KL so as alturas tanto das pirmides cnicas, como
dos cilindros existentes sbre as bases AB, CD. Logo, tanto as pirmides
cnicas como os cilindros, que existem sbre bases iguais, esto entre si como
as alturas.
Sejam dados os crculos ABCD, EFGH, cujo centro comum seja o ponto
K. Deve-se inscrever, no crculo maior ABCD, um polgono de lados iguais, e
de nmero par, de sorte que no toque o crculo menor EFGH.
Tire-se o dimetro BD, sbre o qual se levante do ponto G a
perpendicular GA. Produza-se esta at o ponto C. Ser a reta AC uma
tangente (Pr. 16.3.) do crculo EFGH no ponto G; Se a semicircunferncia BAD
fr dividida pelo meio, e uma das metades fr tambm dividida em partes
iguais, isto se continuar sempre assim, finalmente viremos a ter um arco
menor (Lema I.) que o arco AD. Seja LD ste arco menor do que o arco AD.
Caia do ponto L perpendicularmente sbre o dimetro BD e reta LM, a qual
seja produzida at o ponto N. Tirem-se as cordas LD, DN. Ser LD = DN (Pr.
3.3. e 4.1. ). E como LN paralela a AC, que toca o crculo EFGH no ponto G;
a reta LN no poder tocar o mesmo crculo EFGH, e por conseqncia muito
menos o podero tocar as cordas LD, DN. Logo, se formos inscrevendo no
crculo ABCD outras e outras retas, das quais cada uma seja igual corda LD,
evidente que ficar inscrito, no mesmo crculo ABCD, um polgono de lados
iguais e de nmero par, o qual polgono no tocar o crculo menor EFGH.
LEMA II
Sejam as esferas ABC, DEF, cujos dimetros so as retas. BC, EF. Digo
que a esfera ABC tem para a esfera DEF a razo triplicada da de BC para EF.
Suponhamos no ser isto assim; a esfera ABC ter para outra esfera,
ou menor, ou maior que a esfera DEF, a razo triplicada da de BC para EF .
Tenha, primeiramente, a esfera ABC para a esfera GHK menor que a esfera.
DEF (Figs. 28, 29.) a dita razo triplicada de BC para EF; e o centro da esfera
GHK seja o mesmo que o centro da esfera DEF. Considere-se inscrito (Pr.
17.12.) nesta esfera DEF um slido poliedro, cuja superfcie no toque a esfera
menor GHK. Seja tambm inscrito na esfera ABC outro slido poliedro,
semelhante ao que est inscrito na esfera DEF. Ter o slido poliedro inscrito
na esfera ABC. para o slido poliedro inscrito na esfera DEF a razo triplicada
(Cor. 17.12.) daquela que BC tem para EF. Mas a esfera ABC, pela hiptese,
tem para a esfera GHK a razo triplicada de BC para EF. Logo, ser a esfera
ABC para a esfera GHK, como o slido poliedro existente na esfera ABC para
o slido poliedro existente na esfera DEF. Mas a esfera ABC maior que o
slido poliedro inscrito nela. Logo, tambm a esfera GHK ser maior (Pr.
14.5.) que o poliedro inscrito na esfera DEF. Mas isto impossvel, porque a
esfera GHK existindo dentro do poliedro inscrito na esfera DEF,
necessariamente menor que o mesmo poliedro. Logo, a esfera ABC no pode
ter para a esfera GHK, menor que a esfera DEF, a razo triplicada da de BC
para EF. Do mesmo modo demonstraremos que a esfera DEF no pode ter
para outra esfera, menor que a esfera ABC, a razo triplicada daquela que EF
tem para BC.
Digo tambm que a esfera ABC (Figs. 28, 29 e 30.) no tem para outra,
maior que a esfera DEF a razo triplicada da de BC para EF. Seja, se
possvel, LMN esta esfera maior. Logo, invertendo, a esfera LMN ter para a
esfera ABC a razo triplicada da do dimetro EF para o dimetro BC. Mas
assim como a esfera LMN para a esfera ABC, assim a esfera DEF deve ser
para outra menor que a esfera ABC, por trmos suposto ser LMN maior que
DEF. Logo, tambm a esfera DEF ter para uma esfera menor que ABC a razo
triplicada da de EF para BC, o que temos demonstrado ser impossvel. Logo, a
esfera ABC no pode ter para a outra, maior que a esfera DEF, a razo
triplicada daquela que BC tem para EF. Logo, tendo-se demonstrado o mesmo
a respeito de outra esfera menor que a esfera DEF, a esfera ABC deve ter para
a esfera DEF a razo triplicada daquela que o dimetro BC tem para o
dimetro EF.
Veja-se a Nota a prop. 2. dste liv. pg. 310., as mais Notas. segs.
FIM DOS ELEMENTOS DE EUCLIDES
NOTAS ESCOLHIDAS
DAS DE
ROBERTO SIMSON,
A ALGUMAS PROPOSIES.
DOS ELEMENTOS DE EUCLIDES.
EUCLIDES
quais fazem com a reta EAC os ngulos iguais EAB, ECD para a mesma parte
da reta EAC, visto que cada uma das ditas retas AB, CD pode ser
perpendicular a outra linha reta. E, com efeito, dividida pelo meio a reta AC no
ponto F, e tirada a reta FG perpendicularmente. sbre a reta AB produzida, e
produzida tambm a dita GF at o ponto H da outra reta CD; nos tringulos
AFG, CFR, pela hiptese, e, pela proposio 15 do Liv. I, ser o ngulo GAE =
HCF, e AFG = CFH. Mas o lado AF igual ao lado FC. Logo, pela proposio 26.
do Liv. I deve ser o ngulo AGF = CHF. Logo, sendo reto o ngulo AGF,
tambm ser reto o ngulo CHF, e por conseqncia cada uma das retas BG,'
DH ser perpendicular mesma reta GH.
manifesto, em segundo lugar, que duas linhas retas, que saem do
mesmo ponto, se vo apartando cada vez mais uma de outra, de maneira que
a distncia mnima, entre a extremidade de uma delas e a outra reta, pode
finalmente vir a ser maior do que qualquer linha reta proposta. Suponhamos,
por exemplo, que de duas retas, que saem do mesmo ponto, uma de dez
ps de comprimento; suponhamos tambm, que a distncia mnima, entre a
extremidade desta reta de dez ps de comprimento e a, outra, de um p. Se
a reta de dez ps de comprido fr produzida at vinte ps, a distncia mnima
entre a extremidade desta de vinte ps, e a outra reta tambm produzida,
ser de dois ps, ficando assim esta distncia acrescentada do comprimento
de outro p; e dste modo se aquelas duas retas, que saem do mesmo ponto,
forem cada vez mais produzidas, a mesma distncia mnima da extremidade
de uma delas, a respeito da outra reta, cada vez vir sendo maior. Esta
propriedade depende inteiramente da natureza da linha reta, a qual
constantemente conserva a mesma direo; e rigorosamente se no pode
demonstrar pelo que acima fica exposto.
Suposto tudo isto, sejam as duas retas AB, FD (Fig. 4.) as quais, com a
terceira EFH, faam os ngulos internos e d mesma parte BEF, EFD, e sejam
stes ngulos tomados juntos menores que dois retos. Digo que as retas AB,
FD ho de concorrer para a parte BD, para a qual ficam os ngulos. BEF, EFD.
No ponto F existente na reta FH, para a mesma parte' desta reta, faa-
se (Pr. 23.1.) o ngulo externo GFH igual ao interno BEF. Logo, pelo que
temos declarado acima, as paralelas (Pr. 28.1.) EB, FG, por mais que sejam
produzidas, ho de conservar sempre entre si a mesma distncia. E como os
ngulos HFG, GFE, tomados juntos, so iguais a dois retos (Pr. 13.1.),
tambm os ngulos BEF, EFG, tomados juntos devem ser iguais a dois retos.
Mas os ngulos BEF, EFD, pela hiptese, so menores que dois retos. Logo,
ser o ngulo EFG>EFD, e por conseqncia .a reta FD cair entre as retas
eqidistantes, ou paralelas, EB, FG. Mas as retas FG, FD, que partem do
mesmo ponto F, produzidas que sejam, ho de vir a ter entre si uma distncia
maior que o intervalo. das eqidistantes FG, EB. Logo, a reta FD por fim deve
passar para outra parte da reta EB, a respeito do ponto F, e assim deve
necessariamente concorrer com a mesma reta EB..
DEFINIO II.
II
III
IV
PROP. I. PROB.
aos dois C, D, cada um a cada um. Logo, no ponto N fica formado um ngulo
slido pelos quatro ngulos planos ONP, PNQ, QNR, ONR, que so iguais aos
quatro A, B, C, D, cada um a cada um. Mas no serem iguais entre si os dois
ngulos slidos (Figs. 13 e 14,) existentes nos pontos F, N, e cada um
formado respectivamente pelos quatro ngulos planos referidos; ou, o que
vem a ser o mesmo, no se ajustarem entre si os mesmos ngulos slidos a
respeito de tdas as suas partes; faz-se evidente visto serem desiguais entre
si pela construo os ngulos GFK, ONQ ou os ngulos E, M, e por
conseqncia no ser possvel ajustarem-se as retas GF, FK sbre as retas ON,
NQ. No se ajustando pois entre si os ditos ngulos slidos a respeito de todas
as suas partes, necessariamente so desiguais.
E como por meio dos trs ngulos propostos, A, B, C se podem achar
infinitos outros, os quais juntamente com o ngulo D venham a fazer o mesmo
efeito; e tambm por meio dos ngulos A, B, C, e do ngulo D, ou um,
qualquer que seja, dos ditos infinitos ngulos, que se tiverem achado, se
podem do mesmo modo achar outros, os quais juntamente com o ngulo E, ou
com o ngulo M faam a mesma coisa; manifesto que com os mesmos
quatro ngulos planos se podem formar inumerveis ngulos slidos, os quais
todos sejam entre si desiguais.
Engana-se pois o padre CLUDIO, e com le todos aqules autores, que
afirmam serem iguais entre si os ngulos slidos, tdas as vzes que ficam
formados pelo mesmo nmero de ngulos planos respectivamente iguais; e
assim se faz, manifesto, que a proposio 26 do Livro XI no tinha sido
demonstrada legitimamente, porque naquela demonstrao a igualdade dos
ngulos slidos, compreendidos por trs ngulos planos iguais, cada um a
cada um, se tinha suposto e no se tinha demonstrado.
FIM
ERRATA
Pag. ???, fig. 7. Na perpendicular G da linha AB, falta um L no ponto aonde toca a
mesma linha.
EUCLIDES