(30)angulus LAB=ALB (116) sed ALBSAOB (113) ergo etiam LAB » AOB,(22) à fortiore igitur LAB+LAOAOB, id est OAB=AOB. q. e. d.126. COROL. I. Vicissim illud trian-guli latus erit majus, quod majori oppo-nitur angulo.127. COROL. II. In quovis igitur tri-angulo aequalia latera aequalibus oppo-nuntur angulis, & vice versa.128. COROL. III. Triangulum, quodduos habet aequales angulos, aequicru-rum est: quod tres, aequilaterum.129. AxIOMA. Quod majus est ma-jore, etiam majus est minore.130. THEOR. Si ab extremis pun-ctis unius lateris ducantur rectae AC &BC intra triangulum concurrentes; eritI. reliquorum laterum summa AO +OBmajor, quàm illarum summa AC+CB.II. Angulus verò ACB=AOB.DEMONST. AC in L productâ eritCL+LIB>CB (114) ergo additâ utrim-que AC, fiet AL+LIB>CB+AC.Rursus AO+OL »AL (114) ergo ad-ditâ utrimque LB, fiet AO†OB#AL†LIB. Igitur à fortiore AO†CB⸗CB† AC (129) q. c. 1. Deinde angulusACL »ALB, & ALB » AOB (113)igitur ACB=AOB (129) q. c. 2.131. PROBL. Metiri distantiam BO,si ad solum punctum O liceat accedere.Solutio