第四章 整除に關する整數の性質
整除,倍數,相合式及ガウスの記法,剩餘の擴張,相合式の性質○十進法に於ける特殊なる整數の倍數の鑑識○最小公倍數及最大公約數○二つの數の最小公倍數及最大公約數,ポアンソーの幾何學的說明○一次不定方程式,一般の解答の決定,オイラーの解法○素數及合成數,合成數の素數分解,エラトステネスの篩,素數の數に限りなし○素數分解の應用
(一)
を正數とし,其倍數

を大さの順序に排列するとき,
若し
の倍數ならずば,
は必ず二個の接續せる
の倍數の中間に落つ.今

なりとせば

は
より小なる正數なり.
此觀察より直ちに次の定理を得.
一,
,
の與へられたるときは

なる條件に適すべき整數
,
は必ず,然も唯一組に限り存在す.(第二章(七)を參照すべし.)
例へば
,
となさば


個の連續せる整數
(1)

の中,
を以て整除し得べきものは唯一個に限り存在す.其故如何にといふに,先づ

より
及
を定むるとき,
若し
に等しからば,
旣に
を以て整除し得べし.
若し
に等しからずば
は
の中の一つに等しく,而して.
は
を以て整除し得べし.是故に前に揭げたる
個の數の中少くとも一個は
を以て整除し得べし.然れども前に揭げたる
個の數の中
を以て整除し得べき者一個より多くあることなし,其故如何にといふに
を以て整除し得べき數二個の差は其絕對値少くとも
を下らず,然るに (1) の諸數の中いづれの二個をとるも其差の絕對値は
より小なり.
是によりて考ふるに或整數が他の整數にて整除し得べきは極めて特別なる場合に限れり.整除といふ事が整數論に於て甚だ重要なる位置を占むること,誠に故ありと謂ふべし.
が
にて整除せらるゝときは
を
の倍數
を
の約數と云ふ.
二,
,
共に
の倍數なるときは
,
の和及差は共に
の倍數なり.
證,
は
の倍數又
は
の倍數なるが故に,
,
なる如き整數
,
は存在す.さて
にして
は亦整數なるが故に
は
の倍數なり.此定理は又
の倍數二個以上の場合にも適用せられ得べし.
三,
は
の倍數,
は
の倍數ならば,
は又
の倍數なり.
證,
,
なる如き,整數
,
存在するにより
卽ち
而して
は整數なるが故に
は
の倍數なり.
一般に
等の整數ありて各の
は其次の
の倍數なるときは,最初の
は最後の
の倍數なり.
尙汎く
は各
の倍數にして,
は隨意に定められたる整數なるときは

も亦
の倍數なり.
,
なる二個の整數の差が
の倍數なるときは,
,
は
を法として相合へり,又は
を法として
は
の剩餘,
は
の剩餘なりと云ふ.此事實を書き表はさんが爲にガウスは次の記法を用ゐたり.

とはなほ「
を法として」と云ふが如し.斯の如き式を相合式と云ふ.
,
が
を法として相合へる數なるときは
隨て

なり.但こゝに
と書けるは正又は負の整數なり.此場合に
を
の剩餘,
を
の剩餘(勿論
を法として)なりと云ふは,普通の除法に於ける剩餘といふ語の意義を擴張せるなり.實にも
を
にて除して剩餘
を得たりとせば
と
との差は
の倍數なり,卽ちこゝに謂ふ所の意義に於て
は
を法として
の剩餘なり.
が與へられたる整數なるときは

なる數は,
が如何なる整數なりとも,必ず
を法としての
の剩餘なり.
を
にて除して得べき剩餘(除法の剩餘)は卽ち
の如き數の中にて最小なる正の整數に外ならず.故に之を
を法としての
の最小の正の剩餘と云ふ.
が
を法としての
の最小の剩餘なるときは

にして

は其絕對値
よりも小なる負數なり.さて
,
の中少なくとも一方は絕對値に於て
の半を超えず,唯,
が偶數なる場合に於て
なることあり得べし.

なる二個の條件に適する數
を
を法としての
の絕對的最小剩餘と云ふ.
例へば
を
となすときは

