分数

**分数**（ぶんすう、）とは、2つの数の間の割り算の商を表す数の記法である。例えば  を  で割った商  は分数を用いて  と表せる。

日常的には  のように正の整数の分数がよく使われるが、分数で表される数に制限はなく、例えば  や  のように無理数（より一般に実数）を含んだり、 のように虚数（より一般に複素数）を含んでもよい。また定数に限らず  や  のように変数を含んでもよい。

## 記法

通常の算術において、2つの数の間の割り算は分数で表される。

分数は上下2つに分けて書いた数とその間の線によって表される。分数表記において、被除数にあたる数を**分子**（ぶんし、）、除数にあたる数を**分母**（ぶんぼ、）と呼ぶ。分数の表記法はいくつかあるが、一般的には下記のように横線を引き、分子  を線の上、分母  を線の下に書く：
: \frac{n}{d}
あるいは文中などにおいて、以下のように斜線を引くこともある：
:n/d

## 読み
分数  は日本語で「 の 」と読む（例： は、 は）。「 割る 」とも読む。

英語では一般に  ないし  と読むが、分子と分母が整数の場合には  のように読む（例： は ,  は ）。分母は序数詞と同じように読み、また分子が  以外の場合は複数形として扱う。例外として、分母が  の場合には  を用い（例： は  または ,  は ）、分母が  の場合には  と  のいずれも用い得る（例： は  または ）。分子は基数詞と同じように読む。

帯分数  は日本語で「 *と*  分の 」または「   分の 」と読む。

明治初期の教科書では「か」であったが、その後西洋風に（英語ではこの部分を  と読むように）「と」と読ませる教科書も現れた。1905年以降の教科書では、1910年から1937年までと1950年代のもので「と」と「か」が併用されていたほかは、「と」と読ませている。

## 分類

### 既約分数

分子と分母が  以外に共通の因数を持たない分数を**既約分数**（きやくぶんすう、）という（例：、）。言い換えると「分数  が既約（）である」とは分子  と  が互いに素（最大公約数が ）であることを意味する。

反対に、ある分数が既約でないことを**可約**（かやく、）または**約分可能**という（例：、 は可約）。可約な分数を既約分数に書き換える操作を**約分**（やくぶん、）あるいは**簡約**（かんやく）という。

分数  が可約なら、その分子  と分母  は  でない最大公約数  を持ち、
:
\begin{align}
N &= g \cdot n \\
D &= g \cdot d
\end{align}

と因数分解できる。従って、以下のように分数  を既約分数  に書き換えられる。
:
\frac{N}{D} 
= \frac{\cancel{g} \cdot n}{\cancel{g} \cdot d} 
= \frac{n}{d}


整数の分数に限らず、分子分母が因数分解できるなら約分できる。例えば分子分母が不定元  の多項式の分数（有理式）について、
:
\frac
  {x^3    -     5x^2 + 8x -\; 4}
  {x^3 \, - \,\; x^2 - 8x +  12} 
= \frac
  {(x - 1) \cancel{(x - 2)^2}}
  {(x + 3) \cancel{(x - 2)^2}}
= \frac{x-1}{x+3}

のように約分できる。

### 単位分数

分子が  で分母が正の整数の分数を**単位分数**（たんいぶんすう、）という。例えば  は単位分数だが、 は単位分数ではない。

異なる有限個の単位分数の和を**[[エジプト式分数]]**と呼び、数を単位分数の和に置き換えることを単位分数展開と呼ぶ。例えば  の右辺はエジプト式分数の一つである。

### 連分数

以下の形式の数の表示を**[[連分数]]**（れんぶんすう、）という。
:a_0 + \cfrac{b_1}{a_1 + \cfrac{b_2}{a_2 + \cfrac{b_3}{a_3 + \cdots }}} 
連分数は分母が数と分数の和として再帰的に表された分数である。通常、分子  および要素  の範囲は正の整数に限られる。特に分子  がすべて  の連分数を**正則連分数**または**単純連分数**と呼ぶ。

