De casibus in quibus componendo nihil novi fieri potest
[April bis Oktober 1686 (?)]
Facsimile: Teilband A (pp. 509–1002)
[April bis Oktober 1686 (?)]
1) Ex duobus A, B, si contineantur in uno ex ipsis, ita enim binio coincidit cum continente. Nam ternio aut quaternio inutilis, quia repetitio est inutilis.
2) Ex tribus A, B, C, si neque binio neque ternio aliquid novi faciat,
Et generaliter ex quotcunque rebus tum demum nihil fieri potest novi, si binio quaeque earum nihil novi componit. Itaque ex tribus rebus nihil componi potest novi, si binae quaeque vel habeant ut continens et contentum vel componant unum ex reliquis. Binae autem quaeque se habebunt ut continens aut contentum, si talis ordo eorum assignari possit, ut unum sit cui insit nullum, deinde unum cui tantum insit unum, cui tantum duo etc. usque ad ultimum cui omnia. Quod etiam accuratius demonstrandum, non tantum in ternis, sed et in quotcunque. Nempe sufficit demonstrari si sint diversa quotcunque quorum duo quaelibet se habeant ut continens et contentum esse unum quod omnia contineat, et a nullo contineatur, idque etiam posse inveniri, quod ita ostendetur, unumquodque ingreditur aliquam binionem et quidem vel ut continens vel ut contentum. Si sint duae res patet unam in altera contineri non contra alioqui coinciderent; si sint tres, ex his sumantur duae quaecunque patet ex dicto unam in altera contineri, non contra, jam tertia vel continebit continentem vel continebitur in contenta, vel continebitur in continente, et continebit contentam. Si sint quatuor ex his sumantur tres, eaeque ordinentur ut dictum est, jam quarta; vel continebit continentem, et habebitur ejus locus, vel continebitur in contenta et habebitur rursus ejus locus; vel media est inter ipsas, et tunc quaeratur ultima quae eam continet, et prima quae ea continetur, et ita haberi potest ordo, seu intra quas collocanda sit, et generaliter datis quotcunque rebus, quarum quaelibet quamlibet continet aut in ea continetur, si una proposita reliquas continet omnes habetur intentum, et sequestretur ut primo. Si continetur reliquis omnibus itidem sequestretur, ut Ultima. Si non continet reliquas omnes; saltem videndum quas contineat, aut quibus contineatur, si aliquas continet et aliquibus continetur inter eas quas continet collocetur ut prima, inter eas quibus continetur ut ultima; et omnes datae sunt divisae in duas classes aliis enim continetur proposita alias continet. Quibus continetur, ex his rursus sumatur una inter plures illas media, et ita porro, et ita habebitur tandem ordo. Sed hoc distinctius alias exponenda.
Nunc transeamus ad res quatuor, nempe
Ex quatuor rebus A, B, C, D nihil novi componi potest, si binae quaevis earum nihil novi componunt. Hoc autem fit primum si binae quaevis se habeant ut continens et contentum; deinde etiam si A ⊕ B ∞ C et C inest D. Ita enim A ⊕ B ∞ C et A ⊕ C ∞ C et A ⊕ D ∞ D et B ⊕ C ∞ C et B ⊕ D ∞ D et C ⊕ D ∞ D. At vero si A inest B et A ⊕ C ∞ D res non succedit, potest enim novi aliquid componi, scilicet B ⊕ C, quod non necesse est esse A vel B vel C vel D.
Ex quinque rebus A, B, C, D, E nihil novi componitur, primum si binae quaevis se habeant, ut continens et contentum, deinde si sit A ⊕ B ∞ C et C insit D, et D insit E, denique si sit A ⊕ B ∞ C et A in D et B ⊕ D ∞ E, sed si sit A ⊕ B ∞ C et A ⊕ D ∞ E nova habebuntur B ⊕ D et C ⊕ E. Item si sit A in B et A ⊕ C ∞ D et B ⊕ C ∞ E nova habebuntur B ⊕ D et D ⊕ E.
Si sint sex res A, B, C, D, E, F, et duo quaelibet se habeant ut continens et contentum item A ⊕ B ∞ C, et ex C, D, E, F duo quaelibet se habeant ut continens et contentum, impossibile est aliquid fieri novum, sed si sit A ⊕ B ∞ C, et sit C in D, et C in E, et C in F, sitque D ⊕ E ∞ F rursus impossibile est aliquid novum. Ergo inductione hactenus observata non procedunt.
Generaliter ex quotcunque rebus nihil novi componitur, si binio quaevis alicui rerum
coincidat. Quod fit si ordine continuo una res alteri, et haec rursus alteri insit. Oblatis
aliquot rebus A, B, C, D, E, F ut investigemus an ex iis componi possit aliquid novi
quaeramus primum eam A quae nullam aliam continet quae semper inveniri potest;
deinde ex reliquis quaeramus rursus eam B quae nullam aliam ex his reliquis continet.
Hae duae A, B compositae aut novum A ⊕ B componunt, et habetur intentum, aut non
componunt, sed unum ex reliquis, seu A ⊕ B ∞ C. Porro reliqua illa C, D, E, F, ex quibus
id quod componitur ex duobus illis nempe C unum est, vel bina quaelibet se habent inter
se ut continens et contentum, quo casu impossibile est ex omnibus novum componi; vel
non habent: si non habent, tunc videndum an id quod ex duobus illis primo assumtis
componitur, nempe C insit cuilibet eorum an non. Si inest cuilibet eorum, seu C inest
ipsis D, E, F tunc etiam A itemque B, ipsis D, E, F inest; sequestratis ergo ipsis, A, B, C.
Si reliqua D, E, F nil componunt novi, etiam omnia A, B, C, D, E, F nil novi componunt,
nam biniones caeterorum cum A, B, C sunt inutiles. Ita rem reduximus ad pauciores
terminos, qui similiter tractandi. Sin C non insit singulis D, E, F sumantur omnia illa
quibus non inest, D, E, F etc., itemque omnia illa quibus inest, L, M, N. Quodsi ex
omnibus illis quibus inest inter se non potest componi novum (quod eadem quam nunc
describimus Methodo discetur), videamus an C additum cuivis eorum cui non [in]est,
componat quidvis eorum cui inest, D ⊕ C ∞ L et E ⊕ C ∞ M etc., nam quia D, E, F, etc.
sunt diversa, et C nulli eorum inest, cum quolibet eorum diversa componit (theorema
demonstrandum), unde sequitur si minor sit numerus eorum quibus inest C quam
eorum quibus non [in]est, necessario aliquid novi componi. Idque generaliter propositis
quotcunque rebus dici potest una earum sumta et cum caeteris comparata. Quod si igitur
C additum cuivis eorum cui non inest nil componit novum, sequestrato C, et iis quibus
inest, tantum superest, ut dispiciamus an ipsa quibus non inest aliquid novi componant. Et
ut repetamus cum aliqua variatione. Sint quotcunque A, B, C, D etc. Ex his sumamus
unum A, cui nullum aliud ex ipsis inest; et videamus an adhuc sint plura quibus nullum
aliud ex caeteris omnibus inest. Haec plura sint A, B, C etc. quibus nihil aliud ut dixi ex
propositis inest, et sit A ⊕ B ∞ H, A ⊕ C ∞ I, B ⊕ C ∞ K et H, I, K etc. debent esse ex
datis. Jam vero compositum ex duabus binionibus trium nil facit novi praeter ipsas
biniones aut ternionem, praeterea sint Terniones
Nota, possunt diversae series esse continue inexistentium quarum communes sunt inferiores, ut 0 1 1}
Possunt duae esse diversae series continue sibi inexistentium, habentes idem primum
et ultimum, ut tamen quidam termini sibi non inexistent ex diversis seriebus,
v.g. 10.11⎧
Opus est definitione de subalternantibus et disparatis. Item de B [bricht ab]