Theorematis arithmetici demonstratio nova

by Carolus Fridericus Gauss

Carolus Fridericus Gauss

Theorematis Arithmetici Demonstratio Nova

1808

editio: incognita
fons: incognitus

1.

Quaestiones ex arithmetica sublimiori saepenumero phaenomenon singulare offerunt, quod in analysi longe rarius occurrit, atque ad illarum illecebras augendas multum confert. Dum scilicet in disquisitionibus analyticis plerumque ad veritates novas pertingere non licet, nisi prius principiis, quibus innituntur quaeque ad eas viam quasi patefacere debent, penitus potiti simus: contra in arithmetica frequentissime per inductionem fortuna quadam inopinata veritates elegantissimae novae prosiliunt, quarum demonstrationes tam profunde latent tantisque tenebris obvolutae sunt, ut omnes conatus eludant, acerrimisque perscrutationibus aditum denegent. Tantus porro adest tamque mirus inter veritates arithmeticas, primo aspectu maxime heterogeneas, nexus, ut haud raro, dum longe alia quaerimus, tandem ad demonstrationem tantopere exoptatam longisque antea meditationibus frustra quaesitam longe alia via quam qua exspectata fuerat felicissime perveniamus. Plerumque autem huiusmodi veritates eius sunt indolis, ut pluribus viis valde diversis adiri queant, nec semper viae brevissimae sint, quae primo se offerunt. In magno itaque certe pretio habendum erit, si, tali veritate longe incassum ventilata, dein demonstrata quidem sed per ambages abstrusiores, tandem viam simplicissimam atque genuinam detegere contigerit.

2.

Inter quaestiones, de quibus in art. praec. diximus, locum insignem tenet theorema omnem fere theoriam residuorum quadraticorum continens, quod in Disquisitionibus arithmeticis (Sect. IV) theorematis fundamentalis nomine distinctum est. Pro primo huius elegantissimi theorematis inventore ill. Legendre absque dubio habendus est, postquam longe antea summi geometrae Euler et Lagrange plures eius casus speciales iam per inductionem detexerant. Conatibus horum virorum circa demonstrationem enumerandis hic non immoror; adeant quibus volupe est opus modo commemoratum. Adiicere liceat tantummodo, in confirmationem eorum, quae in art. praec. prolata sunt, quae ad meos conatus pertinent. In ipsum theorema proprio marte incideram anno 1795, dum omnium, quae in arithmetica sublimiori iam elaborata fuerant, penitus ignarus et a subsidiis literariis omnino praeclusus essem: sed per integrum annum me torsit, operamque enixissimam effugit, donec tandem demonstrationem in Sectione quarta operis illius traditam nactus essem. Postea tres aliae principiis prorsus diversis innixae se mihi obtulerunt, quarum unam in Sectione quinta tradidi, reliquas elegantia illa haud inferiores alia occasione publici iuris faciam. Sed omnes hae demonstrationes, etiamsi respectu rigoris nihil desiderandum relinquere videantur, e principiis nimis heterogeneis derivatae sunt, prima forsan excepta, quae tamen per ratiocinia magis laboriosa procedit, operationibusque prolixioribus premitur. Demonstrationem itaque genuinam hactenus haud affuisse non dubito pronunciare: esto iam penes peritos iudicium, an ea, quam nuper detegere successit, quamque pagellae sequentes exhibent, hoc nomine decorari mereatur.

3.

