# Leibniz Legible — https://leibnizlegible.com # Page: https://leibnizlegible.com/page/00067976:0056 # Permalink to this reading: https://leibnizlegible.com/page/00067976:0056?run=39 # Title: Leibniz-Handschriften zur Mathematik LH 35, 1, 14 # Folio 28v, page id 00067976:0056 # Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00067976&page=56 # Source image: https://digitale-sammlungen.gwlb.de/content/00067976/jpgs/default/00000056.jpg # Model: FoNDUE-GD_v2_ft_Leibniz, run 39, 2026-08-27T09:55:26Z — 42 lines, status machine # Lines: 42 recognised, mean confidence 0.93 # 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. si punctum d sit in eadem recta cum duobus A, B, recta tus duobus terminata vel eadet in rectam his duobus terminatam, vel in eam productam sun pa eBt in A (2) si rectat producatur; et ita ut terminus post productionem A, remotior sit ab_ aliquo rectae puacto in eadem recta puncto D, quam terminus ante productia em B, et continuetur poductio, adhuc magis removebitur, ter minus inis secundae productionis F. quam primo A 3) Si recta A BC producta ex E cadit in D B non cadit in D necessario producta ex L cadet (9) Si punctum D in aliqua recta positum non cadit in in aliquam ejus rectae partem, et BC, et nec p pars haec producta per unum extremum B in ipsum incidit producta per alterum C in eam incldet 1d flinc BC (4) Si pl iisdem positis, si pars pro ducta per patet ex a unum C in punctum extra eam in eadem recta positum d incidit, productum per altem extremum B in eam non incidet. Patet exheri si recta producatur BC producatur ex uno extremo C in D major erit distantia 5 termini productionis a termino non producto lovi termini post productionem C a termino permanente B quam termini ante productio nem ( ab eodem permanente B. Hoc patet ex definitione productionis B nam producere BC per R in d est facere BC + Cd ∞ Bd. Hinc videtur Xt demonstrari 2. Nam sit CB+BA+ A) CB + BA~ CA et eN BA + AFD L F ∞ BF et sit ADpBD ostendendum est fore A FD NAD scil. si D non cadit in AB. 6nempe si AB non HD+ DB et ADABD erit AD AB+Bd Nam si Ad pBD erit AV+ VD∞ AD ut si AV- A VD = BD jam AB non AV+ VD. posito VD=Bd