per denotabimus, idem prodire debebit, sive integratio primo instituatur secundum ac dein secundum sive ordine inverso. At habemus indefinite, considerando tamquam constantem,
uti per differentiationem secundum
facile confirmatur. Constans non adiicienda, siquidem integrale a
incipiendum supponamus, quoniam pro
fit
. Quare quum manifesto
etiam evanescat pro
integrale
a
usque ad
fit
manente
indefinita. Hinc autem sequitur
Perinde habemus indefinite, considerando tamquam constantem,
uti aeque facile per differentiationem secundum
confirmatur; hic quoque constans non adiicienda, integrali ab
incipiente. Quapropter integrale ab
usque ad
extensum fit per ea, quae in art. praec. demonstrata sunt,
adeoque per theorema art. praec. semper quantitas positiva pro quolibet valore reali ipsius
. Hinc etiam
, i. e. valor integralis
a
usque ad
necessario fit quantitas positiva
[1]. Quod est absurdum, quoniam eandem quantitatem antea invenimus
suppositio itaque consistere nequit, theorematisque veritas hinc evicta est.
3.
Functio per substitutionem transit in nec non per substitutionem in Quodsi igitur pro valoribus determinatis ipsarum puta pro simul provenit (quales valores exstare in art. praec. demonstratum est), per utramque substitutionem
- ↑ Uti iam per se manifestum est. Ceterum integrale indefinitum facile eruitur , atque aliunde demonstrari potest (per se enim nondum obvium est, quemnam valorem ex infinite multis functioni multiformi competentibus pro adoptare oporteat), huius valorem usque ad extensum statui debere sive . Sed hoc ad institutum nostrum non est necessarium.