Csörföly D

Liber:Gauss,_Carl_Friedrich_-_Werke_(1870).djvu

SECTIO TERTIA

DE

RESIDUIS POTESTATUM.

Residua terminorum progressionis geometricae ab unitate incipientis constituunt seriem periodicam. 45.

Theorema. In omni progressione geometrica $1,a,aa,a^{3}\!$ etc. praeter primum $1$ , alius adhuc datur terminus $a^{t}\!$ , secundum modulum $p$ ad $a$ primum unitati congruus, cuius eocponens $t<p$ .

Demonstr. Quoniam modulus $p$ ad $a$ , adeoque ad quamvis ipsius $a$ potestatem est primus, nullus progressionis terminus erit $\textstyle \equiv 0{\pmod {p}}$ , sed quivis alicui ex his numeris $1,2,3\ldots p-1$ congruus. Quorum multitudo quum sit $p-1$ , manifestum est, si plures quam $p-1$ progressionis termini considerentur, omnes residua minima diversa habere non posse. Quocirca inter terminos $1,a,aa,a^{3}\ldots a^{p-1}\!$ bini ad minimum congrui invenientur. Sit itaque $a^{m}\equiv a^{n}\!$ et $m>n$ , fietque dividendo per $a^{n},a^{m-n}\equiv 1$ ([[/InterNexii#art._22|art. 22]]), ubi $m-n<p$ , et $>0$ . Q. E. D.

Ex. In progressione $2,4,8$ etc. terminus primus, qui secundum modulum $13$ unitati est congruus, invenitur $2^{12}=4096$ . At secundum modulum $23$ in eadem progressione fit $2^{11}=2048\equiv 1$ . Similiter numeri $5$ potestas sexta, $15625$ , unitati congrua secundum modulum $7$ , quinta vero, $3125$ , secundum $11$ . In aliis igitur casibus potestas exponentis minoris quam $p-1$ unitati congrua evadit, in aliis contra usque ad potestatem $p-1$ ^tum ascendere necesse est.

46.

Quando progressio ultra terminum, qui unitati est congruus, continuatur, eadem, quae ab initio habebantur, residua prodeunt iterum. Scilicet si $a^{t}\equiv 1$ , erit $a^{t+1}\equiv a$ , $a^{t+2}\equiv aa$ etc., donec ad terminum $a^{2t}\!$ perveniatur, cuius residuum minimum iterum erit $\equiv 1$ , atque residuorum periodum denuo inchoat. Habetur itaque periodus $t$ residua comprehendens, quae simulac finita est ab initio semper repetitur; neque alia residua quam quae in hac periodo continentur, in tota progressione occurrere possunt. Generaliter erit $a^{mt}\equiv 1$ , et $a^{mt+n}\equiv a^{n}\!$ , id quod per designationem nostram ita exhibetur:

Si $\textstyle r\equiv \rho {\pmod {t}}$ , erit $\textstyle a^{r}\equiv a^{\rho }{\pmod {t}}$ .

47.

Petitur ex hoc theoremate compendium potestatum quantumvis magno exponente affectarum residua expedite inveniendi, simulac potestas unitati congrua innotescat. Si ex. gr. residuum e divisione potestatis $3^{1000}\!$ per $13$ oriundum quaeritur, erit propter $\textstyle 3^{3}\equiv 1{\pmod {13}}$ , $t\equiv 3$ ; quare quum sit $\textstyle 1000\equiv 1{\pmod {3}}$ , erit $\textstyle 3^{1000}\equiv 3{\pmod {13}}$ .

48.

Quando $a^{t}\!$ est infima potestas unitati congrua (praeter $a^{0}=1$ , ad quem casum hic non respicimus), illi $t$ termini, residuorum periodum constituentes omnes erunt diversi, uti ex demonstratione [[/InterNexii#art._45|art. 45]] nullo negotio perspicitur. Tum autem propositio [[/InterNexii#art._46|art. 46]] converti potest; scilicet si $\textstyle a^{m}\equiv a^{n}\!{\pmod {p}}$ , erit $\textstyle m\equiv n{\pmod {t}}$ . Si enim $m$ , $n$ secundum modulum $t$ incongrui essent, residua eorum minima $\mu$ , $\nu$ diversa forent. At $a^{\mu }\equiv a^{m}\!$ , $a^{\nu }\equiv a^{n}\!$ , quare $a^{\mu }\equiv a^{\nu }\!$ i. e. non omnes potestates infra $a^{t}\!$ incongruae forent contra hypoth.

Si itaque $\textstyle a^{k}\equiv 1{\pmod {p}}$ , erit $\textstyle k\equiv 0{\pmod {t}}$ i. e. $k$ per $t$ divisibilis.

Hactenus de modulis quibuscunque si modo ad $a$ sint primi diximus. Iam modulos qui sunt numeri absolute primi seorsim consideremus atque huic fundamento investigationem generaliorem postea superstruamus.

Considerantur primo moduli qui sunt numeri primi.

49.

Theorema. Si $p$ est numerus primus ipsum $a$ non metiens, atque $a^{t}\!$ infima ipsius $a$ potestas secundum modulum $p$ unitati congrua, exponens $t$ aut erit $=p-1$ aut pars aliquota huius numeri.

Conferantur exempla [[/InterNexii#art._45|art. 45]].

Demonstr. Quum iam ostensum sit, $t$ esse aut $=p-1$ , aut $<p-1$ , superest, ut in posteriori casu $t$ semper ipsius $p-1$ partem aliquotam esse evincatur.

I. Colligantur residua minima positiva omnium horum terminorum $1,a,aa\ldots a^{t-1}\!$ , quae per $\alpha ,\alpha ',\alpha ''\!$ etc. designentur, ita ut sit $\alpha =1$ , $\alpha '\equiv a$ , $\alpha ''\equiv aa$ etc. Perspicuum est, haec omnia fore diversa, si enim duo termini $a^{m}\!$ , $a^{n}\!$ eadem praeberent, foret (supponendo $m>n$ ) $a^{m-n}\equiv 1$ atque $m-n<t$ , Q. E. A. quum nulla inferior potestas quam $a^{t}\!$ unitati sit congrua (hyp.). Porro omnes $\alpha ,\alpha ',\alpha ''\!$ etc. in serie numerorum $1,2,3...p-1$ continentur, quam tamen non exhaurient, quum $t<p-1$ . Complexum omnium $\alpha ,\alpha ',\alpha ''\!$ etc. per $(A)$ designabimus. Comprehendet igitur $(A)$ terminos $t$ .

II. Accipiatur numerus quicunque $\beta$ ex his $1,2,3\ldots p-1$ , qui in $(A)$ desit. Multiplicetur $\beta$ per omnes $\alpha ,\alpha ',\alpha ''\!$ etc., sintque residua minima inde oriunda $\beta ,\beta ',\beta ''\!$ etc., quorum numerus etiam erit $t$ . At haec residua tum inter se quam ab omnibus $\alpha ,\alpha ',\alpha ''\!$ etc. erunt diversa. Si enim prior assertio falsa esset, haberetur $\beta a^{m}\equiv \beta a^{n}\!$ adeoque dividendo per $\beta$ , $a^{m}\equiv a^{n}\!$ , contra ea quae modo demonstravimus; si vero posterior, haberetur $\beta a^{m}\equiv a^{n}\!$ , unde, quando $m<n$ , $\beta \equiv a^{m-n}\!$ i. e. $\beta$ alicui ex his $\alpha ,\alpha ',\alpha ''\!$ etc. congruus contra hyp.; quando vero $m>n$ , sequitur multiplicando per $a^{t-m}\!$ , $\beta a^{t}\equiv a^{t+n-m}\!$ , sive propter $a^{t}\equiv 1$ , $\beta \equiv a^{t+n-m}\!$ , quae est eadem absurditas. Designetur complexus omnium $\beta ,\beta ',\beta ''\!$ etc., quorum multitudo $=t$ , per $(B)$ , habebunturque iam $2t$ numeri ex his $1,2,3\ldots p-1$ . Quodsi igitur $(A)$ et $(B)$ omnes hos numeros complectuntur, fit $\textstyle {\tfrac {p-1}{2}}=t$ adeoque theorema demonstratum.

III. Si vero aliqui adhuc deficiunt, sit horum aliquis $\gamma$ . Per hunc multiplicentur omnes $\alpha ,\alpha ',\alpha ''\!$ etc., productorumque residua minima sint $\gamma ,\gamma ',\gamma ''\!$ etc., omnium complexus per $(C)$ designetur. $(C)$ igitur comprehendet $t$ numeros ex his $1,2,3\ldots p-1$ , qui omnes tum inter se quam a numeris in $(A)$ et $(B)$ contentis erunt diversi. Assertiones priores eodem modo demonstrantur ut in II, tertia ita. Si esset $\gamma a^{m}\equiv \beta a^{n}\!$ , fieret $\gamma \equiv \beta a^{n-m}\!$ , aut $\equiv \beta a^{t+n-m}\!$ prout $m<n$ aut $>n$ , in utroque casu $\gamma$ alicui ex $(B)$ congrua contra hyp. Habentur igitur $3t$ numeri ex his $1,2,3\ldots p-1$ , atque si nulli amplius desunt, fiet $\textstyle t={\tfrac {p-1}{3}}$ , adeoque theorema erit demonstratura.

IV. Si vero etiamnum aliqui desunt, eodem modo ad quartum numerorum complexum $(D)$ progrediendum erit etc. Patet vero, quoniam numerorum $1,2,3\ldots p-1$ multitudo est finita, tandem eam exhaustum iri, adeoque multiplum ipsius $t$ fore: quare $t$ erit pars aliquota numeri $p-1$ . Q. E. D.

Fermatii Theorema.

50.

Quum igitur ${\tfrac {p-1}{t}}$ sit integer, sequitur evehendo utramque partem congruentiae $a^{t}\equiv 1$ ad potestatem exponentis ${\tfrac {p-1}{t}}$ , $a^{p-1}\equiv 1$ , sive $a^{p-1}-1$ semper per $p$ divisibilis est, quando $p$ est primus ipsum $a$ non metiens.

Theorema hoc, quod tum propter elegantiam tum propter eximiam utilitatem omni attentione dignum, ab inventore theorema Fermatianum appellari solet. Vid. Fermatii Opera Mathem. Tolosae 1679 fol. p. 163. Demonstrationem inventor non adiecit, quam tamen in potestate sua esse professus est. Ill. Euler primus demonstrationem publici iuris fecit, in diss. cui titulus Theorematum quorundam ad numeros primos spectantium demonstratio, Comm. Acad. Petrop. T. VIII^[1]. Innititur ista evolutioni potestatis $(a+1)^{p}\!$ , ubi ex coëfficientium forma facillime deducitur, $(a+1)^{p}-a^{p}-1$ semper per $p$ fore divisibilem, adeoque $(a+1)^{p}-(a+1)$ per $p$ divisibilem fore, quando $a^{p}-a$ per $p$ sit divisibilis. Iam quia $1^{p}-1$ semper per $p$ divisibilis est, etiam $2^{p}-2$ semper erit; hinc etiam $3^{p}-3$ etc. generaliterque $a^{p}-a$ . Quodsi itaque $p$ ipsum $a$ non metitur, etiam $a^{p-1}-1$ per $p$ divisibilis erit. Haec sufficient ad methodi indolem declarandam. Clar. Lambert similem demonstrationem tradidit in Actis Erudit. 1769 p. 109. Quia vero evolutio potestatis binomii a theoria numerorum satis aliena esse videbatur, aliam demonstrationem ill. Euler investigavit, quae exstat Comment. nov. Petr. T. VII p. 70, atque cum ea quam nos art. praec. exposuimus prorsus convenit. In sequentibus adhuc aliae quaedam se nobis offerent. Hoc loco unam superaddere liceat, quae similibus principiis innititur, uti prima ill. Euleri. Propositio sequens, cuius casus tantum particularis est theorema nostrum, etiam ad alias investigationes infra adhibebitur.

51.

Polynomii $a+b+c+etc.$ potestas $p$ ^ta secundum modulum $p$ est $\textstyle \equiv a^{p}+b^{p}+c^{p}+etc.$ siquidem $p$ est numerus primus.

Demonstr. Constat potestatem $p$ ^tam polynomii $a+b+c+$ etc. esse compositam e partibus formae $\kappa a^{\alpha }b^{\beta }c^{\gamma }\$ etc., ubi $\alpha +\beta +\gamma \$ etc. $=p$ , et $\kappa$ designat, quot modis $p$ res, quarum $\alpha ,\beta ,\gamma \$ etc. respective sunt $=a,b,c\$ etc., permutari possint. At supra [[/InterNexii#art._41|art. 41]] ostendimus, hunc numerum semper esse per $p$ divisibilem, nisi omnes res sint aequales, i. e. nisi aliquis numerorum $\alpha ,\beta ,\gamma \$ etc. sit $=p$ , reliqui vero $=0$ . Unde sequitur, omnes ipsius $(a+b+c+$ etc. $)^{p}\!$ partes, praeter has $a^{p},b^{p},c^{p}\$ etc., per $p$ divisibiles esse; quae igitur, quando de congruentia secundum modulum $p$ agitur, tuto omitti poterunt, fietque $\textstyle (a+b+c+\mathrm {etc.} )^{p}\equiv a^{p}+b^{p}+c^{p}+\mathrm {etc.} \$ Q. E. D.

Quodsi iam omnes quantitates $a,b,c\$ etc. $=1$ ponuntur, numerusque earum $=k$ fiet $k^{p}\equiv k$ , uti in art. praec.

Quot numeris respondeant periodi, in quibus terminorum multitudo est divisor datus numeri $p-1$ .

52.

Quoniam igitur alii numeri quam qui sunt divisores ipsius $p-1$ , nequeunt esse exponentes potestatum infimarum, ad quas evecti numeri aliqui unitati congrui fiunt, quaestio sese offert, num omnes ipsius $p-1$ divisores ad hoc sint idonei, atque, quando omnes numeri per $p$ non divisibiles secundum exponentem infimae suae potestatis unitati congruae classificentur, quot ad singulos exponentes sint perventuri. Ubi statim observare convenit, sufficere, si omnes numeri positivi ab $1$ usque ad $p-1$ considerentur; manifestum enim est, numeros congruos ad eandem potestatem elevari debere, quo unitati fiant congruae, adeoque numerum quemcunque ad eundem exponentem esse referendum, ad quem residuum suum minimum positivum. Quocirca in id nobis erit incumbendum, ut quomodo hoc respectu numeri $1,2,3\ldots p-1$ inter singulos factores numeri $p-1$ distribuendi sint, eruamus. Brevitatis gratia, si $d$ est unus e divisoribus numeri $p-1$ (ad quos etiam $1$ et $p-1$ referendi), per $\psi d$ designabimus multitudinem numerorum positivorum ipso $p$ minorum, quorum potestas $d^{\mathrm {ta} }\!$ est infima unitati congrua.

53.

Quo facilius haec disquisitio intelligi possit, exemplum apponimus. Pro $p=19$ distribuentur numeri $1,2,3\ldots 18$ inter divisores numeri $18$ hoc modo:

{\begin{array}{r|rrrrrr}1&1\,\\2&18\,\\3&7,&11\,\\6&8,&12\,\\9&4,&5,&6,&9,&16,&17\\18&2,&3,&10,&13,&14,&15\\\end{array}}

In hoc igitur casu fit $\psi 1=1$ , $\psi 2=1$ , $\psi 3=2$ , $\psi 6=2$ , $\psi 9=6$ , $\psi 18=6$ . Ubi exigua attentio docet, totidem ad quemvis exponentem pertinere, quot dentur numeri hoc non maiores ad ipsumque primi, sive esse in hoc certe casu, retento signo [[/InterNexii#art._39|art. 39]] $\psi d=\varphi d$ . Hanc autem observationem generaliter veram esse ita demonstramus.

I. Si numerus aliquis habetur, $a$ , ad exponentem $d$ pertinens (i. e. cuius potestas $d^{\mathrm {ta} }\!$ unitati congrua, omnes inferiores incongruae), omnes huius potestates $aa,a^{3},a^{4}\ldots a^{d}\!$ sive ipsarum residua minima proprietatem priorem etiam possidebunt (ut potestas ipsarum $d^{\mathrm {ta} }\!$ unitati sit congrua) et quum hoc ita etiam exprimi possit, residua minima numerorum $a,aa,a^{3}\ldots a^{d}\!$ (quae omnia sunt diversa) esse radices congruentiae $x^{d}\equiv 1$ , haec autem plures quam $d$ radices diversas habere nequeat, manifestum est, praeter numerorum $a,aa,a^{3}\ldots a^{d}\!$ residua minima alios numeros inter $1$ et $p-1$ incl. non dari, quorum potestas exponentis $d$ congruae sint unitati. Hinc patet, omnes numeros ad exponentem $d$ pertinentes inter residua minima numerorum $a,aa,a^{3}\ldots a^{d}\!$ reperiri. Quales vero sint, quantaque eorum multitudo, ita definitur. Si $k$ est numerus ad $d$ primus, omnes potestates ipsius $a^{k}\!$ , quarum exponentes $<d$ , unitati non erunt congrui: esto enim $\textstyle {\scriptstyle {\frac {1}{k}}}{\pmod {d}}\equiv m$ (vid. [[/InterNexii#art._31|art. 31]]) eritque $a^{km}\equiv a$ ; quare si potestas $e^{\mathrm {ta} }\!$ ipsius $a^{k}\!$ unitati esset congrua atque $e<d$ , foret etiam $a^{kme}\equiv 1$ et hinc $a^{e}\equiv 1$ contra hyp. Hinc manifestum est, residuum minimum ipsius $a^{k}\!$ ad exponentem $d$ pertinere. Si vero $k$ divisorem aliquem, $\delta$ , cum $d$ communem habet, ipsius $a^{k}$ residuum minimum ad exponentem $d$ non pertinet; quoniam tum potestas $\textstyle {\frac {d^{\mathrm {ta} }}{\delta }}$ iam unitati fit congrua (erit enim $\textstyle {\frac {kd}{\delta }}$ per $d$ divisibilis, sive $\textstyle \equiv 0{\pmod {d}}$ adeoque $\textstyle {\frac {kd}{\delta }}\equiv 1$ ). Hinc colligitur, totidem numeros ad exponentem $d$ pertinere, quot numerorum $1,2,3\ldots d$ ad $d$ sint primi. At memorem esse oportet, hanc conclusionem innixam esse suppositioni, unum numerum $a$ iam haberi ad exponentem $d$ pertinentem. Quamobrem dubium remanet, fierine possit ut ad aliquem exponentem nullus omnino numerus pertineat; conclusioque eo limitatur, ut $\psi d$ sit vel $=0$ vel $=\varphi d$ .

54.

II. Iam sint omnes divisores numeri $p-1$ hi: $d,d',d''$ etc. eritque, quia omnes numeri $1,2,3\ldots p-1$ inter hos sunt distributi, $\textstyle \psi d+\psi d'+\psi d''+\mathrm {etc.} =p-1$ At in [[/InterNexii#art._40|art. 40]] demonstravimus esse $\textstyle \varphi d+\varphi d'+\varphi d''+\mathrm {etc.} =p-1$ atque ex art. praec. sequitur, $\psi d$ ipsi $\varphi d$ aut aequalem aut ipso minorem esse, maiorem esse non posse, similiterque de $\psi d'$ et $\varphi d'$ , etc. Si itaque aliquis terminus ex his $\psi d,\psi d',\psi d''$ etc. termino respondente ex his $\varphi d,\varphi d',\varphi d''$ , esset minor (sive etiam plures), illorum summa summae herum aequalis esse non posset. Unde tandem concludimus, $\psi d$ ipsi $\varphi d$ semper esse aequalem, adeoque a magnitudine ipsius $p-1$ non pendere.

55.

Maximam autem attentionem meretur casus particularis propositionis praecedentis, scilicet semper dari numeros, quorum nulla potestas inferior quam $p-1$ ^ta unitati congrua, et quidem totidem inter $1$ et $p-1$ , quot infra $p-1$ sint numeri ad $p-1$ primi. Cuius theorematis demonstratio quum minime tam obvia sit quam primo aspectu videri possit, propter theorematis dignitatem liceat aliam adhuc adiicere a praecedente aliquantum diversam, quandoquidem methodorum diversitas ad res obscuriores illustrandas plurimum conferre solet. Resolvatur $p-1$ in factores suos primos fiatque $p-1=a^{\alpha }b^{\beta }c^{\gamma }$ etc., designantibus $a,b,c$ etc. numeros primos inaequales. Tum theorematis demonstrationem per sequentia absolvemus:

I. Semper inveniri posse numerum $A$ (aut plures) ad exponentem $a^{\alpha }$ pertinentem, similiterque numeros $B,C$ etc. ad exponentes $b^{\beta },c^{\gamma }$ etc. respective pertinentes.

II. Productum ex omnibus numeris $A,B,C$ etc. (sive huius producti residuum minimum) ad exponentem $p-1$ pertinere. Haec autem ita demonstramus.

I. Sit g numerus aliquis ex his $1,2,3\ldots p-1$ , congruentiae $\textstyle x^{\frac {p-1}{a}}\equiv 1{\pmod {p}}$ non satisfaciens, omnes enim hi numeri congruentiae huic, cuius gradus $<p-1$ , satisfacere nequeunt. Tum dico si potestas $\textstyle {\frac {p-1}{a^{\alpha }}}$ ^ta ipsius $g$ ponatur $\equiv h$ , hunc numerum, sive eius residuum minimum ad exponentem $a^{\alpha }\!$ pertinere.

Namque patet potestatem $a^{\alpha }$ ^tam ipsius $h$ congruam fore potestati $p-1$ ^tae ipsius $g$ i. e. unitati, potestas vero $a^{\alpha -1}$ ^ta ipsius $h$ congrua erit potestati $\textstyle {\frac {p-1}{a}}$ ^tae ipsius $g$ , i. e. unitati erit incongrua, multoque minus potestates $a^{\alpha -2},a^{\alpha -3}$ ^tae etc. ipsius $h$ unitati congruae esse possunt. At exponens infimae potestatis ipsius $h$ unitati congruae, sive exponens ad quam pertinet $h$ , numerum $a^{\alpha }\!$ metiri debet ([[/InterNexii#art._48|art. 48]]). Quare quum $a^{\alpha }\!$ per alios numeros divisibilis non sit quam per se ipsum, atque per inferiores ipsius $a$ potestates, necessario $a^{\alpha }\!$ erit exponens ad quem $h$ pertinet. Q. E. D. Per similem methodum demonstratur, dari numeros ad exponentes $b^{\beta },c^{\gamma }$ etc. pertinentes.

II. Si supponimus, productum ex omnibus $A,B,C$ etc. non ad exponentem $p-1$ , sed ad minorem $t$ pertinere, $t$ ipsum $p-1$ metietur ([[/InterNexii#art._48|art. 48]]), sive erit $\textstyle {\frac {p-1}{t}}$ integer unitate maior. Facile autem perspicitur, hunc quotientem vel esse unum e numeris primis $a,b,c$ etc. vel saltem per aliquem eorum divisibilem ([[/InterNexii#art._17|art. 17]]), ex. gr. per $a$ , de reliquis enim simile est ratiocinium. Metietur itaque $t$ ipsum $\textstyle {\frac {p-1}{a}}$ ; quare productum $ABC$ etc. etiam ad potestatem $\textstyle {\frac {p-1}{a}}$ ^tam elevatum unitati erit congriium ([[/InterNexii#art._46|art. 46]]). Sed perspicuum est singulos $B,C$ etc. (exemto ipso $A$ ) ad potestatem $\textstyle {\frac {p-1}{a}}$ ^tam elevatos unitati congruos fieri, quum exponentes $b^{\beta },c^{\gamma }$ etc., ad quos singuli pertinent, ipsum $\textstyle {\frac {p-1}{a}}$ metiantur. Hinc erit $A^{\frac {p-1}{a}}B^{\frac {p-1}{a}}C^{\frac {p-1}{a}}\mathrm {etc.} \equiv A^{\frac {p-1}{a}}\equiv 1$ Unde sequitur exponentem, ad quem $A$ pertinet, ipsum $\textstyle {\frac {p-1}{a}}$ metiri debere ([[/InterNexii#art._48|art. 48]]), i. e. $\textstyle {\frac {p-1}{a^{\alpha +1}}}$ esse integrum; at $\textstyle {\frac {p-1}{a^{\alpha +1}}}=\textstyle {\frac {b^{\beta }c^{\gamma }\mathrm {etc.} }{a}}$ integer esse nequit ([[/InterNexii#art._15|art. 15]]). Unde tandem concludere oportet, suppositionem nostram consistere non posse, i. e. productum $ABC$ etc. revera ad exponentem $p-1$ pertinere. Q. E. D.

Demonstratio posterior priori aliquantulum prolixior esse videtur, prior contra posteriori minus directa.

56.

Hoc theorema insigne exemplum suppeditat, quanta circumspectione in theoria numerorum saepenumero opus sit, ne, quae non sunt, pro certi assumamus. Celeb. Lambert in diss. iam supra laudata Acta Erudit. 1769 p. 127 huius propositionis mentionem facit, sed demonstrationis ne necessitatem quidem attigit. Nemo vero demonstrationem tentavit praeter summum Eulerum, Comment. nov. Ac. Petrop. T. XVIII ad annum 1773, Demonstrationes circa residua ex divisione potestatum per numeros primos resultantia p. 85 seqq. vid. imprimis art. 37, ubi de demonstrationis necessitate fusius locutus est. At demonstratio, quam Vir sagacissimus exhibuit, duos defectus habet. Alterum quod art. 31 et sqq. tacite supponit, congruentiam $x^{n}\equiv 1$ (translatis ratiociniis illic adhibitis in nostra signa) revera $n$ radices diversas habere, quamquam ante nihil aliud fuerit demonstratum quam quod plures habere nequeat; alterum, quod formulam art. 34 per inductionem tantummodo deduxit.

Radices primitivae, bases, indices.

57.

Numeros ad exponentem $p-1$ pertinentes radices primitivas cum ill. Eulero vocabimus. Si igitur $a$ est radix primitiva, potestatum $a,aa,a^{3}\ldots a^{p-1}\!$ residua minima omnia erunt diversa; unde facile deducitur, inter haec omnes numeros $1,2,3,\ldots p-1$ , qui totidem sunt multitudine quot illa residua minima, reperiri debere: i. e. quemvis numerum per $p$ non divisibilem potestati alicui ipsius $a$ congruum esse. Insignis haec proprietas permagnae est utilitatis, operationesque arithmeticas, ad congruentias pertinentes, haud parum sublevare potest, simili fere modo, ut logarithmorum introductio operationes arithmeticae vulgaris. Radicem aliquam primitivam, $a$ , ad lubitum pro basi adoptabimus, ad quam omnes numeros per $p$ non divisibiles referemus, et si fuerit $\textstyle a^{e}\equiv b{\pmod {p}}$ , $e$ ipsius $b$ indicem vocabimus. Ex. gr. si pro modulo $19$ , radix primitiva $2$ pro basi assumatur, respondebunt

numeris	1.	2.	3.	4.	5.	6.	7.	8.	9.	10.	11.	12.	13.	14.	15.	16.	17.	18.
indices	0.	1.	13.	2.	16.	14.	6.	3.	8.	17.	12.	15.	5.	7.	11.	4.	10.	9.

Ceterum patet, manente basi, cuique numero plures indices convenire, sed hos omnes secundum modulum $p-1$ fore congruos; quamobrem quoties de indicibus sermo erit, qui secundum modulum $p-1$ sunt congrui, pro aequivalentibus habebuntur, simili modo uti numeri ipsi, quando secundum modulum $p$ sunt congrui, tamquam aequivalentes spectantur.

Algorithmus indicum.

58.

Theoremata ad indices pertinentia prorsus analoga sunt iis, quae ad logarithmos spectant.

Index producti e quotcunque factoribus conflati congruus est summae indicum singulorum factorum secundum modulum $p-1$ .

Index potestatis numeri alicuius congruus est producto ex indice numeri dati in exponentem potestatis, secundum mod. $p-1$ .

Demonstrationes propter facilitatem omittimus.

Hinc perspicitur, si tabulam construere velimus, ex qua omnium numerorum indices pro modulis diversis desumi possint, ex hac tum omnes numeros modulo maiores, tum omnes compositos omitti posse. Specimen huius modi tabulae ad calcem operis huius adiectum est, [[/InterNexii#Tab._I|Tab. I]], ubi in prima columna verticali positi sunt numeri primi primorumque potestates a 3 usque ad 97, qui tamquam moduli sunt spectandi, iuxta hos singulos numeri pro basi assumti; tum sequuntur indices numerorum primorum successivorum, quorum quini semper per parvulum intervallum sunt disiuncti, eodemque ordine supra dispositi sunt numeri primi; ita ut quis index numero primo dato secundum modulum datum respondeat, facile tutoque inveniri possit.

Ita ex. gr. si $p=67$ index numeri $60$ , assumto $12$ pro basi erit $\textstyle \equiv 2\operatorname {Ind.} 2+\operatorname {Ind.} 3+\operatorname {Ind.} 5{\pmod {66}}\equiv 58+9+39\equiv 40$

59.

Index valoris cuiuscunque expressionis $\textstyle {\frac {a}{b}}{\pmod {p}}$ , ([[/InterNexii#art._31|art. 31]]) congruus est secundum modulum $p-1$ differentiae indicum numeratoris $a$ et denominatoris $b$ , siquidem numeri $a$ , $b$ per $p$ non sunt divisibiles.

Sit enim valor quicunque $c$ : eritque $\textstyle bc\equiv a{\pmod {p}}$ ; hinc

	$\operatorname {Ind.} b+\operatorname {Ind.} c\equiv \operatorname {Ind.} a{\pmod {p-1}}$
adeoque	$\ \ \ \operatorname {Ind.} c\equiv \operatorname {Ind.} a-\operatorname {Ind.} b$

Si itaque tabula habetur, ex qua index cuique numero respondens pro quovis modulo primo, aliaque ex qua numerus ad indicem datum pertinens derivari possit, omnes congruentiae primi gradus facillimo negotio solvi poterunt, quoniam omnes reduci possunt ad tales, quarum modulus est numerus primus ([[/InterNexii#art._30|art. 30]]). E. g. proposita congruentia $29x+7\equiv 0{\pmod {47}}$ erit $\textstyle x\equiv {\frac {-7}{29}}{\pmod {47}}$ Hinc $\operatorname {Ind.} x$ $\equiv$ $\operatorname {Ind.} -7-\operatorname {Ind.} 29$ $\equiv$ $\operatorname {Ind.} 40-\operatorname {Ind.} 29$ $\equiv$ $15-43$ $\equiv$ $\textstyle 18{\pmod {46}}$

At numerus cuius index $18$ invenitur $3$ . Quare $\textstyle x\equiv 3{\pmod {47}}$ . — Tabulam secundam quidem non adiecimus: at huius vice alia defungi poterit, uti Sect. VI ostendemus.

De radicibus congruentiae $x^{n}\equiv A$ .

60.

Simili modo ut [[/InterNexii#art._31|art. 31]] radices congruentiarum primi gradus designavimus, in sequentibus etiam congruentiarum purarum altiorum graduum radices per signum exhibebimus. Uti scilicet $\textstyle {}^{n}\!\!\!\surd {A}$ nihil aliud significat quam radicem aequationis $x^{n}\equiv A$ , ita apposito modulo per $\textstyle {}^{n}\!\!\!\surd {A}{\pmod {p}}$ denotabitur radix quaecunque congruentiae $\textstyle x^{n}\equiv A{\pmod {p}}$ . Hanc expressionem $\textstyle {}^{n}\!\!\!\surd {A}{\pmod {p}}$ tot valores habere dicemus, quot habet secundum $p$ incongruos, omnes enim qui secundum $p$ sunt congrui tamquam aequivalentes spectandi ([[/InterNexii#art._26|art. 26]]). Ceterum patet, si $A$ , $B$ secundum $p$ fuerint congrui, expressiones ${}^{n}\!\!\!\surd {A}$ , $\textstyle {}^{n}\!\!\!\surd {B}{\pmod {p}}$ aequivalentes fore.

Iam si ponitur $\textstyle {}^{n}\!\!\!\surd {A}\equiv x{\pmod {p}}$ , erit $\textstyle n\operatorname {Ind.} x\equiv$ $\textstyle \operatorname {Ind.} A{\pmod {p-1}}\!$ . Ex hac congruentia deducuntur ad praecepta sectionis praec. valores ipsius $\operatorname {Ind.} x$ atque ex his valores respondentes ipsius $x$ . Facile vero perspicitur, $x$ habere totidem valores, quot radices congruentia $n\operatorname {Ind.} x\equiv$ $\textstyle \operatorname {Ind.} A{\pmod {p-1}}$ . Manifesto igitur ${}^{n}\!\!\!\surd {A}$ unum tantummodo valorem habebit, quando $n$ ad $p-1$ est primus; quando vero numeri $n$ , $p-1$ divisorem communem habent $\delta$ , atque hic est maximus, $\operatorname {Ind.} x$ habebit $\delta$ valores incongruos secundum $p-1$ , adeoque ${}^{n}\!\!\!\surd {A}$ totidem valores incongruos secundum $p$ , siquidem $\operatorname {Ind.} A$ per $\delta$ est divisibilis. Qua conditione deficiente ${}^{n}\!\!\!\surd {A}$ nullum valorem realem habebit.

Exemplum. Quaeruntur valores expressionis $\textstyle {}^{15}\!\!\!\surd {11}{\pmod {19}}$ . Solvi itaque debet congruentia $15\operatorname {Ind.} x\equiv$ $\operatorname {Ind.} 11=$ $\textstyle 6{\pmod {18}}$ , invenienturque tres valores ipsius $\operatorname {Ind.} x$ $\equiv$ $\textstyle 4,10,16{\pmod {18}}$ . His vero respondent valores ipsius $x$ , $6$ , $9$ , $4$ .

61.

Quantumvis expedita sit methodus haec, quando tabulae necessariae adsunt, debemus tamen non oblivisci, indirectam eam esse. Operae igitur pretium erit inquirere quantum methodi directae polleant: trademusque hic ea quae ex praecedentibus hauriri possunt: alia, quae considerationes reconditiores postulant, ad sectionem VIII reservantes. Initium facimus a casu simplicissimo, ubi $A=1$ , sive ubi radices congruentiae $\textstyle x^{n}\equiv 1{\pmod {p}}$ quaeruntur. Hic itaque, assumta radice quacunque primitiva pro basi, debet esse $\textstyle n\operatorname {Ind.} x\equiv 0{\pmod {p-1}}$ . Quae congruentia, quando $n$ ad $p-1$ est primus, unam tantummodo radicem habebit, scilicet $\textstyle \operatorname {Ind.} x\equiv 0{\pmod {p-1}}$ : quare in hocce casu $\textstyle {}^{n}\!\!\!\surd {1}{\pmod {p}}$ unicum valorem habet, scilicet $\equiv 1$ . Quando autem numeri $n$ , $p-1$ habent divisorem communem (maximum) $\delta$ , congruentiae $\textstyle n\operatorname {Ind.} x\equiv 0{\pmod {p-1}}$ solutio completa erit $\operatorname {Ind.} x\equiv$ $\textstyle 0{\pmod {\frac {p-1}{\delta }}}$ (V. [[/InterNexii#art._29|art. 29]]), i.e. $\operatorname {Ind.} x$ secundum modulum $p-1$ alicui ex his numeris $0,{\frac {p-1}{\delta }},{\frac {2(p-1)}{\delta }},{\frac {3(p-1)}{\delta }}\ldots {\frac {(\delta -1)(p-1)}{\delta }}$ congruus esse debebit, sive $\delta$ valores secundum modulum $p-1$ incongruos habebit; quare etiam $x$ in hocce casu $\delta$ valores diversos (secundum modulum $p$ incongruos) habebit. Hinc perspicitur, expressionem ${}^{\delta }\!\!\!\surd {1}$ etiam $\delta$ valores diversos habere, quorum indices cum ante allatis prorsus conveniant. Quocirca expressio $\textstyle {}^{\delta }\!\!\!\surd {1}{\pmod {p}}$ huic. $\textstyle {}^{n}\!\!\!\surd {1}{\pmod {p}}$ omnino aequivalet, i. e. congruentia $\textstyle x^{\delta }\equiv 1{\pmod {p}}$ easdem radices habet quas haec, $\textstyle x^{n}\equiv 1{\pmod {p}}$ . Prior autem inferioris erit gradus, siquidem $\delta$ et $n$ sunt inaequales.

Ex. $\textstyle {}^{15}\!\!\!\surd {1}{\pmod {19}}$ tres habet valores, quia $3$ maxima numerorum $15{\text{, }}$ $18$ mensura communis, hique simul erunt valores expressionis $\textstyle {}^{3}\!\!\!\surd {1}{\pmod {19}}$ . Sunt autem hi $1$ , $7$ , $11$ .

62.

Per hanc igitur reductionem id lucramur, ut alias congruentias formae $x^{n}\equiv 1$ solvere non sit opus, quam ubi $n$ numeri $p-1$ est divisor. Infra vero ostendemus, congruentias huius formae semper ulterius adhuc deprimi posse, licet praecedentia ad hoc non sufficiant. Unum tamen casum iam hic absolvere possumus, scilicet ubi $n=2$ . Manifeste enim valores expressionis ${}^{2}\!\!\!\surd {1}$ erunt $+1$ et $-1$ , quia plures quam duos habere nequit, hique $+1$ et $-1$ semper sunt incongrui, nisi modulus sit $=2$ , in quo casu ${}^{2}\!\!\!\surd {1}$ unum tantum valorem habere posse, per se clarum. Hinc sequitur, $+1$ et $-1$ etiam fore valores expressionis ${}^{2m}\!\!\!\surd {1}$ quando $m$ ad ${\tfrac {p-1}{2}}$ sit primus. Hoc semper eveniet, quoties modulus est eius indolis, ut ${\tfrac {p-1}{2}}$ fiat numerus absolute primus (nisi forte $p-1=2m$ , in quo casu omnes numeri $1,2,3\ldots p-1$ sunt radices) ex. gr. quando $p=3,5,7,11,$ $23,47,59,83,107$ etc. Tamquam corollarium hic annotetur, indicem ipsius $-1$ semper esse $\textstyle \equiv {\frac {p-1}{2}}{\pmod {p-1}}$ , quaecunque radix primitiva pro basi accipiatur. Namque $\textstyle 2\operatorname {Ind.} (-1)\equiv 0{\pmod {p-1}}$ . Quare $\operatorname {Ind.} (-1)$ erit vel $\equiv 0$ , vel $\textstyle \equiv {\frac {p-1}{2}}{\pmod {p-1}}$ : $0$ vero semper index ipsius $+1$ , atque $+1$ et $-1$ semper indices diversos habere debent (praeter casum $p=2$ , ad quem hic respicere operae non est pretium).

63.

Ostendimus [[/InterNexii#art._60|art. 60]], expressionem $\textstyle {}^{n}\!\!\!\surd {A}{\pmod {p}}$ habere $\delta$ valores diversos, aut omnino nullum, si fuerit $\delta$ divisor communis maximus numerorum $n$ , $p-1$ . Iam uti modo docuimus ${}^{n}\!\!\!\surd {A}$ et ${}^{\delta }\!\!\!\surd {A}$ aequivalentes esse, si fuerit $A\equiv 1$ , generalius probabimus, expressionem ${}^{n}\!\!\!\surd {A}$ semper ad aliam ${}^{\delta }\!\!\!\surd {B}$ reduci posse, cui aequivaleat. Illius enim valore quocunque denotato per $x$ erit $x^{n}\equiv A$ ; iam sit $t$ valor quicunque expressionis $\textstyle {\frac {\delta }{n}}{\pmod {p-1}}$ , quam valores reales habere ex [[/InterNexii#art._31|art. 31]] perspicuum; eritque $x^{tn}\equiv A^{t}\!$ , at $x^{tn}\equiv x^{\delta }$ propter $\textstyle tn\equiv \delta {\pmod {p-1}}$ . Quare $x^{\delta }\equiv A^{t}\!$ adeoque quicunque ipsius ${}^{n}\!\!\!\surd {A}$ valor erit etiam valor ipsius $\textstyle {}^{\delta }\!\!\!\surd {A^{t}}\!$ . Quoties igitur ${}^{n}\!\!\!\surd {A}$ valores reales habet, expressioni $\textstyle {}^{\delta }\!\!\!\surd {A^{t}}\!$ prorsus aequivalens erit, quoniam illa neque alios habet quam haec neque pauciores, licet quando ${}^{n}\!\!\!\surd {A}$ nullum valorem realem habet, fieri tamen possit, ut $\textstyle {}^{\delta }\!\!\!\surd {A^{t}}\!$ valores reales habeat.

Ex. Si valores expressionis $\textstyle {}^{21}\!\!\!\surd {2}{\pmod {31}}$ quaeruntur, erit numerorum $21$ et $30$ divisor communis maximus $3$ , expressionisque $\textstyle {\frac {3}{21}}{\pmod {30}}$ valor aliquis $3$ , quare si ${}^{21}\!\!\!\surd {2}$ valores reales habet, huic expressioni $\textstyle {}^{3}\!\!\!\surd {2^{3}}$ sive ${}^{3}\!\!\!\surd {8}$ aequivalebit, invenieturque revera, posterioris expressionis valores, qui sunt $2$ , $10$ , $19$ , etiam priori satisfacere.

64.

Ne autem hanc operationem incassum suscepisse periclitemur, regulam investigare oportet, per quam statim diiudicari possit, utrum ${}^{n}\!\!\!\surd {A}$ valores reales admittat necne. Quodsi tabula indicum habetur, res in promtu est; namque ex [[/InterNexii#art._60|art. 60]] manifestum est, valores reales dari, si ipsius $A$ index, radice quacunque primitiva pro basi accepta, per $\delta$ sit divisibilis, sin vero minus, non dari. Attamen hoc etiam absque tali tabula inveniri potest. Posito enim indice ipsius $A=k$ , si hic fuerit per $\delta$ divisibilis, erit ${\tfrac {k(p-1)}{\delta }}$ per $p-1$ divisibilis et vice versa. Atqui numeri $\textstyle A^{\frac {p-1}{\delta }}\!$ index erit ${\tfrac {k(p-1)}{\delta }}$ . Quare si $\textstyle {}^{n}\!\!\!\surd {A}{\pmod {p}}$ habet valores reales, $\textstyle A^{\frac {p-1}{\delta }}\!$ unitati congruus erit, sin minus, incongruus. Ita in exemplo [[/InterNexii#art._63|art. praec.]] habetur $\textstyle 2^{10}=1024\equiv 1{\pmod {31}}$ , unde concluditur valores reales habere. Similiter certiores hinc fimus , $\textstyle {}^{2}\!\!\!\surd {-1}{\pmod {p}}$ semper valores binos reales habere, quando $p$ sit formae $4m+1$ , nullum vero, quando $p$ sit formae $4m+3$ ; propter $(-1)^{2m}=1$ et $(-1)^{2m+1}=-1$ . Elegans hoc theorema, quod vulgo ita profertur: Si $p$ est numerus primus formae $4m+1$ , inveniri potest quadratum $aa$ , ita ut $aa+1$ per $p$ fiat divisibilis; si vero $p$ est formae $4m-1$ , tale quadratum non datur, hoc modo demonstratum est ab ill. Eulero, Comm. nov. Acad. Petrop. T. XVIII p. 112 ad annum 1773. Demonstrationem aliam iam multo ante dederat, Comm. nov. T. V. p. 5, qui prodiit a. 1760. In dissert. priori, Comm. nov. T. IV. p. 25, rem nondum perfecerat. Postea etiam ill. La Grange theorematis demonstrationem tradidit, Nouveaux Mém. de l'Ac. de Berlin A. 1775 p. 342. Aliam adhuc demonstrationem in sectione sequenti, ubi proprie de hoc argumento agendum erit, dabimus.

65.

Postquam omnes expressiones $\textstyle {}^{n}\!\!\!\surd {A}{\pmod {p}}$ ad tales reducere docuimus, ubi $n$ divisor numeri $p-1$ , criteriumque nacti sumus, utrum valores reales admittat necne, tales expressiones $\textstyle {}^{n}\!\!\!\surd {A}{\pmod {p}}$ , ubi $n$ ipsius $p-1$ est divisor, accuratius considerabimus. Primo ostendemus, quam relationem valores singuli expressionis inter se habeant, tum artificia quaedam trademus, quorum auxilio unus valor expressionis saepenumero inveniri possit.

Primo. Quando $A\equiv 1$ atque $r$ aliquis ex $n$ valoribus expressionibus $\textstyle {}^{n}\!\!\!\surd {1}{\pmod {p}}$ , sive $\textstyle r\equiv 1{\pmod {p}}$ , omnes etiam ipsius $r$ potestates erunt valores istius expressionis; horum autem totidem erunt diversi, quot unitates habet exponens, ad quem $r$ pertinet ([[/InterNexii#art._48|art. 48]]). Quodsi igitur $r$ est valor ad exponentem $n$ pertinens, potestates ipsius $r$ hae $r,r^{2},r^{3}\ldots r^{n}\!$ (ubi loco ultimae unitas substitui potest) omnes expressionis $\textstyle {}^{n}\!\!\!\surd {1}{\pmod {p}}$ valores involvent. Qualia autem subsidia exstent ad tales valores inveniendos, qui ad exponentem $n$ pertineant, in Sect. VIII fusius explicabimus.

Secundo. Quando $A$ unitati est incongruus, unusque valor expressionis $\textstyle {}^{n}\!\!\!\surd {A}{\pmod {p}}$ notus, qui sit $z$ , reliqui hoc modo inde deducuntur. Sint valores expressionis ${}^{n}\!\!\!\surd {1}$ hi $1,r,r^{2}\ldots r^{n-1}$ (uti modo ostendimus), eruntque omnes expr. ${}^{n}\!\!\!\surd {A}$ valores hi $z,zr,zr^{2}\ldots zr^{n-1}$ namque omnes hos congruentiae $x^{n}\equiv A$ satisfacere inde manifestum, quod, posito quocunqueeorum $\equiv zr^{k}\!$ , potestas ipsius $n^{\mathrm {ta} }\!$ , $z^{n}r^{nk}\!$ , propter $r^{n}\equiv 1$ et $z^{n}\equiv A$ , ipsi $A$ fit congrua: omnes diverses esse ex [[/InterNexii#art._23|art. 23]] facile intelligitur; plures autem valores quam hos, quorum numerus est $n$ , expressio ${}^{n}\!\!\!\surd {A}$ habere nequit. Ita ex. gr. si alter expressionis ${}^{2}\!\!\!\surd {A}$ valor est $z$ , alter erit $-z$ . Denique hinc concludendum, omnes valores expr. ${}^{n}\!\!\!\surd {A}$ inveniri non posse, nisi simul omnes valores expr. ${}^{n}\!\!\!\surd {1}$ constent.

66.

Secundum quod nobis proposueramus fuit docere, in quo casu unus expressionis $\textstyle {}^{n}\!\!\!\surd {A}{\pmod {p}}$ valor (ubi $n$ supponitur esse divisor ipsius $p-1$ ) directe inveniri possit. Hoc evenit, quando aliquis valor potestati alicui ipsius $A$ congruus evadit, qui casus quum haud raro occurrat, aliquantum huic rei immorari non superfluum erit. Sit talis valor, si quis datur $z$ , sive $z\equiv A^{k}\!$ et $\textstyle A\equiv z^{n}{\pmod {p}}$ . Hinc colligitur $A\equiv A^{kn}\!$ ; quare si numerus $k$ habetur, ita ut sit $A\equiv A^{kn}\!$ , $A^{k}\!$ erit valor quaesitus. At huic conditioni aequivalet ista, ut sit $\textstyle 1\equiv kn{\pmod {t}}$ , designante $t$ exponentem, ad quem pertinet $A$ (art. [[/InterNexii#art._46|46]], [[/InterNexii#art._48|48]]). Ut vero haec congruentia possibilis sit, requiritur, ut sit $n$ ad $t$ primus. Hoc in casu erit $\textstyle k\equiv {\frac {1}{n}}{\pmod {t}}$ ; si vero $t$ et $n$ divisorem communem habent, nullus valor $z$ potestati ipsius $A$ congruus esse potest.

67.

Quum autem ad hanc solutionem ipsum $t$ novisse oporteat, videamus quomodo procedere possimus, si hunc numerum ignoremus. Primo facile intelligitur, $t$ ipsum ${\tfrac {p-1}{n}}$ metiri debere, siquidem $\textstyle {}^{n}\!\!\!\surd {A}{\pmod {p}}$ valores reales habeat, uti hic semper supponimus. Sit enim quicunque valor $y$ , eritque tum $y^{p-1}\equiv 1$ , tum $\textstyle y^{n}\equiv A{\pmod {p}}$ ; quare elevando partes posterioris congruentiae ad potestatem $\textstyle {\frac {p-1}{n}}$ ^tam, fiet $\textstyle A^{\frac {p-1}{n}}\equiv 1$ ; adeoque ${\tfrac {p-1}{n}}$ per $t$ divisibilis ([[/InterNexii#art._48|art. 48]]). Iam si ${\tfrac {p-1}{n}}$ ad $n$ est primus, congruentia [[/InterNexii#art._66|art. praec.]] $kn\equiv 1$ etiam secundum modulum ${\tfrac {p-1}{n}}$ solvi poterit, manifestoque valor ipsius $k$ congruentiae secundum modulum hunc satisfaciens eidem etiam secundum modulum $t$ , qui ipsum ${\tfrac {p-1}{n}}$ metitur, satisfaciet ([[/InterNexii#art._5|art. 5]]). Tum igitur quod quaerebatur, inventum. Si vero ${\tfrac {p-1}{n}}$ ad $n$ non est primus, omnes ipsius ${\tfrac {p-1}{n}}$ factores primi, qui simul ipsum $n$ metiuntur, ex ${\tfrac {p-1}{n}}$ eiiciantur. Hinc nanciscemur numerum ${\tfrac {p-1}{nq}}$ , ad $n$ primum, designante $q$ productum ex omnibus illis factoribus primis, quos eiecimus. Quodsi iam conditio ad quam in [[/InterNexii#art._66|art. praec.]] pervenimus ut $t$ ad $n$ sit primus, locum habet, $t$ etiam ad $q$ erit primus adeoque etiam ipsum ${\tfrac {p-1}{nq}}$ metietur. Quare si congruentia $kn\equiv 1$ $\textstyle {\pmod {\frac {p-1}{nq}}}$ solvitur (quod fieri potest quia $n$ ad ${\tfrac {p-1}{nq}}$ primus), valor ipsius $k$ etiam secundum modulum $t$ congruentiae satisfaciet, id quod quaerebatur. Totum hoc artificium in eo versatur, ut numerus eruatur, qui ipsius $t$ , quem ignoramus, vice fungi possit. Attamen probe meminisse oportet, nos, quando ${\tfrac {p-1}{n}}$ ad $n$ non est primus, supposuisse conditionem art. praec. locum habere, quae si deficit omnes conclusiones erroneae erunt; atque si regulas datas temere sequendo pro $z$ valor invenitur, cuius potestas $n$ ^ta ipsi $A$ non sit congrua, indicio hoc est, conditionem deficere adeoque methodum hanc omnino adhiberi non posse.

68.

Sed in hocce etiam casu saepe prodesse potest, hunc laborem suscepisse; operaeque pretium est, quomodo hic valor falsus ad veros sese habeat, investigare. Supponamus itaque, numeros $k$ , $z$ rite esse determinatos sed $z^{n}$ non esse $\textstyle \equiv A{\pmod {p}}$ . Tum si modo valores expressionis $\textstyle {}^{n}\!\!\!\surd {\frac {A}{z^{n}}}{\pmod {p}}$ determinari possint, hos singulos per $z$ multiplicando valores ipsius ${}^{n}\!\!\!\surd {A}$ obtinebimus. Si enim $v$ est valor aliquis ipsius $\textstyle {}^{n}\!\!\!\surd {\frac {A}{z^{n}}}$ : erit $(vz)^{n}\equiv A$ . Sed expressio $\textstyle {}^{n}\!\!\!\surd {\frac {A}{z^{n}}}$ eatenus hac ${}^{n}\!\!\!\surd {A}$ simplicior, quod $\textstyle {\frac {A}{z^{n}}}{\pmod {p}}$ ad exponentem minorem plerumque pertinet quam $A$ . Scilicet si numerorum $t$ , $q$ divisor communis maximus est $d$ , $\textstyle {\frac {A}{z^{n}}}{\pmod {p}}$ ad exponentem $d$ pertinebit, id quod ita demonstratur. Substitute pro $z$ valore, fit $\textstyle {\frac {A}{z^{n}}}\equiv {\frac {1}{A^{kn-1}}}{\pmod {p}}$ . At $kn-1$ per ${\tfrac {p-1}{nq}}$ divisibilis (art. praec), ${\tfrac {p-1}{n}}$ vero per $t$ (ibid.) sive ${\tfrac {p-1}{nd}}$ per ${\tfrac {t}{d}}$ . Atqui ${\tfrac {t}{d}}$ ad ${\tfrac {q}{d}}$ est primus (hyp.), quare etiam ${\tfrac {p-1}{nd}}$ per ${\tfrac {tq}{dd}}$ sive ${\tfrac {p-1}{nq}}$ per ${\tfrac {t}{d}}$ , adeoque etiam $kn-1$ per ${\tfrac {t}{d}}$ et $(kn-1)d$ per $t$ erit divisibilis. Hinc $\textstyle A^{(kn-1)d}\equiv 1{\pmod {p}}$ . Unde facile deducitur, ${\tfrac {A}{z^{n}}}$ ad potestatem $d\,$ ^tam evectum unitati congruum fieri. Quod vero ${\tfrac {A}{z^{n}}}$ ad exponentem minorem quam $d$ pertinere non possit, facile quidem demonstrari potest, sed quoniam ad finem nostrum non requiritur, huic rei non immoramur. Certi igitur esse possumus, $\textstyle {\frac {A}{z^{n}}}{\pmod {p}}$ semper ad minorem exponentem pertinere quam $A$ , unico excepto casu, scilicet quando $t$ ipsum $q$ metitur, adeoque $d=t$ .

Sed quid iuvat, quod ${\tfrac {A}{z^{n}}}$ ad minorem exponentem pertinet quam $A$ ? Plures numeri dantur, qui possunt esse $A$ , quam qui possunt esse ${\tfrac {A}{z^{n}}}$ , et quando secundum eundem modulum plures huiusmodi expressiones ${}^{n}\!\!\!\surd {A}$ evolvere occasio est, id lucramur, ut plures ex eodem fonte haurire possimus. Ita ex. gr. semper unicum saltem valorem expressionis $\textstyle {}^{n}\!\!\!\surd {A}{\pmod {29}}$ determinare in potestate erit, si modo expressionis $\textstyle {}^{2}\!\!\!\surd {-1}{\pmod {29}}$ valores (qui sunt $\pm 12$ ) innotuerint. Facile enim ex art. praec. perspicitur, huiusmodi expressionum unum valorem semper directe determinari posse, quando $t$ impar, et $d$ fieri $=2$ , quando $t$ par; praeter $-1$ autem nullus numerus ad exponentem $2$ pertinet.

Exempla. Quaeritur $\textstyle {}^{3}\!\!\!\surd {31}{\pmod {37}}$ . Hic $p-1=36$ , $n=3$ , ${\tfrac {p-1}{3}}=12$ , adeoque $q=3$ : debet igitur esse $\textstyle 3k\equiv 1{\pmod {4}}$ quod obtinetur ponendo $k=3$ . Hinc $\textstyle z\equiv 31^{3}{\pmod {37}}\equiv 6$ , inveniturque revera $\textstyle 6^{3}\equiv 31{\pmod {37}}$ . Si valores expressionis $\textstyle {}^{3}\!\!\!\surd {1}{\pmod {37}}$ sunt noti, etiam reliqui expr. ${}^{3}\!\!\!\surd {6}$ valores determinari possunt. Sunt vero illi $1$ , $10$ , $26$ , per quos multiplicando ipsum $6$ , prodeunt reliqui $\equiv 23$ et $8$ .

Si autem quaeritur valor expr. $\textstyle {}^{2}\!\!\!\surd {3}{\pmod {37}}$ , erit $n=2$ , ${\tfrac {p-1}{n}}=18$ ; adeoque $q=2$ . Hinc debet esse $\textstyle 2k\equiv 1{\pmod {9}}$ , unde fit $\textstyle k\equiv 5{\pmod {9}}$ . Quare $\textstyle z\equiv 3^{5}\equiv 21{\pmod {37}}$ ; at $21^{2}\!$ non $\equiv 3$ , sed $\equiv 34$ ; est autem $\textstyle {\frac {3}{34}}{\pmod {37}}$ $\equiv$ $-1$ , atque $\textstyle {}^{2}\!\!\!\surd {-1}{\pmod {37}}\equiv \pm 6$ ; unde obtinentur valores veri $\pm 6.21=\pm 15$ .

Haec fere sunt, quae hic de talium expressionum evolutione tradere licuit. Palam est, methodos directas satis prolixas saepe evasuras: at hoc incommodum tantum non omnibus methodis directis in numerorum theoria incumbit: neque ideo negligendum censuimus, quantum hic praestare valeant ostendere. Etiam hic observare convenit, artificia particularia quae exercitato haud raro se offerunt sigillatim explicare, non esse instituti nostri.

Nexus indicum in systematibus diversis.

69.

Revertimur nunc ad radices, quas diximus primitivas. Ostendimus, radice primitiva quacunque pro basi assumta omnes numeros, quorum indices ad $p-1$ primi, etiam fore radices primitivas, nullosque praeter hos: unde simul radicum primitivarum multitudo sponte innotescit. V. [[/InterNexii#art._53|art. 53]]. Quamnam autem radicem primitivam pro basi adoptare velimus, in genere arbitrio nostro relinquitur; unde intelligitur, etiam hic, ut in calculo logarithmico, plura quasi systemata dari posse^[2], quae quo vinculo connexa sint videamus. Sint $a$ , $b$ duae radices primitivae, aliusque numerus $m$ , atque, quando $a$ pro basi assumitur, index numeri $b\equiv \beta$ , numeri $m$ vero index $\textstyle \equiv \mu {\pmod {p-1}}$ ; quando autem $b$ pro basi assumitur, index numeri $a\equiv \alpha$ , numeri $m$ vero $\textstyle \equiv \nu {\pmod {p-1}}$ . Tum erit $\textstyle \alpha \beta \equiv 1{\pmod {p-1}}$ ; namque $a^{\beta }\equiv b$ , quare $a^{\alpha \beta }$ $\equiv$ $b^{\alpha }$ $\equiv$ $\textstyle a{\pmod {p}}$ , (hyp.), hinc $\textstyle \alpha \beta \equiv 1{\pmod {p-1}}$ . Per simile ratiocinium invenitur $\nu \equiv \alpha \mu$ , atque $\textstyle \mu \equiv \beta \nu {\pmod {p-1}}$ . Si igitur tabella indicum pro basi $a$ constructa habetur, facile in aliam converti potest, ubi $b$ basis. Si enim pro basi $a$ ipsius $b$ index est $\equiv \beta$ , pro basi $b$ ipsius $a$ index erit $\textstyle \equiv {\frac {1}{\beta }}{\pmod {p-1}}$ , multiplicandoque per hunc numerum omnes tabellae indices, habebuntur omnes indices pro basi $b$ .

70.

Quamvis autem plures indices numero dato contingere possint, aliis aliisque radicibus primitivis pro basi acceptis, omnes tamen in eo convenient, quod omnes eundem divisorem maximum cum $p-1$ communem habebunt. Si enim pro basi $a$ , index numeri dati est $m$ , pro basi $b$ vero $n$ , atque divisores maximi his cum $p-1$ communes $\mu$ , $\nu$ supponuntur esse inaequales, alter erit maior, ex. gr. $\mu >\nu$ , adeoque $\mu$ ipsum $n$ non metietur. At designato indice ipsius $a$ , quando $b$ pro basi assumitur, per $\alpha$ , erit (art. praec.) $\textstyle n\equiv \alpha m{\pmod {p-1}}$ adeoque $\mu$ etiam ipsum $n$ metietur. Q. E. A.

Hunc divisorem maximum indicibus numeri dati, ipsique $p-1$ communem, a basi non pendere, etiam inde perspicuum, quod aequalis est ipsi ${\tfrac {p-1}{t}}$ , designante $t$ exponentem ad quem numerus, de cuius indicibus agitur, pertinet. Si enim index pro basi quacunque est $k$ , erit $t$ minimus numerus per quem $k$ multiplicatus ipsius $p-1$ multiplum evadit (excepta cifra) vid. artt. [[/InterNexii#art._48|48]], [[/InterNexii#art._58|58]], sive minimus valor expressionis $\textstyle {\frac {0}{k}}{\pmod {p-1}}$ praeter cifram; hunc autem aequalem esse divisori maximo communi numerorum $k$ et $p-1$ , ex [[/InterNexii#art._29|art. 29]] nullo negotio derivatur.

71.

Porro facile demonstratur, basin ita semper accipere licere, ut numerus ad exponentem $t$ pertinens indicem quemlibet datum nansiscatur, cuius quidem maximus divisor cum $p-1$ communis $={\tfrac {p-1}{t}}$ . Designemus hunc brevitatis gratia per $d$ , sitque index propositus $\equiv dm$ , numerique propositi, quando quaelibet radix primitiva $a$ pro basi accipitur, index $\equiv dn$ , eruntque $m$ , $n$ ad ${\tfrac {p-1}{d}}$ sive ad $t$ primi. Tum si $\varepsilon$ est valor expressionis $\textstyle {\frac {dn}{dm}}{\pmod {p-1}}$ , simulque ad $p-1$ primus, erit $a^{\varepsilon }$ radix primitiva, qua pro basi accepta numerus propositus indicem $dm$ adipiscetur (erit enim $a^{\varepsilon dm}\equiv a^{dn}\equiv$ numero proposito), id quod desiderabatur. Sed expressionem $\textstyle {\frac {dn}{dm}}{\pmod {p-1}}$ valores ad $p-1$ primos admittere, ita probatur. Aequivalet illa expressio huic: $\textstyle {\frac {n}{m}}{\pmod {\frac {p-1}{d}}}$ sive $\textstyle {\frac {n}{m}}{\pmod {t}}$ vid. [[/InterNexii#art._31|art. 31]], 2, eruntque omnes eius valores ad $t$ primi; si enim aliquis valor $e$ divisorem cum $t$ communem haberet, hic divisor etiam ipsum $me$ metiri deberet, adeoque etiam ipsum $n$ , cui $me$ secundum $t$ congruus, contra hypoth., ex qua $n$ ad $t$ primus. Quando igitur omnes divisores primi ipsius $p-1$ etiam ipsum $t$ metiuntur, omnes expr. $\textstyle {\frac {n}{m}}{\pmod {t}}$ valores ad $p-1$ primi erunt multitudoque eorum $=d$ ; quando autem $p-1$ alios adhuc divisores primos, $f,g,h$ etc. implicat, ipsum $t$ non metientes, ponatur valor quicunque expr. $\textstyle {\frac {n}{m}}{\pmod {t}}\equiv e$ . Tum autem quia omnes $t,f,g,h$ etc. inter se primi, inveniri potest numerus $\varepsilon$ , qui secundum $t$ ipsi $e$ , secundum $f,g,h$ etc. vero numeris quibuscunque ad hos respective primis fiat congruus ([[/InterNexii#art._32|art. 32]]). Talis itaque numerus per nullum factorem primum ipsius $p-1$ divisibilis adeoque ad $p-1$ primus erit, uti desiderabatur. Tandem haud difficile ex combinationum theoria deducitur, talium valorum multitudinem fore $\textstyle ={\frac {p-1\,.f-1\,.g-1\,.h-1\,.\ \mathrm {etc.} }{\ \ t\,\ \ .\ \ f\ \ .\ \ g\ \ \,.\ \ h\ \ .\ \mathrm {etc.} }}$ ; sed ne digressio haec in nimiam molem excrescat, demonstrationem, quum ad institutum nostrum non sit adeo necessaria, omittimus.

Bases usibus peculiaribus accommodatae.

72.

Quamvis in genere prorsus arbitrarium sit, quaenam radix primitiva pro basi adoptetur, interdum tamen bases aliae prae aliis commoda quaedam peculiaria praebere possunt. In [[/InterNexii#Tabula_I|tabula I]] semper numerum $10$ pro basi assumsimus, quando fuit radix primitiva; alioquin basin ita semper determinavimus, ut numeri $10$ index evaserit quam minimus, i. e. $={\tfrac {p-1}{t}}$ denotante $t$ exponentem, ad quem $10$ pertinuit. Quid vero hinc lucremur, in Sect. VI ostendemus, ubi eadem tabula ad alios adhuc usus adhibebitur. Sed quoniam etiam hic aliquid arbitrarii remanere potest, ut ex art. praec. apparet: ut aliquid certi statueremus, ex omnibus radicibus primitivis quaesitum praestantibus minimam semper pro basi elegimus. Ita pro $p=73$ , ubi $t=8$ atque $d=9$ , $a^{\varepsilon }$ habet ${\tfrac {72.2}{8.3}}$ i. e. $6$ valores, qui sunt $5,14,20,28,39,40$ . Assumsimus itaque minimum $5$ pro basi.

Methodus radices primitivas assignandi.

73.

Methodi radices primitivas inveniendi maximam partem tentando innituntur. Si quis ea quae [[/InterNexii#art._55|art. 55]] docuimus cum iis quae infra de solutione congruentiae $x^{n}\equiv 1$ trademus confert, omnia fere, quae per methodos directas effici possunt, habebit. Ill. Euler confitetur, Opusc. Analyt. T. I. p. 152, maxime difficile videri, hos numeros assignare, eorumque indolem ad profundissima numerorum mysteria esse referendam. At tentando satis expedite sequenti modo determinari possunt. Exercitatus operationis prolixitati per multifaria artificia particularia succurrere sciet: haec vero per usum multo citius quam per praecepta ediscuntur.

1°. Assumatur ad libitum numerus ad $p$ (ita semper modulum designamus) primus, $a$ , (plerumque ad calculi brevitatem conducit, si quam minimum accipimus, ex. gr. numerum $2$ ) determineturque eius periodus ([[/InterNexii#art._46|art. 46]]), i. e. residua minima ipsius potestatum, donec ad potestatem $a^{t}\!$ perveniatur, cuius residuum minimum sit $1$ ^[3]. Iam si fuerit $t=p-1$ , $a$ est radix primitiva.

2°. Si vero $t<p-1$ , accipiatur alius numerus $b$ in periodo ipsius $a$ non contentus, investigeturque simili modo huius periodus. Designate exponente ad quem $b$ pertinet per $u$ , facile perspicitur $u$ neque ipsi $t$ aequalem neque ipsius partem aliquotam esse posse, in utroque enim casu fieret $b^{t}\equiv 1$ , quod esse nequit, quum periodus ipsius $a$ omnes numeros amplectatur, quorum potestas exponentis $t$ unitati congrua ([[/InterNexii#art._53|art. 53]]). Quodsi $u$ fuerit $=p-1$ , erit $b$ radix primitiva; si vero $u$ non quidem $=p-1$ , sed tamen multiplum ipsius $t$ , id lucrati sumus, ut numerus constet ad exponentem maiorem pertinens, adeoque scopo nostro, qui est invenire numerum ad exponentem maximum pertinentem, propiores iam simus. Si vero $u$ neque $=p-1$ , neque ipsius $t$ multiplum, tamen numerum invenire possumus ad exponentem ipsis $t$ , $u$ maiorem pertinentem, nempe ad exponentem minimo dividuo communi numerorum $t$ , $u$ aequalem. Sit hic $=y$ , resolvaturque $y$ ita in duos factores inter se primos, $m$ , $n$ , ut alter ipsum $t$ , alter ipsum $u$ metiatur^[4]. Tum fiat potestas ${\tfrac {t}{m}}$ ^ta ipsius $a$ , $\equiv A$ , potestas

 ${\tfrac {u}{n}}$ ^ta ipsius  $b$ ,  $\textstyle \equiv B{\pmod {p}}$ , eritque productum  $AB$  numerus ad exponentem

$y$ pertinens; facile enim intelligitur, $A$ ad exponentem $m$ , $B$ ad exponentem $n$ pertinere; adeoque productum $AB$ ad $mn$ pertinebit, quia $m$ , $n$ inter se sunt primi, id quod prorsus eodem modo uti in [[/InterNexii#art._55|art. 55]], II processimus probari poterit.

3°. Iam si $y=p-1$ , $AB$ erit radix primitiva; sin minus, simili modo ut antea alius numerus adhibendus erit, in periodo ipsius $AB$ non occurrens; eritque hic aut radix primitiva, aut pertinebit ad exponentem ipso $y$ maiorem, aut certe ipsius auxilio (uti ante) numerus ad exponentem ipso $y$ maiorem pertinens inveniri poterit. Quum igitur numeri qui per repetitionem huius operationis prodeunt, ad exponentes continuo crescentes pertineant, manifestum est tandem numerum inventum iri, qui ad exponentem maximum pertineat, i. e. radicem primitivam, q. e. f.

74.

Per exemplum praecepta haec clariora fient. Sit $p=73$ , pro quo radix primitiva quaeratur. Tentemus primo numerum $2$ , cuius periodus prodit haec:

1.	2.	4.	8.	16.	32.	64.	55.	37.	1.	etc.
0.	1.	2.	3.	4.	5.	6.	7.	8.	9.	etc.

Quum igitur iam potestas exponentis $9$ unitati congrua fiat, $2$ non est radix primitiva. Tentetur alius numerus in periodo ipsius $2$ non occurrens ex. gr. $3$ , cuius periodus est haec:

1.	3.	9.	27.	8.	24.	72.	70.	64.	46.	65.	49.	1.	etc.
0.	1.	2.	3.	4.	5.	6.	7.	8.	9.	10.	11.	12.	etc.

Quare neque $3$ est radix primitiva. Exponentium autem ad quos $2$ , $3$ pertinent, (i.e. numerorum $9$ , $12$ ) dividuus communis minimus est $36$ , qui in factores $9$ et $4$ ad praecepta art. praec. resolvitur. Evehendus itaque $2$ ad potestatem exponentis ${\tfrac {9}{9}}$ , i. e. numerus $2$ ipse retinendus; $3$ autem ad potestatem exponentis $3$ : productum ex his est $54$ , quod itaque ad exponentem $36$ pertinebit. Si denique ipsius $54$ periodus computatur numerusque in hac non contentus ex. gr. $5$ denuo tentatur, hunc esse radicem primitivam, reperietur.

Theoremata varia de periodis et radicibus primitivis.

75.

Antequam hoc argumentum deseramus, propositiones quasdam trademus, quae ob simplicitatem suam attentione haud indignae videntur.

Productum ex omnibus terminis periodi numeri cuiusvis est $\equiv 1$ , quando ipsorum multitudo, sive exponens ad quem numerus pertinet, est impar, et $\equiv -1$ , quando ille exponens est par.

Ex. Pro modulo $13$ periodus numeri $5$ constat ex his terminis $1,5,12,8$ quorum productum $\textstyle 480\equiv -1{\pmod {13}}$ .

Secundum eundem modulum periodus numeri $3$ constat e terminis $1,3,9$ quorum productum $\textstyle 27\equiv 1{\pmod {13}}$ .

Demonstr. Sit exponens, ad quem numerus pertinet, $t$ , atque index numeri, ${\tfrac {p-1}{t}}$ , id quod si basis rite determinatur, semper fieri potest ([[/InterNexii#art._71|art. 71]]). Tum index producti ex omnibus periodi terminis erit $\equiv (1+2+3+\mathrm {etc.} +t-1){\tfrac {p-1}{t}}={\tfrac {(t-1)(p-1)}{2}}$ i. e. $\textstyle \equiv 0{\pmod {p-1}}$ , quando $t$ impar, et $\equiv {\tfrac {p-1}{2}}$ , quando $t$ par; hinc in priori casu productum illud $\textstyle \equiv 1{\pmod {p}}$ ; in posteriori vero $\textstyle \equiv -1{\pmod {p}}$ , ([[/InterNexii#art._62|art. 62]]). Q. E. D.

76.

Si numerus iste in theor. praecedente est radix primitiva, eins periodus omnes numeros $1,2,3\ldots p-1$ comprehendet, quorum productum itaque semper $\equiv -1$ (namque $p-1$ semper par, unico casu $2$ excepto in quo $-1$ et $+1$ aequivalent). Theorema hoc elegans quod ita enunciari solet: productum ex omnibus numeris numero primo dato minoribus, unitate auctum per hunc primum est divisibile, primum a cel. Waring est prolatum armigeroque Wilson adscriptum, Meditt. algebr. Ed. 3. p. 380. Sed neuter demonstrare potuit, et cel. Waring fatetur demonstrationem eo difficiliorem videri, quod nulla notatio fingi possit, quae numerum primum exprimat. — At nostro quidem iudicio huiusmodi veritates ex notionibus potius quam ex notationibus hauriri debebant. Postea ill. La Grange demonstrationem dedit, Nouv. Mém. de l'Ac. de Berlin, 1771. Innititur ea considerationi coëfficientium ex evolutione producti $x+1\ .\ x+2\ .\ x+3\ .\ \ldots \ .\ x+p-1$ oriundorum. Scilicet posito hoc producto $\equiv x^{p-1}+Ax^{p-2}+Bx^{p-3}+\mathrm {etc.} +Mx+N$ coëfficientes $A$ , $B$ etc. $M$ per $p$ erunt divisibiles, $N$ vero erit $=1\,.\,2\,.\,3\,.\ldots \,p-1$ . Iam pro $x=1$ , productum per $p$ divisibile; tunc autem erit $\textstyle \equiv 1+N{\pmod {p}}$ ; quare necessario $1+N$ per $p$ dividi poterit.

Denique ill. Euler in Opusc. analyt. T. I. p. 329 demonstrationem dedit, cum ea quam nos hic exposuimus conspirantem. Quodsi tales viri theorema hoc mediationibus suis non indignum censuerunt, non improbatum iri speramus, si aliam adhuc demonstrationem apponimus.

77.

Quando secundum modulum $p$ , productum duorum numerorum $a$ , $b$ unitati est congruum, numeros $a$ , $b$ cum ill. Euler socios vocemus. Tum secundum sect. praec. quivis numerus positivus ipso $p$ minor socium habebit positivum ipso $p$ minorem et quidem unicum. Facile autem probari potest ex numeris $1,2,3\ldots p-1$ ; $1$ et $p-1$ esse unicos qui sibi ipsis sint socii: numeri enim sibi ipsis socii, radices erunt congruentiae $xx\equiv 1$ ; quae quoniam est secundi gradus, plures quam duas radices, i. e. alias quam $1$ et $p-1$ habere nequit. Abiectis itaque his numerorum reliquorum $2,3\ldots p-2$ bini semper erunt associati; quare productum ex ipsis erit $\equiv 1$ adeoque productum ex omnibus $1,2,3\ldots p-1$ , $\equiv p-1$ sive $\equiv -1$ . Q. E. D.

Ex. gr. pro $p\equiv 13$ numeri $2,3,4\ldots 11$ ita associantur: $2$ cum $7$ ; $3$ cum $9$ ; $4$ cum $10$ ; $5$ cum $8$ ; $6$ cum $11$ ; scilicet $2\ .\ 7\equiv 1$ ; $3\ .\ 9\equiv 1$ etc. Hinc $2\ .\ 3\ .\ 4\ldots 11\equiv 1$ ; adeoque $1\ .\ 2\ .\ 3\ldots 12\equiv -1$ .

78.

Potest autem theorema Wilsonianum generalius sic proponi. Productum ex omnibus numeris, numero quocunque dato $A$ minoribus simulque ad ipsum primis, congruum est secundum $A$ unitati vel negative vel positive sumtae. Negative sumenda est unitas, quando $A$ est formae $p^{m}\!$ , aut huiusce $2p^{m}\!$ , designante $p$ numerum primum a $2$ diversum, insuperque quando $A=4$ ; positive autem in omnibus casibus reliquis. Theorema, quale a cel. Wilson est prolatum, sub casu priori continetur. — Ex. gr. pro $A=15$ productum e numeris $1,2,4,7,8,11,13,14$ est $\textstyle \equiv 1{\pmod {15}}$ . Demonstrationen brevitatis gratia non adiungimus: observamus tantum, eam simili modo perfici posse ut in art. praec., excepto quod congruentia $xx\equiv 1$ plures quam duas radices habere potest, quae considerationes quasdam peculiares postulant. Posset etiam demonstratio ex consideratione indicum peti, similiter ut in [[/InterNexii#art._75|art. 75]], si ea quae mox de modulis non primis trademus, conferantur.

79.

Revertimur ad enumerationem aliarum propositionum ([[/InterNexii#art._75|art. 75]]).

Summa omnium terminorum periodi numeri cuiusvis est $\equiv 0$ , uti in ex. art. 75, $\textstyle 1+5+12+8=26\equiv 0{\pmod {13}}$ .

Dem. Numerus de cuius periodo agitur, sit $=a$ , atque exponens ad quem pertinet, $=t$ , eritque summa terminorum omnium periodi, $\textstyle \equiv 1+a+aa+a^{3}+\mathrm {etc.} +a^{t-1}\equiv {\frac {a^{t}-1}{a-1}}{\pmod {p}}$ At $a^{t}-1\equiv 0$ : quare summa haec semper erit $\equiv 0$ ([[/InterNexii#art._22|art. 22]]), nisi forte $a-1$ per $p$ sit divisibilis, sive a $\equiv 1$ ; hunc igitur casum excipere oportet, si vel unum terminum periodum vocare velimus.

80.

Productum ex omnibus radicibus primitivis est $\equiv 1$ , excepto unico casu, $p=3$ ; tum enim una tantum datur radix primitiva, $2$ .

Demonstr. Si radix primitiva quaecunque pro basi assumitur, indices radicum omnium primitivarum erunt numeri ad $p-1$ primi simulque ipso minores. At horum numerorum summa, i. e. index producti ex omnibus radicibus primitivis, est $\textstyle \equiv 0{\pmod {p-1}}$ adeoque productum $\textstyle \equiv 1{\pmod {p}}$ ; facile enim perspicitur, si $k$ fuerit numerus ad $p-1$ primus, etiam $p-1-k$ ad $p-1$ primum fore adeoque binos numeros ad $p-1$ primos summam constituere per $p-1$ divisibilem; ( $k$ autem ipsi $p-1-k$ numquam aequalis esse potest, praeter casum, $p-1=2$ , sive $p=3$ , quem excepimus; manifesto enim ${\tfrac {p-1}{2}}$ in omnibus reliquis casibus ad $p-1$ non est primus).

81.

Summa omnium radicum primitivarum est aut $\equiv 0$ (quando $p-1$ per quadratum aliquod est divisibilis), aut $\textstyle \equiv \pm 1{\pmod {p}}$ , (quando $p-1$ est productum e numeris primis inaequalibus; quorum multitudo si est par signum positivum, si vero impar, negativum sumendum).

Ex. 1° pro $p=13$ , habentur radices primitivae $2,6,7,11$ , quarum summa $\textstyle 26\equiv 0{\pmod {13}}$ .

2° pro $p=11$ , radices primitivae sunt $2,6,7,8$ quarum summa $23\equiv \textstyle +1{\pmod {11}}$ .

3° pro $p=31$ , radices primitivae sunt $3,11,12,13,17,21,22,24$ , quarum summa $\textstyle 123\equiv -1{\pmod {31}}$ .

Demonstr. Supra demonstravimus ([[/InterNexii#art._55|art. 55]], II), si $p-1$ fuerit $=a^{\alpha }b^{\beta }c^{\gamma }$ etc. (designantibus $a$ , $b$ , $c$ etc. numeros primos inaequales) atque $A$ , $B$ , $C$ etc. numeri quicunque ad exponentes $a^{\alpha }$ , $b^{\beta }$ , $c^{\gamma }$ etc. respective pertinentes, omnia producta $ABC$ etc. exhibere radices primitivas. Facile vero etiam demonstrari potest, quamvis radicem primitivam per huiusmodi productum exhiberi posse et quidem unico tantum modo^[5].

Unde sequitur haec producta loco ipsarum radicum primitivarum accipi posse. At quoniam in his productis omnes valores ipsius $A$ cum omnibus ipsius $B$ etc. combinari oportet, omnium horum productorum summa aequalis est producto ex summa omnium valorum ipsius $A$ , in summam omnium valorum ipsius $B$ , in summam omnium valorum ipsius $C$ etc, uti ex doctrina combinationum notum est. Designentur omnes valores ipsorum $A$ ; $B$ etc., per $A$ , $A'$ , $A''$ etc.; $B$ , $B'$ , $B''$ etc. etc., eritque summa omnium radicum primitivarum $\equiv (A+A'+\mathrm {etc.} )(B+B'+\mathrm {etc.} )\mathrm {etc.}$ Iam dico, si exponens $\alpha$ fuerit $=1$ , summam $A+A'+A''+$ etc. fore $\textstyle \equiv -1{\pmod {p}}$ , si vero $\alpha$ fuerit $>1$ , summam hanc fore $\equiv 0$ , similiterque de reliquis $\beta$ , $\gamma$ etc. Simulac haec erunt demonstrata, theorematis nostri veritas manifesta erit. Quando enim $p-1$ per quadratum aliquod divisibilis est, aliquis exponentium $\alpha$ , $\beta$ , $\gamma$ etc. unitatem superabit, adeoque aliquis factorum, quorum producto congrua est summa omnium radicum primitivarum, erit $\equiv 0$ , et proin etiam productum ipsum: quando vero $p-1$ per nullum quadratum dividi potest, omnes exponentes $\alpha$ , $\beta$ , $\gamma$ etc. erunt $=1$ , unde summa omnium radicum primitivarum congrua erit producto ex tot factoribus, quorum quisque $\equiv -1$ , quot habentur numeri $a$ , $b$ , $c$ etc. , adeoque erit $\equiv \pm 1$ , prout horum numerorum multitudo par vel impar. Illa autem ita probantur.

1°. Quando $\alpha =1$ atque $A$ numerus ad exponentem $a$ pertinens, reliqui numeri ad hunc exponentem pertinentes erunt $A^{2},A^{3}\ldots A^{a-1}$ . At $1+A+A^{2}+A^{3}\ldots +A^{a-1}$ est summa periodi completae, adeoque $\equiv 0$ ([[/InterNexii#art._79|art. 79]]), quare $A+A^{2}+A^{3}\ldots +A^{a-1}\equiv -1$

2°. Quando autem $\alpha >1$ , atque $A$ numerus ad exponentem $a^{\alpha }$ pertinens, reliqui numeri ad hunc exponentem pertinentes habebuntur, si ex his $A^{2},A^{3},A^{4}\ldots A^{a^{\alpha }-1}$ reiiciuntur $A^{a},A^{2a},A^{3a}$ etc., vid [[/InterNexii#art._53|art. 53]]; quare summa eorum erit $\equiv 1+A+A^{2}\ldots +A^{a^{\alpha }-1}-(1+A^{a}+A^{2a}\ldots +A^{a^{\alpha }-a})$ i. e. congrua differentiae duarum periodorum, adeoque $\equiv 0$ . Q. E. D.

De modulis qui sunt numerorum primorum potestates.

82.

Omnia quae hactenus exposuimus innituntur suppositioni, modulum esse numerum primum. Superest ut eum quoque casum consideremus, ubi pro modulo assumitur numerus compositus. Attamen quum hic neque proprietates tam elegantes eniteant, quam in casu priori, neque ad eas inveniendas artificiis subtilibus sit opus, sed potius omnia fere per solam principiorum praecedentium applicationem erui possint, omnes minutias hic exhaurire superfluum atque taediosum foret. Breviter itaque quae huic casui cum priori sint communia quaeque propria exponemus.

83.

Propositiones artt. [[/InterNexii#art._45|45]] — 48 generaliter iam sunt demonstratae. At prop. [[/InterNexii#art._49|art. 49]] ita immutari debet:

Si $f$ designat, quot numeri dentur ad $m$ primi simul ipso $m$ minores, i. e. si $f=\varphi m$ ([[/InterNexii#art._38|art. 38]]): exponens $t$ infimae potestatis numeri dati $a$ ad $m$ primi, quae secundum modulum $m$ unitati est congrua, vel erit $=f$ vel pars aliquota huius numeri.

Demonstratio prop. [[/InterNexii#art._49|art. 49]] etiam pro hoc casu valere potest, si modo ubique loco ipsius $p$ , $m$ , loco ipsius $p-1$ , $f$ , et loco numerorum $1,2,3,\ldots p-1$ , numeri ad $m$ primi simulque ipso $m$ minores substituantur. Huc itaque lectorem ablegamus, Ceterum demonstrationes reliquae de quibus illic locuti sumus (artt. [[/InterNexii#art._50|50]], [[/InterNexii#art._51|51]]), non sine multis ambagibus ad hunc casum applicari possunt. — At respectu propositionum sequentium, [[/InterNexii#art._52|art. 52]] sqq. magna differentia incipit inter modulos, qui numerorum primorum sunt potestates, eosque, qui per plures numeros primos dividi possunt. Seorsim itaque modulos prioris generis contemplabimur.

84.

Si modulus $m=p^{n}\!$ , designante $p$ numerum primum, erit $f=p^{n-1}(p-1)$ ([[/InterNexii#art._38|art. 38]]). Iam si disquisitiones in artt. [[/InterNexii#art._53|53]], [[/InterNexii#art._54|54]] contentae ad hunc casum applicantur, mutatis mutandis uti in art. praec. praescripsimus, invenietur, omnia quae ibi demonstrata sunt etiam pro hoc casu locum habere, si modo ante probatum esset, congruentiam formae $\textstyle x^{t}-1\equiv 0{\pmod {p^{n}}}$ plures quam $t$ radices diversas habere non posse. Pro modulo primo hanc veritatem ex propositione generaliori [[/InterNexii#art._43|art. 43]] deduximus, quae autem in omni sua extensione de modulis primis tantummodo valet, neque adeo ad hunc casum applicanda. Attamen propositionem pro hoc casu particulari veram esse, per methodum singularem demonstrabimus. Infra (sect. VIII) idem facilius invenire docebimus.

85.

Demonstrandum proponimus nobis hoc theorema:

Si numerorum $t$ et $p^{n-1}(p-1)$ divisor communis maximus est $e$ , congruentia $\textstyle x^{t}\equiv 1{\pmod {p^{n}}}$ habebit $e$ radices diversas.

Sit $e=kp^{\nu }\!$ ita ut $k$ factorem $p$ non involvat, adeoque numerum $p-1$ metiatur. Tum congruentia $x^{t}\equiv 1$ secundum modulum $p$ habebit $k$ radices diversas, quibus per $A$ , $B$ , $C$ etc. designatis, radix quaecunque eiusdem congruentiae secundum modulum $p^{n}\!$ congrua esse debet secundum modulum $p$ alicui numerorum $A$ , $B$ , $C$ etc. Iam demonstrabimus, congruentiam $\textstyle x^{t}\equiv 1{\pmod {p^{n}}}$ habere $p^{\nu }\!$ radices ipsi $A$ , totidem ipsi $B$ etc. congruas secundum modulum $p$ . Quo facto omnium radicum numerus erit $kp^{\nu }\!$ sive $e$ , uti diximus. Illam vero demonstrationem ita adornabimus, ut primo ostendamus, si $\alpha$ fuerit radix ipsi $A$ secundum modulum $p$ congrua, etiam $\alpha +p^{n-\nu },\alpha +2p^{n-\nu },\alpha +3p^{n-\nu },\ldots \alpha +(p^{\nu }-1)p^{n-\nu }$ fore radices; secundo, numeros ipsi $A$ secundum modulum $p$ congruos alios quam qui in forma $\alpha +hp^{n-\nu }\!$ sint comprehensi (denotante $h$ integrum quemcunque), radices esse non posse: unde manifesto $p^{\nu }\!$ radices diversae habebuntur, et non plures: atque idem etiam de radicibus, quae singulis $B$ , $C$ etc. sunt congruae, locum habebit: tertio docebimus, quomodo semper radix, ipsi $A$ secundum $p$ congrua, inveniri possit.

86.

Theorema. Si uti in art. praec. $t$ est numerus per $p^{\nu }\!$ , neque vero per $p^{\nu +1}$ divisibilis, erit $\textstyle (\alpha +hp^{\mu })^{t}-\alpha ^{t}\equiv 0{\pmod {p^{\mu +\nu }}}$ , at $\textstyle \equiv \alpha ^{t-1}hp^{\mu }t{\pmod {p^{\mu +\nu +1}}}$

Theorematis pars posterior locum non habet, quando $p=2$ simulque $\mu =1$ .

Demonstratio huius theorematis ex evolutione potestatis binomii peti posset, si ostenderetur omnes terminos post secundum per $p^{\mu +\nu +1}\!$ divisibiles esse. Sed quoniam consideratio denominatorum coëfficientium in aliquot ambages deducit, methodum sequentem praeferimus.

Ponamus primo $\mu >1$ atque $\nu =1$ , eritque propter ${\begin{aligned}x^{t}-y^{t}=&\ \ (x-y)(x^{t-1}+x^{t-2}y+x^{t-3}y^{2}+\mathrm {etc.} +y^{t-1})\\(\alpha +hp^{\mu })^{t}-\alpha ^{t}=&\ \ hp^{\mu }((\alpha +hp^{\mu })^{t-1}+(\alpha +hp^{\mu })^{t-1}\alpha +\mathrm {etc.} +\alpha ^{t-1})\end{aligned}}$ At est $\textstyle \alpha +hp^{\mu }\equiv \alpha {\pmod {p^{2}}}$
quare quisque terminus $(\alpha +hp^{\mu })^{t-1}\!$ , $(\alpha +hp^{\mu })^{t-2}\alpha$ etc. erit $\textstyle \equiv \alpha ^{t-1}{\pmod {p^{2}}}$ , adeoque omnium summa $\textstyle \equiv t\alpha ^{t-1}{\pmod {p^{2}}}$ sive formae $t\alpha ^{t-1}+Vp^{2}$ denotante $V$ numerum quemcunque. Hinc $(\alpha +hp^{\mu })^{t}-\alpha ^{t}$ erit formae $\alpha ^{t-1}hp^{\mu }t+Vhp^{\mu +2}$ , i. e. $\textstyle \equiv \alpha ^{t-1}hp^{\mu }t{\pmod {p^{\mu +2}}}$ et $\textstyle \equiv 0{\pmod {p^{\mu +1}}}$ Pro hoc itaque casu theorema est demonstratum.

Iam si theorema pro aliis ipsius $\nu$ valoribus verum non esset, manente etiamnum $\mu >1$ , limes aliquis necessario daretur, usque ad quem theorema semper verum foret, ultra vero falsum. Sit minimus valor ipsius $\nu$ , pro quo falsum est $=\varphi$ , unde facile perspicitur, si $t$ per $p^{\varphi -1}\!$ non autem per $p^{\varphi }\!$ fuerit divisibilis, theorema adhuc verum esse, at si loco ipsius $t$ substituatur $tp$ , falsum. Habemus itaque $\textstyle (\alpha +hp^{\mu })^{t}\equiv \alpha ^{t}+\alpha ^{t-1}hp^{\mu }t{\pmod {p^{\mu +\varphi }}}$ sive $=\alpha ^{t}+\alpha ^{t-1}hp^{\mu }t+up^{\mu +\varphi }$ denotante $u$ numerum integrum. At quia pro $\nu =1$ theorema iam est demonstratum, erit $\textstyle (\alpha ^{t}+\alpha ^{t-1}hp^{\mu }t+up^{\mu +\varphi })^{p}\equiv$ $\textstyle \alpha ^{tp}+\alpha ^{tp-1}hp^{\mu +1}t+\alpha ^{tp-t}up^{\mu +\varphi +1}{\pmod {p^{\mu +\varphi +1}}}$ adeoque etiam $\textstyle (\alpha +hp^{\mu })^{tp}\equiv \alpha ^{tp}+\alpha ^{tp-1}hp^{\mu }tp{\pmod {p^{\mu +\varphi +1}}}$ i. e. theorema etiam verum, si loco ipsius $t$ substituitur $tp$ , i. e. etiam pro $\nu =\varphi$ , contra hypothesin. Unde manifestum pro omnibus ipsius $\nu$ valoribus theorema verum esse.

87.

Superest casus ubi $\mu =1$ . Per methodum prorsus similem ei qua in art. praec. usi sumus, sine adiumento theorematis binomialis demonstrari potest, esse ${\begin{alignedat}{1}\textstyle (\alpha +&hp)^{t-1}\equiv &\ \alpha ^{t-1}+\alpha ^{t-2}(t-1)hp{\pmod {p^{2}}}\\\textstyle \alpha (\alpha +&hp)^{t-2}\equiv &\ \alpha ^{t-1}+\alpha ^{t-2}(t-2)hp\\\textstyle \alpha \alpha (\alpha +&hp)^{t-3}\equiv &\ \alpha ^{t-1}+\alpha ^{t-2}(t-3)hp\\\textstyle &\mathrm {etc.} \end{alignedat}}$ unde aggregatum erit (quia partium raultitudo $=t$ ) $\textstyle \equiv t\alpha ^{t-1}+{\frac {(t-1)t}{2}}\alpha ^{t-2}hp{\pmod {p^{2}}}$

At quoniam $t$ per $p$ divisibilis, etiam ${\tfrac {(t-1)t}{2}}$ per $p$ divisibilis erit in omnibus casibus excepto eo ubi $p=2$ de quo iam in art. praec. monuimus. In reliquis autem casibus erit $\textstyle {\frac {(t-1)t}{2}}\alpha ^{t-2}hp\equiv 0{\pmod {p^{2}}}$ , adeoque etiam illud aggregatum $\textstyle \equiv t\alpha ^{t-1}{\pmod {p^{2}}}$ ut in art. praec. In reliquis demonstratio hic eodem modo procedit ut istic.

Colligimus igitur generaliter, unico casu $p=2$ excepto, esse $\textstyle (\alpha +hp^{\mu })^{t}\equiv \alpha ^{t}{\pmod {p^{\mu +\nu }}}$ et $(\alpha +hp^{\mu })^{t}$ non $\equiv \alpha ^{t}\!$ pro quovis modulo qui sit altior potestas ipsius $p$ , quam haec $p^{\mu +\nu }\!$ , quoties quidem $h$ per $p$ non est divisibilis, atque $p^{\nu }\!$ potestas suprema ipsius $p$ quae numerum $t$ dividit.

Hinc protinus derivantur propositiones 1. et 2, quas [[/InterNexii#art._85|art. 85]] demonstrandas nobis proposueramus: scilicet

primo, si $\alpha ^{t}\equiv 1$ , erit etiam $\textstyle (\alpha +hp^{n-\nu })^{t}\equiv 1{\pmod {p^{n}}}$ ;

secundo si numerus aliquis $\alpha '$ ipsi $A$ adeoque etiam ipsi $\alpha$ secundum modulum $p$ congruus, neque vero huic secundum modulum $p^{n-\nu }$ , congruentiae $\textstyle x^{t}\equiv 1{\pmod {p^{n}}}$ satisfaceret , ponamus $\alpha '$ esse $=\alpha +lp^{\lambda }\!$ ita ut $l$ per $p$ non sit divisibilis, eritque $\lambda <n-\nu$ , tunc autem $(\alpha +lp^{\lambda })^{t}\!$ secundum modulum $p^{\lambda +\nu }\!$ ipsi $\alpha ^{t}$ congruus erit, non autem secundum modulum $p^{n}\!$ , quae est altior potestas, quare $\alpha '$ radix congruentiae $x^{t}\equiv 1$ esse nequit.

88.

Tertium vero fuit radicem aliquam congruentiae $\textstyle x^{t}\equiv 1{\pmod {p^{n}}}$ , ipsi $A$ congruam, invenire. Ostendemus hic tantummodo, quomodo hoc fieri possit, si iam radix eiusdem congruentiae secundum modulum $p^{n-1}\!$ innotuerit; manifesto hoc sufficit, quum a modulo $p$ pro quo $A$ est radix, ad modulum $p^{2}\!$ , sicque deinceps ad omnes potestates consecutivas progredi possimus.

Esto itaque $\alpha$ radix congruentiae $\textstyle x^{t}\equiv 1{\pmod {p^{n-1}}}$ , quaeriturque radix eiusdem congruentiae secundum modulum $p^{n}\!$ , ponatur haec $=\alpha +hp^{n-\nu -1}$ , quam formam eam habere debere ex art. praec. sequitur (casum ubi $\nu =n-1$ postea seorsim considerabimus : maior vero quam $n-1$ , $\nu$ esse nequit). Debet itaque esse $\textstyle (\alpha +hp^{n-\nu -1})^{t}\equiv 1{\pmod {p^{n-1}}}$ At $\textstyle (\alpha +hp^{n-\nu -1})^{t}\equiv \alpha ^{t}+\alpha ^{t-1}htp^{n-\nu -1}{\pmod {p^{n}}}$
Si itaque $h$ ita determinatur, ut fiat $\textstyle 1\equiv \alpha ^{t}+\alpha ^{t-1}htp^{n-\nu -1}{\pmod {p^{n}}}$ ; sive (quia per hyp. $\textstyle 1\equiv \alpha ^{t}{\pmod {p^{n-1}}}$ atque $t$ per $p^{\nu }\!$ divisibilis) ita ut fiat $\textstyle {\frac {\alpha ^{t}-1}{p^{n-1}}}+\alpha ^{t-1}h{\frac {t}{p^{\nu }}}$ per $p$ divisibilis, quaesito satisfactum erit. Hoc autem semper fieri posse ex Sect. praec. manifestum, quum $t$ per altiorem ipsius $p$ potestatem quam $p^{\nu }\!$ dividi non posse hic supponamus, adeoque $\alpha ^{t-1}{\frac {t}{p^{\nu }}}$ ad $p$ sit primus.

Si vero $\nu =n-1$ i. e. $t$ per $p$ sive etiam per altiorem ipsius $p$ potestatem divisibilis, quivis valor $A$ congruentiae $x^{t}\equiv 1$ secundum modulum $p$ satisfaciens eidem etiam secundum modulum $p^{n}\!$ satisfaciet. Sit enim $t=p^{n-1}\tau$ , eritque $\textstyle \tau \equiv t{\pmod {p-1}}$ : quare quoniam $\textstyle A^{t}\equiv 1{\pmod {p}}$ , erit etiam $\textstyle A^{\tau }\equiv 1{\pmod {p}}$ . Ponatur itaque $A^{\tau }=1+hp$ eritque $\textstyle A^{t}=(1+hp)^{p^{n-1}}\equiv 1{\pmod {p^{n}}}$ [[/InterNexii#art._87|art. 87]].

89.

Omnia quae [[/InterNexii#art._57|art. 57]] sqq. adiumento theorematis, congruentiam $x^{t}\equiv 1$ plures quam $t$ radices diversas non habere eruimus, etiam pro modulo qui est numeri primi potestas locum habent, et si radices primitivae vocantur numeri, qui ad exponentem $p^{n-1}(p-1)$ pertinent, sive in quorum periodis omnes numeri per $p$ non divisibiles inveniuntur, etiam hic radices primitivae exstabunt. Omnia autem quae supra de indicibus eorumque usu tradidimus, necnon de solutione congruentiae $x^{t}\equiv 1$ , ad hunc quoque casum applicari possunt. Quae quum nulli difficultati obnoxia sint, omnia ex integro repetere superfluum foret. Praeterea radices congruentiae $x^{t}\equiv 1$ secundum modulum $p^{n}\!$ e radicibus eiusdem congruentiae secundum $p$ deducere docuimus. Sed de eo casu ubi potestas aliqua numeri $2$ est modulus, quia supra exceptus fuit, aliqua adhuc sunt adiicienda.

Moduli qui sunt potestates binarii.

90.

Si potestas aliqua numeri $2$ , altior quam secunda, puta $2^{n}\!$ pro modulo accipitur, numeri cuiusvis imparis potestas exponentis $p^{n-2}\!$ , unitati est congrua. Ex. gr. $\textstyle 3^{8}=6561\equiv 1{\pmod {32}}$ .

Quivis enim numerus impar vel sub forma $1+4h$ , vel sub hac $-1+4h$ comprehenditur: unde propositio protinus sequitur (theor. [[/InterNexii#art._86|art. 86]]).

Quoniam igitur exponens, ad quem quicunque numerus impar secundum modulum $2^{n}$ pertinet, divisor ipsius $2^{n-2}$ esse debet, quivis ad aliquem horum numerum pertinebit $1,2,4,8\ldots 2^{n-2}$ , ad quemnam vero pertineat, ita facile diiudicatur. Sit numerus propositus $=4h\pm 1$ , atque exponens maximae potestatis numeri $2$ , quae ipsum $h$ metitur, $=m$ (qui etiam $=0$ esse potest, quando scilicet $h$ est impar); tum exponens, ad quem numerus propositus pertinet, erit $2^{n-m-2}$ , siquidem $n>m+2$ si autem $n=$ vel $<m+2$ , numerus propositus est $\equiv \pm 1$ adeoque vel ad exponentem $1$ vel ad exponentem $2$ pertinebit. Numerum enim formae $\pm 1+2^{m+2}k$ , (quae huic aequivalet , $4h\pm 1$ ) ad potestatem exponentis $2^{n-m-2}$ elevatum unitati secundum modulum $2^{n}$ congruum fieri, ad potestatem autem exponentis, qui est inferior numeri $2$ potestas, incongruum, ex [[/InterNexii#art._86|art. 86]] nullo negotio deducitur. Numerus itaque quicunque formae $8k+3$ vel $8k+5$ ad exponentem $2^{n-2}$ pertinebit.

91.

Hinc patet eo sensu, quo supra expressionem accepimus, radices primitivas hic non dari, nullos scilicet numeros, quorum periodus omnes numeros modulo minores ad ipsumque primos amplectatur. Attamen facile perspicitur, analogon hic haberi. Invenitur enim, numeri formae $8k+3$ potestatem exponentis imparis semper esse formae $8k+3$ , potestatem autem exponentis paris, semper formae $8k+1$ ; nulla igitur potestas formae $8k+5$ aut $8k+7$ esse potest. Quare quum periodus numeri formae $8k+3$ , ex $2^{n-2}$ terminis diversis constet, quorum quisque aut formae $8k+3$ aut huius $8k+1$ , neque plures huiusmodi numeri modulo minores dentur quam $2^{n-2}$ , manifesto quivis numerus formae $8k+1$ vel $8k+3$ congruus est secundum modulum $2^{n}$ potestati alicui numeri cuiuscunque formae $8k+3$ . Simili modo ostendi potest periodum numeri formae $8k+5$ comprehendere omnes numeros formarum $8k+1$ et $8k+5$ . Si igitur numerus formae $8k+5$ pro basi assumitur, omnes numeri formae $8k+1$ et $8k+5$ , positive, omnesque formae $8k+3$ et $8k+7$ , negative sumti, indices reales nanciscentur, et quidem hic indices secundum $2^{n-2}$ congrui pro aequivalentibus sunt habendi. Hoc modo [[/InterNexii#Tab._I|tabula nostra I]] intelligenda, ubi pro modulis $16$ , $32$ et $64$ (namque pro modulo $8$ nulla tabula necessaria erit) semper numerum $5$ pro basi accepimus. Ex. gr. numero $19$ , qui est formae $8n+3$ adeoque negatim sumendus, respondet pro modulo $64$ index $7$ , id quod significat esse $\textstyle 5^{7}\equiv -19{\pmod {64}}$ . Numeris autem formarum $8n+1$ , $8n+5$ negative, atque nunieris formarum $8n+3$ , $8n+7$ positive acceptis, indices quasi imaginarii tribuendi forent. Quos introducendo calculus indicum ad algorithmum perquam simplicem reduci potest. Sed quoniam, si haec ad omnem rigorem exponere vellemus, nimis longe evagari oporteret, hoc negotium ad aliam occasionem nobis reservamus, quando forsan fusius quantitatum imaginariarum theoriam, quae nostro quidem iudicio a nemine hactenus ad notiones claras est reducta, pertractare suscipiemus. Periti hunc algorithmum facile ipsi eruent: qui minus sunt exercitati, perinde tamen tabula hac uti poterunt, ut ii qui recentiorum commenta de logarithmis imaginariis ignorant, logarithmis utuntur, si quidem principia supra stabilita probe tenuerint.

Moduli e pluribus primis compositi.

92.

Secundum modulum e pluribus primis compositum tantum non omnia quae ad residua potestatum pertinent, ex theoria congruentiarum generali deduci possunt; quia vero infra congruentias quascunque secundum modulum e pluribus primis compositum ad congruentias, quarum modulus est primus aut primi potestas, reducere fusius docebimus, non est quod huic rei multum hic immoremur. Observamus tantum, bellissimam proprietatem, quae pro reliquis modulis locum habeat, quod scilicet semper exstant numeri quorum periodus omnes numeros ad modulum primos complectatur, hic deficere, excepto unico casu, quando scilicet modulus est duplum numeri primi, aut potestatis numeri primi. Si enim modulus $m$ redigitur ad formam $A^{a}B^{b}C^{c}$ etc., designantibus $A$ , $B$ , $C$ etc. numeros primos diverses, praeterea $A^{a-1}(A-1)$ designatur per $\alpha$ , $B^{b-1}(B-1)$ per $\beta$ etc. denique $z$ est numerus ad $m$ primus; erit $\textstyle z^{\alpha }\equiv 1{\pmod {A^{a}}}$ , $\textstyle z^{\beta }\equiv 1{\pmod {B^{b}}}$ etc. Quodsi igitur $\mu$ est minimus numerorum $\alpha$ , $\beta$ , $\gamma$ etc. dividuus communis, erit $z^{\mu }\equiv 1$ secundum omnes modulos $A^{a}\!$ , $B^{b}\!$ etc. adeoque etiam secundum $m$ , cui illorum productum est aequale. At excepto casu, ubi $m$ est duplum numeri primi aut potestatis numeri primi, numerorum $\alpha$ , $\beta$ , $\gamma$ etc. dividuus communis minimus, ipsorum producto est minor (quoniam numeri $\alpha$ , $\beta$ , $\gamma$ etc. inter se primi esse nequeunt sed certe divisorem $2$ communem habent). Nullius itaque numeri periodus tot terminos comprehendere potest, quot dantur numeri ad modulum primi ipsoque minores, quia horum numerus producto ex $\alpha$ , $\beta$ , $\gamma$ etc. est aequalis. Ita ex. gr. pro $m=1001$ cuiusvis numeri ad $m$ primi potestas exponentis $60$ unitati est congrua, quia $60$ est dividuus communis numerorum $6$ , $10$ , $12$ . — Casus autem ubi modulus est duplum numeri primi aut duplum potestatis numeri primi, illi ubi est primus aut primi potestas, prorsus est similis.

93.

Scriptorum in quibus alii geometrae de argumento in hac sectione pertractato egerunt, iam passim mentio est facta. Eos tamen qui quaedam fusius, quam nobis brevitas permisit, explicata desiderant, ablegamus imprimis ad sequentes ill. Euleri commentationes, ob perspicuitatem, qua vir summus prae omnibus semper excelluit, maxime commendabiles.
Theoremata circa residua ex divisione potestatum relicta Comm. nov. Petr. T. VII p. 49 sqq.
Demonstrationes circa residua ex divisione potestatum per numeros primos resultantia. Ibid. T. XVIII p. 85 sqq.

Adiungi bis possunt Opusculorum analyt. T. I, dissertt. 5 et 8.

SECTIO QUARTA

DE

CONGRUENTIIS SECUNDI GRADUS.

Residua et non-residua quadratica.

94.

Theorema. Numero quocunque $m$ pro modulo accepto, ex numeris $0$ , $1$ , $2$ , $3$ $\ldots$ $m-1$ , plures quam $\textstyle {\frac {1}{2}}m+1$ , quando $m$ est par, sive plures quam $\textstyle {\frac {1}{2}}m+{\frac {1}{2}}$ , quando $m$ est impar, quadrato congrui fieri non possunt.

Dem. Quoniam numerorum congruorum quadrata sunt congrua: quivis numerus, qui ulli quadrato congruus fieri potest, etiam quadrato alicui cuius radix $<m$ congruus erit. Sufficit itaque residua minima quadratorum $0$ , $1$ , $4$ , $9$ $\ldots$ $(m-1)^{2}$ considerare. At facile perspicitur, esse $(m-1)^{2}\equiv 1$ , $(m-2)^{2}\equiv 2^{2}\!$ , $(m-3)^{2}\equiv 3^{2}\!$ etc. Hinc etiam, quando $m$ est par, quadratorum $\textstyle ({\frac {1}{2}}m-1)^{2}\!$ et $\textstyle ({\frac {1}{2}}m+1)^{2}\!$ , $\textstyle ({\frac {1}{2}}m-2)^{2}\!$ et $\textstyle ({\frac {1}{2}}m+2)^{2}\!$ etc. residua minima eadem erunt: quando vero $m$ est impar, quadrata $\textstyle ({\frac {1}{2}}m-{\frac {1}{2}})^{2}\!$ et $\textstyle ({\frac {1}{2}}m+{\frac {1}{2}})^{2}\!$ , $\textstyle ({\frac {1}{2}}m-{\frac {3}{2}})^{2}\!$ et $\textstyle ({\frac {1}{2}}m+{\frac {3}{2}})^{2}\!$ etc. erunt congrua. Unde palam est, alios numeros, quam qui alicui ex quadratis $0$ , $1$ , $4$ , $9$ $\ldots$ $\textstyle ({\frac {1}{2}}m)^{2}\!$ congrui sint, quadrato congruos fieri non posse, quando $m$ par; quando vero impar, quemvis numerum, qui ulli quadrato sit congruus, alicui ex his $0$ , $1$ , $4$ , $9$ $\ldots$ $\textstyle ({\frac {1}{2}}m-{\frac {1}{2}})^{2}\!$ necessario congruum esse. Quare dabuntur ad summum in priori casu $\textstyle {\frac {1}{2}}m+1$ residua minima diversa, in posteriori $\textstyle {\frac {1}{2}}m+{\frac {1}{2}}$ . Q. E. D.

Exemplum. Secundum modulum 13 quadratorum numerorum 0, 1, 2, 3 … 6 residua minima inveniuntur 0, 1, 4, 9, 3, 12, 10, post haec vero eadem ordine inverso recurrunt 10, 12, 3 etc. Quare numerus quisque, nulli ex istis residuis congruus, sive qui alicui ex his est congruus, 2, 5, 6, 7, 8, 11, nulli quadrato congruus esse potest.

Secundum modulum 15 haec inveniuntur residua 0, 1, 4, 9, 1, 10, 6, 4, post quae eadem ordine inverso recurrunt. Hic igitur numerus residuorum, quae quadrato congrua fieri possunt, minor adhuc est quam $\textstyle {\frac {1}{2}}m+{\frac {1}{2}}$ , quum sint 0, 1, 4, 6, 9, 10. Numeri autem 2, 3, 5, 7, 8, 11, 12, 13, 14 et qui horum alicui sunt congrui, nulli quadrato secundum mod. 15 congrui fieri possunt.

95.

Hinc colligitur, pro quovis modulo omnes numeros in duas classes distingui posse, quarum altera contineat numeros, qui quadrato alicui congrui fieri possint, altera eos, qui non possint. Illos appellabimus residua quadratica numeri istius quem pro modulo accepimus^[6], hos vero ipsius non-residua quadratica, sive etiam, quoties ambiguitas nulla inde oriri potest, simpliciter residua et non-residua. Ceterum palam est sufficere, si omnes numeri $0$ , $1$ , $2$ $\ldots$ $m-1$ in classes redacti sint: numeri enim congrui ad eandem classem erunt referendi.

Etiam in hac disquisitione a modulis primis initium faciemus, quod itaque subintelligendum erit, etiamsi expressis verbis non moneatur. Numerus primus $2$ autem excludendus, sive numeri primi impares tantum considerandi.

Quoties modulus est numerus primus, multitudo residuorum ipso minorum multitudini non-residuorum aequalis.

96.

Numero primo $p$ pro modulo accepto, numerorum $1$ , $2$ , $3$ $\ldots$ $p-1$ semissis erunt residua quadratica, reliqui non-residua, i. e. dabuntur ${\scriptstyle {\frac {1}{2}}}(p-1)$ residua totidemque non-residua.

Facile enim probatur, omnia quadrata $1$ , $4$ , $9\ldots$ ${\scriptstyle {\frac {1}{4}}}(p-1)^{2}\!$ esse incongrua. Scilicet si fieri posset $\textstyle rr\equiv r'\!r'\!{\pmod {p}}$ atque numeri $r$ , $r'\!$ inaequales et non maiores quam ${\scriptstyle {\frac {1}{2}}}(p-1)$ posito $r>r'\!$ i. q. licet, fieret $(r-r')(r+r')$ positivus et per $p$ divisibilis. At uterque factor $r-r'\!$ , et $r+r'\!$ ipso $p$ est minor, quare suppositio consistere nequit ([[/InterNexii#art._13|art. 13]]). Habentur itaque $\textstyle {\frac {1}{2}}(p-1)$ residua quadratica inter hos numeros $1$ , $2$ , $3$ $\ldots$ $p-1$ contenta; plura vero inter ipsos esse nequeunt, quia accedente residuo $0$ prodeunt $\textstyle {\frac {1}{2}}(p+1)$ , quem numerum omnium residuorum multitudo superare nequit. Quare reliqui numeri erunt non-residua horumque multitudo $\textstyle ={\frac {1}{2}}(p-1)$ .

Quum cifra semper sit residuum, hanc numerosque per modulum divisibiles ab investigationibus his excludimus, quia hic casus per se est clarus, theorematumque concinnitatem tantum turbaret. Ex eadem caussa etiam modulum $2$ exclusimus.

97.

Quum plura quae in hac Sect. exponemus, etiam ex principiis Sect. praec. derivari possint, neque inutile sit, eandem veritatem per methodos diversas perscrutari, hunc nexum ostendemus. Facile vero intelligitur, omnes numeros quadrato congruos, indices pares habere, eos contra, qui quadrato nullo modo congrui fieri possint, impares. Quia vero $p-1$ est numerus par, tot indices pares erunt quot impares, scilicet $\textstyle {\frac {1}{2}}(p-1)$ , totidemque tum residua tum non-residua dabuntur.

Exempla. Pro modulis		sunt residua
3	…	1.
5	…	1, 4.
7	…	1, 2, 4.
11	…	1, 3, 4, 5, 9.
13	…	1, 3, 4, 9, 10, 12.
17	…	1, 2, 4, 8, 9, 13, 15, 16.
	etc.

reliqui vero numeri his modulis minores, non-residua.

Quaestio, utrum numerus compositus residuum numeri primi dati sit an non-residuum, ab indole factorum pendet.

98.

Theorema. Productum e duobus residuis quadraticis numeri primi $p$ , est residuum; productum e residuo in non-residuum, est non-residuum; denique productum e duobus non-residuis, residuum.

Demonstr. I. Sint $A$ , $B$ residua e quadratis $aa$ , $bb$ oriunda sive $A\equiv aa$ , $B\equiv bb$ , eritque productum $AB$ quadrato numeri ab congruum i. e. residuum.

II. Quando $A$ est residuum, puta $\equiv aa$ , $B$ vero non-residuum, $AB$ erit non-residuum. Ponatur enim, si fieri potest, $AB\equiv kk$ , sitque valor expressionis $\textstyle {\frac {k}{a}}{\pmod {p}}\equiv b$ ; erit itaque $aaB\equiv aabb$ , unde $B\equiv bb$ , i. e. $B$ residuum contra hyp.

Aliter. Multiplicentur omnes numeri, qui inter hos $1$ , $2$ , $3$ $\ldots$ $p-1$ sunt residua (quorum multitudo $={\scriptstyle {\frac {1}{2}}}(p-1)$ ), per $A$ omniaque producta erunt residua quadratica, et quidem erunt omnia incongrua. Iam si non-residuum $B$ per $A$ multiplicatur, productum nulli productorum quae iam habentur congruum erit; quare si residuum esset, haberentur ${\scriptstyle {\frac {1}{2}}}(p+1)$ residua incongrua, inter quae nondum est residuum $0$ , contra [[/InterNexii#art._96|art. 96]].

III. Sint $A$ , $B$ non-residua. Multiplicentur omnes numeri, qui inter hos $1$ , $2$ , $3$ $\ldots$ $p-1$ sunt residua, per $A$ , habebunturque ${\scriptstyle {\frac {1}{2}}}(p-1)$ non-residua inter se incongrua (II); iam productum $AB$ nulli illorum congruum esse potest; quodsi igitur esset non-residuum, haberentur ${\scriptstyle {\frac {1}{2}}}(p+1)$ non-residua inter se incongrua, contra [[/InterNexii#art._96|art. 96]]. Quare productum etc. Q. E. D.

Facilius adhuc haec theoremata e principiis sect. praec. derivantur. Quia enim residuorum indices semper sunt pares, non-residuorum vero impares, index producti e duobus residuis vel non-residuis erit par, adeoque productum ipsum, residuum. Contra index producti e residuo in non-residuum erit impar adeoque productum ipsum non-residuum.

Utraque demonstrandi methodus etiam pro his theorematibus adhiberi potest: Expressionis $\textstyle {\frac {a}{b}}{\pmod {p}}$ valor erit residuum, quando numeri $a$ , $b$ simul sunt residua, vel simul non-residua; contra autem erit non-residuum, quando numerorum $a$ , $b$ alter est residuum, alter non-residuum. Possunt etiam ex conversione theorr. praecc. obtineri.

99.

Generaliter, productum ex quotcunque factoribus est residuum tum quando omnes sunt residua, tum quando non-residuorum, quae inter eos occurrunt, multitudo est par; quando vero multitudo non-residuorum quae inter factores reperiuntur, est impar, productum erit non-residuum. Facile itaque diiudicari potest, utrum numerus compositus sit residuum necne, si modo, quid sint singuli ipsius factores constet. Quamobrem in [[/InterNexii#Tabula.2|tabula II]] numeros primos tantummodo recepimus. Oeconomia huius tabulae haec est. In margine positi sunt moduli^[7], in facie vero numeri primi successivi; quando ex his aliquis fuit residuum moduli alicuius, in spatio utrique respondente lineola collocata est, quando vero numerus primus fuit non-residuum moduli, spatium respondens vacuum mansit.

De modulis, qui sunt numeri compositi.

100.

Antequam ad difficiliora progrediamur, quaedam de modulis non primis adiicienda sunt.

Si numeri primi $p$ , potestas aliqua $p^{n}$ pro modulo assumitur (ubi $p$ non esse $2$ supponimus), omnium numerorum per $p$ non divisibilium moduloque minorum altera semissis erunt residua, altera non-residua, i. e. utrorumque multitudo $={\scriptstyle {\frac {1}{2}}}(p-1)p^{n-1}\!$ .

Si enim $r$ est residuum: quadrato alicui congruus erit, cuius radix moduli dimidium non superat, vid. [[/InterNexii#art._94|art. 94]]. Iam facile perspicitur, dari ${\scriptstyle {\frac {1}{2}}}(p-1)p^{n-1}\!$ numeros per $p$ non divisibiles modulique semisse minoribus; superest itaque ut demonstretur, omnium horum numerorum quadrata incongrua esse, sive residua quadratica diversa suppeditare. Quodsi duorum numerorum $a,b$ per $p$ non divisibilium modulique semisse minorum quadrata essent congrua, foret $aa-bb$ sive $(a-b)(a+b)$ per $p^{n}\!$ divisibilis (posito i. q. licet $a>b$ ). Hoc vero fieri non potest, nisi vel alter numerorum $a-b$ , $a+b$ per $p^{n}\!$ fuerit divisibilis, quod fieri nequit, quoniam uterque $<p^{n}\!$ , vel alter per $p^{m}\!$ alter vero per $p^{n-m}\!$ , i. e. uterque per $p$ . Sed etiam hoc fieri nequit. Manifesto enim etiam summa et differentia $2a$ et $2b$ per $p$ foret divisibilis adeoque etiam $a$ et $b$ contra hyp. — Hinc tandem colligitur inter numeros per $p$ non divisibiles moduloque minores ${\scriptstyle {\frac {1}{2}}}(p-1)p^{n}\!$ residua dari, reliquos quorum multitudo aeque magna, esse non-residua, Q. E. D. — Potest etiam theorema hoc ex consideratione indicum derivari simili modo ut [[/InterNexii#art._97|art. 97]].

101.

Quivis numerus per $p$ non divisibilis, qui ipsius $p$ est residuum, erit residuum etiam ipsius $p^{n}\!$ ; qui vero ipsius $p$ est non-residuum, etiam ipsius $p^{n}\!$ non-residuum erit.

Pars posterior huius propositionis per se est manifesta. Si itaque prior falsa esset, inter numeros ipso $p^{n}\!$ minores simulque per $p$ non divisibiles plures forent residua ipsius $p$ quam ipsius $p^{n}\!$ , i. e. plures quam ${\scriptstyle {\frac {1}{2}}}p^{n-1}(p-1)$ . Nullo vero negotio perspici poterit, multitudinem residuorum numeri $p$ inter illos numeros esse praecise $={\scriptstyle {\frac {1}{2}}}p^{n-1}(p-1)$ .

Aeque facile est, quadratum reipsa invenire, quod secundum modulum $p^{n}\!$ residuo dato sit congruum, si quadratum huic residuo secundum modulum $p$ congruum habetur.

Scilicet si quadratum habetur, $aa$ , quod residuo dato $A$ secundum modulum $p^{\mu }\!$ est congruum, deducitur inde quadratum ipsi $A$ secundum modulum $p^{\nu }\!$ congruum (ubi $\nu >\mu$ et $=$ vel $<2\mu$ supponitur) sequenti modo. Ponatur radix quadrati quaesiti $=\pm a+xp^{\mu }\!$ , quam formam eam habere debere facile perspicitur; debetque esse $aa\pm 2axp^{\mu }+xxp^{2\mu }$ $\equiv$ $\textstyle A{\pmod {p^{\nu }}}$ sive propter $2\mu >\nu$ , $A-aa$ $\equiv$ $\textstyle \pm 2axp^{\mu }\!{\pmod {p^{\nu }}}$ . Sit $A-aa=p^{\mu }d$ , eritque $x$ valor expressionis $\textstyle \pm {\frac {d}{2a}}{\pmod {p^{\nu -\mu }}}$ , quae huic $\textstyle \pm {\frac {A-aa}{2ap^{\mu }}}{\pmod {p^{\nu }}}$ aequivalet.

Dato igitur quadrato ipsi $A$ secundum $p$ congruo, deducitur inde quadratum ipsi $A$ secundum modulum $p^{2}\!$ congruum; hinc ad modulum $p^{4}\!$ , hinc ad $p^{8}\!$ etc. ascendi poterit.

Ex. Proposito residuo 6, quod secundum modulum 5 quadrato 1 congruum, invenitur quadratum 9² cui secundum 25 est congruum, 16² cui secundum 125 congruum etc.

102.

Quod vero attinet ad numeros per $p$ divisibiles, patet, eorum quadrata per $pp$ fore divisibilia, adeoque omnes numeros per $p$ quidem divisibiles, neque vero per $pp$ , ipsius $p^{n}\!$ fore non-residua. Generaliter vero, si proponitur numerus $p^{k}A\!$ , ubi $A$ per $p$ non est divisibilis, hi casus erunt distinguendi:

1) Quando $k=$ vel $>n$ , erit $\textstyle p^{k}A\equiv 0{\pmod {p^{n}}}$ , i. e. residuum.

2) Quando $k<n$ atque impar, erit $p^{k}A$ non-residuum.

Si enim esset $p^{k}A$ $=$ $p^{2\kappa +1}A$ $\equiv$ $\textstyle ss{\pmod {p^{n}}}$ , $ss$ per $p^{2\kappa +1}\!$ divisibilis esset, id quod aliter fieri nequit, quam si fuerit $s$ per $p^{\kappa +1}\!$ divisibilis. Tunc vero $ss$ etiam per $p^{2\kappa +2}\!$ divisibilis, adeoque etiam (quia $2\kappa +2$ certo non maior quam $n$ ) $p^{k}A$ i. e. $p^{2\kappa +1}A$ ; sive $A$ per $p$ , contra hyp.

3) Quando $k<n$ atque par. Tum $p^{k}A$ erit residuum vel non-residuum ipsius $p^{n}\!$ , prout $A$ est residuum vel non-residuum ipsius $p$ . Quando enim $A$ est residuum ipsius $p$ , erit etiam residuum ipsius $p^{n-k}\!$ . Posito autem $\textstyle A\equiv aa{\pmod {p^{n-k}}}$ erit $\textstyle Ap^{k}\equiv aap^{k}\!{\pmod {p^{n}}}$ , $aap^{k}\!$ vero est quadratum. Quando autem $A$ est non-residuum ipsius $p$ , $p^{k}A$ residuum ipsius $p^{n}\!$ esse nequit. Ponatur enim $\textstyle p^{k}A\equiv aa{\pmod {p^{n}}}$ , eritque necessario $aa$ per $p^{k}\!$ divisibilis. Quotiens erit quadratum, cui $A$ secundum modulum $p^{n-k}\!$ adeoque etiam secundum modulum $p$ congruus, i. e. $A$ erit residuum ipsius $p$ contra hyp.

103.

Quoniam casum $p=2$ exclusimus, de hoc adhuc quaedam dicenda. Quando numerus $2$ est modulus, numerus quicunque erit residuum, non-residua nulla erunt. Quando vero $4$ est modulus, omnes numeri impares formae $4k+1$ erunt residua, omnes vero formae $4k+3$ non-residua. Tandem quando $8$ aut altior potestas numeri $2$ est modulus, omnes numeri impares formae $8k+1$ erunt residua, reliqui vero, seu ii qui sunt formarum $8k+3$ , $8k+5$ , $8k+7$ , erunt non-residua. Pars posterior huius propositionis inde clara, quod quadratum cuiusvis numeri imparis, sive sit formae $4k+1$ , sive formae $4k-1$ , fit formae $8k+1$ . Priorem ita probamus.

1) Si duorum numerorum vel summa vel differentia per $2^{n-1}\!$ est divisibilis, numerorum quadrata erunt congrua secundum modulum $2^{n}\!$ . Si enim alter ponitur $=a$ , erit alter formae $2^{n-1}h\pm a$ , cuius quadratum invenitur $\textstyle \equiv aa{\pmod {2^{n}}}$ .

2) Quivis numerus impar, qui ipsius $2^{n}\!$ est residuum quadraticum, congruus erit quadrato alicui, cuius radix est numerus impar et $<2^{n-2}\!$ . Sit enim quadratum quodcunque, cui numerus ille congruus, $aa$ atque numerus $\textstyle a\equiv \pm \alpha {\pmod {2^{n-1}}}$ , ita ut $\alpha$ moduli semissem non superet ([[/InterNexii#art._4|art. 4]]), eritque $aa\equiv \alpha \alpha$ . Quare etiam numerus propositus erit $\equiv \alpha \alpha$ . Manifesto vero tum $a$ tum $\alpha$ erunt impares atque $\alpha <2^{n-2}\!$ .

3) Omnium numerorum imparium ipso $2^{n-2}\!$ minorum quadrata secundum $2^{n}\!$ incongrua erunt. Sint enim duo tales numeri $r$ et $s$ , quorum quadrata si secundum $2^{n}\!$ essent congrua, foret $(r-s)(r+s)$ per $2^{n}\!$ divisibilis (posito $r>s$ ). Facile vero perspicitur numeros $r-s$ , $r+s$ simul per $4$ divisibiles esse non posse, quare si alter tantummodo per $2$ est divisibilis, alter, ut productum per $2^{n}\!$ divisibilis fieret, per $2^{n-1}\!$ divisibilis esse deberet, Q. E. A. quoniam uterque $<2^{n-2}\!$ .

4) Quodsi denique haec quadrata ad residua sua minima positiva reducuntur, habebuntur $2^{n-3}\!$ residua quadratica diversa modulo minora^[8], quorum quodvis erit formae $8k+1$ . Sed quum praecise $2^{n-3}\!$ numeri formae $8k+1$ modulo minores exstent, necessario hi omnes inter illa residua reperientur. Q. E. D.

Ut quadratum numero dato formae $8k+1$ secundum modulum $2^{n}\!$ congruum inveniatur, methodus similis adhiberi potest, ut in [[/InterNexii#art._101|art. 101]]; vid. etiam [[/InterNexii#art._88|art. 88]]. — Denique de numeris paribus eadem valent, quae [[/InterNexii#art._102|art. 102]] generaliter exposuimus.

104.

Circa multitudinem valorum diversorum (i. e. secundum modulum incongruorum), quos expressio talis $\textstyle V=\surd {A}{\pmod {p^{n}}}$ admittit, siquidem $A$ est residuum ipsius $p^{n}\!$ facile e praecc. colliguntur haec. (Numerum $p$ supponimus esse primum, ut ante, et brevitatis caussa casum $n=1$ statim includimus). I. Si $A$ per $p$ non est divisibilis, $V$ unum valorem habet pro $p=2$ , $n=1$ , puta $V\equiv 1$ ; duos, quando $p$ est impar, nec non pro $p=2$ , $n=2$ , puta ponendo unum $\equiv v$ , alter erit $\equiv -v$ ; quatuor pro $p=2$ , $n>2$ , scilicet ponendo unum $\equiv v$ , reliqui erunt $\equiv -v$ , $2^{n-1}+v$ , $2^{n-1}-v$ . II. Si $A$ per $p$ divisibilis est, neque vero per $p^{n}\!$ , sit potestas altissima ipsius $p$ ipsum $A$ metiens $p^{2\mu }\!$ (manifesto enim ipsius exponens par esse debebit) atque $A=ap^{2\mu }\!$ . Tunc patet, omnes valores ipsius $V$ per $p^{\mu }\!$ divisibiles esse, et quotientes e divisione ortos fieri valores expr. $\textstyle V'=\surd {a}{\pmod {p^{n-2\mu }}}$ ; hinc omnes valores diversi ipsius $V$ prodibunt, multiplicando omnes valores expr. $V'$ inter $0$ et $p^{n-\mu }\!$ sitos per $p^{\mu }\!$ quare illi exhibebuntur per $vp^{\mu },\ vp^{\mu }+p^{n-\mu }\!,\ vp^{\mu }+2p^{n-\mu }\!\ldots \ vp^{\mu }+(p^{\mu }-1)p^{n-\mu }$ si $v$ indefinite omnes valores diversos expr. $V'$ exprimit, ita ut illorum multitudo fiat $p^{\mu }\!$ , $2p^{\mu }\!$ vel $4p^{\mu }\!$ , prout multitudo horum (per casum I) est $1$ , $2$ vel $4$ . III. Si $A$ per $p^{n}\!$ divisibilis est, facile perspicietur, statuendo $n=2m$ vel $=2m-1$ , prout par est vel impar, omnes numeros per $p^{m}\!$ divisibiles, neque ullos alios, esse valores ipsius $V$ ; quare omnes valores diversi hi erunt $0$ , $p^{m}\!$ , $2p^{m}\!$ $\ldots$ $(p^{n-m}-1)p^{m}\!$ , quorum multitudo $p^{n-m}\!$ .

105.

Superest casus, ubi modulus $m$ e pluribus numeris primis compositus est. Sit $m=abc\ldots$ , designantibus $a$ , $b$ , $c$ etc. numeros primos diversos aut primorum diversorum potestates, patetque statim, si $n$ sit residuum ipsius $m$ , fore etiam $n$ residuum singulorum $a$ , $b$ , $c$ etc., adeoque $n$ certo non-residuum ipsius $m$ esse, si fuerit NR. ullius e numeris $a$ , $b$ , $c$ etc. Vice versa autem, si $n$ singulorum $a$ , $b$ , $c$ etc. residuum est, etiam residuum producti $m$ erit. Supponendo enim, $n\equiv A^{2}\!$ , $B^{2}\!$ , $C^{2}\!$ etc. sec. mod. $a$ , $b$ , $c$ etc. resp., patet, si numerus $N$ ipsis $A$ , $B$ , $C$ etc. sec. mod. $a$ , $b$ , $c$ etc resp. congruus eruatur ([[/InterNexii#art._32|art. 32]]), fore $n\equiv NN$ secundum omnes hos modulos adeoque etiam secundum productum $m$ . — Quum facile perspiciatur, hoc modo e combinatione cuiusvis valoris ipsius $A$ sive expr. $\textstyle \surd {n}{\pmod {a}}$ cum quovis valore ipsius $B$ cum quovis valore ipsius $C$ etc. oriri valorem ipsius $N$ sive $\textstyle \surd {n}{\pmod {m}}$ , nec non e combinationibus diversis produci diversos $N$ , et e cunctis cunctos: multitudo omnium valorum diversorum ipsius $N$ aequalis erit producto e multitudinibus valorum ipsorum $A$ , $B$ , $C$ etc., quas determinare in [[/InterNexii#art._104|art. praec.]] docuimus. — Porro manifestum est, si unus valor expressionis $\textstyle \surd {n}{\pmod {m}}$ sive ipsius $N$ fuerit notus, hunc simul fore valorem omnium $A$ , $B$ , $C$ etc.; et quum hinc per art. praec. omnes reliqui valores harum quantitatum deduci possint, facile sequitur, ex uno valore ipsius $N$ omnes reliquos obtineri posse.

Ex. Sit modulus 315, cuius residuum an non-residuum sit 46, quaeritur. Divisores primi numeri 315 sunt 3, 5, 7, atque numerus 46 residuum cuiusvis eorum, quare etiam ipsius 315 erit residuum. Porro, quia 46 ≡ 1, et ≡ 64 (mod. 9); ≡ 1 et ≡ 16 (mod. 5); ≡ 4 et ≡ 25 (mod. 7), inveniuntur radices quadratorum, quibus 46 secundum modulum 315 congruus, 19, 26, 44, 89, 226, 271, 289, 296.

Criterium generale, utrum numerus datus numeri primi dati residuum sit an non-residuum.

106.

Ex praecedentibus colligitur, si tantummodo semper dignosci possit, utrum numerus primus datus numeri primi dati residuum sit an non-residuum, omnes reliquos casus ad hunc reduci posse. Pro illo itaque casu criteria certa omni studio nobis erunt indaganda. Antequam autem hanc perquisitionem aggrediamur, criterium quoddam exhibemus ex Sect. praec. petitum, quod quamvis in praxi nullum fere usum habeat, tamen propter simplicitatem atque generalitatem memoratu dignum est.

Numerus quicunque $A$ per numerum primum $2m+1$ non divisibilis, huius primi residuum est vel non-residuum, prout $A^{m}\equiv +1$ vel $\textstyle -1{\pmod {2m+1}}$ .

Sit enim pro modulo $2m+1$ in systemate quocunque numeri $A$ index $a$ , eritque $a$ par, quando $A$ est residuum ipsius $2m+1$ , impar vero quando $A$ non-residuum. At numeri $A^{m}\!$ index erit $ma$ , i. e. $\equiv 0$ vel $\textstyle \equiv m{\pmod {2m}}$ , prout $a$ par vel impar. Hinc denique $A^{m}\!$ in priori casu erit $\equiv +1$ , in posteriori vero $\textstyle \equiv -1{\pmod {2m+1}}$ . V. artt. [[/InterNexii#art._57|57]], [[/InterNexii#art._62|62]].

Ex. 3 ipsius 13 est residuum, quia 3⁶ ≡ 1 (mod. 13), 2 vero ipsius 13 non-residuum, quoniam 2⁶ ≡ -1 (mod. 13).

At quoties numeri examinandi mediocriter sunt magni, hoc criterium ob calculi immensitatem prorsus inutile erit.

Disquisitiones de numeris primis quorum residua aut non-residua sint numeri dati.

107.

Facillimum quidem est, proposito modulo, omnes assignare numeros, qui ipsius residua sunt vel non-residua. Scilicet si ille numerus ponitur $=m$ , determinari debent quadrata, quorum radices semissem ipsius $m$ non superant, sive etiam numeri his quadratis secundum $m$ congrui (ad praxin methodi adhuc expeditiores dantur), tuncque omnes numeri horum alicui secundum $m$ congrui, erunt residua ipsius $m$ , omnes autem numeri nulli istorum congrui erunt non-residua. — At quaestio inversa, proposito numero aliquo, assignare omnes numeros, quorum ille sit residuum vel non-residuum, multo altioris est indaginis. Hoc itaque problema, a cuius solutione illud quod in art. praec. nobis proposuimus pendet, in sequentibus perscrutabimur, a casibus simplicissimis inchoantes.

Residuum $-1$ .

108.

Theorema. Omnium numerorum primorum formae $4n+1$ , $-1$ est residuum quadraticum, omnium vero numerorum primorum formae $4n+3$ non-residuum.

Ex. $-1$ est residuum numerorum 5, 13, 17, 29, 37, 41, 53, 61, 73, 89, 97 etc., e quadratis numerorum 2, 5, 4, 12, 6, 9, 23, 11, 27, 34, 22 etc. respective oriundum; contra non-residuum est numerorum 3, 7, 11, 19, 23, 31, 43, 47, 59, 67, 71, 79, 83 etc.

Mentionem huius theor. iam in [[/InterNexii#art._64|art. 64]] fecimus. Demonstratio vero facile ex [[/InterNexii#art._106|art. 106]] petitur. Etenim pro numero primo formae $4n+1$ est $(-1)^{2n}\equiv 1$ , pro numero autem formae $4n+3$ habetur $(-1)^{2n+1}\equiv -1$ . Convenit haec demonstratio cum ea, quam l. c. tradidimus. Sed propter theorematis elegantiam atque utilitatem non superfluum erit, alio adhuc modo idem ostendisse.

109.

Designemus complexum omnium residuorum numeri primi $p$ , quae ipso $p$ sunt minora, excluso residuo $0$ , per literam $C$ , et quoniam horum residuorum multitudo semper $={\tfrac {p-1}{2}}$ , manifestum est, eam fore parem, quoties $p$ sit formae $4n+1$ , imparem vero, quoties $p$ sit formae $4n+3$ . Dicantur, ad instar [[/InterNexii#art._77|art. 77]], ubi de numeris in genere agebatur, residua socia talia, quorum productum $\textstyle \equiv 1{\pmod {p}}$ ; manifeste enim si $r$ est residuum, etiam $\textstyle {\frac {1}{r}}{\pmod {p}}$ residuum erit. Et quoniam idem residuum plura socia inter residua $C$ habere nequit, patet, omnia residua $C$ in classes distribui posse, quarum quaevis bina residua socia contineat. Iam perspicuum est, si nullum residuum daretur, quod sibi ipsi esset socium, i. e. si quaevis classis bina residua inaequalia contineret, omnium residuorum numerum fore duplum numeri omnium classium; quodsi vero aliqua dantur residua sibi ipsis socia i. e. aliquae classes, quae unicum tantum residuum aut, si quis malit, idem residuum bis continent, posita harum classium multitudine $=a$ , reliquarumque multitudine $=b$ ; erit omnium residuorum $C$ numerus $=a+2b$ . Quare quando $p$ est formae $4n+1$ , erit $a$ numerus par; quando autem $p$ est formae $4n+3$ , erit $a$ impar. At numeri ipso $p$ minores alii, quam $1$ et $p-1$ , sibi ipsis socii esse nequeunt (vid. [[/InterNexii#art._77|art. 77]]); priorque $1$ certo inter residua occurrit; unde in priori casu $p-1$ (seu quod hic idem valet, $-1$ ) debet esse residuum, in posteriori vero non-residuum; alias enim in illo casu foret $a=1$ , in hoc autem $=2$ , quod fieri nequit.

110.

Etiam haec demonstratio ill. Eulero debetur, qui et priorem primus invenit V. Opusc. Anal. T. I. p. 135. — Facile quisquis videbit eam similibus principiis innixam esse, ut demonstratio nostra secunda theor. Wilsoniani [[/InterNexii#art._77|art. 77]]. Si vero hoc theorema supponere velimus, facilius adhuc demonstratio exhiberi poterit. Scilicet inter numeros $1$ , $2$ , $3$ $\ldots$ $p-1$ erunt ${\tfrac {p-1}{2}}$ residua quadratica ipsius $p$ totidemque non-residua; quare non-residuorum multitudo erit par, quando $p$ est formae $4n+1$ ; impar, quando $p$ est formae $4n+3$ . Hinc productum ex omnibus numeris $1$ , $2$ , $3$ $\ldots$ $p-1$ in priori casu erit residuum, in posteriori non-residuum ([[/InterNexii#art._99|art. 99]]). At productum hoc semper $\textstyle \equiv -1{\pmod {p}}$ ; adeoque etiam $-1$ in priori casu residuum, in posteriori non-residuum erit.

111.

Si itaque $r$ est residuum numeri alicuius primi formae $4n+1$ , etiam $-r$ huius primi residuum erit; omnia autem talis numeri non-residua, etiam signo contrario sumta non-residua manebunt^[9]. Contrarium evenit pro numeris primis formae $4n+3$ , quorum residua quando signum mutatur, non-residua fiunt et vice versa, vid. [[/InterNexii#art._98|art. 98]].

Ceterum facile ex praecedentibus derivatur regula generalis: $-1$ est residuum omnium numerorum, qui neque per $4$ neque per ullum numerum primum formae $4n+3$ dividi possunt; omnium reliquorum non-residuum. V. artt. [[/InterNexii#art._103|103]] et [[/InterNexii#art._105|105]].

Residua $+2$ et $-2$ .

112.

Progredimur ad residua $+2$ et $-2$ .

Si ex [[/InterNexii#Tabula_II|tabula II]] colligimus omnes numeros primos, quorum residuum est $+2$ , hos habebimus: 7, 17, 23, 31, 41, 47, 71, 73, 79, 89, 97. Facile autem animadvertitur, inter hos numeros nullos inveniri formarum $8n+3$ et $8n+5$ .

Videamus itaque, num haec inductio ad certitudinem evehi possit.

Primum observamus, quemvis numerum compositum formae $8n+3$ vel $8n+5$ necessario factorem primum alterutrius formae $8n+3$ vel $8n+5$ , involvere; manifesto enim e solis numeris primis formarum $8n+1$ , $8n+7$ , alii numeri quam qui sunt formae $8n+1$ vel $8n+7$ , componi nequeunt. Quodsi itaque inductio nostra generaliter est vera, nullus omnino numerus formae $8n+3$ , $8n+5$ dabitur, cuius residuum $+2$ ; sicque nullus certe numerus huius formae infra $100$ exstat, cuius residuum sit $+2$ . Si autem ultra hunc limitem tales numeri reperirentur, ponamus minimum omnium $=t$ . Erit itaque $t$ vel formae $8n+3$ vel $8n+5$ ; $+2$ ipsius residuum erit, omnium autem numerorum similium minorum non-residuum. Ponatur $\textstyle 2\equiv aa{\pmod {t}}$ poteritque $a$ ita semper accipi, ut sit impar simulque $<t$ , (habebit enim $a$ ad minimum duos valores positives ipso $t$ minores quorum summa $=t$ , quorumque adeo alter par alter impar v. artt. [[/InterNexii#art._104|104]]. [[/InterNexii#art._105|105]]). Quo facto sit $aa=2+tu$ , sive $tu=aa-2$ , eritque $aa$ formae $8n+1$ , $tu$ igitur formae $8n-1$ , adeoque $u$ formae $8n+3$ vel $8n+5$ , prout $t$ est formae posterioris vel prioris. At ex aequatione $aa=2+tu$ sequitur, etiam $\textstyle 2\equiv aa{\pmod {u}}$ i. e. $2$ etiam ipsius $u$ residuum fore. Facile vero perspicitur, esse $u<t$ , quare $t$ non est minimus numerus inductioni nostrae contrarius contra hyp. Unde manifesto sequitur id quod per inductionem inveneramus, generaliter verum esse.

Combinando haec cum prop. [[/InterNexii#art._111|art. 111]] sequentia theoremata nanciscimur.

I. Numerorum omnium primorum formae $8n+3$ , $+2$ erit non-residuum, $-2$ vero residuum.

II. Numerorum omnium primorum formae $8n+5$ tum $+2$ tum $-2$ erunt non-residua.

113.

Per similem inductionem ex [[/InterNexii#Tab._II|tab. II]] inveniuntur numeri primi, quorum residuum est $-2$ hi: 3, 11, 17, 19, 41, 43, 59, 67, 73, 83, 89, 97^[10]. Inter quos quum nulli inveniantur formarum $8n+5$ , $8n+7$ , num etiam haec inductio theorematis generalis vim adipisci possit, investigemus. Ostenditur simili modo ut in art. praec., quemvis numerum compositum formae $8n+5$ vel $8n+7$ , factorem primum involvere formae $8n+5$ vel formae $8n+7$ , ita ut, si inductio nostra generaliter vera, $-2$ nullius omnino numeri formae $8n+5$ vel $8n+7$ residuum esse possit. Si autem tales numeri darentur, ponatur omnium minimus $=t$ , fiatque $-2=aa-tu$ . Ubi si uti supra $a$ impar ipsoque $t$ minor accipitur, $u$ erit formae $8n+5$ vel $8n+7$ , prout $t$ formae $8n+7$ vel $8n+5$ . At ex eo quod $aa+2=tu$ atque $a<t$ , quisquis facile derivare poterit, etiam $u$ ipso $t$ minorem fore. Denique $-2$ etiam ipsius $u$ residuum erit, i. e. $t$ non erit minimus numerus, qui inductioni nostrae adversatur, contra hyp. Quare necessario $-2$ omnium numerorum formarum $8n+5$ , $8n+7$ non-residuum.

Combinando haec cum prop. [[/InterNexii#art._111|art. 111]], prodeunt theoremata haec:

I. Omnium numerorum primorum $8n+5$ , tum $-2$ tum $+2$ sunt non-residua, uti iam in art. praec. invenimus.

II. Omnium numerorum primorum formae $8n+7$ , $-2$ est non-residuum, $+2$ vero residuum.

Ceterum in utraque demonstratione pro $a$ etiam valorem parem accipere potuissemus; tunc autem casum ubi $a$ fuisset formae $4n+2$ , ab eo distinguere oportuisset, ubi $a$ formae $4n$ . Evolutio autem perinde procedit uti supra, nullique difficultati est obnoxia.

114.

Unus adhuc superest casus, scilicet ubi numerus primus est formae $8n+1$ . Hic vero methodum praecedentem eludit, artificiaque prorsus peculiaria postulat.

Sit pro modulo primo $8n+1$ , radix quaecunque primitiva $a$ , eritque ([[/InterNexii#art._62|art. 62]]) $a^{4n}\equiv$ $\textstyle -1{\pmod {8n+1}}$ , quae congruentia ita etiam exhiberi potest, $(a^{2n}+1)^{2}\equiv$ $\textstyle 2a^{2n}\!{\pmod {8n+1}}$ , sive etiam ita, $(a^{2n}-1)^{2}\equiv 2a^{2n}\!$ . Unde sequitur, tum $2a^{2n}\!$ tum $-2a^{2n}\!$ ipsius $8n+1$ esse residuum: at quia $a^{2n}\!$ est quadratum per modulum non divisibile, manifeste etiam tum $+2$ tum $-2$ residua erunt ([[/InterNexii#art._98|art. 98]]).

115.

Haud inutile erit, adhuc aliam huius theorematis demonstrationem adiicere, quae similem relationem ad praecedentem habet, ut theorematis art. 108 demonstratio secunda ([[/InterNexii#art._109|art. 109]]) ad primam ([[/InterNexii#art._108|art. 108]]). Periti facilius tunc perspicient, binas demonstrationes tam illas quam has non adeo heterogeneas esse, quam primo forsan aspectu videantur.

I. Pro modulo quocunque primo formae $4n+1$ , inter numeros ipso minores $1$ , $2$ , $3$ $\ldots$ $4m$ , reperientur $m$ , qui biquadrato congrui esse possunt, reliqui vero $3m$ non poterunt.

Facile quidem hoc ex principiis Sect. praec. derivatur, sed etiam absque his demonstratio haud difficilis. Demonstravimus enim, pro tali modulo $-1$ semper esse residuum quadraticum. Sit itaque $ff\equiv -1$ patetque, si $z$ fuerit numerus quicunque per modulum non divisibilis, quaternorum numerorum $+z$ , $-z$ , $+fz$ , $-fz$ (duos incongruos esse facile perspicitur) biquadrata inter se congrua fore; porro manifestum est, biquadratum numeri cuiuscunque, qui nulli ex his quatuor congruus, illorum biquadratis congruum fieri non posse, (alias enim congruentia $x^{4}\equiv z^{4}\!$ quae est quarti gradus, plures quam $4$ radices haberet, contra [[/InterNexii#art._43|art. 43]]). Hinc facile colligitur, omnes numeros $1$ , $2$ , $3$ , $\ldots$ $4m$ , tantummodo $m$ biquadrata incongrua praebere, quibus inter eosdem numeros $m$ congrui reperientur, reliqui autem nulli biquadrato congrui esse poterunt.

II. Secundum modulum primum formae $8n+1$ , $-1$ biquadrato congruus fieri poterit ( $-1$ erit residuum biquadraticum huius numeri primi).

Omnium enim residuorum biquadraticorum ipso $8n+1$ minorum (cifra exclusa) multitudo erit $=2n$ i. e. par. Porro facile probatur, si $r$ fuerit residuum biquadraticum ipsius $8n+1$ , etiam valorem expr. $\textstyle {\frac {1}{r}}{\pmod {8n+1}}$ fore tale residuum. Hinc omnia residua biquadratica in classes simili modo distribui poterunt, uti in [[/InterNexii#art._109|art. 109]] residua quadratica distribuimus: nec non reliqua demonstrationis pars prorsus eodem modo procedit ut illic.

III. Iam sit $g^{4}\equiv -1$ , et $h$ valor expr. $\textstyle {\frac {1}{g}}{\pmod {8n+1}}$ . Tunc erit $(g\pm h)^{2}=g^{2}+h^{2}\pm 2gh\equiv g^{2}+h^{2}\pm 2$ (propter $gh\equiv 1$ ). At $g^{4}\equiv -1$ , adeoque $-h^{2}\equiv g^{4}h^{2}\equiv g^{2}\!$ , unde tandem $g^{2}+h^{2}\equiv 0$ , atque $(g\pm h)^{2}\equiv \pm 2$ i. e. tum $+2$ tum $-2$ residuum quadraticum ipsius $8n+1$ . Q. E. D.

116.

Ceterum ex praecc. facile regula sequens generalis deducitur : $+2$ est residuum numeri cuiusvis, qui neque per $4$ , neque per ullum primum formae $8n+3$ vel $8n+5$ dividi potest, reliquorum autem (ex. gr. omnium numerorum formarum $8n+3$ , $8n+5$ , sive sint primi, sive compositi) non-residuum.

$-2$ est residuum numeri cuiusvis, qui neque per $4$ , neque per ullum primum formae $8n+5$ vel $8n+7$ dividi potest, omnium autem reliquorum non-residuum.

Theoremata haec elegantia iam sagaci Fermatio innotuerunt, Op. Mathem. p. 168. Demonstrationem vero quam se habere professus est, nusquam communicavit. Postea ab ill. Eulero frustra semper est investigata: at ill. La Grange primus demonstrationem rigorosam reperit, Nouv. Mém. de l'Ac. de Berlin 1775. p. 349, 351. Quod ill. Eulerum adhuc latuisse videtur, quando scripsit diss. in Opusc. Analyt. conservatam, T. I. p. 259.

Residua $+3$ et $-3$ .

117.

Pergimus ad residua $+3$ et $-3$ . A posteriori initium faciamus.

Reperiuntur ex [[/InterNexii#Tab._II|tab. II]] numeri primi, quorum residuum est $-3$ , hi: 3, 7, 13, 19, 31, 37, 43, 61, 67, 73, 79, 97, inter quos nullus invenitur formae $6n+5$ . Quod vero etiam ultra tabulae limites nulli primi huius formae dantur, quorum residuum $-3$ , ita demonstramus: Primo patet, quemvis numerum compositum formae $6n+5$ necessario factorem primum aliquem eiusdem formae involvere. Quousque igitur nulli numeri primi formae $6n+5$ dantur, quorum residuum $-3$ , eousque tales etiam compositi non dabuntur. Quodsi vero ultra tabulae nostrae limites tales numeri darentur, sit omnium minimus $=t$ , ponaturque $-3=aa-tu$ . Tunc erit, si acceperis $a$ parem ipsoque $t$ minorem, $u<t$ atque $-3$ residuum ipsius $u$ . Sed quando $a$ formae $6n\pm 2$ , $tu$ erit formae $6n+1$ , adeoque $u$ formae $6n+5$ , Q. E. A. quia $t$ minimum esse numerum inductioni nostrae adversantem supposuimus. Quando vero $a$ formae $6n$ , erit $tu$ formae $36n+3$ adeoque ${\tfrac {1}{3}}tu$ formae $12n+1$ , quare ${\tfrac {1}{3}}u$ erit formae $6n+5$ ; patet autem, $-3$ etiam ipsius ${\tfrac {1}{3}}u$ residuum fore, atque esse ${\tfrac {1}{3}}u<t$ , Q. E. A. Manifestum itaque, $-3$ nullius numeri formae $6n+5$ residuum esse posse.

Quoniam quisque numerus formae $6n+5$ necessario vel sub forma $12n+5$ , vel sub hac $12n+11$ continetur, prior autem forma sub hac $4n+1$ , posterior sub hac $4n+3$ , haec habentur theoremata:

I. Cuiusvis numeri primi formae $12n+5$ , tum $-3$ tum $+3$ non-residuum est.

II. Cuiusvis numeri primi formae $12n+11$ , $-3$ est non-residuum, $+3$ vero residuum.

118.

Numeri quorum residuum est $+3$ , ex [[/InterNexii#Tabula_II|tabula II.]] inveniuntur hi: 3, 11, 13, 23, 37, 47, 59, 61, 71, 73, 83, 97, inter quos nulli sunt formae $12n+5$ vel $12n+7$ . Nullos autem omnino numeros formarum $12n+5$ , $12n+7$ dari, quorum $+3$ sit residuum, eodem prorsus modo, ut in artt. [[/InterNexii#art._112|112]], [[/InterNexii#art._113|113]], [[/InterNexii#art._117|117]], comprobari potest, quare hoc negotio supersedemus. Habemus itaque collato [[/InterNexii#art._111|art. 111]] theoremata:

I. Numeri cuiusvis primi formae $12n+5$ non-residua sunt tum $+3$ tum $-3$ (uti iam in art. praec. invenimus).

II. Numeri cuiusvis primi formae $12n+7$ non-residuum est $+3$ , $-3$ vero residuum.

119.

Nihil autem per hanc methodum pro numeris formae $12n+1$ inveniri potest, qui proin artificia singularia requirunt. Ex inductione quidem facile colligitur, omnium numerorum primorum huius formae residua esse $+3$ et $-3$ . Manifesto autem demonstrari tantummodo debet, numerorum talium residuum esse $-3$ , quia tunc necessario etiam $+3$ residuum esse debet ([[/InterNexii#art._111|art. 111]]). Ostendemus autem generalius, $-3$ esse residuum numeri cuiusvis primi formae $3n+1$ .

Sit $p$ huiusmodi primus atque $a$ numerus pro modulo $p$ ad exponentem $3$ pertinens (quales dari ex [[/InterNexii#art._54|art. 54]] manifestum, quia $3$ submultiplum ipsius $p-1$ ). Erit itaque $\textstyle a^{3}\equiv 1{\pmod {p}}$ i. e. $a^{3}-1$ sive $(a^{2}+a+1)(a-1)$ per $p$ divisibilis. Sed patet $a$ esse non posse $\textstyle \equiv 1{\pmod {p}}$ , quia $1$ ad exponentem $1$ pertinet, quare $a-1$ per $p$ divisibilis non erit, sed $a^{2}+a+1$ erit, hincque etiam $4aa+4a+4$ , i. e. erit $\textstyle (2a+1)^{2}\equiv -3{\pmod {p}}$ sive $-3$ residuum ipsius $p$ . Q. E. D.

Ceterum patet, hanc demonstrationem (quae a praecedentibus est independens) etiam numeros primos formae $12n+7$ complecti, quos iam in art. praec, absolvimus.

Observare adhuc convenit, hanc analysin ad instar methodi in artt. [[/InterNexii#art._109|109]], [[/InterNexii#art._115|115]] usitatae exhiberi posse, at brevitatis gratia huic rei non immoramur.

120.

Colliguntur facile ex praec. theoremata haec (vid. artt. [[/InterNexii#art._102|102]], [[/InterNexii#art._103|103]], [[/InterNexii#art._105|105]]):

I. $-3$ est residuum omnium numerorum, qui neque per $8$ , neque per $9$ , neque per ullum numerum primum formae $6n+5$ dividi possunt, non-residuum autem omnium reliquorum.

II. $+3$ est residuum omnium numerorum, qui neque per $4$ , neque per $9$ , neque per ullum primum formae $12n+5$ vel $12n+7$ dividi possunt, omnium reliquorum non-residuum.

Teneatur imprimis casus particularis hic:

$-3$ est residuum omnium numerorum primorum formae $3n+1$ , seu quod idem est omnium, qui ipsius $3$ sunt residua, non-residuum vero omnium numerorum primorum formae $6n+5$ , seu, excluso numero $2$ , omnium formae $3n+2$ , i. e. omnium, qui ipsius $3$ sunt non-residua. Facile vero perspicitur omnes reliquos casus ex hoc sponte sequi.

Propositiones ad residua $+3$ et $-3$ pertinentes iam Fermatio notae fuerunt, Opera Wallisii T. II. p. 857. At ill. Euler primus demonstrationes tradidit, Comm. nov. Petr. T. VIII. p. 105 sqq. Eo magis est mirandum, demonstrationes propositionum ad residua $+2$ et $-2$ pertinentium, prorsus similibus artificiis innixas, semper ipsius sagacitatem fugisse. Vid. etiam comment. ill. La Grange, Nouv. Mém. de l'Ac. de Berlin, 1775 p. 352.

Residua $+5$ et $-5$ .

121.

Per inductionem deprehenditur, $+5$ nullius numeri imparis formae $5n+2$ vel $5n+3$ residuum esse, i. e. nullius numeri imparis, qui ipsius $5$ non-residuum sit. Hanc vero regulam nullam exceptionem pati, ita demonstratur. Sit numerus minimus, si quis datur, ab hac regula excipiendus $=t$ , qui itaque numeri $5$ est non-residuum, $5$ autem ipsius $t$ residuum. Sit $aa=5+tu$ , ita ut $a$ sit par ipsoque $t$ minor. Erit igitur $u$ impar ipsoque $t$ minor, $+5$ autem ipsius $u$ residuum erit. Quodsi iam $a$ per $5$ non est divisibilis, etiam $u$ non erit; manifesto autem $tu$ ipsius $5$ est residuum, quare quum $t$ ipsius $5$ sit non-residuum, etiam $u$ non-residuum erit; i. e. datur non-residuum impar numeri $5$ , cuius residuum est $+5$ , ipso $t$ minus, contra hyp. Si vero $a$ per $5$ est divisibilis, ponatur $a=5b$ , atque $u=5v$ , unde $\textstyle tv\equiv$ $-1\equiv$ $\textstyle 4{\pmod {5}}$ , i. e. $tv$ erit residuum numeri $5$ . In reliquis demonstratio perinde procedit ut in casu priori.

122.

Omnium igitur numerorum primorum, qui simul sunt ipsius $5$ non-residua simulque formae $4n+1$ , i. e. omnium numerorum primorum formae $20n+3$ vel $20n+17$ , tum $+5$ quam $-5$ non-residua erunt; omnium autem numerorum primorum formae $20n+3$ vel $20n+7$ , non-residuum erit $+5$ , $-5$ residuum.

Potest vero prorsus simili modo demonstrari, $-5$ esse non-residuum omnium numerorum primorum formarum $20n+11$ , $20n+13$ , $20n+17$ , $20n+19$ , facileque perspicitur hinc sequi, $+5$ esse residuum omnium numerorum primorum formae $20n+11$ vel $20n+19$ , non-residuum autem omnium formae $20n+13$ vel $20n+17$ . Et quoniam quivis numerus primus, praeter $2$ et $5$ (quorum residuum $\pm 5$ ), in aliqua harum formarum continetur $20n+1$ , $3$ , $7$ , $9$ , $11$ , $13$ , $17$ , $19$ , patet, de omnibus iam iudicium ferri posse, exceptis iis, qui sint formae $20n+1$ vel formae $20n+9$ .

123.

Ex inductione facile deprehenditur, $+5$ et $-5$ esse residua omnium numerorum primorum formae $20n+1$ vel $20n+9$ . Quodsi hoc generaliter verum est, lex elegans habebitur, $+5$ esse residuum omnium numerorum primorum, qui ipsius $5$ sint residua, (hi enim in alterutra formarum $5n+1$ vel $5n+4$ sive in aliqua harum, $20n+1$ , $9$ , $11$ , $19$ , continentur, de quarum tertia et quarta illud iam ostensum est) non-residuum vero omnium numerorum imparium, qui ipsius $5$ sint non-residua, ut iam supra demonstravimus. Clarum autem est, hoc theorema sufficere, ad diiudicandum, utrum $+5$ (eoque ipso, $-5$ , si tamquam productum ex $+5$ et $-1$ consideretur) numeri cuiuscunque dati residuum sit an non-residuum. Denique observetur huius theorematis cum illo, quod [[/InterNexii#art._120|art. 120]] de residuo $-3$ exposuimus, analogia.

At verificatio illius inductionis non adeo facilis. Quando numerus primus formae $20n+1$ , sive generalius formae $5n+1$ proponitur, res simili modo absolvi potest, ut in artt. [[/InterNexii#art._114|114]], [[/InterNexii#art._119|119]]. Sit scilicet numerus quicunque pro modulo $5n+1$ ad exponentem $5$ pertinens $a$ , quales dari ex Sect. praec. manifestum, eritque $a^{5}\equiv 1$ , sive $(a-1)(a^{4}+a^{3}+a^{2}+a+1)\equiv$ $\textstyle 0{\pmod {5n+1}}$ . At quia nequit esse $a\equiv 1$ , neque adeo $a-1\equiv 0$ ; necessario erit $a^{4}+a^{3}+a^{2}+a+1\equiv 0$ . Quare etiam $(a^{4}+a^{3}+a^{2}+a+1)=$ $(2aa+a+2)^{2}-5a^{2}\!$ erit $\equiv 0$ i. e. $5a^{2}\!$ erit residuum ipsius $5n+1$ , adeoque etiam $5$ , quia $a^{2}\!$ est residuum per $5n+1$ non divisibile ( $a$ enim per $5n+1$ non divisibilis propter $a^{5}\equiv 1$ ). Q. E. D.

At casus, ubi numerus primus formae $5n+4$ proponitur, subtiliora artificia postulat. Quoniam vero propositiones, quarum ope negotium absolvitur, in sequentibus generalius tractabuntur, hic breviter tantum eas attingimus.

I. Si $p$ est numerus primus atque $b$ non-residuum quadraticum datum ipsius $p$ , valor expressionis $(A)\ldots {\frac {(x+\surd {b})^{p+1}-(x-\surd {b})^{p+1}}{\surd {b}}}$ (ex qua evoluta irrationalitatem abire facile perspicitur), semper per $p$ divisibilis erit, quicunque numerus pro $x$ assumatur. Patet enim ex inspectione coëfficientium, qui ex evolutione ipsius $A$ obtinentur, omnes terminos a secundo usque ad penultimum (incl.) per $p$ divisibiles fore, adeoque esse $A\equiv$ $2(p+1)$ $\textstyle (x^{p}+xb^{\scriptstyle {\frac {p-1}{2}}}){\pmod {p}}$ . At quoniam $b$ ipsius $p$ non-residuum est, erit $b^{\scriptstyle {\frac {p-1}{2}}}\equiv$ $\textstyle -1{\pmod {p}}$ , ([[/InterNexii#art._106|art. 106]]); $x^{p}\!$ autem semper est $\equiv x$ (Sect. praec.), unde fit $A\equiv 0$ . Q. E. D.

II. In congruentia $\textstyle A\equiv 0{\pmod {p}}$ , indeterminata $x$ habet $p$ dimensiones omnesque numeri $0$ , $1$ , $2$ $\ldots$ $p-1$ illius radices erunt. Iam ponatur $e$ esse divisorem ipsius $p+1$ eritque expressio ${\frac {(x+\surd {b})^{e}-(x-\surd {b})^{e}}{\surd {b}}}$ (quam per $B$ designamus) si evolvitur, ab irrationalitate libera, indeterminata $x$ in ipsa $e-1$ dimensiones habebit, constatque ex analyseos primis elementis, $A$ per $B$ (indefinite) esse divisibilem. Iam dico $e-1$ valores ipsius $x$ dari, quibus in $B$ substitutis, $B$ per $p$ divisibilis evadat. Ponatur enim $A\equiv BC$ , habebitque $x$ in $C$ dimensiones $p-e+1$ , adeoque congruentia $\textstyle C\equiv 0{\pmod {p}}$ non plures quam $p-e+1$ radices. Unde facile patet, omnes reliquos numeros ex his $0$ , $1$ , $2$ , $3$ $\ldots$ $p-1$ , quorum multitudo $=e-1$ , congruentiae $B\equiv 0$ radices fore.

III. Iam ponatur $p$ esse formae $5n+4$ , $e=5$ , $b$ non-residuum ipsius $p$ , atque numerum $a$ ita determinatum, ut sit ${\frac {(a+\surd {b})^{5}-(a-\surd {b})^{5}}{\surd {b}}}$ per $p$ divisibilis. At illa expressio fit $=10a^{4}+20aab+2bb=2((b+5aa)^{2}-20a^{4})$ Erit igitur etiam $(b+5aa)^{2}-20a^{4}\!$ per $p$ divisibilis i. e. $20a^{4}\!$ residuum ipsius $p$ , at quoniam $4a^{4}\!$ residuum est per $p$ non divisibile (facile enim intelligitur, $a$ per $p$ dividi non posse), etiam $5$ residuum ipsius $p$ erit. Q. E. D.

Hinc patet theorema in initio huius articuli prolatum generaliter verum esse. —

Observamus adhuc, demonstrationes pro utroque casu ill. La Grange deberi, Mém. de l'Ac. de Berlin 1775, p. 352 sqq.

De $\pm 7$ .

124.

Per similem methodum demonstratur,
$-7$ esse non-residuum cuiusvis numeri, qui ipsius $7$ sit non-residuum.

Ex inductione vero concludi potest,
$-7$ esse residuum cuiusvis numeri primi, qui ipsius $7$ sit residuum.

At hoc a nemine hactenus rigorose demonstratum. Pro iis quidem residuis ipsius $7$ , quae sunt formae $4n-1$ , facilis est demonstratio; etenim per methodum ex praecc. abunde notam ostendi potest, $+7$ semper esse talium numerorum primorum non-residuum, adeoque $-7$ residuum. Sed parum hinc lucramur: reliqui enim casus per hanc methodum tractari nequeunt. Unum quidem adhuc casum simili modo ut artt. [[/InterNexii#art._119|119]], [[/InterNexii#art.123|123]] absolvere possumus. Scilicet si $p$ est numerus primus formae $7n+1$ , atque $a$ pro modulo $p$ ad exponentem $7$ pertinens, facile perspicitur ${\tfrac {4(a^{7}-1)}{a-1}}=(2a^{3}+a^{2}-a-2)^{2}+7(a^{2}+a)^{2}$ per $p$ divisibilem, adeoque $-7(a^{2}+a)^{2}\!$ ipsius $p$ residuum fore. At $(a^{2}+a)^{2}\!$ , tamquam quadratum, ipsius $p$ residuum est, insuperque per $p$ non divisibile; quum enim $a$ ad exponentem $7$ pertinere supponatur, neque $\equiv 0$ , neque $\textstyle \equiv -1{\pmod {p}}$ esse potest, i. e. neque $a$ neque $a+1$ per $p$ divisibilis erit, adeoque etiam quadratum $(a+1)^{2}a^{2}\!$ . Unde manifesto etiam $7$ ipsius $p$ residuum erit. Q. E. D. — At primi numeri formae In $7n+2$ vel $7n+4$ omnes methodos hucusque traditas eludunt. Ceterum etiam haec demonstratio ab ill. La Grange primum est detecta l. c. — Infra Sect. VII. docebimus generaliter, expressionem ${\tfrac {4(x^{p}-1)}{x-1}}$ semper ad formam $X^{2}\mp pY^{2}$ reduci posse, (ubi signum superius est accipiendum, quando $p$ est numerus primus formae $4n+1$ , inferius, quando est formae $4n+3$ ), denotantibus $X$ , $Y$ functiones rationales ipsius $x$ , a fractionibus liberas. Hanc discerptionem ill. La Grange ultra casum $p=7$ non perfecit v. l. c. p. 352.

Praeparatio ad disquisitionem generalem.

125.

Quoniam igitur methodi praecedentes ad demonstrationes generales stabiliendas non sufficiunt, iam tempus est, aliam ab hoc defectu liberam exponere. Initium facimus a theoremate, cuius demonstratio satis diu operam nostram elusit, quamvis primo aspectu tam obvium videatur, ut quidam ne necessitatem quidem demonstrationis intellexerint. Est vero hoc: Quemvis numerum, praeter quadrata positive sumta, aliquorum numerorum primorum non-residuum esse. Quia vero hoc theoremate tantummodo tamquam auxiliari ad alia demonstranda usuri sumus, alios casus hic non explicamus quam quibus ad hunc finem indigemus. De reliquis casibus postea sponte idem constabit. Ostendemus itaque, quemvis numerum primum formae $4n+1$ , sive positive sive negative accipiatur^[11], non-residuum esse aliquorum numerorum primorum, et quidem (si $>5$ ) talium qui ipso sint minores.

Primo, quando numerus primus $p$ , formae $4n+1$ ( $>17$ , sed $-13N3$ , $-17N5$ ), negative sumendus proponitur, sit $2a$ numerus par proxime maior quam $\surd {p}$ , tum facilis perspicitur, $4aa$ semper fore $<2p$ sive $4aa-p<p$ . At $4aa-p$ est formae $4n+3$ , $+p$ autem residuum quadraticum ipsius $4aa-p$ (quoniam $\textstyle p\equiv 4aa{\pmod {4aa-p}}$ ); quodsi igitur $4aa-p$ est numerus primus, $-p$ ipsius non-residuum erit; sin minus, necessario factor aliquis ipsius $4aa-p$ formae $4n+3$ erit; et quum $+p$ etiam huius residuum esse debeat, $-p$ ipsius non-residuum erit. Q. E. D.

Pro numeris primis positive sumendis duos casus distinguimus. Primo sit $p$ numerus primus formae $8n+5$ . Sit $a$ numerus quicunque positivus $<\surd {\scriptstyle {\frac {1}{2}}}p$ . Tum $8n+5-2aa$ erit numerus positivus formae $8n+5$ vel $8n+3$ (prout $a$ par vel impar) adeoque necessario per numerum aliquem primum formae $8n+3$ vel $8n+5$ divisibilis, productum enim ex quotcunque numeris formae $8n+1$ et $8n+7$ neque formam $8n+3$ neque hanc $8n+5$ habere potest. Sit hic $q$ , eritque $\textstyle 8n+5\equiv 2a^{2}\!{\pmod {q}}$ . At $2$ ipsius $q$ non-residuum erit ([[/InterNexii#art._112|art. 112]]), adeoque etiam $2a^{2}$ ^[12] et $8n+5$ . Q. E. D.

126.

Sed numerum quemvis primum formae $8n+1$ positive acceptum semper alicuius numeri primi ipso minoris non-residuum esse, per artificia tam obvia demonstrari nequit. Quum autem haec veritas maximi sit momenti, demonstrationem rigorosam, quamvis aliquantum prolixa sit, praeterire non possumus. Praemittimus sequens

Lemma. Si habentur duae series numerorum, $A,B,C,\mathrm {etc.} \ldots \mathrm {(I)}$ , $\quad A',B',C',\mathrm {etc.} \ldots \mathrm {(II)}$ (utrum terminorum multitudo in utraque eadem sit necne, nihil interest) ita comparatae, ut, denotante $p$ numerum quemcunque primum aut numeri primi potestatem, terminum aliquem secundae seriei (sive etiam plures) metientem, totidem ad minimum termini in serie prima sint per $p$ divisibiles, quot sunt in secunda: tum dico productum ex omnibus numeris $\mathrm {(I)}$ divisibile fore per productum ex omnibus numeris $\mathrm {(II)}$ .

Exempl. Constet $\mathrm {(I)}$ e numeris 12, 18, 45; $\mathrm {(II)}$ ex his 3, 4, 5, 6, 9. Tum divisibiles erunt per 2, 4, 3, 9, 5 in $\mathrm {(I)}$ 2, 1, 3, 2, 1 termini, in $\mathrm {(II)}$ 2, 1, 3, 1, 1 termini, respective; productum autem omnium terminorum $\mathrm {(I)}$ = 9720 divisibile est per productum omnium terminorum $\mathrm {(II)}$ , 3240.

Demonstr. Sit productum ex omnibus terminis $\mathrm {(I)}$ , $=Q$ , productum omnium terminorum seriei $\mathrm {(II)}$ , $=Q'\!$ . Patet quemvis numerum primum, qui sit divisor ipsius $Q'\!$ , etiam ipsius $Q$ divisorem fore. Iam ostendemus quemvis factorem primum ipsius $Q'\!$ , in $Q$ totidem ad minimum dimensiones habere, quot habeat in $Q'\!$ . Esto talis divisor $p$ , ponaturque, in serie $\mathrm {(I)}$ $a$ terminos esse per $p$ divisibiles, $b$ terminos per $p^{2}\!$ divisibiles, $c$ terminos per $p^{3}\!$ divisibiles etc., similia denotent literae $a'\!$ , $b'\!$ , $c'\!$ etc. pro serie $\mathrm {(II)}$ , perspicieturque facile, $p$ in $Q$ habere $a+b+c+$ etc. dimensiones, in $Q'\!$ vero $a'+b'+c'+$ etc. At $a'\!$ certe non maior quam $a$ , $b'\!$ non maior quam $b$ etc. (hyp.); quare $a'+b'+c'\!$ etc. certo non erit $>a+b+c$ etc. — Quum itaque nullus numerus primus in $Q'\!$ plures dimensiones habere possit, quam in $Q$ , $Q$ per $Q'\!$ divisibilis erit ([[/InterNexii#art._17|art. 17]]). Q. E. D.

127.

Lemma. In progressione $1$ , $2$ , $3$ , $4$ , $\ldots$ $n$ , plures termini esse nequeunt per numerum quemcunque $h$ divisibiles, quam in hac $a$ , $a+1$ , $a+2$ $\ldots$ $a+n-1$ ex totidem terminis constante.

Nullo enim negotio perspicitur, si $n$ fuerit multiplum ipsius $h$ , in utraque progressione ${\tfrac {n}{h}}$ terminos fore per $h$ divisibiles; sin minus, ponatur $n=eh+f$ , ita ut $f$ sit $<h$ , eruntque in priori serie $e$ termini per $h$ divisibiles, in posteriori autem vel toti dem vel $e+1$ .

Hinc tamquam Coroll. sequitur propositio ex numerorum figuratorum theoria nota, sed a nomine, ni fallimur, hactenus directe demonstrata, $a\ .\ a+1\ .\ a+2\ldots a+n-1 \over 1\quad .\quad 2\quad .\quad 3\quad \ldots \quad n\quad$ semper esse numerum integrum.

Denique Lemma hoc generalius ita proponi potuisset:

In progressione $a$ , $a+1$ , $a+2$ , $\ldots$ $a+n-1$ totidem ad minimum dantur termini secundum modulum $h$ numero cuicunque dato, $r$ , congrui, quot in hac $1$ , $2$ , $3$ $\ldots$ $n$ termini per $h$ divisibiles.

128.

Theorema. Sit $a$ numerus quicunque formae $8n+1$ , $p$ numerus quicunque ad $a$ primus, cuius residuum $+a$ , tandem $m$ numerus arbitrarius: tum dico, in progressione $a,{\scriptstyle {\frac {1}{2}}}(a-1),2(a-4),{\scriptstyle {\frac {1}{2}}}(a-9),2(a-16),\ldots$ $2(a-m^{2}),$ vel ${\scriptstyle {\frac {1}{2}}}(a-m^{2})$ prout $m$ par vel impar, totidem ad minimum dari terminos per $p$ divisibiles, quot dentur in hac $1,2,3,\ldots 2m+1$ Priorem progressionem designamus per $\mathrm {(I)}$ , posteriorem per $\mathrm {(II)}$ .

Demonstr. I. Quando $p=2$ , in $\mathrm {(I)}$ omnes termini praeter primum, i. e. $m$ termini divisibiles erunt; totidem autem erunt in $\mathrm {(II)}$ .

II. Sit $p$ numerus impar vel numeri imparis duplum vel quadruplum, atque $\textstyle a\equiv rr{\pmod {p}}$ . Tum in progressione, $-m$ , $-(m-1)$ , $-(m-2)$ , $\ldots$ $+m$ (quae terminorum multitudine cum $\mathrm {(II)}$ convenit et per $\mathrm {(III)}$ designabitur) totidem ad minimum termini erunt secundum modulum $p$ ipsi $r$ congrui, quot in serie $\mathrm {(II)}$ per $p$ divisibiles ([[/InterNexii#art._127|art. praec.]]). Inter illos autem bini, qui signo tantum, non magnitudine, discrepent, occurrere nequeunt^[13]. Tandem quisque eorum correspondentem habebit in serie $\mathrm {(I)}$ , qui per $p$ erit divisibilis. Scilicet si fuerit $\pm b$ aliquis terminus seriei $\mathrm {(III)}$ ipsi $r$ secundum $p$ congruus, erit $a-bb$ per $p$ divisibilis. Quodsi igitur $b$ est par, terminus seriei $\mathrm {(I)}$ , $2(a-bb)$ , per $p$ divisibilis erit. Si vero $b$ impar, terminus ${\scriptstyle {\frac {1}{2}}}(a-bb)$ per $p$ divisibilis erit: namque manifeste ${\tfrac {a-bb}{p}}$ erit integer par, quoniam $a-bb$ per $8$ , $p$ autem ad summum per $4$ divisibilis ( $a$ enim per hyp. est formae $8n+1$ , $bb$ autem ideo, quod est numeri imparis quadratum, eiusdem formae erit, quare differentia erit formae $8n$ ). Hinc tandem concluditur, in serie $\mathrm {(I)}$ totidem terminos esse per $p$ divisibiles, quot in $\mathrm {(III)}$ sint ipsi $r$ secundum $p$ congrui i. e. totidem aut plures quam in $\mathrm {(II)}$ sint per $p$ divisibiles. Q. E. D.

III. Sit $p$ formae $8n$ , atque $\textstyle a\equiv rr{\pmod {2p}}$ . Facile enim perspicitur, $a$ , quum ex hyp. ipsius $p$ sit residuum, etiam ipsius $2p$ residuum fore. Tum in serie $\mathrm {(III)}$ totidem ad minimum termini erunt ipsi $r$ secundum $p$ congrui, quot in $\mathrm {(II)}$ sunt per $p$ divisibiles, illique omnes magnitudine erunt inaequales. At cuique eorum respondebit aliquis in $\mathrm {(I)}$ per $p$ divisibilis. Si enim $+b$ vel $-b$ $\textstyle \equiv r{\pmod {p}}$ , erit $\textstyle bb\equiv rr{\pmod {2p}}$ ^[14], adeoque terminus ${\scriptstyle {\frac {1}{2}}}(a-bb)$ per $p$ divisibilis. Quare in $\mathrm {(I)}$ totidem ad minimum termini erunt per $p$ divisibiles quam in $\mathrm {(II)}$ . Q. E. D.

129.

Theorema. Si $a$ est numerus primus formae $8n+1$ , necessario infra $2\surd {a}+1$ dabitur aliquis numerus primus, cuius non-residuum sit $a$ .

Demonstr. Esto, si fieri potest, $a$ residuum omnium primorum ipso $2\surd {a}+1$ minorum. Tum facile perspicietur, $a$ etiam omnium numerorum compositorum ipso $2\surd {a}+1$ minorum residuum fore (conferantur praecepta per quae diiudicare docuimus, utrum numerus propositus sit numeri compositi residuum necne: [[/InterNexii#art._105|art. 105]]). Sit numerus proxime minor quam $\surd {a}$ , $=m$ . Tum in serie $\mathrm {(I)} \ldots \ldots a,{\scriptstyle {\frac {1}{2}}}(a-1),2(a-4),{\scriptstyle {\frac {1}{2}}}(a-9)\ldots$ $2(a-mm)$ vel ${\scriptstyle {\frac {1}{2}}}(a-mm)$ totidem aut plures termini erunt per numerum quemcunque ipso $2\surd {a}+1$ minorem divisibiles, quam in hac $\mathrm {(II)} \ldots \ldots 1,2,3,4\ldots 2m+1$ ([[/InterNexii#art._128|art. praec.]]) Hinc vero sequitur, productum ex omnibus terminis $\mathrm {(I)}$ per productum omnium terminorum $\mathrm {(II)}$ divisibile esse ([[/InterNexii#art._126|art. 126]]). At illud est aut $=a(a-2)(a-4)\ldots (a-mm)$ aut semissis huius producti (prout $m$ aut par aut impar). Quare productum $a(a-1)(a-4)\ldots (a-mm)$ certo per productum omnium terminorum $\mathrm {(II)}$ dividi poterit, et, quia omnes hi termini ad $a$ sunt primi, etiam productum illud omisso factore $a$ . Sed productum ex omnibus terminis $\mathrm {(II)}$ ita etiam exhiberi potest $(m+1).((m+1)^{2}-1).((m+1)^{2}-4)\ldots ((m+1)^{2}-m^{2})$ Fiet igitur $\textstyle {\frac {1}{m+1}}.{\frac {a-1}{((m+1)^{2}-1)}}.{\frac {a-4}{((m+1)^{2}-4)}}\ldots .{\frac {a-m^{2}}{((m+1)^{2}-m^{2})}}$ numerus integer, quamquam sit productum ex fractionibus unitate minoribus: quia enim necessario $\surd {a}$ irrationalis esse debet, erit $m+1>\surd {a}$ , adeoque $(m+1)^{2}>a$ . Hinc tandem concluditur suppositionem nostram locum habere non posse. Q. E. D.

Iam quia $a$ certo $>9$ , erit $2\surd {a}+1<a$ , dabiturque adeo aliquis primus $<a$ , cuius non-residuum $a$ .

Per inductionem theorema generale (fundamentale) stabilitur, conclusionesque inde deducuntur.

130.

Postquam rigorose demonstravimus, quemvis numerum primum formae $4n+1$ , et positive et negative acceptum, alicuius numeri primi ipso minoris non-residuum esse, ad comparationem exactiorem et generaliorem numerorum primorum, quatenus unus alterius residuum vel non-residuum est, statim transimus.

Omni rigore supra demonstravimus, $-3$ et $+5$ esse residua vel non-residua omnium numerorum primorum, qui ipsorum $3$ , $5$ respective sint residua vel non-residua.

Per inductionem autem circa numeros sequentes institutam invenitur: $-7$ , $-11$ , $+13$ , $+17$ , $-19$ , $-23$ , $+29$ , $-31$ , $+37$ , $+41$ , $-43$ , $-47$ , $+53$ , $-59$ etc. esse residua vel non-residua omnium numerorum primorum, qui, positive sumti, illorum primorum respective sint residua vel non-residua. Inductio haec perfacile adiumento [[/InterNexii#Tab._II|tabulae II]] confici potest.

Quivis autem levi attentione adhibita observabit, ex his numeris primis signo positivo affectos esse eos, qui sint formae $4n+1$ , negativo autem eos, qui sint formae $4n+3$ .

131.

Quod hic per inductionem deteximus, generaliter locum habere mox demonstrabimus. Antequam autem hoc negotium adeamus, necesse erit, omnia quae ex theoremate, si verum esse supponitur, sequuntur, eruere. Theorema ipsum ita enunciamus.

Si $p$ est numerus primus formae $4n+1$ , erit $+p$ , si vero $p$ formae $4n+3$ , erit $-p$ residuum vel non-residuum cuiusvis numeri primi, qui positive acceptus ipsius $p$ est residuum vel non-residuum.

Quia omnia fere, quae de residuis quadraticis dici possunt, huic theoremati innituntur, denominatio theorematis fundamentalis, qua in sequentibus utemur, haud absona erit.

Ut ratiocinia nostra quam brevissime exhiberi possint, per $a$ , $a'\!$ , $a''\!$ etc. numeros primos formae $4n+1$ , per $b$ , $b'\!$ , $b''\!$ etc. numeros primos formae $4n+3$ denotabimus; per $A$ , $A'\!$ , $A''\!$ etc. numeros quoscunque formae $4n+1$ , per $B$ , $B'\!$ , $B''\!$ etc. autem numeros quoscunque formae $4n+3$ ; tandem litera $R$ duabus quantitatibus interposita indicabit, priorem sequentis esse residuum, sicuti litera $N$ significationem contrariam habebit. Ex. gr. $+5R11$ , $\pm 2N5$ , indicabit $+5$ ipsius $11$ esse residuum, $+2$ vel $-2$ esse ipsius $5$ non-residuum. Iam collato theoremate fundamentali cum theorematibus [[/InterNexii#art._111|art. 111]], sequentes propositiones facile deducentur.

	Si		erit
1.	$\quad \pm aRa'$	$\ldots \ldots$	$\quad \pm a'\!Ra$
2.	$\quad \pm aNa'$	$\ldots \ldots$	$\quad \pm a'\!Na$
3.	$\left\{{\begin{matrix}+aRb\\-aNb\end{matrix}}\right\}$	$\ldots \ldots$	$\quad \pm bRa$
4.	$\left\{{\begin{matrix}+aNb\\-aRb\end{matrix}}\right\}$	$\ldots \ldots$	$\quad \pm bNa$
5.	$\quad \pm bRa$	$\ldots \ldots$	$\left\{{\begin{matrix}+aRb\\-aNb\end{matrix}}\right.$
6.	$\quad \pm bNa$	$\ldots \ldots$	$\left\{{\begin{matrix}+aNb\\-aRb\end{matrix}}\right.$
7.	$\left\{{\begin{matrix}+bRb'\\-bNb'\end{matrix}}\right\}$	$\ldots \ldots$	$\left\{{\begin{matrix}+b'\!Nb\\-b'\!Rb\end{matrix}}\right.$
8.	$\left\{{\begin{matrix}+bNb'\\-bRb'\end{matrix}}\right\}$	$\ldots \ldots$	$\left\{{\begin{matrix}+b'\!Rb\\-b'\!Nb\end{matrix}}\right.$

132.

In his omnes casus, qui, duos numeros primos comparando, occurrere possunt, continentur: quae sequuntur, ad numeros quoscunque pertinent: sed harum demonstrationes minus sunt obviae.

	Si		erit
9.	$\quad \pm aRA$	$\ldots \ldots$	$\quad \pm ARa$
10.	$\quad \pm bRA$	$\ldots \ldots$	$\left\{{\begin{matrix}+ARb\\-ANb\end{matrix}}\right.$
11.	$\quad +aRB$	$\ldots \ldots$	$\quad \pm BRa$
12.	$\quad -aRB$	$\ldots \ldots$	$\quad \pm BNa$
13.	$\quad +bRB$	$\ldots \ldots$	$\left\{{\begin{matrix}-BRb\\+BNb\end{matrix}}\right.$
14.	$\quad -bRB$	$\ldots \ldots$	$\left\{{\begin{matrix}+BRb\\-BNb\end{matrix}}\right.$

Quum omnium harum propositionum demonstrationes ex iisdem principiis sint petendae, necesse non erit omnes evolvere: demonstratio prop. 9, quam apponimus tamquam exemplum inservire potest. Ante omnia autem observetur, quemvis numerum formae $4n+1$ aut nullum factorem formae $4n+3$ habere, aut duos, aut quatuor etc., i. e. multitudinem talium factorum (inter quos etiam aequales esse possunt) semper fore parem: quemvis vero formae $4n+3$ multitudinem imparem factorum formae $4n+3$ (i. e. aut unum aut tres aut quinque etc.) implicare. Multitudo factorum formae $4n+1$ indeterminata manet.

Prop. 9 ita demonstratur. Sit $A$ productum e factoribus primis $a'\!$ , $a''\!$ , $a'''\!$ etc., $b$ , $b'\!$ , $b''\!$ etc.; eritque factorum $b$ , $b'\!$ , $b''\!$ etc. multitudo par (possunt etiam nulli adesse, quod eodem redit). Iam si $a$ est residuum ipsius $A$ , erit residuum etiam omnium factorum $a'\!$ , $a''\!$ , $a'''\!$ etc. $b$ , $b'\!$ , $b''\!$ etc., quare per propp. 1, 3 [[/InterNexii#art._131|art. praec.]] singuli hi factores erunt residua ipsius $a$ , adeoque etiam productum $A$ . $-A$ vero idem esse debet. — Quodsi vero $-a$ est residuum ipsius $A$ , eoque ipso omnium factorum $a'\!$ , $a''\!$ , etc. $b$ , $b'\!$ etc. ; singuli $a'\!$ , $a''\!$ etc. erunt ipsius $a$ residua, singuli $b$ , $b'\!$ etc. autem non-residua. Sed quum posteriorum multitudo sit par, productum ex omnibus, i. e. $A$ , ipsius $a$ residuum erit, hincque etiam $-A$ ,

133.

Investigationem adhuc generalius instituamus. Contemplemur duos numeros quoscunque impares inter se primos, signis quibuscunque affectos, $P$ et $Q$ . Concipiatur $P$ sine respectu signi sui in factores suos primos resolutus, designeturque per $p$ , quot inter hos reperiantur, quorum non-residuum sit $Q$ . Si vero aliquis numerus primus, cuius non-residuum est $Q$ , pluries inter factores ipsius $P$ occurrit, pluries etiam numerandus erit. Similiter sit $q$ multitudo factorum primorum ipsius $Q$ , quorum non-residuum est $P$ . Tum numeri $p$ , $q$ certam relationem mutuam habebunt ab indole numerorum $P$ , $Q$ pendentem. Scilicet si alter numerorum $p$ , $q$ est par vel impar, numerorum $P$ , $Q$ forma docebit, utrum alter par sit vel impar. Haec relatio in sequenti tabula exhibetur.

Erunt $p$ , $q$ simul pares vel simul impares, quando numeri $P$ , $Q$ habent formas:

1.	$+A$ ,	$+A'$
2.	$+A$ ,	$-A'$
3.	$+A$ ,	$+B$
4.	$+A$ ,	$-B$
5.	$-A$ ,	$-A'$
6.	$+B$ ,	$-B'$

Contra numerorum $p$ , $q$ alter erit par, alter impar, quando numeri $P$ , $Q$ habent formas:

7.	$-A$ ,	$+B$
8.	$-A$ ,	$-B$
9.	$+B$ ,	$+B'$
10.	$-B$ ,	$-B'$ ^[15]

Ex. Sint numeri propositi -55 et +1197, qui ad casum quartum erunt referendi. Est autem 1197 non-residuum unius factoris primi ipsius 55, scilicet numeri 5, -55 autem non-residuum trium factorum primorum ipsius 1197, scilicet numerorum 3, 3, 19.

Si $P$ et $Q$ numeros primos designant, propositiones hae abeunt in eas quas [[/InterNexii#art._131|art. 131]] tradidimus. Hic scilicet $p$ et $q$ maiores quam $1$ fieri nequeunt, quare quando $p$ ponitur esse par, necessario erit $=0$ i. e. $Q$ erit residuum ipsius $P$ , quando vero $p$ est impar, $Q$ ipsius $P$ non-residuum erit. Et vice versa. Ita scriptis $a$ , $b$ loco ipsorum $A$ , $B$ , ex 8 sequitur, si $-a$ fuerit residuum vel non-residuum ipsius $b$ , fore $-b$ non-residuum vel residuum ipsius $a$ , quod cum 3 et 4 art. 131 convenit.

Generaliter vero patet, $Q$ residuum ipsius $P$ esse non posse nisi fuerit $p=0$ ; si igitur $p$ impar, $Q$ certo ipsius $P$ non-residuum erit.

Hinc etiam propp. art. praec. sine difficultate derivari possunt.

Ceterum mox patebit, hanc repraesentationem generalem plus esse quam speculationem sterilem, quum theorematis fundamentalis demonstratio completa absque ea vix perfici possit.

134.

Aggrediamur nunc deductionem harum propositionum.

I. Concipiatur, ut ante, $P$ in factores suos primos resolutus, signis neglectis, insuperque etiam $Q$ in factores quomodocunque resolvatur, ita tamen ut signi ipsius $Q$ ratio habeatur. Combinentur illi singuli cum singulis his. Tum si $s$ designat multitudinem omnium combinationum, in quibus factor ipsius $Q$ est non-residuum factoris ipsius $P$ , $p$ et $s$ vel simul pares vel simul impares erunt. Sint enim factores primi ipsius $P$ , hi $f$ , $f'\!$ , $f''\!$ etc. et inter factores in quibus $Q$ est resolutus, sint $m$ qui ipsius $f$ sint non-residua, $m'\!$ non-residua ipsius $f'\!$ , $m''\!$ non-residua ipsius $f''\!$ etc. Tum facile quisquis perspiciet, fore $s=m+m'+m''+$ etc. $p$ autem exprimere, quot numeri inter ipsos $m$ , $m'\!$ , $m''\!$ etc. sint impares. Unde sponte patet, $s$ fore parem quando $p$ sit par, imparem quando $p$ sit impar.

II. Haec generaliter valent, quomodocunque $Q$ in factores sit resolutus. Descendamus ad casus particulares. Contemplemur primo casus, ubi alter numerorum, $P$ , est positivus, alter vero, $Q$ , vel formae $+A$ vel formae $-B$ . Resolvantur $P$ , $Q$ in factores suos primos, attribuatur singulis factoribus ipsius $P$ Signum positivum, singulis autem factoribus ipsius $Q$ signum positivum vel negativum, prout sunt formae $a$ vel $b$ ; tunc autem manifeste $Q$ fiet vel formae $+A$ vel $-B$ , uti requiritur. Combinentur factores singuli ipsius $P$ cum singulis factoribus ipsius $Q$ , designetque ut ante $s$ multitudinem combinationum, in quibus factor ipsius $Q$ est non-residuum factoris ipsius $P$ , similiterque $t$ multitudinem combinationum, in quibus factor ipsius $P$ est non-residuum factoris ipsius $Q$ . At ex theoremate fundamentali sequitur, illas combinationes identicas fore cum his adeoque $s=t$ . Tandem ex iis quae modo demonstravimus, sequitur esse $\textstyle p\equiv s{\pmod {2}}$ , $\textstyle q\equiv t{\pmod {2}}$ , unde fit $\textstyle p\equiv q{\pmod {2}}$ .

Habentur itaque propp. 1, 3, 4 et 6 [[/InterNexii#art._133|art. 133]].

Propositiones reliquae per methodum similem directe erui possunt, sed una consideratione nova indigent; facilius autem ex praecedentibus sequenti modo derivantur.

III. Denotent rursus $P$ , $Q$ . numeros quoscunque impares inter se primos, $p$ , $q$ multitudinem factorum primorum ipsorum $P$ , $Q$ , quorum non-residua $Q$ , $P$ respective. Tandem sit $p'$ multitudo factorum primorum ipsius $P$ , quorum non-residuum est $-Q$ (quando $Q$ per se est negativus, manifesto $-Q$ numerum positivum indicabit). Iam omnes factores primi ipsius $P$ in quatuor classes distribuantur.

1) in factores formae

a

, quorum residuum est

Q

.

2) factores formae

b

, quorum residuum

Q

. Horum multitudo sit

\chi

.

3) factores formae

a

, quorum non-residuum est

Q

. Herum multitudo sit

\psi

.

4) factores formae

b

, quorum non-residuum

Q

. Quorum multitudo

=\omega

.

Tum facile perspicitur fore $p=\psi +\omega$ , $p'=\chi +\psi$ .

Iam quando $P$ est formae $\pm A$ , erit $\chi +\omega$ adeoque etiam $\chi -\omega$ numerus par: quare fiet $p'=p+\chi -\omega \equiv$ $\textstyle p{\pmod {2}}$ ; quando vero $P$ est formae $\pm B$ , per simile ratiocinium invenitur, numeros $p$ , $p'\!$ sec. $\mathrm {mod.} 2$ incongruos fore.

IV. Applicemus haec ad casus singulos. Sit primo tum $P$ tum $Q$ formae $+A$ , eritque ex prop. 1. $\textstyle p\equiv q{\pmod {2}}$ ; aterit $\textstyle p'\equiv p{\pmod {2}}$ ; quare etiam $\textstyle p'\equiv q{\pmod {2}}$ . Quod convenit cum prop. 2. — Simili modo si $P$ est formae $-A$ , $Q$ formae $+A$ , erit $\textstyle p\equiv q{\pmod {2}}$ ex prop. 2 quam modo demonstravimus; hinc, ob $p'\equiv p$ , erit $p'\equiv q$ . Est itaque etiam prop. 5 demonstrata.

Eodem modo prop. 7 ex 3; prop. 8 vel ex 4 vel ex 7; prop. 9 ex 6; ex eademque prop. 10 derivantur.

Demonstratio rigorosa theorematis fundamentalis.

135.

Per art. praec. propositiones art. 133 non quidem sunt demonstratae, sed tamen earum veritas a veritate theorematis fundamentalis quam aliquantisper supposuimus pendere ostensa est. At ex ipsa deductionis methodo manifestum est, illas valere pro numeris $P$ , $Q$ , si modo theorema fundamentale pro omnibus factoribus primis horum numerorum inter se comparatis locum habeat, etiamsi generaliter verum non sit. Nunc igitur ipsius theorematis fundamentalis demonstrationem aggrediamur. Cui praemittimus sequentem explicationem.

Theorema fundamentale usque ad numerum aliquem $M$ verum esse dicemus, si valet pro duobus numeris primis quibuscunque, quorum neuter ipsum $M$ superat.

Simili modo intelligi debet, si theoremata artt. [[/InterNexii#art._131|131]], [[/InterNexii#art._132|132]], [[/InterNexii#art._133|133]] usque ad aliquem terminum vera esse dicemus. Facile vero perspicitur, si de veritate theorematis fundamentalis usque ad aliquem terminum constet, has propositiones usque ad eundem terminum locum esse habituras.

136.

Theorema fundamentale pro numeris parvis verum esse, per inductionem facile confirmari, atque sic limes determinari potest usque ad quem certo locum teneat. Hanc inductionem institutam esse postulamus: prorsus autem indifferens est quousque eam persequuti simus; sufficeret adeo, si tantummodo usque ad numerum $5$ eam confirmavissemus, hoc autem per unicam observationem absolvitur, quod est $+5N3$ , $\pm 3N5$ .

Iam si theorema fundamentale generaliter verum non est, dabitur limes aliquis, $T$ , usque ad quem valebit, ita tamen ut usque ad numerum proxime maiorem, $T+1$ , non amplius valeat. Hoc autem idem est ac si dicamus, dari duos numeros primos, quorum maior sit $T+1$ , et qui inter se comparati theoremati fundamentali repugnent, binos autem alios numeros primos quoscunque, si modo ambo ipso $T+1$ sint minores, huic theoremati esse consentaneos. Unde sequitur, propositiones artt. 131, 132, 133 usque ad $T$ etiam locum habituras. Hanc vero suppositionem consistere non posse nunc ostendemus. Erunt autem secundum formas diversas, quas tum $T+1$ , tum numerus primus ipso $T+1$ minor, quem cum $T+1$ comparatum theoremati repugnare supposuimus, habere possunt, casus sequentes distinguendi. Numerum istum primum per $p$ designamus.

Quando tum $T+1$ tum $p$ sunt formae $4n+1$ , theorema fundamentale duobus modis falsum esse posset, scilicet si simul esset, vel $\pm pR(T+1)\,$ et $\pm (T+1)Np$ vel simul $\pm pN(T+1)$ et $\pm (T+1)Rp$

Quando tum $T+1$ tum $p$ sunt formae $4n+3$ , theor. fund. falsum erit, si simul fuerit vel $+pR(T+1)$ et $-(T+1)Np\$ (sive quod eodem redit $-pN(T+1)$ et $+(T+1)Rp$ ) vel $+pN(T+1)$ et $-(T+1)Rp\$ (sive $-pR(T+1)$ et $+(T+1)Np$ )

Quando $T+1$ est formae $4n+1$ , $p$ vero formae $4n+3$ , theor. fund. falsum erit, si fuerit vel $\pm pR(T+1)$ et $+(T+1)Np$ (sive $-(T+1)Rp$ ) vel $\pm pN(T+1)$ et $-(T+1)Np$ (sive $+(T+1)Rp$ )

Quando $T+1$ est formae $4n+3$ , p vero formae $4n+1$ , theor. fund. falsum erit, si fuerit vel $+p{R}(T+1)$ (sive $-p{N}(T+1)$ ) et $\pm (T+1){N}p$ vel $+p{N}(T+1)$ (sive $-p{R}(T+1)$ ) et $\pm (T+1){R}p$

Si demonstrari poterit, nullum horum octo casuum locum habere posse, simul certum erit, theorematis fundamentalis veritatem nullis limitibus circumscriptam esse. Hoc itaque negotium nunc aggredimur: at quoniam alii horum casuum ab aliis sunt dependentes, eundem ordinem, quo eos hic enumeravimus, servare non licebit.

137.

Casus primus. Quando $T+1$ est formae $4n+1$ ( $=a$ ), atque $p$ eiusdem formae; insuper vero $\pm p{R}a$ , non potest esse $\pm a{N}p$ . Hic casus supra fuit primus.

Sit $\textstyle +p\equiv e^{2}{\pmod {a}}$ , atque $e$ par et $<a$ (quod semper obtineri potest). Iam duo casus sunt distinguendi.

I. Quando $e$ per $p$ non est divisibilis. Ponatur $e^{2}=p+af$ eritque $f$ positivus, formae $4n+3$ (sive formae $B$ ), $<a$ , et per $p$ non divisibilis. Porro erit $\textstyle e^{2}\equiv p{\pmod {f}}$ , i. e. $p{R}f$ adeoque ex prop. 11 art. 132 $\pm f{R}p$ (quia enim $p$ , $f<a$ , pro his propositiones istae valebunt). At est etiam $af{R}p$ , quare fiet quoque $\pm a{R}p$ .

II. Quando $e$ per $p$ est divisibilis, ponatur $e=gp$ , atque $e^{2}=p+aph$ , sive $pg^{2}=1+ah$ . Tum erit $h$ formae $4n+3$ ( $B$ ), atque ad $p$ et $g^{2}\!$ primus. Porro erit $pg^{2}{R}h$ , adeoque etiam $p{R}h$ , hinc (prop. 11 art. 132) $\pm h{R}p$ . At est etiam $-ah{R}p$ , quia $\textstyle -ah\equiv 1{\pmod {p}}$ ; quare fiet etiam $\mp a{R}p$ .

138.

Casus secundus. Quando $T+1$ est formae $4n+1$ ( $=a$ ), $p$ formae $4n+3$ , atque $\pm p{R}(T+1)$ , non potest esse $+(T+1){N}p$ sive $-(T+1){R}p$ . Hic casus supra fuit quintus.

Sit ut supra $e^{2}=p+fa$ atque $e$ par et $<a$ .

I. Quando $e$ per $p$ non est divisibilis, erit etiam $f$ per $p$ non divisibilis. Praeterea autem erit $f$ positivus, formae $4n+1$ (sive $A$ ), atque $<a$ ; $+p{R}f$ , adeoque (prop. 10 [[/InterNexii#art._132|art. 132]]) $+f{R}p$ . Sed est etiam $+fa{R}p$ , quare fiet $+a{R}p$ , sive $-a{N}p$ .

II. Quando $e$ per $p$ est divisibilis, sit $e=pg$ , atque $f=ph$ . Erit itaque $g^{2}p=1+ha$ . Tum $h$ erit positivus, formae $4n+3$ ( $B$ ), et ad $p$ et $g^{2}\!$ primus. Porro $+g^{2}p{R}h$ , adeoque $+p{R}h$ ; hinc fit (prop. 13 [[/InterNexii#art._132|art. 132]]) $-h{R}p$ . At est $-ha{R}p$ , unde fit $+a{R}p$ atque $-a{N}p$ .

139.

Casus tertius. Quando $T+1$ est formae $4n+1$ ( $=a$ ), $p$ eiusdem formae, atque $\pm p{N}a$ : non potest esse $\pm a{R}p$ . (Supra casus secundus).

Capiatur aliquis numerus primus ipso $a$ minor, cuius non-residuum sit $+a$ , quales dari supra demonstravimus (artt. [[/InterNexii#art._125|125]], [[/InterNexii#art._129|129]]). Sed hic duos casus seorsim considerare oportet, prout hic numerus primus fuerit formae $4n+1$ vel $4n+3$ , non enim demonstratum fuit, dari tales numeros primos utriusque formae.

I. Sit iste numerus primus formae $4n+1$ et $=a'\!$ . Tum erit $\pm a'{N}a$ ([[/InterNexii#art._131|art. 131]]) adeoque $\pm a'p{R}a$ . Sit igitur $\textstyle e^{2}\equiv a'p{\pmod {a}}$ atque $e$ par, $<a$ . Tunc iterum quatuor casus erunt distinguendi.

1) Quando $e$ neque per $p$ neque per $a'\!$ est divisibilis. Ponatur $e^{2}=a'p\pm af$ , signis ita acceptis ut $f$ fiat positivus. Tum erit $f<a$ , ad $a'\!$ et $p$ primus atque pro signo superiori formae $4n+3$ , pro inferiori formae $4n+1$ . Designemus brevitatis gratia per $[x,y]$ multitudinem factorum primorum numeri $y$ quorum non-residuum est $x$ . Tum erit $a'p{R}f$ adeoque $[a'p,f]=0$ . Hinc erit $[f,a'p]$ numerus par (propp. 1, 3, [[/InterNexii#art._133|art. 133]]), i. e. aut $=0$ aut $=2$ . Quare erit $f$ aut residuum utriusque numerorum $a'\!,$ $p$ , aut neutrius. Illud autem est impossibile, quum $+af$ sit residuum ipsius $a'\!,$ atque $\pm a{N}a'\!$ (hyp.); unde fit $\pm f{N}a'\!$ . Hinc $f$ debet esse utriusque numerorum $a'\!,$ $p$ non-residuum. At propter $\pm af{R}p$ erit $\pm a{N}p$ . Q. E. D.

2) Quando $e$ per $p$ , neque vero per $a'\!$ est divisibilis, sit $e=gp$ , atque $g^{2}p=a'\pm ah$ , signo ita determinato, ut $h$ fiat positivus. Tum erit $h<a$ , ad $a'\!$ , $g$ et $p$ primus, atque pro signo superiori formae $4n+3$ , pro inferiori vero formae $4n+1$ . Ex aequatione $g^{2}p=a'\pm ah$ , si per $p$ et $a'\!$ multiplicatur, nullo negotio deduci potest, $pa'{R}h$ $\ldots$ $(\alpha )$ ; $\pm ahp{R}a'\!$ $\ldots$ $(\beta )$ ; $aa'h{R}p$ $\ldots$ $(\gamma )$ . Ex $(\alpha )$ sequitur $[pa',h]=0$ . adeoque (propp. 1, 3, [[/InterNexii#art._133|art. 133]]) $[h,pa']$ par, i. e. erit $h$ non-residuum vel utriusque $p$ , $a'\!$ , vel neutrius. Priori in casu ex $(\beta )$ sequitur $\pm ap{N}d$ , et quum per hyp. sit $\pm a{N}a'\!$ , erit $\pm p{R}a'\!$ . Hinc per theor. fundam., quod pro numeris $p$ , $a'\!$ ipso $T+1$ minoribus valet, $\pm a'{R}p$ . Hinc et ex eo quod $h{N}p$ , fit per $(\gamma )$ $\pm a{N}p$ . Q. E. D. Posteriori casu ex $(\beta )$ sequitur $\pm ap{R}a'\!$ , hinc $\pm p{N}a'\!$ , $\pm a'{N}p$ , hincque tandem et ex $h{R}p$ fit ex $(\gamma )$ $\pm a{N}p$ . Q. E. D.

3) Quando $e$ per $a'\!$ non autem per $p$ est divisibilis. Pro hoc casu demonstratio tantum non eodem modo procedit ut in praec., neminemque qui hanc penetravit poterit morari.

4) Quando $e$ tum per $a'\!$ tum per $p$ est divisibilis adeoque etiam per productum $a'p$ (numeros $a'\!$ , $p$ enim inaequales esse supponimus, quia alias id quod demonstrare operam damus, esse $a{N}p$ iam in hypothesi $a{N}a'\!$ contentum foret), sit $e=ga'p$ atque $g^{2}a'p=1\pm ah$ . Tum erit $h<a$ , ad $a'\!$ et $p$ primus atque pro signo superiori formae $4n+3$ , pro inferiori formae $4n+1$ . Facile vero perspicitur, ex ista aequatione deduci posse haec $a'p{R}h$ $\ldots$ $(\alpha )$ ; $\pm ah{R}a'$ $\ldots$ $(\beta )$ ; $\pm ah{R}p$ $\ldots$ $(\gamma )$ . Ex $(\alpha )$ quod convenit cum $(\alpha )$ in (2) sequitur perinde ut illic, esse vel simul $h{R}p$ , $h{R}a'\!$ , vel $h{N}p$ , $h{N}a'\!$ . Sed in casu priori foret per $(\beta )$ , $a{R}a'\!$ , contra hyp.; quare erit $h{N}p$ , adeoque per $(\gamma )$ etiam $a{N}p$ .

II. Quando iste numerus primus est formae $4n+3$ , demonstratio praecedenti tam similis est, ut eam apponere superfluum nobis visum sit. In eorum gratiam qui per se eam evolvere gestiunt (quod maxime commendamus), id tantum observamus, postquam ad talem aequationem $e^{2}=bp\pm af$ (designante $b$ illum numerum primum) perventum fuerit, ad perspicuitatem profuturum, si utrumque signum seorsim consideretur.

140.

Casus quartus. Quando $T+1$ est formae $4n+1$ ( $=a$ ), $p$ formae $4n+3$ , atque $\pm p{N}a$ , non poterit esse $+a{R}p$ sive $-a{N}p$ . (Casus sextus supra).

Etiam huius casus demonstrationem, quum prorsus similis sit demonstrationi casus tertii, brevitatis gratia omittimus.

141.

Casus quintus. Quando $T+1$ est formae $4n+3$ ( $=b$ ), $p$ eiusdem formae, atque $+pRh$ sive $-pNb$ , nequit esse $+bRp$ sive $-bNp$ . (Casus tertius supra).

Sit $\textstyle p=e^{2}{\pmod {b}}$ , atque $e$ par et $<b$ .

I. Quando $e$ per $p$ non est divisibilis. Ponatur $e^{2}=p+bf$ , eritque $f$ positivus, formae $4n+3$ , $<b$ atque ad $p$ primus. Porro erit $pRf$ adeoque per prop. 13 [[/InterNexii#art._132|art. 132]], $-fRP$ . Hinc et ex $+bfRp$ fit $-bRp$ adeoque $+bNp$ . Q. E. D.

II. Quando $e$ per $p$ est divisibilis, sit $e=pg$ atque $ggp=1+bh$ . Tum erit $h$ formae $4n+1$ atque ad $p$ primus, $\textstyle p\equiv g^{2}p^{2}{\pmod {h}}$ , adeoque $pRh$ ; hinc fit $+hRp$ (prop. 10 [[/InterNexii#art._132|art. 132]]), unde et ex $-bhRp$ sequitur $-bRp$ , sive $+bNp$ . Q. E. D.

142.

Casus sextus. Quando $T+1$ est formae $4n+3$ ( $=b$ ), $p$ formae $4n+1$ , atque $pRb$ , non poterit esse $\pm bNp$ . (Supra casus septimus).

Demonstrationem praecedenti omnino similem omittimus.

143.

Casus septimus. Quando $T+1$ est formae $4n+3$ ( $=b$ ), $p$ eiusdem formae, atque $+pNb$ sive $-pRb$ , non poterit esse $+bNp$ sive $-bRp$ . (Casus quartus supra).

Sit $\textstyle -p\equiv e^{2}{\pmod {b}}$ , atque $e$ par et $<b$ .

I. Quando $e$ per $p$ non divisibilis. Sit $-p=e^{2}-bf$ eritque $f$ positivus, formae $4n+1$ , ad $p$ primus ipsoque $b$ minor (etenim $e$ certo non maior quam $b-1$ , $p<b-1$ , quare erit $bf=e^{2}+p<b^{2}-b$ , i. e. $f<b-1$ ). Porro erit $-pRf$ hinc (prop. 10 [[/InterNexii#art._132|art. 132]]) $+fRp$ , unde et ex $+bfRp$ fit $+bRp$ , sive $-bNp$ .

II. Quando $e$ per $p$ est divisibilis, sit $e=pg$ , atque $g^{2}p=-1+bh$ . Tum erit $h$ positivus, formae $4n+3$ , ad $p$ primus et $<b$ . Porro erit $-pRh$ , unde fit (prop. 14 [[/InterNexii#art._132|art. 132]]) $+hRp$ . Hinc et ex $bhRp$ sequitur $+bRp$ sive $-bNp$ . Q. E. D.

144.

Casus octavus. Quando $T+1$ est formae $4n+3$ ( $=b$ ), $p$ formae $4n+1$ , atque $+pNb$ sive $-pRb$ , non poterit esse $\pm bRp$ . (Casus ultimus supra).

Demonstratio perinde procedit ut in casu praecedenti.

Methodus analoga, theorema [[/InterNexii#art._114|art. 114]] demonstrandi.

145.

In demonstratt. praecc. semper pro e valorem parem accepimus (artt. [[/InterNexii#art._137|137]], [[/InterNexii#art._144|144]]); observare convenit, etiam valorem imparem adhiberi potuisse, sed tum plures adhuc distinctiones introducendae fuissent. Qui his disquisitionibus delectantur, haud inutile facient, si vires suas in evolutione horum casuum exercitent. Praeterea theoremata ad residua $+2$ et $-2$ pertinentia tunc supponi debuissent; quum vero nostra demonstratio absque his theorematibus sit perfecta, novam hinc methodum nanciscimur, illa demonstrandi. Quae minime est contemnenda, quum methodi, quibus supra pro demonstratione theorematis, $\pm 2$ esse residuum cuiusvis numeri primi formae $8n+1$ , usi sumus, minus directae videri possint. Reliquos casus (qui ad numeros primos formarum $8n+3$ , $8n+5$ , $8n+7$ spectant) per methodos supra traditas demonstratos, illudque theorema tantummodo per inductionem inventum esse supponemus; hanc autem inductionem per sequentes reflexiones ad certitudinis gradum evehemus.

Si $\pm 2$ omnium numerorum primorum formae $8n+1$ residuum non esset, ponatur minimus primus huius formae, cuius non-residuum $\pm 2$ , $=a$ , ita ut pro omnibus primis ipso $a$ minoribus theorema valeat. Tum accipiatur numerus aliquis primus $<{\scriptstyle {\frac {1}{2}}}a$ , cuius non-residuum $a$ (qualem dari ex [[/InterNexii#art._129|art. 129]] facile deducitur). Sit hic $=p$ eritque per theor. fund. $pNa$ . Hinc fit $\pm 2pRa$ . — Sit itaque $\textstyle e^{2}\equiv 2p{\pmod {a}}$ , ita ut $e$ sit impar atque $<a$ . Tum duo casus erunt distinguendi.

I. Quando $e$ per $p$ non est divisibilis. Sit $e^{2}=2p+aq$ eritque $q$ positivus, formae $8n+7$ vel formae $8n+3$ (prout $p$ est formae $4n+1$ vel $4n+3$ ), $<a$ , atque per $p$ non divisibilis. Iam omnes factores primi ipsius $q$ in quatuor classes distribuantur, sint scilicet $e$ formae $8n+1$ , $f$ formae $8n+3$ , $g$ formae $8n+5$ , $h$ formae $8n+7$ ; productum e factoribus primae classis sit $E$ , producta e factoribus secundae, tertiae, quartae classis respective, $F$ , $G$ , $H$ ^[16]. His ita factis, consideremus primo casum ubi $p$ est formae $4n+1$ , sive $q$ formae $8n+7$ . Tum facile perspicitur fore $2RE$ , $2RH$ , unde $pRE$ , $pRH$ , hincque tandem $ERp$ , $HRp$ . Porro erit $2$ non-residuum cuiusvis factoris formae $8n+3$ aut $8n+5$ , adeoque etiam $p$ ; hinc quivis talis factor non-residuum ipsius $p$ ; unde facile concluditur $FG$ fore ipsius $p$ residuum, si $f+g$ fuerit par, non-residuum, si $f+g$ fuerit impar. At $f+g$ impar esse non potest; facile enim perspicietur omnes casus enumerando, $EFGH$ sive $q$ fieri vel formae $8n+3$ vel $8n+5$ , si fuerit $f+g$ impar, quidquid sint singuli $e$ , $f$ , $g$ , $h$ , contra hyp. Erit igitur $FGRp$ , $EFGHRp$ , sive $qRp$ , hincque tandem, propter $aqRp$ , $aRp$ contra hyp. Secundo quando p est formae $4n+3$ , simili modo ostendi potest, fore $pRE$ adeoque $ERp$ , -pRF adeoque $FRp$ , tandem g+h parem hincque $GHRp$ , unde tandem sequitur $qRp$ , $aRp$ contra hyp.

II. Quando $e$ per $p$ divisibilis, demonstratio simili modo adornari et a peritis (quibus solis hic articulus est scriptus) haud difficulter evolvi poterit. Nos brevitatis gratia eam omittimus.

Solutio problematis generalis.

146.

Per theorema fundamentale atque propositiones ad residua $-1$ et $\pm 2$ pertinentes semper determinari potest, utrum numerus quicunque datus numeri primi dati residuum sit an non-residuum. At haud inutile erit, reliqua etiam quae supra tradidimus hic iterum in conspectum producere, ut omnia coniuncta habeantur, quae sunt necessaria ad solutionem

Problematis: Propositis duobus numeris quibuscunque $P$ , $Q$ , invenire, utrum alter $Q$ , alterius $P$ residuum sit an non-residuum.

Sol. I. Sit $P=a^{\alpha }b^{\beta }c^{\gamma }$ etc. designantibus $a$ , $b$ , $c$ etc. numeros primos inaequales positive acceptos (nam $P$ manifesto absolute est sumendus). Brevitatis gratia in hoc art. relationem duorum numerorum $x$ , $y$ simpliciter dicemus eam, quatenus prior $x$ posterioris $y$ residuum est vel non-residuum. Pendet igitur relatio ipsorum $Q$ , $P$ a relationibus ipsorum $Q$ , $a^{\alpha }$ ; $Q$ , $b^{\beta }$ etc. ([[/InterNexii#art._105|art. 105]]).

II. Ut relatio ipsorum $Q$ , $a^{\alpha }$ (de reliquis enim $Q$ , $b^{\beta }$ etc. idem valet) innotescat, duo casus distinguendi sunt.

1. Quando $Q$ per $a$ est divisibilis. Ponatur $Q=Q'a^{e}\!$ , ita ut $Q'\!$ per $a$ non sit divisibilis. Tunc si $e=\alpha$ vel $e>\alpha$ , erit $QRa^{\alpha }\!$ ; si vero $e<\alpha$ atque impar, erit $QNa^{\alpha }\!$ : tandem si $e<\alpha$ atque par, habebit $Q$ ad $a^{\alpha }$ eandem relationem quam habet $Q'\!$ ad $a^{\alpha -e}\!$ . Reductus est itaque hic casus ad

2. Quando $Q$ per $a$ non est divisibilis. Hic denuo duos casus distinguimus.

(A) Quando $a=2$ . Tunc semper erit $QRa^{\alpha }\!$ , quando $\alpha =1$ ; quando vero $\alpha =2$ , requiritur, ut sit $Q$ formae $4n+1$ : denique quando $\alpha =3$ vel $>3$ , $Q$ debet esse formae $8n+1$ . Quae conditio si locum habet, erit $QRa^{\alpha }\!$ .

(B) Quando $a$ est alius numerus primus. Tunc $Q$ ad $a^{\alpha }\!$ eandem relationem habebit quam habet ad $a$ (V. [[/InterNexii#art._101|art. 101]]).

III. Relatio numeri cuiuscunque $Q$ ad numerum primum $a$ (imparem) ita investigatur. Quando $Q>a$ , substituatur loco ipsius $Q$ ipsius residuum minimum positivum secundum modulum a^[17]. Hoc ad $a$ eandem relationem habebit quam habet $Q$ .

Porro resolvatur $Q$ , sive numerus ipsius loco assumtus, in factores suos primos $p$ , $p'\!$ , $p''\!$ etc., quibus adiungendus factor $-1$ , quando $Q$ est negativus. Tum constat relationem ipsius $Q$ ad $a$ pendere a relationibus singulorum $p$ , $p'\!$ , $p''\!$ etc. ad $a$ . Scilicet si inter illos factores sunt $2m$ non-residua ipsius $a$ , erit $QRa$ , si vero $2m+1$ , erit $QNa$ . Facile autem perspicitur, si inter factores $p$ , $p'\!$ , $p''\!$ etc., bini aut quaterni aut seni aut generaliter $2k$ aequales occurrant, hos tuto eiici posse.

IV. Si inter factores $p$ , $p'\!$ , $p''\!$ reperiuntur $-1$ et $2$ , herum relatio ad $a$ ex artt. [[/InterNexii#art._108|108]], [[/InterNexii#art._112|112]], [[/InterNexii#art._113|113]], [[/InterNexii#art._114|114]] inveniri potest. Reliquorum autem relatio ad $a$ pendet a relatione ipsius $a$ ad ipsos (theor. fund., atque propp. [[/InterNexii#art._131|art. 131]]). Sit $p$ unus ex ipsis, invenieturque, (tractando numeros $a$ , $p$ eodem modo ut antea $Q$ et $a$ illis respective maiores) relationem ipsius $a$ ad $p$ aut per artt. 108 — 114 determinari posse (si scilicet residuum minimum ipsius $\textstyle a{\pmod {p}}$ nullos factores primos impares habeat), aut insuper a relatione ipsius $p$ ad numeros quosdam primos ipso $p$ minores pendere. Idem valet de reliquis factoribus $p'\!$ , $p''\!$ etc. Facile iam perspicitur per continuationem huius operationis tandem ad numeros perventum iri, quorum relationes per propp. artt. [[/InterNexii#art._108|108]] — [[/InterNexii#art._114|114]] determinari possint. Per exemplum haec clariora fient.

Ex. Quaeritur relatio numeri +453 ad 1236. Est 1236 = 4.3.103; +453R4 per II. 2(A); +453R3 per II. 1. Superest igitur ut relatio ipsius +453 ad 103 exploretur. Eadem autem erit quam habet +41 (≡ 453, mod. 103) ad 103; eadem ipsius +103 ad 41 (theor. fund.), sive ipsius −20 ad 41. At est −20R41; namque −20 = −1.2.2.5; −1R41 ([[/InterNexii#art._108|art. 108]]); atque +5R41 ideo quod 41 ≡ 1 adeoque ipsius 5 residuum est (theor. fund.). Hinc sequitur +453R103, hincque tandem +453R1236. Est autem revera 453 ≡ 297² (mod. 1236).

De formis linearibus omnes numeros primos continentibus, quorum vel residuum vel non-residuum est numerus quicunque datus.

147.

Proposito numero quocunque $A$ , formulae certae exhiberi possunt, sub quibus omnes numeri ad $A$ primi quorum residuum est $A$ , continentur, sive omnes, qui esse possunt divisores numerorum formae $xx-A$ (designante $xx$ quadratum indeterminatum)^[18]. Sed brevitatis gratia ad eos tantum divisores respiciemus, qui sunt impares atque ad $A$ primi, quum ad hos casus reliqui facile reduci possint.

Sit primo $A$ aut numerus primus positivus formae $4n+1$ , aut negativus formae $4n-1$ . Tum secundum theorema fundamentale omnes numeri primi, qui, positive sumti, sunt residua ipsius $A$ , erunt divisores ipsius $xx-A$ : omnes autem numeri primi (excepto numero $2$ qui semper est divisor), qui ipsius $A$ sunt non-residua, erunt non-divisores ipsius $xx-A$ . Sint omnia residua ipsius $A$ ipso $A$ minora (exclusa cifra) $r$ , $r'\!$ , $r''\!$ etc. omnia non-residua vero $n$ , $n'\!$ , $n''\!$ etc. Tum quivis numerus primus, in aliqua formarum $Ak+r$ , $Ak+r'\!$ $Ak+r''\!$ etc. contentus, erit divisor ipsius $xx-A$ , quivis autem primus in aliqua formarum $Ak+n$ , $Ak+n'\!$ etc. contentus non-divisor erit, designante $k$ numerum integrum indeterminatum. Illas formas dicimus formas divisorum ipsius $xx-A$ , has vero formas non-divisorum. Utrorumque multitudo erit ${\scriptstyle {\frac {1}{2}}}(A-1)$ . Porro si $C$ est numerus compositus impar atque $ARB$ , omnes factores primi ipsius $B$ in aliqua formarum priorum continentur adeoque etiam $B$ . Quare quivis numerus impar in forma non-divisorum contentus, erit non-divisor formae $xx-A$ . Sed hoc theorema convertere non licet; nam si $B$ est non-divisor compositus impar formae $xx-A$ , inter factores primos ipsius $B$ aliqui non-divisores erunt, quorum multitudo si est par, $B$ nihilominus in aliqua forma divisorum reperietur. V. [[/InterNexii#art._99|art. 99]].

Ex. Hoc modo pro $A$ = −11 formae divisorum ipsius $xx$ +11 inveniuntur hae: 11k+1, 3, 4, 5, 9; formae non-divisorum autem erunt 11k+2, 6, 7, 8, 10. Erit itaque −11 non-residuum omnium numerorum imparium, qui in aliqua posteriorum formarum continentur, residuum autem omnium primorum ad aliquam priorum pertinentium.

Similes formae dantur pro divisoribus atque non-divisoribus ipsius $xx-A$ , quemcunque numerum designet $A$ . Sed facile perspicitur, eos ipsius $A$ valores tantummodo considerari oportere, qui per nullum quadratum sint divisibiles; patet enim si fuerit $A=a^{2}A'\!$ , omnes divisores^[19] ipsius $xx-A$ etiam fore divisores ipsius $xx-A'\!$ , similiterque non-divisores. — Distinguemus autem tres casus, 1) quando $A$ est formae $+(4n+1)$ vel $-(4n-1)$ . 2) quando $A$ est formae $-(4n+1)$ vel $+(4n-1)$ . 3) quando $A$ est par sive formae $\pm (4n+2)$ .

148.

Casus primus, quando $A$ est formae $+(4n+1)$ vel $-(4n-1)$ . Resolvatur $A$ in factores suos primos, tribuaturque iis qui sunt formae $4n+1$ , signum positivum, iis vero qui sunt formae $4n-1$ , signum negativum (unde fiet productum ex ipsis $=A$ ). Sint hi factores $a$ , $b$ , $c$ , $d$ etc. Distribuantur omnes numeri ipso $A$ minores et ad $A$ primi in duas classes, et quidem in primam classem omnes numeri, qui sunt nullius ex numeris $a$ , $b$ , $c$ , $d$ etc. non-residua, aut duorum, aut quatuor aut generaliter multitudinis paris; in secundam vero ii, qui sunt non-residua unius ex numeris $a$ , $b$ , $c$ etc. aut trium etc. aut generaliter multitudinis imparis. Designentur priores per $r$ , $r'\!$ , $r''\!$ etc., posteriores per $n$ , $n'\!$ , $n''\!$ etc. Tum formae $Ak+r$ , $Ak+r'\!$ , $Ak+r''\!$ etc. erunt formae divisorum ipsius $xx-A$ , formae vero $Ak+n$ , $Ak+n'\!$ etc. erunt formae non-divisorum ipsius $xx-A$ (i. e. numerus quicunque primus, praeter $2$ , erit divisor aut non-divisor ipsius $xx-A$ , prout in aliqua formarum priorum aut posteriorum continetur). Si enim $p$ est numerus primus positivus atque alicuius ex numeris $a$ , $b$ , $c$ etc. residuum vel non-residuum, hic ipse numerus ipsius $p$ residuum vel non-residuum erit (theor. fund.). Quare si inter numeros $a$ , $b$ , $c$ etc. sunt $m$ , quorum non-residuum est $p$ , totidem erunt non-residua ipsius $p$ , adeoque si $p$ in aliqua formarum priorum continetur, erit $m$ par et $ARp$ , si vero in aliqua posteriorum, erit $m$ impar atque $ANp$ .

Ex. Sit $A$ = +105 = −3×+5×−7. Tum numeri $r$ , $r'\!$ , $r''\!$ etc. erunt hi: 1, 4, 16, 46, 64, 79 (qui sunt non-residua nullius numerorum 3, 5, 7); 2, 8, 23, 32, 53, 92 (qui sunt non-residua numerorum 3, 5); 26, 41, 59, 89, 101, 104 (qui sunt non-residua numerorum 3, 7); 13, 52, 73, 82, 97, 103 (qui sunt non-residua numerorum 5, 7). — Numeri autem $n$ , $n'\!$ , $n''\!$ etc. erunt hi: 11, 29, 44, 71, 74, 86; 22, 37, 43, 58, 67, 88; 19, 31, 34, 61, 76, 94; 17, 38, 47, 62, 68, 83. Seni primi sunt non-residua ipsius 3, seni posteriores non-residua ipsius 5, tum sequuntur non-residua ipsius 7, tandem ii qui sunt non-residua omnium trium simul.

Facile ex combinationum theoria atque artt. [[/InterNexii#art._32|32]], [[/InterNexii#art._96|96]] deducitur, numerorum $r$ , $r'\!$ , $r''\!$ etc. multitudinem fore $\textstyle =t(1+{\frac {l.l-1}{1.2}}+{\frac {l.l-1.l-2.l-3}{1.2.3.4}}+\ldots )$ numerorum $n$ , $n'\!$ , $n''\!$ etc. multitudinem $\textstyle =t(l+{\frac {l.l-1.l-2}{1.2.3}}+{\frac {l.l-1.\ldots l-4}{1.2.\ldots 5}}+\ldots )$ ubi $l$ designat multitudinem numerorum $a$ , $b$ , $c$ etc.; $t=2^{-l}(a-1)(b-1)(c-1)$ etc. et utraque series continuanda donec abrumpatur. (Dabuntur scilicet $t$ numeri qui sunt residua omnium $a$ , $b$ , $c$ etc., ${\tfrac {t.l.l-1}{1.2}}$ qui sunt non-residua duorum, etc. sed demonstrationem hanc fusius explicare brevitas non permittit). Utriusque autem seriei summa^[20] est $=2^{l-1}$ . Scilicet prior prodit ex hac $1+(l-1)+{\tfrac {l-1.l-2}{1.2}}+\ldots$ iungendo terminum secundum et tertium, quartum et quintum etc., posterior vero ex eadem iungendo terminum primum atque secundum, tertium et quartum etc. Dabuntur itaque tot formae divisorum ipsius $xx-A$ , quot dantur formae non-divisorum, scilicet ${\scriptstyle {\frac {1}{2}}}(a-1)(b-l)(c-1)$ etc.

149.

Casum secundum et tertium hic simul contemplari possumus. Poterit scilicet $A$ semper hic poni $=(-1)Q$ , aut $=(+2)Q$ , aut $=(-2)Q$ , designante $Q$ numerum formae $+(4n+1)$ , aut $-(4n-1)$ , quales in [[/InterNexii#art._148|art. praec.]] consideravimus. Sit generaliter $A=\alpha Q$ , ita ut sit $\alpha$ aut $=-1$ , aut $=\pm 2$ . Tum erit $A$ residuum omnium numerorum, quorum residuum est aut uterque $\alpha$ et $Q$ , aut neuter; non-residuum autem omnium, quorum non-residuum alteruter tantum numerorum $\alpha$ , $Q$ . Hinc formae divisorum ac non-divisorum ipsius $xx-A$ facile derivantur. Si $a=-1$ , distribuantur omnes numeri ipso $4A$ minores ad ipsumque primi in duas classes, in priorem ii, qui sunt in aliqua forma divisorum ipsius $xx-Q$ simulque in forma $4n+1$ , iique, qui sunt in aliqua forma non-divisorum ipsius $xx-Q$ simulque in forma $4n+3$ ; in posteriorem reliqui. Sint priores $r$ , $r'\!$ , $r''\!$ etc., posteriores $n$ , $n'\!$ , $n''\!$ etc., eritque $A$ residuum omnium numerorum primorum in aliqua formarum $4Ak+r$ , $4Ak+r'\!$ , $4Ak+r''\!$ etc. contentorum, non-residuum autem omnium primorum in aliqua formarum $4Ak+n$ , $4Ak+n'\!$ etc. contentorum. — Si $\alpha =\pm 2$ , distribuantur omnes numeri ipso $8Q$ minores ad ipsumque primi in duas classes, in primam ii, qui continentur in aliqua forma divisorum ipsius $xx-Q$ simulque in aliqua formarum $8n+1$ , $8n+7$ pro signo superiori, vel formarum $8n+1$ , $8n+3$ pro inferiori, iique qui contenti sunt in aliqua forma non-divisorum ipsius $xx-Q$ simulque in aliqua harum $8n+3$ , $8n+5$ pro signo superiori, vel harum $8n+5$ , $8n+7$ pro inferiori, — in secundam reliqui. Tum designatis numeris classis prioris per $r$ , $r'\!$ , $r''\!$ etc. , numerisque classis posterioris per $n$ , $n'\!$ , $n''\!$ etc., $\pm 2Q$ erit residuum omnium numerorum primorum in aliqua formarum $8Qk+r$ , $8Qk+r'\!$ , $8Qk+r''\!$ etc. contentorum, omnium autem primorum in aliqua formarum $8Qk+n$ , $8Qk+n'\!$ , $8Qk+n''\!$ etc. non-residuum. Ceterum facile demonstrari potest, etiam hic totidem formas divisorum ipsius $xx-A$ datum iri ac non-divisorum.

Ex. Hoc modo invenitur +10 esse residuum omnium numerorum primorum in aliqua formarum 40k+1, 3, 9, 13, 27, 31, 37, 39 contentorum, non-residuum vero omnium primorum, qui sub aliqua formarum 40k+7, 11, 17, 19, 21, 23, 29, 33 continentur.

150.

Formae hae plures habent proprietates satis memorabiles, quarum tamen unam tantummodo apponimus. Si $B$ est numerus compositus ad $A$ primus, inter cuius factores primos occurrunt $2m$ , qui in aliqua forma non-divisorum ipsius $xx-A$ continentur, $B$ in aliqua forma divisorum ipsius $xx-A$ contentus erit; si vero multitudo factorum primorum ipsius $B$ in aliqua forma non-divisorum ipsius $xx-A$ contentorum impar est, $B$ quoque in forma non-divisorum contentus erit. Demonstrationem quae non est difficilis, omittimus. Hinc vero sequitur, non modo quemvis numerum primum sed etiam quemvis compositum imparem ad $A$ primum, qui in aliqua forma non-divisorum contineatur, non-divisorem fore; necessario enim aliquis factor primus talis numeri debet esse non-divisor.

De aliorum laboribus circa has investigationes.

151.

Theorema fundamentale, quod sane inter elegantissima in hoc genere est referendum, in eadem forma simplici, in qua supra propositum est, a nemine hucusque fuit prolatum. Quod eo magis est mirandum, quum aliae quaedam propositiones illi superstruendae, ex quibus ad illud facile reveniri potuisset, ill. Eulero iam innotuerint. Formas certas dari, in quibus omnes divisores primi numerorum formae $xx-A$ contineantur, aliasque, in quibus omnes non-divisores primi numerorum eiusdem formae sint comprehensi, ita ut hae illas excludant, noverat methodumque illas formas inveniendi eruerat: sed omnes ipsius conatus ad demonstrationem perveniendi semper irriti fuerunt, veritatique illi per inductionem inventae maiorem tantummodo verisimilitudinem conciliaverunt. In aliqua quidem tractatione, Novae demonstrationes circa divisores numerorum formae xx+nyy, quae in Acad. Petrop. recitata est 1775 Nov. 20, et post mortem viri summi in T. I. Nov. Act. huius Ac. p. 47 sqq. est conservata, voti se compotem credidisse videtur: sed hic error irrepsit, scilicet p. 65 tacite supposuit, formas tales divisorum et non-divisorum exstare^[21], unde non difficile erat quales esse debeant, derivare: methodus autem qua usus est ad comprobationem illius suppositionis haud idonea videtur. In alio schediasmate, De criteriis aequationis fxx+gyy=hzz utrumque resolutionem admittat necne, Opusc. Anal. T. I. (ubi $f$ , $g$ , $h$ sunt dati, $x$ , $y$ , $z$ indeterminati) per inductionem invenit, si aequatio pro aliquo valore ipsius $h=s$ solubilis sit, eandem pro quovis alio valore ipsi $s$ secundum mod. $4fg$ congruo, siquidem sit numerus primus, solubilem fore, ex qua propositione suppositio, de qua diximus, haud difficile demonstrari potest. Sed etiam huius theorematis demonstratio omnes ipsius labores elusit^[22], quod non est mirandum, quia nostro iudicio a theoremate fundamentali erat proficiscendum. Ceterum veritas huius propositionis ex iis, quae in Sect. sequenti docebimus, sponte demanabit.

Post Eulerum, clar. Le Gendre eidem argumento operam navavit, in egregia tract. Recherches d'analyse indéterminée, Hist. de l'Ac. des Sc. 1785 p. 465 sqq., ubi pervenit ad theorema, quod si rem ipsam spectas, cum th. fund. idem est, scilicet designantibus $p$ , $q$ duos numeros primos positives, fore residua absolute minima potestatum $\textstyle p^{\scriptstyle {\frac {q-1}{2}}}$ , $\textstyle q^{\scriptstyle {\frac {p-1}{2}}}$ sec. mod. $q$ , $p$ resp. aut ambo $+1$ , aut ambo $-1$ , quando aut $p$ aut $q$ sit formae $4n+1$ ; quando vero tum p tum q sit formae $4n+3$ , alterum res. min. fore $+1$ , alterum $-1$ , p. 516, ex quo sec. [[/InterNexii#art._106|art. 106]] derivatur, relationem (in signif. [[/InterNexii#art._146|art. 146]] acceptam) ipsius $p$ ad $q$ ipsiusque $q$ ad $p$ eandem esse, quando aut $p$ aut $q$ sit formae $4n+1$ , oppositam, quando tum $p$ tum $q$ sit formae $4n+3$ . Propos. haec inter propp. [[/InterNexii#art._131|art. 131]] est contenta, sequitur etiam ex 1, 3, 9, [[/InterNexii#art._133|art. 133]]; vicissim autem theor. fund. ex ipsa derivari potest. Clar. Le Gendre etiam demonstrationem tentavit, de qua, quum perquam ingeniosa sit, in Sect. seq. fusius loquemur. Sed quoniam in ea plura sine demonstratione supposuit (uti ipse fatetur p. 520: Nous avons supposé seulement etc.), quae partim a nemine hucusque sunt demonstrata, partim nostro quidem iudicio sine theor. fund. ipso demonstrari nequeunt: via quam ingressus est, ad scopum deducere non posse videtur, nostraque demonstratio pro prima erit habenda. — Ceterum infra duas alias demonstrationes eiusdem gravissimi theorematis trademus, a praec. et inter se toto coelo diversas.

De congruentiis secundi gradus non puris.

152.

Hactenus congruentiam puram $\textstyle xx\equiv A{\pmod {m}}$ tractavimus, ipsiusque resolubilitatem dignoscere docuimus. Radicum ipsarum investigatio per [[/InterNexii#art._105|art. 105]] ad eum casum est reducta, ubi $m$ est aut primus aut primi potestas, posterior vero per [[/InterNexii#art._101|art. 101]] ad eum, ubi $m$ est primus. Pro hoc autem casu ea, quae in [[/InterNexii#art._61|art. 61]] sqq. tradidimus, una cum iis, quae in Sectt. V et VIII docebimus, omnia fere complectuntur, quae per methodos directas erui possunt. Sed hae ubi sunt applicables plerumque infinities prolixiores sunt quam indirectae quas in Sect. VI docebimus, adeoque non tam propter utilitatem suam in praxi quam propter pulcritudinem memorabiles. — Congruentiae secundi gradus non purae ad puras facile reduci possunt. Proposita congruentia $axx+bx+c\equiv 0$ secundum mod. $m$ solvenda, huic aequivalebit congruentia $\textstyle 4aaxx+4abx+4ac\equiv 0{\pmod {4am}}$ i. e. quivis numerus alteri satisfaciens etiam alteri satisfaciet. Haec vero ita exhiberi potest $\textstyle (2ax+b)^{2}\equiv bb-4ac{\pmod {4am}}$ unde omnes valores ipsius $2ax+b$ minores quam $4am$ , si qui dantur, inveniri possunt. Quibus per $r$ , $r'\!$ , $r''\!$ etc. designatis, omnes solutiones congr. prop. deducentur ex solutionibus congruentiarum $2ax\equiv r-b$ , $2ax\equiv r'-b$ etc. $\textstyle {\pmod {4am}}$ quas in Sect. II invenire docuimus. Ceterum observamus, solutionem plerumque per varia artificia contrahi posse, ex. gr. loco congr. prop. aliam inveniri posse $a'xx+2b'x+c\equiv 0$ illi aequipollentem, et in qua $a'\!$ ipsum $m$ metiatur; haec vero, de quibus Sect. ultima conferri potest, hic explicare brevitas non permittit.

↑ In comment. anteriore vir summus ad scopum nondum pervenerat. Comm. Petr. T. VI p. 106. — In controversia famosa inter Maupertuis et König, a principio actionis minimae orta, sed mox ad res heterogeneas egressa, König in manibus se habere dixit autographum Leibnitianum, in quo demonstratio huius theorematis cum Euleriana prorsus conspirans contineatur. Appel au public, p. 106. Licet vero fidem huic testimonio denegare nolimus, certe Leibnitius inventum suum numquam publicavit. Conf. Hist.de l'Ac. de Prusse, A. 1750 p. 530.
↑ In eo autem differunt, quod in logarithmis systematum numerus est infinitus, hic vero tantus, quantus numerus radicum primitivarum. Manifeste enim bases congruae idem systema generant.
↑ Quisquis sponte perspiciet, non opus esse has potestates ipsas novisse, quum cuiusvis residuum minimum facile ex residuo minimo potestatis praecedentis obtineri possit.
↑ Quomodo hoc fieri possit, ex [[/InterNexii#art._18|art. 18]] haud difficulter derivatur. Resolvatur $y$ in factores tales, qui sint aut numeri primi diversi aut numerorum primorum diversorum potestates. Horum quisque alterutrum numerorum $t$ , $u$ metietur (sive etiam utrumque). Adscribantur singuli aut numero $t$ aut numero $u$ , prout illum aut hunc metiuntur: quando aliquis utrumque metitur, arbitrarium est, cui adscribatur: productum ex iis qui ipsi $t$ adscripti sunt, sit $=m$ , productum e reliquis $=n$ , facileque perspicietur $m$ ipsum $t$ , $n$ ipsum $u$ metiri, atque esse $mn=y$ .
↑ Determinentur scilicet numeri ${\mathfrak {a}},{\mathfrak {b}},{\mathfrak {c}}$ etc. ita, ut sit $\textstyle {\mathfrak {a}}\equiv 1{\pmod {a^{\alpha }}}$ et $\textstyle \equiv 0{\pmod {b^{\beta }c^{\gamma }\mathrm {etc.} }}$ ; $\textstyle {\mathfrak {b}}\equiv 1{\pmod {b^{\beta }}}$ et $\textstyle \equiv 0{\pmod {a^{\alpha }c^{\gamma }\mathrm {etc.} }}$ etc. (vid. [[/InterNexii#art._32|art. 32]]), unde fiet $\textstyle {\mathfrak {a}}+{\mathfrak {b}}+{\mathfrak {c}}+\mathrm {etc.} \equiv 1{\pmod {p-1}}$ , ([[/InterNexii#art._19|art. 19]]). Iam si radix primitiva quaecunque, $r$ , per productum $ABC$ etc. exhiberi debet, accipiatur $A\equiv r^{\mathfrak {a}}\!$ , $B\equiv r^{\mathfrak {b}}\!$ ; $C=r^{\mathfrak {c}}\!$ etc., atque pertinebunt $A$ ad exponentem $a^{\alpha }\!$ , $B$ ad exponentem $b^{\beta }\!$ etc.; productum ex omnibus $A$ , $B$ , $C$ etc. erit $\textstyle \equiv r{\pmod {p}}$ ; denique facile perspicitur $A$ , $B$ , $C$ etc. alio modo determinari non posse.
↑ Proprie quidem hic casu secundo alio sensu utimur, quam hucusque fecimus. Dicere scilicet oporteret, $r$ esse residuum quadrati $aa$ secundum modulum $m$ quando $\textstyle r\equiv aa{\pmod {m}}$ ; at brevitatis gratia in hac sectione semper $r$ ipsius $m$ residuum quadraticum vocamus neque hinc ulla ambiguitas metuenda. Expressionem enim, residuum, quando idem significat quod numerus congruus, abhinc non adhibebimus, nisi forte de residuis minimis sermo sit, ubi nullum dubium esse potest.
↑ Quomodo etiam modulis compositis carere possimus, mox docebimus.
↑ Puta quoniam multitudo numerorum imparium infra $2^{n-2}\!$ est $2^{n-3}\!$ .
↑ Quando igitur de numero quocunque loquemur quatenus numeri formae $4n+1$ residuum vel non-residuum est, ipsius signum omnino negligere sive etiam signum anceps $\pm$ ipsi tribuere poterimus.
↑ Considerando scilicet $-2$ tamquam productum ex $+2$ et $-1$ . V. [[/InterNexii#art._111|art. 111]].
↑ $+1$ autem excipi oportere per se manifestum est.
↑ [[/InterNexii#art._98|Art. 98]]. Patet enim $a^{2}\!$ esse residuum ipsius $q$ per $q$ non divisibile, nam alias etiam numerus primus $p$ per $q$ foret divisibilis. Q. E. A.
↑ Si enim esset $\textstyle r\equiv -f\equiv +f{\pmod {p}}$ , fieret $2f$ per $p$ divisibilis, adeoque etiam $2a$ (propter $\textstyle ff\equiv a{\pmod {p}}$ ). Hoc autem aliter fieri nequit, quam si $p=2$ , quum per hyp. $a$ ad $p$ sit primus. Sed de hoc casu iam seorsim diximus.
↑ Erit scilicet $bb-rr=(b-r)(b+r)$ e duobus facto ribus compositus, quorum alter per $p$ divisibilis (hyp.), alter per $2$ (quia tum $b$ tum $r$ sunt impares); adeoque $bb-rr$ per $2p$ divisibilis.

↑

Sit	$l=1$	si uterque $\textstyle P,Q\equiv 3{\pmod {4}}$ , alioquin	$l=0$
	$m=1$	si uterque $P,Q$ negativus, alioquin	$m=0$

tunc relatio pendet ab $l+m$ .

↑ Si ex aliqua classe nulli factores adessent, loco producti ex his $1$ scribere oporteret.
↑ Residuum in signific. [[/InterNexii#art._4|art. 4]]. — Plerumque praestat residuum absolute minimum accipere.
↑ Huiusmodi numeros simpliciter divisores ipsius $xx-A$ dicemus, unde sponte patet quid sint non-divisores.
↑ Nempe qui sint primi ad $A$ .
↑ Neglecto factore $t$ .
↑ Nempe dari numeros $r$ , $r'\!$ , $r''\!$ etc.; $n$ , $n'\!$ , $n''\!$ etc. omnes diversos et $<4A$ tales ut omnes divisores primi ipsius $xx-A$ sub aliqua formarum $4Ak+r$ , $4Ak+r'\!$ etc. contineantur, omnesque non-divisores primi sub aliqua harum $4Ak+n$ , $4Ak+n'\!$ etc. (designante $k$ numerum indeterminatum).
↑ Uti ipse fatetur, l. c. p. 216: „Huius elegantissimi theorematis demonstratio adhuc desideratur, postquam a pluribus iamdudum frustra est investigata… Quocirca plurimum is praestitisse censendus erit, cui successerit demonstrationem huius theorematis invenire.“ — Quanto ardore vir immortalis demonstrationem huius theorematis aliorumque, quae tantummodo casus speciales theor. fundam. sunt, desideraverit, videre licet ex multis aliis locis Opuscc. Anall. Conf. Additamentum ad diss. VIII. T. I. et diss. XIII. T. II. pluresque diss. in Communt. Petrop., iam passim laudatas.

[1] In comment. anteriore vir summus ad scopum nondum pervenerat. Comm. Petr. T. VI p. 106. — In controversia famosa inter Maupertuis et König, a principio actionis minimae orta, sed mox ad res heterogeneas egressa, König in manibus se habere dixit autographum Leibnitianum, in quo demonstratio huius theorematis cum Euleriana prorsus conspirans contineatur. Appel au public, p. 106. Licet vero fidem huic testimonio denegare nolimus, certe Leibnitius inventum suum numquam publicavit. Conf. Hist.de l'Ac. de Prusse, A. 1750 p. 530.

[2] In eo autem differunt, quod in logarithmis systematum numerus est infinitus, hic vero tantus, quantus numerus radicum primitivarum. Manifeste enim bases congruae idem systema generant.

[3] Quisquis sponte perspiciet, non opus esse has potestates ipsas novisse, quum cuiusvis residuum minimum facile ex residuo minimo potestatis praecedentis obtineri possit.

[p58_2-4] Quomodo hoc fieri possit, ex [[/InterNexii#art._18|art. 18]] haud difficulter derivatur. Resolvatur $y$ in factores tales, qui sint aut numeri primi diversi aut numerorum primorum diversorum potestates. Horum quisque alterutrum numerorum $t$ , $u$ metietur (sive etiam utrumque). Adscribantur singuli aut numero $t$ aut numero $u$ , prout illum aut hunc metiuntur: quando aliquis utrumque metitur, arbitrarium est, cui adscribatur: productum ex iis qui ipsi $t$ adscripti sunt, sit $=m$ , productum e reliquis $=n$ , facileque perspicietur $m$ ipsum $t$ , $n$ ipsum $u$ metiri, atque esse $mn=y$ .

[5] Determinentur scilicet numeri ${\mathfrak {a}},{\mathfrak {b}},{\mathfrak {c}}$ etc. ita, ut sit $\textstyle {\mathfrak {a}}\equiv 1{\pmod {a^{\alpha }}}$ et $\textstyle \equiv 0{\pmod {b^{\beta }c^{\gamma }\mathrm {etc.} }}$ ; $\textstyle {\mathfrak {b}}\equiv 1{\pmod {b^{\beta }}}$ et $\textstyle \equiv 0{\pmod {a^{\alpha }c^{\gamma }\mathrm {etc.} }}$ etc. (vid. [[/InterNexii#art._32|art. 32]]), unde fiet $\textstyle {\mathfrak {a}}+{\mathfrak {b}}+{\mathfrak {c}}+\mathrm {etc.} \equiv 1{\pmod {p-1}}$ , ([[/InterNexii#art._19|art. 19]]). Iam si radix primitiva quaecunque, $r$ , per productum $ABC$ etc. exhiberi debet, accipiatur $A\equiv r^{\mathfrak {a}}\!$ , $B\equiv r^{\mathfrak {b}}\!$ ; $C=r^{\mathfrak {c}}\!$ etc., atque pertinebunt $A$ ad exponentem $a^{\alpha }\!$ , $B$ ad exponentem $b^{\beta }\!$ etc.; productum ex omnibus $A$ , $B$ , $C$ etc. erit $\textstyle \equiv r{\pmod {p}}$ ; denique facile perspicitur $A$ , $B$ , $C$ etc. alio modo determinari non posse.

[6] Proprie quidem hic casu secundo alio sensu utimur, quam hucusque fecimus. Dicere scilicet oporteret, $r$ esse residuum quadrati $aa$ secundum modulum $m$ quando $\textstyle r\equiv aa{\pmod {m}}$ ; at brevitatis gratia in hac sectione semper $r$ ipsius $m$ residuum quadraticum vocamus neque hinc ulla ambiguitas metuenda. Expressionem enim, residuum, quando idem significat quod numerus congruus, abhinc non adhibebimus, nisi forte de residuis minimis sermo sit, ubi nullum dubium esse potest.

[7] Quomodo etiam modulis compositis carere possimus, mox docebimus.

[8] Puta quoniam multitudo numerorum imparium infra $2^{n-2}\!$ est $2^{n-3}\!$ .

[9] Quando igitur de numero quocunque loquemur quatenus numeri formae $4n+1$ residuum vel non-residuum est, ipsius signum omnino negligere sive etiam signum anceps $\pm$ ipsi tribuere poterimus.

[10] Considerando scilicet $-2$ tamquam productum ex $+2$ et $-1$ . V. [[/InterNexii#art._111|art. 111]].

[11] $+1$ autem excipi oportere per se manifestum est.

[12] [[/InterNexii#art._98|Art. 98]]. Patet enim $a^{2}\!$ esse residuum ipsius $q$ per $q$ non divisibile, nam alias etiam numerus primus $p$ per $q$ foret divisibilis. Q. E. A.

[13] Si enim esset $\textstyle r\equiv -f\equiv +f{\pmod {p}}$ , fieret $2f$ per $p$ divisibilis, adeoque etiam $2a$ (propter $\textstyle ff\equiv a{\pmod {p}}$ ). Hoc autem aliter fieri nequit, quam si $p=2$ , quum per hyp. $a$ ad $p$ sit primus. Sed de hoc casu iam seorsim diximus.

[14] Erit scilicet $bb-rr=(b-r)(b+r)$ e duobus facto ribus compositus, quorum alter per $p$ divisibilis (hyp.), alter per $2$ (quia tum $b$ tum $r$ sunt impares); adeoque $bb-rr$ per $2p$ divisibilis.

[15] 

Sit $l=1$ si uterque $\textstyle P,Q\equiv 3{\pmod {4}}$ , alioquin $l=0$

$m=1$ si uterque $P,Q$ negativus, alioquin $m=0$

tunc relatio pendet ab $l+m$ .

[16] Si ex aliqua classe nulli factores adessent, loco producti ex his $1$ scribere oporteret.

[17] Residuum in signific. [[/InterNexii#art._4|art. 4]]. — Plerumque praestat residuum absolute minimum accipere.

[18] Huiusmodi numeros simpliciter divisores ipsius $xx-A$ dicemus, unde sponte patet quid sint non-divisores.

[19] Nempe qui sint primi ad $A$ .

[20] Neglecto factore $t$ .

[21] Nempe dari numeros $r$ , $r'\!$ , $r''\!$ etc.; $n$ , $n'\!$ , $n''\!$ etc. omnes diversos et $<4A$ tales ut omnes divisores primi ipsius $xx-A$ sub aliqua formarum $4Ak+r$ , $4Ak+r'\!$ etc. contineantur, omnesque non-divisores primi sub aliqua harum $4Ak+n$ , $4Ak+n'\!$ etc. (designante $k$ numerum indeterminatum).

[22] Uti ipse fatetur, l. c. p. 216: „Huius elegantissimi theorematis demonstratio adhuc desideratur, postquam a pluribus iamdudum frustra est investigata… Quocirca plurimum is praestitisse censendus erit, cui successerit demonstrationem huius theorematis invenire.“ — Quanto ardore vir immortalis demonstrationem huius theorematis aliorumque, quae tantummodo casus speciales theor. fundam. sunt, desideraverit, videre licet ex multis aliis locis Opuscc. Anall. Conf. Additamentum ad diss. VIII. T. I. et diss. XIII. T. II. pluresque diss. in Communt. Petrop., iam passim laudatas.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]