分数
分数(ぶんすう、英: fraction)とは 2 つの数の比を用いた数の表現方法のひとつである。
Contents
分数の様式
分数は中央の括線(かっせん、英: vinculum)と呼ばれる棒線を隔てて、上に分子(ぶんし、英: numerator)、下に分母(ぶんぼ、英: denominator)を配置することにより記述される。たとえば、
- [math] {n \over d},\quad n/d,\quad d{\backslash}n[/math]
などと書けば、この場合の分子は n、分母は d であり、「d 分(ぶん)の n」 (n over d, n d -ths) などと読まれる。
- [math] {\, {a/b} \, \over {c/d}}[/math]
のように分子・分母がさらに分数を含むような分数を繁分数(はんぶんすう、英: compound fraction)という。
- [math]x = a_0 + \cfrac{b_1}{a_1 + \cfrac{b_2}{a_2 + \cfrac{b_3}{a_3 + \cdots }}} [/math]
のように分母が数と分数の和でありさらにその分母が数と分数であるといった形のものを連分数(れんぶんすう、英: continued fraction)という。
… の部分は有限個にとどまる場合もあるし、無限に分数が繰り返されるものもある。
有理数の表現
最も基本的な分数の概念は、自然数あるいは整数から構成されるものである。正の整数 m に対し 1m のように分子が 1 である分数を単位分数(たんいぶんすう、英: unit fraction)という。これは 1 を m 等分した数量、言い換えれば m 倍したものが 1 となる数を表す。
正の整数 m, n について、分数 nm を考えることができる。分数 nm は割り算 n ÷ m の商、あるいは単位分数 1m の n 倍の数と捉えることができる。また、n : m の比を持つ2つの数量のうち、m に相当する数量の大きさを 1 とした場合、他方の n に相当する数量の大きさは nm となる。この事実から、分数 nm で表わされる数のことを指し、2つの数 n, m の比と表現することがある。
分数 nm と単位分数 1m はどちらも同じ算術の規則に従い、現在ではどちらかを特別視することはない。しかし歴史的には、古代エジプトにおいて単位分数は基本的な量と考えられており、エジプトの数学者はさまざまな分数を異なる単位分数の和として表していた。その計算の一部はリンド数学パピルスなどに残されている。この事実に因み、単位分数の和をエジプト式分数と呼ぶことがある。
{{safesubst:#invoke:Anchor|main}}真分数と仮分数
正の分数の中でも、分子が分母より小さい分数を真分数(しんぶんすう、英: proper fraction)という。真分数は 1 より小さいという性質を持つ。このことは nm を真分数であるとして、1 および nm の m 倍の数について大小を比較することで確認できる。 真分数でない分数を仮分数(かぶんすう、英: improper fraction)という。真分数は整数ではないが、仮分数は整数でないとは限らない。例えば 21, 63, 5117 などは整数だが仮分数として表わすことができる。仮分数が整数である場合、分母は分子の約数になっている。
帯分数
整数と真分数の和
- [math] k + {m \over n} [/math]
の + を省略して
- [math] k{m \over n}[/math]
と書いた分数を帯分数(たいぶんすう、英: mixed number)といい、「k と n 分の m」と読む。「k か(個、箇、ケ) n 分の m」とも。明治初期の教科書では「か」であったが、その後西洋風に(英語ではこの部分を and と読むように)「と」と読ませる教科書も現れた。1905年以降の教科書では、1910年から1937年までと昭和30年代のもので「と」と「か」が併用されていたほかは、「と」と読ませている[1]。
たとえば 32 は 1 + 12 に分解することができ、帯分数として 112 と表わすことができる。
帯分数は掛け算の積と混同されるおそれがある。数 k と mn の掛け算 k × mn の積もまた kmn と表わされるため、表記の上では帯分数と区別できない。このことは、数 k, m, n を具体的に定めない場合のように、数をこれ以上簡約することができない場合に特に問題となる。積と和の混同を避けるため、暗黙には帯分数を用いないことが多い。また下記のように計算も煩雑になるため、中学以降は帯分数はほとんど使われない。この記事においても、暗黙に帯分数を用いることは避け、用いる場合には帯分数であることを明示する。
帯分数の記法を使うことにより、1 以上の数を整数と真分数の帯分数として表すことができる。
帯分数の記法は整数部分の計算や、整数との比較をするには便利である。たとえば
- [math]\frac{100}{7} \lt 15 [/math]
と
- [math]14\frac{2}{7} \lt 15 [/math]
では帯分数で表わした場合の方が真偽が明白になる。
一方で帯分数の掛け算や割り算は、同じ数に対する仮分数の掛け算や割り算に比べて煩雑である。たとえば
- [math]1\frac{1}{2} \times 2\frac{2}{3} = 2\frac{2}{3} + 1\frac{1}{3} = 4[/math]
より
- [math]\frac{3}{2} \times \frac{8}{3} = \frac{1}{2} \times \frac{8}{1} = 4[/math]
の方が検算は容易だろう。
分数の演算
同値な分数
分数は比や割合といった概念に対応しており、0 でない数 a を分母と分子にそれぞれかけても割っても、その分数の表す数は変わらない。
- [math] {n \over m} = {n \times a \over m \times a} = {n \div a \over m \div a} \quad (a \ne 0).[/math]
m と n が整数で公約数 d を持つとき、適当な整数 a, b によって
- [math]\begin{cases} m &= a \times d\\ n &= b \times d \end{cases}[/math]
の形に書かれ
- [math] {n \over m} = {b \times d \over a \times d} = {b \over a} [/math]
となる。このように分母と分子を公約数で割る操作を分数の簡約(かんやく、英: reduction)あるいは簡単に約分(やくぶん)と呼ぶ。m と n が互いに素である分数 nm を既約分数(きやくぶんすう、英: irreducible fraction)といい、ある分数が既約分数であることを「(その分数は)既約である」という。ある分数が既約である場合、分母と分子の最大公約数が 1 であるため、約分によって別の分数表現を得ることはできない。分数が既約でない場合、その分数は可約(かやく、英: reducible)または約分可能であるという。可約な分数は常に既約分数に直すことができ、逆に既約分数を可約分数に書き直すこともできる。
- [math]{260 \over 364} = {4 \times 65 \over 4 \times 91} = {65 \over 91} = {5 \times 13 \over 7 \times 13} = {5 \over 7}. [/math]
これらの分数は同じ数を表しているが、右辺の 57 は 5 と 7 が互いに素なので既約分数であり、それ以外の 260364 などの分数は可約である。
分母や分子が整数の場合に限らず、多項式などであっても因数分解が定義されているならば、分母と分子に共通な因数を見出すことができ、その因数が乗法単位元でない場合、約分をすることができる。たとえば
- [math] {x^3 -5x^2 +8x-4 \over x^3 -x^2 -8x +12} = {(x-1)(x-2)^2 \over (x+3)(x-2)^2} = {x-1 \over x+3}[/math]
は分数式の約分である。分数式の分子分母における x は不定元であり、特別な値を持たない。x を不定元でなく具体的な数であると見なす場合、上記の分数表現は破綻することに注意しなければならない。左辺の可約な分数に x = 2 を代入した場合、分子も分母も因数として (x − 2) を持つために、分数は 00 となり、(通常の代数においては)未定義の数となるが、しかし右辺の既約分数に対しては代入の結果が 15 に定まる。どちらの結果が適切であるかは場合によって異なり、x = 2 という条件の下で左辺の分数が得られたならばその数は未定義となるし、右辺の分数が得られたならその値は 15 に定まる。
基本的な演算
分数は割り算に、割り算は分数に置き換えることができる。
- [math] {b \over a} = b \div a.[/math]
等式
- [math] {b \over a} = c [/math]
において、両辺に a をかけ分母の無い形
- [math]b = c \times a[/math]
にすることを分母を払うという。
分数ではない数は分母が 1 の分数と見なせる。
- [math] a = {a \over 1} [/math]
これにより全ての演算は分数同士の演算と見なすことができる(a →a1)。逆に分母が 1 である分数は、分母を省略し分数ではない数としても扱える(a1 →a)。
分数同士の積は分母と分子それぞれの積になる。
- [math] {b \over a} \times {d \over c} = {b \times d \over a \times c} .[/math]
特に分数 ab は分数 ba の逆数であるため、これらの積は 1 になる。
- [math] {b \over a} \times {a \over b} = {b \times a \over a \times b} = 1 .[/math]
分母が同じ分数の和や差は分子の和や差に置き換えることができる。
- [math] {b \over a} \pm {c \over a} = {b \pm c \over a}. [/math]
分母が異なる分数の和や差は分母と分子を定数倍することによって分母を一致させてから行う。a と c の公倍数の1つ L を取る。すなわち適当な数 m, n を用いて
- [math]L = a \times m = c \times n[/math]
と書けるとき
- [math] {b \over a} \pm {d \over c} = {b \times m \over a \times m} \pm {d \times n \over c \times n} = {b \times m \pm d \times n \over L}[/math]
となる。このように分母を合わせる操作を通分(つうぶん)という。
L としては最小公倍数がよく用いられるが、最小公倍数が分からない場合には単純に2つの数の積 L = a × c を用いればよい。
- [math] {b \over a} \pm {d \over c} = {b \times c \pm a \times d \over a \times c}.[/math]
また、帯分数を仮分数に直す場合にも同様の計算が使える。
- [math] k {b \over a} = k + {b \over a} = {k \over 1} + {b \over a} = {k \times a +b \over a}. [/math]
分数での割り算はその法数の逆数による積に変換される。
- [math] {b \over a} \div {d \over c} = {{b \over a} \over \, {d \over c} \, } = {{b \over a} \times {c \over d} \over {d \over c} \times {c \over d}} = {{b \over a} \times {c \over d} \over 1} = {b \over a} \times {c \over d} = {b \times c \over a \times d}.[/math]
分数の性質
加比の理
二つの分数が等しい場合
- [math]{b \over a} = {d \over c} \quad (b \times c = a \times d)[/math]
に分数 b + da + c について、1 = cc を掛けて、分子について分配法則を用いれば、
- [math]\begin{align} {b+d \over a+c} &= {b+d \over a+c}\times {c \over c} = {b \times c + d \times c \over (a+c) \times c}\\ &= {a \times d + d \times c \over (a+c) \times c} = {(a+c) \times d \over (a+c) \times c} = {d \over c} \end{align}[/math]
と変形できる。従って、a + c ≠ 0 の場合に
- [math]{b \over a} = {d \over c} = {b+d \over a+c}[/math]
という等式が成り立つ。これを加比の理(かひのり)という。
この式からさらに 0 でない数 p, q が a × p + c × q ≠ 0 を満たすとき
- [math]{b \over a} = {d \over c} [/math]
ならば
- [math]{b \over a} = {d \over c} = {b \times p \over a \times p} = {d \times q \over c \times q} = {b \times p +d \times q \over a \times p + c \times q}[/math]
となる。
同様に、二つの分数について不等式
- [math]{b \over a} \leq {d \over c} \quad \left(b \times c \leq d \times a \right)[/math]
が成り立つ場合、a × c > 0 なら、
- [math]b \times c \leq d \times a [/math]
という不等式が成り立つ。 a + c ≠ 0 ならば、分数 b + da + c について、1 = cc を掛ければ、
- [math]\begin{align} {b+d \over a+c} &= {b \times c + d \times c \over (a+c) \times c}\\ &\leq {a \times d + d \times c \over (a+c) \times c} = {(a+c) \times d \over (a+c) \times c} = {d \over c} \end{align}[/math]
という不等式が得られ、また、1 = aa を掛ければ、
- [math]\begin{align} {b+d \over a+c} &= {b \times a + d \times a \over (a+c) \times a}\\ &\geq {b \times a + b \times c \over (a+c) \times a} = {(a+c) \times b \over (a+c) \times a} = {b \over a} \end{align}[/math]
という不等式が得られる。従って次の不等式が成り立つ。
- [math] {b \over a}\,\leq\,{b+d \over a+c}\,\leq\,{d \over c} ,\quad d \times a - b \times c \geq 0 . [/math]
一般の分数概念
分数は正の整数だけではなく、整数全体や実数、複素数等を用いても定義される。除法としての意味からも分かるように分母が 0 の分数には対応する数がない。しかし極限を取り扱う場合などに便宜上、分母が 0 の分数を使うことがある。それらの分数は数として計算に使われるわけではなく、あくまで説明用に便宜的に表現されただけのものであることが多く、その表現がどういう意味で用いられているのかは前後の文脈から判断する必要がある。フランスの数学者、アンリ・ポアンカレは「分数とは横線によって画された2つの整数の集合であって、この記号によって施すことができる演算を規約によって定義する」と説明している[2]。
分母、分子ともに整数である分数で表す事ができる数を有理数という。また分子・分母が数式(関数)であるような分数を分数式(分数関数)といい、特に多項式の商として表される分数式を有理式とよぶ。分数式まで視野に入れると、何かに占める割合といった分数の意味は薄れるが、それは商(除法)の概念がそうであるのと同様である。
積演算が非可換である場合、除法が左右で区別されるように分数も割る方向の左右で区別される。
分数の環、体
抽象代数学において分数は、環に十分な逆元を追加することで新しい環を作り出す環の局所化あるいは全商環などの概念として一般に捉えることができる(分数環あるいは商の環というような言い方もある)。
可換環 R の部分集合 S は、R の単位元 1 を含み、S の任意の2つの元 s, t について、それらの積 st が再び S の元となる(つまり乗法について閉じている)場合、S は R の積閉集合という。可換環 R とその積閉集合 S に対し、R × S における二項関係 ∼ を
- [math](r_1,s_1) \sim (r_2,s_2) \iff \exists t \in S,\, t(r_1 s_2 - r_2 s_1) = 0[/math]
で定めると、これは R × S における同値関係を与える。R × S をこの同値関係で割ったものを Sテンプレート:ExpR で表し、(r, s) の属する同値類を r/s などで表す。このとき、Sテンプレート:ExpR には、もとの環 R における演算と両立する和や積といった環としての演算が、すでに上で述べた規則に従って与えられる。
可換環 R に対して、R の零因子でない元の全体は積閉集合である。積閉集合 S をそのようなものとする場合、環 Sテンプレート:ExpR は R の全商環と呼ばれる。また、積閉集合 S が R の素イデアル I の補集合として与えられている場合には、Sテンプレート:ExpR の代わりにしばしば Rテンプレート:Msub と書いて R の I における局所化と呼ぶ。なお、R が整域ならば、このような同値関係は簡約できて
- [math]r_1 s_2 - r_2 s_1 = 0[/math]
によって与えられ、これによって得られる全商環は可換体の構造を持つ。これを分数体あるいは商体と呼ぶ。
全商環や商体といった構造はある種の普遍性を与えており、たとえば整域の商体はもとの整域を含む最小の体を与えることなどが確かめられる。
- 有理数体 Q は整域である有理整数環 Z の商体である。また、体 k 上の多項式環 kテンプレート:Bracket の商体を k 上の有理関数体と呼び、k(x) で表す。k 上の形式冪級数環 kテンプレート:Brackets の商体は形式ローラン級数体 k((x)) である。
脚注
注釈
出典
- ↑ 上垣渉、2015、「少年少女のための数学文化史(17) 帯分数の読み方における「と」と「か」について」、『数学教室』61巻8号、国土社 pp. 52-55
- ↑ ポアンカレ 1927, 第二篇第二章.
参考文献
- ポアンカレ, アンリ 『科学と方法』 吉田洋一訳、岩波書店〈岩波文庫 85-87〉、1927年、再版。NDLJP:1195367。
関連項目
外部リンク
- Weisstein, Eric W. “Fraction”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
- fraction in nLab
- fraction - PlanetMath.(英語)
- テンプレート:ProofWiki
- {{#invoke:citation/CS1|citation
|CitationClass=citation }}