Search the Nachlass

Leibniz-Handschriften zur Mathematik LH 35, 4, 13, fol. 10r

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

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

One image of two folio pages side by side, registered by the library under both labels (also fol. 9v); this page is its right half.

The machine reads it as

  1. (e (6) 10 = -0
  2. Nam r qu e0 +0 + 0 = 0 (per 1141) jam 0= 0- (per 2. hujas)
  3. (6be ait +c =
  4. (6) si a + c = b+ c erit a = b
  5. (6) Si a = b erit a - c = b -c. s
  6. Nam a = c = a - C (per 1,2) in qua aequationis
  7. latere posteriore si pro a, ponas aequalem (ex hyp.) b
  8. quod licet (per 1, 1) fiet a - c = b = c Z. E. d
  9. in Lineis si ab aequalibus AC, Bd, subtrahas
  10. eandem BC, residuae erunt aequales AB, et CD
  11. (7) si a + C = b + C erit a = b
  12. Nami quia a + B = b +C (ex hyp) erit (per 6 hujus)
  13. a + C - C = b + c - c, id est (per 2 hujus) a = b L. E. D
  14. in Lineis si AB+ BC seu AC aequ. D C+ CB seu DB
  15. DC 1+ m et sit b= m erit a = l
  16. panquid al b= aolus ltin C ex hyp, erit a
  17. 8). +0 = = 0 seu nihil rejert quod nam ipsi o praefigatur signum
  18. Nam . :0 + 0 = 0 (per I. ) et 0 = 0-0 (per 2 huius)
  19. ergo fit 0+0 = 0-0. Unde abjiciendo utrobique o
  20. quod licet per 7. hujus) fiet +0 = -0
  21. a = 0 = a. seu nihilum nihil subtrahit
  22. Nam a = 0 = a + 0 (per 8 hujus) et a +0 = a
  23. Aliter a = 0 = a = 0 + 0 (per 1, 4
  24. jam -0 +0 = 0 (per Z hujus) ergo a - 0 = a +0
  25. seu (per 1, 4) a -0 = a
  26. et b = m erit a - b = (-m
  27. seu si ab aequalibus afea A) auferas aequalia (b et m) residna (aab, et lum ) erunt aequaliu
  28. (10) si
  29. demonstratur eodem modo ut artic. 6. capitis ujui
  30. praecedentis jam et sit a = l erit b = m
  31. ( sam ab aequalibus; at
  32. inferas se
  33. et
  34. ualieastm et p= s enit B2 = 61
  35. ei erit e a = b
  36. Nam quia a - c = b - c erit (per 2,5)
  37. 1 ec4
  38. a - C + C = b - c + C, id est (per 2 hujus) a = b, Z. E. c
  39. in lineis si EG = FG = HF - FG (id es si EF = HG) erit EG = HF
  40. (12) Si a - b = L m et sit a = l, erit et b = m
  41. (12) Si a - b = l - m et sit b = m erit a = l
  42. Nam quia a b = L m erit (per 2,6)
  43. (per 2 hujus) a = l. 9Ed
  44. i Leneis si EG - FG= HK - 1K (id est Et EF = Hi) sitque FG = iK erit EG = HK
  45. a - b + b = l - m + m Ergo
  46. (13) e Si a = b erit - a - b
  47. Nam - a = - a (per 1, 4) Ergo in posteriore
  48. latere hujus aequationis pro a substituendo aequalem (ex hyp.) b
  49. quod licet (per 1, 1) fior ex = a = - a fiet - a = - b Q. E. D
  50. (13) Si a = b - l m et sit a = l erit b = m
  51. (13) - a = - b erit a = b
  52. Nam a a = b - b (per 2 hujus) ergo
  53. 13) Si a = b = l - m et sit d = l erit b = m
  54. Q. E. d
  55. ne snsic (per 1, 4) ergo a = 0 = a Q. E. d
  56. Nam cauferendo utrobique aequalia (per 10 hujus) et
  57. ex a - b = l- m,
  58. a et l’ex hyp)
  59. fist a - b - a = l - m - l id est (per 2 huius)
  60. sit = b = _ -m. unde (per 5 hujus) fit b = m. Q. E. D
  61. in Lineis EG- FG = HK - IK (id est EF = HI) et F5 = IK
  62. et EG = HK ent FG- 1K
  63. si at b = l+ et b = m
  64. erit a = l
  65. = a = - b Ergo + a = + b
  66. Nam a - a = b - b ergo utrob.que
  67. anferendo re qualia za et = N
  68. in Lineis si Ny = RT, et NP =R5
  69. erit NL - N P = AT - A5, seu pq = 5F
  70. =a = b - b Ergo +at b
  71. Nam quia - a = - b ergo addendo
  72. ntrobique b, fiet b a = -b + b
  73. (per 2,5) a =b
  74. =a + b = b + b id est (per 2 hujus
  75. ergo -g + b = 0 Erge (per 5hujus)
  76. eris a = b
  77. X. Ed.
  78. a = - b. Ergo b - - a
  79. a a = -b ergo at a - a =
  80. a + b = 0. Ergo
  81. d + b( a = (0) - a

Cite

Leibniz-Handschriften zur Mathematik LH 35, 4, 13, fol. 10r. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 73). https://leibnizlegible.com/page/00068010:0019?run=73