Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

Leibniz-Handschriften zur Mathematik LH 35, 1, 5, fol. 17r

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

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. 12v); this page is its right half.

The machine reads it as

  1. Ex duabus tectis
  2. d
  3. nec sit C un ad A. B
  4. si Y. A. Ba 2 (Y.) A. D sitqe ideo Y Cx
  5. 2
  6. seu si Y un. ad A. B
  7. Y) erit Y recta
  8. siX. A. B. C∞ ∞ (X) A. B. C. Sitque ideo X ∞ (X) erit X planum
  9. in planresen cadit in X. Nam = si Y un ad A. B, erit et un ad A. B. C
  10. et
  11. ergo Y es omn. Y est X. seu re est in X
  12. si recta feratur super duabus rectis describet planum. Nam in
  13. omnia ejus puncta sente nea duom sit recta et recta
  14. immotae et recta mobilis V, sitque Y un ad A. B et Z un ad BC
  15. jam ex Hyp. erit durante motu erit quaedam Y erit V et q
  16. quoddam Y erit V et quoddam Z erit V
  17. ergo V un. ad Y. Z. Sed
  18. Y un ad A. B. et Z un ad B: C ergo V un ad
  19. da
  20. est in plano un ad A. B. C.
  21. E. 7
  22. A. B. C. Ergo
  23. demonstratm non est pus nam determinatum a determinato, determinatur a determinanto
  24. demonstranda prius haec ratiocinatio
  25. V determ ad
  26. Lun ad _ V un ad Y. 7, et Y un ad A. B, et Z un ad BC
  27. a
  28. erit ergo V un ad A. B. C. seu sersi V determ. per Y. 7. sed Y
  29. defermi per A. B, et Z determ. per B. C, erit V determiper A B
  30. utiqu s
  31. Ntam si V determi per Y. Z, suB (V). Y. Z ∞ V. Y. Z erit
  32. V ex (V) runeus si V dereru
  33. e
  34. sSit vea
  35. V) ∞ (V+ A. B C. dico sire Y ∞ (V)
  36. Nam V. A. B _
  37. seu in situs unicorum. Hini et determinatur ex extramis Hinc et (nve V. Y. Z ~ (VeY
  38. ) A. B
  39. t ideo Vap ()
  40. VA. B. C
  41. Nam
  42. vino
  43. (1d0) Y. A. B ~ (Y). A. B et ideo Y ∞ () (mo) si V. A. B. C ∞ (V). A. B. C
  44. 1
  45. Ctos Z B = (Z). BC. et ideo y ∞() (2d0) Ergo V. A. B ~ (V). A. B
  46. 2
  47. tas V. A B. Z
  48. 2
  49. V. A B. C
  50. DF u
  51. βtor et V. B. C ~ (V). B. C
  52. (ato) V. Y. Z ∞ (Y). VZ
  53. Lu A, e 1 d
  54. V.
  55. Datis A, B et data relatione A. B. Y datur Y.
  56. data reatione B. C. X datur
  57. A torc. .
  58. V datur V.
  59. relutionibus AB B enk
  60. antum ergy
  61. datis Y.
  62. Datis. Ergo datis
  63. G A. B4 demonstrandum
  64. a
  65. Datis B, C et
  66. et data relatione
  67. A)B, C, et datis
  68. si data A. B. Y, et datis A, datur Ym etiam
  69. lata A A. B. V dabitur Y dari Y. (oe

Cite

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