|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 公 ： [こう] 1. (n,suf) prince 2. lord 3. duke 4. public 5. daimyo 6. companion 7. subordinate ・ 公式 ： [こうしき] 1. (adj-na,n) formula 2. formality 3. official ・ 式 ： [しき] 1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style
ライプニッツの公式（-こうしき、）とは円周率の値を求めるための公式の一つである。以下の級数で表される。 : これは初項が 1 で各項が奇数の逆数である交項級数が (= 0.785398…) に収束することを意味する。総和の記号を用いると以下のようになる。 : この公式を名付けたのはライプニッツであるが、これはすでに15世紀のインドの数学者マーダヴァがライプニッツより300年ほど前に発見していたものである。公式の発見がマーダヴァの功績であることを示すためにマーダヴァ-ライプニッツ級数と呼ばれることもある。 == 証明 == === 冪級数展開を用いる証明 === 三角関数の一つ tan θ を θ について微分すると : となる。ここで tan θ = ''x'' とおくと : が導かれる。 また以下の等比級数を考える。 : 左辺は公比が −''x'' であり、|−''x''| < 1 すなわち |''x''| < 1 のとき 1/(1 + ''x'') に収束する。 (1), (2)式から : が得られる。この両辺を ''x'' について項別積分すれば : となる。（''x'' = 0 のとき θ = 0 であるから定数項は 0 である。）tan θ = ''x'' としたので θ = のとき ''x'' = 1 である。これを利用して(3)式に θ = と ''x'' = 1 を代入すると : という式が現れる。ただし ''x'' = 1 は |''x''| < 1 の条件に反するので(3)式に ''x'' = 1 を代入できるかどうかが問題になるが、この場合は代入してもよいことが分かっている（アーベルの連続性定理）。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ライプニッツの公式」の詳細全文を読む スポンサード リンク
|