Theorema. Sit ${\textstyle p}$ numerus primus positivus; ${\textstyle k}$ integer quicunque per ${\textstyle p}$ non divisibilis; $${\begin{aligned}&A{\text{ complexus numerorum }}1,2,3\ldots {\frac {1}{2}}(p-1)\\&B{\text{ complexus horum }}{\frac {1}{2}}(p+1),{\frac {1}{2}}(p+3),{\frac {1}{2}}(p+5)\ldots p-1\end{aligned}}$$ Capiantur residua minima positiva productorum ex ${\textstyle k}$ in singulos numeros ${\textstyle A}$ secundum modulum ${\textstyle p}$, quae manifesto omnia diversa erunt, atque partim ad ${\textstyle A}$ partim ad ${\textstyle B}$ pertinebunt. Iam si ad ${\textstyle B}$ omnino ${\textstyle \mu }$ residua pertinere supponantur, erit ${\textstyle k}$ vel residuum vel non-residuum quadraticum ipsius ${\textstyle p}$, prout ${\textstyle \mu }$ par est vel impar.

Dem. Sint residua ad ${\textstyle A}$ pertinentia haec ${\textstyle a}$, ${\textstyle a^{\prime }}$, ${\textstyle a^{\prime \prime }\ldots }$, reliqua ad ${\textstyle B}$ pertinentia ${\textstyle b}$, ${\textstyle b^{\prime }}$, ${\textstyle b^{\prime \prime }\ldots }$, patetque posteriorum complementa ${\textstyle p-b}$, ${\textstyle p-b^{\prime }}$, ${\textstyle p-b^{\prime \prime }\ldots }$ cuncta a numeris ${\textstyle a}$, ${\textstyle a^{\prime }}$, ${\textstyle a^{\prime \prime }\ldots }$ diversa esse, cum his vero simul sumta complexum ${\textstyle {A}}$ explere. Habemus itaque $$1.2.3\ldots {\frac {1}{2}}(p-1)=aa^{\prime }a^{\prime \prime }\ldots (p-b)(p-b^{\prime })(p-b^{\prime \prime })\ldots$$ Productum posterius autem manifesto fit $${\begin{aligned}&\equiv (-1)^{\mu }aa^{\prime }a^{\prime \prime }\ldots bb^{\prime }b^{\prime \prime }\ldots \equiv (-1)^{\mu }k.2k.3k\ldots {\frac {1}{2}}(p-1)k\\&\equiv (-1)^{\mu }k^{{\frac {1}{2}}(p-1)}1.2.3\ldots {\frac {1}{2}}(p-1)\quad {\pmod {p}}\end{aligned}}$$ Hinc erit $$1\equiv (-1)^{\mu }k^{{\frac {1}{2}}(p-1)}$$ sive ${\textstyle k^{{\frac {1}{2}}(p-1)}\equiv \pm 1}$, prout ${\textstyle \mu }$ par est vel impar, unde theorema nostrum protinus demanat.

4.

Ratiocinia sequentia magnopere abbreviare licebit per introductionem quarundam designationum idonearum. Exprimet igitur nobis character ${\textstyle (k,p)}$ multitudinem productorum ex his $$k,2k,3k\ldots {\frac {1}{2}}(p-1)k,$$ quorum residua minima positiva secundum modulum ${\textstyle p}$ huius semissem superant. Porro existente ${\textstyle x}$ quantitate quacunque non integra, per signum ${\textstyle [x]}$ exprimemus integrum ipsa ${\textstyle x}$ proxime minorem, ita ut ${\textstyle x-[x]}$ semper fiat quantitas positiva intra limites ${\textstyle 0}$ et 1 sita. Levi iam negotio relationes sequentes evolventur:

I. ${\textstyle [x]+[-x]=-1}$.

II. ${\textstyle [x]+h=[x+h]}$, quoties ${\textstyle h}$ est integer.

III. ${\textstyle [x]+[h-x]=h-1}$

IV. Si ${\textstyle x-[x]}$ est fractio minor quam ${\textstyle {\frac {1}{2}}}$, erit ${\textstyle [2x]-2[x]=0}$; si vero ${\textstyle x-[x]}$ est maior quam ${\textstyle {\frac {1}{2}}}$, erit ${\textstyle [2x]-2[x]=1}$.

