116
(EUVRES DE FERMAT. — I'* PARTIE.
et
ut DN ad NS, ita fiat NO ad NV.
Ex constructione patet rectam NO minorem esse rectà NR, quia recta DN
est minor radio MN; patet etiam rectam NV minorem esse rectà NO,
quum recta NS sit minor rectà ND.
His positis, quadratum recette MR zequatur quadrato radii MN, qua-
drato recte NR et reetangulo sub DN in NR bis, ex Euclide; sed, quum
sit, ex constructione,
ut MN ad DN, ita NR ad NO,
ergo rectangulum sub MN in NO sequatur rectangulo sub DN in NR,
ideoque rectangulum sub MN in NO bis zequatur rectangulo sub DN
in NR bis : quadratum igitur rectzee MR :quatur quadratis MN et NR et
rectangulo sub MN in NO bis.
Quadratum autem reete NR est majus quadrato recte NO, quum
recta NR sit major rectà NO : ergo quadratum rect: MR est majus qua-
dratis rectarum MN, NO et rectangulo sub MN in NO bis. At hzec duo
quadrata, MN, NO, una eum rectangulo sub MN in NO bis, sunt :equalia
quadrato quod fit ab MN, NO tanquam ab una recta : ergo recta MR est
major summáà duarum rectarum MN et NO.
Quum autem, ex constructione, sit
ut DN ad NS, ita MN ad NI et ita NO ad NV,
ergo erit
b
ut DN ad NS,
ita summa rectarum MN, NO ad summam rectarum IN et NV.
Est autem etiam
ut DN ad NS, ita MR ad RP:
ergo
ut summa rectarum MN, NO ad summam rectarum IN, NV,
ita recta MR ad RP.
Est autem recta MR major summáà rectarum MN, NO : ergo et recta PR
est major summà rectarum IN, NV.