Oeuvres complètes. Tome VI. Correspondance 1666-1669
(1895)–Christiaan Huygens– Auteursrecht onbekend
[pagina 313]
| |||||||||||||||||||||||||||||||||||||||||
No 1684Ga naar voetnoot1).
| |||||||||||||||||||||||||||||||||||||||||
PraefatioGa naar voetnoot3).Tanta est in ratiocinio Mathematico certitudo & evidentia, ut eo ritè considerato nihil non audeant etiam Viri modestissimi: si tamen magni quid tentaverint, ideo innata est humano generi invidia & aemulatio, ut generalis quasi fiat consensus, illos ludibrio exponendi: eorum enim inventa (etiamsi verissima) à prorsus ignaris deridentur, à sciolis vel surripiuntur vel rejiciuntur, & à verè doctis (quorum judicio & authoritati talia submittuntur) neglecta manent. Imo non desuntGa naar voetnoot4), qui, ejusdem inventi partem ignobiliorem, aliis quippe approbatam, sibi arrogant, & reliqua longè subtiliora non sine famae suae jacturâ fastuosè rejiciunt; responsa interim spernunt, praeclarius existimantes, infallibiles haberi apud ignaros, quàm ingenui apud doctos: O coeca famae libido, quae homines ita dementat, ut omniscii apparere satagant! Non carent hoc communi fato nostrae de circulo & hyperbolâ lucubrationes, quas à paucissimis video vel intelligi vel examinatu dignas aestimari: Censores enim plerique scriptorum potius famam quàm rationes considerant; nam adeo arridet hominibus authoritas, ut nihil novi (quod alicujus momenti sit) à novis authoribus inveniri credant. Ego tam iniquis censuris stimulatus, hisce exercitationibus conabor ostendere, etiam in rebus Mathematicis maximè obviis & usui humano necessariis, non pauca esse quae subtilissimos Geometras hucusque latuerunt; atque ita fortasse de aliis nostris speculationibus minùs rigidè judicabitur. Quae interim objiciuntur à praestantissimo | |||||||||||||||||||||||||||||||||||||||||
[pagina 314]
| |||||||||||||||||||||||||||||||||||||||||
GeometraGa naar voetnoot5) contra nostram Doctrinam, hic resolvere conabor. Admitto (inquit) in Propositione 11 Demonstratum esse, quod Sector ABIP non sit analyticè compositus à triangulo ABP & Trapezio ABFP; sed non video ubi demonstretur Sectorem ABIP non esse analyticè compositum ex aliis quantitatibus. Ego facilè agnosco infinitas alias esse quantitates, è quibus analyticè componitur Sector ABIP, sed Reverendum Virum interrogo, quomodo innotescant illae quantitates è datis solummodo triangulo ABP & Trapezio ABFP, nam hae Problema determinant, & proinde aliae frustra dantur: si autem invenviantur; inveniuntur vel analyticè vel non analyticè; si posterius, concedo totum; si autem analyticè inveniantur è quantitatibus ABC, ABFP, & Sector rursus analyticè componatur ex illis; Idem Sector etiam analyticè componetur ex quantitatibus ABP, ABFP, quod est absurdum, nempe contra Propositionem 11, quae admittitur. Si autem insistatur, Sectorem posse componi analyticè ex aliis quantitatibus, quae illam determinant praeter ABP, ABFP: dico ABP, ABFP, vel posse componi analyticè ex aliis illis quantitatibus vel non; si posterius, concedo totum, sed tales quantitates exhiberi desidero; si prius, Analyseos tenorem examinando, satis constabit alias illas quantitates etiam analyticè componi ex ABP, ABFP, & ita ad primum casum relabimur. Satis etiam sciunt Geometrae, perinde esse quo ad solutionem, quomodocunque determinetur problema; si igitur solutio analytica sit impossibilis ex quantitatibus ABF, ABFP, illud determinantibus; impossibilis etiam erit ex aliis, quas, analyticè exhiberi possunt. Existimabam duas nostras petitiones unà cum scholio Propositionis 11. huic dubio satisfecisse; sed fateor humeris meis onus impar, nova principia (etiamsi intellectui claro & exercitato evidentissima) ita stabilire, ut unicuique satisfaciat. Possem aliis objectionibus hic respondere, quae me anxium tenebant, dum haec primò mente revolverem; sed animadverto objectiones Mathematicas cuilibet praeter Authorem proprium frivolas apparere. In Epistola verae Circuli & Hyperbolae quadraturae pagina 5. agnosco me totum institutum ad puram Geometriam non reduxisse, quoniam robur principalis propositionis nempe 11. dependet tantùm ex Canonibus analyticis; adeo certa tamen est, ut, eâ vacillante, necessario corruat tota Analysis; at in reliquis omnibus existimo me rigorosè satisfecisse. Si autem quis velit rigore Geometrico propositionem 11. demonstrare; poterit fortasse in institutum assequi hac ratione. Demonstretur primò haec notio incommensurabilitas: Si fuerint duae vel plures quantitates inter se commensurabiles & quaedam alia, quae ex illarum Additione, Subductione, Multiplicatione, Divisione, non potest componi; erit illa alia quantitas prioribus incommensurabilis, & vice versâ: deinde ex hac notione deducatur universalis doctrina incommensurabilitatis; quae erit non solùm analoga huic doctrinae non analyticae, sed illi etiam viam sternet. | |||||||||||||||||||||||||||||||||||||||||
[pagina 315]
| |||||||||||||||||||||||||||||||||||||||||
Appendicula Ad Veram circuli & hyperbolae quadraturam.Ante menses aliquot evulgavit Nobilissimus Vir Christianus Hugenius animadversiones quasdamGa naar voetnoot6) in meam Circuli & Hyperbolae quadraturam, quibus existimo meGa naar voetnoot7) (in transactionibus Philosophicis Mensis Julii) solide satisfecisse: duae autem fuerunt parvi momenti, quibus tunc temporis respondere non potui; utpote in ejus scriptis nequaquam versatus: prima erat, quod mea circuli approximatio esset minùs praecisa quam suaGa naar voetnoot8); secunda, quod mea Hyperbolae mensuratio esset optima, quam tamen non credebat Regiae Societati apparere novam, quoniam illam eandem Hyperbolae quadraturam ante aliquot annos supposuit; Dum Regiae Societati monstraret methodum suam inveniendi aëris gravitates in diversis a terra distantiisGa naar voetnoot9). Conatur hic tacitè Hugenius me ignorantiae & plagii accusare; sed non animadvertit se sibi contradicere, dum meam Hyperbolae mensurationem amplectitur, circularem autem rejicit, cum utraque una & eadem sit: oportet ergo ut non percipiat ultimas suas approximationes in libro de magnitudine CirculiGa naar voetnoot10) (quas tanti aestimat) Hyperbolae etiam esse applicabiles; debuit igitur & meam Hyperbolae quadraturam rejicere: at animadvertendum est ultimam meam approximationem (cujus demonstratio ex hac appendicula dependet) in fine Propositionis 25, magis esse praecisam & multo minus laboriosam quam ulla Hugeniana. Quod attinet ad secundam Hugenii accusationem: expectabam certe à tanto viro majorem ingenuitatem; Nec enim potui hactenus edoceri, esse quenquam è Societate Regia, qui tale quid ab Hugenio unquam prolatum recordaturGa naar voetnoot11). Non solum praedictae rationes sed etiam aliae mihi quasi persuadent Hyperbolae quadraturam, saltem ante tot annos, Hugenio non innotuisse; nam nihil in tota Geometria à Mathematicis adeo est desideratum, immo nec usui humano magis accommodatum; quis ergo Geometra speculationem non solum celeberrimam sed etiam maximae utilitatis 7 vel 8 annorum spatio adeo superstitiosè celaret; & praecipuè Hugenius, qui non adeo alienus est à scribendi pruritu, ut res ordinarias aliquando etiam satis prolixè non edat in lucem: testantur Theoremata de Quadratura Hyperboles, El- | |||||||||||||||||||||||||||||||||||||||||
[pagina 316]
| |||||||||||||||||||||||||||||||||||||||||
lipsis & Circuli ex dato portionum gravitatis CentroGa naar voetnoot12), quae sunt solummodo consectaria ad generalia Guldini inventa, anno 1635 impressa, supposito tantum solido rotundo Hyperbolico circa Diametrum conjugatam, quod inventu non est difficile: testatur quoque liber de Magnitudine CirculiGa naar voetnoot13), qui aliud non est quam comparatio segmenti Circularis cum segmento parabolico inscripto vel circumscripto eidem triangulo, satis etiam prolixe in lucem editus: atque haec omnia subtilitate utilitate & gloriâ Hyperboles quadraturae longè cedunt, hanc autem suo nomine indignam, vel reliquis saltem indigniorem censuit Hugenius. At parum refert quis sit ejus primus inventor, satis enim constat me primum esse publicatorem; neque mihi esset difficile affirmare (si modo mentiri vellem) me ante 20 annos illam cognovisse: utcunque fit, conabor hic Circuli & Hyperbolae quadraturam ad talem perfectionem promovere, ut Hugenius prolem suam vix cognoscat. Invenimus nos duplex compendium in mensuratione Circuli & Hyperbolae; Primum consistit in continuatione seriei convergentis; Secundum in methodo inveniendi approximationes.
| |||||||||||||||||||||||||||||||||||||||||
Propositio I.Inter A, B quantitates arbitrarias est media Geometrica C, item inter C, B sit media harmonica D, & continuetur series convergens, ut sit ejus terminatio, seu Circuli, Ellipseos vel Hyperbolae sector Z. Sit ut B ad C ita quantitas ad libitum 2 L ad M, sitque inter L & 2 L + M media Geometrica P, & fiat Q2 = differentiae inter 4 L2 & P2, item a2 = differentiae inter 4 L2 & M2. Dico a∶2Q∷C∶E. Nam B∶C∷2 L∶M, & convertendo & componendo C + B∶B∷M + 2 L∶ 2 L, sed C + B∶B∷2 C∶D, & ideo 2 C ∶D∷M + 2 L∶2 L; & duos ultimos analogiae terminos ducendo in differentiam inter M & 2 L, 2C est ad D ut differentia inter 4 L2 & M2 ad differentiam inter 4 L2 & 2 ML, & consequentes duplicando, item priores terminos bipartiendo, C est ad D ut differentia inter 4 L2 & M2 ad differentiam inter 8 L2 & 4 ML = 4 Q2, hoc est, C2 est ad E2 ut differentia inter 4 L2 & M2=a2 ad 4 Q2, & ideo C∶E∷a∶2 Q, quod, &c. | |||||||||||||||||||||||||||||||||||||||||
[pagina 317]
| |||||||||||||||||||||||||||||||||||||||||
Propositio II.Eisdem positis quae in antecedente. Dico E∶D∷P∶2 L. ex antecedente 2 C∶ D∷M + 2 L∶2 L, & ultimos terminos ducendo in L, 2 C∶D∷M L + 2 L2∶ 2 L2, & consequentes duplicando, item priores bipartiendo C∶D∷M L + 2 L2 = P2∶4 L2, & ideo E∶D∷P∶2 L, quod, &c. | |||||||||||||||||||||||||||||||||||||||||
Propositio III.Eisdem positis, sit inter L & 2 L + P media Geometrica R, sitque S2 = differentiae inter 4 L2 & R2. Dico C∶G∷a∶4 S. Est enim E∶D∷P∶2 L, & componendo E + D∶D∷P + 2 L∶2 L, sed E + D∶D∷2E∶F, & proinde 2 E∶F∷P + 2 L∶2 L, & posteriores terminos ducendo in differentiam inter 2 L & P, item consequentes duplicando & priores terminos bipartiendo, E est ad F ut disserentia inter 4 L2 & P2 = Q2 ad differentiam inter 8 L2 & 4 P L = 4 S2, & ideo E∶G∷Q∶2 S, &E∶G∷2Q∶4 S, at ex hujus 1ma C∶E∷ a∶2 Q, & ideo ex aequalitate C∶G∷a∶4 S, quod, &c. | |||||||||||||||||||||||||||||||||||||||||
Propositio IV.Eisdem positis, dico G∶F∷R∶2L, ex antecedente 2 E∶F∷P + 2 L∶2 L, & posteriores terminos ducendo in L, 2 E∶F∷P L + 2 L2, & consequentes duplicando, item priores terminos bipartiendo, E∶F∷P L + 2 L2 = R2∶4 L2, & ideo G∶F∷R∶2 L, quod, &c. | |||||||||||||||||||||||||||||||||||||||||
Propositio V.Eisdem positis, sit inter L & 2 L + R media Geometrica T, sitque V2 aequalis differentiae inter 4 L2 & T2. Dico C∶I∷a∶8 V. Est enim G∶F∷R∶2 L & componendo G + F∶F∷R + 2 L∶2 L, sed G + F∶F∷2 G∶H, & ideo 2 G∶H∷R + 2 L∶2 L, & posteriones terminos ducendo in differentiam inter 2 L & R, item consequentes duplicando & priores terminos bipartiendo, G est ad H ut differentia inter 4 L2 & R3 = S2 ad differentiam inter 8 L2 & 4 R L = 4 V2, & ideo G∶I∷S∶2 V, & G∶I∷4 S∶8 V, & ex hujus 3tia C∶ G∷a∶4 S, & ideo ex aequalitate C∶I∷a∶8 V, quod, &c. | |||||||||||||||||||||||||||||||||||||||||
Scholium.Ex praedictis manifestum est, seriem a, 2 Q, 4 S, 8 V, 16 Y &c. esse analogam seriei C, E, G, I, N; & proinde ut a ad terminationem suae seriei ita C ad sectorem Z∶at posita 2 L binario cum numero quodam cyphrarum, inveniuntur omnes M, P, R, T, X, ex tot radicis quadratae extractionibus; & proinde poterit series a, 2 Q, &c. produci ad libitum à paucis operationibus, exempli gratia si desidera- | |||||||||||||||||||||||||||||||||||||||||
[pagina 318]
| |||||||||||||||||||||||||||||||||||||||||
rem terminum 16 Y; produco seriem M, P, &c. in X, cujus quadrati differentia à 4 L2 est quadratum ipsius Y∶ si autem quaeratur terminus convergens debitus termino 16 Y, dividatur duplum quadrati ipsius 16 Y per 8 V + 16 Y, & quotus dabit quaesitum. Atque hoc est compendium non inelegans ad producendas Circuli, Ellipseos vel Hyperbolae prolixiores series convergentes; non tamen est dissimulandum hanc methodum esse lubricam & in longa continuatione multas è notis posterioribus falsificare, ob continuam Multiplicationem Numerorum Progressionis Geometricae duplae à binario. Antequam accedamus ad secundum nostrum compendium, considerentur hic Circuli proprietates quaedam eximiae. Sit A polygonum regulare Circulo inscriptum, B eidem simile circumscriptum, C polygonum inscriptum, duplum habens laterum numerum, D eidem simile circumscriptum, & continuetur series convergens, &c. C erit medium Geometricum inter A & B. D erit medium harmonicum inter C & B. Si B ponatur perimeter polygoni B, erit C perimeter polygoni A, quoniam similia polygona B, A, sunt in duplicata ratione perimetrorum; erit quoque D perimeter polygoni D, quoniam polygona Circulo circumscripta sunt in eadem ratione cum suis perimetris; eodem modo erit E perimeter polygoni C, Item F perimeter polygoni F, & sic deinceps. Perimeter polygoni D erit medium harmonicum inter perimetros polygonorum A, B. Perimeter polygoni C erit medium Geometricum inter perimetros polygonorum A, D. Hae proprietates non solum insunt Circuli integro, sed etiam (consideratis considerandis) omni sectori: tertiam autem proprietatem si animadvertisset Hugenius, illi non opus fuisset tam prolixis demonstrationibus easdem approximationes à polygonis ad eorum perimetros revocare, cum series polygonorum eadem sit cum serie perimetrorum. Secundum nostrum compendium consistit in methodo inveniendi approximationes, quae sequenti theoremati superstruitur. | |||||||||||||||||||||||||||||||||||||||||
Theorema.
| |||||||||||||||||||||||||||||||||||||||||
[pagina 319]
| |||||||||||||||||||||||||||||||||||||||||
Quoniam enim P eodem modo componitur à terminis A, B, quo Q à terminis C D, & P major est quam Q, erit etiam Q major quam quantitas eodem modo composita à terminis E F, & haec major quam quantitas eodem modo composita à terminis G H, & sic in infinitum usque ad Z; & proinde Q multo major erit quam quantitas eodem modo composita à Z, Z, quo Q à C D vel X, X; hoc est, Q composita à X, X, major est quam quantitas eodem modo composita à Z, Z; & ideo X major est quam Z, quod, &c. Eodem prorsus modo demonstratur secunda Theorematis pars. Ex hoc Theoremate (caeteris paribus) facile patet differentiam inter X & Z eo esse minorem, quo minor fuerit indefinita differentia inter P & Q. Hinc patet campus vastissimus inveniendi approximationes non solum in Circuli & Hyperbolae mensura, sed etiam in omnium aliarum serierum convergentium terminationibus: nos tamen unam particularem methodum eligimus, quam existimamus esse reliquis faciliorem & minus prolixam, nempe ex inventorum terminorum combinatione; in hac enim prolixae operationes Arithmeticae evitantur. Ope nostrae methodi sequentes invenimus approximationes, quae hic examinandae subjiciuntur. Sint duo polygona complicata A, B, nempe A intra Circuli vel Ellipseos sectorem, B extra: continuetur series convergens in infinitum (nempe in CD, EF, G H, &c.) ut sit ejus terminatio seu Circuli vel Ellipseos sector Z. Erit Z minor quam 16C+2B-3A/15 & major quam 16D+A-2B/15, haec approximatio veras notas terminorum CD triplicat. Erit Z minor quam [768F+256E-76D-4C+B]∶945 & major quam 1024E+128D-208C+3A-2B/945, haec approximatio veras notas terminorum EF quadruplicat. Erit Z minor quam 12288E+16384F-576D-1328C+2B+5A/26775 & major quam 512E+512F-72C+A-8D/945, haec approximatio veras notas terminorum E F quintuplicat. Erit Z minor quam 524288G+524288H-74240E-8704F+1096C-A+8D/966735 & major quam 12582912G+16777216H-606208F-1372160E+2624D+6448C-2B-5A/27390825, haec approximatio sextuplicat veras notas terminorum G H. Erit Z minor quam [51539607552I+68719476736K-2499805184H-5632950272G+11354112F+27783168E-10816D-26928C+2B+5A]∶ 112165428375 & major quam [2147483648I+2147483648K-304611328G-36175872H+4563456E+41472F-5192C-8D+A]∶3958779825, haec approximatio septuplicat veras notas terminorum I K. | |||||||||||||||||||||||||||||||||||||||||
[pagina 320]
| |||||||||||||||||||||||||||||||||||||||||
Ut apparat hanc nostram methodum etiam esse applicabilem seriebus simplicibus, sequentes considerentur approximationes. Erit Z major quam 64E-20C+A/45, quae veras notas triplicat; & major quam 4096G-1344E+84C-A/2835, quae quadruplicat; & major quam 1048576I-348160G + 22848E-340C + A/722925, quae quintuplicat; item & major quam 1073741824L-357564416I+23744512G-371008E+1364C-A/739552275, quae sextuplicat. Erit quoque Z minor quam 64F-20D+B/45, quae triplicat, & major quam 4096H-1344F+84D-B/2835, quae quadruplicat; & minor quam 1048576K-348160H+22848F-340D+B/722925, quae quintuplicat; & major quam 107341824M-357564416K+23744512H-371008F+1364D-B/739552275, quae sextuplicat. Quod, si quis desideret approximationes omnium possibilium simplicissimas, sequentes tales esse non sine ratione affirmo. Erit Z minor quam 8C+8D-A/15, & major quam 12D+4C-B/15, quae triplicat; & minor quam 320E+256F-52C+A/525, & major quam 48C+64D-2B-5A/105, quae quadruplicat; item minor quam 24704E+35072F-1356D-2460C+5B/55965, & major quam 512E+512F-72C+A-8D/945, quae quintuplicat. Omnes hae approximationes (si analytice examinentur) praecedenti Theoremati quadrabunt; & insistendo vestigiis analyseos, dicto Theoremati superstruenda est compositio Geometrica, quae satis difficilis & intricata reperietur. Methodum has approximationes inveniendi, ob diveras rationes mihi satis perspectas, celare statuo: paratus tamen sum non solum alias longè differentes harum loco substituere, sed etiam approximationes exhibere, quae veras notas octuplucent, nonuplicent, decuplicent, &c. in infinitum etiam in aliis seriebus convergentibus ex sola hac terminorum convergentium combinatione. Posito A polygono sectori Hyperbolico circumscripto, & B inscripto, &c. | |||||||||||||||||||||||||||||||||||||||||
[pagina 321]
| |||||||||||||||||||||||||||||||||||||||||
eaedem approximationes inserviunt Hyperbolae, hoc solo observato quod (in verarum notarum triplicatione, quintuplicatione, septuplicatione, &c.) major approximatio nunc fiat minor & è contra. Non opus est ut lectorem admoneam (modo praedicta intellexerit) has approximationes inservire curvis circularibus & earum adscriptis: Placet tamen sequentes approximationes exhibere huic proposito accommodatas. Sit A sinus alicujus arcus, B ejusdem tangens, C chorda & D tangens resecta a recta per terminum diametri, seu duplum tangentis semissis arcus: erit arcus minor quam 96C-22A+B/75, item minor quam 16C-3A+2D/15, quae utraque veras notas triplicat, & major quam 320C+52D-56A-B/315, quae quadruplicat. |
|