V. Iacente itaque residuo minimo positivo integri ${\textstyle h}$ secundum modulum ${\textstyle p}$ infra ${\textstyle {\frac {1}{2}}p}$, erit ${\textstyle \left[{\frac {2h}{p}}\right]-2\left[{\frac {h}{p}}\right]=0}$; iacente autem residuo illo ultra ${\textstyle {\frac {1}{2}}p}$, erit ${\textstyle \left[{\frac {2h}{p}}\right]-2\left[{\frac {h}{p}}\right]=1}$.

VI. Hinc statim sequitur ${\textstyle (k,p)=}$ $${\begin{aligned}&\left[{\frac {2k}{p}}\right]+\left[{\frac {4k}{p}}\right]+\left[{\frac {6k}{p}}\right]\ldots +\left[{\frac {(p-1)k}{p}}\right]\\-2&\left[{\frac {k}{p}}\right]-2\left[{\frac {2k}{p}}\right]-2\left[{\frac {3k}{p}}\right]\ldots -2\left[{\frac {{\frac {1}{2}}(p-1)k}{p}}\right].\end{aligned}}$$

VII. Ex VI. et I. nullo negotio derivatur $$(k,p)+(-k,p)={\frac {1}{2}}(p-1)$$ Unde sequitur, ${\textstyle -k}$ vel eandem vel oppositam relationem ad ${\textstyle p}$ habere (quatenus huius residuum aut non-residuum quadraticum est) ut ${\textstyle +k}$, prout ${\textstyle p}$ vel formae ${\textstyle 4n+1}$ fuerit, vel formae ${\textstyle 4n+3}$. In casu priori manifesto ${\textstyle -1}$ residuum, in posteriori non-residuum ipsius ${\textstyle p}$ erit.
VIII. Formulam in VI. traditam sequenti modo transformabimus. Per III. fit $$\left[{\frac {(p-1)k}{p}}\right]\equiv k-1-\left[{\frac {k}{p}}\right],\left[{\frac {(p-3)k}{p}}\right]=k-1-\left[{\frac {3k}{p}}\right],\left[{\frac {(p-5)k}{p}}\right]=k-1-\left[{\frac {5k}{p}}\right]\ldots$$ Applicando hasce substitutiones ad ${\textstyle {\frac {p\mp 1}{4}}}$ membra ultima seriei superioris in illa expressione, habebimus

primo, quoties ${\textstyle p}$ est formae ${\textstyle 4n+1}$ $${\begin{aligned}(k,p)=&{\frac {1}{4}}(k-1)(p-1)\\&-2\left\{\left[{\frac {k}{p}}\right]+\left[{\frac {3k}{p}}\right]+\left[{\frac {5k}{p}}\right]\ldots +\left[{\frac {{\frac {1}{2}}(p-3)k}{p}}\right]\right\}\\&-\left\{\left[{\frac {k}{p}}\right]+\left[{\frac {2k}{p}}\right]+\left[{\frac {3k}{p}}\right]\ldots +\left[{\frac {{\frac {1}{2}}(p-1)k}{p}}\right]\right\}\end{aligned}}$$

secundo, quoties ${\textstyle p}$ est formae ${\textstyle 4n+3}$ $${\begin{aligned}(k,p)=&{\frac {1}{4}}(k-1)(p+1)\\&-2\left\{\left[{\frac {k}{p}}\right]+\left[{\frac {3k}{p}}\right]+\left[{\frac {5k}{p}}\right]\ldots +\left[{\frac {{\frac {1}{2}}(p-1)k}{p}}\right]\right\}\\&-\left\{\left[{\frac {k}{p}}\right]+\left[{\frac {2k}{p}}\right]+\left[{\frac {3k}{p}}\right]\ldots +\left[{\frac {{\frac {1}{2}}(p-1)k}{p}}\right]\right\}\end{aligned}}$$

