# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/851708439:0696
# Permalink to this reading: https://leibnizlegible.com/page/851708439:0696?run=74
# Title: [Johannis Wallis S. T. D. Geometriae Professoris Saviliani, in Celeberrima Academia Oxoniensi, De Algebra Tractatus; Historicus & Practicus. Anno 1685 Anglice editus; Nunc Auctus Latine. Cum variis Appendicibus; Partim prius editis Anglice, Partim nunc primum editis] Johannis Wallis S. T. D. Geometriæ Professoris Saviliani, in Celeberrima Academia Oxoniensi, De Algebra Tractatus; Historicus & Practicus. Anno 1685 Anglice editus; Nunc Auctus Latine. Cum variis Appendicibus; Partim prius editis Anglice, Partim nunc primum editis (shelfmarks Leibn. Marg. 100:1/2, Stück 2; Leibn. Marg. 100:1/2)
# Folio 672, page id 851708439:0696
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=851708439&page=696
# Source image: https://digitale-sammlungen.gwlb.de/content/851708439/jpgs/default/00000696.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 54 lines, status machine
# Lines: 54 recognised, mean confidence 0.87
# 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: the recognised lines in reading order, one per line.

OSTUL ATUM GUTNTUM.
HIE Succeltiris rieibus, donec maior Fiac quam linea F C: sincque illae linex
EHI ITK RM MO. Abscindantur etiam d recta BC, recta quarum singula
sint aequales rectae F. G (per prop. 3.) Nempe lineae GF TL L N, quarum nu
merus simul cum G F, aequalis sic numero diritionum Pseu SEBMENTOFUM) rect
F O. Tum ex puncto F erisatur perpendicularis R P (per prop. TT.) e abscin-
datuIE PF aequalis ipsi GHI (per PrOP. 3.) e jungantur puncta PC linca rC-
eta. Fricque ucerque angulus P. PG PGHI rectus; lacusque PC aequale laveri
E II, (per Lem. 2.) Ducacur a puncto I perpendicularis Ln in lacus L. F (per
DFOD. 12.) EC, quia rectae L B F F dilatantur ex parce B, de perpendicularis
Tu major erit perpendiculari GHI (per L eM. T.) Abscindatur inde recta Xi
aequalis rectae GHL (per PTOP. 3.) ee jungantur puncta  linea recla: Frit
que ansulorum IICI nn C uterque rectus, e lacus IIn aequale lateri CX
(per L. CM. 2.) Frac aurem ee angulus HICP rectus, lineaque PG ex adverso
responder lateri Gr. Ergo linea L’n el uta secta (per prop. 74. ) Cumque
siE angulus C x_ TCcIS, _I _ AIBMIS _n I item reCtUS (peF PEOD. 1Z.) e
anguli rerticales PGF ~ GI aequales (per PrOP. 25.) ElIque lacIS F C (cri
anguli GF P) aequale laceri GI (crianguli Cn I. ) trgo (per prOP. 26.) lacuS
PG aquatUT laterI G X, de latuS FTK aquatuE lateri G x; ergo lacus FIN aequa-
cur laceri PG. Ergo lacus F. HY aequatur lateri Hn. Ideoque perpendicularis Ln
cadic in punctum L linca F. F.
Trem ducacur ex puncto L perpendicularis L V in laFS E F (per pP. X2.) Sc
abscindacur recta su aequalis rectae LK, per pr. 3. (Plt enim recta L. p Lonsior
quam recla TK, per L eM. Y.) S jungancur puncta Pe linea recta. Krunc ergo an-
sulorum ILP V S L uterque rectus, _ latus Ru aequale lateri L8 (Der L eM. 2.)
Producatur aurem in directum perpendicularis C HI ex parce C in intinitum. In-
dequo abscindtacur IIR aequalis ipli TK (per pr. 3.) e junsantur puncta R L II.
nea recta. FrunC CrBO anSulOruM HIR I K LR uterque rectus, de latus HI K ae qua
Le lateri RL (per Lem. 2.) Acque, cum angulus AS L rectus sic, eric etiam ansu-
dus LsL. rectus (per. pr. 23.) Cum erso sunc duo anguli CR L LeL, ucerque re
etus, ec duo ansuli G LR et L aequales (Per PrOP. 15.) duoque lacera IC IL.
aequalia: Frit (Der PTOP. 26.) lacus Le (criansuli LeL.) aequale laceri LR (tri-
anguli TRG.) ErgO _EHIK aqUIaTuT ipEI LC, _ L p aequacur eciam ivsi Fe Ideo-
que HIK aequatur ipsiK p. Firso perpendicularis L. p cadic in punctum M linea
H. F.
Dellide, producatur in directum L P ex parte LSu intinitum: Indeque absein-
dacur KS aequalis ipsi M L. (per pr. 3.) e junganur puncta L. S linca recta.
Adeoque uterque angulorum KSL. M L. S rectus erii, de lacuS K M aequale lacerI
SL. (per L. eM. 2.) Ducatur item 2 puncto N perpendicularis N co in LacLS P F
(DeT PE. 22.) EL (cum sic N a lonsiOE quam ML, per L CM. L.) ableincatur
inde recta oc aequalis rectae L. M (ver pr. 3.) _ jungantur puncta L o linea recta.
Adeoque uterque angulorum M L. 0 ad L. rectus erit (ideoque linea 50 exit una
recta, per PrOP. 14.) de lacuS Ma aquale lateri L. 0 (per Lem. 2.) Cum aurem lic
auxutus a0S rectus, exic eciam angulus L. 0 N icclus; lunique ansuli SL. L NL 0
incer sc aequales (per prop. 25.) de duo latera IL. L. N itcm aqualIa. LIBO
(DeT DTOP. 26.) lacus L. 0 aequatur laceri L. S. Ideoque L atuS I M aequatur lateri
Mco (per ea quae superius dicla C.) Perpendicularis ixicur Na cacliC IN pun-
Lineaixitur CD includicur Alet alas perpendiculares L. MI AO. EE li produ-
catur in directum ex parre D, non porelt ucrivis perpendicularium L. M NO oc.
CUFFETC.
ecu O rectae L. Y
cutre
10C
e