ベイリー=ボールウェイン=プラウフ の式とは、1995年にサイモン・プラウフによって発見された、πの無限級数表示である。名前はデイビッド・H・ベイリー、ピーター・ボールウェイン、プラウフに由来する。以来、無限級数表示
![{\displaystyle \alpha =\sum _{k=0}^{\infty }{\frac {p(k)}{b^{k}q(k)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/205c3b56b091547900fce3fbdfb9b26ab5ab3421)
の形をした、数多くの無理数定数を求める公式が発見されるようになった。これらは総称して、BBP型公式(BBP-Type formulae)[1]と呼ばれる。
オリジナルの π の無限級数は、次式で与えられる。
![{\displaystyle \pi =\sum _{k=0}^{\infty }{\frac {1}{16^{k}}}\left({\frac {4}{8k+1}}-{\frac {2}{8k+4}}-{\frac {1}{8k+5}}-{\frac {1}{8k+6}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c092c788f1ff39174a3f78c5a329d5aa83ca2add)
この式の驚くべきところは、式を適当に操作する事で、πの16進数表示の、任意の桁を抽出できるアルゴリズムが作れるという点である。
BBP アルゴリズム[編集]
まず、桁の抽出を行うために、公式を次のように書き直す。
![{\displaystyle \pi =4\sum _{k=0}^{\infty }{\frac {1}{(16^{k})(8k+1)}}-2\sum _{k=0}^{\infty }{\frac {1}{(16^{k})(8k+4)}}-\sum _{k=0}^{\infty }{\frac {1}{(16^{k})(8k+5)}}-\sum _{k=0}^{\infty }{\frac {1}{(16^{k})(8k+6)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66045fc5e14981e40a76a7bff35b4a6c624c4208)
次に、πの16進数表示の n 桁目を抽出することを考える。そこで、第 1 項を取り、無限級数を第 n 項で分割する。
![{\displaystyle \sum _{k=0}^{\infty }{\frac {16^{n-k}}{8k+1}}=\sum _{k=0}^{n}{\frac {16^{n-k}}{8k+1}}+\sum _{k=n+1}^{\infty }{\frac {16^{n-k}}{8k+1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/994fea3d9c307643e34d188bb2d949b73e5db08e)
整数部分を第 1 項、小数部分を第 2 項という様に分けるため、
を掛ける。
![{\displaystyle \sum _{k=0}^{\infty }{\frac {16^{n-k}}{8k+1}}=\sum _{k=0}^{n}{\frac {16^{n-k}}{8k+1}}+\sum _{k=n+1}^{\infty }{\frac {16^{n-k}}{8k+1}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/994fea3d9c307643e34d188bb2d949b73e5db08e)