IX. Pro casu speciali ${\textstyle k=+2}$ e formulis modo traditis sequitur ${\textstyle (2,p)={\frac {1}{4}}(p\mp 1)}$, sumendo signum superius vel inferius, prout ${\textstyle p}$ est formae ${\textstyle 4n+1}$ vel ${\textstyle 4n+3}$. Erit itaque ${\textstyle (2,p)}$ par, adeoque ${\textstyle 2{R}p}$, quoties ${\textstyle p}$ est formae ${\textstyle 8n+1}$ vel ${\textstyle 8n+7}$; contra erit ${\textstyle (2,p)}$ impar atque ${\textstyle 2Np}$, quoties ${\textstyle p}$ est formae ${\textstyle 8n+3}$ vel ${\textstyle 8n+5}$.

5.

Theorema. Sit ${\textstyle x}$ quantitas positiva non integra, inter cuius multipla ${\textstyle x}$, ${\textstyle 2x}$, ${\textstyle 3x\ldots }$ usque ad ${\textstyle nx}$ nullum fiat integer; ponatur ${\textstyle [nx]=h}$, unde facile concluditur, etiam inter multipla quantitatis reciprocae ${\textstyle {\frac {1}{x}}}$, ${\textstyle {\frac {2}{x}}}$, ${\textstyle {\frac {3}{x}}\ldots }$ usque ad ${\textstyle {\frac {h}{x}}}$ integrum non reperiri. Tum dico fore $$\left.{\begin{array}{l}{\phantom {+}}[x]+[2x]+[3x]\dots +[nx]\\+\left[{\frac {1}{x}}\right]+\left[{\frac {2}{x}}\right]+\left[{\frac {3}{x}}\right]\ldots +\left[{\frac {h}{x}}\right]\end{array}}\right\}=nh$$

Dem. Seriei ${\textstyle [x]+[2x]+[3x]\ldots +[nx]}$, quam ponemus ${\textstyle =\Omega }$, membra prima usque ad ${\textstyle \left[{\frac {1}{x}}\right]^{\text{tum}}}$ inclus. manifesto omnia erunt ${\textstyle =0}$; sequentia usque ad ${\textstyle \left[{\frac {2}{x}}\right]^{\text{tum}}}$ cuncta ${\textstyle =1}$; sequentia usque ad ${\textstyle \left[{\frac {3}{x}}\right]^{\text{tum}}}$ cuncta ${\textstyle =2}$ et sic porro. Hinc fit $$\left.{\begin{array}{rl}{\Omega }&=0\times \left[{\frac {1}{x}}\right]\\&+1\times \left\{\left[{\frac {2}{x}}\right]-\left[{\frac {1}{x}}\right]\right\}\\&+2\times \left\{\left[{\frac {3}{x}}\right]-\left[{\frac {2}{x}}\right]\right\}\\&+3\times \left\{\left[{\frac {4}{x}}\right]-\left[{\frac {3}{x}}\right]\right\}\\&\qquad {\text{etc.}}\\&+(h-1)\left\{\left[{\frac {h}{x}}\right]-\left[{\frac {h-1}{x}}\right]\right\}\\&+h\left\{n-\left[{\frac {h}{x}}\right]\right\}\end{array}}\right\}=hn-\left[{\frac {1}{x}}\right]-\left[{\frac {2}{x}}\right]-\left[{\frac {3}{x}}\right]\ldots -\left[{\frac {h}{x}}\right]$$ Q. E. D.

6.

Theorema. Designantibus ${\textstyle k}$, ${\textstyle p}$ numeros positivos impares inter se primos quoscunque, erit $$\left.{\begin{array}{l}{\phantom {+}}{\left[{\frac {k}{p}}\right]+\left[{\frac {2k}{p}}\right]+\left[{\frac {3k}{p}}\right]\ldots +\left[{\frac {{\frac {1}{2}}(p-1)k}{p}}\right]}\\+{\left[{\frac {p}{k}}\right]+\left[{\frac {2p}{k}}\right]+\left[{\frac {3p}{k}}\right]\ldots +\left[{\frac {{\frac {1}{2}}(k-1)p}{k}}\right]}\end{array}}\right\}={\frac {1}{4}}(k-1)(p-1).$$

