178
(GEUVRES DE FERMAT. — F* PARTIE.
Quadratum MR quatur quadratis MN, NR mulctatis rectan-
gulo DNR bis sive, ex superiori ratiocinio, rectangulo MNO bis. Quum
autem quadratum NR sit majus quadrato NO, ergo quadratum MR
erit majus quadratis MN, NO muletatis rectangulo MNO bis; sed qua-
drata MN, NO, muletata rectangulo MNO bis, squantur quadrato
Fig. rr0.
recte MO : ergo quadratum rectze MR quadrato rectze MO majus erit,
ideoque recta MR erit etiam major rectà MO.
Quum autem sit, ex constructione,
ut DN ad NS, ità MNad IN et ita NO ad NV,
ergo
ut MN ad IN, erit NO ad NV,
et, vicissim,
ut MN ad NO, ita erit NI ad NV
et, dividendo,
ut MO ad ON, ita IV ad VN,
et, vicissim,
ut MO ad IV, ita ON ad NV, sive DN ad NS, sive MR ad RP.
Probatum est autem MR ipsà MO esse majorem : ergo PR rectà IV
major erit. Superest ergo probandum, ut ex omni parte constet propo-
situm, rectam RH esse majorem summà duarum rectarum HN et NV;
quod ex przdictis est facillimum.
Quadratum enim RH :quatur quadratis HN, NR una cum rectan-
gulo sub SN in NR bis sive, ex priedemonstratis, una cum rectangulo
sub HN in NV bis; quadratum autem NR est majus quadrato NV : ergo
d
d