OfUSCULA 
grefTu, MHF incidentise in egreffa , MHN aequalis Q_HL 
angulo refracto in egrefla , GNL totalis refractio, nimirum 
deviatio a priori itinere . 
145. Ponantur anguii MFN = ?/, MFH = a*, MHF 
MHN — 0, GNL=::r, ACBrrc: habebuntur fequen- 
tia lemmata , quorum formuias proponemus primo , tum de- 
monftrabimus . 
X -4- y — c 
u z -^z c r 
m lin. X — fin. u ^ 
m fin.^ — fin, z 
A F E -f- B H L i3o* — c — f 
145. Patet primum ; quia in quadrilineo MFCH ob an= 
gulos ad H , F reclos angulus C erit complementum ad duos 
reftos anguli M , cujus itidem erunt eiufmodi complementum 
bini anguli MFH, MHF trianguli MFH; adeoque hi duo 
fimul debent sequari illi uni . 
147. Patet fecundum ; quia bini anguli MFH, MHF 
limul , five X -\- y per formulam i fuiit — c ■> & alii bini 
NFH, NHF fimji aequantur externo GNL — adeoque 
toti M F N , M H N , five u z ~ c -\- r . 
14H. Patet tertium , & quartum , quia efl: fin. MFN — 
fin. u ad fin, M F H m fi;i. x ^ & fin. M H N — fin. z ad fin. 
MHF— fin. y, ut m ad i; cum priores dao fint angalus 
incidenti^ , 'Sc refra(5tus la ingrefTu , pofteriores refraclus , & 
incidentias in egrefili. Quare debet efie m fin. x fin. , & 
m fin, y ~ fin. 2" . 
149. Patet quintum ; quia anguli AFE, BFH funt com- 
plementa angulorum EFO, LHQ_, five MFN, MHN, ni- 
mirum u z ^ quorum fumma per fbrmulam 2 el1: c 4- ;• » 
adeoque ipfi funt — 180'^-— c — r* 
150. E fuperioribus formulis ficile deducuntur plura co- 
rollaria , & plura problemata fulvi polTunt eorum ope; fed 
hic perfequemur alia nonnulla ufui futura , qux pertinent ad 
eafdem relationes viae radii , qu^e hic fubjiciam . 
151. Si (^Fig. 14.} alter radius c? F ingrediatur in angulo 
AF^ c-equali angulo BHL, in quo alter EF egreditur ; egre* 
dietur ille in angulo B/;/ a:quali angulo AFE, in quo hic 
ingreditur . 
Nam radius regrefTus per LH deberet abire eadcm 
via 
