Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

Leibniz-Handschriften zur Philosophie LH 4, 5, 10, fol. 49r

Machine transcription. Not an edition. Errors are expected: about 8% character error rate on Latin and French lines, higher on German. Mean line confidence on this page: 0.88.

Original at the GWLB · Page image · Annotations (IIIF) · Download text

The machine reads it as

  1. Propositio dd
  2. clucenda in+ f- C
  3. A70 (generaliter) esse 0 aequ. + bc
  4. Demonstratio:
  5. Ponatur d’aequ: t e + X. posito b aqu. X. et c exretente excessu
  6. iporus d supra x seu suprab. erqoid. idem erit quod
  7. + e F x = b,
  8. -b in f - C
  9. Ergotd- b in f- c idem erit quod te + X
  10. jam te intf - c est ref - cc. et 1 - b
  11. C
  12. in +f- c si posito scit. hic X aequ. b) est aqut
  13. - cX
  14. bf + bc. perprop. a. Ergo duo producta in unum colligendo,
  15. Ergo colligendo + e + L - b in +f - C. Seurd- b in + f = C erit
  16. ef - ce, +fx - c. x - b f + b c. At supratd - bih
  17. intf.c, erat aequ. + d f - Cd - bf. C. Ergo hos duos valores
  18. aequando et tollendo utrobique, - b f. fiet:
  19. ef- ce + fX - Cx + bc aequ. df - cd. O.
  20. quia d aegu. e+ X
  21. Est autem te(+ SX aequtaf et = ce - c x aegu. = c diqua 000g
  22. priori
  23. ergotef- Ce + fx - cX aequ. el f - cd. Ergost un aequatione prio
  24. tef - ce + fx -C X + bc aqu + a f- cd. e. tollantuur.
  25. utrinque aequalia restabit aequ. +
  26. Quod erat demonstrandum.
  27. b c
  28. Benaldinus aliique qui calculi regulas demonstrare voluere, usi sunt propositionit Euclidis quod rec lib. 2.
  29. Scholion,
  30. Elementorum ad probundum quod in facit +. Unde Mariotus in sperimine Logico, negat eas propo–
  31. sitiones, per caculum probari posse, fieri enim circulum. Sed quoniam hinc sequeretur vulgarissimas Arithmeticae
  32. eri
  33. operationes (ex quibus est ista operatio per + et -) pendee a propositionibus geometricis et linearum ducte quod
  34. minimi rationi consentaneum est. hinc modum quaesivi demonstrandi hanc exprationem qogulam quod
  35. in = facit + per purum calculum, quem vel in numeris vel in lineis interpretariicet. idque mihi (avale
  36. rius quolque optasse videtur uando hujus algorith,ni demonstrationem desiderabat. Nam lincaresdemoustra
  37. bionem ciold algebrista, ut Bombellum aliois extare nos poterat ignorare.

Cite

Leibniz-Handschriften zur Philosophie LH 4, 5, 10, fol. 49r. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 74). https://leibnizlegible.com/page/00069349:0097?run=74