Leibniz-Handschriften zur Philosophie LH 4, 5, 10, fol. 48v

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.86.

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

The machine reads it as

1. sif + d - b
2. ducenda in + f = C
3. a
4. =cad. O
5. +df- bf
6. propositio F2.
7. generaliter
8. Ajocesse a aequ. + bc.
9. Demonstratio:
10. Ponatur d aequ: e + X. posito b aequ. X. et e existente
11. excessu ipsius d supra X seu supra b. ergo d - b idem erit
12. quod , vel idem quod + C + X - b, vel idem quod e) Ergo
13. d- b in f- C idem erit quod e in f c. seu idem
14. erit quod ef - ec. rursus d. b in f. C idem erit quod
15. + C + X b in 4 f-C Eyam erit:
16. ef eC vau. Ydf - cd - 67.
17. seu s et ec idem erit quo
18. sa
19. Jam
20. e in f -c est ef - ce. et X - b in f - C. (Posito scil. hic X aequ. b)
21. sb aequ FX = cX - b f + bc per prOp. 1.
22. Ergo colligendo e+ X - b in f-c. Aud seu d - b in f- C erit.
23. ef - ce, + fX - C X - bf + bc: At supra d - b in f -c
24. erat aequ. dF = cd - bf O. Ergo hos duos valores
25. aequando fiet: et
26. C
27. aequando fict et tollendo utrobique = bf.
28. equdf
29. SAbC
30. fiet.
31. ef- ce + fx - Cx + bc aequ. df - cd. O
32. Est autem ef + f X aequ. df. et - cC = CX aequ = cd. quia daequ. etx
33. Ergo ef- ce + fX = CX aequ. df - cd. Ergo in aequatione prion
34. tollantur
35. ef - ce + fX - Cx + bc aequ. df - cd. O. sublati
36. utrinque aequalibua restabit O aequ. + bc.
37. l
38. Quod erat demonstrandum.

Cite

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