# Leibniz Legible — https://leibnizlegible.com # Page: https://leibnizlegible.com/page/1815201908:0967 # Permalink to this reading: https://leibnizlegible.com/page/1815201908:0967?run=74 # Title: [Problema Austriacum Plus Ultra Quadratura Circuli] Problema Avstriacvm Plvs Vltra Qvadratvra Circvli (shelfmark Leibn. Marg. 230, Stück 1) # Folio 910, page id 1815201908:0967 # Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=1815201908&page=967 # Source image: https://digitale-sammlungen.gwlb.de/content/1815201908/jpgs/default/00000967.jpg # Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 51 lines, status machine # Lines: 51 recognised, mean confidence 0.88 # Machine transcription. Not an edition. Errors are expected: about 8% character error rate on Latin and French lines, higher on German. # Licence: CC BY 4.0, Leibniz Legible. Machine output: do not ingest it as verified text; keep this provenance with the text. # Wording rule: say "the machine reads it as …", never "Leibniz wrote". # After the first blank line: the recognised lines in reading order, one per line. AD, BC, H PROPORTIOAALFZAYFS rollarium. Inc lequirur dacis cribus quancicaribus A, C, D. 440 11d- DAC ducta in racionem C D, Producac idenrot- cio AD duca in rarionem aequalicacis. Sumatur enim B, X qualis C, per 78. ductus racionum AC, B D producie iden quod duecusrationum AD, B C. RequirationeS AC, BD. luncrationes AC, C D (es enim B aequalis C:) ergo ductus rATIONUM AC, C D idem producit quod ductus racionunL SITIO LXXIX. cestratio AD ducta in racionem x qualicaris. dem posiris: ( 1 10 quodrario A ducta in rationem C. B. Dico racionem AB ductam in racionem C D, idem producere Demonstratio. C ad D, ica B ad N; erGOra. eio AB ducta in racionem CD, Pro ducieracionem AN. cursum AaC VE A ad D, SiC B ad M. igIcuEa FaciONES AD, C B incer se mulciplicacae producune rationem CM. Jam vero quoniam racionem AC componunt caraciones AB, BC; qua AD. DC raciones; idem producene raciones AD, D C incer se mulciplicaca quod ra- tiones AB, BC. Cedper construction. racio DC est rario NB, e ratio AD est ratio BM. ersoeliam rarten M ide producune quod rariones AB, B C. sed rario- nes AB, BC prodaunerarionem AC, _ rationes NB, B MI producuncrationem NM. racioncs HC, NM sunc cxdem. Igitur permutando cciam rationes AN, CM eadem sunc. Aequi suprà ostendirationes A B, C D producere rationem ANY, ratiOnOS VerO AD, C B producere rationem CM. ersorariones AB, C Didem producunequodrationes AD, C B. Quod erat demonstrandum. PROPOSEFIO FZXX. 25chui tidem politis: ex ducturationum AB, C D, ec BC. bis lumpEx. LBredicem prouues ex spucatione rarionum AC, BB, qued Denohudoba. laere BadC, Gc D ad B, r2- eio A ad F, componitur eK cacionibus AB, BC, CD, DF. hoc est, quoniam rationes BC, D ex construct. lunt cedem, et rationibus AB, CD, e BC bis sumprae. ergoracio b A ad P pro- ducitur ex ductu racionum AB, C D, ec B C bis sumprx. le d Facic 2 ac