Page:Œuvres de Blaise Pascal, III.djvu/536

Cette page n’a pas encore été corrigée

520 ŒUVRES

per 58. Productus verô numerorum 6, 7, 8, 9 est major producto numerorum i, 2, 3, l\, multiplicato per 58, ex constructione.

Jàm numerus ordinis sexti cujus radix est /|, nempe 56, multiplicatus per numéros i, 2, 3, aequatur producto numerorum 6, 7, 8, ex dé- mon stratis in tractatu de ordinibus numericis. Sed productus numerorum 6, 7, 8, non est major ex ostensis producto numerorum i, 2, 3, multiplicato per datum 58. Igitur productus nume- rorum 1,2, 3, multiplicatus per 56, non est major quam idem productus numerorum 1, 2, 3, multi- plicatus per datum 58. Igitur 56 non est major quam 58.

Jam sit 126, numerus ordinis sexti cujus radix est 5. Igitur ipse 126, multiplicatus per productum numerorum 1, 2, 3, 4, aequatur producto numero- rum 6, 7, 8, 9, ex tractatu de ord. numer. Sed productus ille numerorum 6, 7, 8, 9, est major quam numerus datus 58 multiplicatus per produc- tum numerorum i, 2, 3, l\, ex ostensis. Igitur, nu- merus 126, multiplicatus per productum numero- rum I, 2, 3, 4, est major quam numerus datus 58 multiplicatus per eumdem productum numero- rum I, 2, 3, ^. Igitur numerus 126 est major quam numerus datus 58.

Ergo numerus 56 sexti oràinis cujus radix est 4, non est major quam numerus datus ; numerus verô 126, ejusdem ordinis cujus radix 5 est proximè ma- jor, major est quam datus numerus.

�� �