(14)AB. Recta SO, quae in partem alteru-tram magis inclinatur, ad lineam AB ob-liqua dicitur.56. COROL. I. Perpendicularis COfacit angulos AOC & BOC aequales(25) adeóque rectos (41)57. COROL. II. Perpendicularis nonest, quae cum altera angulum efficit obli-quum (41)58. COROL. III. Recta linea alteriperpendicularis est, si cum illa faciat duosrectos angulos, imò si unum rectum (42)59. COROL. IV. Si linea una ad al-teram perpendicularis est; etiam haec adillam perpendicularis erit.60. THEOR. Supra rectam AB expuncto quovis una tantùm perpendicularisduci potest.DEMONST. I. Ex puncto C extra re-ctam dato ducta ſit perpendicularis CO:dico quamlibet aliam CV esse obliquam.Nam utrâque in D & F producta, fiatDO= CO & ducatur recta DV. Quo-niam COV rectus est (570) etiam DOVrectus erit (42) unde COV=DOV(44) igitur cum DO=CO, & VO-VO; erit angulus CVO=DVO(36)Jam si CV sit perpendicuiaris; erit CVOrectus (57) igitur & DVO rectus erit: &AVF pariter rectus (54) itaque AVFDVO=180. gr., proinde AVF.DVO†DVF>180 gr., quod cùm re-pugnet