連分数に含まれる要素  の個数が  個の連分数を特に  階の連分数と呼ぶ。連分数の階数は有限の場合も無限の場合もあり得る。

### 
絶対値が  より小さい分数を**真分数**（しんぶんすう、）という。すなわち、分子の絶対値が分母の絶対値より小さな分数を真分数と呼ぶ（例：）。
他方、真分数でない分数を**仮分数**（かぶんすう、）という（例：）。仮分数は 0 でない整数部を持ち、整数と真分数の和に分解できる。具体的には  を仮分数とし、分子  を分母  の倍数と  で割った余り  の和  として表せば（）、
:
\frac{n}{d}
= \frac{kd + r}{d}
= \frac{k\cancel{d}}{\cancel{d}} + \frac{r}{d}
= k + \frac{r}{d}

となる（例：, ）。

### 帯分数
整数と真分数の和
: k + \frac{n}{d} 
から足し算の記号 + を省略した表記
: k\frac{n}{d}
を**帯分数**（たいぶんすう、）という。

代数学における一般的な規約として、掛け算の記号を省略するため、帯分数は掛け算と混同される恐れがある。 と書いた際、掛け算  と足し算  のいずれとも解釈でき、掛け算と帯分数を区別できない。そのため、具体的な数量を扱う場面を除いては帯分数は用いられない。

### 繁分数
分子または分母が分数で表される分数を**繁分数**（はんぶんすう、）という。例えば、
: \frac{\;a\;}{\;\tfrac{b}{c}\;}
, \quad
\frac{\;\tfrac{b}{c}\;}{\;a\;}
, \quad
\frac{\;\tfrac{a}{b}\;}{\;\tfrac{c}{d}\;}

や
: \frac{\;a\;}{b + \;\tfrac{c}{d}\;}
, \quad
\frac{\;b + \tfrac{c}{d}\;}{\;a\;}
, \quad
\frac{\;a + \tfrac{b}{c}\;}{\;d + \tfrac{e}{f}\;}

はいずれも繁分数である。

繁分数は通常の分数に書き直すことができる。0でない数  について  であるため、例えば
:
\frac{\;a\;}{\;\tfrac{b}{c}\;}
= \frac{\;a\;}{\;\tfrac{b}{c}\;}
  \times \frac{c}{c}
= \frac{a \times c}{\tfrac{b}{\cancel{c}} \times \cancel{c}}
=\frac{ac}{b}

のように書き換えられる。

## 演算規則

### 基本的な演算

; 同値
: 2つの分数  と  が等しいことは、以下の等式を満たすことから確かめられる：
: 
  ad - bc = 0 \iff \frac{a}{b} = \frac{c}{d} \,.

: 特に、2つの分数  と  は等しく、 と書き直せる：
: 
  (-a)(-b) - ba = 0 \iff \frac{(-a)}{b} = \frac{a}{(-b)} = - \frac{a}{b}\,.

; 乗法
: 2つの分数  と  の掛け算は以下のようになる：
: 
  \frac{a}{b} \cdot \frac{c}{d}
  = \frac{a\cdot c}{b \cdot d} 
  = \frac{ac}{bd}
  \,.

: 同様に分数  と数  の掛け算は以下のようになる：
: 
  \frac{a}{b} \cdot c
  = \frac{a\cdot c}{b} 
  = \frac{ac}{b}
  \,.

; 逆数
:  でない分数  の逆数は  である：
: 
  \frac{a}{b} \cdot \frac{b}{a} 
  = 1 \,.

: 特に  でない数  の逆数は  である：
: 
  a \cdot \frac{1}{a} 
  = 1 \,.

; 除法
: 2つの分数  と  の割り算は被除数  と除数の逆数  の掛け算に等しい：
: 
  \frac{a}{b} \div \frac{c}{d}
  = \frac{a}{b} \cdot \frac{d}{c} 
  = \frac{ad}{bc}
  \,.

