Search the Nachlass

Leibniz-Handschriften zur Mathematik LH 35, 1, 1, fol. [8]r

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. 162
  2. BA ad D, set sit ad AB per pendicularis A Cerunt anguli CAD
  3. et CAB aequales. ipsi (AC applicetur mobilis regula LM,
  4. mobilis servato angulo recto ad AB, et perveniat in BE situ (1(n,
  5. Angulo erit angulus EBB etiam rectus, producatur EMm BEC
  6. EC in F ostendum eststineam M(M) esfa jam ostendendum
  7. est lineam M(M) esse rectam, et angum CM ECL esse rectum
  8. Dica Ducatur rect EM et produratur in EC ut producatuur in B
  9. Recta AC bisceat planum, ut congruant quae sunt ad partes D, et quae ad
  10. partas B Ergtm e sit DF quotis BE ad partes B, qualis BC ad partam B. Eneo anguli ACF et ACE sunt aequales
  11. producatur BC in G, quia linea ECF bifuriam secat planum, ut se eodem
  12. modo habeat ad partes G ut ad partas A, ab angulos ad Cutrinque nosdem,
  13. erit linea ECF recta, rursus
  14. (13) sit recta AB, et super A erigatur pe pendicularis AC
  15. si militer supor B, per perpendicularis BE, aequalis issi AC,
  16. ostendendum est etiam CE esse aequalem ipsi AB et Uny. ad C
  17. aequalem argolo ad A. Ex C educatur ad iegulos rectos
  18. recta BE. Eogo eodem modo se habet ad eductai in desimila CG ad
  19. ut indofinita
  20. 1∞) ex rectae AB in extremis educantur AC, et BD
  21. angulis rectis, congruent AD ABD et BAC..
  22. quia ex hoc solo determinatae sunt audbae rectae, et
  23. eodem modo se habent, ad eandem AB, etiam eodem
  24. mode se habebunt inter se; et proinde orunt par allolae
  25. (12) Dificile est ex solis congruentiae rationibus constituere propricta
  26. naturam parallelarum. Nc itaque eta Axioma quoddam
  27. assum sit coclidaes, quod demonstrare non potuit. Clavio
  28. demonstrationem ejus supplere volenti non soccessit. Ego
  29. Video recurrendum esse ad principium altius rationisd
  30. (12) sed ostendere oportat si una rectu ad
  31. equaler
  32. duas eundem angulos facit, quamvis ad eam
  33. dun angulos facere
  34. multa tentavi,
  35. et video ut hoc qui dem facile demonstrari
  36. posse, si ex recta AB educantur perpendi-
  37. culares aequales AC, et Bd esse Cd aequa reclam
  38. aequalem ipsi AB, et angulom Cd ad C et B esse rectos.
  39. quemadmodum ponendo angatum rectam ex C versus d angulo
  40. recto educi, non facile demonstrari potest itcidere in D,
  41. et angulo itidem recto. Euclides cum difficultatem
  42. (+3) itaque video supplendas esse Geometricus demin-
  43. stantiones ex altiove principio rationis determinantis
  44. in proprietatibus parallelatum demonstrandis reperiret
  45. axioma assunsit assumsit 13 quod rectae ad s ex recta eductae
  46. sic eductae, angulis inaequalibus sed enim res redit) concurrant
  47. quod si volui posusset definire parallesas qu
  48. adeoque non sunt paratelas, nam has defimuit quae in plano
  49. non concurrunt. si maluisset definire paralletas itmedim
  50. quae aequales angulos faciunt ad rectam, debuisset
  51. aeres
  52. AC
  53. fuisset ei axioma quod tales non concurrant
  54. eo rebit ut connexio inter haec duo demonstretur aequalem
  55. angulum facere ad rectam, et non concurrere. Demonstravi paulo ante
  56. facare ad quance si ponatur parallatum angulum aequalen fieri
  57. ad quamcunque rectam. Ergo hoc ostendendum erincipio
  58. em omnem consequi vdet ex altiore
  59. nemperationes determinantis. Ex A AB, ut ungulo aequi
  60. 3) (1
  61. orro quae determinantur
  62. habent inter se
  63. recto eductae AC, BD sunt determinatae
  64. Ae Bd aequales. Utique ob determinata
  65. eodem modo ex eodem, eodem modo se
  66. puncta B et C C ut D, determinata est recta DC. Eritue
  67. Assumatur asumautur
  68. angulus D, aequa ad C aequalis aequ angulo ad D cum ed
  69. eodem modoe determinentur. Su l ergol ostendatur esse rectos
  70. Metientardos pngplose cnterx ereartm ad eandem, si aequalas
  71. sut rectos esse imo quin eodem argumento sequitur angulur
  72. ad D vet ad B esse rectum, quia s ex determinatione nulla
  73. est cur haberi potest ratio cur ed se aliter habeat ad partes E quam ad partes d
  74. congrua esse
  75. (14) Ex his patet congruere HB et C. D ABDC et CDBA rectis
  76. L A A L - MB L.ACN. M BdO et NAL. OBM, angulis A,
  77. Sive inve sive inverti posse posito LA = CN, et BM = d0
  78. ergo congruent etiam recta LM, et No. sed LM recta
  79. ipsis Ata, Bn est indrectum, ergo N0, aequalis ipsi LM
  80. etiam cadit t est ipsis CH, d0 sei cNoD est recta
  81. (15) Eodem modo ponendo AB procedere super
  82. AC t aingulo recto servato, im in cd, inta
  83. intio esse potest cur angulas DBA et DBC Consut
  84. aequales, sencur plus anto aut tanto plus milonetur
  85. in alteram parte. unde quous patet etiam si cd = AB
  86. et angulus ad C rets A et C rectus fore et ad B et d rectum
  87. Unde simul probatur et Bd rectam esse, et ungitur rectum
  88. ea enem sola utrinque habet eodem, modo
  89. (16) Caeterum ex hoc solo quod demenstravimus
  90. prop 5. 13 o eductis angulo recto ad AB rectis
  91. C, Bd, aequalibus angulos ad C et d rectos esse
  92. hiec demonstravit Euclides sequitur sequitur
  93. rectas AC et Bd non posse concurrere quia Euclides
  94. ostendit propositione 28 plimi si ACD,
  95. si anguli Ated, et ABd siut aequales rictus non posse
  96. Idem ostendit prop. 27 ibidem ejusde
  97. si recti incidat isd eodem modo, in duas parallelas
  98. concurrire
  99. sei angulos AEEAC, EBd ese aequales rectas AC, Bd
  100. concurrere non posse F. Ilam sanererat silum
  101. demonstranda inversa, seu quseu quod posito
  102. dup rectas non concuriere recta non, concurrentes inter se
  103. ab endem recta ad eosdem argutos seceribur pae qua 29 primi,
  104. Et hoc reapse redit ad axiom. 13. Ad hoc demon-
  105. strandum proclus astumsit ouas rectas quae
  106. ucuntur ad distantiam a
  107. se invicem venire quanta meanquei, es
  108. lavius autem rem aliter demonstrate
  109. conatur, assumens rectam quae super alia recto manente
  110. eodem mornente angulo sertur describere rectam
  111. potes concipi recta LM moveri ad AC angulo servarto
  112. quocunque et descubere lucm Bd ti jon Bd est recta,
  113. non potest concurrere cum He juna
  114. AC veriret
  115. ad punctem cincursus H, ibi non posset enda facere
  116. augol se XHA, et LHB partem et totum
  117. itaque ris confecta tentasi indo emstet Bd esse rectam
  118. id autem 20) ex eo demonstramum in hac ipsa paraguacso
  119. quod recta mobilis ad ambas quas desti extremis
  120. percurit, se habet eodem modo, Ergo si una est
  121. recta etiam altera talis erit
  122. et (17) ut conc ludatur possus ne parallelas defuire
  123. vel cum cuclider qu rectas quae in eodem plano non
  124. concurrunt, vel esse rectas, quae ad eandem rectam sunt
  125. perpendiculares. oendi enim potest, tum has non concurrere,
  126. tum non concurrentes esse ad eandem rectam perpendiculares.
  127. ostendi etiam potest rectas binas quae ad unam aliquam
  128. rectam angulos aequales faciunt, ad quamdibet aliquam aliam
  129. lui occurrunt argulas aequales facere, proprietites proprietas. Eoclides
  130. quae vero
  131. etsi iminus sit causalis habet tamen hoc quod nihil eligoto sut normales eligit anguli rectum, vult genertt
  132. aecucludis quod quod paralletae sunt quae non concurruit,
  133. A At quae definit per parallelas per eas quae ad eandem rece
  134. paradoxa est, seu d essentiae
  135. dubitabilis, quaeritur enum quae an aliaum que mois alio angulo
  136. eundem anulur facint, iimis dicere
  137. si parolelas quis de finiat lineas quae nec inter se disceni
  138. possunt, nec in varius lais respondenilit possint diserm, demonstrare
  139. quo
  140. debebis, ta tales esse rectas
  141. eod
  142. finitione esse paralletas
  143. Et haec pendentee 16
  144. primi Euclidis, quod
  145. in triangulo angulus
  146. externus sit utr oli
  147. interno opposito major.
  148. A ipsi
  149. excronitote P
  150. ipsi Bal
  151. 50) poluissemus aliter it
  152. demonstrare.
  153. rectam
  154. quom
  155. eudo L
  156. ter ad
  157. ie
  158. magulo
  159. erri prt
  160. et exhen tatE L ac existenta
  161. gum sepditur eas noncnn
  162. re, namhi cuncutrerent veia
  163. rect. e LM eo
  164. enietis
  165. sieu Am, faceret angulo
  166. AHA, XH
  167. uales
  168. partem toti et ractu
  169. tiam alterum este recto jecta
  170. ex eo sed
  171. CM D
  172. se
  173. u)
  174. eodem modo
  175. ad smbas
  176. habente
  177. ut eam adeandem
  178. rectam faciat
  179. eundem angutus

Cite

Leibniz-Handschriften zur Mathematik LH 35, 1, 1, fol. [8]r. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 39). https://leibnizlegible.com/page/00067960:0015?run=39