分数
分数(ぶんすう、英: fraction[注 1])[1]とは、2つの数の間の割り算の商を表す数の記法である。例えば a を b (≠ 0) で割った商 a ÷ b は分数を用いて a/b と表せる。
日常的には 9/16 のように正の整数の分数がよく使われるが、分数で表される数に制限はなく、例えば 1/√2 や π/2 のように無理数(より一般に実数)を含んだり、h/2πi のように虚数(より一般に複素数)を含んでもよい。また定数に限らず 1/r2 や x/√x2 + y2 のように変数を含んでもよい。
記法
[編集]分数は上下2つに分けて書いた数とその間の線によって表される。分数表記において、被除数にあたる数を分子(ぶんし、英: numerator)[1]、除数にあたる数を分母(ぶんぼ、英: denominator)[1]と呼ぶ。分数の表記法はいくつかあるが、一般的には下記のように横線を引き、分子 n を線の上、分母 d を線の下に書く:
あるいは文中などにおいて、以下のように斜線を引くこともある:
これは逆向きに
とも書かれる[要検証 ]。
読み
[編集]分数 n/d は日本語で「d
英語では一般に n over d ないし n divided by d と読むが[2]、分子と分母が整数の場合には n-d-th(s) のように読む(例:1/5 は one-fifth, 5/12 は five-twelfths)。分母は序数詞と同じように読み、また分子が 1 以外の場合は複数形として扱う。例外として、分母が 2 の場合には half を用い(例:1/2 は one half または a half, 3/2 は three halves)、分母が 4 の場合には quarter と fourth のいずれも用い得る(例:1/4 は one quarter または one-fourth)。分子は基数詞と同じように読む。
帯分数 k+n/d は日本語で「k と d 分の n」または「k
明治初期の教科書では「か」であったが、その後西洋風に(英語ではこの部分を and と読むように)「と」と読ませる教科書も現れた。1905年以降の教科書では、1910年から1937年までと1950年代のもので「と」と「か」が併用されていたほかは、「と」と読ませている[4]。
分類
[編集]既約分数
[編集]分子と分母が 1 以外に共通の因数を持たない分数を既約分数(きやくぶんすう、英: irreducible fraction)[1]という(例:2/3、5/6)。言い換えると「分数 n/d が既約(irreducible)である」とは分子 n と d が互いに素(最大公約数が 1)であることを意味する。
反対に、ある分数が既約でないことを可約(かやく、英: reducible)または約分可能という(例:2/4、4/6 は可約)。可約な分数を既約分数に書き換える操作を約分(やくぶん、英: reduction)あるいは簡約(かんやく)という。
分数 N/D が可約なら、その分子 N と分母 D は 1 でない最大公約数 g を持ち、
と因数分解できる。従って、以下のように分数 N/D を既約分数 n/d に書き換えられる。
整数の分数に限らず、分子分母が因数分解できるなら約分できる。例えば分子分母が不定元 x の多項式の分数(有理式)について、
のように約分できる[注 2]。
単位分数
[編集]分子が 1 で分母が正の整数の分数を単位分数(たんいぶんすう、英: unit fraction)という。例えば 1/3 は単位分数だが、5/6 は単位分数ではない。
異なる有限個の単位分数の和をエジプト式分数と呼び、数を単位分数の和に置き換えることを単位分数展開と呼ぶ。例えば 5/6 = 1/2 + 1/3 の右辺はエジプト式分数の一つである。
連分数
[編集]以下の形式の数の表示を連分数(れんぶんすう、英: continued fraction)[1]という。
連分数は分母が数と分数の和として再帰的に表された分数である。通常、分子 bi および要素 ai の範囲は正の整数に限られる。特に分子 bi がすべて 1 の連分数を正則連分数または単純連分数と呼ぶ。
連分数に含まれる要素 ai の個数が n + 1 個の連分数を特に n 階の連分数と呼ぶ。連分数の階数は有限の場合も無限の場合もあり得る。
真分数と仮分数
[編集]絶対値が 1 より小さい分数を真分数(しんぶんすう、英: proper fraction)[1]という。すなわち、分子の絶対値が分母の絶対値より小さな分数を真分数と呼ぶ(例:1/−2, 2/3, −3/−5)。 他方、真分数でない分数を仮分数(かぶんすう、英: improper fraction)[1]という(例:−2/1, 2/2, −5/−3)。仮分数は 0 でない整数部を持ち、整数と真分数の和に分解できる。具体的には n/d を仮分数とし、分子 n を分母 d の倍数と d で割った余り r の和 n = kd + r として表せば(|r| < |d|)、
となる(例:2/2 = 1 + 0/2, 5/3 = 1 + 2/3)。
帯分数
[編集]整数と真分数の和
から足し算の記号 + を省略した表記
を帯分数(たいぶんすう、英: mixed number)[1]という。
代数学における一般的な規約として、掛け算の記号を省略するため、帯分数は掛け算と混同される恐れがある。k+n/d と書いた際、掛け算 k × n/d と足し算 k + n/d のいずれとも解釈でき、掛け算と帯分数を区別できない。そのため、具体的な数量を扱う場面を除いては帯分数は用いられない。
繁分数
[編集]分子または分母が分数で表される分数を繁分数(はんぶんすう、英: compound fraction, complex fraction)という。例えば、
や
はいずれも繁分数である。
繁分数は通常の分数に書き直すことができる。0でない数 x について x/x = 1 であるため、例えば
のように書き換えられる。
演算規則
[編集]基本的な演算
[編集]- 同値
- 2つの分数 a/b と c/d が等しいことは、以下の等式を満たすことから確かめられる:
- 特に、2つの分数 (−a)/b と a/(−b) は等しく、−a/b と書き直せる:
- 乗法
- 2つの分数 a/b と c/d の掛け算は以下のようになる:
- 同様に分数 a/b と数 c の掛け算は以下のようになる:
- 逆数
- 0 でない分数 a/b の逆数[注 3]は b/a である:
- 特に 0 でない数 a の逆数は 1/a である:
- 除法
- 2つの分数 a/b と c/d の割り算は被除数 a/b と除数の逆数 d/c の掛け算に等しい:
- 同様に分数 a/b と数 c の割り算は以下のようになる:
- 加法・減法
- 2つの分数 a/b と c/d の足し算と引き算はそれぞれ以下のようになる:
- 特に分母の等しい2つの分数 a/b と c/b の足し算と引き算はそれぞれ単に分子同士の足し算と引き算で表せる:
- 分母 b と d が共通因数 r を持ち、b = rp, d = rq と書ける場合、足し算と引き算は以下のようになる:
- 同様に分数 a/b と数 c の足し算と引き算は以下のようになる:
部分分数分解
[編集]分母の有理化
[編集]性質
[編集]加比の理
[編集]2つの分数 a/b, c/d が以下の2つの不等式を満たす場合、
以下の不等式が成り立つ:
また、いずれか一つが 0 でない非負の数 p, q ≥ 0 について、以下が成り立つ:
不等式の等号が成立するのは2つの分数が等しい(a/b = c/d)場合に限る。その場合、2つの等しい分数について、それらの分子の和と分母の和からなる分数もまた等しいことが言える:
この性質は
分数 a/b は幾何学的に平面上の直交座標系の原点を通る直線の傾きと見なせ、分子と分母はその直線上の点 (x, y) = (b, a) に対応する。分数 a + c/b + d は原点から生えた2つのベクトル A→ = (b, a), B→ = (d, c) の和 (b + d, a + c) の傾き、すなわち線分 A→, B→ のなす平行四辺形の原点を共有する対角線の傾きに対応する。 1つ目の不等式 c/d − a/b ≥ 0 は分数に対応した直線の傾きの大小関係を表し、2つ目の不等式 bc − ad ≥ 0 はベクトル積 A→ × B→ の向きが正であること、すなわち A→, B→ のなす平行四辺形が A→ から見て左側(反時計回りの向き)に作図されることを表す。
2つの不等式から bd > 0 が得られる。分母 b, d, b + d の符号はいずれも一致するから、
および
より、以下の不等式が得られる:
有理数の表現
[編集]一般の有理数は整数 n と 0 でない整数 d の分数 n/d で表せる。言い換えると、整数の分子と分母を持つ分数で表される数全体が有理数である。
正の整数 m, n について、分数 n/m を考えることができる。分数 n/m は割り算 n ÷ m の商、あるいは単位分数 1/m の n 倍の数と捉えることができる。また、n : m の比を持つ2つの数量のうち、m に相当する数量の大きさを 1 とした場合、他方の n に相当する数量の大きさは n/m となる。この事実から、分数 n/m で表わされる数のことを指し、2つの数 n, m の比と表現することがある。
一般化
[編集]分数は自然数だけではなく、整数全体や実数、複素数などを用いても定義される。
抽象代数学において分数は、環に十分な逆元を追加することで新しい環を作り出す環の局所化あるいは全商環などの概念として一般に捉えることができる(分数環あるいは商の環というような言い方もある)。
可換環 R の部分集合 S は、R の単位元 1 を含み、S の任意の2つの元 s, t について、それらの積 st が再び S の元となる(つまり乗法について閉じている)場合、S は R の積閉集合という。可換環 R とその積閉集合 S に対し、R × S における二項関係 ∼ を
で定めると、これは R × S における同値関係を与える。R × S をこの同値関係で割ったものを S−1R で表し、(r, s) の属する同値類を r/s などで表す。このとき、S−1R には、もとの環 R における演算と両立する和や積といった環としての演算が、すでに上で述べた規則に従って与えられる。
可換環 R に対して、R の零因子でない元の全体は積閉集合である。積閉集合 S をそのようなものとする場合、環 S−1R は R の全商環と呼ばれる。また、積閉集合 S が R の素イデアル P の補集合として与えられている場合には、S−1R の代わりにしばしば RP と書いて R の P における局所化と呼ぶ。なお、R が整域ならば、このような同値関係は簡約できて
によって与えられ、これによって得られる全商環は可換体の構造を持つ。これを分数体あるいは商体と呼ぶ。
全商環や商体といった構造はある種の普遍性を与えており、たとえば整域の商体はもとの整域を含む最小の体を与えることなどが確かめられる。
- 有理整数環 Z の商体は有理数体 Q である。
- 体 k 上の多項式環 k[x] の商体は有理関数体 k(x) である。
- 体 k 上の形式冪級数環 k[[x]] の商体は形式ローラン級数体 k((x)) である。
積演算が非可換である場合、除法が左右で区別されるように分数も割る方向の左右で区別される。
辞書的な定義
[編集]いくつかの辞典では、分数を有理数の同義語として扱っている。例えば『精選版 日本国語大辞典』において分数は「整数aを零でない整数bで割った商を、横線を用いてa/bと表わしたもの。aを分子、bを分母と呼ぶ。有理数。」[5]、また『小学館デジタル大辞泉』においては「二つの整数a・bの比として表される数。」[6]と説明されている。
脚注
[編集]注釈
[編集]- ^ fraction は小数を指すことがある。例えば decimal fraction は整数の分子と 10 の冪の分母を持つ分数と十進法の小数のいずれも指し、fractional part は実数の小数部を表す。従って、厳密には分数と fraction は同義ではない。
- ^ f と g を多項式関数とし、分数 f/g を 有理関数と見た場合、g(x) = 0 となる点では f/g が定義されていないことに注意。例えば f(x) = (x − 1)(x − 2)2, g(x) = (x + 3)(x − 2)2 の場合、f/g(x) = x − 1/x + 3 と書くと一見、x = 2 の場合も定義されているように見えるが、g(2) = 0 のため f/g は未定義である。
- ^ 0 の逆数は存在しない(ゼロ除算を参照)。
出典
[編集]- ^ a b c d e f g h 学術用語集 1954.
- ^ a b c 中森寛二 著「数学記号の読みについて」、福原満洲雄ほか 編『続日本語と数学』共立出版〈教職数学シリーズ基礎編別巻〉、1986年、165–179頁。NDLJP:12162448。
- ^ 帯分数の読み方、1 1/3(いっかさんぶんのいち)の「いっか」の部分の漢字は何か | レファレンス協同データベース
- ^ 上垣渉、2015、「少年少女のための数学文化史(17) 帯分数の読み方における「と」と「か」について」、『数学教室』61巻8号、国土社 pp. 52-55
- ^ 精選版 日本国語大辞典「分数」[1]
- ^ 小学館デジタル大辞泉「分数」[2]
参考文献
[編集]- 文部省学術奨励審議会学術用語分科審議会『学術用語集:数学編』大日本図書、1954年。NDLJP:1374271。
- ポアンカレ, アンリ 著、吉田洋一 訳『科学と方法』(再版)岩波書店〈岩波文庫 85-87〉、1927年。NDLJP:1195367。
- 高木貞治、1904、「第五章 分數」、『新式算術講義』
- 青本和彦ほか『岩波 数学入門辞典』岩波書店、2005年、534頁。ISBN 978-4-00-080209-3。
関連項目
[編集]外部リンク
[編集]- ウィクショナリーには、分数の項目があります。
- ウィキソースには、新式算術講義/第五章の原文があります。
- Weisstein, Eric W. "Fraction". mathworld.wolfram.com (英語).
- fraction in nLab
- fraction - PlanetMath.
- Definition:Rational Number/Fraction at ProofWiki
- Stepanov, S.A. (2001), “Fraction”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4