にして
は
の最小の正剩餘,
は絕對的最小の剩餘なり.又

にして
は
の最小の正剩餘,又
も
も共に
の絕對的最小の剩餘なり.
が
の倍數なりといふ事實を

といふ相合式にて書き表はすことを得べし.
相合式は等式に類似せる性質を有し,加法減法,乘法に關しては恰も等式の如くに取扱ふことを得べし.
一,
ならば
なり.
證,
は共に
の倍數なりと云ふが故に
卽ち
も亦
の倍數なり.
同一の數を法とせる二個の相合式を邊々相加へ又は減じて,仍同一の數を法とせる一の相合式を得.乘法につきても亦然り,卽ち
二,
ならば
なり.
證,
は
の倍數なりと云ふが故に
卽ち
も亦
の倍數なり,卽ち

又
は
の倍數なりと云ふが故に

よりて(一)によりて

一及二の前提を成せる相合式の數二個より多くとも,同樣の定理は必ず成立すべし,一般に

なるときは

こゝに
は任意の整數にして
は其次に書ける如き積若干の和を表はせるものなり.此事實は一及二の直接の結論なり.
斯の如く加法,減法及乘法に關して相合式は等式と同樣の性質を有せりと雖,除法に關しては必しも然らず.例へば

より兩節を
にて除して

となすことを得ず.
(二)
十進法に於ける二三特殊の整數の倍數を鑑識する方法は汎く知られたり.
一,
及
の倍數,
を超えざる
の倍數は
,
,
,
,
にして
も亦
の倍數なり.今
を
と書くときは,凡て正の整數は

と書くことを得,
は十より小なる正の整數又は(
の外は)
なり.
は
の一位の「數字」なり.さて,
なるにより

よりて
が
,
,
,
,
の中の一つならば

卽ち
は
の倍數(偶數)にして,然らざるとき卽ち
が
,
,
,
,
の中の一つなるときは,
は
にて整除し得べからざる數(奇數)なり,此場合に於ては

又
は
の倍數なるが故に

にして十以下の數にて
の倍數なるは
又は
に限れるが故に
の一の位の數字が
又は
なる場合に限り
は
の倍數なり.
二,
及
の倍數,
は
の倍數なるが故に
は
の倍數なり.
を紀數法の基數となすときは
の一の位の係數は
にして

故に
が
の倍數なるべき完全なる條件は
卽ち十進法に於ける
の末二位の數字を其儘にとりて作れる數の
の倍數なるべきことなり.例へば

にして
は
の倍數にあらず,
よりて

を
にて除すれば最小の正剩餘として
を得べし.
を法とせる場合に於ても

なる相合式成立すべく,是によりて容易に
の倍數を鑑定することを得べし.
三,
の倍數,十進法にて表はされたる正數を
にて除して得べき最小の正剩餘は次の如くにして容易に求め得らるべし.
先づ

なることは明白なり.相合式の乘法によりて之より

を得.
今

となすとき

と置かば

より

を得.是故に
を
にて除して得らるべき最小の正剩餘は,
の凡ての位の數字の和
を
にて除して得らるべき最小の正剩餘に等し.
若し
より小ならば
は卽ち此剩餘にして
若し
に等しからば
は
の倍數なり.
若し
より大ならば更に
のすべての位の係數の和
を
作りて此の鑑定法を適用すべし.
例.十進法に於て

なる數の與へられたるときは

にして實際

なり.
は
の約數なるが故に十進法に於ては

之よりして
の倍數の鑑定法を得.
一般に
を
より大なる整數とするとき,
を基數とせる紀數法にて表されたる數の
の倍數なるや否やを鑑識するにも同樣の方法によることを得.
四,
の倍數,又は一般に
を基數とせる命數法に於ける
の倍數.
先づ

といへる明白なる相合式より一般に

を得,
とは
が偶數なるとき
,
が奇數なるとき
といふに同じ.

に於て

と置くときは

