第五章 分數
分數班の構成,分數班內の相等大小及加法減法,整數と分數班との內容の一致○通分,一般分數の相等大小及加法減法,旣約分數○分數班の總括,數の新系統,其特徵,分布の稠密なること及等分の可能○倍加及等分,最小公倍數及最大公約數○分數の比,比例式,分數の乘法,除法
(一)
分數の起源は量を計るにあり.然れども吾輩は姑らく此事實を度外に置き,此處には先づ順序の思想を根據として分數の觀念に到達せんとす.是れ一には汎く知られざる立脚點を紹介するの意に出で,又一には,負數の條に言へるが如く,數學上の觀念に具體的の內容を與ふることの,樣々になされ得べきを例證せんと欲するに由れり.
順序數の冒頭
を添へ,更に又
に先ちて,逆に究なく連亙せる負數を附加して數の範圍を擴張することを得たり.今同一の思想を敷衍して,更に此方向に一步を進めんとす.
先づ順逆兩面に亙りて究る所なき,物の引續きを考へ,此等の物の中任意に或一つを採りて,之を
と名づけ,(此物に
を配合し)之に先後せる凡ての物に順次凡ての正及負の整數を配合すべし.此等の物の各には,直に之に次げる唯一個の物あり,斯の如く相隣接せる二つの物の中間に更に一個づゝ新しき物を插入せりとし,さて此等新舊兩種の物を一括して考ふるに,是亦順逆の兩方面に亙りて究る所なき,物の引き續きにして,此等凡てにも亦其順序に從ひて凡ての正及負の整數を配合することを得.若先に
を配合せる物には此度も亦
を配合せりとし,且前後兩囘の配合を區別せん爲に,後に配合せる數を包むに括弧を以てするときは,此兩囘の配合は次の如き形貌を呈すべし.
同一の物に二樣の命名をなし,一たびは其凡てに命名し,又一たびは其一半に命名して他の一半の命名を闕けり.一半には二樣の命名ありて,一半には唯一樣の命名あり.二樣の名稱の同一の物に屬せるを表はすに次の記法を用ゐるべし.(上の圖式を看よ)
![{\displaystyle (-2)=-1,\quad (0)=0,\quad (2)=1,\quad (4)=2,\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/16e9d963aef19ab357bc734d327494ad147ae8a0)
一般に
![{\displaystyle (2k)=k.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba5caa5982d9df5ce3d288ebeb84667c5c175239)
不等の符號
,
は先後を表はすものとなして,例へば
(1)
![{\displaystyle (3)>(-4),\quad (7)>3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa2e016bf8a1896e7860b82cdf48fda0f7e0a816)
など書く,一般に
![{\displaystyle (2k+2)>(2k+1)>(2k)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a4e5aee67f4b82d970519639f31796a672efc88)
或は物の異同にのみ着目して,名稱の新舊を問はずば
(2)
![{\displaystyle k+1>(2k+1)>k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa4c7f03b0236ea112304c76e0c91f3c742b0dbb)
物の順序定まりたる上は第三章(二)の I,II によりて加法の意義を定むることを得,しかするときは例へば
![{\displaystyle {\begin{aligned}&(1)+(1)=(2)=1\\&(7)=(6)+(1)=3+(1)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c005b2823291f269577c132d54a2987084933c5)
一般に
(3)
![{\displaystyle (2k+1)=k+(1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44d903290925a9d8784ffa7dbd390762c5b01952)
こは直に
に次げる物は
と言ふに同じ.例へば前の圖式に於て直に
に次げるは
にして,又直に
に次げるは
なり.
を
の二倍と名づくれば,一般に
(4)
![{\displaystyle (k)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8688e5f1083cbe44636027bb4d84ec2e1971266)
の二倍は
![{\displaystyle k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
なり.
若し又當初隣接せる二個の物の中間に
個づゝの新しき物を插入し,前の如く二樣の命名をなし,此度の新名稱をば,特に此
を添へたる記法にて書き表はさば,次の圖式を得.先に
と書けるは此記法に從はば
となすべきものなり.
![](//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Shinshiki_sanjutsu_kogi_p142_fig.svg/673px-Shinshiki_sanjutsu_kogi_p142_fig.svg.png)
前と同樣に,一般に
(1*)
![{\displaystyle (nk)_{n}=k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf72cc3b4b4ae02dc345aa6bb691fc7aacffca13)
(2*)
![{\displaystyle k+1>(nk+m)_{n}>k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73b740d86bf6e43284c46667037afe6aa75be282)
(3*)
![{\displaystyle (nk+m)_{n}=k+(m)_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c883ea9d99fe6b9fd15b4d405176cfff01e04016)
![{\displaystyle (m=1,2,\ldots n-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62e0e8145e0ce08da282064cf11cee25d03d35de)
又
倍といふ語を前の如き意義に用ふれば,
(4*)
![{\displaystyle (k)_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac8b68d9d07a3e5cfb9d7bed20455be8fad5c053)
の
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
倍は
![{\displaystyle k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
なり.
隣接せる整數の間に
個づゝの新しき數を插入して數の範圍を擴張し,
の如き記法を以て此等の數を表して其大小の順序を明にし,又
I
![{\displaystyle (a)_{n}+(1)_{n}=(a+1)_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/868c73b2da77fbc97c4f70089fe4be955d971fbb)
II
![{\displaystyle (a)_{n}+(b+1)_{n}=(a+b)_{n}+(1)_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cf9a4258df575f787322e0daba46bb9742e5b57)
によりて其加法を定む.(第三章(二)を參照せよ)又整數
は新範圍の一員として (1*) の名稱を得たりとす.(2*),(3*),(4*) は此等の規定の中に含まれたり.
の如き記法はこと〴〵し,代ふるに
を以てすべし.
は自然數にして
は正又は負の整數(又は
)なり.斯の如き數を分數といひ,
を其分母,
を其分子といふ.分母,分子を分數の兩項となす.
を
となすは,隣接せる整數の中間に新しき數を插入することなきの謂なりとなし,整數
を分母
なる分數と呼びて用語上の便利を享ること大なり.同一の分母
に屬せる分數を總括して假に之を分數班といふ,一の分數班の範圍內に於ける大小の關係及加法減法は次の如し.
一,
![{\displaystyle a\gtrless b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d5538ddc76ee1f4bd1ca74383ae139a0ccc992e)
と共に
![{\displaystyle {\frac {a}{n}}\gtrless {\frac {b}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c4ebd5db57a3d356f858be0597dc57bb78a2dc1)
二,
![{\displaystyle a\pm b=c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9cbbcc712306215301abe980e3b386f3165301b)
と共に
![{\displaystyle {\frac {a}{n}}\pm {\frac {b}{n}}={\frac {c}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5eff8daf9c4acd3d5a576bef489ba560fca94ca4)
特に
![{\displaystyle {\frac {0}{n}}=0,\quad {\frac {nk}{n}}=k,\quad {\frac {a}{n}}+{\frac {-a}{n}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb133aeb93c32986fe6db67b34eedacfc86a39c3)
![{\displaystyle k+1>{\frac {nk+m}{n}}=k+{\frac {m}{n}}>k\quad (k>m>0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a4ccbacb04b8ae35d8404c276bbf9684dc2c736)
![{\displaystyle {\frac {1}{n}}+{\frac {1}{n}}+\cdots +{\frac {1}{n}}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2d0078469d0035a397fb5256831bdbe3da60a09)
![{\displaystyle {\frac {k}{n}}+{\frac {k}{n}}+\cdots +{\frac {k}{n}}=k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acc633025f62624edcfb24bac0552cd62c021c2d)
![{\displaystyle (1)\ (2)\ \cdots \ (n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/857e7cf0d948a1afdf219ee4c87c5f7afdb54fb5)
要するに同一の分母
に屬せる分數の大小の關係及加減の算法は,其分子のそれぞれと全く同一に歸す.分數班は其一部として凡ての整數を包括せるが故に,其範圍整數のそれよりも廣大なるの觀ありと雖,實は兩者其內容を同じくして,唯個々の數の名稱に異同あるに過ぎず.
分母
なる分數班の中にありて,
は整數の範圍內に於ける
と同樣の位置を占めたり.
を此分數班の單位或は幹分數といふ.
(二)
今
と置き,分母
に屬せる分數の中其分子が
の倍數なるもののみを保留して,其他を排斥するときは,
(A)
![{\displaystyle \ldots {\frac {-2q}{m}},{\frac {-q}{m}},0,{\frac {q}{m}},{\frac {2q}{m}},{\frac {3q}{m}},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/74ead18a07150a05c2ce453c34a9b195d8cf934a)
を得,此等の數は又順逆兩面に亙りて究りなく連續し,而も其大小の關係及加法は全く分母
に屬せる凡ての分數のそれと異ならず.先づ隣接せる二つの整數
,
の中間には (A) の數恰も
個の橫はれるを見る,
![{\displaystyle {\frac {(kn+1)q}{m}},{\frac {(kn+2)q}{m}},\ldots {\frac {(kn+n-1)q}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1b8c492b4163c728d2b4e3f94833dc6032ddecf)
是なり.又
![{\displaystyle a\gtrless b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d5538ddc76ee1f4bd1ca74383ae139a0ccc992e)
と共に
![{\displaystyle {\frac {aq}{m}}\gtrless {\frac {bq}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39016f780a8fbc7ee6255deed615da88c73df436)
![{\displaystyle a+b=c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c85465b60dd983e3d20d07b64938bbf40b9220d)
と共に
![{\displaystyle {\frac {aq}{m}}+{\frac {bq}{m}}={\frac {cq}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/113d19c246ce8cee39458550ac45a7a06a5799dc)
(A) の諸數と,分母
に屬せる分數
(B)
![{\displaystyle \ldots {\frac {-2}{n}},{\frac {-1}{n}},0,{\frac {1}{n}},{\frac {2}{n}},{\frac {3}{n}}\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/90d37cebe1f2e5f01e78be67b9925dd08458b5b8)
とは其成立の由來を外にして之を區別する所以の者全く有ることなし.是故に吾輩は (A),(B) を同一視して一般に
![{\displaystyle {\frac {bq}{nq}}={\frac {b}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09e257ef1fbec157f2f4c1bde6b57c2612740bd4)
と置き,以て分母
に屬せる分數を分母
に屬せる分數班の中に包括せしむ.分母に屬せる分數班は其一部として
の或約數を分母とせる分數を含蓄す.同一の分數は種々の分母に屬せる分數の中に包括せられ,此等の分數班の一員として種々の形式に表はさるゝことを得.
,
の公倍數の一つを
となせば,分母
に屬する分數及分母
に屬する分數は共に盡く分母
なる分數班の中に含蓄せられたり.今
![{\displaystyle m=qn=q'n'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d522391271b4d265f78b39cd775dcd1472259ea)
と置かば
![{\displaystyle {\frac {a}{n}}={\frac {aq}{m}},\quad {\frac {a'}{n'}}={\frac {a'q'}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c28ccbf6e701146b31c1af1c7b400fa522777973)
,
を分母
に屬せる分數班の一員として,其大小を比較し又之に加法減法を施こすことを得,卽ち
![{\displaystyle aq\gtreqqless a'q'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cae753532882c9540bb7fe606d0cb985aea9928)
に伴ひて
![{\displaystyle {\frac {a}{n}}\gtreqqless {\frac {a'}{n'}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b3ae4ad80396de379de3f142255719f87451c83)
![{\displaystyle {\frac {a}{n}}\pm {\frac {a'}{n'}}={\frac {aq\pm a'q'}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d26cdbba4bebfe361e648f773be25f0702ab9f1)
然れども之を以て分數の大小及加法減法の定義となさんと欲せば,斯の如くにして定められたる大小の關係及加法減法の結果が公分母
の選擇に關係なきことを確めざるべからず.
相等及大小.
,
の相等大小は
,
の相等大小に隨件す.さて
に伴ひて
(
,
は共に自然數隨て正數なることを記憶すべし)
,
によりて,
斯の如く
,
の相等大小は必ず
,
の相等大小と相伴ふにより,
,
の相等大小を判定するには,
,
を比較せば則ち足る.さて
,
に
の痕跡なきにより
,
の相等大小は
,
の公倍數
の選擇に關係なし.二つの分數を如何なる分數班に屬せるものとして其大小を比較するとも,其結果は恆に同じ.
上述の說明の中より特に次の法則を採り出すべし.
と
とは相伴ふ.
加法及減法.二つの分數
,
に同一の分母を與へて
![{\displaystyle \alpha ={\frac {a}{m}},\quad \alpha '={\frac {a'}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/654b4e0756092829d3fc24cc1c52bfd54f242695)
と置き,
![{\displaystyle \alpha +\alpha '={\frac {a+a'}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/068013a772f99ae072df74dd5008760f05671018)
によりて其和を定むるとき,此和は公分母
の選擇に關係なきを確めざるべからず.今公分母
に代ふるに
を以てし,更に
![{\displaystyle \alpha ={\frac {A}{M}},\quad \alpha '={\frac {A'}{M}},\quad \alpha +\alpha '={\frac {A+A'}{M}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffdf72ccbef1dd45bd7d128dd07b82e6dde328ee)
と置けば,先づ
![{\displaystyle {\frac {a}{m}}={\frac {A}{M}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4c3e618cc4d35c90f73efe505aef25b83ac263c)
より
![{\displaystyle aM=mA}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91ab241a8529d0c1037d5c1da3eb3bc3be498028)
![{\displaystyle {\frac {a'}{m}}={\frac {A'}{M}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4cc8238072e70026ba495339b48b3e5cd295fca)
より
![{\displaystyle a'M=mA'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f87952c4d440fab511d804927a92f773ead1c136)
を得,之を加へて
![{\displaystyle (a+a')M=m(A+A')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/073c5834541ac99c53aeee4a84b1d0c0797dfae5)
隨て
![{\displaystyle {\frac {a+a'}{m}}={\frac {A+A'}{M}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cc666525bb04372f36fefa356868e132c06a041)
なるを知る.減法の場合も亦同じ.
是によりて分數の大小及加減を含める算式は,此等の分數を之に等しき他の分數を以て置き換へたるが爲に,其成立を妨げらるゝことなきを覺るべし.分數の加法が組み合はせの法則及交換の法則に遵ふこと明白なり,又整數の加法減法に關して第三章に述べたる事實は語句の更むべきを更めて,汎く之を分數に適用することを得.此處に此等の事實を證明する方法の一例として加法の交換の法則を證せんとす.
,
が二つの分數なるとき
なるを證せんことを要す.
,
を公分母に直して
,
と置けば
![{\displaystyle \alpha +\beta ={\frac {a+b}{m}},\quad \beta +\alpha ={\frac {b+a}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83e4a4942644a194e3aa6ff4d1cc74c8939a9eea)
を得,整數
,
の加法には交換の法則を適用し得べきが故に,
隨て
.
(三)
相等しき分數を總括して之を唯一つの數となし,卽ち分數の値に着目して分數の形式の異同を度外に置き,さて凡ての分數を打して一團となし,新に數の一系統を組織するときは,此範圍內に於て,二つの異なる(値の異なる)數の中唯一つが他の一よりも大にして,且大小なる語の意義は,よく自然數の場合に於て第一章(二)にいへるが如き條件に遵へり.又二つの數は必ず一定の和を有し,減法は凡ての場合に可能にして恆に一定の結果を與へ,且加法,減法は整數の場合と同一の性質を具へたり.
斯の如くにして作り出せる數の系統は,特別の場合として凡ての整數を含蓄せり.而して此新系統が啻に形式の上のみならず,內容に於て,實際整數の系統よりも廣大なる一範圍を成せることは,次の二つの事實の明に示す所なり.
一,分數の分布は各處稠密なり.凡て整數には必ず直に之より大又は小なる他の整數あり.相隣接せる整數の中間に第三の整數あるを許さず.整數に異樣の命名をなせるに過ぎずして,其內容の擴張にはあらざる,彼分數班なるものの範圍內に於ても,亦同樣の事實成立せり.然れども凡ての分數班を合同して作り成せる吾輩の新系統の範圍に於ては則ち然らず.
如何なる分數を考ふとも直に之より大又は小なりと云ひ得べき分數存在することなし,相隣接せる二個の分數は不可有なり.相異なる二つの分數の中間に必ず第三の分數存在す.詳しく言はゞ
,
が相異なる分數にして,例へば
なるときは,
なる如き分數
は必ず存在す.此事實は直に證明せらるべし,姑らく此事成立せりとなさんに
は亦
と異なるが故に,
,
の中間に
なる分數
,又
,
の中間に
なる分數
存在し,
,
,
はいづれも
,
の中間に橫はるが故に,斯の如くにして,相異なる二つの分數の中間には限りなく多くの分數を容るを知るべし.分數の分布各處稠密なりといへるは此意なり.
,
が相異なる分數にして
ならば,
,
を同分母の分數となして
![{\displaystyle \alpha ={\frac {a}{m}},\quad \beta ={\frac {b}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14f3d0f5da7f20523426ce84e3beec8c07cf6ab9)
と置くとき
にして
,
は整數なるが故に
,
の差は少くとも
に等し.
,
の差
より大ならば,
,
の中間に橫はれる整數あり,其一つを
と名づけ,
を採らば
又若
,
の差
に等しからば
を
より大なる自然數となし
![{\displaystyle \alpha ={\frac {ah}{mh}},\quad \beta ={\frac {bh}{mh}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ee116e5b92f33f0324756f080760d64637ff613)
となすとき
と
との差は
よりも大なり.是故に如何なる場合にも
,
の中間には必ず第三の分數
の存在するを知るべし.
二,等分の可能.
を以て一の自然數を表はすとき,
なる數
個の和を
の
倍といふ,
の
倍は
と同一分數班の中に於て之を求め得べし.
が
の
倍に等しといふことを
![{\displaystyle \beta =h\alpha (=\alpha +\alpha +\cdots +\alpha )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6bace00688482f51791652e036f60a913ee4fe3)
![{\displaystyle (1)\ (2)\ldots (h)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55e10d989091f8038f9c9bd489d4ffb8ea4b2833)
と書く.今
及
が與へられたりとして,
を求めんとするに,
は必しも
と同一の分數班の中に存在せず.例へばある整數を
等分することは必しも整數の範圍內に於てなさるべくもあらず.然れども凡ての分數を包括せる數の新系統の範圍內にありては,等分は凡ての場合に可能なり.げにも今
![{\displaystyle \beta ={\frac {b}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/681030b0c61cd20375d16cb8f2eb5c4a5fe4f4a3)
と置かば
![{\displaystyle \alpha ={\frac {b}{mh}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25c1ec3c12c93038a1c9ee1fa27449ec4f5f4251)
は明に上の條件に適せり.
稠密なる分布,及等分の可能は整數に缺如せる所にして,此二條件は凡ての分數より成立せる數の新範圍が內容の上に於て,果して整數のそれよりも廣大なるを證する著明なる特徵なりといふべし.
此處に於て,尙分數の標準形式につきて一言するの機會を逸すべからず.凡て分數は之を限りなく多くの相異なる形式に表はし得べきことは旣に說きたり.
なる分數の與へられたるときは,
を如何なる(正の)整數となすとも,恆に
![{\displaystyle {\frac {a}{n}}={\frac {ad}{nd}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0bae06a116c91b93fa3d3fe6fb994e9576087b7)
なることは前節に說きたる分數相等の照準によりて明白なり.此等式を順に又逆に讀むときは,凡て分數の分母及分子に同一の自然數を乘じ,又は分母及分子を其公約數
にて除して得らるべき分數は原分數に等しきを知るべし.今
,
を其最大公約數にて除し
![{\displaystyle {\frac {a}{n}}={\frac {a_{0}}{n_{0}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/482041517c4111f0b58f2762693730f9c3006d9a)
を得たりとせば,
,
は相素なる整數なり,斯の如く分母と分子とに公約數なき分數を旣約分數と云ふ.凡て分數は之を「旣約分數に直す」ことを得.旣約分數とは特殊なる分數にあらずして,分數の特殊なる形式なり.
又逆に
なる分數が
なる旣約分數に等しきときは,
及
はそれそれ
及
の同係數の倍數なり.げにも
![{\displaystyle {\frac {a}{n}}={\frac {a_{0}}{n_{0}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/482041517c4111f0b58f2762693730f9c3006d9a)
より
![{\displaystyle an_{0}=a_{0}n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dca7e64496780852d4557557966e47c2ececb92)
を得,此等式は
の
の倍數なるべきを示せり.さて
は
と相素なるが故に第四章(五)によりて
は
の倍數ならざるを得ず,今
と置かば上の等式より
を得べきなり.
是故に旣約分數は,ある分數の有し得べき種々の形式の中最小の分母を有せるものなり.二個の旣約分數の相等しきは其分母及分子各相等しき場合に限る.
(四)
を分數,
を自然數とするとき,
なる數
個の和を
の
倍といひ,之を表すに
なる記法を以てせり.此定義は
の
より大なるべきを豫想す,今
,
によりて此定義を
が正又は負の任意の整數なる場合に擴充し,
なるとき
を
の倍數,
を
の約數と稱す.
の倍數に關する次の諸定理は容易に證明し得べき所なり.
![{\displaystyle h\alpha \pm k\alpha =(h\pm k)\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/17b675746e554be99419c41f9fe85981ca8cd45e)
![{\displaystyle h(k\alpha )=hk\cdot \alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d37130e41664e5ea6fa84ad585e5d7f87638edbe)
![{\displaystyle h(\alpha \pm \alpha ')=h\alpha \pm h\alpha '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2ed7af71ec019a4696c54763154fb4634c907e5)
なるは
又は
なるときに限る,
は
の
に等しからざる限り必ず
に伴ひ,又
は
の
ならざる上は必ず
に伴ふ.
の等分は恆に可能にして且一定の結果を與ふ.
なる條件に適すべき數
を表はすに分數の記法を襲用して
となす.
なる分數の
倍は
に等し.よりて分數の分母は必ず正の整數なるべしとの制限を撤去し,一般に
![{\displaystyle {\frac {a}{-h}}={\frac {-a}{h}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a5c1ef9e858dd07d0d6049217f322b381989d97)
となして記法の變通を許すべし.
は
の
ならざる限り必ず
に伴ふ.
は
の
ならざるときに限り意義を有し,恆に
に伴ふ.
倍加と等分とを引續き適用する場合に,其順序は最終の結果に影響することなし.卽ち
![{\displaystyle {\frac {m\alpha }{n}}=m\left({\frac {\alpha }{n}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/037fe52f383cec60dae9961527167de5ec98d3d1)
とは等分の記法の定義によりて
の
倍を
分して得らるべき數にして,
とは
を
分して得たる數の
倍なり.此二つの數の相等しきを確めんが爲に其
倍を比較すべし.
の
倍は卽ち
にして,又
の
倍卽ち
は
なり.此相等しき數を表はすに
![{\displaystyle {\frac {m}{n}}\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/95f465055292b818d829ab936043cf61309b7eaf)
なる記法を以てす.
今
,
等を以て一般に
の如き分數を表はすときは,
は
の
ならざる限り必ず
に伴ひ,又
は
の
ならざる限り必ず
に
伴ふ,又
![{\displaystyle r\alpha \pm r'\alpha =(r\pm r')\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/21c8451414d344a8ad05eb2a15dff265d87325ba)
![{\displaystyle r\alpha \pm r\alpha '=r(\alpha \pm \alpha ')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fcb0ff9a06214053e67cbe753943b7c342d7fc7)
,
が與へられたる分數にして
が
に非ざるときは,
なる條件に適すべき分數
は必ず存在す.先づ
が
なるときは
なり,又
が
にあらざるときは
,
に分母を同じくせる形式を與へて
![{\displaystyle \alpha ={\frac {a}{m}},\quad \beta ={\frac {b}{m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14f3d0f5da7f20523426ce84e3beec8c07cf6ab9)
となし
![{\displaystyle \beta ={\frac {b}{a}}\cdot \alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c5e3b70a87b5fab7e216363c9421076ca36ad91)
を得.
斯くして定め得たる分數
を旣約分數に直して
を得たりとせば
![{\displaystyle \beta ={\frac {b_{0}}{a_{0}}}\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bfcb68a4e5c7541aca9e3de5c2719a753bd34ec)
にして之を
(1)
![{\displaystyle {\begin{array}{c}\displaystyle {\frac {\alpha }{a_{0}}}={\frac {\beta }{b_{0}}}=\delta \\b_{0}\alpha =a_{0}\beta =\mu \end{array}}\qquad \mu =(a_{0}b_{0})\delta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4986130d04307aa81f1cb5f5dc993babf4706851)
なる形に書き改むることを得.
は
及
の約數にして,
及
の公約數は必ず
の約數なり.げにも今
を
,
の公約數の一となし
![{\displaystyle \alpha =a'\delta ',\quad \beta =b'\delta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3567aec31a8b9b4020e45c26bd2f751df9fd723c)
となさば,之を (1) より得らるべき
![{\displaystyle \alpha =a_{0}\delta ,\quad \beta =b_{0}\delta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/07cb3a9a3ccc508d9de7a36dca7fb9906ae75044)
と組み合はせて
![{\displaystyle b_{0}a'\delta '=b'a_{0}\delta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44fc063b6c7413bf9324a35ba9deba4e910a1f09)
を得,隨て
![{\displaystyle b_{0}a'=b'a_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e2ff856e4191d7585c1c467c58b50d6bf480706)
にして
,
は公約數なき整數なるが故に,屢〻用ゐたる論法によりて
![{\displaystyle a'=a_{0}t,\quad b'=b_{0}t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2d4e670b3e0edaa70894f0c3561fca05a933080)
なる如き整數
の存在すべきを知り
![{\displaystyle \alpha =a_{0}t\delta ',\quad \beta =b_{0}t\delta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c67747d58200845f49b73734177208608a80b1e8)
を得,隨て
![{\displaystyle \delta =t\delta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/341ac05a1f2d8b8cf625f824bfccc436c915b17a)
を知る,
は
の約數なり.
を
,
の最大公約數と云ふ.最大の語は値の大小に關係なく,單に
,
の公約數は盡く
の約數なるを示せる形容詞なりと認めて可なり.實際
に於て最大なるは
,
の公約數の絕對値なり.然れども大小の關係はこゝに樞要の意義を有せるに非ず.
又
は
及
の倍數にして,
,
の公倍數は必ず
の倍數なり.此意義に於て
を
,
の最大公倍數といふ.げにも
を
,
の公倍數の一となし
![{\displaystyle b'\alpha =a'\beta =\mu '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d18ce3c5099b5ed9ff623afd8cd5c48ae3b40eb6)
と置けば
![{\displaystyle {\frac {\alpha }{a'}}={\frac {\beta }{b'}}=\delta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73c52030710fcaf651ff070ff5420aeb6584d62c)
によりて定めらるゝ
は
,
の公約數,隨て
の約數なり.今
![{\displaystyle t\delta '=\delta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8700500f8f91d95ee82c3fac281787324dd8ab3)
となさば,(1) の
より
![{\displaystyle a'=a_{0}t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a345e2d7164356033762ddbf8d67268fab1f84f)
隨て又
![{\displaystyle b'=b_{0}t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cacea1a4ce32002265c43e384dc19915cccc009)
を得,これより
![{\displaystyle \mu '=t\mu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/de6ac62a0fc352ae832e73fc1e0444832b05baf9)
を得
は
の倍數なり.
斯の如くにして,最大公約數及最小公倍數の觀念を分數の上に擴張することを得たり.二つの整數の最大公約數が
なるとき此二つの整數を相素なりといへる稱呼は之れを分數の場合に襲用せんこと無用なり.二つの分數は限りなく多くの公約數を有す.
例へば
,
となさば
![{\displaystyle \alpha ={\frac {15}{36}},\quad \beta ={\frac {40}{36}},\quad \beta ={\frac {40}{15}}\alpha ={\frac {8}{3}}\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe34cd966041583dd6bd758aed8a83c9a0c94715)
にして
![{\displaystyle {\begin{array}{cc}\displaystyle \delta ={\frac {5}{36}},&\displaystyle \mu ={\frac {10}{3}}\\\alpha =3\delta ,\ \beta =8\delta ,&\mu =8\alpha =3\beta \end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64c7e80e165576f971e3d38b3f0c57a9c9fcc5fa)
なり.又
,
とせば
にして,凡て
を分子とせる分數は盡く
,
の公約數なり.
(五)
倍數及約數なる語によりて言ひ表はされたる,二數の關係を擴張して,比の觀念を得.
,
の最大公約數を
とし
,
と置き,符號の不定を避けんが爲に
を正となす如く
の符號を定むるものとせば斯の如くにして
,
なる二つの與へられたる數より一定の相素なる一對の整數
,
を得.さて此手續きによりて
,
より同一の整數
,
の導き出さるゝときは,
,
の比と
,
との比相等しと稱し,之を書き表すに
![{\displaystyle \alpha :\beta =\alpha ':\beta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4afa69877962d8288f0b27c02f4a34e33ad7caf)
なる記法を以てす.此意義に從て
![{\displaystyle \alpha :\beta =h:k,\quad \alpha ':\beta '=h:k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00919baaca185db97658f5df77b2dd6914acb80e)
同一の比に等しき二つの比は亦相等し.
が既約分數なるときは
と
との最大公約數は
に等しく
![{\displaystyle {\frac {h}{k}}:1=h:k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f1fe5bd5d8f71306250231b58ac9b91b4b9d44)
なり.是故に凡て二つの數の此は或定まれる相素なる一對の整數の比に等しく,又或定まれる分數と
との比に等し.
此一定の分數
を
なる比の値と稱す.相等しき比は同一の値を有し,同一の値を有する比は相等し.向後思想の紛亂の虞なきこと明なる場合には比の値といふべきを略して單に比といふことあるべし.
なる比の値
なりといふことを書き表はすに
![{\displaystyle \alpha :\beta =r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5af7bb5ca5cc11a2cdc04991abc37bb57e41ce0)
なる記法を用ゐる,此場合には前節に說きたる意義に從ひて
![{\displaystyle \alpha =r\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ea55b1abb676820748aef1c00294620e28cab17)
なり.例へば
![{\displaystyle {\frac {-3}{5}}:{\frac {9}{10}}=-2:3={\frac {-2}{3}}\qquad {\frac {-3}{5}}={\frac {-2}{3}}\left({\frac {9}{10}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a141ae72632e31fbccfd943b8eed6270d569efa6)
![{\displaystyle {\frac {-3}{7}}:-1=3:7={\frac {3}{7}}\qquad {\frac {-3}{7}}={\frac {3}{7}}(-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e0759a03ef2c71a7f829d41849ce90b5190918c)
,
を一般に二つの數,
,
を二つの整數となすときは
(1)
![{\displaystyle \alpha :\beta =a:b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03c4cea178423268fdb439f6928ab971f81ca1cb)
,(2)
![{\displaystyle \alpha :\beta ={\frac {a}{b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94493bf4708d3c3c7bb1898eda1a0ac1b15cb92f)
,(3)
![{\displaystyle {\frac {\alpha }{a}}={\frac {\beta }{b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaedb3f5f19e6c9362af90a2cc4fa17afd2a792d)
,(4)
![{\displaystyle b\alpha =a\beta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff529bd8cb7762370efdbe653d8ecdb8bdf7204a)
はいづれも同一の事實を表はせり.
二つの此の相等しきを表はせる等式を比例式といふ.
![{\displaystyle \alpha :\beta =\alpha ':\beta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4afa69877962d8288f0b27c02f4a34e33ad7caf)
なる比冽式成立するときは,
,
,
,
は比例を成せりといふ.
,
,
,
なる四つの數比例を成せるときは,其中三つの與へらるゝとき,第四の者は自ら定まる.此第四者を定むるを比例を解くといふ.
比例を成せる四つの數の中,三つの與へられるは卽ち相等しかるべき二つの比の中の一つと,他の一つの比の兩項の中一つとが與へられたるなり.是故に比例を解くとは,
の與へられたるとき
![{\displaystyle \gamma :\xi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d14c5406e0ccf5b3b0c7829e0c99e205af59be84)
又は
![{\displaystyle \xi :\gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb6e51ce7ff308b7e6c0af0c1ee7d92bb1839857)
なる比の値を與へられたる數に等しからしむべく
を定むるに外ならず.此與へられたる値を
となし
![{\displaystyle \gamma :\xi ={\frac {a}{b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc360d50dc65e32d3b03ae387c82b638ac780e53)
なるべきを要求するは,畢竟
![{\displaystyle a\xi =b\gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/de11b5bc60904092a79734b026fd05c300cc313f)
なる條件により
を定めんとするなり.是故に
なり.
の場合も亦同樣なり.
,
を與へて
の値を求むるは
![{\displaystyle \alpha :\beta =\gamma :1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52d6bb46b6223332f14f6fa2865ad2af3dffe571)
を解きて
を定むるに外ならず.
の値が整數
に等しきときは
は
の
倍なり.此場合に
の値を求むるは
より
を定むることにして,是卽ち倍加の問題の轉倒なり.是故に吾輩は除法の意義を擴張して,
,
より
![{\displaystyle \alpha :\beta =\gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1acc787bb0dfeb5547e764c72b10ad277c68d350)
なる條件に適すべき數
を定むる算法を分數の除法と名づけんとす.實,法,商の語又此場合に襲用すべし.分數除法は法が
ならざる限り,凡ての場合に可能にして常に唯一の結果を與ふ,又特別の場合に於て實及法が共に整數にして實が法の倍數なるときは,商は整數除法の商と異ならず.整數の除法はこゝに定めたる除法の特例たるに過ぎずと謂ふべし.
此意義に從ふときは整數
を整數
にて除して得たる商は卽ち分數
なり.
整數
に整數
を乘ずるは,
より
を定むるに同じく,
を
倍するは
より
を定むるに異ならず.一般に
及
を與へて
![{\displaystyle \alpha :\beta =\gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1acc787bb0dfeb5547e764c72b10ad277c68d350)
なる條件に適合すべき
を定むるは卽ち除法の轉倒にして,此算法は特別の場合として整數の乘法及一般に數の倍加を包括す.是故に此算法を仍乘法と名づけ,
,
,
の關係を表すに
![{\displaystyle \alpha =\beta \gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/306deef3b83747ab59d112c09c1a1a9b63946445)
なる記法を以てす.因子及積の語又此場合に襲用すべし.
に
を乘ずるは畢竟
![{\displaystyle \alpha :\beta =\gamma :1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52d6bb46b6223332f14f6fa2865ad2af3dffe571)
なる比例式を解きて
を定むるに歸着し,
は
,
と共に全く定まる.
分數の乘法,除法は比例式解法の特例に過ぎず,其演算は次の如くにして整數の乘法及除法に歸着せしむることを得.
先づ
![{\displaystyle \beta ={\frac {b'}{b}},\quad \gamma ={\frac {c'}{c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b4a85baa12ddd18cc8b8c089655ae0d4291457a)
と置き
を解きて
を求めん爲に,右邊の比を
となして前節の比例解法を適用すれば
![{\displaystyle \beta \gamma ={\frac {b'c'}{bc}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf029d34caaec38905c584561143ee1b2fc15df6)
を得.此結果は分數乘法の組み合はせの法則及交換の法則に遵ふを明示するものなり.
加法減法に對する分配の法則も亦此結果を用ゐて容易に證明することを得,
今更に
![{\displaystyle \gamma '={\frac {c''}{c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ddee8239727f165be294ea8a666efbb478b43f5)
と置けば
![{\displaystyle {\begin{aligned}\beta (\gamma \pm \gamma ')&={\frac {b'}{b}}{\frac {c'\pm c''}{c}}={\frac {b'(c'\pm c'')}{bc}}\\&={\frac {b'c'\pm b'c''}{bc}}={\frac {b'c'}{bc}}\pm {\frac {b'c''}{bc}}\\&=\beta \gamma \pm \beta \gamma '\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/def56d064e52a64f26ad16ee4d2d2e9a13daa98f)
こゝに
の分母を
の分母と同一となせるは,此法則の汎通を妨ぐるものにあらざるや明白なり.
乘法に於て因子の形式の異同は積に影響することなし,卽ち
,
ならば必ず
なるべし.こは比の兩項を夫々之に等しき數を以て置き換ふるも比の値變することなしといへる事實の當然の結果なり.是故に
より
を得.然れども又逆に
なるときは必ず
なりといふことを得べし,げにも
,
にして
は
に隨伴せざるを得ず.
の
なる場合は例外なるを忘るゝことなかれ.
比例式の外項の積と內項の積とは相等し,卽ち
![{\displaystyle \alpha :\beta =\gamma :\delta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7793b22db24dd0e59958cd587eb4d136f8fbead)
なるときは又
![{\displaystyle \alpha \delta =\beta \gamma }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa5a46aeae182ba6b76372a9effdd1e4d0004378)
にして,且此二つは同一の關係なり.げにも先づ
なるとき此相等しき二つの比の値を
と名づくれば
,
よりて
乘法の組み合はせの法則により
隨て
.又逆に
なるときは
の値を
と名づけ,
を得,隨て順次
,
,
を經て
に達す.是故に
![{\displaystyle {\begin{aligned}&\alpha :\beta =\gamma :\delta \\&\alpha :\gamma =\beta :\delta \\&\beta :\alpha =\delta :\gamma \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92e6afa556c75c98ad404d9252e75cf081b78c33)
は必ず相隨伴す.
比の兩項に
と異なる同一の數を乘ずるも,比の値變することなし,卽ち
げにも
,
なる二つの數は,
なる關係をなせり,而して此等式は
,
の中の一つと共に他の一つを定むるものなり,斯の如き二數
,
を互に逆なる數といふ.
,
が互に逆なる數なるときは
![{\displaystyle \beta :1=1:\beta '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71f9dbfdc4851c54b7231656bf5b2e7c391237f3)
なり.此結果を利用して
![{\displaystyle \alpha ={\frac {a'}{a}},\quad \beta ={\frac {b'}{b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b30dda57ada090f16f9df9c4ad47597817a167b)
なるとき
![{\displaystyle \alpha :\beta =\xi :1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb5d8ab4fade3151c558c319c6f240c5e19fc81f)
を解きて
を求めんとするに,先づ
の逆數
を採り之を左邊に立てる比の項に乘じて
を獲,これより直に
卽ち
![{\displaystyle \alpha :\beta ={\frac {a'b}{ab'}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3537aa8bc12fec60b84c029d7c12aee9c724476a)
を得,
を
にて除するは,
に
の逆數
を乘ずるに異ならず.分數の範圍內にありては,乘法除法,其致一なり.
,
の積は
の
に代入して此比例式を成立せしむべき數なりとの乘法の定義は一の缺陷を有す.そは
の
なる場合に於て
なる比隨て
の如き積の意義なきこと是なり.然れども
の
なるときは
より
を得べくして,乘法は一般に交換の法則に從ふが故に,
も亦
なるべしと定めて,此缺陷を補ふことを得べし.
法の
なる除法に意義なきは勿論にして,此點につきて誤解あるべからず.