Question

Mathematica

ウォリスの公式の証明についてです。

1枚目の写真の問１０が分かりません。
2枚目の写真の様に考えてみたのですが行き詰まって、他のアイディアが思い浮かばびません。

教えて下さい。

前節においては有限区間における有界な関数の積分を考えた。 この節では,
$3 広義積分
113
n-1
In =
-In-2 (n22).
n
In
-Lh-3. In-e
(m-2
0=x/2, h = 1 より (26) を得る。
n(n-2).
n(n-2).
T。
n
…3-1 (n 奇数)
……4-2 ( 偶数)
nENに対して,
n!!:=
M- n-3.
n
2T
1-2
n-Ln-3.
れ-2
3
とする。このとき, (26) は次のようにかける。
「h
年2
Tw2
(n 偶数)
2
こ4TA
M-L-2.In-4
n
In =
1-4 u
(まスラ0)
(n 奇数)。
0<とく要
= h-」.h-2
市困> さて,(O, t/2) で、sin?n+1x
ゆえに, 上記の結果より,
i. A
sin2n x < sin?2n-1 x であるから, I2n+1 < 12n < Izn-1.
(:0<qnk<)
(n=,t,2,
(2n-1)!! π
2
よって,
1
(2n-1)!! π
1
(27)
2n+1 (2n-1)!!
2
2n (2n-1)!!
よって
れ
)1u
(28)
21+1 t to
2n+1
1
2
1
2
2n+1
2n T
Dah
π
ゆえに
しはさ4うち。里さり、
2
2
= lim 2n.
J(2n-1)!!]?
(2n(29)
Jen Len
方on-! =T
n→0
これから,
i(に)T
所(an-)! =STE
1
Vェ= lim
22n(n!)?
= lim
Vn (2n)!
(30)
ウォリス
CWallis)
これをワリスの公式という.
ニこて
Vn (2n-1)!!
1em)
n→0
n→0
(2n)!
(nコ
(2n)!! -@n)-2n-2).4
=An-cn-t) 2·よ
問9
Vれ (n→).
An!
問 10 (29) から次の式(これもワリスの公式という)を導け。
1
コ
1
(2n-2)?
1
2
lim {1
22
(2n)?
m→0
22
42
62
$3 広義積分

(2れ1)(2n-3).
(2n)(2n-2).
3.1
2n (an-t)!
Lf= 2n?
ニ
そ2
t t
2n-3"
2n-1」
2n
4
= ュnf(1-(1-
2n-2

Answer 1

✨ 最佳解答 ✨

哲治

こんな感じ。

Mathematica

ご回答ありがとうございます。

2n を (2n+1) にしたのは n→∞ だから
どちらでも良いということですか?

哲治

そうです。そもそも2n自体が上の２８のはさみ打ちの右側から持ってきてるので、そもそも左から持ってきてもいいだけですけれど。

Mathematica

理解できました。
ありがとうございます!

哲治

ちなみに僕もこの本で微積分学を勉強しました。
説明があっさりしてるから行間広めですけれど、すごくたくさんの内容の入ったいい本ですよ。
説明の癖強いから賛否両論あるテキストですけれど。
斎藤本の方が内容も絞られていて癖は少なくです。
参考までに紹介しておきます。

Mathematica

ありがとうございますm(__)m
1つのテキストだけでは理解出来なかったりするので、ご紹介して頂いたテキストも参考にしてみます。