故に十進法に於ける
の倍數を鑑定するには次の法則によるべし.
先づ
の最終の位の數字より始めて隔一の位の數字の和を作り,之より其の他の位の數字の和を引きて得たる數を
と名づくれば,
を
にて除して得べき最小の正剩餘は
を
にて除して得べき最小の正剩餘に等し.
若し
ならば
は
の倍數なり,
若し絕對的に
より大ならずして
にあらずば
又は
若し負ならば
は卽ち求むる所の最小の正剩餘なり.
が絕對的に
よりも大なる場合に於ては
につきて同樣なる(
が負數なる場合には相當の變更をなして)鑑定法を反復すべし.
例へば


又

さて

よりて

實際

(三)
此章に於て向後用ふべき文字は,特に其然らざるを明言せざる限り,常に正數を表せるものなりとす.
等の數のいづれもの倍數なる數を其公倍數と云ふ.
は凡ての數の倍數と見做し得べきものなれども,姑く之を度外に置かんに,
の公倍數の必ず而も限なく存在すべきことは明白なり.現に
の積又は其倍數は皆
の公倍數なり.さて
の公倍數は
のいづれよりも小なることを得ざるにより,此等限りなく存在する公倍數の中に最小なるものなかるべからず.之を
の最小公倍數と云ふ.凡ての公倍數は最小公倍數の倍數なり.其故如何にといふに,今
の最小公倍數を
と名づけ,
を或一個の公倍數となすとき,若し
にして
の倍數ならずば,
を以て
を除し,剩餘として
より小にして
にはあらざる數
を得べし,卽ち

さて
,
共に
のいづれにても割り切るゝが故に
も亦然らざるを得ず,而もこは
が
の最小公倍數なるべしとの約束に牴觸せるにあらずや.是によりて次の定理を得.
一,
若し
のいづれにても割り切れなば
は亦
の最小公倍數にても割り切れざるを得ず.
のいづれをも割り切る數を其公約數と云ふ.
は必ず
の公約數なり.
が
を外にして公約數を有せざるときは
を公約數なき一組の數と云ふ.公約數なしとは絕て公約數なきにあらず,當然にして極端なる公約數
を外にしてはこれなしと言ふなり.公約數なき二つの數を相素なる數と云ふ.
の公約數は
のいづれよりも大なることを得ざるにより其數に限あり.是故に其中一個最大なる者なかるべからず.之を
の最大公約數と云ふ.
の最大公約數を
と名づけ

となすときは
には
を外にして公約數あることを得ず.如何にとならば若し
に
より大なる公約數あらば其一を
と名づくべし.しかするときは
は
の公約數にして且
よりも大なり,而もこれ
が
の最大公約數なるべしとの約束に反せるに非ずや.
の公約數は凡て其最大公約數
の約數なり.其故如何にといふに,今
を以て公約數の一となさんに
は各
にても亦
にても割り切るゝが故に前に證明せる定理によりて
は各
と
との最小公倍數にても亦割り切れざるを得ず.さて
にして若し
の倍數ならずば
と
との最小公倍數は
よりも大なり.
の
にて割り切るゝこと寔に已むを得ざる所也.是によりて次の定理を得.
二,
の公約數は其最大公約數の約數なり.最大公約數は凡ての公約數の最小公倍數なり.
,
なる二個の數與へられたるとき,其最小公倍數又は最大公約數を定むるは,
,
の順序に關係なき一の算法なり.卽ち此算法は交換の法則に從へり.又
,
,
なる三個の數の與へられたるとき其最小公倍數は
,
,
の順序に關係なき定まりたる數なり.
今
,
の最小公倍數を
と名づけんに,定理一によりて
,
,
の公倍數は必ず
,
の公倍數にして,又
,
の公倍數は必ず
,
,
の公倍數なり.是故に
,
,
の最小公倍數は亦
,
の最小公倍數
と
との最小公倍數に等し.同一の理由によりて
,
,
の最小公倍數は又
と
,
の最小公倍數との最小公倍數なり.最小公倍數を定むる算法は組み合せの法則に從へり.最大公約數につきても亦同じ.
是故に多くの數の最小公倍數又は最大公約數を求むるに當て,第二章(四)の方法を適用することを得,隨て此算法は畢竟二個の數の最小公倍數又は最大公約數を求むることを反復するに歸着す.
(四)
,
なる二數の最小公倍數を
と名づけ

