数学において、単位分数(たんいぶんすう、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}}.} しかし、任意の2つの単位分数の和、差、商は一般には単位分数とはならない。 1 x + 1 y = x + y x y {\displaystyle {\frac {1}{x}}+{\frac {1}{y}}={\frac {x+y}{xy}}} 1 x − 1 y = y − x x y {\displaystyle {\frac {1}{x}}-{\frac {1}{y}}={\frac {y-x}{xy}}} 1 x ÷ 1 y = y x . {\displaystyle {\frac {1}{x}}\div {\frac {1}{y}}={\frac {y}{x}}.} 最大公約数の計算において、合同式の除法の計算を減らすため、単位分数は重要な役目を果たす。具体的には、法を y とし、値 x で除算をしたいとする。x で割るためには、xとyは互いに素でなければならない。次に、最大公約数のための拡張ユークリッドの互除法
目次
1 初等算術
2 合同算術
3 単位分数の有限和
4 単位分数の無限和
5 単位分数の行列
6 分数の隣接
7 確率・統計における単位分数
8 注釈
9 外部リンク
初等算術
合同算術
を満たす a, bが見つかる。それから、 a x ≡ 1 ( mod y ) {\displaystyle \displaystyle ax\equiv 1{\pmod {y}}}
が分かる。あるいは同じことであるが、 a ≡ 1 x ( mod y ) {\displaystyle a\equiv {\frac {1}{x}}{\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}}}
のようにである。古代エジプト文明では、一般の有理数を表すため、いくつかの単位分数の和を用いた。そのため、そのような和はしばしばエジプト式分数と呼ばれる[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}}}
である調和数Hn の増大度は n の自然対数 ln(n) と同程度の速さである。 ヒルベルト行列は、以下のように定義された行列である。 B i , j = 1 i + j − 1 . {\displaystyle B_{i,j}={\frac {1}{i+j-1}}.}
バーゼル問題は、全ての平方数の単位分数の総和であり、その値はπ2/6である。
アペリーの定数は、全ての立方数の単位分数の総和である。
幾何級数における2の冪の逆数の総和や、フィボナッチ数列の逆数和などは単位分数の総和の例である。
単位分数の行列