146 dere, ſicq́;
binos angulos formare, angulũ ſcilicet CDA,
9[Figure 9] &
angulum ADE:
qui quidem bini anguli duobus re-
ctis ſunt æquales, ex decimatertia primi Euclidis pro-
poſitione. Quilibet autem trianguli æquilateri angu-
lus æqualis eſt duabus anguli recti tertiis, quod appa-
ret ex eo, quòd cujuſlibet trianguli tres anguli duobus
rectis ſunt æquales, ex trigeſima ſecunda primi Eucli-
dis. Præterea, ex eadem propoſitione, duo anguli DEA
& EAD æquales ſunt duabus tertiis anguli recti: & , per
primam partem quintæ propoſitionis primi Euclidis,
duo anguli DEA & EAD ſunt æquales: vnuſquiſq; er-
go eorum æqualis tertiæ parti anguli recti: ſicq́ angu-
lus EAC tribus tertiis anguli recti æquipollebit. Ergo
angulus rectus: quod demonſtrandum ſuſceperamus.
ctis ſunt æquales, ex decimatertia primi Euclidis pro-
poſitione. Quilibet autem trianguli æquilateri angu-
lus æqualis eſt duabus anguli recti tertiis, quod appa-
ret ex eo, quòd cujuſlibet trianguli tres anguli duobus
rectis ſunt æquales, ex trigeſima ſecunda primi Eucli-
dis. Præterea, ex eadem propoſitione, duo anguli DEA
& EAD æquales ſunt duabus tertiis anguli recti: & , per
primam partem quintæ propoſitionis primi Euclidis,
duo anguli DEA & EAD ſunt æquales: vnuſquiſq; er-
go eorum æqualis tertiæ parti anguli recti: ſicq́ angu-
lus EAC tribus tertiis anguli recti æquipollebit. Ergo
angulus rectus: quod demonſtrandum ſuſceperamus.
OPERATIO III.
Data linea recta non terminata, &
extra
eam puncto dato, ab eo puncto perpendicu-
larem ducere in dictam lineam.
eam puncto dato, ab eo puncto perpendicu-
larem ducere in dictam lineam.