15396CHRISTIANI HUGENII
culus genitor A H D, cui occurrat B H, baſi parallela, in
11De linea-
RUM CUR-
VARUM
EVOLUTIO-
NE. H, & jungatur H A. Quia ergo B K tangit cycloidem in B,
conſtat eam parallelam eſſe rectæ H A . Itaque A H B K parallelogrammum eſt, ac proinde A K æqualis H B, hoc
22Propoſ. 15.
partis 2. eſt, arcui A H. Sit porro jam deſcriptus circulus K 33Propoſ. 14.
partis 2. genitori circulo, hoc eſt ipſi A H D, æqualis, qui tangat
baſin A G in K, rectam vero B K productam ſecet in pun-
cto E. Quia ergo ipſi A H parallela eſt B K E, ac proin-
de angulus E K A æqualis K A H, manifeſtum eſt B K
productam abſcindere à circulo K M arcum æqualem ei
quem à circulo A H D abſcindit recta A H. Itaque arcus
K E æqualis eſt arcui A H, hoc eſt rectæ H B, hoc eſt
rectæ K A. Hinc vero ſequitur, ex cycloidis proprietate,
cum circulus genitor M K tangebat regulam in K, punctum
deſcribens fuiſſe in E. Itaque recta K E occurrit cycloidi in
E ad angulos rectos . Eſt autem K E ipſa B K producta. 44Propoſ. 15.
partis 2. Ergo patet productam B K occurrere cycloidiad angulos re-
ctos. quod erat demonſtrandum.
11De linea-
RUM CUR-
VARUM
EVOLUTIO-
NE. H, & jungatur H A. Quia ergo B K tangit cycloidem in B,
conſtat eam parallelam eſſe rectæ H A . Itaque A H B K parallelogrammum eſt, ac proinde A K æqualis H B, hoc
22Propoſ. 15.
partis 2. eſt, arcui A H. Sit porro jam deſcriptus circulus K 33Propoſ. 14.
partis 2. genitori circulo, hoc eſt ipſi A H D, æqualis, qui tangat
baſin A G in K, rectam vero B K productam ſecet in pun-
cto E. Quia ergo ipſi A H parallela eſt B K E, ac proin-
de angulus E K A æqualis K A H, manifeſtum eſt B K
productam abſcindere à circulo K M arcum æqualem ei
quem à circulo A H D abſcindit recta A H. Itaque arcus
K E æqualis eſt arcui A H, hoc eſt rectæ H B, hoc eſt
rectæ K A. Hinc vero ſequitur, ex cycloidis proprietate,
cum circulus genitor M K tangebat regulam in K, punctum
deſcribens fuiſſe in E. Itaque recta K E occurrit cycloidi in
E ad angulos rectos . Eſt autem K E ipſa B K producta. 44Propoſ. 15.
partis 2. Ergo patet productam B K occurrere cycloidiad angulos re-
ctos. quod erat demonſtrandum.
SEmicycloidis evolutione, à vertice cœpta, alia
ſemicyclois deſcribitur evolutæ æqualis & ſimi-
lis, cujus baſis eſt in ea recta quæ cycloidem evolu-
tam in vertice contingit.
ſemicyclois deſcribitur evolutæ æqualis & ſimi-
lis, cujus baſis eſt in ea recta quæ cycloidem evolu-
tam in vertice contingit.
Sit ſemicyclois A B C, cui ſuperimpoſita ſit alia ſimilis
55TAB. XVI.
Fig. 1. A E F, quemadmodum in propoſitione præcedenti. Dico,
ſi linea flexilis, circa ſemicycloidem A B C applicata, evol-
vatur, incipiendo ab A, eam deſcribere extremitate ſua i-
pſam ſemicycloidem A E F. Quia enim ex puncto A egredi-
untur ſemicycloides A B C, A E F, in unam partem in-
flexæ, & ambæ in eandem cavæ, ac præterea ita comparatæ,
ut omnes tangentes ſemicycloidis A B C occurrant ſemicy-
cloidi A E F ad angulos rectos, ſequitur hanc evolutione
illius, à termino A incepta, deſcribi . quod erat 66Propoſ. 4.
huj.ſtrandum.
55TAB. XVI.
Fig. 1. A E F, quemadmodum in propoſitione præcedenti. Dico,
ſi linea flexilis, circa ſemicycloidem A B C applicata, evol-
vatur, incipiendo ab A, eam deſcribere extremitate ſua i-
pſam ſemicycloidem A E F. Quia enim ex puncto A egredi-
untur ſemicycloides A B C, A E F, in unam partem in-
flexæ, & ambæ in eandem cavæ, ac præterea ita comparatæ,
ut omnes tangentes ſemicycloidis A B C occurrant ſemicy-
cloidi A E F ad angulos rectos, ſequitur hanc evolutione
illius, à termino A incepta, deſcribi . quod erat 66Propoſ. 4.
huj.ſtrandum.