読み方：たんいぶんすう分子が1の分数のこと。Weblio国語辞典では「単位分数」の意味や使い方、用例、類似表現などを解説しています。">

「単位分数」の意味や使い方 わかりやすく解説 Weblio辞書 (original) (raw)

数学において、単位分数(たんいぶんすう、unit fraction)とは、分数として書かれる有理数のうち、分子が 1 であり、分母が自然数であるものをいう。つまり、自然数 n の逆数 1/n で表される。単位分数は大きい順に

1/1, 1/2, 1/3, 1/4, 1/5, …

である。

エジプト式分数など、単位分数に制限したときの数の性質がいくつか知られている。

初等算術

任意の2つの単位分数の積はまた、単位分数になる。

1 x × 1 y = 1 x y . {\displaystyle {\frac {1}{x}}\times {\frac {1}{y}}={\frac {1}{xy}}.} \frac1x \times \frac1y = \frac1{xy}.

しかし、任意の2つの単位分数の和、差、商は一般には単位分数とはならない。

1 x + 1 y = x + y x y {\displaystyle {\frac {1}{x}}+{\frac {1}{y}}={\frac {x+y}{xy}}} \frac1x + \frac1y = \frac{x+y}{xy}

1 x − 1 y = y − x x y {\displaystyle {\frac {1}{x}}-{\frac {1}{y}}={\frac {y-x}{xy}}} \frac1x - \frac1y = \frac{y-x}{xy}

1 x ÷ 1 y = y x . {\displaystyle {\frac {1}{x}}\div {\frac {1}{y}}={\frac {y}{x}}.} \frac1x \div \frac1y = \frac{y}{x}.

合同算術

最大公約数の計算において、合同式の除法の計算を減らすため、単位分数は重要な役目を果たす。具体的には、法を y とし、値 x で除算をしたいとする。x で割るためには、_x_と_y_は互いに素でなければならない。次に、最大公約数のための拡張ユークリッドの互除法（英語版）により、

a x + b y = 1 {\displaystyle \displaystyle ax+by=1} \displaystyle ax + by = 1

を満たす a, _b_が見つかる。それから、

a x ≡ 1 ( mod y ) {\displaystyle \displaystyle ax\equiv 1{\pmod {y}}} \displaystyle ax \equiv 1 \pmod y

が分かる。あるいは同じことであるが、

a ≡ 1 x ( mod y ) {\displaystyle a\equiv {\frac {1}{x}}{\pmod {y}}} a \equiv \frac1x \pmod y

である。従って、（y を法として）x によって割るためには、代わりに、a を掛ければよい。

単位分数の有限和

詳細は「逆数の有限和の一覧（英語版）」を参照

任意の正の有理数は、複数の方法で、単位分数の和として書くことができる。 例えば、

4 5 = 1 2 + 1 4 + 1 20 = 1 3 + 1 5 + 1 6 + 1 10 {\displaystyle {\frac {4}{5}}={\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{20}}={\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{6}}+{\frac {1}{10}}} \frac45=\frac12+\frac14+\frac1{20}=\frac13+\frac15+\frac16+\frac1{10}

のようにである。古代エジプト文明では、一般の有理数を表すため、いくつかの単位分数の和を用いた。そのため、そのような和はしばしばエジプト式分数と呼ばれる[1]。現代でも数論の分野において、エジプト式分数に関する数学上の未解決問題が多く残されていることもあり、研究が行われている。例えば、エルデシュ・シュトラウス予想（英語版）やエルデシュ・グラハム予想（英語版）、調和数は無限に存在するか、などの問題は今なお未解決である。

幾何学的群論において、三角群（英語版）に関連する単位分数の和が、1より大きい、1に等しい、または1未満かどうかに応じて、球面的、ユークリッド的、または双曲的による場合に分類される。

単位分数の無限和

詳細は「逆数の無限和の一覧（英語版）」を参照

多くの知られた無限級数は、単位分数の項を持つ。例えば以下のようなものがある。

1 1 + 1 2 + 1 3 + ⋯ + 1 n {\displaystyle {\frac {1}{1}}+{\frac {1}{2}}+{\frac {1}{3}}+\dotsb +{\frac {1}{n}}} \frac11+\frac12+\frac13+\dotsb+\frac1n

である調和数H n の増大度は n の自然対数 ln(n) と同程度の速さである。

単位分数の行列

ヒルベルト行列は、以下のように定義された行列である。

B i , j = 1 i + j − 1 . {\displaystyle B_{i,j}={\frac {1}{i+j-1}}.} B_{i,j} = \frac1{i+j-1}.

この行列の逆行列は、全ての要素が整数である[2]。同様に、Richardson (2001)は以下のように行列を定義した。

C i , j = 1 F i + j − 1 , {\displaystyle C_{i,j}={\frac {1}{F_{i+j-1}}},} C_{i,j} = \frac1{F_{i+j-1}},

ここで_F_iは、_i_番目のフィボナッチ数である。彼は、この行列をフィルベルト行列(Filbert matrix)と呼んだ。これはヒルベルト行列と同じように、逆行列の全ての要素が整数となる[3]。

分数の隣接

二つの分数の差が単位分数となるとき、2つの分数は隣接する(adjacent)という[4][5]。

確率・統計における単位分数

離散一様分布において、全ての確率は等しい単位分数である。無差別原理（英語版）のため、統計の計算において頻繁にこの形の確率が生じる[6]。さらに、ジップの法則は出現頻度が_n_ 番目に大きい要素が全体に占める割合が1/_n_に比例するという経験則を述べる[7]。

注釈

  1. ^ Guy, Richard K. (2004), “D11. Egyptian Fractions”, Unsolved problems in number theory (3rd ed.), Springer-Verlag, p. 252–262, ISBN 978-0-387-20860-2 .
  2. ^ Choi, Man Duen (1983), “Tricks or treats with the Hilbert matrix”, The American Mathematical Monthly 90 (5): 301–312, doi:10.2307/2975779, MR701570 .
  3. ^ Richardson, Thomas M. (2001), “The Filbert matrix”, Fibonacci Quarterly 39 (3): 268–275, arXiv:math.RA/9905079, Bibcode: 1999math......5079R, http://www.fq.math.ca/Scanned/39-3/richardson.pdf
  4. ^ Adjacent Fraction - PlanetMath.（英語）
  5. ^ Weisstein, Eric W. "Adjacent Fraction". MathWorld (英語).
  6. ^ Welsh, Alan H. (1996), Aspects of statistical inference, Wiley Series in Probability and Statistics, 246, John Wiley and Sons, p. 66, ISBN 978-0-471-11591-5 .
  7. ^ Saichev, Alexander; Malevergne, Yannick; Sornette, Didier (2009), Theory of Zipf's Law and Beyond, Lecture Notes in Economics and Mathematical Systems, 632, Springer-Verlag, ISBN 978-3-642-02945-5 .

外部リンク