Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

Leibniz-Handschriften zur Mathematik LH 35, 1, 13, fol. 16r

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

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

The machine reads it as

  1. probanda est hoc therrema culculi
  2. situs. Ex his tribus propositionibus ABC est unic
  3. AL MN est unic et BCLM est unic. admissis
  4. duabus, tertia admmittenda est. seu ex
  5. duabus prioribus sequitur tertici, et ex alt una
  6. priorum B tertia vicissim sequitur altera
  7. priorum
  8. ABC unic idem est quod Si ABC
  9. ~ (A) BC, erit A ∞ (A)
  10. ABC ~ (A) BC nes idem est
  11. quod AB ~ (AB et AC~ AC (A) C
  12. Itaque A. B. C unic. in haec resolvitur.
  13. Si A. B ~ (A). B et A. C ~ (A). C erit
  14. (A) ∞ A
  15. vel
  16. Ex quibus sequitur etiam si B. A~ (B). A
  17. et B. C ~ (B) C erit B ∞ (B)
  18. vel Si C∞ A C. A ~ (C). A et
  19. C. B ~ (C). B erit C ∞ (C)
  20. Itaque ex uno horum trium sequuntur
  21. reliqua
  22. si A sit suae relationis unicum
  23. ad B, et B sit sua relationis
  24. unieum ad C, erit A suae relationis
  25. unicum ad c videamus an
  26. hoc demonstrari possit. Si A sit suae
  27. relationis unicum ad B erit et sit A∞si
  28. Aed A B ~ (A). C
  29. si A sit suae relationis unicum ad B
  30. enit verum erit si A. B ~ (A). B fore A∞ B
  31. si A sit suae relationis unicum ad B
  32. erit B suae relationis unicum ad A
  33. Itaque harum duarum consequen-
  34. Fiarum una ex alta sequitur
  35. (fore
  36. Si posito A. B ~ (A). B sequitur A∞(A)
  37. etiam nositio B. A ~ (B) A sequitur fore B ∞ (B)
  38. Si posito A sit unic ad B et B sit Ex 4 et 6 se quod (B) ∞ ((B))
  39. unie ad C, habebimus propositiones sequentes
  40. (1) posito A. B = (A) B sequitur A ∞ (A)
  41. posito B. A ~ (B). A sequilut B ∞ (B)
  42. posito B. C ~ (B) C. sequitur B ∞ CB)
  43. 4() posito C. B ~ (C) B saportu d. C ∞ (C)
  44. (5) Ex his sequitur (B) ∞ (B)
  45. ostendenda esset alterutra ex his propositionibus
  46. et
  47. Bosito A. C ∞ (AD. Z. erit A ∞ (A)
  48. potto C. AC IICD) A erit C 00 (C)
  49. 3
  50. 5
  51. Ex 1, 5, 9 sequitur (10) A. B (~ A. BB). C
  52. seu ex A unic ad P et ex B mic ad C

Cite

Leibniz-Handschriften zur Mathematik LH 35, 1, 13, fol. 16r. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 39). https://leibnizlegible.com/page/00067974:0031?run=39