: 同様に分数  と数  の割り算は以下のようになる：
: 
\begin{align}
  \frac{a}{b} \div c
  = \frac{a}{b} \cdot \frac{1}{c}
  &= \frac{a}{bc} \\
  c \div \frac{a}{b}
  = \frac{c}{1} \cdot \frac{b}{a}
  &= \frac{bc}{a} \,.
\end{align}

; 加法・減法
: 2つの分数  と  の足し算と引き算はそれぞれ以下のようになる：
:  
\begin{align}
  \frac{a}{b} + \frac{c}{d}
  = \frac{ad}{bd} + \frac{bc}{bd}
  &= \frac{ad + bc}{bd} \,, \\
 \frac{a}{b} - \frac{c}{b}
  = \frac{ad}{bd} - \frac{bc}{bd}
  &= \frac{ad - bc}{bd} \,.
\end{align}

: 特に分母の等しい2つの分数  と  の足し算と引き算はそれぞれ単に分子同士の足し算と引き算で表せる：
:  
\begin{align}
  \frac{a}{b} + \frac{c}{b} 
  &= \frac{a + c}{b} \,, \\
 \frac{a}{b} - \frac{c}{b} 
  &= \frac{a - c}{b} \,.
\end{align}

: 分母  と  が共通因数  を持ち、,  と書ける場合、足し算と引き算は以下のようになる：
: 
\begin{align}
  \frac{a}{rp} + \frac{c}{rq} 
  &= \frac{aq + pc}{rpq} \,, \\
 \frac{a}{rp} - \frac{c}{rq} 
  &= \frac{aq - pc}{rpq} \,.
\end{align}

: 同様に分数  と数  の足し算と引き算は以下のようになる：
: 
\begin{align}
  \frac{a}{b} + c \ 
  &= \frac{a + bc}{b} \,, \\
 \frac{a}{b} - c \ 
  &= \frac{a - bc}{b}  \,, \\
  c - \frac{a}{b}
  &= \frac{bc - a}{b} \,.
\end{align}


### 部分分数分解

### 分母の有理化

## 性質
### 合除比の理
2つの分数 ,  が以下の2つの不等式を満たす場合、
: 
\begin{alignat}{3}
  \frac{c}{d} &{}- \frac{a}{b} & {} \ge 0 &\,, \\[0.5em]
  bc &{}- ad & {} \ge 0 &\,,
\end{alignat}

以下の不等式が成り立つ：
: 
  \frac{c}{d} 
  \ge \frac{a + c}{b + d} 
  \ge \frac{a}{b} \,.

また、いずれか一つが  でない非負の数  について、以下が成り立つ：
: 
  \frac{c}{d}
  \ge \frac{pa + qc}{pb + qd} 
  \ge \frac{a}{b} \,.

不等式の等号が成立するのは2つの分数が等しい（）場合に限る。その場合、2つの等しい分数について、それらの分子の和と分母の和からなる分数もまた等しいことが言える：
: 
  \frac{a}{b} = \frac{c}{d}
  \implies
  \frac{a}{b}
  = \frac{a + c}{b + d} 
  =\frac{c}{d} \,.

この性質はまたはと呼ばれる。

分数  は幾何学的に平面上の直交座標系の原点を通る直線の傾きと見なせ、分子と分母はその直線上の点  に対応する。分数  は原点から生えた2つのベクトル ,  の和  の傾き、すなわち線分 ,  のなす平行四辺形の原点を共有する対角線の傾きに対応する。
1つ目の不等式  は分数に対応した直線の傾きの大小関係を表し、2つ目の不等式  はベクトル積  の向きが正であること、すなわち ,  のなす平行四辺形が  から見て左側（反時計回りの向き）に作図されることを表す。

2つの不等式から  が得られる。分母 , ,  の符号はいずれも一致するから、
: 
\begin{align}
  bc - ad &=
  bc + (cd - cd) - ad \\
  &=
  (b + d)c - (a + c)d
  \ge 0
\end{align}

