Svmmarivm
Haec lectio partem generibvs nvmerorvm dicatam aperit. Iter partis exponit, qvod a nvmeris natvralibvs proficiscitvr et per amplificationes svccessivas ad integros, rationales, reales et complexos pervenit; historiam harvm amplificationvm retexit, a fractionibvs Aegyptiacis et a crisi Graeca incommensvrabilivm vsqve ad fvndamentationem rigorosam saecvli vndevicesimi; qvaestionem vnde ortae svnt accvrate envntiat, qvae semper est aeqvatio sine solvtione in genere praesto exstante, et casvm Bombelli perscrvtatvr, in qvo aeqvatio solvtionvm realivm transitvm per nvmeros complexos postvlat. Ad extremvm indicat vbi haec genera adhibeantvr in reliqvo cvrsv, in aliis cvrsibvs sitvs et in scientia et arte.
Proposita discendi
- Iter partis describere et explicare qvid qvaeqve lectio conferat ad seriem constrvctionvm qvae a natvralibvs ad complexos dvcit.
- Pro qvaqve amplificatione aeqvationem formare qvae eam movet, et indicare qvae proprietas in qvaqve amplificatione acqviratvr et qvae amittatvr.
- Praecipvas aetates amplificationis notionis nvmeri in svo contextv historico collocare et qvaestionem mensvrae, calcvli vel fvndamenti agnoscere qvae vnamqvamqve impvlit.
- Indicare vbi genera nvmerorvm interveniant in reliqvo cvrsv, in aliis cvrsibvs et in vsibvs scientificis et technicis.
Probatio initialis
Anteqvam pars percvrratvr, expedit pvnctvm vnde proficiscimvr metiri. Haec svi ipsivs aestimatio nvllam notam tribvit: eo valet vt sciatvr vbi immorandvm sit. Decem primae qvaestiones octo lectiones attingvnt qvae argvmentvm partis tradvnt: sexta et septima ambae ad potentias exponentis rationalis pertinent (altera earvm, ad denominatorem rationalem reddendvm), et decima ad expressionem decimalem redit vt problema in rebvs positvm formetvr eivsqve effectvs notatione scientifica, cvm rotvndatione apta, commvnicetvr. Eaedem facvltates in fine itervm mensvrantvr, in lectione synthesis, aliis datis; tres vltimae confirmant qvid haec pars ex priore, de nvmeris natvralibvs, pro cognito habeat: divisionem cvm residvo, maximvm commvnem divisorem et lemma Evclidis.
Antequam vnitatem incipias, pvnctvm vnde proficisceris metire. Brevis est sui ipsivs probatio: non aestimatvr, et eivs exitvs in solo tvo navigatro servatvr.
Qvaestio 1Qvae ex his aeqvationibvs solvtionem in habet, sed non in ?
Eivs solvtio, , iam rationalis est: haec aeqvatio ea est qvae transitvm ab integris ad rationales cogit, non a rationalibvs ad reales.Eivs solvtio, , integra est: haec aeqvatio transitvm a natvralibvs ad integros movet.Solvtionem realem non habet, qvia qvadratvm nvmeri realis nvmqvam negativvm est; eivs solvtiones, et , complexae svnt.Eivs solvtiones svnt et , qvae reales svnt; et rationalis non est, qvia qvadratvm nvmeri natvralis non est. Idem est argvmentvm qvod irrationalitatem nvmeri demonstrat.Qvaestio 2In constrvctione nvmerorvm integrorvm, qvod ex his paribvs nvmerorvm natvralivm evndem nvmervm integrvm repraesentat atqve par ?
Oppositvm repraesentat, : componentibvs permvtatis par ad diagonalem reflectitvr. Condicio non expletvr.Ambae componentes per mvltiplicatae svnt, vt in amplificatione fractionis. Paria nvmerorvm natvralivm per differentiam identificantvr, non per qvotientem: .Nvmervs vni tantvm componenti additvs est, qvod differentiam mvtat: nvmervm repraesentat, qvia . Vt ad alivm repraesentantem transeatvr, idem vtriqve componenti addendvm est.Dvo paria et aeqvivalentia svnt cvm ; hic . Ambo nvmervm integrvm repraesentant.Qvaestio 3Compvtare et effectvm vt fractionem irredvcibilem dare.
Responsvm rectvm:
Minimvm commvne mvltiplvm nvmerorvm et est , et . Denominatore obtinetvr , qvod ad evndem effectvm simplificatvr. Qvi obtinet nvmeratores et denominatores separatim svbtraxit.Qvaestio 4Qvae ex his fractionibvs expressionem decimalem finitam habet?
Denominator fractionis irredvcibilis factorem primvm habet, ideoqve expressio periodica est: Non satis est denominatorem mvltiplvm nvmeri esse.Denominatorem in desinere non satis est: factorem habet, et expressio periodica est.Denominatorem parem esse non satis est: factorem habet, et expressio periodica est.Irredvcibilis est et eivs denominator est , sine aliis factoribvs primis: expressio finita est, .Qvaestio 5Qvae est copia nvmerorvm realivm qvi condicioni satisfacivnt?
Signvm nvmeri mvtatvm est: ex seqvitvr , non .Termini ad copiam non pertinent, qvia inaeqvalitas stricta est: in habetvr , qvod minvs qvam non est.Sola inaeqvatio solvta est. Valor absolvtvs etiam postvlat, et exempli gratia dat .Condicio aeqvivalet condicioni ; cvm , addendo et dividendo per fit .Qvaestio 6Compvtare .
Responsvm rectvm:
Potentia est radix cvbica nvmeri , et cvm , habetvr . Qvi obtinet oblitvs est exponentem negativvm inversvm dare; qvi obtinet exponentem negativvm cvm signo effectvs confvdit.Qvaestio 7Qvis est effectvs, cvm denominator nvmeri rationalis redditvr?
Qvadrata addita svnt, : prodvctvm svmmae et differentiae dvorvm nvmerorvm est differentia qvadratorvm eorvm, non svmma.Binomivm denominatoris servatvm est loco conivgati eivs. Si hic effectvs esset, valeret , sed valet .Scriptvm est : radix differentiae non est differentia radicvm.Nvmerator et denominator per conivgatvm denominatoris mvltiplicantvr, ; denominator fit differentia qvadratorvm, , qvae cvm nvmeratore simplificatvr.Qvaestio 8Pro qvo valore nvmeri systema , infinitas solvtiones habet?
Responsvm rectvm:
Determinans systematis est , et secvnda aeqvatio coefficientes primae per mvltiplicatos habet. Si , ambae aeqvationes eaedem svnt et infinitae solvtiones svnt; si , inter se repvgnant et nvlla est. Determinantem nihilo aeqvalem esse non satis est vt infinitae solvtiones sint.Repete: Aeqvationes et inaeqvationes primi gradvs et systemata linearia
Qvaestio 9Qvae svnt solvtiones in aeqvationis ?
Svmptvm est loco in formvla: svmma solvtionvm debet esse , non .Deest divisio per . Nvmero in aeqvationem svbstitvto non obtinetvr .Svmpta est radix nvmeri loco radicis nvmeri . Hi nvmeri solvtiones non svnt: eorvm prodvctvm est , non .Discriminans est , cvivs radix qvadrata in est ; solvtiones svnt , conivgatae, vt aeqvationi coefficientivm realivm convenit.Qvaestio 10Epistomivm male clavsvm gvttam qvibvsqve secvndis cadere sinit, et qvaeqve gvtta volvmen millilitrorvm habet. Qvot litra aqvae amittit in anno diervm? Effectvm notatione scientifica exprimere, ad dvos digitos significantes rotvndatvm.
Digiti svperflvi svblati svnt loco rotvndationis: propior est nvmero qvam nvmero . Trvncatio errorem rotvndationis paene dvplicare potest.Ille nvmervs millilitra nvmerat, non litra: deest divisio per .Vna gvtta per secvndam svpposita est; dimidivm cadit, vna qvibvsqve dvabvs secvndis.Annvs secvndas habet; cadit dimidivm hvivs nvmeri gvttarvm, , qvae simvl millilitra efficivnt, id est litra. Ad dvos digitos significantes rotvndatvm, , cvm errore relativo minore qvam .Qvaestio 11Ex vnitatibvs prioribvsQvi svnt qvotiens et residvvm divisionis cvm residvo nvmeri per ?
Aeqvalitas vera est, sed residvvm condicioni satisfacere debet. Est qvotiens versvs nihilvm trvncatvs, qvi cvm qvotiente divisionis cvm residvo congrvit solvm cvm haec exacta est vel dividendvs negativvs non est.Nvmervs per divisvs est et solvm signvm qvotientis mvtatvm est: , non .Habetvr cvm , et qvotiens et residvvm his condicionibvs vnica svnt.Qvaestio 12Ex vnitatibvs prioribvsMaximvm commvnem divisorem nvmerorvm et compvtare.
Responsvm rectvm:
Algorithmo Evclidis, , et ; vltimvm residvvm a nihilo differens est . Item et commvnem habent . Qvi obtinet minimvm commvne mvltiplvm compvtavit, et qvi obtinet factorem commvnem oblitvs est.Repete: Maximvs commvnis divisor et minimvm commvne mvltiplvm
Qvaestio 13Ex vnitatibvs prioribvsSi nvmervs primvs nvmervm dividit, cvm natvrali, qvid affirmari potest?
Lemma Evclidis de qvovis prodvcto nvmerorvm natvralivm valet; qvod postvlatvr est vt divisor primvs sit, non factores.Contra est: cvm nvmervm dividat, qvadratvm nvmervm dividit.Argvmentvm a paritate non pendet: lemma Evclidis de omni nvmero primo valet.Per lemma Evclidis, nvmervs primvs qvi prodvctvm dividit aliqvem factorvm dividit; hic ambo factores svnt . Est pvnctvm praecipvvm demonstrationis nvmervm rationalem non esse.
Argvmentvm oneratvr…