Demonstr. Supponendo, quod licet, ${\textstyle k<p}$, erit ${\textstyle {\frac {{\frac {1}{2}}(p-1)k}{p}}}$ minor quam ${\textstyle {\frac {1}{2}}k}$, sed maior quam ${\textstyle {\frac {1}{2}}(k-1)}$, adeoque ${\textstyle \left[{\frac {{\frac {1}{2}}(p-1)k}{p}}\right]={\frac {1}{2}}(k-1)}$. Hinc patet, theorema praesens ex praec. protinus sequi, statuendo illic ${\textstyle {\frac {k}{p}}=x}$, ${\textstyle {\frac {1}{2}}(p-1)=n}$, adeoque ${\textstyle {\frac {1}{2}}(k-1)=h}$. Ceterum simili modo demonstrari potest, si ${\textstyle k}$ fuerit numerus par ad ${\textstyle p}$ primus, fore $$\left.{\begin{array}{l}{\phantom {+}}\left[{\frac {k}{p}}\right]+\left[{\frac {2k}{p}}\right]+\left[{\frac {3k}{p}}\right]\ldots +\left[{\frac {{\frac {1}{2}}(p-1)k}{p}}\right]\\+\left[{\frac {p}{k}}\right]+\left[{\frac {2p}{k}}\right]+\left[{\frac {3p}{k}}\right]\ldots +\left[{\frac {{\frac {1}{2}}kp}{k}}\right]\end{array}}\right\}={\frac {1}{4}}k(p-1)$$ At huic propositioni ad institutum nostrum non necessariae non immoramur.

7.

Iam ex combinatione theorematis praec. cum propos. VIII. art. 4. theorema fundamentale protinus demanat. Nimirum denotantibus ${\textstyle k}$, ${\textstyle p}$ numeros primos positivos inaequales quoscunque, et ponendo $${\begin{aligned}(k,p)+\left[{\frac {k}{p}}\right]+\left[{\frac {2k}{p}}\right]+\left[{\frac {3k}{p}}\right]\ldots +\left[{\frac {{\frac {1}{2}}(p-1)k}{p}}\right]&=L\\(p,k)+\left[{\frac {p}{k}}\right]+\left[{\frac {2p}{k}}\right]+\left[{\frac {3p}{k}}\right]\ldots +\left[{\frac {{\frac {1}{2}}(k-1)p}{k}}\right]&=M\end{aligned}}$$ per VIII. art. 4. patet, ${\textstyle L}$ et ${\textstyle M}$ semper fieri numeros pares. At per theorema art. 6. erit $$L+M=(k,p)+(p,k)+{\frac {1}{4}}(k-1)(p-1)$$ Quoties igitur ${\textstyle {\frac {1}{4}}(k-1)(p-1)}$ par evadit, quod fit, si vel uterque ${\textstyle k}$, ${\textstyle p}$ vel saltem alteruter est formae ${\textstyle 4n+1}$, necessario ${\textstyle (k,p)}$ et ${\textstyle (p,k)}$ vel ambo pares vel ambo impares esse debent. Quoties autem ${\textstyle {\frac {1}{4}}(k-1)(p-1)}$ impar est, quod evenit, si uterque ${\textstyle k}$, ${\textstyle p}$ est formae ${\textstyle 4n+3}$, necessario alter numerorum ${\textstyle (k,p)}$, ${\textstyle (p,k)}$ par, alter impar esse debebit. In casu priori itaque relatio ipsius ${\textstyle k}$ ad ${\textstyle p}$ et relatio ipsius ${\textstyle p}$ ad ${\textstyle k}$ (quatenus alter alterius residuum vel non-residuum est) identicae erunt, in casu posteriori oppositae. Q. E. D.