となすときは,
,
の公倍數の一なる
といふ數は,
の倍數卽ち
は
の倍數なるが故に
は
の倍數,又同樣にして
は
の倍數にして,而も

は
,
の公約數なり.然れども
は亦
,
の最大公約數なり.げにも
,
には公約數なし,若し假に
,
なりとせば

は
,
の公倍數にして而も
より小なりとの矛盾の結論に陷るべければなり.是故に次の定理を得.
一,二つの數の積は其最大公約數と最小公倍數との積に等し.
ポアンソーはこの論法に極めて趣味ある幾何學的の解釋を與へたり.一の圓周を
個に等分し,其分點に順次
の番號を附す.さて
より始め
個每の分點
を直線にて連結し行くときは,分點の數は
個に過ぎざるが故に竟には圓周を幾度か廻りたる後,既に一たび通過せる分點に到着せざるを得ず.而も始めて再度逢着する點は必ず
なり.何とならば再度例へば
點に來り得べきためには其前必ず
點を經來らざるを得ざればなり.(圖に於ては
を
,
を
となせり.)今分點を通過すること
囘,其間圓周を廻ること
囘にして
に復歸せりとせば,

なり,
は
等の中始めて
の倍數となれるものにして卽ち
,
の最小公倍數なり.同時に又
と
とに公約數なきを知るべし.さて此手續きによりて圓內に一種の正
角形を畫き出せり,是故に
は
の倍數なることを知る,
隨て前の如くにして
,
の最大公約數は
なることを知るべし.
此幾何學的の考究より學び得べき,尙一の重要なる事實あり.上に述べたる作圖の中に於て通過せる分點の中(矢の方向に圓周を廻るものとして)
に最も近きは如何なる點ぞや.若し上の作圖に於て逢着せる分點を更に
より圓周上の分布の順序に從ひて直線にて連結し行くときは(圖にて點線にて示せる
如く)卽ち普通の正
角形を得べきが故に,此等の分點の中
に最も近き者は
卽ち
なる番號を帶べるものに外ならず.然るに此點は最初の作圖に於て,
より
個每の分點に移り行きつゝ到着することを得たる點なるが故に,

の如き關係成立するを知るべし.但此處
は
よりも小,又
は
よりも小なること勿論なり.幾何學的の假裝を剝奪するときは,此事實は整數論の重要なる定理となる.曰く,
,
の最大公約數を
とし,
,
となすときは,
は
よりも,又
は
よりも小にして,而も
なるが如き整數
,
は必ず,而も唯一對に限り,存在す.然れども又上の硏究に於て,
と
との位置を轉倒するも,
は依然として變ずることなきが故に,
,
にして而も
なるが如き整數
,
も必ず,而も唯一對に限り,存在すべきを知るべし.
此等の事實を總括して次の定理を得.
二,
,
の最大公約數を
とし
,
と置かば

なる方程式に適合すべき正又は負の整數
,
は必ず存在す.就中
が
より小なる正數にして
が絕對値に於て
より小なる負數なる者(
,
)及
が絕對値に於て
より小なる負數にして
が
より小なる正數なる者(
,
)各唯一對に限り存在す.
例へば
,
とせば
,
,
にして

の解答の中上文特筆せる二對は
,
及
,
なり.
吾輩が幾何學的に證明したる事實を直接に論證せんことも亦容易なり.今

を
にて除して得べき剩餘(最小正剩餘,以下同じ)を考へんに此等の剩餘は
の如き數なるが故に何れも
,
の公約數なる
の倍數なること明白なり.而も此等の剩餘の中相等しき者決してあることなし.何とならば今假に
,
は
の中より採りたる二個の相異なる數にして,而も
,
なりとせば,例へば
となすとき,
を得,
に
よりも小なる數
を乘じて得たる積が旣に
の倍數なりとの許すべからざる結論を生ずべければなり.吾輩の作れる
個の剩餘は皆相異にして,而も盡く
卽ち
より小なりと言ふ上は,此等の剩個餘は其全體に於て
なる數と同一ならざるを得ず,卽ち其中一つ而も唯一つが
に等しきなり.さて例へば

なりとせば
隨て
にして定理一は再び證明せられたり.
,
を轉倒するも亦同樣の結果に達し得べきこと勿論なり.或は又
を
を以て除して得べき最小正剩餘を
と名づけ,卽ち
と
なすときは

