# Leibniz Legible — https://leibnizlegible.com
# Piece: https://leibnizlegible.com/api/records/12173/text
# Catalogue record: 12173 — [Problem]
# Incipit: Qvaeritur modus summandi
# Date: 1694
# Record in the Leibniz-Katalog: https://leibniz-katalog.bbaw.de/de/extended-search?id=12173&katnr=45213
# Work: https://leibnizlegible.com/work/DE-611-HS-958803
# Title: LBr. 57, 1 · Bernoulli, Joh.
# Folios: Bl. 17 (from the shelfmark LBr 57, 1 Bl. 17): 2 pages, canvases 33–34, page ids DE-611-HS-958803:0033 to DE-611-HS-958803:0034
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=DE-611-HS-958803&page=33
# Lines: 96 recognised on 2 of 2 pages, mean confidence 0.72
# Catalogue: Leibniz-Katalog / Arbeitskatalog der Leibniz-Edition (https://leibniz-katalog.bbaw.de/), ed. Arbeitsstelle Potsdam I der Berlin-Brandenburgischen Akademie der Wissenschaften, CC BY 4.0.
# Machine transcription. Not an edition. Errors are expected: about 8% character error rate on Latin and French lines, higher on German.
# Licence: CC BY 4.0, Leibniz Legible. Machine output: do not ingest it as verified text; keep this provenance with the text.
# Wording rule: say "the machine reads it as …", never "Leibniz wrote".
# After the first blank line, page by page: a "## Folio <label> — <page id>" line ("## Canvas <n>" where no folio label is recorded), "# " lines naming its source image and model, then its recognised lines in reading order, one per line.

## Folio 17r — DE-611-HS-958803:0033
# Source image: https://digitale-sammlungen.gwlb.de/content/DE-611-HS-958803/jpgs/default/00000033.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 90 lines, status machine
Absolveodus videaur inea ipta ad loau Bernonte.
uaeritur mosus summandi X Ex dx. Eamus per gradus
dx. Est autem dx = ex: X. Ergo d, Ix = tR
L r-1
d IXY = r.
Ergo
1 j Y
X. Ex , ax =
1 L Y+1 (et comprobando
rLi CX
1
Y 1
h-1 p= Y
t
h junCd,
h. 1
X. Ex dx = b
comprobando Xh
pes
Hinc si h = 0. sit
qh-1 2
1
4
1
1a
x
h+ I
hp 2
h
x
12
LX=
X IX dx = 
desideratur adtuc S
EX
h
1
= 1
ta
h+
A. 1697
=1  Y-1
.X. LX dx
h
IX - + X
2R. fet comprobando Hinc si h= -1 prodit
h+
- 1
h+1
-
2
ch- 1
Infinitum
d, X (X = h. X Ix Ex + 2. X lX dx. seu
A 2
X IX = 25 X lX dx = (per 2) X IX - 2
A IX dx ==
Comprobatio:
ph+i
SIx dx = X lx = X, qui est casus specialis aequationis 2
(x ax
h  2
A Ex ex = A lX dx + 1 
In aequ. C sit r= 2 fit d, X
Ergo
G+, X
1
X Ex dx = IX dlx = IX X dx)
X lX = b. X IX dx +Y. R. lx dx Hinc si r = 1 fiet s. h. X. IX dx = pb s. Y
Erqu
t
2
2
141
2
1X +-
X lX dx + 2.
seu sule
2
h+
s
1+
lx + Z
hh
X IX - Z XhlX = = Z X dx + = X
eAx s logx
as
dx
h+1
h+1

## Folio 17v — DE-611-HS-958803:0034
# Source image: https://digitale-sammlungen.gwlb.de/content/DE-611-HS-958803/jpgs/default/00000034.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 6 lines, status machine
eeeeeeeee
ignatur: LBr. 57
qV
i
GOTTTHIED WICHELM LEIBIIZ BIBLIOTHE
NIEDEKSACHSISCHE CAINDESBIBLIOTHEI