および
: 
\begin{align}
  bc - ad &=
  bc + (ab - ab) - ad \\
  &=
  (a + c)b - (b + d)a
  \ge 0
\end{align}

より、以下の不等式が得られる：
: 
  \frac{c}{d} 
  \ge \frac{a + c}{b + d} 
  \ge \frac{a}{b} \,.


同様に、
: 
  \frac{a}{b} = \frac{c}{d}
  \implies
  \frac{a}{b}
  = \frac{a - c}{b - d} 
  =\frac{c}{d} \,,

: 
  \frac{a}{b} = \frac{c}{d}
  \implies
  \frac{a + b}{a - b}
  = \frac{c + d}{c - d} \,.

が成り立つ。前者を、後者をという。

## 有理数の表現
一般の有理数は整数  と 0 でない整数  の分数  で表せる。言い換えると、整数の分子と分母を持つ分数で表される数全体が有理数である。

正の整数  について、分数  を考えることができる。分数  は割り算  の商、あるいは単位分数  の  倍の数と捉えることができる。また、 の比を持つ2つの数量のうち、 に相当する数量の大きさを 1 とした場合、他方の  に相当する数量の大きさは  となる。この事実から、分数  で表わされる数のことを指し、2つの数  の比と表現することがある。

## 一般化

分数は自然数だけではなく、整数全体や実数、複素数などを用いても定義される。

抽象代数学において分数は、環に十分な逆元を追加することで新しい環を作り出す環の局所化あるいは全商環などの概念として一般に捉えることができる（分数環あるいは商の環というような言い方もある）。

可換環  の部分集合  は、 の単位元 1 を含み、 の任意の2つの元  について、それらの積  が再び  の元となる（つまり乗法について閉じている）場合、 は  の積閉集合という。可換環  とその積閉集合  に対し、 における二項関係  を
: (r_1,s_1) \sim (r_2,s_2) \iff \exists t \in S,\, t(r_1 s_2 - r_2 s_1) = 0
で定めると、これは  における同値関係を与える。 をこの同値関係で割ったものを  で表し、 の属する同値類を  などで表す。このとき、 には、もとの環  における演算と両立する和や積といった環としての演算が、すでに上で述べた規則に従って与えられる。

可換環  に対して、 の零因子でない元の全体は積閉集合である。積閉集合  をそのようなものとする場合、環  は  の**全商環**と呼ばれる。また、積閉集合  が  の素イデアル  の補集合として与えられている場合には、 の代わりにしばしば  と書いて  の  における**局所化**と呼ぶ。なお、 が整域ならば、このような同値関係は簡約できて
: r_1 s_2 - r_2 s_1 = 0
によって与えられ、これによって得られる全商環は可換体の構造を持つ。これを**分数体**あるいは商体と呼ぶ。

全商環や商体といった構造はある種の普遍性を与えており、たとえば整域の商体はもとの整域を含む最小の体を与えることなどが確かめられる。

* 有理整数環  の商体は有理数体  である。
* 体  上の多項式環  の商体は有理関数体  である。
* 体  上の形式冪級数環  の商体は形式ローラン級数体  である。

積演算が非可換である場合、除法が左右で区別されるように分数も割る方向の左右で区別される。

## 辞書的な定義

いくつかの辞典では、分数を有理数の同義語として扱っている。例えば『精選版 日本国語大辞典』において分数は「整数ａを零でない整数ｂで割った商を、横線を用いてa/bと表わしたもの。ａを分子、ｂを分母と呼ぶ。有理数。」、また『小学館デジタル大辞泉』においては「二つの整数a・bの比として表される数。」と説明されている。

## 脚注

### 注釈

### 出典

## 参考文献
* 
* 
* 高木貞治、1904、「第五章　分數」、『新式算術講義』
* 

## 関連項目
* 比
* ⅟
* 有理数
* 連分数
* 小数
* ファレイ数列
* ライプニッツの調和三角形

## 外部リンク
* 
* 
* 
* 
* 
* 
*