卽ち

にして,
は
より小なる正數なり.
上の定理を特に
の場合につきて繰り返すときは次の事實を得.
三,
,
が相素なる數なるときは

なる如き正又は負の整數
,
は必ず存在す.而して定理一に述べたる如き二對の特殊なる解答の此場合に於ても亦成立すべきこと勿論なり.
(五)
前節の定理一は特別の場合として次の事實を包括す.
一,
,
が相素なるときは,
,
の最小公倍數は其積
に等し.
此事實より推して更に整數論に於て最重要なる一個の定理を得.曰く
二,
,
は相素なる數にして而も
が
の倍數なるときは,
は必ず
の倍數なり.
證.
,
は相素なる數なるが故に,其最小公倍數は
なり.
は
の倍數
なるが故に,こは
,
の公倍數,隨て其最小公倍數
の倍數なり.卽ち
なる如き整數
は存在す,隨て
卽ち
は
の倍數なり.
前節に於て
,
の最大公約數を
となすとき
(1)

なる方程式は必ず正又は負の整數
,
によりて解き得らるべきことを證明
し,且
,
の大さに或る制限を設くるとき,斯の如き解答の唯一組に限り存在すべきを說けり.今定理二を用ゐて上の一次不定方程式(一次のヂオフアント方程式)の最完全なる解答を求めんとす.
方程式 (1) の解答許多あり得べき中の一つを
,
となすときは

なり.よりて一般に凡ての解答は

なる條件に適合すべきを知る.さて例によりて
となすときは
,
は相素にして

さて
は
の倍數にして而も
は
と相素なりといふが故に,二によりて
は
の倍數なり,今

と置かば

を得.(1) の解答を求めんと欲せば之を
(2)

の如き數の中より搜り出すべきなり.
然るに
を如何なる整數となすとも此の如き値はよく (1) に適合すべきが故に (2) は凡て (1) の解答なり.
今一般に
(3)

なるヂオフアント方程式を提供するに,此方程式は
が
,
の最大公約數
の倍數なるにあらずば整數の解答を有することを得ず.
が
の倍數にして,例えば
なるとき,
,
を (1) の解答とせば

は (3) の一個の解答にして,其一般の解答は
(4)

なり.
に相當の値を與へて
,
の中一方が
又は
より小なる正數なる如き唯一組の解答を得.例へば
を
より小なる正の整數となさんと欲せば,
を
にて除して最小の正剩餘を求むべし.
今

なりとせば,
を
となして得たる
の値を
となし,こゝに一組の解答
を得.但此場合に於て
を
より小なる正數となすことを得たりと雖前の如く同時に
を絕對的に
よりも小となすことを得たりと誤解すること勿れ.
二個以上の未知數を含めるヂオフアント方程式
(5)

も亦
が
の最大公約數
の倍數なるときに限り整數の解答を有す.
未知數の數三個なる場合につきて言はんに,先づ
,
の最大公約數を
と名づくれば

は整數の解答を有す.さて
と
との最大公約數は卽ち
,
,
の最大公約數
にして,
は
の倍數なりとせるが故に

は整數の解答を有す.而して

