Leibniz Legible

Machine transcription of the Leibniz Nachlass

Search the Nachlass

[Problema Austriacum Plus Ultra Quadratura Circuli] Problema Avstriacvm Plvs Vltra Qvadratvra Circvli, fol. 33

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

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

The machine reads it as

  1. 1.
  2. F-
  3. de
  4. A.
  5. n.
  6. in
  7. c.
  8. 10
  9. A-
  10. lc.
  11. Ca
  12. 0-
  13. P,
  14. N.
  15. C
  16. n.
  17. di-
  18. uli
  19. 0-
  20. 10.
  21. 10.
  22. B.
  23. (2.
  24. Cn-
  25. C.
  26. Fi
  27. V.
  28. O
  29. IuI.
  30. .
  31. POTENFI A.
  32. eR OPOSTFIO XLVI
  33. Dhrallelosrammi ABC, diameErum AC, Secet FF, aequidistans
  34. ipsi AB in C. Ponatur in supeF BF.
  35. Dico OHI, HA, HIC. cres esse in continuaratione.
  36. Demonstratio.
  37. Cimilia namque lunccriangula, AHTF, BHIC,
  38. quemadmodum e criangula GTIF, AHIC.
  39. quare ve CTI ad HIA; hoc est BH ad HF,
  40. ita HI A ad HIC. Duod crac demonstrandum.
  41. PROPOSITIO ZLVII.
  42. Inc AB C D cuiuscum que parallelo.
  43. grammi, diametri AB, C. D.
  44. Dico diametrorum quadrara limul lumpea, a Guata C Guaatats la
  45. cerum AgurX.
  46. Demonstratio.
  47. DExcrigelimam nonam huius, quadeata AC.
  48. AD aequancur quadracis RC; F A bis
  49. sumpeis: ec per eandem quadraca CB, BD
  50. aqualia lune iildem; scilicet quadraris R C,
  51. EB bis sumpris, sed quadracum C D .Xqua-
  52. TUT F. C quadraca quaceE CumpcO, d AB qu2-
  53. dearum, quadeaco F A quaTEF SuMPTO: PaTCE
  54. erxo vericas proposicionis.
  55. P R O P OS
  56. T1O XEVI
  57. uBC. triangulum ilolceles, duetagueet C, alcetute alet
  58. rumxqualium, vecunquelinca C D, quxe AB laceri, occurrac in D,
  59. hac ip(i C D aequalis D F, iunsancurque L. C.
  60. Dicoangulum BCD, duplum esse anguli AC F.
  61. Demonstratio.
  62. Neutus DA C equalis D eA duobus
  63. angulis D F C, A C F, id est percon.
  64. Aructionem, ansulo DC F vna cum an.
  65. Sulo ACF, id est angulo DC A una
  66. cum angulo AC F. bissumpro. Sed angu-
  67. 10 D AC aequatur angulus BC A, cum
  68. ABC sic ilosceles; isirur angulus BC A,
  69. aequacur angulo DC. A, vna cum angu-
  70. 10 AC F bissumpro, demproisitur com-
  71. muni angulo DC A, manet angulus BC D, aequalis angulo AC P bis sumpco.
  72. Ouoderac demonstrandum.
  73. b16. ert

Cite

[Problema Austriacum Plus Ultra Quadratura Circuli] Problema Avstriacvm Plvs Vltra Qvadratvra Circvli, fol. 33. Machine transcription, not an edition: Leibniz Legible (model FoNDUE-GD_v2_ft_Leibniz, run 74). https://leibnizlegible.com/page/1815201908:0090?run=74