# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068194:0140
# Permalink to this reading: https://leibnizlegible.com/page/00068194:0140?run=74
# Title: Leibniz-Handschriften zur Mathematik LH 35, 12, 1
# Folio 70v, page id 00068194:0140
# Scan: The same scan as fol. 69r (00068194:0137), where its text is given.
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068194&page=140
# Source image: https://digitale-sammlungen.gwlb.de/content/00068194/jpgs/default/00000140.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 40 lines, status machine
# Lines: 40 recognised, mean confidence 0.91
# 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.

Prop. 1. lib. 1mi Euclidis.
super data recta linea terminata AB
treamgusum aequilatiam pat nrmnleni  etbo AB descr
 N  et N YB AB. Sit B et AM = AB. Et aros
in sit
R exit aliquod _M ∞ aliq. R
per Lemma sequens extra quod non erit Y.
(per Lemma sequens.) id sit C. junge
AC (= AM = AB) et BC(= BR = BA
ergo AC = AB = BC. Quod erat Fac
emma
siduo circuli MB ex A et A
habeant mutuo centrum in alterius
circumferentia B in M et A in R.
eorum circumferentiae M et R sibi
occurrent alicubi in C et
tranfeuntem. Iisdem pod duae sunt
in quo omnia sunt sit
partes L  circulum et oun
centro ex centro A, et N extrupirculum
exit ALmon major AB et ANo minor
quod niha it est ALB AB. ANH AB
jam 
jam at qu. R est L (nam qu. R est A quia  BA = BA.
n
et  A est L. quia AAB AB) et qu. A est A
(quod sic ostendo: producatur AB in D ut sit BA
seu AD dupla AB. erit D erit R et Derit N. Ergo
qu R est N) Ergo qu R est AE per axioma
de continuis, qu. R est M. Zu. E, D.
Axioma de continuis
si ejusdem continui D duae sint partes cointegra
L et N, sitque alterius continuim N parki
aliud continuumR tam intra Z quam intra N
erit aliquod ejus punctum in M. communi termino
ipsorum L et N. pot est demonstrari ex definition
utu ce
= et BR = BA
circumferentiae
s euru