は卽ち
の解答なり.
未知數の數三個以上なるときは唯同樣の手續きを幾囘も反復すべきのみ.
特に
に公約數なきときは
(5')

なるが如き正又は負の整數は必ず存在す.
(5) 又は (5') の如きヂオフアント方程式の一般の解答はオイレルの方法によりて求め得べし.今特別なる例題につきて此方法を說明せんとす.
(a)

の解答を求めんとするに,先づ最小の係數
を以て其他の係數を除し

を得.よりて
(b)

と置き (a) を次の形となす,
(a')

(a) の解答を求めんと欲せば,先づ (a') の解答
,
,
を求め,さて (b) によりて
を定むれば可なり.
(a') を解かんが爲に
を以て其他の係數を除し,

を得.よりて
(c)

と置き,(a') を更に變形して
(a'')

を得.
を以て
を除し
を得,
(d)

と置き (a'') を改めて
(a''')

と書く.
最一般なる場合に於ても,與へられたる方程式の左邊を順次變形して遂に (a''') の如く只一個の未知數のみを含める形となすことを得ること明白なり.何とならば,(a),(a'),(a'')…等の左邊は其生成上漸次小なる整の係數を得べく,又上に述べたる變形の方法は (a),(a')…等が少なくとも二個の未知數を含める間は必ず繼續することを得べけれはなり.
最後に得たる唯一個の未知數の係數は卽ち與へられたる方程式の左邊の係數の最大公約數なること,容易に悟り得べき所なり.上の例につきて
,
,
の最大公約數
に達する演算を再び記さば次の如し.

さて (a''') は
なる解答を有す,よりて (d) より

隨て (c) より

卽ち

を得,更に (b) より

卽ち

を得.此等の結果を集めて

を得.
,
を如何なる整數となすとも此式より生じ來るべき
,
,
は必ず (a) の解答にして,又 (a) の解答は盡く此式に網羅せらるゝこと明白なり.
例へば
,
となすときは

又
,
となすときは

にして,果して


なり.
(六)
如何なる整數にても割り切るゝ數は
に限り,唯一個の約數のみを有する整數は
に止まれり.
此二個の特異なる數は姑らく之を度外に置くとき,凡て整數は少なくとも二個の約數を有す,其數自身及
卽ち是なり.凡ての數の當然有すべき此二個の約數を假の約數と云ひ,此他の約數を眞の約數と云ふ.
若し
の約數なるときは
なるべき整數
は必ず存在し,
も亦
の約數なり,
,
は
の約數として相塡補す.
と
とは
の塡補約數なり.凡て整數は必ず少くとも一對の塡補約數を有せり.
塡補約數僅に一對を有するに止まる數,卽ち眞の約數を有せざる數を素數と云ひ,然らざるを合成數と云ふ.
,
は素數にして
は合成數なり.
一,整數
と素數
とあるとき,
若し
の倍數ならずば
と
とは相素なり.
其故如何にといふに
,
の公約數は必ず
の約數の中につきて之を索めざるを得ずして,
の約數は
及
に限ぎれるが故に,
が
の最大公約數は
ならずば
ならざるを得ざるなり.
若し素數
の倍數ならずば,
の
の倍數なるは
が
の倍數なるときに限れり.一般に
二,
の積素數
の倍數なるときは,因子の中少なくとも一は
の倍數ならざるを得ず.
素數ならざる數を合成數と名づけたる所以は其必ず素數因子の積として表はされ得べきによるなり.今之に關する事實を闡明せんが爲に先次の簡短なる定理を證明せんとす.
合成數
は少くとも一個の素數を眞の約數となす.
の眞の約數は皆
より小なるが故に其數に限あり,是故に其中最小なる者必ずあり.
の眞の約數の中最小なるものを
と名づく,今
の素數なるべきを論じ,以て當面の定理を證せんとす.
若し素數ならずば
は(
にも又
にもあらざるにより)合成數にして少くとも一個の眞の約數を有す.
の眞の約數の一を
と名づくれば,
は
より小にして而も又
の眞の約數なり.卽ち
は
よりも小なる眞の約數を有せざるを得ず.而も是
に關する約束に牴觸する事實ならずや.
吾輩は更に進みて
三,凡て合成數は必ず素數因子の積として表はし得べきことを證せんとす.
の素數因子の一を
と名づけ
と置く.
若し素數ならは吾輩の定理旣に成立せり.
若し合成數ならば
の素數因子の一を
と名づけ
と置くときは
を得.次第に斯の如く考へ行くに
は順次減少するが故に,斯の如き手續きは限なく繼續せらるゝことを得ず.而も其究極する所は卽ち吾輩の定理の成立する時にして畢竟

を得.此處
と稱するは何れも素數なれども,其記號異なるが爲に此等の素數も亦盡く異なりと速斷すべからざること論を俟たず.若し
等の中より相等しきものを盡く集めて冪となすときは

の如き形を得,此處にては,
は相異なる素數を表はせり.
吾輩は凡て合成數の必ず素數冪に分解せられ得べきことを證明せり.然れども
の與へられたるとき此の如き分解は唯一通りに限らるべきや否やは未知の問題なり.今や進で此重大なる問題を解決せんとす.
四,凡て合成數の素數因子分解は唯一なり.
假に
を素數因子に分解して二樣の結果を得たりとし,

と置かんに,先
卽ち
は素數
にて割り切るゝにより
の中少くとも一は
にて割り切れざるを得ず(定理二)
例へば
は
の倍數なりとせんに
も亦素數なるが故に
は
に等しからざるを得ず.是故に上の式より

を得.之に同樣の論法を適用して例へば
を得,次第に斯の如くにして
結局上の定理の證明を完くすべし.
凡て合成數が素數の積として表はされ得べきのみならず,此分解が唯一樣に限れりといふは,整數論に於ける最重要なる事實にして,又此事實の證明が(五)の定理二を根據とせることは深長なる意義を包藏す.
整數の中より素數を撰み出す方法は既に古希臘の數學者の知れる所にして,所謂エラトステネスの篩是なり.

整數を自然の順序に書き列べ先づ
を去るとき,最初に殘れる數
は素數なり.何とならば
に眞の約數あらば,そは
より小なる整數にして,
より小なる整數は
を外にして之なければなり.さて
より二つ目每の數
に符標を附すべし.
の次に符標を帶ばざる數は
にして,
は素數なり,何とならば
に眞の約數あらば,そは
ならざるを得ず,然れども
に符標なきは其
の倍數に非ざるを示せばなり.さて
より三つ目每の數に符標を附し,殘れる最初の數
の素數なるを知り,
より五つ目每の數に符標を附し,斯の如く進みて遂に
なる素數に達したりとせよ.さて此時
以下の數にして未だ符標を帶ばざるものは盡く素數なり.例へば
を符標なき數の一となさんに,
にして若し合成數ならんには,其塡補眞約數の一對を
,
となすときは,
は
より小なるが故に
,
の中少とも一方は
より小なり,隨て
は
より小なる素數(
,
又は其約數)にて割り切れざるを得ず,而も
に符標なきは其然らざるを示すに非ずや.
素數の數に限なきことも亦古希臘人の知れる所にしてユークリツドの證明は甚だ有名なり.
假に素數の數に限ありとせよ,凡ての素數の連乘積に
を加へ

なる數を作りて考ふるに,此數若し素數ならば,是
以外仍ほ素數あるなり.又若し此數合成數なりとするも其素數因子は
の中にはなし,何となれば上に揭げたる數を
の何れにて割るも剩餘
を得べければなり.素數の數に限ありとの主張は保持すべからず.
(七)
整數
を素數羃に分解して

なる結果を得たりとするときは,
の約數は凡て

の如き形をなし,
は
より
まで,
は
より
まで,又
は
より
までの中の整數なり.此故に
の約數の表を作らんとせば,
の式に於て
に順次此等の整數の値をあらゆる組み合せに於て配與すれば則ち可なり.
今二個以上の數
につきて說かんが爲に,此等の數の中少くとも何れか一つに因子として關係せる素數を盡く採り,之を
と名づけ

と置く.但し
,
等は一般に正の整數なれども其中
なるものも亦あり得べしとなさゞるを得ず,或數の分解を示せる式の中、或素數の指數の
なるは,卽ち其素數が實は此數の約數に非ざることを示せり.又
を
の公約數とし

と置かば,
は
の何れよりも大ならず,
は
の何れよりも大ならず.是故に
の最大公約數
を得んと欲せば

に於て
をば
の何れよりも大ならざる範圍內に於て成るべく大に,卽ち
を
の中最小の數に等しくなし,又
を
の中最小の數に,
を
の中最小の數に等しくせば可なり.
又
の公倍數

にありては
は
の何れよりも,又
は
の何れよりも小ならず.故に
の最小公倍數

を得んと欲せば,
を
の中最大なる者に,又
を
の中最大なる者に…等しからしむるを要す.
例一,
の凡ての約數を作らんと欲せば

に於て
を
,
,
,
を
,
,
を
,
の中より,あらゆる組み合はせに撰み出さゞるべからず,其結果は次の如し.

例二,

,

の最大公約數及最小公倍數を求めて次の結果を得.
