◉Vitellonis filii thvringorvm et polonorvm opticae liber primvs.
◉Definitiones.
◉OVAE uerò per modum principiorum huic primo libro præmittimus, ſuntiſta. 1. Cathetum dicimus lineam perpendicularẽ ſuper ſuperficiem aliquam, erctam. 2. Polum dicimus omnem punctum lineæ ſuper ſuperficiem circuli à centro orthogonaliter erectæ. 3. Conuexam lineam uel ſuperficiem dicimus, quæ extrinſecus aliquam regularem curuitatem habet. 4. Lineam cõcauam uel ſuperficiem dicimus, quæ intrinſecus aliquam regularem curuitatem habet. 5. Lineam ſuper ſuperficiem conuexam uel concauam perpendicularem dicimus, quæ ſuper planam ſuperficiẽ in puncto ſuæ incidentiæ ſuperficiem conuexam uel concauam contingentem eſt erecta. 6. Circuli ſeinuicem ſecantes dicuntur, quorum diametris eſt aliqua linea communis, uno reliquum non continente. 7. Circulus magnus ſphęræ dicitur, qui tranſiens cen trum ſphæræ, diuiditipſam in duo æqualia. 8. Minor uerò circulus ſphæræ dicitur, qui neque tranſit centrum ſphæræ, neque diuiditipſam in duo æqualia. 9. Sphæras æquales dicimus, quarum diametri ſunt æquales. 10. Sphæras uel circulos ſeinuicem continentes, ęquidiſtantes dicimus, inter quas à centro maioris ductæ lineæ à conuexo minoris ad concauum maioris ſunt æquales. 11. Sphæras ſe inuicem cõ tingentes dicimus, quæ ſe tangentes extrinſecus uelintrinſecus nõ ſecant. 12. Sphę ras ſeinuicem interſecantes dicimus, cùm ſphęris ſe non continentibus, diameter unius per alteram reſecatur. 13. Sphęras intrinſecus ſe interſecantes dicimus, quarum maior pars unius in altera continetur. 14. Superficiem planam ſphæram contingere dicimus, quæ cum ſphæram tangat, ad omnem partem educta, non ſecat. 15. Denominatio proportionis primi ad ſecundum, dicitur quantitas, quę ducta in minorem producit maiorem: uel quæ maiorem diuidit ſecundum minorem. 16. Proportio dicitur componi ex duabus proportionibus, quando denominatio illius proportionis producitur ex ductu denominationum illarum proportionum, unius in alteram.
b a c d
◉Petitiones.
◉Petimus autem hæc. 1. Aequales angulos ſuperidem punctum conſtitutos, æqualem continere diſtantiam æqualium linearum: ut ſi anguli a b c, & c b d ſint æquales, & linea a b & b d ſint æquales: tantum diſtabit linea a b à linea b c, quãtum linea b d diſtat ab eadem linea b c. 2. Item inter quælibet duo puncta lineam, & inter quaslibet duas lineas ſuperficiem poſſe extendi. 3. Item, cum duæ planæ ſuperficies ſe contingunt, unã ex eis fieri ſuperficiem. 4. Item duas planas ſuperficies corpus non includere. 5. Item omnes eaſdem proportiones ex ſimilibus proportionibus componi, & in ſimiles proportiones diuidi, & eaſdem habere denominationes.
page 5◉Theoremata‡
◉1. Omnes lineæ æquidiſt antes in eadem ſuperficie plana neceſſariò conſiſtunt. É 35 definit. 1 element.
◉Sint duæ lineæ æquidiſtantes, quæ a b & c d utcunque diſpoſitæ:
a c b d
◉2. Lineam à puncto unius linearum æquidiſtantium in eadem ſuperficie protr actam, cum alter a indefinitæ quantitatis concurre re eſt neceſſe. Lemma Procli ad 29 p relement.
◉Sint duæ lineæ æquidiſtantes, quæ a b & c d: quarum unam, ſcilicet a b, ſecet linea b e in puncte b. Dico, quòd linea b e ſecabit etiam lineam c d. Quia enim linea c d
c a b d e
◉3. Datis tribus lineis, cuilibet tertiæ ſecundum proportionẽ aliarum duarum proportionalem inuenire. É 12 p 6 element.
◉Sint datæ tres lineæ, quę ſint a b, c d, e f, quarum uni ut a b, ſecundum proportionem aliarum duarum, quę ſunt c d & e f, quarta propor tionalis debeat inueniri. Duæ itaque lineæ æquales duabus lineis, quæ ſunt c d & e f, ab una linea continua abſcin dantur, quę ſit a e f per 3 p 1, & illi lineę a e fangulariter tertia data ſcilicet a b coniungatur in puncto a: & à puncto commu ni diſtinguẽte duas lineas reſectas, (quod ſit punctum e) ducatur li
a b c d e f
a e b f g
◉4. Cum duabus lineis inæqualibus notæ proportionis, æqualiũ linearum facta fuerit ad Fig. 256
a b c d g c d g f ditio: maioris adminorẽ minuitur proportio. Ex 8 p 5 element.
a b c d g c d g f
◉Sint duæ lineæ a b & c d inæquales, notæ proportionis: ſitq́ue linea a b maior quàm linea c d: addatur quoq linea b e ipſi a b, & linea d f ipſi c d: ſintq́ lineę b e & d f ęquales. Dico, quòd minor eſt proportio lineę a e ad lineam c f, quàm lineę a b ad lineam c d. Quoniam enim datę ſunt tres lineę, quę ſunt a b & c d & b e: inueniatur per pręcedẽtem linea proportionalis lineę b e, ſecundum proportionem linearum a b & c d, quę ſit d g. Quia ergo linea a b eſt maior quàm linea c d, patet, quia linea b e eſt maior quã linea d g: ergo & linea d f eſt maior quã linea d g. Abſcindatur ergo per 3 p 1 è linea d f ęqualis ipſi d g. Quia ergo eſt proportio lineę a b ad lineam c d, ſicut lineę b e ad lineam d g: erit per 15 p 5 proportio totius lineę a e ad totalem lineã c g, ſicut lineę a b ad lineam c d: ſed per 8 p 5 minor eſt proportio lineæ a e page 6 ad lineam c f maiorem, quàm ad lineam c g minorem: eſt ergo maior proportio lineæ a b ad linea m c d, quàm lineę a e ad lineam c f: & hoc eſt propoſitum.
◉5. Cum fuerit proportio primi ad ſecundum, tanquam tertij ad quartũ: erit è contrario proportio ſecundi ad primum, ſicut quarti ad tertium. É 13 def. & conſectario 4 p 5 element.
◉Sit enim a primum, & b ſecundum, & ctertium, & d quartum: & ſit proportio a ad b, ſicut c ad d. Dico, quòd erit è contrario proportio b ad
a b c d
◉6. Cum fuerit quatuor quantitatum proportio primæ ad ſecundã maior, quãtertiæ ad quartam: erit è contr ario minor proportio ſecundæ ad primam, quàm quartæ ad tertiam. 26 p 5 element. in Campano.
◉Eſto proportio lineæ a ad lineam b maior, quàm lineæ c ad lineam d. Dico, quôd erit è contrario minor proportio lineæ b ad lineam a, quàm lineæ d ad li
a b e c d
◉7. Si quatuor quantitatum proportion alium prima fuerit maior quãſecunda, & tertia maior quã quarta: erit euerſim eadem proportio primæ ad augmentum ſui ſuper ſecundam, quæ ter tiæ ad augmentum ſui ſuper quartam. É 16 definit. & conſectario 19 p 5.
◉Sint quatuor lineę proportionales a c prima: b c ſecunda: d ftertia: & e f quarta. Sitq́ue linea a b maior quàm linea b c, & linea d f maior, quàm linea e f: ex
a b c d e f
◉8. Si quatuor quantit atum prima fuerit maior ſecunda, & tertia maior quarta: erit maior proportio primæ ad quartam, quàm ſecundæ ad tertiam. Conſectarium ex 8 p 5 element.
◉Sint quatuor lineę a, b, c, d: & ſit a prima maior quàm b ſecũda, & ſit c tertia maior, quàm d quarta. Dico, quòd maior eſt proportio lineæ a, ad lineam d, quàm
a b c d
◉9. Cum quatuor quantitatum prima fuerit maior quàm tertia, & ſecunda minor quàm quarta: maior erit proportio primæ ad ſecundam, quàm tertiæ ad quartam. Conſectarium ex 8 p 5 element.
◉Sint quatuor lineę a prima: b ſecũda: c tertia: d quarta: ſitq́ a maior quàm c, & ſit b minor quã d. page 7 Dico, quòd maior eſt proportio a ad b, quàm c ad d. Quoniã enim linea a eſt maior quàm linea c, pa tet per 8 p 5, quoniã maior eſt ꝓportio lineę a ad lineã b quàm lineę c ad lineam b: ſed quia exhypo theſi linea b eſt minor quàm linea d: patet per 8 p 5, quo
a b c d
◉10. Siquatuor quantitatum fuerit maior proportio primæ ad ſecundam, quàm tertiæ ad quartam: erit permutatim maior proportio primæ ad tertiam, quàm ſecundæ ad quartam. É 12 definit. 16 p 5. 27 p 5 elem. in Campano.
◉Sint quatuor lineæ a, b, c, d: ſitq́ proportio a ad b maior, quàm c ad d. Dico, quòd erit permutatim maior proportio lineæ a ad lineam c, quàm lineę b ad
a b e c d
◉11. Cum quatuor quantitatum maior fuerit propor tio primæ ad ſecundam quàm tertiæ ad quartam: erit coniunctim maior proportio primæ & ſecundæ ad ſecũdam, quàm tertiæ & quartæ ad quartã. É 14 definit. 18 p 5 element. 28 p 5 ele. in Campano.
◉Eſto quatuor linearum a, b, c, d maior proportio a ad b, quàm c ad d. Dico, quòd totius lineę a b ad lineã b maior erit proportio, quàm totius lineę c d ad
a b e c d
◉12. Si quatuor quantitatum proportio primæ & ſecundæ ad ſecundam ſit maior, quàm tertiæ & quartæ ad quartam: erit diſiunctim maior proportio primæ ad ſecundam, quàm tertiæ ad quartam. É 15 definit. 17 p 5 element. 29 p 5 elem. in Campano.
◉Sit proportio totius lineę a b ad eius partem lineam b maior, quàm totius lineæ c d ad eius partem d. Dico, quòd erit diſiunctim proportio lineę a ad line
a b c e d
◉13. Quarumlibet trium quantitatum quocun ordine diſpoſitarum, quarum mediæ ad utram extremarum nota ſit proportio: erit proportio primæ adtertiam compoſit a ex proportione primæ ad ſecũdam, & ſecundæ ad tertiam. Ex quo patet, quòd proportio extremorum ad inuicem componitur ſemper ex proportione mediorum ad inuicem & adipſa extrema. É ſcho page 8 lio Theonis ad 5 definit. 6 element. & commentarijs in 1 librum magnæ cõſtructionis Ptolemæi. Item è commentarijs Eutocij in 8 theor. 2 de ſphæra & cylindro Archimedis.
◉Sint extra gradus tres lineæ, quæ a, b, g, quarum prima (quæ eſt a) ſit maior quàm media (quæ eſt b) & b ſit maior quàm tertia, quæ eſt g: ſit q́ ipſius b ad ambas extremas proportio nota. Dico, quòd proportio lineæ a ad lineam g tertiam componitur ex proportione lineæ a ad lineam b, & ex proportione lineæ b ad lineam g. Quoniam enim proportio lineæ a ad lineam b eſt nota: ſit quantitas d denominatio illius proportionis: & ſimiliter quia proportio lineæ b ad lineam g eſt nota: ſit denominatio illius proportionis quantitas e: & ſit quantitas z denominatio proportionis lineæ a ad lineam g. Dico, quòd ex ductu e in d fit z. Quoniam enim per 15 definitionem huius ex ductu z denominationis proportionis lineæ a ad lineam g in ipſam lineam g minorem, quàm ſit a, fit linea a: & ſimiliter ex ductu d in lineam b fit linea a:
a b g d e z
◉14. Si linea recta ſuper duas rectas ceciderit, fecerit́ angulos coalternos inæquales, aut duos intrinſecos minores duobus rectis, uel extrinſecum inæqualem intrinſeco: illas duas lineas ad minorum angulorum partem concurrere eſt neceſſe, ad aliam uerò partem impoßibile: & ſi lineæ concurrunt, neceſſe est dictos angulos aliquo propoſitorum modorum ſe habere. É 27.28 p 1 element. Lemma Procli ad 16 p 1 elem.
◉Sint duæ lineæ a b & c d, quas ſecet linea e fſecundum quod proponitur. Dico, quoniam lineæ a b & c d concurrent. Si enim nõ concurrant, patet quòd ſunt æ quidiſtantes: ergo per 29 p 1 ſequitur contrarium hypothe. quòd eſt inconueniens: concur
e a b c d f
◉15. Cumlineis, ſe inter duas lineas æquidiſtantes, à quarum terminis producuntur, ſecantibus, ex utra Fig. 267
a d e c b parte ſectionis partes eiuſdẽ lineæ inter ſe fuerint æqua les: neceſſe eſt lineas, inter quas fit ſectio, æquales eſſe.
a d e c b
◉Verbi gratia: ſit, ut duæ lineæ a b & c d inter duas lineas æquidiſtantes, à quarũ terminis producũtur, quę ſint a d & c b, ſecent ſe in puncto e, ita, quòd linea a e ſit æqualis lineæ e b, & linea c e ſit æqualis ipſi e d. Dico, quòd linea a d eſt æqualis lineæ c b. Quoniam enim per 15 p 1 angulus a e d eſt æqualis angulo c e b, erit ex hypotheſi & per 4 p 1 linea a d æqualis lineæ c b: quod eſt propoſitum.
page 9◉16. Si per terminos duarum linearum æquidiſtantium & inæqualium, rectæproducantur, illas ad partem minoris lineæ concurrere est neceſſe.
◉Sint duæ lineæ a b & c d æquidiſtantes & inæquales: ſitq́ linea c d minor quàm linea a b: producãturq́ per terminos ipſarum, lineę a c
a c f d b e
◉17. Lineæ rectæ continentes angulos æquales cum linea recta, cui ad unum punctum incidunt, ſimuliunctæ, ſunt breuiores omnibus lineis ab eiſdem terminis ſuper eandem lineam adunum punctum alium productis, continentibus cum eadem linea angulos inæquales, ſimuliunctis.
◉Sit linea recta, quę a b c f: & ſint duo puncta g, & d, â quibus duę lineę g b & d b productę ſuper lineam a b c f, contineant angulos æquales,
g d a h b c f k
◉18. Lineæ rectæ continentes angulos æFig. 270
g d e a z b f c quales cumlinea conuexa, cui ad unum punctum incidunt, ſimuliunctæ, ſunt breuiores omnibus lineis ab eiſdem terminis ſuper eandem lineam adunum punctum alium productis, continentibus cum eadem linea angulos inæquales, ſimuliunctis.
g d e a z b f c
◉Sit linea curua a b c, ſuper cuius conuexum â punctis g & d incidant lineę d a & g a, continentes angulos ęquales, ita, ut angulus c a g ſit ęqualis angulo b a d. Dico, quòd ſi ducantur alię lineę à punctis g & d ſuper lineam a b c, ut g b & d b, continentes angulos inęquales cum linea a b c: quòd ambę lineę g a & d a ſimul iunctę, erunt breuiores duabus lineis g b & d b ſimul iũctis, Ducatur enim linea e f, cõtingẽs
◉19. Vna linea recta in duabus ſuperficiebus planis exiſtente, neceſſe est, ut illæ duæ ſuperſicies ſecundum illam lineam ſe ſecent. É 3 p 11 element.
◉Sint duæ ſuperficies planæ a b c d & c d e f: in quarum utraque ſit linea c d. Dico, quòd illæ duæ ſuperficies ſecant ſe ſuper lineam e d. Si enim illæ duæ ſuperfici
a b c d e f
◉20. Ab uno puncto in aere dato, ſuper unamquam ſubſtratã planam uel conuexam ſuperficiem, una tantũ perpendicularis duci potest. É 11 & 13 p 11 elem.
◉Sit data ſuperficies plana a b c d, & datus in aere punctus e. Dico, quòd à puncto e ad ſubſtratam ſuperficiem, unam tantùm perpendicularem duci eſt poſsibi
e a b k l f g h m c d
◉21. Omnium linearum ab eodem puncto adeandem ſuperficiem planamuel conuexam productarum, minima eſt perpendicularis. Albazen 5 n 5.
◉Eſto ſuperficies plana b c d i: & punctum extrà ſignatum a, à quo ducantur plurimæ lineæ ad ſuperficiem datam, ut contingit, ſcilicet a e, a f, a g, a h, ſola tamen a e ſit perpendicularis. Dico, quòd li nea a e eſt omnium aliarum breuiſsima. Ducantur enim lineæ e f, e g, e h, & componantur trigona orthogonia. Palàm itaque (cum per 32 p 1 angulus rectus ſit maior in qualibet trigono
a b c e f g h d i
◉22. Ducta linea à ſupremo termino lineæ ſuper ſuperficiem erectæ, ad lineam perpendicularẽ cuicun lineæ à puncto incidẽtiæ lineæ erectæ in ſubiecta ſuperficie protractæ: neceſſe eſt protractã lineam ſuperiacenti perpendicularem eſſe. Lemma ad 37 theorema opticorum Euclidis: item 42 theor. 6 libri μαθκματiκυεμ συναγωγυεμ Pappi.
◉Sit punctũ in aere datum, quod ſit a, à quo ad ſuperficiem planã ſubiectam, quæ ſit b c d, erigatur linea per 12 p 11, quæ ſit a b, incidens datæ ſuperficiei in puncto b: & in ſuperficie b c d ducatur linea d c, ut placuerit, & à puncto b ducatur perpendicularis ſuper lineam
a c b d
◉23. Duabus planis ſuperficiebus æquidiſtantibus, una linea rect a incidente, quæ ad alteram earũ erit perpendicularis, erit quo ad reliquã perpendicularis. Conuerſa 14 p 11 elem.
◉Sit, ut duabus ſuperficiebus planis & æquidiſtantibus incidatun a linea, quæ a b, uni ipſarum in puncto a, & reliquæ in puncto b. Dico, quòd ſi linea a b fuerit
c d a b
◉24. Si duæ ſuperficies uni ſuperficiei æquidiſtantes fuerint, eædem inter ſe erunt æquidiſtan tes: ſuperficies quoque concurrens cum una æquidiſtantium ſuperficierum & cum reliqua concurret. É 30 p 1 & 9 p 11 elementorum.
◉Sint duæ ſuperficies a b c & g h k æquidiſtantes uni ſuperficiei, quæ d e f. Dico, quòd illæ duæ ſuperficies a b c & g h k neceſſariò adinuicem æquidiſtabunt. Educatur enim à puncto l ſuperficiei a b c linea perpendicularis ſuper illam ſuperficiem per 12 p undecimi, quæ page 12 ſit l m. Palàm itaque per præmiſſſam, quoniã illa linea l m erit perpendicularis ſuper ſuperficiẽ d e f æquieiſtantẽ ſuperficiei a b c. Producta ergo linea l m ultra alterutrũ
b c l a e f d h k m g
◉25. Omnes lineæ perpendiculares inter lineas uel ſuperficies æquidiſtãtes du Fig. 279
k a e i l g b c ſ h d ctæ, ſunt æqui diſtantes & æquales: & ſi lineærectæ lineis uel ſuperficie bus æquidiſt an tibus ad angulos æquales incidant, ſunt æquales.
k a e i l g b c ſ h d
◉Sint duę lineę a b & c d æquidiſtãtes, inter quas ducãtur lineę perpẽdiculares, quę ſint e f & g h. Dico, quòd lineæ e f & g h ſunt ęquidiſtantes & æquales. Quòd enim ſunt ęquidiſtãtes, hoc patet ք 28 p 1: quòd etiã ſunt ęquales, patet per 34 p 1. Et eodẽ modo demonſtrãdũ eſt, ſi lineę a b & c d ſint in ſuperficiebus ęquidiſtantibus ſignatę. Quòd ſi lineę e f & g h non perpendiculariter, ſed ad angu los ęquales incidãt, ductis lineis uel ſuperficiebus, ita, ut angulus g h c ſit ęqualis angulo e f d, erũt etiam lineę g h & e f ęquales: concurrent enim per 14 huius: ſit ergo punctus concurſus k. Quia itaque angulus k f h eſt ęqualis angulo k h f, ex hypotheſi: erit per 6 p 1 trigoni k f h latus k f ęquale lateri k h. Sed per 29 & 26 p 1 erit trigoni k i llatus k i ęquale lateri k l: relinquitur ergo linea i f ęqualis lineæ l h: quod eſt propoſitum. In ſuperficiebus quoq æquidiſtantibus ſignatis lineis a b & c d eadem eſt demonſtratio: patet ergo illud, quod proponebatur.
◉26. Cuilibet angulo dato baſim, æqualem datæ lineæ, ſubFig. 280
d e b f h g l a k c tendere.
d e b f h g l a k c
◉Eſto angulus datus a b c, & linea data d e: ſeparetur itaque à linea b c, ex parte puncti b linea b f, non maior medietate lineæ d e per 3 p 1, & in puncto f poſito pede circini immobili, deſcribatur circulus ſecundum quantitatem ſemidiametri d e: hic itaq ſecabit neceſſariò latus b a per 20 p 1, cum latus b f non ſit maius medietate lineæ d e. Sit ergo, ut ſecet ipſum in puncto g, & ducatur linea g f: hęc itaque neceſſariò erit æqualis lineæ d e per circuli definitionem 15 defin: 1 elemen: patet ergo propoſitum. Poteſt & idem aliter demon ſtrari. Á puncto enim b ducatur linea b h angulariter, ut conting it, ſuper lineam a b, quæ per 3 p 1 fiat æqualis datæ lineę d e: & à puncto h ducatur æquidiſtans lineę a b per 31 p 1, quæ per 2 huius neceſſariò concurret cum linea b c. Sit punctus concurſus k, & à puncto k ducatur linea æquidiſtans lineæ b h, quæ ſit k l: erit quo que ſuperficies b h k l æquidiſtantium laterum: ergo per 34 p 1, linea l k eſt æqualis lineæ b h: ergo & lineæ datæ, quæ eſt d e: patet ergo propoſitum.
◉27. Datis duobus angulis inæqualibus, ex maiore Fig. 281
b a g c e d f ipſorum æquum minorireſecare. É 23 p 1 element.
b a g c e d f
◉Sint duo anguli dati a b c, d e f: ſit a b c maior & d e f mi nor. Propoſitum eſt, ut ex angulo a b c reſecetur angulus æqualis angulo d e f: hoc autem fiet per 23 p 1, ſi ſuper b ter minum lineæ a b intra angulum a b c fiat angulus æqualis angulo d e f, qui ſit a b g: & hoc eſt propoſitum.
◉28. Datum angulum rectum in tres partes æquales diuidere.
◉Nõ indiguimus quò ad præſens propoſitum diuiſione aliorum angulorum in partes tres æquales, ſed ſolum recto: & ob hoc non proponimus hic, niſi de page 13 recto: in uniuerſaliori ſcientia, ut in ea, quę de elementatis concluſionibus, uniuerſaliorem dignã propoſitione exiſtimantes. Sit ita que angu
b a h c ſ d g e
◉29. Linea diuidens angulum alicuius trigoni, producta, baſim ſubtenſam illi angulo neceſſa riò ſecabit: & ſi linea ſecans baſim, ad punctum concurſus laterum trigoni producatur: illa angulum baſi oppoſitum ſecabit.
◉Sit, ut linea b d ſecet angulum a b c trigoni a b c. Dico, quòd eadem linea b d producta, neceſſariò ſecabit baſim a c illi angulo ſubtenſam. Si enim non ſecabit baſim a c, concurret tamen cũ producta a c per 14 huius: ideo quia anguli b a c & a b f ſunt
b a d c f
◉30. Ab angulo dati trigoni linea perpendiculariter ad baſim producta, ſirectangulum ſub partibus baſis contentum, maius fuerit quadrato perpendicularis: neceſſe est angulum (à quo fit ductio) obtuſum eſſe: ſi minus, acutum: ſi æquale, rectum.
◉Sit datus trigonus a b c, à cuius angulo b a c ducatur linea perpendicularis ſuper baſim b c: ſecetq́ ipſam in puncto d: & ſit a d: ſitq́ illud, quod fit ex ductu b d in d c maius quadrato lineæ a d. Dico, quòd angulus b a c eſt obtuſus. Patet e
a b d c
g e
a b d c
a b d f c
◉31. Abangulo iſoſcelis ducta perpendicularis ſuper baſim in duos partiales ſimiles trigonos diuidit iſoſcelem. Ex quo patet, quòd linea perpendicularis ad medium punctum baſis neceſſariò pertingit.
◉Sit iſoſceles a b c, cuius latera a b & a c ſint æqualia: & ab angulo b a c ducatur ſuper ba page 14 ſim b c perpendicularis a d. Dico, quòd propoſitus iſoſceles diuiſus eſt in duos trigonos partiales ſimiles. Quoniam enim per 5 p 1 angulus a b d eſt æqualis angulo a c d, ſed & per definitionem perpendicularis 10 defin. 1. elem. anguli a d b & a d c ſunt æqua
a b d c
◉32. Linea ducta à quocun puncto unius lateris trigoni producti, ultr a trigonum ſecans latus ab illo puncto remotius, & propinquius illi neceſſariò ſecabit.
◉Sit trigonum a b c, cuius latus a b producatur ultra punctum b ad punctum d: & à puncto d ducatur linea d e ſecans latus trigoni a c in puncto e. Dico, quòd d e neceſſariò ſecabit latus b c. Si enim non ſecabit latus b c, ſed ſolum latus
d b a e c f f
◉33. Si à punctis terminalibus unius lateris trianguli duæ rectæ exeuntes, intr a trigonum ad punctum unum conueniant: erit angu lus inferior æqualis ſuperiori, & duobus angulis inter lineas duct as ad alia duo later a trigoni contentis.
◉Sit trigonum a b c, à cuius unius laterum a b punctis terminalibus, quæ ſunt a & b, ducantur lineæ taliter, ut intra trigonum a b c concurrant in puncto d. Dico, quòd angulus a d b eſt æqualis angulo a c b, & inſuper duobus angulis c a d & c b d. Quòd enim angulus a d b ſit maior angulo a c b, hoc patet per 21 p 1. Producatur itaq linea c d ultra punctum d uſq ad punctum e.
c d e a b
◉34. Linea æqualis & æquidiſtans baſi alicuius trigoni, uicinior angulo ſupremo, maiori angulo neceſſariò ſubtenditur.
◉Eſto trigonum a b c, cuius baſi a c: uicinior angulo a b c ducatur linea æqualis & æquidiſtans, quæ ſit d e. Dico, quòd ſi à puncto b ducantur lineæ b d & b e, quòd angulus d b e eſt maior angulo a b c. Quia enim linea d e eſt æqualis lineæ a c, palàm, quòd ipſa ſic producta ſecat lineas a b & b c, argumento 16 huius: quòd etiã patet ex alijs. Nam omnis linea cadens intra trigonum ſecans latera eius & æquidiſtans, eſt minor baſi per 29 p 1 & 4 p 6. Secet ergo linea d e latus b a in puncto f, & latus b c in puncto g. Quia ita que per 16 p 1 angulus b g f eſt maior angulo b e g: erit per 29 p 1 angulus b c a maior angulo b e d: & ea
b d f g e a c
◉35. In trigono orthogonio ab uno reliquorum angulorum producta linea ad baſim: erit remotioris anguli ad propinquiorem recto minor proportio, quàm 15 partis b aſis remotioris ad propinquiorem. 5 p geometriæ Iordani.
◉Sit trigonum orthogonium a b c, cuius angulus b a c ſit rectus: & à puncto b ducatur ad latus a c (quod eſt baſis anguli a b c) linea recta, quæ ſit b d. Dico, quòd minor eſt proportio anguli c b d remotioris ab angulo recto, ad angulum d b a propinquiorem ipſi recto, quàm partis baſis remotioris ab angulo recto (quæ eſt c d) ad latus d a propinquius ipſi angulo recto. Quoniam enim angulus b a c eſt rectus, patet, quia angulus b d a eſt acutus per
c d f e a b
◉36. Cuiuslibet trigoni duo latera producta, aliud trigonum Fig. 293
e d b a c priori ſimile principiant, lateribus poſitione & ſitu tranſmutatis.
e d b a c
◉Sit trigonum a b c, cuius latus a b ſit dextrum, & latus b c ſiniſtrũ, quæ producantur ultra punctum b: & proportionaliter prioribus lateribus abſcindantur per 12 p 6, linea ſcilicet a b in puncto d, & linea c b in puncto e: & coniungatur linea d e. Erit ita que trigonum d b e ſimile trigono a b c: ſed & latus d b erit ſiniſtrum, & latus e b dextrũ. Sunt ita que latera iſtorum trigonorum poſitione, & ſitu tranſmutata: quod eſt propoſitum.
◉37. Omnium duorum trigonorum rectangulorum, quorum unius unum laterum rectos angulos continentium fuerit maius altero alterius, reliquum uerò minus reliquo: erit angulus acutus unius maius latus reſpiciens, maior angulo alterius ſuum relatiuum latus reſpiciente.
◉Verbi gratia: ſint duo trianguli rectanguli a b c & a c d:
a f h b e d c g
◉38. Omnium duorum trigonorum rectangulorũ, quorũ latus ſubtenſum recto angulo unius ad minus latus eiuſdem proportionem habuerit maiorem, quàm latus ſubtenſum recto angulo alterius ad minus latus eiuſdem: erit angulus linearum maioris proportionis maior angulo linearum minoris proportionis: & econuerſo.
◉Sint duo trigona rectangula a b c & d e f, quorũ anguli a b c & d e f ſint recti: ſitq́ latus b c minus latere a b, & latus e f minus latere d e: ſitq́ maior proportio lineæ a c ad lineam f e. Dico, quòd angulus a c b maior eſt angulo d f e. Quia enim maior eſt proportio lineæ a c ad lineã c b, quàm lineæ d f ad lineam f e: ſed per 47 p 1 quadratũ lineæ
a k b c
d e f
h g
◉39. A puncto in aere dato ad ſubſtratam planãſuperficiẽ una linea perpendiculariter, alia obliquè incidente, & linea recta inter pũcta incidentiæ in ipſa ſu Fig. 298
a c e f b d perficie protracta: erit angulus à non perpendiculari cũ iacẽte linea contentus, minimus omnium angulorum ſub illa obliqua & quacun linea in ſubſtrata ſuperſicie protracta contentorum: & omnis angulus illi propinquior, eſt minor remotiore: & duo ex utra parte æqualiter approximantes, ſunt æquales. Lemma ad 37 the. opticorum Euclidis. 43 theor 6 libri συναγωγυζμ μαθκματiκυζμ Pappi.
a c e f b d
◉Sit punctus in aere datus a, cui ſit ſub ſtrata ſuperficies plana, quę b c d, fuper quã ab illo puncto ducatur obliquè linea a b, ducaturq́ perpendiculariter linea a c, & copuletur linea b c. Dico, quòd angulus a b c eſt minimus omnium angulorũ contentorũ ſub linea obliqua a b, & ſub unaquaq linearũ à puncto b ductarũ in ſuperficie b c d: & quòd ſemper propinquior ipſi eſt minor quàm remotior: & quòd duo anguli æquales ſolũ ex utraq parte ipſius cõſiſtunt. Duca tur enim in data plana ſuperficie, utcunq contingit, linea b d, & à puncto c ducatur in eadem ſuperficie linea perpendicularis ſuper lineam b d per 11 p 1, quæ ſit c d, & copuletur à puncto a linea a d: eſt ita q per 22 huius linea a d perpẽdicularis ſuper lineam b d. Et quoniam angulus a c d eſt rectus, palàm per 19 p 1, quoniam obliqua linea a d maior eſt catheto a c: linea itaq b a ad lineam a c maiorẽ habet proportionẽ quàm ad lineã a d per 8 p 5: & anguli b c a & page 17 b d a ſunt recti: erit itaq ք præ cedẽtẽ proximã angulus b a c maior angulo b a d: erit ergo per 32 p 1 angulus a b c minor angulo a b d. Similiterq́ patet, quoniã angulus a b c minimus eſt omniũ angulorũ cõtẽtorũ ſub linea obliquè incidẽte à pũcto a lineę b c, & ſub ipſa linea b c. Propinquior quoq illi eſt minor remotiore. Ducatur enim à pũcto b in ſubſtrata ſuperficie linea, ut cõtingit, quę ſit b e, & à pũcto c ducatur in eadẽ ſuperficie linea քpẽdicularis ſuper lineã b e, q̃ ſit linea c e, & ꝓducatur linea a e, quę ք 22 huius erit perpẽdicularis ſuper lineã b e. Et quoniã angulus b d c eſt rectus, & angulus c e b rectus, & angulus b c d maior eſt angulo b c e per cõuerſam pręmiſſæ, quoniã linea e c ad lineã c b maiorẽ habet ꝓportionẽ linea d c ad lineã c b. Linea itaq e c eſt multõ maior linea c d: ſed cathetus a c քpendiculariter incidit lineis c e & c d ք definitionẽ lineę erectæ: maior ergo eſt linea a e linea a d ք 47 p 1: linea enim c e eſt maior linea c d. Linea itaq b a ad lineã a d maiorẽ habet proportionẽ ad lineã e a ք 8 p 5: & anguli a d b & a e b ſunt recti: angulus itaq b a d eſt maior angulo b a e per præcedentẽ: ergo per 32 p 1 angulus a b d minor eſt angulo a b e. Similiter quoque demonſtrandũ, quòd ſemper angulus propinquior, minor eſt remotiore: ſolũ uerò duo ex utraque parte æquales cõſiſtunt: ſuper punctũ enim b terminũ lineæ c b in ſubiecta ſuperficie conſtituatur angulus æqualis angulo d b c per 23 p 1, qui ſit c b f: & à puncto c ducatur linea c f perpendiculariter ſuper lineã b f per 12 p 1, & ducatur linea a f. Quia itaq angulus c b d eſt æqualis angulo c b f ex hypo theſi, & angulus c d b eſt rectus æqualis angulo c f b recto, & linea c b eſt cõmunis ambobus trigonis b c d & b c f: palàm per 26 p 1, quoniam latus b d eſt æquale lateri b f, & latus d c eſt æquale lateri c f: ſed quia linea a c eſt cathetus ſuper ſuperficiẽ b c d, eſt per pendicularis ſuper ambas lineas d c & f c. Eſt itaq linea a d æqualis lineæ a f. Quoniã itaq æqualis eſt linea d b lineæ b f, & linea b a eſt cõmunis ambobus trigonis d b a & b a f, & linea d a æqualis lineæ a f, erit angulus a b d æqualis angulo a b f per 8 p 1. Similiter quoq demonſtrandũ, quoniã angulo a b d non erit aliquis alius æqualis. Eſt ergo angulus a b c minimus, &c. ut proponitur: patet itaq intentum.
◉40. Omnium ſuperficierum æquidiſtantiũ laterũ diagonij per æqualia ſe ſecãt: ex quo patet, quòd pun Fig. 299
b f c h e k a g d ctum interſectionis diagoniorum eſt medium punctum eiuſdem ſuperficiei.
b f c h e k a g d
◉Sit ſuperficies æquidiſtantiũ laterũ, ſiue ſit quadra ta, ſiue altera parte longior, quæ a b c d, in qua ducantur diagonij, quæſint a c & b d, ſecantes ſe in puncto e. Dico, quòd diagonij ſecant ſe adinuicem per ęqualia: & quòd punctũ e eſt mediũ punctũ ſuperficiei a b c d. Palàm enim, quia trigona b e c & a e d per 15 & 29 p 1 ſunt æquiangula: & erit angulus e b c æqualis angulo e d a, ꝗa ſunt coalterni. Similiter quoq angulus e c b, eſt æ qualis angulo e a d: ergo per 4 p 6 erit proportio lineæ b e ad lineam e d, ſicut lineæ c e ad lineam e a: & ſicut lineæ b c ad lineã a d: ſed linea b c eſt æqualis lineæ a d per 34 p 1. Linea ergo b e eſt æqualis lineę e d, & linea c e æqualis lineę e a. Illę ergo diagonij diuidũt ſe adinuicẽ per æqualia. Et ք hoc manifeſtũ eſt corollariũ: punctũ enim e æqualiter diſtat ab omnibus extremis: in quo tñ ſi aliquod dubiũ fuerit, ducãtur à pũcto e lineę æquidiſtantes lateribus ſuperficiei propoſitę per 31 p 1, quę ſint f g & h k: ſequeturq́ propter æqualitatem partiũ ipſarũ diagoniorũ modo prædicto argumẽtãdo, lineã f e æqualẽ fieri lineę e g, & lineã h e æqualẽ fieri lineæ e k. Patet itaq, quoniã ſecundum omnem modum, punctum e æqualiter diſtat à punctis extrem arum linearum: directè igitur oppoſitum eſt: ergo medium inter illa: quod eſt propoſitum.
◉41. Datæ ſuperficiei æquidiſtantium laterũ ſimilem ſuperficiẽ, Fig. 300
a b n l e p m d c cuius latera æquidiſtent datæ ſuperficiei lateribus, inſcribere.
a b n l e p m d c
◉Data ſuperficies ęquidiſtãtiũ laterũ, cui altera inſcribi modo prędicto debeat, ſit a b c d, in qua ducãtur diagonij a c & b d, ſecãtes ſe in puncto e: palamq́ per proximã pręcedentẽ, quoniã illæ diagonij per æqualia ſe ſecantin puncto e: ſed & ipſæ adinuicẽ ſunt æquales: & ſi quidẽ data ſuperficies fuerit rectangula: tunc patet per 34 & 47 p 1, quoniã ipſarũ diagonij ſunt æquales, & ipſarũ medietates æquales. Á puncto itaq e, à medietatibus diagoniorũ partes æquales abſcin dantur ք 3 p 1. Et ſi data ſuperficies nõ fuerit rectangula: tũc erũt dia gonij forſitan inęquales: ab illis ergo partes proportionales refecen tur, ſecundũ 3 huius: utcunq autẽ hoc contingat, abſcindantur illæ partes ex parte puncti e, quæ ſint e l, e m, e n, e p, & ducantur lineæ l m, l n, n p, m p. Dico itaq, quòd ſuperficies l m p n eſt datæ ſuperficiei ſimilis, & quòd latera ipſius æquidiſtant lateribus datę ſuperficiei. Quoniã enim in trigono b e c reſecta ſunt latera b e & c e in pun ctis l & m, & eſt proportio b l ad l e, ſicut c m ad m e: patet ergo per 2 p 6, quoniam linea l m æquidiſtat lineæ b c. Similiter quoq linea l n page 18 æ quidiſtat lateri a b, & linea n p lateri a d, & linea p m lateri c d. Ergo ք 29 p 1 anguli ſuperficiei l m p n ſunt æquales angulis datæ ſuperficiei a b c d, & latera eorum ſunt proportionalia per 4 p 6. Patet ergo, quòd illæ ſuperficies ſunt ſimiles: & hoc proponebatur faciendũ: patet ergo propoſitum.
◉42. Omnis angulus à diametro & quacun linea ſuper circumferentiam circuli contẽtus, neceſſariò est acutus. Alhazen 60 n 5.
◉Sit circulus a b c, cuius diameter a b, & ducatur linea a c, utcunq contingit. Dico, quòd angulus b a c neceſſariò eſt acutus. Producatur enim linea b c
c a b
◉43. Omnes angulos æqualium ucl ſimilium portionum eiuſdem circuli ſub arcu & recta contentos æquales: angulos uerò cuiuſcun minoris portionis minores, & maioris maiores eſſe neceſſe eſt. Ex quo patet, omnes angulos ſemicir culorum æquales eſſe.
◉Sit circulus, cuius centrum a, & diameter g f: & in c o ſignentur arcus æquales, qui ſint b c & d e, productis chordis b c & d e. Dico, quòd anguli g b c, & f d e, ſub arcubus & chordis contenti ſunt æquales. Ducatur enim à puncto b linea contingens circulum per 17 p 3, quæ ſit b l, & à puncto d linea d m: & ducantur à centro lineę a b, a c, a d, a e, eruntq́ per 5 p 1 anguli a b c & a c b æquales: & anguli a d e & a e d æquales: ſed trigona a b c & a d e ſunt æquiangula per 4 p 1: angulus enim b a c eſt æqualis angulo d a e, per 27 p 3: angulus quoq a b l eſt æqualis angulo
ſ q r n g o b c s c a d e f m
◉44. Si idem angulus ſuper centrum unius æqualium circulorum, & ſuper peripheriam alterius conſiſtat, arcus reſpondens angulo ſuper peripheriã conſtituto, reliquo arcui duplus erit. In circulis uerò inæqualibus illorũ arcuum proportio ad ſuas totales peripherias duplicatur.
◉Sint duo circuli æquales, unus a b c d, cuius centrum g: & alius e f g, cuius centrum b, punctum peripheriæ circuli a b c d: & producantur lineę a b & c b, ſecantes circulum e g f in punctis e & f. Palàm itaq quoniam angulus a b c erit ſuper peripheriam circuli a b c & ſuper centrum circuli e g f. Dico, quòd arcus a d c capiens angulũ a b c ſuper circũferentiam ſui circuli, eſt duplus arcui e g f, ca pienti eundẽ angulũ ſuper eius centrũ b. Sit enim, ut linea b a ſecet circulũ e g f in puncto e, & linea b cin puncto f: ducatur quoq linea e f, & ducta linea g h ſuper centrũ g, fiat per 23 p 1 angulus æqua lis angulo a b c, qui ſit h g l, ductis lineis g h & g l ad circumferentiam circuli a b c d: & ducantur lineę b h, b l, h l. Palàm itaq per 20 p 3, q́uoniam angulus h g l eſt duplus angulo h b l: ergo etiam angulus a b c eſt duplus eidem: ergo per 33 p 6 arcus a d c eſt duplus arcui h d l: ſed arcus h d l page 19 eſt æqualis arcui e g f per 26 p 3: erit ergo arcus a d c duplus arcui e g f: quod eſt propoſitum primũ. Quòd ſi circulus a b c d ſit minor circulo e g f, & angulus m g n ſit æ
h d l a c e g f p q b n d n a c g b
◉45. À terminis lineæ intra circulum collocatæ partib. æqualib. reſectis, & à punctis ſectionum perpendicularibus ſuper illam lineam ad circumferentiam productis: neceſſe eſt ductas perpendiculares æquales eſſe. Et ſi ductæ perpẽdiculares ſunt æquales: neceſſariũ eſt à terminis illius lineæ partes reſectas æquales eſſe.
◉Sit circulus a k d, cuius cẽtrum r: in quo circulo collocata ſit linea a d: à cuius terminis a & d reſecentur lineæ a b & d g æquales: & à prædictis b & g erigantur duæ lineæ perpẽdiculares ſuper lineã d a, quę productę ad circũferentiã, ſint g k & b c. Dico, quòd linea g k eſt ęqualis lineę b c. Ducatur enim â centror linea æquidiſtans lineæ a d per 31 p 1, quæ ſit l m diameter: & diuidatur linea d a in duo æqualia in puncto e per 10 p 1, & à puncto e, ducatur per
k c d g e b a l n r f m
◉46. In duobus circulis inæqualibus duobus ſimilib. arcubus ſumptis, productiś, præter illos, ad arcus alios ſimiles, ſemidiametris: ſi à punctis extra circulos proportionaliter ſemidiametris diſtantibus ab utriſ extremitatibus amborum arcuum, per terminos ſimilium arcuum, lineæ ad diametros ducantur: pars diametri interiacens lineas arcus circuli maioris eſt maior parte interiacente lineas arcus circuli minoris.
◉Sint duo circuli inæquales, quorum maior ſit a b c, & eius centrum d, & ſemidiameter d a: minor uerò ſit e f g. cuius centrum h, & ſemidiameter h e: ſignenturq́ in ipſis arcus ſimiles, in maiori circu lo arcus b c, & in minori arcus f g: ſitq́ue arcus a b ſimilis arcui e f: ſit q́ punctũ k extra circulũ maiorem, & punctum l extra circulum minorem, taliter data, utilla puncta ſecundum proportionem ſemidiametri d a, ad ſemidiametrum h e diſtent ab utriſque terminis dictorum arcuum: erit ergo proportio lineę k b ad lineam l f, & lineæ k c ad lineam l g, ſicut ſemidiametri a d ad h e: & producãtur li neę ad ſemidiametros, k b in punctum m, & k c in punctum n. Similiter quoq producatur linea l f in punctum o, & l g in punctum p. Dico, quòd linea m n, pars ſemidiametri a d, eſt maior quã linea o p, pars ſemidiametri e h. Ducantur enim chordę b c & f g: & copulentur à centris lineæ d b, d c, h f, h g: palamq́ propter inæqualitatem circulorum, quoniam linea d b eſt maior quã linea h f: ſed propter ſimilitudinem arcuum angulus b d c eſt ęqualis angulo f h g: ergo per 5 p 1 trigona b c d & f g h ſunt ęquiangula. Ergo per 4 p 6 latera ſunt proportionalia: eſt ergo proportio lineæ b c ad lineam f g, ſicut lineę b d ad lineam f h: ergo ex hypotheſi & per 11 p 5, ſicut k b ad l f, & ſicut k c ad l g: 20 ergo per 5 p 6 angulus b k c eſt ęqualis angulo f l g: & angulus k b c æqualis angulo l f g: ſed exprę
‡ b c a m n d
l f g e o p h
◉47. À quocun puncto diametri circuli producta linea adperipheriam, ſi maior, quã illa, fuerit una pars diametri: erit pars illa, maior reliqua ſui parte: & ſiminor, minor.
c a d b
◉Eſto circulus a b c, cuius diameter a b: in qua ſumatur punctũ d, utcunq cõtingit: & ducatur linea d c ad circũferentiam, ita quòd pars diametri, quę eſt a d, ſit maior linea d c. Dico, quòd linea a d eſt maior quã li nea d b, quę eſt reliqua pars ipſius diametri: quod patet, ſi copulẽtur lineę a c & b c. Quia itaq linea a d ma ior eſt quã linea d c ex hypotheſi: ergo ք 18 p 1 angulus a c d maior eſt angulo c a d, & angulus a c b eſt rectus per 31 p 3: palã ergo per 32 p 1, quoniã angulus c b d ma ior eſt angulo d c b. Quia enim angulus c b d cũ angulo c a b ualet rectũ, & angulus d c b cũ angulo a c d, qui eſt maior angulo c a d, ualet rectũ: patet, quòd angulus c b d eſt maior angulo d c b: ergo per 19 p 1 erit latus d c maius latere d b: ſed latus a d eſt maius latere d c. Ergo multo maius erit latus a d quã latus d b. Et hoc eſt unum propoſitorum. Eodem quoq modo demonſtrandum, ſi pars diametri, quæ eſt a d, ſit minor quã linea d c: quoniã erit linea a d minor quã linea d b: & hoc proponebatur.
◉48. Si à quocun puncto diametri circuli duæ lineæ (quarum ſemper una ſit maior reliqua) ad circuli peripheriã ducantur: erit pars diametri, cuimaior linea propinquior ducitur, maior reliqua ſui parte.
c g f e a h d b
◉Sit circulus a b e c, cuius diameter ſit a b: in qua ſumatur punctus d, ut libuerit: ducanturq́ à puncto d lineę, d c maior & d e minor: ſit aũt c ſuperior uerſus a, & e inferior uerſus b. Dico, quòd pars diametri, quę eſt a d, maior eſt quã d b. Ducatur enim linea c e, & ſuper lineam c e ducatur à puncto d per 12 p 1 linea perpẽdicularis, quę ſit d f. Quia itaq quadratũ lineę d c per 47 p 1 ualet ambo quadrata linearũ d f & f c, & quadratũ d e ualet ambo quadrata duarũ linearũ d f & f e, quadratũ uerò lineę d c maius eſt quadrato lineę d e: i deo, quia linea d c eſt maior linea d e: ablato itaq quadra to lineæ d f: relinquitur quadratũ lineæ c f, maius quadrato lineæ f e. Diuidatur itaq linea c e in partes æqua les in puncto g per 10 p 1, & ab illo puncto g ducatur linea g h ad diametrum æquidiſtanter lineæ d f per 31 p 1: erititaque per 29 p 1 linea h g perpendicularis ſuper lineam c e: ſecat autem h g ipſam c e in duo ęqualia: tranſit ergo linea h g ք centrũ circuli page 21 per 1 p 3. Et quoniam punctum h cadit in diametrum a b: palàm, quia ipſum punctum h eſt centrum circuli. Eſt ergo linea a d, pars diametri a b, maior quàm linea d b: & hoc eſt propoſitum.
◉49. Si ab angulis duorum trigonorum ad medietates ſuarũ baſiũ æqualiũ una perpendicula riter, alia obliquè æquales lineæ duc antur, ſit́ quælibet duct arum maior medietate ſuæ baſis: erit angulus trigoni, à quo ducitur perpendicularis, maior angulo alterius trigoni, à quo linea ducitur obliqua.
◉Sint duo trigona a b c & d e f, quorum baſes b c, & e f, ſint æquales: quæ ſecentur per 10 p 1 in partes æquales, b c in puncto g, & e f in puncto h: & ducantur ab angulis ad baſes lineæ a g & d h, quæ ſint ęquales: ſitq́ linea a g ք
a b ſ m g c k
d e h f
◉50. Si ab angulis duorum trigonorum ad medietates ſuarum baſium æqualium una perpẽdiculariter, alia obliquè, æquales lineæ ducantur, ſit́ quælibet ductarum minor medietate baſis ſuæ: erit angulus trigoni, à quo ducitur perpendicularis, minor angulo alterius trigoni, à quo linea ducitur obliqua.
◉Remaneat diſpoſitio pręcedentis, niſi quòd perpendicularis a g ſit minor medietate baſis b g. Di co, q angulus b a c eſt mi
a l n b g c k
d c h f
◉51. Si ab angulis duorum trigonorum ad medietates ſuarum baſium æqualium duæ lineæ æquales, obliquè incidant ad angulos inæquales, & ſi quælibet linearum incidentium maior fuerit medietate ſuæ baſis: erit angulus ſuperior illius trigoni, cuius incidens linea maiorem angu page 22 lum cum baſi continet, maior angulo ſuperiori alterius: & ſi minor, minor.
◉Sint itẽ duo trianguli a b c & d e f, habentes baſes b c & e f æquales: diuidaturq́ baſis b c ք ęqualia in puncto g, & baſis e f in
k a n m b g c l
d e h f
◉52. Siduas lineas rectas ſecantes circulũ, æqua Fig. 315
l n m d f e a g c h o k d f e b les arcus interiaceant, illæ neceſſariò ſunt æquidiſtantes: ideḿ accidit, ſi una earum fuerit ſecans & alia contingens.
l n m d f e a g c h o k d f e b
◉Sit circulus a b c, cuius centrum ſit punctum o: ſecentq́ duæ lineę a c & d e illum circulum taliter, ut ar cus d a ſit ęqualis arcui e c. Dico, quòd lineæ a c & d e ſunt ęquidiſtantes. Autitaq o centrũ circuli eſt in altera illarum linearum, aut in neurra: & tuncuel inter utraſq, uel extra utraſq. Si ſit in altera ipſarum: eſto quòd ſit in linea a c, & à centro o ducatur linea perpẽ dicularis ſuper a c per 11 p 1, & producatur ad circũfe rentiã, ſitq́ o b ſecans lineã d e in puncto f: & ducantur lineę o d, o e, quę cum ſint ęquales, erunt per 5 p 1, anguli o d f & o e f æquales: ſed angulus f o a eſt ęqua lis angulo f o c, ꝗ a ſunt recti: angulus uerò d o a ęqua lis eſt angulo e o c per 27 p 3, cum ex hypotheſi arcus d a ſit æqualis arcui e c: erit ergo angulus d o f æqualis angulo e o f: ergo per 32 p 1 erit angulus d f o ęqualis angulo e f o: eſt ergo linea of perpendi cularis ſuper lineã d e. Erunt ergo per 28 p 1 lineę d e,
a o c d f e b
◉53. Lineas æquidiſt antes trans circuli ſuperficiem productas, ſiue ambæ ſecent, ſiue ambæ cõtingant, ſiue una ſecet & alia contingat, arcus interiacent æquales.
◉Sit circulus a c b d, cuius centrum e: contingantq́ ipſum duæ lineæ ęquidiſtãtes f g in puncto d, & h q in puncto c: & à puncto contingentiæ, quod eſt d,
f m a h k d p e o c l g n b q
a h b g e f d c ‡
◉54. Duabus chordis in aliquo circulo ſe ſecantibus: erit quilibet angulus ſectionis æqualis angulo apud circumferentiam, cadenti in arcum æqualem duobus arcubus ſcilicet eidem angulo & ſuo cõ trapoſito ſubtenſis. Albazen 24 n 7.
◉Sit circulus a b c d, in quo ſecẽt ſe duę chordę a c & b d: & ſit pũctũ ſectionis e. Dico, quòd angulus a e b eſt æqualis angulo, qui eſt in circumferentia, quam ſubtẽdunt duo arcus a b & c d: & quòd angulus b e c eſt ęqualis angulo in circumferẽtia, quã ſubtendunt duo arcus d g a & b z c. Ducatur enim à puncto b linea b z ęquidiſtanter lineę a c per 31 p 1. Si ergo linea b z ſecat circulum, palã, quia arcus c z eſt ęqualis arcui a b per præcedentem: arcus itaq z d æqualis eſt ambobus arcubus a b & d c: quoniam arcus d c utrobiq eſt cõmunis: fed arcus d z reſpicit angulũ d b z, page 24 qui eſt æqualis angulo a e b per 29 p 1: angulus itaque a e b eſt æqualis angulo in circumferentia, ca denti in arcum æqualem duobus arcubus b a, & c d. Item d ucatur linea d z, & producatur linea z b extra circulum in punctum h: erit ergo angulus h b d ext rinſecus æqualis duobus angulis intrinſecis b d z, & b z d per 32 p 1: ſed duo anguli b z d & b d z re ſpiciuntur à duobus arcubus b g d, & b f z: angulus ergo h b d eſt æqualis angulo, quem reſpiciunt duo arcus b g d & b f z: hic autem eſt arcus d a z: ſed arcus a b eſt æqualis arcui z c: arcus itaque d a z eſt æqualis duobus arcubus d g a & b z c. Cum itaque per 29 p 1 angulus h b e ſit æqualis angulo
h a b e d z c
◉55. Angulus à duabus lineis ab uno puncto extra circulum dato, circulum ſecantibus contentus, æqualis eſt angulo ſuper circumferẽtiam cadenti in arcũ, Fig. 320
e a b d f c quo maior arcuum inter illas duas lineas comprehenſus, excedit minorem. Alhazen 25 n 7.
e a b d f c
◉Eſto circulus a b c d, extra quem ſit datum punctum e: & ducantur à puncto e duę lineę ſecantes circulum, quæ ſint e a d & e b c. Dico itaq, quòd angulus d e c eſt æqualis angulo, qui eſt apud circumferentiam circuli, quem reſpicit arcus, in quo arcus d c excedit arcũ a b. À pũcto enim a ducatur per circulum linea a f ęquidiſtans lineę b c per 31 p 1: erit ergo per 53 huius arcus f c ęqualis arcui a b. Eſt itaq arcus d f exceſſus arcus d c ſuper arcum a b: ſed angulus d a f apud circumferentiã exiſtens cadit in arcum d f: & angulus d a f eſt æqualis angulo d e c per 29 p 1. Ergo angulus d e c eſt æqualis angulo cadenti ſuper circumferentiam in arcum d f: quod eſt propoſitum.
◉56. In dato ſemicirculo ad unum punctũ circumferentiæ, duabus lineis: una à termino diametri, & alia à centro ductis: ab eiſdem punctis ad aliud punctum quodcun ſemicirculi dati lineas duas prioribus duabus proportionales duci eſt impoßibile: in diuerſis uerò ſemicirculis hoc eſt poßibile.
◉Eſto datus ſemicirculus a d b: cuius diameter a b: centrum uerò c: & ſit aliquod punctum circũferentiæ d: & ducatur à puncto a termino dia
g d f a e c h b
◉57. À puncto uno ad datum ſemicir culum unam tantum lineam contingentẽ poßibile eſt duci. Ex quo patet, quòd omnis linea ab eodẽ puncto ſub contingẽte ducta, Fig. 322
d a g b f e c ſecat ſemicirculũ in uno pũcto ſupr a punctũ cõtingẽtiæ, & in alio ſub ipſo.
d a g b f e c
◉Eſto datus ſemicirculus a b c, cuius cẽtrum e: & ſit extrà datus punctus d: à quo ad ſemicirculũ ducatur linea contingẽs, quæ ſit d b. Dico, quòd à puncto d ad ſemicirculum a b c, aliam contingẽtem; quàm lineam d b duci eſt impoſſibile. Si enim hoc ſit poſsibile, ducatur: hæc ergo contingens aut cadet ultra punctum b, aut citra: ſit primò, ut cadat ultra punctum b, uerſus c in punctũ f, & ſit d f: ducantur itaq à centro e ad puncta contingentiæ, lineæ e f, e b, & pro ducatur diameter c e a uſq ad punctum d. Palàm ergo per 18 p 3, quoniam angulus e b d eſt rectus: ſimiliter angulus e f d eſt rectus. Sunt itaq æquales, & cadunt in trigonum e f d: quod eſt contra 21 p 1. Idẽ quoq accidit impoſsibile, ſi linea contingẽs ducta à puncto d ad ſemicirculum a b c, cadat inter puncta b & a: ut linea d g. Palàm ergo corollarium: quoniam enim linea d g non contingit ſemicirculum: ergo ipſa producta ſecat ipſum: & hoc eſt propoſitum.
◉58. Quælibet duæ lineæ ab uno puncto productæ circulum contingẽtes, ſunt æquales: & arcus interiacens puncta contingentiæ eſt minor ſemicirculo. Linea quo diuidens angulum illarum per æqualia: & arcum interiacentem diuidit per æqualia: & linea per æqualia diuidens arcum, hæc producta per æqualia diuidit & angulum à lineis contingentibus contentum. Conſectarium ſecundum Campani ad 36 p 3.
◉Sit circulus a b c, cuius centrum f: & ſit, ut à puncto e ducantur duę lineæ circulum contingentes per 17 p 3, quæ ſint e a & e c. Dico, quòd lineæ e a, e c ſunt æqua
e b a g c f d
◉59. Arcubus æqualibus, minoribus quolibet, quarta circuli ex utra parte diametri circuli reſectis: à terminis illorũ arcuum ductas contingentes in uno puncto eductæ diametri concurrere eſt neceſſe: & ab uno puncto diametri ductas contingẽtes in terminis æqualiũ arcuum contingere eſt neceſſe. Ex quo patet, quoniam omnem angulum & arcum à lineis contingentibus contentum diuidit diameter educta per æqualia.
page 26◉Eſto circulus a b c, cuius centrum ſit d, & eius diameter c e, quæ producatur indefinitè ad punctum f: & ab unaquaq parte puncti e ſint a e & b e arcus æquales: & à punctis a & b ducantur lineæ circulũ contingentes per 17 p 3. Dico, quòd illæ duę lineæ concurrẽt
f h g a e b d c
◉60. Si intra duas lineas circulum contingẽtes ab uno puncto ductas, aliæ duæ lineæ eundem circulam contingentes ducantur: cadent puncta contingẽtiæ interiorum intra puncta contingentiæ exteriorum: & ſiarcus hinc inde interiacentes puncta contingentiæ, fuerint æquales, erit utrarum concurſus ſemper in eadẽ diametro circuli educta: interiores quo ad utram partem productæ cum exterioribus neceſſariò concurrent.
◉Eſto circulus a b c d e, cuius cẽtrũ k: & eius diameter e h educatur: & ſit, ut ab aliquo puncto ſuo, quod ſit f, lineæ f a & f d contingentes circulũ ducantur: & inter lineas f a & f d ducantur ab aliquo puncto ſuperficiei a f d, quod ſit g, lineæ g b & g c circulũ contingen
f g g m b p h c a k d b e
◉61. Si ad mediũ punctũ arcus interiacẽtis punct a contingẽtiæ duarũ linearũ, abuno puncto ad circulũ productarũ, linea cõtingens circulũ ad alias contingẽtes producatur: illa in puncto ſuæ contingentiæ per æqualia diuiditur: & ab alys lineis cõtingentib. partes abſcindit æquales.
◉Sit circulus a b c, quẽ contingãt duæ lineæ d a & d c, à puncto d productæ: producatur ergo diameter g b d: & palàm ք 59 huius, quoniã ipſa diuidit angulũ a d c, & arcũ a c per æqualia in pũcto b. À puncto itaq b producatur linea contingens circulũ per 17 p 3: h æ c itaq quoniã eſt orthogonalis ſuper diametrum g b, ut patet per 18 p 3: palàm per 14 huius, quia ipſa producta ſecabit lineas d a & d c: ſit ergo ut ſecet lineam d a in puncto e, & lineam d c in puncto f. Quia itaq e d b & f d b anguli ‡unt æquales per 59 huius, & anguli d b e & d b f ſunt recti: palàm, quia trigona e b d & f d b ſunt 27 æquiangula per 32 p 1: ergo per 4 p 6 latera ſunt proportionalia: ſed latus d b eſt æquale ſibi: erit ergo linea e b æqualis lineæ b f, & linea d e ęqualis
a e g b d c f
◉62. A duobus puuctis æqualiter diſtantibus ab uno termino eductæ diametri, & à linea circulum in termino propiore diametri cõ tingente, duabus lineis ad alium terminũ diametri productis: arcus interiacẽtes illarum line arum alter am & diametrum, ſunt æquales: illis uerò ad alium punctum circumferentiæ produFig. 327
g f h k b l a c e m d n ctis, arcus interiacent inæquales.
g f h k b l a c e m d n
◉Sit circulus a b c d, cuius centrum e: diameterq́ eius d b educatur ad punctũ f: ſintq́ duo puncta g & h ęqualiter diſtãtia à pũcto f eductę diametri: ducãtúrque duę lineę g d & h d adaliũ terminũ diametri ſecãtes circulũ: linea g d in pũcto a, & linea h d in pũcto c: & à puncto b ducatur linea cõtingens circulũ, quę ſit k b l, à qua ęqualiter diſtẽt pũcta g & h. Dico, quòd arcus a b & b c ſunt æquales. Ducatur enim linea g f h: erit ergo ex hypotheſi linea g f æqualis lineę h f: ideo, quia puncta g & h ęqualiter diſtãt à puncto f: & ducãturlineę h l & g k perpẽdiculariter ſuper lineã k b l cõ tingẽtẽ, ք 12 p 1: erũt ergo ex hypotheſi & illę ęquales: ergo ք 33 p 1 linea g h ęꝗdiſtat lineę k l. Ergo ք 18 p 3 & 29 p 1 anguli d f h & d f g ſunt recti: ergo ք 4 p 1 anguli g d f & h d f ſunt ęquales. Ergo ք 26 p 3 arcus a b eſt ęqualis arcui b c. Patet quoq manifeſtè, quòd ſi à pũctis g & h lineę ad aliud pũctũ circũferentię quã ad pũctũ d ꝓducãtur, ut ad pũcta m ueln: quòd illę lineę arcus reſecabũt inęquales: quęlibet enim illarũ, quę ſecat diametrũ, abſcindit minorẽ arcum, & alia maiorẽ: & hoc eſt, quod proponebatur.
◉63. Diameter circuli diuidens hexagonum, eidẽ cirFig. 328
g b c a f d e culo inſcriptum, ab oppoſitis angulis per æqualia, duob. lateribus medijs hexagoni erit æquidiſtans.
g b c a f d e
◉Sit circulus, cuius centrũ ſit punctũ a: inſcriptus hexagonus, qui b c d e f g: & ab oppoſitis angulis illius hexago ni ducatur diameter b a e. Dico, quòd illa diameter æquidiſtat duobus medijs lateribus hexagoni, quæ ſunt c d & g f. Ducantur enim lineæ a c & a d. Quia itaque lineę b c & c d, (quę ſunt latera hexagoni) ſunt inter ſe ęqualia, & utrunq ipſorũ eſt ęquale ſemidiametro circuli per 15 p 4: patetergo, quòd trigona a b c & a c d ſunt ęquilatera: ergo per 8 p 1 ipſa ſunt ęquiangula: erit ergo angulus c a b ęqualis angulo a c d. Ergo per 27 p 1 lineæ a b & c d ęquidi ſtant. Similiter quoq poteſt demonſtrari de lineis a b & f g. Patet ergo, quoniam diameter b e ęquidiſtat medijs la teribus hexagoni: quod eſt propoſitum.
g f c b d a
◉64. Duobus circulis inæqualibus ſe ſecantibus, it a ut minor pertrãſeat centrum maioris: arcum minor is interiacentem peripheriã maioris in centro maioris per æqualia diuidi eſt neceſſe.
◉Sint duo circuli c f d maior, cuius centrũ ſit a: & c g d minor, cuius cen trum ſit b: ſecentq́ ſe hi circuli in punctis c & d: tranſeatq́ minor (qui c g d) per centrũ maioris, quod eſt a: eritq́ arcus c a d minoris circuli con tentus intra peripheriam maioris. Dico, quòd arcus c a d diuiditur per æqualia in puncto a. Ducatur enim linea copulans centra, quę ſit a b: & hec producta compleat diametrũ minoris circuli, quæ ſit a b g: & ad pũcta ſectionum c & d, ducantur lineæ a d, a c, b d, b c. Quia itaque in trigonis a b c & a b d, duo latera a b & b c unius ſunt æqualia duobus laterib. a b & b d alterius: quoniam omnes ſunt rectę ex puncto b centro circuli page 28 minoris ductæ ad peripheriam, & baſis a c eſt æqualis baſi a d: quoniam ſunt ex centro circuli maio ris. Ergo per 8 p 1 anguli æquis lateribus contenti ſunt ęquales: angulus ergo c a b eſt æqualis angu lo d a b: ergo per 26 p 3 arcus c g eſt ęqualis arcui d g: reliqui ergo arcus ſemicirculorum, qui ſunt a c & a d, ſunt ęquales. Arcus ergo c a d diuiditur per æqualia in puncto a: quod eſt propoſitum.
◉65. Omnes lineæ rectæ ductæ à polo ad peripheriam ſui circuli Fig. 330
e a d b c ſunt æquales. 5 def. 1 ſphæ. Theodo.
e a d b c
◉Eſto circulus a b c, cuius centrum d: & erigatur perpendiculariter ſuper circulum à centro linea d e, ita, ut per definitionem polus circuli ſit punctũ e: & ducantur lineæ e a, e b, e c. Dico, quòd ipſæ oẽs ſunt æquales. Ducantur enim lineę a d, b d, c d. Quia itaq quadratũ lineę a e eſt ęquale quadrato lineę e d & lineę d a: quadratum quoq lineæ b e æquale eſt quadrato lineæ e d & lineæ d b per 47 p 1: quadratum uerò lineæ e d eſt æquale ſibijpſi, & quadratũ lineę d a ęquale quadrato lineæ d b per circuli definitionem: palàm quia quadratum lineæ a e eſt æquale quadrato lineę b e, & ſimiliter quadrato lineæ c e. Palàm ergo, quoniam lineę a e, b e, c e, & quæcunq ſimiliter ductæ, ſunt æquales: & hoc eſt propoſitum.
◉66. Omnis linea centrum ſphæræ cum centro circuli non magni illius ſphæræ continuans eſt perpẽdicularis ſuper ſuperficiem illius circuli. 7 & 23 th. 1 ſphæ. Theodo.
◉Sit centrum ſphærę punctum z, ſitq́ punctum e centrum circuli non magni illius ſphæræ, qui ſit a b g d, & ducatur linea z e. Dico, quòd linea z e eſt perpendicularis ſuper ſuperficiem circuli a b g d. Ducantur enim lineę a e, b e, quę productæ cõpleant duas
b z g a e d
◉67. À centro ſphæræ ductã perpendicularẽ ſuք ſuperficiẽ circuli non magni ipſius ſphæræ, eiuſdẽ circuli cẽtro incidere eſt neceſſe. Cõſectariũ ſecundũ 1 th. 1 ſphæ. Theo.
◉Sit, ut in præmiſſa, centrum ſphęræ punctum z: ſitq́ punctum e centrum circuli non magni illius ſphęrę, qui ſit a b g d: & ducatur à puncto z centro ſphærę linea perpendiculariter ſuper ſuperficiẽ circuli a b g d, quæ ſit z e. Dico, quòd punctum e eſt centrum circuli a b g d. Ducantur enim lineæ z a, z b, z g, quæ erũt ęquales per definitionẽ ſphęrę. Quoniã ergo anguli a e z, b e z, d e z, g e z ſunt re cti: patet per 47 p 1 quoniam quadratũ lineę z a ualet quadrata linearum a e & z e, & quadratum lineę z b ualet ambo quadrata linearum b e & z e: & ſimiliter quadratũ lineę z g ualet ambo quadrata linearum g e & z e: lineę uerò z a, z b, z g ſunt ęquales, & quadrata ipſarum ęqualia: ablato itaque quadrato lineę z e omnib. cõmuni, relinquitur ut quadrata linearum
b f c a d g e
◉68. Aequidiſtantium in ſphæra circulorum centra in eadẽ dia metro ſphæræ conſiſtere eſt neceſſe. Ex quo patet, quòd omnes circuli in ſphæra æquidiſtantes eoſdem habent polos: & ſi eoſdem habent polos, ſunt æquidiſtantes. 1 & 2 th. 2 ſphæ. Theodo.
◉Sit ſphęra, cuius centrũ ſit punctũ a, & in ipſa ſint duo circuli ęquidi ſtãtes: b c, cuius cẽtrũ ſit f: & d e, cuius cẽtrũ g: & ducatur linea a f, quę ꝓducta erit diameter ſphęrę, cũ ipſa trãſeat centrũ ſphęrę a: ergo ք 66 huius lineá a f eſt erecta ſup ſupficiẽ circuli b c: ergo ք 23 huius erit ea dẽ diameter erecta ſuք ſuքficiẽ circuli d e: ergo ք pmiſſam ipſa trãſit ք centrũ circuli d e. Sunt ergo centra illorũ circulorũ in eadẽ diametro ſphęrę: q eſt ꝓpoſitũ. Et exhoc patet, q illi circuli eoſdẽ habẽt po page 29 los per definitionẽ poli. Et ſi aliqui circuli eoſdẽ habent polos, patet per 14 p 11, quòd ipſi ſunt æquidiſtantes: & hoc proponebatur. Quòd ſi etiã reliquus circulorũ æquidiſtantium eſſet circulus magnus, eadem eſſet demonſtratio. Duo uerò circuli magni eiuſdem ſphęræ ſibi inuicem æquidiſtare non poſſunt: quoniam amborum illorum eſt idem centrum, quod eſt centrum ſphæræ.
◉69. Si plana ſuperficies ſecet ſphærã, cõmunis ſectio erit circulus. Ex quo patet, quoniã à quolibet puncto in diametro uel ſuperficie ſphærica dato, eſt poſsibile totali ſuperficiei ſphæricæ circulumcircumduci, alij etiam circulo illius æquidiſtantem. 1 th. 1 ſphær. Theodoſy.
◉Sit ſphęra, cuius centrũ a, ſeceturq́ per planam ſuperficiẽ. Dico, quòd cõmunis ſectio ſuperficiei ſphęricæ & planæ eſt circulus. Si enim fiat ſectio ք centrũ
d f b c e d
◉70. À dato puncto ad datam ſphæram lineam contingentem ducere.
◉Sit enim datũ punctũ a, & centrũ datę ſphę
c a d b
◉71. Omnis ſuperficies plana contingens ſphæram, ſecundũ unicum punctum eſt contingens. 3 th. 1 ſphær. Theodoſij.
◉Ducatur in plana ſuperficie contingente ſphæram, linea recta trans locum cõtactus, & in ſuperficie ſphęræ circulus magnus. Si ergo ſuperficies plana contingit ſphæram ſecundum aliud quàm ſecundum punctum, & linea recta continget circulum ſecundum idem: non ergo ſecundum punctum continget linea recta circulum: quod eſt contra 16 p 3: palàm ergo propoſitum.
◉72. À dato pũcto ſuքficiei ſphæricæ ſuքficiẽ planã cõtingentẽ ducere. Ex quo patet, ꝗ omnis linea centrũ ſphæræ trãſiens, eſt perpẽdicularis ſuք eius ſuperficiẽ: & ſieſt perpendicularis ſuper ſphæricam ſuperficiem, neceſſariò tranſit centrũ ſphæræ. È[?] 4 th. 1 ſphær. Theodoſy. Alh. 25 n 4.
◉Eſto ſphęra, cuius centrũ ſit a, & circulus eius magnus b d c: ducaturq́ linea a b à cẽtro ad circũferentiã: & à pũcto b ducatur linea cõtingẽs circulũ, quę ſit f b e ք 17 p 3: erũt ergo anguli a b e & a b f recti. Imaginatis quoq ք 69 huius circulis quotcũq in ſuքficie ſphęrę ſecantib. ſe in pũcto b, & ductis lineis, cõtingentib. illos circulos in pũcto b: palàm ք 18 p 3, quoniã linea b a cũ omnib. illis lineis cõtinetangulos rectos. Ergo oẽs illę lineæ ſunt in una ſuքficie plana ք 2 p 11. Illa itaq ſuքficies con page 30 tingit ſphęrã ք definitionẽ ſuքficiei planę ſphęrã cõtingẽtis. Ex hoc itaq patet, quoniã omnis linea à cẽtro ſphęræ ducta, ſit erecta ſuք planã ſuքficiẽ, ſphęrã ipſam in pũ
g h e b f d a
◉73. Omnium ſphærarum, quarum conuexæ ſuperficies æquidiſtant, uel ſecundũ ſe totas ſe contingunt, neceſſariò eſt idẽ centrum.
◉Sint duę ſphęræ, quarũ cõuexæ ſuքficies æquidiſtẽt, ſectæ ք æqualia ք unã planã ſuքficiẽ: cõmunis ergo ſectio ſuperficierũ illarũ ſphæ ricarũ & huius planæ erũt circuli: ſitq́ magnus circulus maioris ſphęræ a b, & centrũ eius e: minoris uerò ſphęrę circulus magnus ſit c d. Dico, quòd idẽ
a c e h d b
◉74. Si duæ ſphæræ fuerint æquidiſtãtes, uel ſecundũ totas ſuքficies ſe cõtingẽtes: quæcũ lineæ ſuք unius earũ ſuperficiẽ perpẽdicularis fuerit, ſuք alterius quo ſuperficiẽ perpẽdicularis erit.
◉Iſtud faciliter patet. Quoniã enim ex præmiſſa tales ſphęræ idẽ centrum habere neceſſariò comprobantur: ergo per 72 huius linea perpendicularis ſuper alteram iſtarum ſphęrarum, centrũ ipſius tranſit: ſed centrum ipſius eſt cẽtrum alterius. Ergo per eandem 72 huius ſuper alterius etiã ſphæræ ſuperficiem illa linea perpendicularis erit: & hoc eſt propoſitum.
◉75. Si duæ ſphæræ cẽtra diuerſa habuerint: impoßibile eſt, ut lineæ քpẽdiculares ſuք unius ſuperficiẽ, ſint perpẽdiculares ſuper alterius ſuperficiẽ, niſi unatantũ, quæ trãſit cẽtra ambarum.
◉Quocũq modo ſe habẽtibus adinuicẽ ſphęris, ſiue extrinſecus ſiue intrinſecus ſe cõtingẽtibus, uel etiam ſe nõ contingẽtibus, uel etiã ſe adinuicẽ ſecãtibus, ſemper patet ex 72 huius, quoniã linea tranſiens per cẽtra ipſarũ, eſt perpẽdicularis ſuper ſuperficiẽ utriuſq;: aliã quoq lineã ſuper utriuſq ſuperficiẽ perpendicularẽ eſſe, eſt impoſsibile. Si enim ſit poſsibile: ducatur aliqua alia perpẽdiculariter ſuper utriuſq ſphęræ ſuperficiẽ: palamq́ erit ex eadẽ 72 huius ipſam per utriuſq centrũ trãſire: quod eſt oppoſitũ hypotheſi. Patet ergo, quoniã nullã aliam lineã, præter eã, quę tranſit centra ambarũ, perpẽdiculariter duci ſuք utriuſq ſphęrarũ ſuperficies eſt poſsibile. Et hoc eſt propoſitũ.
◉76. Si ſphæra ſphærã intrinſecꝯ aut extrinſecꝯ cõtingat: in uno tãtũ pũcto cõtingere eſt neceſſe.
◉Si enim ſphęræ contingẽtes ſe intrinſecus, nõ in puncto ſe contingant: neceſſe eſt circulos ſuos maiores a dinuicem applicatos non ſe in puncto contingere: quod eſt contra 13 p 3, & impoſsibile. Quòd ſi ſphęræ extrinſecus ſe contingentes, non ſe contingant in puncto: etiam hoc eſt contra naturam circulorum extrinſecus ſe contingentium, & contra eandẽ 13 p 3. Poteſt & hoc aliter demonſtrari. Si enim inter illas ſphęras, quę ſe extrinſecus contingunt, imaginata fuerit ſuperficies plana: palàm ex 71 huius, quoniam utraq illarum ſphęrarum illã ſuperficiem planam contingit in puncto. Ergo & ſeinuicem in puncto contingẽt: & propinquior eſt utriq ſphærarum ipſa plana ſuperficies interpoſita, quàm ſphæræ inter ſe. Et hoc eſt propoſitum.
page 31◉77. Sphærarum ſe contingentium, centra diuerſa eſſe eſt neceſſe.
◉Signentur enim in utralibet ſphærarum à puncto contactus duo circuli maiores per 69 huius, ſecantes eorum ſuperficiebus planis ſphæras per ſua centra, & per puncta contactuum. Et quia cen tra horum circulorum ſunt centra ſphærarum ſuarum per definitionem circulorum magnorũ: hos autem circulos centra diuerſa habere eſt concluſio 6 p 3. Patet ergo propoſitum.
◉78. Centrorum, ſphærarum ſe extrinſecus contingentium, diſtantiam ſecundum lineam com poſitam ex ambarum ſphærarum ſemidiametris. intrinſecus uerò ſe contingentium, ſecundum exceſſum ſemidiametri maioris ad ſemidiametrum minoris eſſe, palàm est.
◉Hoc patet per 76 huius. Quoniam enim contactus ſphærarum fit ſecundum unum tantùm punctum: punctus uerò eſt, cui pars nõ eſt: tunc euidẽs eſt, quòd punctus ille cõmunis in utraq interſe ctione nihil adimit de diametrorum quantitate: indiuiſibile enim (cum non ſit pars quanti) nec addit nec minuit aliquid de quanto. Et ſic patet propoſitum.
◉79. Si concauũ alicuius ſphæræ, ſuperficiem aliquam ſecundum eam totam contingat: neceſſe eſt ſuperficiem contactam partem ſphæræ minoris eſſe.
◉Sit, ut aliqua ſphæra ſecundũ ſuum concauũ contingat aliquã ſuperficiem ſecundũ oẽs illius par tes, ſicut uas ſphæricũ ſuperficiem aquę contentę. Dico, quòd uerũ eſt quod proponitur. Ducantur enim lineę plurimę à centro ſphærę ad locum contactus ſui cum illa ſuperficie. Et quia omnes lineę productæ ad cõcauũ ſphærę ſunt æquales inter ſe ex definitione ſphæræ, & ſunt æquales productis lineis ad conuexũ ſuperficiei cõtactę: patet ex dicta definitiõe, quoniã illa ſuքficies eſt pars ſphærę: & quælibet intellecta exten di ſecundũ cõcauũ ambientis ſphærę, ſphærã minorẽ cõplebit. Eſt ergo pars minoris ſphærę. Linea quoq in illa ſuperficie ſignata, eſt pars circuli ex 9 p 3, idem habens cen trum cum circulo, cui applicatur. Et ſic illa ſuperficies eſt pars minoris ſphærę. Quod eſt propoſitũ.
◉80. Si ſphæra ſphæram interſecet, communis ſectio ſuperficierum ſphæricarum ſe interſecantium erit peripheria circuli.
◉Quod hic proponitur, patet. Imaginetur enim ſuperficies ſecans ambas ſphæras ſecundum lineã cõmunẽ ſectionis ſphærarũ, qualiſcũq fuerit. Hæc ergo ſuperficies propter ſimilitudinẽ corporũ ſe interſecantiũ plana erit: cõmunis ergo ſectio illius ſuperficiei & utriuſq ſphærarũ erit circulus per 69 huius. Palàm ergo, quòd cõmunis linea interſectionis ſuperficierũ ſphærarum illarum erit peripheria circuli, in qua incluſa ſuperficies, erit circulus communis illi ſectioni: quoniam aliàs corpus, quo utræq ſphærę communicant, eſt corpus cõmune ſphærarum interſectioni: & eſt corpus irregu lare, duabus ſcilicet ſuperficiebus ſphæricis contentum & diuerſis, ſecundum diſpoſitionẽ ſe interſecantium ſphærarum. Patet ergo propoſitum.
◉81. Sphærarum ſe interſecantium, maiores circulos ſe inuicem ſecare palàm est. Ex quo patet interſecantium ſe ſphærarum centra diuerſa eſſe.
◉Primum patet ex definitione ſphærarum ſe interſecantium. Quoniam enim interſecantibus ſe ſphæris, diameter unius per alteram abſcinditur, & maiorum circulorũ diametri ſunt etiam diametri ſuarum ſphærarum (diuidunt enim circuli magni ſuas ſphæras per æqualia) tunc patet, quòd circulis unius ſphæræ & alterius ſe interſecantium aliqua linea eſt cõmunis. Cum ergo unus circulus aliũ non cõtineat, quia nec una ſphæra ſphæram aliam continet: palàm, quia tales circuli ſe inuicem ſecant ex definitione taliũ circulorũ. Quia uerò ex 5 p 3 circulorũ ſe inuicem ſecantiũ centra eſſe di uerſa neceſſe eſt, & idem eſt centrũ ſphærę, quod eſt centrũ circuli magni in illa ſphæra: patet corolarium, ſcilicet, quia interſecantium ſe ſphærarum centra ſunt diuerſa. Et hoc proponebatur.
◉82. Si ſphæra ſphæram interſecet: linea, quæ centra illarum ſphærarum tranſit, centrũ circuli peripheriæ cõmunis ſectionis tranſire, & ſuper ipſius ſuperficiem perpendicularẽ eſſe, neceſſe eſt.
◉Circulus cõmunis ſectiõis ſphærarũ aut eſt circulus maior alterius ſpherarũ ſe interſecantiũ, aut minor: ſi maior: hoc erit ſolũ, cũ maior ſphæra minorẽ interſecat. Si enim æquales ſphærę ſecundũ circulũ maiorẽ ſe interſecarẽt, nõ eſſet ſphærarũ interſectio, ſed unius ſphærę ex duobus hemiſphæ rijs æqualibus cõpoſitio. Si ergo circulus cõis ſectionis ſphęrarũ ſit circulus maior, nõ erit ille circu lus maior, niſi in ſphæris inæqualibus ſe interſecãtibus, circulus ſphærę minoris: quoniã ipſum eſſe circulũ maiorẽ ſphærę maioris eſt impoſsibile: quoniã maior circulus ſphærę maioris nõ poteſt cadere in ſuperficiẽ ſphęrę minoris. Sit itaq circulus talis a b c: & ſit centrũ maioris ſphærę d: ſphærę uerò minoris e: erit quoq e centrũ circuli a b c ex hypotheſi. Ducatur ergo linea d e: & patebit propoſitum primum. Item ducantur lineę d a, b d, d c, & lineę a e, b e, c e: eruntq́ triangulorum d a e & d b e latera æqualia: ideo, quoniam linea d e latus eſt commune, & latus d a æquale eſt lateri d b ex definitione ſphærę: latus quoque a e ęquale eſt lateri b e ex definitione circuli: ergo per 8 p 1 anguli ęquis lateribus contenti, erunt ęquales. Angulus ergo d e b ęqualis erit angulo d e a: ſimiliter an gulus d e c erit ęqualis angulo d e b: & uniuerſaliter à quocunq puncto circuli a b c ducantur lineę ad e centrum ſphærę, anguli ſuper centrum e ſemper erunt æquales. Et quia ſuper eandem diametrum oppoſitis punctis ſignatis linea d e æquales angulos conſtituit: patet per definitionem perpendicularis, quoniam ipſa linea d e ſuper omnes diametros perpendicularis erit. Ergo per 4 p 11 linea d e ſuper ſuperficiem circuli a b c erecta eſt, & ſupeream perpendicularis. Si uerò circu page 32 lus a b c non ſit circulus maior alicuius ſphærarũ ſe interſecantiũ, ſed minor: intelligatur in ipſo protracta diameter, quæ ſit l f per pũcta l & f, & utraq ſphæra
l h g b e c k a d f
◉83. Si ſphæra ſphærã interſecet: lineã tranſeuntẽ centrũ circuli peripheriæ cõmunis ſectionis perpendiculariter ſuper ipſius ſuperficiẽ inſiſtentẽ, ambarũ ſphærarũ centra tranſire neceſſe eſt.
◉Hęc eſt cõuerſa pręcedẽtis, nec oportet in ipſius demonſtratiõe aliter immorari. Si enim ſit poſsibile, ducatur linea per e centrũ circuli cõmunis ſectiõis ſphęrarũ, (qui eſt a b c) perpendiculariter ſu per ipſius ſuperficiẽ ad aliũ aliquẽ punctũ, pręter centum ambarũ, uel alterius ſphęrarũ: & ſit linea e k: & ducatur item per centra ambarũ ſphęrarũ alia linea, quę ſit d h. Patet aũt per pręcedentẽ, quoniam hęc erit tranſiens per centrũ e, & erit perpendicularis ſuper ſuperficiẽ circuli a b c. Ab eodem ergo pũcto ſuperficiei circuli a b c, utpote centro e, duę exeũt perpendiculares ſuper eandẽ circuli ſuperficiem a b c, quę ſunt e d & e k: quod eſt contra 13 p 11, & impoſsibile. Patet ergo propoſitum.
◉84. Si ſphæra ſphærã intrinſecus interſecet: neceſſe eſt centra illarũ ſphærarũ, reſpectu ſitus ſui contactus ſecundum quantitatẽ peripheriæ circuli, qui eſt cõmuFig. 338
f c c l a nis ſectio ſuarum ſuperficierũ plus diſtare: centrum ſphæræ continentis plus profundari.
f c c l a
◉Sphærę datę interſecare ſe debẽtes, ſi ęquales fuerint, & taliter ad inuicẽ collocentur, ut nõ ſe interſecẽt: tunc ipſarũ idẽ erit centrũ: facta uerò interſectiõe ipſarũ, cẽtra diuerſantur per 81 huius: & ſecundũ quod circuli քipheria, quę eſt cõmunis ſectio illarũ ſuperficierũ ſphęricarũ, fit maior uel minor: ſecũdũ hoc plus uel minus diſtabũt centra. Quòd ſi ſphęrę fuerint inęquales, quarũ una alterã intrinſecus cõtingere poterit: tunc in ſitu ſuę cõtingentię centrorũ ſuorũ di ſtantia ք 78 huius eſt exceſſus ſemidiametri ſphęrę maioris ad ſemi diametrum minoris. Demus ergo, quòd centrum maioris ſit a, centrũ minoris b, punctus cõtactus ſit c. Et quia cõtactus fit in puncto per 76 huius, interſectio uerò fit ſecundũ circulũ per 80 huius: palã, quia facta interſectione ſphærarum, abſcindet ſphęra a diametrũ b c in puncto alio quàm in termino ſuo, qui eſt punctus c. Sit ergo punctus, in quo ipſum abſcindit, punctus e: ponaturq́, ut linea f e ſit æqualis diametro ſphęrę b. Quoniam itaq linea a c excedit lineam b c in linea a b: linea uerò f e eſt ęqualis ſemidiametro b c: quoniam ſunt ſemidiametri eiuſdem ſphęrę. Linea ergo a c excedit lineam page 33 f e in linea a b: ſed linea f e eſt maior quàm linea e c: ergo a e, in qua linea a c excedit lineam e c, eſt maior quàm linea a b. Plus ergo diſtant centra ſphærarum in interſectione, quàm in ſitu contactus: & ſecundum quòd peripheria circuli, quæ eſt communis ſectio ſuarum ſuperficierum, minoratu‡, ſecundum hoc diſtantia centrorum augetur: & ſecundum quòd illa peripheria augetur, ſecundum hoc diſtantia centrorum minuitur: & reſpectu partis uniuerſi, ad quam fit interſectio, plus profundatur centrum ſphæræ continentis, reſpectu contactus, in tanto, quantò linea a e fit maior quàm li nea a b. Et hoc eſt, quod proponebatur.
◉85. Si duæ ſphæræ intra tertiam ſecundum circulũ æqualem circulo maiori ſphæræ, intra quã fit interſectio, ſe interſecent: utra illarum ſphærarum ſphæram, intra quam fit interſectio, interſecabit: et omniũ illarũ ſuperficierũ ſphæricarũ cõmunis ſectio erit peripheria circuli unius.
◉Verbi gratia: ſit, ut ſphæra, cuius centrum a, interſecet ſphæram, cuius centrum ſit b, intra ſphæram, cuius centrum ſit c, ſecundum circulũ æqualẽ circulo maiori ſphę
b c a
◉86. Lineam à centro ſphæræ per centrum circuli ſphæram ſecantis, orthogonaliter ductam‡ medio abſciſſæ portionis eſt neceſſarium applicari.
◉Sit ſphæra, cuius centrum a, & ſit circulus b c d, cuius centrum ſit
c f b e d a
◉87. Proportionem partis ſuperficiei ſphæricæ ad totalem ſuperficiem ſuæ ſphæræ, ſicut anguli ſolidi in ipſam à centro ſphæræ cadentis, ad octo rectos ſolidos neceſſe eſt eſſe. È[?] Nicolao Cabaſilla in 3 librum magnæ conſtructionis Ptolemæi.
a b d c
◉Verbi gratia: ſit a b c pars ſuperficiei ſphæricę alicuius ſphærę, cuius centum ſit d: & ducantur lineæ a d, b d, c d: & in ipſa ſuperficie ducantur lineæ a b, b c, a c: fietq́ pyramis, cuius uertex eſt punctum d, & baſis a b c. Palàm quoq, quoniã angulus circa punctum d eſt ſolidus, tribus angulis ſuperficialibus cõtentus. Dico, quòd quę eſt proportio illius anguli ad 8 rectos angulos ſolidos, qui replent locum ſolidum circa centrum d, eadem erit proportio ſuperficiei ſphæricæ, quæ eſt a b c, ad totam ſphæricam ſuperficiem ſuę ſphæræ. Imaginentur enim plurimi circuli magni, tranſeuntes per omnia puncta illius ſuperficiei, non ſecantes ſe ſuper illam. Patet itaq, quoniã aliqui arcus illorum circulorũ determinãtur per lineas terminales illius ſuperficiei: omniũ aũt illorũ arcuũ partialiũ ad totos ſuos circulos eſt ꝓpor page 34 tio, ſicut angulorum contentorum ſub lineis à centro d ad ipſorum terminos productis ad 4 rectos ſuperficiales per 33 p 6. Patet ergo propoſitum. Et etiam poteſt patere ex hoc, quoniam ſicut ille angulus correſpõdet illi parti ſuperficiei ſphæricæ: ſic reſiduum 8 ſolidorum angulorũ rectorũ totali reſiduo ſuperficiei illius ſphæræ reſpondet: ergo per 16 p 5 erit permutatim anguli ad angulum, ſicut ſuperficiei ad ſuperficiem, & per 18 p 5 coniunctim, & per 5 huius è contrario patet propoſitũ.
◉88. Si inter duas quartas circulorũ æqualium in ſphæræ ſuperficie ſe ſecantium, ad extremitates arcuum æqualium lineæ rectæ ducantur: illæ erũt æquidiſtantes: & remotior à puncto ſectionis erit longior. È[?] 14 p 12 ele. in Campano.
◉Sint arcus magnorum circulorũ in ſuperficie alicuius ſphæræ ſe ſecantiũ, qui a b c & a d e, ſecantes ſe in puncto a: in quibus ſignentur arcus æquales, ita, ut arcus a b ſit æqualis arcui a d, & arcus b c ſit æqualis arcui d e, & cõtinuentur lineæ rectę, quę
a b d c e
◉89. Omnes lineæ longitudinis unius pyramidis rotundæ, ſunt æquales: & cum ſemidiametris baſis æquales, ſed acutos angulos continentes. Ex quo patet omnem pũctum uerticis pyramidis eſſe polum circuli ſuæ b a ſis: omneḿ lineam longitudinis eſſe in eadẽ ſuperficie cum axe: ipſum quo axem centrum circuli baſis orthogonaliter attingere. È[?] 18 defin. 11 element.
◉Quoniã enim per principium 11 Euclidis pyramis rotunda fit per trãſitum trianguli rectanguli, alterutro ſuorum laterum rectum angulum continentiũ fixo, donec
a d b c
◉90. Omnis ſuperficiei planæ ſecantis pyramidem rotundam uel lateratam ſecundum axis longitudinem & ſuperficiei conicæ communis ſectio eſt trigonum duabus lineis longitudinis pyramidis & diametro baſis contentũ. Ex quo patet, quoniam illa ſuperficies diuidit pyramidem per æqualia: & quòd ſuperficies, quæpyramidem ſecundum lineam longitudinis per æqualia ſecuerit, ſecundum axem neceſſariò ſecabit. È[?] 18 defin. 11 element. item 3. theor. 1 Conicorum Apollonij.
◉Eſto pyramis rotunda a b c, cuius uertex a: & diameter baſis b c: & ſit centrum baſis d. Et palàm per pręmiſſam, quoniã linea a d eſt axis illius pyramidis. Superficies
a b d c
◉91. Omnis pyramidis rotundæ uel lateratæ lineæ lõgitudinis ſu per axem in uertice tantùm ſe interſecant: productæ quo aliam ſimilem pyramidem principiant, cuius lineæ longitudinis ſecundum poſitionem & ſitum priori pyramidi modo contrario ſe habent. È[?] 18 defin. 11 elemen. item 1 defin. 1 Conicorum Apollonij.
◉Quòd omnes lineę longitudinis pyramidis cuiuſcunq prod ctę ſe ſuper axem in uertice ſecent, euidens eſt: quoniam concurrunt omnes in illo puncto uerticis. Et quoniam omnes ſunt æquales per 89 huius: patet, quia citra uerticem nulla ipſarum aliam interſe
d e a b c
◉92. Omnes lineæ longitudinis unius columnæ rotundæ ſunt æquales, rectos angulos cum ſemidiametris ſuarum baſium continentes, & in eadem ſuperficie cum axe exiſtentes. Ex quo patet, quoniam axis cuiuslibet columnæ rotundæ centris ſuaru baſium orthogonaliter inſiſtit. È[?] 21 defin. 11 element.
◉Hoc non indiget demonſtratione alia, niſi ſimili illi, quæ fit in 89 huius. Sicut enim trigonum orthogonium altero laterum rectum angulum continentium fixo, per reuolutionem ſuam cauſſat pyramidem rotundum: ſic quadrilaterum rectangulum altero ſuorum laterum fixo manente, alijs tribus, quouſque ad locum ſuum redeant, circumductis, cauſſat motu ſuo figuram columnarem rotundam. fiet ergo probatio omnium eorum, quæ proponunttur hîc, ut in illa: quia patet totum euidenter.
page 36◉93. Omnis ſuperficiei planæ ſecantis columnam rotundam ſecundum axis longitudinem & ſuperficiei columnæ communis ſectio eſt rectangulum ſub duabus lineis longitudinis columnæ, & duabus diametris baſium contentum. Ex quo patet, quoniam illa ſuperficies per æqualia diui dit columnam. È[?] 21 defin. 11. element.
◉Columna rotunda ſit, cuius axis e f: ſecetq́ ipſam per e f ſuperfi
g a m e n b h i c p f o d k l
◉94. Superficiei ſecantis columnam rotundam æquidistanter ſuperficiei per axem ſecanti & ſuperficiei columnaris, cõmunis ſectio eſt rectangulum ſub duabus lineis longitudinis columnæ, & duabus lineis minoribus diametris baſium contentum. È[?] 21 defin. 11 elem.
◉Sit, ut in præcedenti propoſitione, columna ſecta per planam ſuperficiem ſecundum ſectionem, rectangula a b c d: cuius axis ſit e f: ſitq́ nunc ſuperficies plana columnã ſecans, æquidiſtans ſuperficiei a b c d, cuius communis ſectio cum ſuperficie columnæ ſit h i k l: ducanturq́ à punctis h & i li neæ perpendiculares ſuper diametrum a b per 12 p 1, quæ ſint h m, i n. Erit itaq linea m n æqualis lineæ h i, ut patet per 34 p 1: lineæ enim a b & h i ſunt æquidiſtantes ex hypotheſi, & lineæ h m & i n ſunt æquidiſtantes per 28 p 1. Eſt ergo linea h i minor diametro a b. Similiter quoq l k minor eſt dia metro c d, ductis perpendicularibus lineis, quæ l o & k p: ſed lineæ h k & i l ſunt lineæ longitudinis columnæ. Patet ergo propoſitum.
◉95. Omnis ſuperficies plana contingens pyramidem, uel columnam rotundam: ſecundum lineam longitudinis eſt contingens.
◉Non enim ſecundum punctũ contingit ſuperficies plana propoſita corpora ſicut ſphæram: quoniam in ipſis eſt longitudo, quæ non eſt in ſphæra: ſed nec contingit ipſa ſecundũ ſuperficiem: quoniam cum in quolibet iſtorum corporũ ſint infiniti circuli ſuis baſibus æquidiſtantes & ipſæ baſes: accideret illos ſecundum lineas in ſuperficie plana contingente ductas ad ipſorum contactum, non contingi ſecundum punctũ, ſed ſecari: quod eſt contra 16 p 3, & impoſsibile. Non ergo continget ſuperficies plana propoſita corpora ſecundũ ſuperficiem. Reſtat ergo,
a e d c g b
◉96. Omnis linea perpendicularis ſuper curuam ſuperficiem py rami dis, uel columnæ rotundæ: neceſſariò trãſit per ipſarũ axem.
◉Pyramis rotunda uel columna ſit, cuius linea longitudinis ſit a b: & eius axis a g: & ſit linea d e perpendicularis ſuper curuam illius ſu perficiẽ. Dico, quòd linea e d tranſit per axem a g. Ducatur enim ſemidiameter baſis, quæ ſit b g. Quia ergo linea e d eſt perpendicularis ſuper curuam ſuperficiem propoſitam: palàm per definitionem, quoniã linea e d eſt perpendiculariter erecta ſuper ſuperficiem contingentem pyramidem ſecundum aliquam lineam ſuę longitudinis: ſit hoc ſecundum lineam a b. Cadit ergo linea e d ſuper lineam a b. Palàm ergo per 2 p 11, quoniam lineę d e & a b ſunt in eadem ſuperficie. Et quia linea d e eſt perpendicularis ſuper curuam ſuperficiem pyramidis: patet, quòd illa ſuperficies erit erecta ſuper ſuperficiem conicam pyramidis, & in ipſa eſt linea a b. Producta ergo transpyra midem, ſecabit ipſam ſecundũ lineam longitudinis a b per æqualia diuidens pyramidem, & tranſi page 37 bit per axem a g per 90 huius. Trigonum ergo a b g cum linea d e eſt in eadem ſuperficie. Quia ergo linea e d cum uno latere trigoni b a g, quod eſt a b, continet angulũ rectum, qui eſt d e a: angulus uerò e a g eſt acutus: palàm, quia linea d e concurret cum linea a g per 14 huius. Tranſit ergo per axem pyramidis uel columnæ rotundę. Quod eſt propoſitum: quoniã in columna rotunda eodem modo demonſtandũ. In illa enim, quia linea longitudinis a b æquidiſtat axi, & lineę d e & a b & axis ſunt in eadem ſuperficie: patet per 2 huius, quia linea d e concurrẽs cum una linearum æquidiſtantium, ideo cum a b & cum axe neceſſariò concurret. Et hoc proponebatur.
◉97. Omnis ſuperficies plana ſuperficiei contingenti pyramidem uel columnam in loco contactus orthogonaliter inſiſtens, neceſſariò ſecat pyramidem uel columnam per ipſius axem.
◉Sit pyramis uel columna rotunda, quam contingat ſuperficies plana. Palàm ergo per 95 huius, quoniã continget illam ſecundũ lineã longitudinis. Superficies itaq huic ſuperficiei orthogonaliter in loco contactus inſiſtẽs, eſt perpendicularis ſuper ſuperficiẽ curuam pyramidis uel columnę: & ipſarũ cõmunis ſectio eſt linea longitudinis, ſuper quã in ſuperficie erecta ducantur perpendiculares. Eæ itaq lineæ per præmiſſam tranſibunt axem pyramidis uel columnæ rotundæ. Er go & ſuperficies illa axem tranſiens, ſecabit pyramidẽ uel columnã ſecundum axem. Et hoc proponebatur.
◉98. Omnis ſuperficiei planæ ſecantis pyramidem rotundam non per uerticẽ, & ſuperficiei conicæ pyramidis communem ſectionem figuram triangularem eſſe impoßibile.
◉Eſto pyramis, cuius uertex a, diameter baſis b c, centrũ baſis d, & axis a d, quã ſecundum axis lon gitudinem ſecet ſuperficies plana ſecundum trigonũ a b c per 90 huius: ſecetq́ ipſam alia ſuperficies erecta ſuper trigonũ a
d f f f g g b h h d c h e e c
◉99. Omnis ſuperficiei planæ ſecantis pyramidem uel columnam lateratã trans axem æquidistanter baſi & ſuperficiei pyramidalis uel columnaris cõmunis ſectio eſt ſimilis peripheriæ baſis: & ſi illa ſectio peripheriæ baſis eſt ſimilis, ſuperficies ſecans æquidistat baſi pyramidis uel colũnæ.
◉Si enim illa ſectio baſi æquidiſtat, omnes trigoni laterales totius pyramidis & partiales trigoni ſunt æquianguli per 29 p 1. Patet ergo per 4 p 6, quòd tota peripheria ſectionis eſt ſimilis baſi pyramidis, quoniam omnia latera trigonorum totalium & partialium erunt proportionalia. Et ſi illa ſectio eſt baſi ſimilis, eſt etiam baſi æquidiſtans. Quoniam ſi nõ eſt æquidiſtans, erit alia ſecundum idem punctum ſecans axem, æquidiſtans baſi, ſimilis peripheriæ baſis per præmiſſa, Sequitur itaq ut una ſimilis, alia quoq non ſimilis, ſecundum idem punctum ſecent axem pyramidis. Alia uerò page 38 æquidiſtans baſi fieri poterit per 31 p 1, ducta ab uno puncto primæ ſectiõis linea æquidiſtante alicui linearum baſis pyramidis, & à terminis illius alijs lineis æquidiſtantibus reliquis lineis baſis produ ctis.) Ex hoc autem accidit impoſsibile, quoniã ſequitur ex hypotheſi angulum extrinſecum propter trigonorum ſimilitudinem æqualem fieri intrinſeco: cum ab uno puncto exeant duæ lineæ æquales angulos cõtinentes angulis illis, qui fiunt per lineã aliquã longitudinis & per lineam aliquã peripherię baſis. Patet ergo propoſitum in pyramidibus. Et eodem modo demonſtrandũ eſt in columnis lateratis, & facilius propter æqualitatem linearum per 34 primi.
◉100. Omnis ſuperficiei planæ ſecantis pyramidem uel columnam rotundam trans axem æquidiſtanter baſi, & curuæ ſuperficiei pyramidis uel columnæ communis ſectio eſt circulus: & ſi illa ſectio eſt circulus, ſuperficies ſecans eſt æquidiſtans baſi. Ex quo patet, quòd omnis plana ſuperficies æquidiſtanter baſi ſecans pyramidem uel columnam, nouam pyramidem conſtituit uel columnam. 4 theor. 1 Conicorum Apollonij, & 5 the. Cylindricorum Sereni.
◉Sit pyramis rotũda a b c, cuius uertex a: diameter baſis b c, & centrũ baſis d: ſecetq́ ipſam ſuperfi cies plana æquidiſtanter baſi: & ſit cõmunis ſectio ſuperficiei illius & ſuperficiei conicæ pyramidis linea e f g. Dico, quòd linea e f g eſt peripheria circuli. Secet enim alia ſuperficies plana pyramidem per uerticem & per axem, qui eſt a d. Cõmunis itaq illius ſuperficiei & pyramidis ſectio eſt trigonũ (quod ſit a b c) per 90 huius: ſecetq́ ſuperficies e f g axem a d in puncto h: & trigonum a b c ſecet ſuperficiem e f g in linea e h f. Erit ergo linea e h æquidiſtans lineæ b d
a e h f g b d c
◉101. In qualibet columna uel pyramide à dato in eius ſuperficie puncto, lineam longitudinis ducere. 7 theo. Cylindricorum Sereni.
◉Imaginetur enim ſuperficies plana ſecãs pyramidem uel columnã trans illius punctum & trans axem: quod fiet, ſi à puncto dato ducatur linea recta ſuper axẽ: illa ergo linea & axis ſunt in una ſuperficie per 2 p 11: quę ſuperficies ſecabit pyramidem ſecundum lineam longitudinis per illud punctum tranſeuntem per 90 huius: columnam quoq per 92 huius. Patet ergo propoſitum.
◉102. À[?] dato puncto, ſiue in axe, ſiue in ſuperficie curua datæ pyramidis rotundæ uel colũnæ, circulum circumducere.
page 39◉Eſto pyramis, cuius uertex punctũ a, axis uerò a d: in quo ſit datus punctus e, à quo debemus cir culum totali ſuperficiei conicæ circunducere. Sit itaq, ut ſuperficies plana ſecet pyramidẽ ſecundũ axem a d trans punctũ e: cõmunis itaq ſectio illius ſuperficiei planæ & ſuperficiei conicæ erit trigo num per 90 huius: cuius baſis ſit b c, quę erit diameter baſis pyrami
a f e g h b d c
◉103. Omnis ſuperficiei ſecantis pyramidem uel columnã rotundam trans axem non æquidiſtanter baſibus, & ſuperficiei curuæ communem ſectionem circulum eſſe eſt impoßibile. 5 theo. 1 Conicorum Apollonij. item 9 theor. Cylindricorum Sereni.
◉Sit pyramis, cuius uertex a, diameter baſis b c: & centrum baſis d, & axis a d: ſecetq́ ipſam ſuperficies plana trans axem a d in puncto e, nõ æquidiſtanter baſi: & ſit cõmunis ſectio huius ſuperficiei planæ & ſuperficiei conicæ linea f g h k. Dico quòd hæc ſectio non eſt poſsibile, ut ſit circulus. Eſto enim, ut circa punctum e in pyramidis conica ſuperficie ducatur circulus per præmiſſam: hic itaq æquidiſtabit baſi per 100 huius: ſitq́ f g l m: & ſignentur lineę longi
a k f l e m h g b d c
◉104. Omnium duarum planarum ſuperficierũ ſecantium pyramidem uel columnam rotundam trans idem punctum axis, ſi una æquidiſtanter baſi, & alia nõ æquidiſtanter ſecuerit: com munis ſectio eſt linea recta tranſiens pyramidem uel columnam, orhogonalis ſuper axem. Ex quo patet, quòd ſiue circuli peripheria, ſiue ſectio alia quæcun non in eadem ſuperficie, quamcun ſecuerit ſectionem, in duobus tantùm punctis ipſam interſecabit.
◉Sit, ut pyramis, cuius uertex a: & axis a d ſecetur ſecundum punctum axis e, per‡duas planas ſuperficies, quarum una ſecet æquidiſtanter baſi, ut f g h, alia uerò non æquidiſtanter, ut f g k l. Dico, quòd communis ſectio iſtarum ſuperficierum eſt linea tranſiens pyramidem, orthogonalis ſuper axem, ut eſt linea f e g. Quòd enim illæ ſuperficies ſe interſecent, patet per hoc, quòd aliquæ li page 40 neæ in ipſis productę, ad unum communem terminum copulantur,
a l f e h k g b d c
◉105. Ex aliquo puncto baſis peripheriæ columnæ rotundæ ſemicirculo in ſuperficie cõuexa uel cõcaua columnari circumducto: neceſſe eſt lineam ſemicirculum illum per æqualia diuidentem ad ſuperficiem baſis erect am eſſe.
d a b c
◉Sit, ut ex aliquo puncto peripheriæ baſis colũnæ rotundę, q ſit a, circumducatur ſemicirculus in ſuperficie columnæ concaua uel con uexa, qui ſit b c d, & eius centrum erit punctum a: ſitq́ ita, ut linea a d diuidat illum ſemicirculum per æqualia in puncto d. Dico, quòd linea a d eſt erecta ſuper ſuperficiem baſis columnę. Quoniam enim arcus d b eſt æqualis arcui d c: patet, quòd angulus d a b eſt æqualis angulo d a c per 27 p 3. Eſt igitur linea a d pars unius linearũ longitudinis colũnę. Eſt ergo erecta ſuper baſim per 92 huius. Patet ergo propoſitũ.
◉106. Datæ pyramidirotundæ pyramidem eiuſdem uel diuerſæ al titudinis inſcribere. Ex quo patet inſcriptæ angulum ad baſim, angulo circumſcribentis maiorẽ eſse: & ſi inſcripta pyramis ad aliam baſim priori baſi æquidiſtantem producatur, anguli productæ ad baſim, angulis datæ pyramidis maiores erunt: & quantumcun anguli ad baſim augment antur, tantum anguli ad uerti cem minuuntur.
a x e i b g d h c k f o l n m p
◉Eſto exempli gratia, ut pyramis, cui alia eiuſdem altitudinis debet inſcribi, ſit orthogonia, & ſit a b, a c, a e, a f lineis ſuæ longit udi nis ſignata: & axis eius ſit a d: abſcindatur itaq ſemidiameter baſis, quæ eſt d c, ut libuerit, & ſit abſciſſa in puncto h: producaturq́ linea a h, & habetur triãgulus a d h, cuius latera a h, d h latere a d fixo manente, reuoluantur ad locũ, unde moueri incœperũt, ꝓuenietq́ pyramisa g h i k, cuius axis a d. Et ſic poteſt fieri inſcriptio ad quodcũq punctũ lineæ d c. Et hoc eſt, q ꝓponebatur primũ. Quod ſi diuerſę altitudinis pyramidẽ ad baſim cõmunẽ inſcribere placuerit ſimilem priori datæ: ſignato puncto, ubi uolueris, in linea axis a d, uel extra: tum intra corpus pyramidis, quod ſit x, producantur lineæ à puncto x ad totam peripheriam, ut x b, x c, x e, x f. Et patet propoſitum. Similiter erit faciendum, ſi quis inſcribere uoluerit pyramidem ad baſim minorem baſi pyramidis datæ. Patet autem ex præmiſsis, cum omnes anguli cuiuſcunq pyramidis ad baſim ſint æquales per 89 huius, quoniã ex motu anguli unius trianguli, omnes illi anguli cauſſantur: palàm, quòd quicquid in triangulo cauſſante maiorem pyramidem reſpectu trianguli cauſſantis minorem pyramidem proueniet, in omnibus ſimilibus & æqualibus triangulis maioris pyramidis ad ſimiles triangulos mi noris prouenire neceſſe eſt. Cum ergo in triangulo d h a angulus a h d ſit per 16 p 1 maior angulo a c d trianguli d c a: quoniã eſt extrinſecus: patet, quòd omnes anguli pyramidis a g h i k ad baſim page 41 ſunt maiores omnibus angulis pyramidis a b c e f ad baſim exiſtentibus. Et eodẽ modo poteſt demonſtrari in pyramide inſcripta pyramidi a g h i k. Et hoc eſt ſecundum propoſitũ. Quòd ſi linea lon gitudinis, quæ eſt a h, protrahatur ad punctum m, & axis a d ad punctum n, fiatq́ angulus a n m rectus, & ſecundum eum compleatur pyramis a l m o p ſuper axem a n: patet tertium propoſitũ, quòd anguli productæ pyramidis, qui fiunt ad baſim, erunt maiores angulis ad baſim primæ datæ pyrami dis: quoniam ex 29 p 1 angulus n m a ęqualis eſt angulo d h a, & angulus d h a maior eſt angulo d c a: ergo angulus n m a maior eſt angulo d c a. Omnes ergo anguli ad baſim pyramidis a l m o p angulis ad baſim pyramidis a b c e f ſunt maiores, quilibet ſcilicet ſuo correſpondenti. Eodem autẽ modo demonſtrari poterit, & ſi pyramis inſcripta pyramidi a g h i k, producatur ad baſim dictæ pyramidis priori baſi æquidiſtantem: eſt enim idem modus. Patetq́ ex prædictis ultimum propoſitũ, ſcilicet, quia quantùm anguli ad baſim ampliantur, tantùm anguli ad uerticem eiuſdem pyramidis minuun tur: quilibet enim anguli cuiuslibet trianguli cum ſint ęquales duobus rectis per 32 p 1: angulo ergo recto in omnibus permanente, reliqui duo ualent unum rectum: quod ergo in uno illorum additur, neceſſe eſt, ut in reliquo minuatur. Et hoc eſt totum quod proponebatur.
◉107. Si pyramis rotunda pyramidi rotundæ inſcribatur ſic, ut ambarum eadem baſi exiſtente diuerſi ſint axes: centrũ axis, & uertices ambarũ pyramidum in eadẽ linea cõſiſtere eſt neceſſe.
◉Eſto pyramis data, quæ ſit a b c e f: cuius baſis ſit circulus b c e f: & eius centum d: ſitq́ axis pyraramidis a d: & ſit exempli gratia orthogonia: inſcribaturq́ ei per præcedentem ad eandem baſim py ramis breuioris axis taliter, quòd intra illam cõtineatur. Dico, quòd
a g g e b d c f
◉108. Duarum pyr amidum rotundarũ uel later at arum æqualium baſium & inæqualium alti tudinum, uerticem altioris acutioris anguli eſſe neceſſe eſt.
◉Duarum pyramidum rotundarum uel lateratarum ſit a b c altior, cuius axis a d, & uertex a: & py ramis e f g, cuius uertex f, & axis f h
a k b d c
f e h g
◉109. Si à uerticibus duarũ pyramidum rotundarũ uel later atarũ inæqualium altitudinũ & æqualium baſium, duæ pyramides æqualis inter ſe altitudinis abſcindantur: neceſſe eſt baſim py page 42 ramidis abſciſſæ ab altiori, baſi alterius abſciſſæ minorem eſſe.
◉Duarum pyramidũ rotundarum ambarũ, uel lateratarũ ambarum, ęqualiũ baſium, ſit altior a b c, cuius axis ſit a d, & uertex a: & baſsior pyramis ſit e f g, cuius axis ſit f h, & uertex f: a b ſcindaturq́ a b axe a d linea a k æqualis lineę f l abſciſſæ ab axe f h. Secetur itaq pyramis altior per ſuperficiẽ planã per axem: eritq́ per 90 huius ſectio
a m k n b d c
f o l p p h g
◉110. Si pyramis rotunda ſphæram interſecet, nec eius conica ſuperficies à ſuperficie ſphæræ interſecetur: communis ſectio ſuperficierum ſphæræ & pyramidis erit circumferentia circuli baſis pyramidis.
◉Quoniam enim per 69 huius ſuperficies plana ſecundum circulum ſecat ſphærã, baſisq́ pyramidis ſuperficies plana eſt, quia circulus: palàm, quòd illa baſis ſphæram ſecundum circulum interſecabit: interſecat autem pyramis ſphæræ ſuperficiem ſecundum totam ſuam baſim: quia ſuperficies eius cõuexa conica à ſuperficie ſphæræ non interſecatur, ut patet per hypotheſim. Patet itaq, quòd communis ſectio ſuperficierum dictarum erit circumferentia circuli baſis pyramidis, ſuperficiesq́ illa circumferentia contenta (quæ eſt circulus, qui eſt baſis pyramidis) erit ſuperficies communis: quamuis aliàs corpuſculum (quod eſt pars ſphæræ) reſectum à ſphæra per illam ſuperficiem, ſit corpus utriq dictorum corporum commune.
◉111. Si pyramis ſphæram interſecet ſic, ut circulus baſis pyramidis in ſphæræ ſuperficie circulo maiori ſphæræ æquidiſtet: diametrum ſphæræ ſuper illum circulum maiorem erectã, centrum circuli baſis pyramidis orthogonaliter tranſire neceſſe eſt. Ex quo manifeſtum eſt, diametrum ſphæræ & axem pyramidis coniuncta eſſe lineam unam.
◉Quia enim per præcedentem circulus (qui eſt baſis pyramidis) communis eſt ſphæræ, ſicut pyramidi: tunc per 68 huius patet propoſitum. Quia enim circulus (qui eſt baſis pyramidis) æquidiſtat circulo magno ſphæræ, & ij circuli æquidiſtãtes ſunt ambo in ſuperficie ſphærę: erit diameter ſphæ ræ centrũ circuli baſis pyramidis orthogonaliter tranſiens: tranſit enim orthogonaliter centra amborum illorum circulorum. Et quoniam à termino alicuius lineæ ductæ à centro communis circuli ad circumferentiam, exeunt duæ lineæ orthogonaliter ſuper ipſam inſiſtentes, ſcilicet axis pyramidis, ut patet per 89 huius, & diameter ſphæræ, ut præmiſſum eſt: patet ex 14 p 1, quoniam illę duæ lineæ coniunctæ, ſunt linea una. Diametrum ergo ſphærę & axem pyramidis coniuncta eſſe lineam unam neceſſe eſt. Et hoc eſt quod proponebatur.
◉112. Omnium linearum perpendicularium ſuper peripheriam oxygoniæ ſectionis product a rum trans eius ſuperficiem, unica eſt perpendicularis ſuper ſecti corporis axem: & ipſa eſt minima diametrorum ſectionis.
◉Sicut enim patet per 104 huius, communis ſectio ſuperficiei ipſius ſectionis oxygoniæ & circuli ſecundum idem punctum axem ſecantium, eſt linea orthogonalis ſuper axem ſecti corporis: in alijs page 43 autem omnibus punctis ſectionis perpendiculares ſuper ſectionẽ productæ obliquè incidunt axi: quoniam ſi aliqua ipſarum ipſi axi perpẽdiculariter inciderit: tunc per 4 p 11 axis ſuper ſuperficiem ſectionis perpendicularis erit: quod eſt contra naturam ſectionis. Patet ergo propoſitum.
◉113. In ſectione pyramidali tranſeunte punctum datum ſuperficiei pyramidis rotundæ, à puncto dato perpendicularem in ſuperficie ſectionis ductam ſuper ſuperficiem pyramidis, cum perpendiculari ducta à puncto eiuſdem ſectionis remotiore à uertice pyramidis ſuper lineam in illo puncto ſectionem contingentem, ſub axe pyramidis concurrere eſt neceſſe: dum tamen linea ducta à puncto inferiori cum perpendiculari ducta à puncto ſuperiori ſuper axem pyramidis, angulum contineat acutum. Alhazen 30 n 6.
◉Eſto pyramis, cuius uertex ſit a, & eius axis ſit a c k: ſitq́ in ſuperficie conica huius pyramidis ſignatus punctus e, quem pertranſeat ſectio pyramidalis, quæ ſit e f z, in qua etiam ſit punctus z remotior à puncto a uertice pyramidis, quã ſit punctus e: contineatq́ linea ducta à puncto z ad axem cum perpẽdiculari ducta à puncto e angulum acutum. Dico, quòd ſi ducatur à puncto z linea perpendicularis ſuper lineam in illo puncto z ipſam ſectionem oxygoniam contingentem: & alia perpendicularis ſuper ſuperficiem contingentem pyramidem in puncto e ducatur à puncto e, quòd illæ duæ perpendiculares concurrent ſub axe a c k. Sit enim, ut ſuperficies plana ſecet pyramidem ſuper punctum z æquidiſtanter baſi: & hæc quidem per 100 huius ſecabit eam ſecũdum circulum: ſit ille circulus g b r z, cuius cẽtrum ſit c: communisq́ ſectio huius circuli & ſectionis oxygoniæ ſit diameter ut chorda circuli, qui eſt g b r z per 104 huius: & à pũcto uerticis pyramidis per 101 huius
a e t g o f z h d c p y k b r q
◉114. Ab altero duorum punctorum in ſectione columnari ſignatorum ducta perpẽdiculari ſuper axem columnæ in ipſa ſuperficie ſectionis, & à reliquo puncto ducta linea acutum angulum cum illa perpendiculari ſuper axem columnæ continente: ſi ab eodem puncto reliquo ducatur perpendicularis ſuper ipſam ſectionem: hæc concurret cum priori perpendiculari ſub axe, & ſub puncto concurſus prioris lineæ cum perpendiculari. Alhazen 24 n 6.
◉Sit ſectio columnaris, quæ a b c e: in qua ſignati ſint duo puncti, qui ſint b & e: ſitq́ columnæ, in cuius ſuperficie cadit illa ſectio, axis linea h d k: & ab altero ſignatorum punctorum, ut à puncto b, ducatur in ipſa ſuperficie ſectionis linea b d, perpendiculariter ſuper axem incidens puncto d: & ducatur item in ſuperficie ſectionis à reliquo datorum punctorum, quod eſt e, linea e d acutum angulum continens cũ perpendiculari d b, qui ſit e d b: ſitq́ linea cõtingens ſectionẽ in puncto e, quæ ſit exempli cauſſa, linea l e q. Dico, quòd perpendicularis à puncto e ducta ſuper lineam l e q, concurret cum perpendiculari b d ſub axe h k, & ſub puncto d, qui eſt punctus cõcurſus lineæ e d cum perpendiculari b d. Fiat enim per 102 huius ſuper punctũ ſectionis, quod eſt b, circulus ęquidiſtans baſibus columnæ, qui ſit b t o, cuius centrũ ſit d: & ducatur à puncto e linea longitudinis columnæ per 101 huius, quæ ſit e t: & à puncto d per 11 p 1 ducatur linea d g perpendicularis ſuper lineam b d in ipſa circuli ſuperficie. Palàm ergo, quòd ſuperficies h d g cum per axem tranſeat (qui erectus eſt ſuper circuli ſuperficiem) perpendicularis eſt ſuper eandem circuli ſuperficiem per 18 p 11. Super
n q e t o l g f m d K d h c a s u p z b
e b h a f c l m k d g
◉115. Omnis recta perpẽdicularis ſuper oxygoniam ſectionem, productataliter diuidet ſectionem, ut in unaqua illarum partium unicus tantùm ſit punctus, à quo ducta contingens æquidiſtet ipſi perpendiculari.
◉Eſto ſectio oxygonia, quę a b c d: quã perpẽdicularis e b d ſecet in duas partes, quæ ſint b c d & b a d. Dico quòd in unaquaq illarum partium eſt unicus tantùm punctus, à quo ducta contingens æquidiſtat perpendiculari e b d. Quoniam enim perpẽdicularis e b d diuidit ſectionem, diuidatur eius pars b d cadens intra ſectionem per æqualia per 10 p 1 in puncto f: & ab illo pũcto f erigatur per 11 p 1 per pendicularis ſuper lineam b d: quę producta ad peripheriam ſectionis in punctum c, ſit f c: & à puncto c ducatur perpendicularis ſuper lineam f c, quæ ſit g c h: eritq́ linea g c h contingens ſectionem: quoniam ad utranq partẽ producta non ſecabit illam. Palàm itaq, quoniam linea g c n æquidiſtat perpendiculari ſuper ſectionem, quæ eſt e b d per 28 p 1. Quòd ſi ab alio aliquo puncto partis ſectionis, quæ b c d, ut à puncto k, producatur linea contingens ſectionem, quæ ſit k l: patet, quoniam illa concurret cum linea g c h per 14 huíus: quia ducta linea recta c k à puncto contactus c ad illum alium punctum k: fient anguli c k l & k c g minores duobus rectis, ideo quòd angulus f c g eſt rectus, & linea k l cũ aliqua linea ſecante lineam page 46 b d, continet angulum rectum, ut fortè cum linea k m. Quia itaq anguli c k l & k c g ſunt minores duobus rectis: concurret linea k l cum perpendiculari h c g per 14 huius. Ergo per 2 huius illa linea contingens, quę k l, concurret cum perpendiculari e b d. Similiter quoq in parte ſectionis, quæ eſt b a d, facta deductione, patet propoſitum.
◉116. Omnes oxygoniæ pyramidales ſectiones ampliantur exparte baſis pyramidis: quod nõ accidit in columnis.
◉Hoc quod proponitur, accidit propter corporis pyramidalis acuitatẽ, & propter columnarum æqualitatem. Si enim ſecundum punctum axis pyramidis, cui incidit linea perpendicularis ſuper ſectionem pyramidalem, circumducatur pyramidi circulus per 102 huius, & imaginetur columna, cuius baſis ſit ille circulus: patet, quòd inferior pars pyramidis excedit illam columnam, & columna excedit ſuperiorem partem pyramidis: & ſic inferior pars ſectionis pyramidalis continebit inferiorem partem ſectionis columnaris, & ſuperior pars ſectionis columnaris cõtinebit ſuperiorem ſectionis partem pyramidalis. Partes autem ſectionis columnaris ſunt æquales propter æqualitatem corporis & angulorum ſuper axem per 92 huius. Patet ergo propoſitum.
◉117. Omnis ſuperficiei planæ ſuper axem fixum reuolutæ, donec ad locũ, unde exiuit, redeat, linea mota deſcribit ſuperficiem corporis ſibi ſimilem, cuius ſuperficiei corporis & ſuperficiei planæ ipſum corpus per axem ſecantis, communis ſectio eſt linea ſimilis motæ lineæ illam ſuperficiem cauſſanti.
◉Quod hic proponitur, patet ſatis euidenter in lineis rectis motis: quælibet enim illarum linearum circa axem aliquem mota deſcribit ſuperficiem, cuius omnes lineæ ſunt ſimiles ipſi lineæ motæ cauſſanti motu ſuo illam ſuperficiem. Hoc enim patet in ſuperficie rectangula, quæ uno latere fixo ſuo & alijs tribus motis deſcribit columnam rotundã, cuius ſuperficiei & ſuperficiei planę columnam per axem ſecantis, communis ſectio eſt linea ſimilis lineæ priori motæ. Et hoc idem patet in triangulo moto, qui motu ſuorum duorum laterum, fixo tertio, efficit pyramidem rotundam: &, ut patet per 90 huius, omnis ſuperficiei planæ ſecantis ipſam pyramidem per axem & ſuperficiei conicæ pyramidis, communis ſectio eſt triangulus continens lineas ſimiles prioribus lineis motis & axi. Hoc idem etiã in ſemicirculo moto, cuius diametro fixa deſcribitur ſphæra, & omnis ſuperficiei planæ ſecantis ſphæram per axem, qui eſt diameter, & ſuperficiei ſphæricæ communis ſectio eſt circulus, ut patent hæc omnia ex principijs lib. 11. Quòd ſi linea mota circa axem fixum (qui ſit
b d a c e f g
a b c d e f
a h b z d ‡ g
◉118. Omnis ſuperficies conuexa uel concaua regularis, aut eſt pars ſuperficiei ſphæræ: aut columnæ: aut pyramidis rotundæ.
◉Omnis enim linea regularis, quę uniformis eſt in qualibet ſui parte, aut eſt circulus: aut linea recta. Circulus uerò motu ſuo facit ſphæram: quoniam ſphæra eſt tranſitus circumferentiæ dimidij circuli, ut patet ex principio 11. Linea uerò recta una motu ſuo non poteſt cauſſare niſi pyramidem, cum eſt latus trigoni, uel columnam, cum eſt latus quadranguli: quoniam in omnibus alijs figuris motis, uno latere remanente fixo, eſt angulus cauſſans diuerſitatem formæ in ſuperficie figuræ pro ductæ. Non ergo efficit conuexam ſuperficiem uel concauam regularem. Patet ergo, quòd omnis ſuperficies conuexa uel concaua regularis eſt talis, ut proponitur.
◉119. Lineã datam ſecundũ quamlibet proportionẽ duarum datarũ diuidere. 10 p 6 element.
c d e f a g k h b
◉Sit linea a b data, quæ debeat diuidi ſecundũ proportionem duarum datarum linearum c d & e f. A puncto itaq a datæ lineæ a b ducatur linea indefinitè angulariter coniuncta cum linea a b: & à puncto a incipiendo abſcindatur æqualis lineæ c d per 3 p 1, quę ſit a g, & à puncto g incipiendo abſcindatur linea g h æqualis lineæ e f: & ducatur linea b h: & à puncto g ducatur linea æquidiſtanter lineæ b h per 31 p 1: hęc itaq producta ſecabit lineam a b per 2 huius: ſecet ergo in puncto k. Linea itaq a b indiuiſa propoſita erit diuiſa ſecundum modũ diuiſionis lineæ a h diuiſæ: erit enim per 2 p 6 proportio lineæ a k ad lineam k b, ſicut lineæ a g ad lineam g h. Ergo ſicut lineæ c d ad lineam e f per 7 p 5. Et hoc eſt propoſitum.
◉120. Ducta à puncto dato linea, aliam lineam ſecũdum datam proportionem partium illarum linearum ſecãte: ab eodem puncto inter eaſdem rectas, quæ prius diuiſam ab eiſdem terminis ſeruata denominatione proportionis, ſecundum eandem proportionem ſecet, aliam lineam duci eſt impoßibile.
◉Verbi gratia: ſit, ut linea a b ducta à dato puncto a, ſecet lineam d e in puncto c ſecundum aliquam datam proportionem. Dico, quòd à puncto a non poteſt duci alia linea ad lineam d c, quę ipſam ſecet ſecundum eandem datam proportionem, ita, ut denominatio proportionis, ſeruetur ab eiſdem terminis lineæ d e. Si enim à puncto a lineam aliam duci taliter ſit poſsibile, fiat ſuper punctum d terminum lineæ e d per 23 p 1 angulus maior recto uerſus punctum b terminum lineæ a b: & producatur linea b d, fiatq́ angulus c d b obtuſus: & producatur linea d b in continuum uerſus punctum at
e a c k h b i g d f
◉121. Lineam datam in duobus punctis taliter ſecare, ut ſui totius proportio ad unã ſuarum extremarum partium ſit ſimilis proportioni alterius extremæ partis ad eam partẽ, quæ utraſ interiacet ſectiones. E 10 p 6 element.
◉Eſto data linea a b, quam ſecundum modum propoſitum debemus diuidere. Diuidatur itaq ſecundum proportionem, quam libuerit: & ſit diuiſa in puncto c: & ſit pars eius a c maior quàm pars
a d c b
◉122. Diuiſa linea recta taliter, ut ſuitotius proportio ad unam ſuarum extremarũ partium ſit ſimilis proportioni partis alterius extremæ ad eam ſui partem, quæutraſ interiacet ſectiones: ſi fuerint lineæ ductæ abuno termino datæ lineæ, & à punctis ſectionum æquidiſt antes inter ſe: à terminó reliquo datæ lineæ producatur linea ſecans illas tres æquidiſtantes: erit linea producta ſecundum eandem proportionem diuiſa. Alhazen 10 n 6.
c h z b d g d
◉Sit linea a b diuiſa in punctis g & d taliter, ut lineę a b ad lineam d b ſit proportio, ſicut lineæ a g ad lineam g d: & ab uno termino datę lineæ, qui eſt b, & à punctis ſectionũ g & d per 31 primi ducantur lineæ ad inuicem æquidiſtantes, quæ ſint b c, d h, g z: & ab altero termino datæ lineæ, quę eſt a, producatur linea ſecans illas æquidiſtantes in punctis z, h, c, quæ ſit a z h c. Dico, quòd linea a c ſecundũ hanc proportionem erit diuiſa. Cũ enim linea d h ſit æquidiſtans lineæ g z ex hypotheſi, erit ex 2 p 6 proportio lineæ a z ad lineã z h, ſicut lineæ a g ad lineam g d. Et cum linea b c ſit æquidiſtans lineæ d h, erit per eandem 2 p 6 & 18 p 5 proportio lineæ a b ad lineam b d, ſicut lineæ a c ad lineam c h: ſed ex hypotheſi fuit proportio lineæ a b ad lineam b d, ſicut lineæ a g ad lineam d g. Erit ergo per 11 p 5 proportio lineæ a c ad lineam c h, ſicut lineæ a z ad lineam z h. Linea ergo a c, quæ producitur à puncto a termino lineæ datæ, ſecat ductas lineas æquidiſtantes b c, d h, g z, & ſecatur per illas ſecundum proportionem partium diuiſionis lineæ datæ a b. Et hoc eſt propoſitum.
◉123. Linea in duobus punctis taliter diuiſa, ut ſui totius proportio adunam ſuarum extremarum partium ſimilis ſit proportioni alterius extremæ partis ad eam ſui partem, quæ utraſ interiacet ſectiones: ſi ab uno termino illius lineæ, & à punctis ſectionis ducantur tres lineæ con currentes in punctum unum, & ab alio termino producatur linea ſecans illas tres ductas: erit linea producta ſecundum prædictum modum pro portionaliter diuiſa. Alhazen 8 n 6.
e c q h m z b d g a
◉Eſto linea propoſita a b taliter diuiſa in punctis g & d, ut ſit proportio totius lineæ a b ad lineam b d, ſicut lineæ a g ad lineam g d: & à puncto b, & à punctis ſectionũ g & d ducantur tres lineæ concurrentes in unum punctũ e, quę ſint g e, d e, b e: & à pũcto a ducatur linea, quæ ſit a c, ſecãs illas tres lineas, ſcilicet g e in puncto z, & d e in puncto h, & b e in puncto c. Dico, quòd erit proportio lineæ a c ad lineam c h, ſicut lineæ a z ad lineã z h. Ducatur enim à puncto h linea æquidiſtans lineæ a b per 31 p 1, quę ſit q h. Palàm ergo per 13 huius, quoniã ‡ proportio lineæ a b ad lineam b d, conſtat ex proportionibus lineæ a b ad lineam h q, & lineæ h q ad lineã b d. Sed quoniam linea q h ęquidiſtat lineę a b, erit per 29 p 1 an gulus c q h ęqualis angulo c b a: ſed angulus c b a eſt communis ambobus trigonis a b c & q h c: ergo per 32 p 1 illa trigona ſunt ęquiangula. Ergo per 4 p 6 erit proportio lineę a b ad lineam q h, ſicut lineę a cad lineam c h. Similiter quoq trigona q e h & b e d ſunt ſimilia. Eſt ergo proportio lineę q h ad lineam b d, ſicut lineę h e ad lineam d e. Proportio ergo lineę a b ad lineam b d per 13 huius componi page 49 tur ex proportione lineæ a c ad lineam e h, & lineę h e ad lineam e d. Producatur itaque in directum linea q h ad lineam ge, quã ſecet in puncto m. Proportio itaq lineę a g ad lineam g d per 13 huius cõ ſtat ex proportione lineæ a g ad lineã h m, & lineæ h m ad lineam g d. Sed cũ angulus e m h ſit ęqualis angulo z g d per 29 p 1, erit per 13 & 29 p 1 angulus h m z æqualis angulo z g a: ergo per 15 & 32 p 1 triangulus a g z erit æquiangulus triangulo h z m. Ergo per 4 p 6 erit proportio lineæ a z ad lineam h z, ſicut lineæ a g ad lineam h m: ſed triangulus h e m, ut ſuprà patuit, ſimilis erit triangulo g e d: erit ergo proportio lineæ h m ad lineam d g, ſicut lineę h e ad lineam d e. Ergo proportio lineæ a g ad lineam d g conſtat ex proportione lineę a z ad lineam z h, & lineæ h e ad lineam e d: ſed ex hypotheſi eadem eſt proportio lineæ a b ad lineam b d, quæ lineæ a g ad lineam g d. Proportio igitur lineæ a b ad lineam b d conſtat ex proportione lineæ a z ad lineam z h, & lineæ h e ad lineam e d: conſtabat au tem ex proportione lineæ a c ad lineam c h, & lineæ h e ad lineam e d. Ablata ergo utrinque propor tione lineæ h e ad lineam d e: reſtat, ut ſit eadem proportio lineæ a c ad lineam c h, quæ lineæ a z ad lineam z h. Et hoc eſt propoſitum. Non tamẽ oportet, quòd lineę a b & a c ſint eiuſdem ſpeciei proportionis reſpectu ſuarum partium: quoniam cum ex præmiſsis lineæ a b ad lineam q h ſit proportio, quæ lineæ a c ad lineam c h, & linea q h ſit minor quã linea b d per 4 p 6: palàm per 8 p 5, quoniã minor eſt proportio lineæ a b ad lineam b d quàm ſit lineę a c ad lineam c h. Sunt ergo proportiona les ſecundum generalem ſimilitudinem proportionis. Eadem quoque demonſtratio eſt, quęcunq lineæ ducantur à puncto a, ſecantes illas tres lineas à tribus punctis a, d, g ad quodcunque punctũ productas, ut ſupra e, uel ſub e, uel etiam ad aliam partem lineę a b: ſemper enim linea ducta à puncto a ſecans illas tres lineas, ſecabitur modo dicto. Patet ergo propoſitum.
◉124. Duabus lineis angulariter coniunctis, diuiſiś ſic ambabus, ut cuiuslibet ipſarum proportio adunam ſuarum extremarum partium ſit, ſicut alterius extremæ partis ad illa ſui partem, quæutraſ interiacet ſectiones: ſi producta baſi à punctis diuiſionis unius ducantur lineæ ad puncta diuiſionis alterius, non æquidiſtantes adinuicẽ, ne baſi: neceſſe eſt productas lineas ambas concurrere cum baſi, producta in puncto uno. Alhazen 9 n 6.
◉Sit data linea a b taliter, ut proponitur, diuiſa in punctis d & g ſcilicet, ut ſit proportio totius lineæ a b ad lineam b d, ſicut lineę a g ad lineam g d, a diunctaq́ ſibi angulariter linea a c eodem modo
e n c h z l b d g a
◉125. Linea taliter diuiſa, ut ſui totius ad alteram ſuarum extremarum partiũ ſit proportio, ſicut alterius ſuæ partis extremæ ad eam ſui partem, quæutraſ interiacet ſectiones: ſi à puncto concurſus linearum à termino, & à duobus punctis ſectionis product arum in puncto concurſus æquales angulos cõtinentium, linea ad alium eius terminũ ducatur: neceſſe eſt ipſam ſuper mediam productarum perpendicularem eſſe.
◉Sit linea b k in punctis c & d taliter diuiſa, ut proponitur: ſitq́ proportio lineæ b k ad lineam k d, ſicut lineę b c ad lineam c d: producanturq́ue à punctis b, c, d lineę nõ æquidiſtantes: quę per proxi page 50 mam concurrent in puncto uno: ſit punctus concurſus z: & lineæ productę ſint b z, c z, d z: ſitq́ue an gulus b z c ęqualis angulo c z d: & ducatur linea z k. Dico, quòd angulus c z k eſt rectus. A puncto
z b g c d k h
◉126. Diuiſa linea per inæqualia: poßibile est minoriſüæ parti lineam adiungi, ita, ut illud, quod fit ex ductu totius lineæ diuiſæ cum adiecta in ipſam adiectam, æquale ſit quadrato eius, quæ constat ex minore & adiecta.
◉Sit data linea a b diuiſa per inęqualia in puncto c: ſitq́ linea a c maior quã linea b c. Dico, quòd eſt poſsibile inuenire quandam lineam, quæ adiecta ipſi lineæ b c, id efficiat, ut hoc, quod fit ex ductu lineę compoſitæ ex linea a b, & ex adiecta in ipſam adiectam ſit æquale quadrato lineæ, quæ conſtat ex b c parte minore, & ex adiecta. Aſſumatur enim quædam alia linea æqualis, uel minor linea a b, quæ ſit d e, & quæ eſt proportio lineæ a c ad lineam b c, eadem ſit proportio lineæ d e ad quandam
e d f
g h a c b i
◉127. Propoſitis duabus lineis: poßibile eſt uni ipſarum lineam aliam adiungere, ita, ut illud, quodfit ex ductu totius lineæ cum adiunctain adiunctam, æquale ſit quadrato reliquæ datarũ. E 36 p 3 element.
◉Verbi gratia, proponantur duæ lineæ q e & a g. Dico, quòd poſsibile eſt uni ipſarum, ut lineę q e,
h a g f
a g q e m q e z
q a a e g b e g q
◉128. Sumpta circuli diametro, & ſumpto in circumferentia puncto æqualiter diſtante à terminis diametri: poßibile eſt ab eodem puncto ad diametrũ eductã extra circulum, ducere lineam rectam, quæ à circumferentia cir culi extra circulum uſ ad concurſum cum diametro, ſit datæ lineæ æqualis.
d ‡ q g h e a z b
◉Eſto data linea q e: ſitq́ g b diameter dati circuli, qui ſit a b g: & ſit a punctus datus in circuli circũferentia æqualiter diſtans ab extremis terminis diametri, qui ſunt g & b. Dico, quòd poſsibile eſt ab a pũcto peripheriæ circuli duci lineã uſq ad eductã diametrũ g b, quę ſit ęqualis datę lineæ q e. Ducantur. n. duæ lineæ a b & a g: illæ ergo neceſſariò erunt æquales ex hypotheſi, quoniã punctus a ęqualiter diſtat à terminis diametri g & b: & adiũgatur lineæ q e linea talis, ut illud, q fit ex ductu totius lineę cũ adiuncta in adiunctã, æquale ſit quadrato lineæ a g per pręcedentẽ proximã: & ſit adiũcta e z. Cũ ergo id, quod fit ex ductu q z in e z ſit æquale ei, q fit ex ductu lineę a g in ſeipſam: erit linea q z maior linea a g, & linea e z minor illa. Si enim linea e z fuerit maior, uel ęqualis lineę a g, tũc eſt impoſsibile, utid, q fit ex ductu lineę q z in lineã e z, ſit ęquale quadrato lineę a g: quoniã linea q z eſt maior linea e z, ut totũ parte. Si aũt linea e z ſit minor linea a g, palã, quoniã linea q z eſt maior linea a g: ꝓducatur ergo linea a g, donec fiat ęqualis lineę e q per 3 p 1: & ſit a g t. Poſito ergo pede circini ſuք pũctũ a, fiat circulus ſecundũ quantitatẽ lineæ a g t, qui circulus ſecabit diametrũ b g eductam: ſecet ergo page 52 ipſam in puncto d: & ducatur linea a d, quæ neceſſariò ſecabit circulũ: quoniã concurrit cũ diametro: ſi enim non ſecet circulum, cõtingens erit & æquidiſtans diametro g b, nunquã cõcurrens cum eadem: quia ex hypotheſi linea a g & a b ſunt æquales, & punctum a ęqualiter diſtat ab utriſq termi nis diametri, ſcilicet b & g. Secet ergo linea d a circulum a g b in puncto h: & ducatur linea g h. Palã ergo, quòd cum ſuperficies a b g h ſit quadrangulum intra circulũ deſcriptum, quòd duo eius angu li oppoſiti, ſcilicet a b g & a h g ualent duos rectos per 22 p 3: ſed a g b angulus æqualis eſt angulo a b g per 5 p 1: angulus ergo a g b cũ angulo a h g ualet duos rectos. Cũ itaq ք 13 p 1 angulus d g a cũ angulo a g b ualeat duos rectos: palã, quia angulus a h g erit ęqualis angulo d g a: & angulus h a g cõmu nis eſt totali triangulo a d g, & partiali trigono, qui eſt h a g: reſtat ergo per 32 p 1, ut angulus h d g ſit ęqualis angulo h g a, & totalis triangulus d g a ęquiãgulus triangulo g h a. Ergo per 4 p 6 latera ipſorũ æquos angulos reſpicientia ſunt proportionalia. Eſt ergo proportio lateris d a ad latus a g, ficut lateris a g ad latus a h. Illud ergo q fit ex ductu lineę d a in lineã a h, eſt ęquale quadrato lineę a g ք 17 p 6: ſed linea d a eſt ęqualis lineæ a t per definitionem circuli. Ergo linea d a eſt ęqualis lineę q z, quoniã linea t a ex pręmiſsis eſt ęqualis lineę q z. Quia uerò illud, quod fit ex ductu lineę d a in lineã h a eſt ęquale quadrato lineę a g, quod ex pręmiſsis eſt ęquale ei, quod fit ex ductu lineę q z in lineã e z: patet, q id, q fit ex ductu lineę a d in lineã h a, eſt ęquale ei, quod fit ex ductu lineę q z in lineã e z: & linea d a eſt ęquális lineę q z: relin quitur ergo, ut linea a h ſit æqualis lineę e z. Erit ergo linea d h æqualis ipſi lineę q e, quę eſt data linea: eſt autem à dato in peripheria circuli puncto a ad cõcurſum diametri b g ſic producta. Patet ergo propoſitum.
◉129. Inter duas rectas angulariter cõiunctas à dato puncto rectãducere, cuius una partium interiacens unã cõiunctarũ, & datũ punctũ, ſit cuicun datæ lineæ, & inſuper reliquæ ſuæ par ti, datũ punctũ & alterã coniunctarum interiacenti æqualis. 4 theor. 2 conicorũ Apollonij.
◉Exẽpli cauſa, ſit, ut duę lineę rectę in puncto uno angulariter coniungantur: quę ſint f k, & t k, cõ
k f t ſ c m o
◉130. Sumpta circuli diametro, & ſumpto in circũfererẽtia puncto inæqualiter diſtante à terminis diametri: poßibile eſt à ſumpto puncto ad eductã diametrũ lineã ducere, q̃, uel cuius pars interiacẽs քipheriã et diametrũ ſit datæ lineæ æqualis. Alha. 30 n 5.
q d n g e a b
◉Diſponantur omnia, ut in 128 huius, niſi quòd pũctus datus in circumferentia circuli, qui ſit a, inęqualiter diſtet à terminis diametri, ꝗ ſint g & b: eruntq́ lineę a b & a g inęquales: ideo quòd punctũ a inæqualiter eſt diſtans à punctis g & b. Protrahatur ergo à pũcto g linea ęquidiſtans lineę a b per 31 p 1, quę ſit g n, & ſumatur linea quęcunq, utpote z t, & fiat ſuper punctum eius z angulus æqualis angulo a g d per 23 p 1, qui ſit angulus t z f, ducta linea z f: & ducatur à puncto t linea ęquidiſtans lineę z f, ut prius, quę ſit t m: & ex angulo t z f, ſecetur angulus ęqualis angulo d g n ք 27 huius, qui ſit t z m, ducta linea z m, quę ք z huius neceſſariò cõcurret cũ linea t m, cũ ſit ducta inter ęquidiſtantes: ſit ergo punctus concurſus m: reſtat ergo ut angulus m z f ſit ęqualis angulo a g n. A pũcto itaq t ducatur linea ęquidiſtãs lineę z m, quę ſit t o hęc quoq neceſſariò cõcurret cũ linea f z ք 2 huius: ſit ergo earum cõcurſus in puncto k. Sumatur quoq ք 3 huius linea, cuius proportio ad lineã z t, ſit ſicut diameter g b ad lineã q e lineã datã: & hęc ſit linea i. Deinde à pũcto m dato inter duas lineas k f & k o du catur per pręmiſſam linea, quę ſit l c m o ſecans lineã l k in pũcto l, & lineã k o in pũcto o, ita, ut eius pars c m ſit ęqualis datæ lineę i, & eius pars l c ſit ęqualis lineę m o: & à puncto t ducatur linea t f ęquidiſtãs lineę l o per 31 p 1: hęc quoq per 29 huius ſecabitur à linea z m: ſit ergo punctus ſectionis y. Fiat ergo ſupra punctum a terminũ lineę g a (punctũ ſcilicet, qui eſt in circumferẽtia circuli) angulus d a g page 53 æqualis angulo z f t per lineam a n d. Palàm autem, quòd hęc linea concurret cum producta diametro g d. Cũ enim angulus d a g ſit ęqualis angulo z f t, & angulus a g n æqualis angulo f z m, & angu
k t o z u y m f c l i
q d n e g h a b
d q n g a e b h
◉131. Inter duas rectas ſe ſecantes ex unaparte à puncto dato hyperbolẽ, illas lineas nõ cõtingẽ tem ducere, ex alia parte cõmunis puncti illarũ linearũ hyperbolẽ priori oppoſit ã deſignare. Ex quo patet, quòd cũ fuerint duæ ſectiones oppoſitæ inter duas lineas, et producatur linea minima ab una ſectione ad aliã: erit pars illius lineæ interiacens unã ſectionũ, & reliquãlineam æqualis ſuæ partialiam ſectionem, & reliquam lineam interiacenti. 4. 8 th. 2 conicorum Apollonij.
◉Quod hic proponitur, demonſtratum eſt ab Apollonio in libro ſuo de conicis elementis: dicun
n u l c u x g t c m f q t k p h p z
◉132. In uertice alterius conicarum ſectionum poſito pede circini immobili, ſecundum quantitatem lineæ breuißimæ inter illas ſectiones ductæ, deſcriptus circulus ſectionem reliquam continget: ſecundum uerò maiorem, in duobus tantùm punctis reliquam ſecabit.
◉Quod hic proponitur, facile eſt, & ſola indiget declaratione. Sint ut enim in præcedenti propoſi tione duæ ſectiones conicæ oppoſitæ adinuicẽ, quę ſint t p & c u, inter quas linea minima uertices, ſcilicet ambarum ſectionum continuans, ſit linea t c: & poſito in altero punctorum tuel c pede circini, utpote in puncto t, deſcribatur circulus ſecundum quantitatem diametri t c. Hic ergo circulus, quia ſectionem c u non attingit niſi in puncto c, & omnes alię lineæ ducibiles interipſas ſectiones, ſunt maiores quã linea t c: ſunt ergo maiores ſemidiametro circuli: ſecabuntur ergo oẽs per circulũ, nec attinget circulus alicubi ſectionem niſi in puncto c. Patet ergo primũ propoſitorũ. Q ſi linea t c ſemidiameter circuli ſit maior linearũ minima, inter oppoſitas ſectiões ꝓductarũ, 55 ut eſt t c: patet, quoniã illa minima linea intra ſuperficiem ſectionis producetur ad peripheriam cir culi, ut in punctum m: aliqua ergo ſuperficies cõmunis erit circulo & ſectioni: circulus ergo & ſectio ſe ſecabunt. Hęc itaq ſectio nõ erit niſi in duobus tantũ punctis g & k: quod per modum 10 p 3 conuinci poteſt. Patet ergo propoſitum.
◉133. A pũcto dato in circuli circũferẽtia extra diametrũ: poßibile eſt ducere lineãք diametrũ ad circũferentiã, ita, ut pars eius interiacẽs diametrũ & reliquãpartẽ circũferẽtiæ, ſit æqualis lineæ datæ eidẽ circulo inſcriptibili præmiſſo modo: ſed harum linearum æqualium ab eodẽ pun cto dato in eodem circulo producibiles ſunt tantùm duæ. Alhazen 34 n 5.
◉Eſto circulus a b g, cuius diameter ſit b g: & punctus datus in ſui circũferentia ſita: & ſit h z linea data minor diametro b g, pręmiſſo modo poſsibilis inſcribi circulo. Dico, quòd â pũcto a poſsibile eſt ducere lineã tranſeuntẽ per diametrũ b g, cuius pars interiacens diametrũ b g & circũferentiam ſit ęqualis lineę datę, quę h z. Ducantur enim in circulo lineę b a & a g: & ſuper punctũ h lineę datę h z fiat angulus ęqualis angulo a g b: qui ſit m h z, ducta linea m h, & ſuper idẽ punctũ h fiat angulus æqualis angulo a b g, qui ſit l h z, ducta linea h l: & â puncto z ducatur linea æquidiſtans lineę h m, quę ſit z n: quę quidẽ ſecabit lineã h l: ſit, ut ſecet ipſam in puncto x: & à pũcto z iterũ ducatur alia li nea æquidiſtans lineę h l, quę ſit z t, ſecans lineã h m in puncto t: ſecabit autem per 2 huius: & à pun cto t ducatur ſectio conica, quæ ſit t p, ſicut præmiſſum eſt in 131 huius. Hæc itaq ſectio non contin git aliquam linearũ z n & h l, inter quas ipſa iacet. Similiter fiat ſectio alia conica, iſti oppoſita, inter
a g e b d
h n t f x q c u p m z f
◉134. Dato trigono orthogonio, & dato puncto in uno ſuorum laterum angulum rectum continentium: poßibile est ducere à puncto illo ad aliud laterum continentium angulum rectum lineam ſecantem baſim it a, quòd pars ductæ lineæ interiacens punctum ſectionis, & latus, in quo non est punctus datus, ſe habeat ad partem baſis, quæ est à ſectione ad latus, in quo eſt pun ctus datus, ſicut data linea ad datam lineam. Alhazen 35 n 5.
◉Eſto a b g triangulus datus, cuius angulus a b g ſit rectus: & in latere illius b g ſit pũctus datus, qui ſit d, extra triangulum aut intra: ſintq́ datę lineę duę e & z. Dico, quòd à puncto d poſsibile eſt ducere lineam ſecantem baſim a g, & concurrentem cum latere a b, ita, quòd pars lineæ ſecãtis in
q ſ a e z a h t d m c b d g n
l d b q a a e z h d l g c e z h ‡ t g c b q a d m n a m n d
◉135. Datis duobus punctis, uno in circulo, alio extra circulum, uelutro extra circulum: poſ ſibile eſt inuenire punctum in circumferentia dati circuli, ita, ut angulum contentum à lineis à prædictis punctis ad punctum inuentum ductis diuidat per æqualia, linea in illo puncto circulum contingens. Alhazen 36 n 5.
◉Sunto duo pũcti dati, qui e & d, quorũ primò unus, ꝗ ſit e, ſit in circulo, & reliquus extra illũ: & ſit datus circulus, cuius centrũ ſit g. Dico, quòd poſsibile eſt in peripheria circuli g inuenire pũctũ, in quo linea cõtingens circulũ ducta, ſecet angulũ cõtentũ à lineis à pũctis d & e ad illũ punctũ ductis per æqualia. Ducatur enim à pũcto e ad cẽtrũ g linea e g: & ꝓducatur uſq ad circumferentiã, & ſit e g s: deinde ducatur linea d g: eritq́ ex præmiſsis linea e g minor linea d g. Aſſumatur quoq linea m i, quę in puncto c taliter diuidatur, ut ꝓportio lineæ i c ad lineã c m ſit, ſicut lineę d g ad lineã g e ք 119 huius: diuidaturq́ linea m i ք æqualia in puncto n: à quo ſuper lineã m i ducatur perpẽdicularis ք 11 p 1, q̃ ſit n o: & ſuper punctũ m ք 23 p 1 fiat angulus ęqualis medietati anguli d g s di uiſi per 9 p 1 ք æqualia: ducaturq́ linea m o. Palàm aũt, quòd angulus i m o erit minor recto, quoniã angulus d g s eſt minor duob. rectis: ſed angulus o n m eſt rectus: igitur per 14 huius linea m o concurret cum linea n o: ſit autem punctus concurſus o: à puncto uerò c ducatur linea ad triangulum m n o, quę ſit c k f, ita, ut proportio lineę k f ad lineã f m ſit, ſicut proportio lineæ e g ad lineam g s: quod fieri poteſt per pręcedentẽ. Ducatur quoq linea m k: & ſuper punctũ g terminũ lineę e g ք 23 p 1 fiat angulus ęqualis angulo m f k, ք lineã uſq ad circumferentiã productã: q̃ ſit a g: & ſit angulus a g e: & ducantur duælineæ a g & a d. Dico, quòd a eſt quęſitus punctus. Ducatur enim linea
d a h l z s u g e t q
d a u m f t h z q c g s
◉136. Dato circulo & in eo diametro, punctó extra circulum: poßibile eſt à dato pũcto ad dia metrum ducere lineam, ſecantem circulum ſic, quòd pars ductæ lineæ interiacens circumferen tiam & diametrum, ſit æqualis parti diametri interiacenti ipſam & centrũ. Alhazen 37 n 5.
◉Eſto datus circulus, cuius centrum ſit g: & in eo data diameter ſit x g b: ſit quoq punctus e punctus extra circulum. Dico, quòd poſsibile eſt duci à puncto e ad diametrum x g b lineam ſecantem circulum ſecundum prædictum modum. Ducatur enim à puncto e perpendicularis ſuper diametrum x g b per 12 p 1, quæ ſit e c: & ſit exempli cauſſa, ut cadat illa perpendicularis ſuper ſemidiametrum b g, & ducatur linea e g: & aſſumatur linea q t æqualis lineę e c: & fiat per 33 p 3 ſuper lineam q t portio circuli talis, ut quilibet angulus cadens in hanc portionem, ſit æqualis angulo e g b: & compleatur circulus: & à medio puncto l, lineę q t, quod ſit ſuper ipſam q t ducatur perpendicularis per 10 & 11 p 1, & ducatur ex utraq parte uſq ád circumferentiam circuli: erit ergo ducta perpendicula ris diameter circuli illius per 1 p 3: & à puncto q ducatur linea ad hanc diametrum, ſecans ipſam in puncto f: & producatur uſq ad p punctum circumferentiæ, ita, ut eius pars, quę f p, ſit æqualis medietati lineę g b ſemidiametro dati circuli: quod fiet per 133 huius: & ducantur lineę p t & t f: & duca tur à puncto p linea p u ęquidiſtans diametro, concurrens cum linea t f in puncto u (concurret autem per 2 huius) & à puncto u ducatur linea æquidiſtans lineę q t, quę ſit u o, ſecans diametrum fl in puncto m, & lineam p q in puncto o: & à puncto t ducatur perpendicularis ſuper lineam p q per 12 p 1, quę ſit t n: & à puncto t ducatur linea æquidiſtãs lineę p q per 31 p 1, quę ſit t s: & à puncto u ducatur perpendicularis ſuper lineam p q, quę ſit u h. Dein de ex angulo b g e ſecetur angulus æqualis angulo q p u per 27 huius, qui ſit b g d, ducta linea g d ad peripheriã circuli: & à puncto e ducatur li
p n f o m u q l c
k b d z e i c g x
◉137. Dato trigono orthogonio, dató aliquo puncto in maiore ſuorum laterum rectum angulum continentium: poßibile eſt à dato puncto ducere lineam ad baſim ex alia ſui parte cum reliquo latere concurrentem, quæ ſe habeat ad inferiorem partem abſciſſam baſis, ſicut linea data ad lineam datam. Alhazen 38 n 5.
◉Sint datę duę lineę, z minor & e maior: & ſit datum trigonum orthogonium a b g, cuius angulus a b g ſit rectus, contentus à lineis g b & b a, & dato exempli cauſſa in g b latere maiore illius trigoni puncto d. Dico, quòd poſsibile eſt à puncto d ad baſim g a ducere lineam ſecantẽ baſim a g in puncto q, & ex alia ſui parte cum linea a b concurrentem in puncto t, ſic ut ipſa totalis linea t q habeat
a a n m e z h q l b d g d t c