利用者:白駒/Draft

ライプニッツの調和三角形（ライプニッツのちょうわさんかっけい、英: Leibniz harmonic triangle）とは、有理数がある一定の規則で三角形状に並んだものである。ゴットフリート・ライプニッツが、級数の和に関連して研究した^[1]。パスカルの三角形に類似した性質をいくつか有する。

定義[編集]

上から r 行目、左から c 列目の数 L(r, c) を

{\begin{aligned}L(r,1)&={\frac {1}{r}}\\L(r,c)&=L(r-1,c-1)-L(r,c-1)\quad (c\geq 2)\end{aligned}}

で定める。すなわち、一番左には自然数の逆数が並び、それ以外の数は左上の数から左の数を引いたものである。同じことであるが、パスカルの三角形では各項がすぐ上のふたつの項の和であることと対比して、調和三角形では各項はすぐ下のふたつの項の和である。

性質[編集]

一般の項は二項係数を用いて

L(r,c)={\frac {1}{c\times {\binom {r}{c}}}}={\frac {1}{r\times {\binom {r-1}{c-1}}}}

で与えられる。特に、項は全て単位分数（分子が 1 の分数）であり、分母は順に

1, 2, 2, 3, 6, 3, 4, 12, 12, 4, 5, 20, 30, 20, 5, …（オンライン整数列大辞典の数列 A3506）

である。さらに、調和三角形は左右対称であり、その第 r 行は、パスカルの三角形の第 r 行の逆数を r で割ったものである。

パスカルの三角形の r 行 c 列の項を P(r, c) とおくと、1 < c < r に対して

P(r,c)=\sum _{k=1}^{r-c+1}P(r-k,c-1)

が成り立つことと対比して、調和三角形においては定義からすぐに導かれるように

L(r,c)=\sum _{k=1}^{\infty }L(r+k,c+1)

が成り立つ。すなわち、調和三角形のある項は、そのすぐ右下の数から左斜め下に進む先の全ての項の無限和に等しい。三角形の第1列の和は調和級数であって発散するが、第 c 列の和は 1/(c - 1) である。例えば、第2列の和は三角数の逆数の和の 1/2 であり、これは 1 に等しい。ゆえに、三角数の逆数の和は 2 である。第3列の和は四面体数の逆数の和の 1/3 であり、これは 1/2 に等しい。第4列の和は五胞体数の逆数の和の 1/4 であり、これは 1/3 に等しい。以下同様に、高次元の図形数の逆数の和が求まる。

脚注[編集]

^ ボイヤー、pp. 14, 15

参考文献[編集]

C. B. ボイヤー著、加賀美鉄雄・浦野由有訳『数学の歴史4』朝倉書店、2008年 ISBN 978-4-254-11804-9

外部リンク[編集]

Weisstein, Eric W. "Leibniz Harmonic Triangle". mathworld.wolfram.com (英語).

{{DEFAULTSORT:らいふにつつのちようわさんかくけい}} [[Category:級数]] [[Category:数学に関する記事]]

[1] ボイヤー、pp. 14, 15

[1]