目次 / 微分積分 / 数学III

第15章 定積分の応用

—— 細かく刻んで足し合わせ、面積・体積・長さを測る ——

微分積分の最後の章です。第14章で身につけた積分の計算を、「形の大きさ」を測る道具として使います。はじめに、細い長方形を並べて足し合わせた和の極限が定積分になる**区分求積法**と、定積分を使って和や数を見積もる**定積分と不等式**を学びます。後半では、媒介変数で表された曲線の囲む面積、断面積から求める立体の体積、回転体の体積、動く点の道のり、そして**曲線の長さ**を求めます。第13章で速さを求めたサイクロイド・円の伸開線・対数らせんや、第11章の小話のカテナリーの長さも、ここで測ります。第14章で出会ったワリスの公式も、定積分の不等式で証明できます。

問題マップ記録を読み込み中…
未回答 25× 0○ 01か月定着 0

区分求積法

第8章の小話で、12+22+⋯+n2n3\dfrac{1^2 + 2^2 + \cdots + n^2}{n^3} が nn→∞{}\to \infty で 13\dfrac{1}{3} に近づき、それが ∫01x2 dx\displaystyle\int_0^1 x^2\,dx と同じ値になることを見ました。第14章の小話では、ライトが緯度を1分ずつ区切って 1cos⁡θ\dfrac{1}{\cos\theta} を足し上げ、地図の目盛りを作った話もしました。どちらも「細かく区切って足し合わせると定積分になる」という同じ考え方です。これを公式として整えます。

公式1:区分求積法

関数 f(x)f(x) が 00≦x{}\leqq x≦1{}\leqq 1 で連続なとき

lim⁡n→∞1n∑k=1nf(kn)\displaystyle \lim_{n \to \infty} \frac{1}{n}\sum_{k=1}^{n} f\left(\frac{k}{n}\right)=∫01f(x) dx\displaystyle {}= \int_0^1 f(x)\,dx
  • わけ 区間 00≦x{}\leqq x≦1{}\leqq 1 を nn 等分すると、幅 1n\dfrac{1}{n},高さ f(kn)f\left(\dfrac{k}{n}\right) の長方形が nn 個できます(図)。その面積の和が左辺の ∑\displaystyle\sum で、nn を大きくすると、曲線の下の面積 ∫01f(x) dx\displaystyle\int_0^1 f(x)\,dx に近づきます。
  • 和を kk=0{}= 0 から nn−1{}- 1 までにしても(長方形の左端の高さを使っても)、同じ極限になります。
  • 手順 ① 1n\dfrac{1}{n} をくくり出す → ② 残りを kn\dfrac{k}{n} だけの式 f(kn)f\left(\dfrac{k}{n}\right) に直す → ③ kn\dfrac{k}{n} を xx,1n\dfrac{1}{n} を dxdx,∑k=1n\displaystyle\sum_{k=1}^{n} を ∫01\displaystyle\int_0^1 に読みかえる。
x y O 1 1 y = x² 幅 1/n 高さ (k/n)² k/n

スマートフォンで昔のゲームのドット絵を拡大すると、曲線はがたがたの階段に見えます。ところが、画面の解像度を上げて点を細かくしていくと、階段は目立たなくなり、なめらかな曲線にしか見えなくなります。区分求積法の長方形は、ドット絵の1つ1つの点です。点を細かくした極限では、階段の面積と曲線の下の面積の区別がなくなります。

1n∑k=1nf(kn)\dfrac{1}{n}\displaystyle\sum_{k=1}^{n} f\left(\dfrac{k}{n}\right) の形の和の極限は、幅 1n\dfrac{1}{n} の長方形の面積の和の極限なので、定積分 ∫01f(x) dx\displaystyle\int_0^1 f(x)\,dx で求められるということです。

例題1:区分求積法

次の極限値を求めなさい。

(1) lim⁡n→∞12+22+⋯+n2n3\displaystyle \text{(1)}\ \lim_{n \to \infty} \frac{1^2 + 2^2 + \cdots + n^2}{n^3}(2) lim⁡n→∞∑k=1nnn2+k2\displaystyle \text{(2)}\ \lim_{n \to \infty} \sum_{k=1}^{n} \frac{n}{n^2 + k^2}

【解答】

(1) 1n\dfrac{1}{n} をくくり出すと、残りは kn\dfrac{k}{n} の式になります。

1n3∑k=1nk2\displaystyle \frac{1}{n^3}\sum_{k=1}^{n} k^2=1n∑k=1n(kn)2\displaystyle {}= \frac{1}{n}\sum_{k=1}^{n}\left(\frac{k}{n}\right)^2⟶ ∫01x2 dx\displaystyle {}\longrightarrow\ \int_0^1 x^2\,dx=13‾\displaystyle {}= \underline{\frac{1}{3}}

(2) 分母・分子を n2n^2 で割ります。

nn2+k2\displaystyle \frac{n}{n^2 + k^2}=1n⋅11+(kn)2\displaystyle {}= \frac{1}{n} \cdot \frac{1}{1 + \left(\dfrac{k}{n}\right)^2}

なので

lim⁡n→∞1n∑k=1n11+(kn)2\displaystyle \lim_{n \to \infty} \frac{1}{n}\sum_{k=1}^{n} \frac{1}{1 + \left(\dfrac{k}{n}\right)^2}=∫0111+x2 dx\displaystyle {}= \int_0^1 \frac{1}{1 + x^2}\,dx=π4‾\displaystyle {}= \underline{\frac{\pi}{4}}

(最後の定積分は、第14章 例題6(3)で xx=tan⁡θ{}= \tan\theta とおいて求めました。)

※ (1) は、第8章の小話で「区分求積の予告」として紹介した極限です。和の公式 ∑k=1nk2\displaystyle \sum_{k=1}^{n} k^2=n(n+1)(2n+1)6\displaystyle {}= \frac{n(n + 1)(2n + 1)}{6} を使っても 13\dfrac{1}{3} が出ますが、(2) のように和の公式がない場合でも、区分求積法なら求められます。

定積分と不等式

区分求積法は「和の極限を定積分で求める」方法でした。極限までいかなくても、長方形の和と定積分の大小を比べれば、和や定積分の値を不等式で見積もることができます。

公式2:定積分と不等式

aa≦x{}\leqq x≦b{}\leqq b で f(x)f(x),g(x)g(x) が連続で、f(x)f(x)≧g(x){}\geqq g(x) ならば

∫abf(x) dx\displaystyle \int_a^b f(x)\,dx≧∫abg(x) dx\displaystyle {}\geqq \int_a^b g(x)\,dx

等号が成り立つのは、区間のすべての xx で f(x)f(x)=g(x){}= g(x) のときだけです。つまり、f(x)f(x)=g(x){}= g(x) とならない xx が1つでもあれば、>> になります。

  • 和の見積もり f(x)f(x) が減少関数なら、kk≦x{}\leqq x≦k{}\leqq k+1{}+ 1 で f(k+1)f(k + 1)≦f(x){}\leqq f(x)≦f(k){}\leqq f(k) です。各辺を kk から kk+1{}+ 1 まで積分すると
f(k+1)\displaystyle f(k + 1)<∫kk+1f(x) dx\displaystyle {}< \int_k^{k+1} f(x)\,dx<f(k)\displaystyle {}< f(k)

(等号は区間の端だけで成り立つので、<< になります。)これを kk について足し合わせると、∑f(k)\displaystyle\sum f(k) を ∫f(x) dx\displaystyle\int f(x)\,dx ではさめます。

  • 式で書けない定積分の見積もり 原始関数が求められない f(x)f(x) でも、g(x)g(x)≦f(x){}\leqq f(x)≦h(x){}\leqq h(x) となる積分しやすい g(x)g(x),h(x)h(x) を見つければ、∫abf(x) dx\displaystyle\int_a^b f(x)\,dx の範囲がわかります(j10)。

時間貸しの駐車場には、「1時間ごとに料金がかかり、端数は切り上げ」の所があります。2時間10分とめても、3時間分の料金です。分単位で払う駐車場と比べると、切り上げの駐車場のほうが、いつでも高いか同じになります。和と定積分の比べ方も同じです。長方形の高さを区間の左端(高いほう)でとる和は、曲線の下の面積を「切り上げて」数えているので、定積分より大きくなります。

関数の大小は定積分の大小にそのまま受け継がれるので、長方形の和と曲線の下の面積を比べれば、和や定積分の値を不等式ではさんで見積もれるということです。

例題2:定積分と不等式

nn が 22 以上の整数のとき、次の不等式を示しなさい。

1\displaystyle 1+122\displaystyle {}+ \frac{1}{2^2}+132\displaystyle {}+ \frac{1}{3^2}+⋯\displaystyle {}+ \cdots+1n2\displaystyle {}+ \frac{1}{n^2}<2\displaystyle {}< 2−1n\displaystyle {}- \frac{1}{n}

【解答】

kk を 22 以上の整数とします。kk−1{}- 1≦x{}\leqq x≦k{}\leqq k では 1x2\dfrac{1}{x^2}≧1k2{}\geqq \dfrac{1}{k^2} で、等号は xx=k{}= k のときだけです。よって

1k2\displaystyle \frac{1}{k^2}<∫k−1k1x2 dx\displaystyle {}< \int_{k-1}^{k} \frac{1}{x^2}\,dx

これを kk=2,{}= 2, 3,\ 3, ⋯ ,\ \cdots, n\ n について足し合わせると、右辺の区間はつながって 11 から nn までになります。

∑k=2n1k2\displaystyle \sum_{k=2}^{n} \frac{1}{k^2}<∫1n1x2 dx\displaystyle {}< \int_1^n \frac{1}{x^2}\,dx=[ −1x ]1n\displaystyle {}= \Big[\,-\frac{1}{x}\,\Big]_1^n=1\displaystyle {}= 1−1n\displaystyle {}- \frac{1}{n}

両辺に 11(kk=1{}= 1 の項)を加えると

1‾\displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}1}+122‾\displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}{}+ \frac{1}{2^2}}+⋯‾\displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}{}+ \cdots}+1n2<2‾\displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}{}+ \frac{1}{n^2} < 2}−1n‾\displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}{}- \frac{1}{n}}(証明終)\displaystyle \text{(証明終)}

※ 右辺は 22 より小さいので、この和はいくら足しても 22 を超えません。第9章の小話で、yy=1x2{}= \dfrac{1}{x^2} の xx≧1{}\geqq 1 の部分は無限に続くのに面積が 11 だという話をしました。この不等式は、その面積 11 に最初の項 11 を足した 22 で、和を上から押さえています。実際の和の極限は π26\dfrac{\pi^2}{6}=1.6449⋯{}= 1.6449\cdots で、オイラーが1735年ごろに求めました。

面積(x = g(y) の形・媒介変数表示)

第9章では、yy=f(x){}= f(x) のグラフと xx 軸の間の面積を、縦に細い帯を並べて求めました。数IIIでは、曲線が xx=g(y){}= g(y) の形や、媒介変数 tt で表される場合にも広げます。

公式3:面積(x = g(y) の形・媒介変数表示)
  • yy で積分する cc≦y{}\leqq y≦d{}\leqq d で g(y)g(y)≧0{}\geqq 0 のとき、曲線 xx=g(y){}= g(y) と yy 軸,2直線 yy=c{}= c,yy=d{}= d で囲まれた部分の面積は
S\displaystyle S=∫cdg(y) dy\displaystyle {}= \int_c^d g(y)\,dy

(横に細い帯を並べる考え方です。2曲線の間なら「右 − 左」を積分します。)

  • 媒介変数表示の曲線 曲線が xx=f(t){}= f(t),yy=g(t){}= g(t) で表され、yy≧0{}\geqq 0 のとき、xx 軸との間の面積は、まず xx で書いた式 S=∫aby dxS = \displaystyle\int_a^b y\,dx を作り、xx=f(t){}= f(t) で置換します。
S\displaystyle S=∫aby dx\displaystyle {}= \int_a^b y\,dx=∫αβg(t) f′(t) dt\displaystyle {}= \int_\alpha^\beta g(t)\,f'(t)\,dt
xxa→ba \to b
ttα→β\alpha \to \beta

tt が増えるとき xx が減る向きなら、α\alpha>β{}> \beta となることもあります。区間の対応表を正直に書けば、符号は自然に正しくなります。

ランニングアプリは、走っている間、1秒ごとに「東へ何 m,北へ何 m」という位置を記録しています。地図の上のコースの形は、この「時刻ごとの位置」の記録から描かれます。媒介変数表示の曲線も同じで、xx と yy がそれぞれ時刻 tt の関数として記録されています。面積を測るときは、xx で書いた式を tt の記録に読みかえて足し合わせます。

xx=g(y){}= g(y) の形なら yy で積分し、媒介変数表示なら ∫y dx\displaystyle\int y\,dx を作ってから tt に置換すれば、数IIIの曲線でも面積が求められるということです。

例題3:面積(x = g(y) の形・媒介変数表示)

(1) 曲線 xx=y2{}= y^2−2y{}- 2y と yy 軸で囲まれた部分の面積を求めなさい。

(2) 曲線 xx=3cos⁡t{}= 3\cos t,yy=2sin⁡t (0≦t≦2π){}= 2\sin t\ (0 \leqq t \leqq 2\pi) で囲まれた部分の面積を求めなさい。


【解答】

(1) xx=y(y−2){}= y(y - 2) なので、曲線は yy=0,{}= 0, 2\ 2 で yy 軸と交わり、00≦y{}\leqq y≦2{}\leqq 2 では xx≦0{}\leqq 0(yy 軸の左側)です。「右 − 左」=0= 0−(y2−2y){}- (y^2 - 2y) を積分します。

S\displaystyle S=∫02(2y−y2) dy\displaystyle {}= \int_0^2 (2y - y^2)\,dy=[ y2−y33 ]02\displaystyle {}= \Big[\,y^2 - \frac{y^3}{3}\,\Big]_0^2=4\displaystyle {}= 4−83\displaystyle {}- \frac{8}{3}=43‾\displaystyle {}= \underline{\frac{4}{3}}

(第9章の6分の1公式を yy で使って、(2−0)36\dfrac{(2 - 0)^3}{6}=43{}= \dfrac{4}{3} としてもかまいません。)

(2) (x3)2\left(\dfrac{x}{3}\right)^2+(y2)2{}+ \left(\dfrac{y}{2}\right)^2=cos⁡2t{}= \cos^2 t+sin⁡2t{}+ \sin^2 t=1{}= 1 なので、この曲線は、半径 33 の円を縦方向に 23\dfrac{2}{3} 倍に縮めた形(楕円)です。xx 軸について対称なので、yy≧0{}\geqq 0 の部分(00≦t{}\leqq t≦π{}\leqq \pi)を2倍します。dxdx=−3sin⁡t dt{}= -3\sin t\,dt です。

xx−3→3-3 \to 3
ttπ→0\pi \to 0
∫−33y dx\displaystyle \int_{-3}^{3} y\,dx=∫π02sin⁡t⋅(−3sin⁡t) dt\displaystyle {}= \int_\pi^0 2\sin t \cdot (-3\sin t)\,dt=∫0π6sin⁡2t dt\displaystyle {}= \int_0^\pi 6\sin^2 t\,dt=6⋅π2\displaystyle {}= 6 \cdot \frac{\pi}{2}=3π\displaystyle {}= 3\pi

(∫0πsin⁡2t dt\displaystyle \int_0^\pi \sin^2 t\,dt=π2\displaystyle {}= \frac{\pi}{2} は第14章 j07(3)です。)よって

S\displaystyle S=2×3π\displaystyle {}= 2 \times 3\pi=6π‾\displaystyle {}= \underline{6\pi}

※ (2) は、半径 33 の円の面積 9π9\pi を 23\dfrac{2}{3} 倍した値になっています。縦の帯の長さがどれも 23\dfrac{2}{3} 倍に縮むので、面積も 23\dfrac{2}{3} 倍です。同じように、xx=acos⁡t{}= a\cos t,yy=bsin⁡t{}= b\sin t の囲む面積は πab\pi ab です。

立体の体積

面積は「細い帯の長さ」を積分して求めました。体積は「薄い板の面積」を積分して求めます。

公式4:立体の体積

立体を xx 軸に垂直な平面で切ったとき、位置 xx の切り口(断面)の面積が S(x)S(x) で、立体が aa≦x{}\leqq x≦b{}\leqq b の範囲にあるなら、立体の体積は

V\displaystyle V=∫abS(x) dx\displaystyle {}= \int_a^b S(x)\,dx
  • わけ 厚さ Δx\Delta x の薄い板の体積はほぼ S(x) ΔxS(x)\,\Delta x です。これを足し合わせた極限が、区分求積法と同じ考え方で定積分になります。
  • 手順 ① 軸 (xx 軸) を決める → ② 位置 xx の断面の形を調べ、面積 S(x)S(x) を式にする → ③ 範囲を決めて積分する。
  • 断面積がどの位置でも同じ2つの立体は、体積も等しくなります。第9章の小話で紹介したカヴァリエリの原理(祖暅の原理)は、この公式の特別な場合です。

パン屋さんで食パンを1斤買い、スライサーで薄く切ってもらったとします。1枚1枚の面積はパンの形によって少しずつ違いますが、「1枚の面積 × 厚さ」を全部の枚数ぶん足せば、1斤の体積になります。スライスが薄ければ薄いほど、この足し算は正確になります。立体の体積の公式は、無限に薄くスライスしたときの足し算です。

立体を平行な平面で薄く切り、断面積 S(x)S(x) を式で表して積分すれば、体積が求められるということです。

例題4:立体の体積

(1) 底面積が SS,高さが hh の角錐(または円錐)の体積が 13Sh\dfrac{1}{3}Sh であることを示しなさい。

(2) 底面の半径が aa の直円柱を、底面の直径 AB を通り底面と 45∘45^\circ の角をなす平面で切ります。切り取られた小さいほうの立体(くさび形)の体積を求めなさい。


【解答】

(1) 頂点から底面に下ろした垂線を xx 軸とし、頂点を原点にとります。頂点から距離 xx の断面は、底面と相似で、相似比は x:hx : h です。面積の比は相似比の2乗なので、断面積は S(x)S(x)=S⋅x2h2{}= S \cdot \dfrac{x^2}{h^2} です。

V\displaystyle V=∫0hSh2x2 dx\displaystyle {}= \int_0^h \frac{S}{h^2}x^2\,dx=Sh2⋅h33\displaystyle {}= \frac{S}{h^2} \cdot \frac{h^3}{3}=13Sh‾\displaystyle {}= \underline{\frac{1}{3}Sh}(証明終)\displaystyle \text{(証明終)}

(2) 底面の中心を原点 O,直径 AB を xx 軸とし、底面上で AB に垂直な向きを yy 軸にとります。くさびは底面の yy≧0{}\geqq 0 の半円の上にあります。位置 x (−a≦x≦a)x\ (-a \leqq x \leqq a) で xx 軸に垂直に切ると、断面は直角をはさむ2辺の長さが等しい直角二等辺三角形です(45∘45^\circ の斜面なので、横の長さ yy の所の高さも yy)。底面上の辺の長さは a2−x2\sqrt{a^2 - x^2} なので

S(x)\displaystyle S(x)=12(a2−x2)2\displaystyle {}= \frac{1}{2}\left(\sqrt{a^2 - x^2}\right)^2=a2−x22\displaystyle {}= \frac{a^2 - x^2}{2}V\displaystyle V=∫−aaa2−x22 dx\displaystyle {}= \int_{-a}^{a} \frac{a^2 - x^2}{2}\,dx=∫0a(a2−x2) dx\displaystyle {}= \int_0^a (a^2 - x^2)\,dx=a3\displaystyle {}= a^3−a33\displaystyle {}- \frac{a^3}{3}=23a3‾\displaystyle {}= \underline{\frac{2}{3}a^3}

※ (1) で、中学校で「そういうもの」として覚えた錐体の 13\dfrac{1}{3} が、∫0hx2 dx\displaystyle \int_0^h x^2\,dx=h33\displaystyle {}= \frac{h^3}{3} の 13\dfrac{1}{3} から来ていることがわかりました。(2) は、円柱の一部なのに答えに π\pi が現れません。yy 軸に垂直に切ると断面は横 2a2−y22\sqrt{a^2 - y^2},高さ yy の長方形になり、∫0a2ya2−y2 dy\displaystyle\int_0^a 2y\sqrt{a^2 - y^2}\,dy を置換積分で計算しても、同じ 23a3\dfrac{2}{3}a^3 が出ます。どの向きに切るかで計算の手間が変わるので、断面が簡単になる向きを選びます。

回転体の体積

図形を1本の直線のまわりに1回転させてできる立体を、回転体といいます。回転体の断面は円なので、断面積がすぐに式にできます。

公式5:回転体の体積
  • xx 軸のまわり 曲線 yy=f(x){}= f(x) と xx 軸,2直線 xx=a{}= a,xx=b (a<b){}= b\ (a < b) で囲まれた部分を xx 軸のまわりに1回転させてできる立体の体積は
V\displaystyle V=π∫aby2 dx\displaystyle {}= \pi\int_a^b y^2\,dx=π∫ab{f(x)}2 dx\displaystyle {}= \pi\int_a^b \{f(x)\}^2\,dx

(断面は半径 ∣f(x)∣|f(x)| の円なので、S(x)S(x)=π{f(x)}2{}= \pi\{f(x)\}^2 です。)

  • yy 軸のまわり 曲線 xx=g(y){}= g(y) と yy 軸,2直線 yy=c{}= c,yy=d{}= d で囲まれた部分なら V=π∫cdx2 dyV = \pi\displaystyle\int_c^d x^2\,dy。xx を yy の式で表してから積分します。
  • 2曲線の間の部分 00≦g(x){}\leqq g(x)≦f(x){}\leqq f(x) のとき、間の部分を xx 軸のまわりに回転させると、断面はドーナツ形(大きい円から小さい円を除いた形)なので
V\displaystyle V=π∫ab[{f(x)}2−{g(x)}2]dx\displaystyle {}= \pi\int_a^b \left[\{f(x)\}^2 - \{g(x)\}^2\right]dx

π∫ab{f(x)−g(x)}2 dx\pi\displaystyle\int_a^b \{f(x) - g(x)\}^2\,dx ではないことに注意します。

陶芸の「ろくろ」を思い浮かべてください。粘土を回転台にのせて回しながら手で形を整えると、どの高さで切っても、切り口がきれいな円になった器ができます。職人が決めているのは「高さごとの半径」だけです。回転体の体積も、高さ(位置 xx)ごとの半径 f(x)f(x) さえわかれば、円の面積 π{f(x)}2\pi\{f(x)\}^2 を積分して求められます。

回転体は断面が円なので、回転の軸からの距離(半径)を式で表し、π×(半径)2\pi \times (\text{半径})^2 を積分すれば体積が求められるということです。

例題5:回転体の体積

(1) 半径 rr の球の体積が 43πr3\dfrac{4}{3}\pi r^3 であることを示しなさい。

(2) 曲線 yy=ex{}= e^x と xx 軸,yy 軸,直線 xx=1{}= 1 で囲まれた部分を、xx 軸のまわりに1回転させてできる立体の体積を求めなさい。

(3) 曲線 yy=1{}= 1−x2 (x≧0){}- x^2\ (x \geqq 0) と xx 軸,yy 軸で囲まれた部分を、yy 軸のまわりに1回転させてできる立体の体積を求めなさい。


【解答】

(1) 半径 rr の球は、半円 yy=r2−x2 (−r≦x≦r){}= \sqrt{r^2 - x^2}\ (-r \leqq x \leqq r) を xx 軸のまわりに1回転させた立体です。

V\displaystyle V=π∫−rr(r2−x2) dx\displaystyle {}= \pi\int_{-r}^{r} (r^2 - x^2)\,dx=2π∫0r(r2−x2) dx\displaystyle {}= 2\pi\int_0^r (r^2 - x^2)\,dx=2π(r3−r33)\displaystyle {}= 2\pi\left(r^3 - \frac{r^3}{3}\right)=43πr3‾\displaystyle {}= \underline{\frac{4}{3}\pi r^3}(証明終)\displaystyle \text{(証明終)}

(2)

V\displaystyle V=π∫01e2x dx\displaystyle {}= \pi\int_0^1 e^{2x}\,dx=π[ e2x2 ]01\displaystyle {}= \pi\Big[\,\frac{e^{2x}}{2}\,\Big]_0^1=π2(e2−1)‾\displaystyle {}= \underline{\frac{\pi}{2}(e^2 - 1)}

(3) yy の範囲は 00≦y{}\leqq y≦1{}\leqq 1 で、x2x^2=1{}= 1−y{}- y です。xx そのものではなく x2x^2 だけあれば足りるので、根号は出てきません。

V\displaystyle V=π∫01x2 dy\displaystyle {}= \pi\int_0^1 x^2\,dy=π∫01(1−y) dy\displaystyle {}= \pi\int_0^1 (1 - y)\,dy=π[ y−y22 ]01\displaystyle {}= \pi\Big[\,y - \frac{y^2}{2}\,\Big]_0^1=π2‾\displaystyle {}= \underline{\frac{\pi}{2}}

※ (1) で、第2章の小話の「球の体積を微分すると表面積」を思い出してください。(43πr3)′\left(\dfrac{4}{3}\pi r^3\right)'=4πr2{}= 4\pi r^2 でした。今度は、断面積(円の面積)を積分して体積を作りました。(3) は、お椀を伏せたような形の立体です。

道のり

第13章では、位置を時刻で微分して速度を求めました。逆に、速度を積分すれば位置の変化がわかります。ただし、「位置の変化」と「実際に動いた道のり」は違います。

公式6:道のり
  • 直線上 数直線上を動く点 P の時刻 tt における速度が v(t)v(t) のとき、tt=a{}= a から tt=b{}= b までの
位置の変化量\displaystyle \text{位置の変化量}=∫abv(t) dt,\displaystyle {}= \int_a^b v(t)\,dt,道のり\displaystyle \text{道のり}=∫ab∣v(t)∣ dt\displaystyle {}= \int_a^b |v(t)|\,dt

時刻 tt=a{}= a の位置が x(a)x(a) なら、時刻 tt の位置は x(t)=x(a)+∫atv(u) dux(t) = x(a) + \displaystyle\int_a^t v(u)\,du です。

  • 平面上 座標平面上を動く点 P の座標が xx=f(t){}= f(t),yy=g(t){}= g(t) のとき、tt=a{}= a から tt=b{}= b までの道のりは、速さ ∣v⃗∣|\vec{v}| を積分して
∫ab∣v⃗∣ dt\displaystyle \int_a^b |\vec{v}|\,dt=∫ab(dxdt)2+(dydt)2 dt\displaystyle {}= \int_a^b \sqrt{\left(\frac{dx}{dt}\right)^2 + \left(\frac{dy}{dt}\right)^2}\,dt
  • 直線上の道のりでは、v(t)v(t) の符号が変わる時刻で区間を分けて、絶対値をはずします(第9章で xx 軸より下の面積を求めたのと同じです)。

家から公園まで散歩して、同じ道を帰ってきたとします。スマホの歩数計は、往復した分の距離を記録しています。けれども、「家からどれだけ離れたか」で見ると、帰宅した時点では 00 です。速度を積分して得られるのは「どれだけ離れたか」(位置の変化量)で、戻る向きの速度は負なので、行きと帰りが打ち消し合います。歩数計のように歩いた距離をすべて数えたいときは、速さ ∣v(t)∣|v(t)| を積分します。

速度を積分すると位置の変化量、速さ(速度の絶対値や ∣v⃗∣|\vec{v}|)を積分すると実際に動いた道のりが得られるということです。

例題6:道のり

(1) 数直線上を動く点 P の時刻 tt における速度が v(t)v(t)=sin⁡t{}= \sin t で、tt=0{}= 0 のとき原点にあります。tt=32π{}= \dfrac{3}{2}\pi のときの P の位置と、tt=0{}= 0 から tt=32π{}= \dfrac{3}{2}\pi までに P が動いた道のりを求めなさい。

(2) 座標平面上を動く点 P の時刻 tt における座標が xx=2cos⁡3t{}= 2\cos 3t,yy=2sin⁡3t{}= 2\sin 3t のとき、tt=0{}= 0 から tt=23π{}= \dfrac{2}{3}\pi までに P が動いた道のりを求めなさい。


【解答】

(1) 位置は

x(32π)\displaystyle x\left(\frac{3}{2}\pi\right)=0\displaystyle {}= 0+∫032πsin⁡t dt\displaystyle {}+ \int_0^{\frac{3}{2}\pi} \sin t\,dt=[ −cos⁡t ]032π\displaystyle {}= \Big[\,-\cos t\,\Big]_0^{\frac{3}{2}\pi}=0\displaystyle {}= 0−(−1)\displaystyle {}- (-1)=1\displaystyle {}= 1

道のりは、sin⁡t\sin t の符号が変わる tt=π{}= \pi で区間を分けます。

∫032π∣sin⁡t∣ dt\displaystyle \int_0^{\frac{3}{2}\pi} |\sin t|\,dt=∫0πsin⁡t dt\displaystyle {}= \int_0^\pi \sin t\,dt−∫π32πsin⁡t dt\displaystyle {}- \int_\pi^{\frac{3}{2}\pi} \sin t\,dt=[ −cos⁡t ]0π\displaystyle {}= \Big[\,-\cos t\,\Big]_0^\pi+[ cos⁡t ]π32π\displaystyle {}+ \Big[\,\cos t\,\Big]_\pi^{\frac{3}{2}\pi}=2\displaystyle {}= 2+1\displaystyle {}+ 1=3\displaystyle {}= 3位置は 1,‾\displaystyle \underline{\rule[-0.1944em]{0em}{0.8778em}\text{位置は}\ 1,}道のりは 3‾\displaystyle \underline{\rule[-0.1944em]{0em}{0.8778em}\quad \text{道のりは}\ 3}

(2) 第13章 例題2(1)で求めたとおり、速さは ∣v⃗∣|\vec{v}|=36sin⁡23t+36cos⁡23t{}= \sqrt{36\sin^2 3t + 36\cos^2 3t}=6{}= 6 です。

∫023π6 dt\displaystyle \int_0^{\frac{2}{3}\pi} 6\,dt=4π‾\displaystyle {}= \underline{4\pi}

※ (1) の P は、tt=π{}= \pi で位置 22 まで進んで折り返し、11 まで戻ってきました。位置の変化量は 11 でも、道のりは 22+1{}+ 1=3{}= 3 です。(2) の P は半径 22 の円の上を、tt=23π{}= \dfrac{2}{3}\pi でちょうど1周します。道のり 4π4\pi は、円周 2π×22\pi \times 2 と一致しています。

曲線の長さ

例題6(2)で、円の上を1周する点の道のりが、円周の長さになりました。ここから、曲線の長さを求める公式が得られます。曲線を「その上を動く点の通り道」と見て、道のりを計算すればよいのです。

公式7:曲線の長さ
  • 媒介変数表示 曲線 xx=f(t){}= f(t),yy=g(t) (α≦t≦β){}= g(t)\ (\alpha \leqq t \leqq \beta) の長さは
L\displaystyle L=∫αβ(dxdt)2+(dydt)2 dt\displaystyle {}= \int_\alpha^\beta \sqrt{\left(\frac{dx}{dt}\right)^2 + \left(\frac{dy}{dt}\right)^2}\,dt
  • yy=f(x){}= f(x) の形 xx=t{}= t,yy=f(t){}= f(t) と見ると dxdt\dfrac{dx}{dt}=1{}= 1 なので、曲線 yy=f(x) (a≦x≦b){}= f(x)\ (a \leqq x \leqq b) の長さは
L\displaystyle L=∫ab1+{f′(x)}2 dx\displaystyle {}= \int_a^b \sqrt{1 + \{f'(x)\}^2}\,dx
  • わけ 曲線を細かく区切ると、1つ1つの小さな部分はほぼ線分です。xx が Δx\Delta x,yy が Δy\Delta y だけ変わる線分の長さは、三平方の定理で (Δx)2+(Δy)2\sqrt{(\Delta x)^2 + (\Delta y)^2}=(ΔxΔt)2+(ΔyΔt)2 Δt{}= \sqrt{\left(\dfrac{\Delta x}{\Delta t}\right)^2 + \left(\dfrac{\Delta y}{\Delta t}\right)^2}\,\Delta t です。これを足し合わせた極限が上の定積分です。
  • 根号の中が (  )2(\ \ )^2 の形にまとまるように作られた問題が多く、半角の公式や sin⁡2\sin^2+cos⁡2{}+ \cos^2=1{}= 1 でまとめるのが計算の山場です。

地図の上で、曲がりくねった道の長さを測りたいとき、定規ではうまく測れません。そこで使われてきたのが、キルビメーター(曲線計)という道具です。小さな車輪を道に沿って転がすと、車輪の回転数から転がした距離が読み取れます。車輪は、道のどの部分でも、そこで進む向きにまっすぐ転がっているだけです。曲線の長さの公式も、ほんの少し進む間は「まっすぐ」と見て、その短い距離を足し合わせています。

曲線の長さは、曲線の上を動く点の道のりとして、速さ (dxdt)2+(dydt)2\sqrt{\left(\dfrac{dx}{dt}\right)^2 + \left(\dfrac{dy}{dt}\right)^2} を積分すれば求められるということです。

例題7:曲線の長さ

(1) サイクロイド xx=t{}= t−sin⁡t{}- \sin t,yy=1{}= 1−cos⁡t (0≦t≦2π){}- \cos t\ (0 \leqq t \leqq 2\pi) の長さを求めなさい。

(2) 曲線 yy=x22{}= \dfrac{x^2}{2}−log⁡x4 (1≦x≦e){}- \dfrac{\log x}{4}\ (1 \leqq x \leqq e) の長さを求めなさい。


【解答】

(1) 第13章 例題2(2)で、この曲線の上を動く点の速さを求めました。

(dxdt)2\displaystyle \left(\frac{dx}{dt}\right)^2+(dydt)2\displaystyle {}+ \left(\frac{dy}{dt}\right)^2=(1−cos⁡t)2\displaystyle {}= (1 - \cos t)^2+sin⁡2t\displaystyle {}+ \sin^2 t=2\displaystyle {}= 2−2cos⁡t\displaystyle {}- 2\cos t=4sin⁡2t2\displaystyle {}= 4\sin^2\frac{t}{2}

00≦t{}\leqq t≦2π{}\leqq 2\pi では sin⁡t2\sin\dfrac{t}{2}≧0{}\geqq 0 なので

L\displaystyle L=∫02π2sin⁡t2 dt\displaystyle {}= \int_0^{2\pi} 2\sin\frac{t}{2}\,dt=[ −4cos⁡t2 ]02π\displaystyle {}= \Big[\,-4\cos\frac{t}{2}\,\Big]_0^{2\pi}=−4cos⁡π\displaystyle {}= -4\cos\pi+4cos⁡0\displaystyle {}+ 4\cos 0=8‾\displaystyle {}= \underline{8}

(2) y′y'=x{}= x−14x{}- \dfrac{1}{4x} なので

1\displaystyle 1+(y′)2\displaystyle {}+ (y')^2=1\displaystyle {}= 1+x2\displaystyle {}+ x^2−12\displaystyle {}- \frac{1}{2}+116x2\displaystyle {}+ \frac{1}{16x^2}=x2\displaystyle {}= x^2+12\displaystyle {}+ \frac{1}{2}+116x2\displaystyle {}+ \frac{1}{16x^2}=(x+14x)2\displaystyle {}= \left(x + \frac{1}{4x}\right)^2

xx>0{}> 0 なので 1+(y′)2\sqrt{1 + (y')^2}=x{}= x+14x{}+ \dfrac{1}{4x} です。

L\displaystyle L=∫1e(x+14x)dx\displaystyle {}= \int_1^e \left(x + \frac{1}{4x}\right)dx=[ x22+log⁡x4 ]1e\displaystyle {}= \Big[\,\frac{x^2}{2} + \frac{\log x}{4}\,\Big]_1^e=e2−12\displaystyle {}= \frac{e^2 - 1}{2}+14\displaystyle {}+ \frac{1}{4}=2e2−14‾\displaystyle {}= \underline{\frac{2e^2 - 1}{4}}

※ (1) は、半径 11 の円が xx 軸の上を1回転する間に、周上の点が描く曲線(第10章の小話・第11章 j16・第13章 例題2(2))です。円が進む距離は円周 2π2\pi=6.28⋯{}= 6.28\cdots ですが、周上の点はそれより長い 88 を動きます。しかも、π\pi を含まないきれいな整数です(小話1)。(2) は、11+(y′)2{}+ (y')^2 が (x+14x)2\left(x + \dfrac{1}{4x}\right)^2 という完全平方になるように、係数 12\dfrac{1}{2} と 14\dfrac{1}{4} を選んだ曲線です。

この章のまとめと微分積分のふり返り

この章で測った量を、「何を積分するか」で並べておきます。

求めるもの積分するもの
和の極限(区分求積法)1n∑f(kn)→∫01f(x) dx\dfrac{1}{n}\displaystyle\sum f\left(\dfrac{k}{n}\right) \to \displaystyle\int_0^1 f(x)\,dx
和や定積分の見積もり関数の大小をそのまま積分(公式2)
面積帯の長さ(上 − 下,右 − 左,媒介変数なら y dxdty\,\dfrac{dx}{dt})
体積断面積 S(x)S(x)
回転体の体積π×(半径)2\pi \times (\text{半径})^2
位置の変化量/道のり速度 vv/速さ $
曲線の長さ(dxdt)2+(dydt)2\sqrt{\left(\dfrac{dx}{dt}\right)^2 + \left(\dfrac{dy}{dt}\right)^2},1+(y′)2\sqrt{1 + (y')^2}

どの行も、「細かく区切る → 小さな部分を簡単な形(長方形・薄い板・線分)で近似する → 足し合わせて極限をとる」という同じ考え方でできています。

これで微分積分の15章が終わりました。第1章では「駅に近づく電車」の極限から出発し、微分は「一瞬の変化の割合」、積分は「細かく区切って足し合わせたもの」として学んできました。第8章の微分積分学の基本定理で、この2つが表と裏の関係にあることがわかり、この章では、その積分が面積・体積・長さという「形の大きさ」まで測れることを確かめました。変化を調べる微分と、全体を足し上げる積分は、物理・経済・医療など、数学の外の世界でも使われ続けています。

基礎確認問題(全5問)

まずは公式をそのまま使う、ごく簡単な問題で確認しましょう。

問1

極限値 lim⁡n→∞1n∑k=1n(kn)3\displaystyle\lim_{n \to \infty} \frac{1}{n}\sum_{k=1}^{n}\left(\frac{k}{n}\right)^3 を求めなさい。

つまずいたときは:
答えを見る
答え

∫01x3 dx\displaystyle\int_0^1 x^3\,dx より 14‾\underline{\dfrac{1}{4}}

自己採点:
記録を読み込み中…

問2

曲線 xx=y2{}= y^2 と yy 軸,直線 yy=1{}= 1 で囲まれた部分の面積を求めなさい。

つまずいたときは:
答えを見る
答え

∫01y2 dy\displaystyle\int_0^1 y^2\,dy より 13‾\underline{\dfrac{1}{3}}

自己採点:
記録を読み込み中…

問3

00≦x{}\leqq x≦3{}\leqq 3 の範囲にある立体を、xx 軸に垂直な平面で切った断面の面積が x2x^2 のとき、この立体の体積を求めなさい。

つまずいたときは:
答えを見る
答え

∫03x2 dx\displaystyle\int_0^3 x^2\,dx より 9‾\underline{9}

自己採点:
記録を読み込み中…

問4

曲線 yy=x{}= \sqrt{x} と xx 軸,直線 xx=1{}= 1 で囲まれた部分を、xx 軸のまわりに1回転させてできる立体の体積を求めなさい。

つまずいたときは:
答えを見る
答え

π∫01x dx\pi\displaystyle\int_0^1 x\,dx より π2‾\underline{\dfrac{\pi}{2}}

自己採点:
記録を読み込み中…

問5

数直線上を動く点の時刻 tt における速度が v(t)v(t)=sin⁡t{}= \sin t のとき、tt=0{}= 0 から tt=π{}= \pi までに動いた道のりを求めなさい。

つまずいたときは:
答えを見る
答え

∫0πsin⁡t dt\displaystyle \int_0^\pi \sin t\,dt=[ −cos⁡t ]0π\displaystyle {}= \Big[\,-\cos t\,\Big]_0^\pi より 2‾\underline{2}

自己採点:
記録を読み込み中…

実践問題(全20問)

難易度マークは ★=基礎、★★=標準、★★★=入試レベルです。★から順に取り組みましょう。

問1 ★

(1) lim⁡n→∞∑k=1n1n+k\displaystyle \text{(1)}\ \lim_{n \to \infty} \sum_{k=1}^{n} \frac{1}{n + k}(2) lim⁡n→∞1n∑k=1nsin⁡kπn\displaystyle \text{(2)}\ \lim_{n \to \infty} \frac{1}{n}\sum_{k=1}^{n} \sin\frac{k\pi}{n}

上の極限値を求めなさい。

つまずいたときは:
答えを見る
答え

(1) log⁡2\log 2 (2) 2π\dfrac{2}{\pi}

解説

(1) 分母・分子を nn で割って、1n\dfrac{1}{n} をくくり出します。

∑k=1n1n+k\displaystyle \sum_{k=1}^{n} \frac{1}{n + k}=1n∑k=1n11+kn\displaystyle {}= \frac{1}{n}\sum_{k=1}^{n} \frac{1}{1 + \dfrac{k}{n}}⟶ ∫0111+x dx\displaystyle {}\longrightarrow\ \int_0^1 \frac{1}{1 + x}\,dx=[ log⁡(1+x) ]01\displaystyle {}= \Big[\,\log(1 + x)\,\Big]_0^1=log⁡2‾\displaystyle {}= \underline{\log 2}

(2) f(x)f(x)=sin⁡πx{}= \sin \pi x とすると、sin⁡kπn\sin\dfrac{k\pi}{n}=f(kn){}= f\left(\dfrac{k}{n}\right) です。

∫01sin⁡πx dx\displaystyle \int_0^1 \sin \pi x\,dx=[ −1πcos⁡πx ]01\displaystyle {}= \Big[\,-\frac{1}{\pi}\cos \pi x\,\Big]_0^1=1π\displaystyle {}= \frac{1}{\pi}+1π\displaystyle {}+ \frac{1}{\pi}=2π‾\displaystyle {}= \underline{\frac{2}{\pi}}

((2) は、yy=sin⁡x{}= \sin x の 00≦x{}\leqq x≦π{}\leqq \pi での「平均の高さ」です。山の頂上は 11 ですが、平均すると 2π\dfrac{2}{\pi}=0.636⋯{}= 0.636\cdots になります。)

自己採点:
記録を読み込み中…

問2 ★

(1) 曲線 yy=ex{}= e^x と直線 yy=e{}= e,yy 軸で囲まれた部分

(2) 曲線 yy=1x{}= \dfrac{1}{x} と2直線 yy=x{}= x,xx=2{}= 2 で囲まれた部分

上の部分の面積を求めなさい。

つまずいたときは:
答えを見る
答え

(1) 11 (2) 32\dfrac{3}{2}−log⁡2{}- \log 2

解説

(1) yy=ex{}= e^x と yy=e{}= e の交点は xx=1{}= 1 で、00≦x{}\leqq x≦1{}\leqq 1 では exe^x≦e{}\leqq e です。「上 − 下」を積分します。

∫01(e−ex) dx\displaystyle \int_0^1 (e - e^x)\,dx=[ ex−ex ]01\displaystyle {}= \Big[\,ex - e^x\,\Big]_0^1=(e−e)\displaystyle {}= (e - e)−(0−1)\displaystyle {}- (0 - 1)=1‾\displaystyle {}= \underline{1}

(2) 1x\dfrac{1}{x}=x (x>0){}= x\ (x > 0) より交点は xx=1{}= 1 です。11≦x{}\leqq x≦2{}\leqq 2 では xx≧1x{}\geqq \dfrac{1}{x} なので

∫12(x−1x)dx\displaystyle \int_1^2 \left(x - \frac{1}{x}\right)dx=[ x22−log⁡x ]12\displaystyle {}= \Big[\,\frac{x^2}{2} - \log x\,\Big]_1^2=(2−log⁡2)\displaystyle {}= \left(2 - \log 2\right)−12\displaystyle {}- \frac{1}{2}=32‾\displaystyle {}= \underline{\rule[-0.686em]{0em}{2.0074em}\frac{3}{2}}−log⁡2‾\displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}{}- \log 2}
自己採点:
記録を読み込み中…

問3 ★

(1) 曲線 yy=log⁡x{}= \log x と xx 軸,yy 軸,直線 yy=1{}= 1 で囲まれた部分

(2) 曲線 yy=x3 (x≧0){}= x^3\ (x \geqq 0) と yy 軸,直線 yy=8{}= 8 で囲まれた部分

上の部分の面積を、yy で積分して求めなさい。

つまずいたときは:
答えを見る
答え

(1) ee−1{}- 1 (2) 1212

解説

(1) yy=log⁡x{}= \log x を xx について解くと xx=ey{}= e^y です。00≦y{}\leqq y≦1{}\leqq 1 で、yy 軸(xx=0{}= 0)から曲線までの横の長さ eye^y を積分します。

∫01ey dy\displaystyle \int_0^1 e^y\,dy=[ ey ]01\displaystyle {}= \Big[\,e^y\,\Big]_0^1=e‾\displaystyle {}= \underline{\rule[-0.0833em]{0em}{0.7277em}e}−1‾\displaystyle \underline{\rule[-0.0833em]{0em}{0.7277em}{}- 1}

(2) xx=y13{}= y^{\frac{1}{3}} なので

∫08y13 dy\displaystyle \int_0^8 y^{\frac{1}{3}}\,dy=[ 34y43 ]08\displaystyle {}= \Big[\,\frac{3}{4}y^{\frac{4}{3}}\,\Big]_0^8=34⋅16\displaystyle {}= \frac{3}{4} \cdot 16=12‾\displaystyle {}= \underline{12}

((2) を xx で積分すると、縦 88・横 22 の長方形から曲線の下の部分を引いて 16−∫02x3 dx=16−4=1216 - \displaystyle\int_0^2 x^3\,dx = 16 - 4 = 12 となり、一致します。(1) を xx で積分すると log⁡x\log x の積分(第14章 例題7(2))が要るので、yy で積分するほうが楽です。)

自己採点:
記録を読み込み中…

問4 ★

座標平面上の円 x2x^2+y2{}+ y^2≦1{}\leqq 1 を底面とする立体があります。この立体を xx 軸に垂直な平面で切ると、切り口はつねに、底面上の弦を1辺とする正方形になります。この立体の体積を求めなさい。

つまずいたときは:
答えを見る
答え

163\dfrac{16}{3}

解説

位置 x (−1≦x≦1)x\ (-1 \leqq x \leqq 1) での弦の長さは 21−x22\sqrt{1 - x^2} なので、断面積は

S(x)\displaystyle S(x)=(21−x2)2\displaystyle {}= \left(2\sqrt{1 - x^2}\right)^2=4(1−x2)\displaystyle {}= 4(1 - x^2) V\displaystyle V=∫−114(1−x2) dx\displaystyle {}= \int_{-1}^{1} 4(1 - x^2)\,dx=8∫01(1−x2) dx\displaystyle {}= 8\int_0^1 (1 - x^2)\,dx=8⋅23\displaystyle {}= 8 \cdot \frac{2}{3}=163‾\displaystyle {}= \underline{\frac{16}{3}}

(断面を2乗した式が根号のない多項式になるので、計算は第8章の範囲で済みます。)

自己採点:
記録を読み込み中…

問5 ★

曲線 yy=sin⁡x (0≦x≦π){}= \sin x\ (0 \leqq x \leqq \pi) と xx 軸で囲まれた部分を、xx 軸のまわりに1回転させてできる立体の体積を求めなさい。

つまずいたときは:
答えを見る
答え

π22\dfrac{\pi^2}{2}

解説
V\displaystyle V=π∫0πsin⁡2x dx\displaystyle {}= \pi\int_0^\pi \sin^2 x\,dx=π∫0π1−cos⁡2x2 dx\displaystyle {}= \pi\int_0^\pi \frac{1 - \cos 2x}{2}\,dx=π[ x2−sin⁡2x4 ]0π\displaystyle {}= \pi\Big[\,\frac{x}{2} - \frac{\sin 2x}{4}\,\Big]_0^\pi=π22‾\displaystyle {}= \underline{\frac{\pi^2}{2}}

(sin⁡2x\sin^2 x は半角の公式で次数を下げます(第14章 公式4)。)

自己採点:
記録を読み込み中…

問6 ★

放物線 yy=x2{}= x^2 と直線 yy=2x{}= 2x で囲まれた部分を、yy 軸のまわりに1回転させてできる立体の体積を求めなさい。

つまずいたときは:
答えを見る
答え

83π\dfrac{8}{3}\pi

解説

交点は x2x^2=2x{}= 2x より (0, 0)(0,\ 0),(2, 4)(2,\ 4) で、図形は xx≧0{}\geqq 0 の側にあります。yy で見ると、00≦y{}\leqq y≦4{}\leqq 4 で、直線上の点は xx=y2{}= \dfrac{y}{2},放物線上の点は xx=y{}= \sqrt{y} で、y2\dfrac{y}{2}≦y{}\leqq \sqrt{y} です。

断面はドーナツ形なので、「外側の半径2^2 − 内側の半径2^2」を積分します。

V\displaystyle V=π∫04{(y)2−(y2)2}dy\displaystyle {}= \pi\int_0^4 \left\{\left(\sqrt{y}\right)^2 - \left(\frac{y}{2}\right)^2\right\}dy=π∫04(y−y24)dy\displaystyle {}= \pi\int_0^4 \left(y - \frac{y^2}{4}\right)dy=π(8−163)\displaystyle {}= \pi\left(8 - \frac{16}{3}\right)=83π‾\displaystyle {}= \underline{\frac{8}{3}\pi}

(π∫04(y−y2)2dy\pi\displaystyle\int_0^4 \left(\sqrt{y} - \frac{y}{2}\right)^2 dy としてしまうのが、よくある間違いです。)

自己採点:
記録を読み込み中…

問7 ★

数直線上を動く点 P の時刻 tt における速度が v(t)v(t)=t2{}= t^2−4t{}- 4t+3{}+ 3 のとき、tt=0{}= 0 から tt=3{}= 3 までの、P の位置の変化量と、P が動いた道のりを求めなさい。

つまずいたときは:
答えを見る
答え

位置の変化量 00,道のり 83\dfrac{8}{3}

解説

F(t)F(t)=t33{}= \dfrac{t^3}{3}−2t2{}- 2t^2+3t{}+ 3t とすると F′(t)F'(t)=v(t){}= v(t) で、F(0)F(0)=0{}= 0,F(1)F(1)=43{}= \dfrac{4}{3},F(3)F(3)=0{}= 0 です。

位置の変化量は

∫03v(t) dt\displaystyle \int_0^3 v(t)\,dt=F(3)\displaystyle {}= F(3)−F(0)\displaystyle {}- F(0)=0‾\displaystyle {}= \underline{0}

v(t)v(t)=(t−1)(t−3){}= (t - 1)(t - 3) は 00≦t{}\leqq t≦1{}\leqq 1 で 00 以上、11≦t{}\leqq t≦3{}\leqq 3 で 00 以下なので、道のりは

∫01v(t) dt\displaystyle \int_0^1 v(t)\,dt−∫13v(t) dt\displaystyle {}- \int_1^3 v(t)\,dt=(F(1)−F(0))\displaystyle {}= \bigl(F(1) - F(0)\bigr)−(F(3)−F(1))\displaystyle {}- \bigl(F(3) - F(1)\bigr)=43\displaystyle {}= \frac{4}{3}+43\displaystyle {}+ \frac{4}{3}=83‾\displaystyle {}= \underline{\frac{8}{3}}

(P は tt=1{}= 1 まで正の向きに 43\dfrac{4}{3} 進み、そこで折り返して tt=3{}= 3 で出発点に戻ってきます。)

自己採点:
記録を読み込み中…

問8 ★

曲線 yy=23xx (0≦x≦3){}= \dfrac{2}{3}x\sqrt{x}\ (0 \leqq x \leqq 3) の長さを求めなさい。

つまずいたときは:
答えを見る
答え

143\dfrac{14}{3}

解説

yy=23x32{}= \dfrac{2}{3}x^{\frac{3}{2}} なので y′y'=x12{}= x^{\frac{1}{2}},11+(y′)2{}+ (y')^2=1{}= 1+x{}+ x です。

L\displaystyle L=∫031+x dx\displaystyle {}= \int_0^3 \sqrt{1 + x}\,dx=[ 23(1+x)32 ]03\displaystyle {}= \Big[\,\frac{2}{3}(1 + x)^{\frac{3}{2}}\,\Big]_0^3=23(8−1)\displaystyle {}= \frac{2}{3}(8 - 1)=143‾\displaystyle {}= \underline{\frac{14}{3}}

(この曲線は、デカルトが「測れない」と考えた種類の曲線の中で、はじめて長さが求められたものの仲間です。小話1を見てください。)

自己採点:
記録を読み込み中…

問9 ★★

極限値 lim⁡n→∞{(n+1)(n+2)⋯(2n)nn}1n\displaystyle\lim_{n \to \infty} \left\{\frac{(n + 1)(n + 2)\cdots(2n)}{n^n}\right\}^{\frac{1}{n}} を求めなさい。

つまずいたときは:
答えを見る
答え

4e\dfrac{4}{e}

解説

nn 乗根と積のままでは区分求積法が使えないので、自然対数をとって和に直します。求める式を ana_n とすると

log⁡an\displaystyle \log a_n=1n∑k=1nlog⁡n+kn\displaystyle {}= \frac{1}{n}\sum_{k=1}^{n} \log\frac{n + k}{n}=1n∑k=1nlog⁡(1+kn)\displaystyle {}= \frac{1}{n}\sum_{k=1}^{n} \log\left(1 + \frac{k}{n}\right)

区分求積法より

lim⁡n→∞log⁡an\displaystyle \lim_{n \to \infty} \log a_n=∫01log⁡(1+x) dx\displaystyle {}= \int_0^1 \log(1 + x)\,dx

tt=1{}= 1+x{}+ x とおくと、第14章 例題7(2) の ∫12log⁡t dt\displaystyle\int_1^2 \log t\,dt と同じ形です。

∫12log⁡t dt\displaystyle \int_1^2 \log t\,dt=[ tlog⁡t−t ]12\displaystyle {}= \Big[\,t\log t - t\,\Big]_1^2=(2log⁡2−2)\displaystyle {}= (2\log 2 - 2)−(0−1)\displaystyle {}- (0 - 1)=2log⁡2\displaystyle {}= 2\log 2−1\displaystyle {}- 1

log⁡an\log a_n→2log⁡2{}\to 2\log 2−1{}- 1 なので、ana_n→e2log⁡2−1{}\to e^{2\log 2 - 1}=elog⁡4e{}= \dfrac{e^{\log 4}}{e}=4e‾{}= \underline{\dfrac{4}{e}} です。

(exe^x は連続なので、log⁡an\log a_n の極限から ana_n の極限がわかります。)

自己採点:
記録を読み込み中…

問10 ★★

すべての実数 tt で ete^t≧1{}\geqq 1+t{}+ t が成り立ち、等号は tt=0{}= 0 のときに限ることを用いてよいものとします。次の不等式を示しなさい。

23\displaystyle \frac{2}{3}<∫01e−x2 dx\displaystyle {}< \int_0^1 e^{-x^2}\,dx<π4\displaystyle {}< \frac{\pi}{4}

上の不等式を示しなさい。

つまずいたときは:
答えを見る
答え

11−x2{}- x^2≦e−x2{}\leqq e^{-x^2}≦11+x2{}\leqq \dfrac{1}{1 + x^2}(等号は xx=0{}= 0 のみ)を 00 から 11 まで積分して示される。

解説

tt=−x2{}= -x^2 とすると e−x2e^{-x^2}≧1{}\geqq 1−x2{}- x^2,tt=x2{}= x^2 とすると ex2e^{x^2}≧1{}\geqq 1+x2{}+ x^2,つまり e−x2e^{-x^2}≦11+x2{}\leqq \dfrac{1}{1 + x^2} です。どちらも等号は xx=0{}= 0 のときだけです。

1\displaystyle 1−x2\displaystyle {}- x^2≦e−x2\displaystyle {}\leqq e^{-x^2}≦11+x2\displaystyle {}\leqq \frac{1}{1 + x^2}(0≦x≦1)\displaystyle (0 \leqq x \leqq 1)

等号が成り立たない xx があるので、積分すると不等号は << になります(公式2)。

∫01(1−x2) dx\displaystyle \int_0^1 (1 - x^2)\,dx=23,\displaystyle {}= \frac{2}{3},∫0111+x2 dx\displaystyle \int_0^1 \frac{1}{1 + x^2}\,dx=π4\displaystyle {}= \frac{\pi}{4}

(後者は第14章 例題6(3))なので、23<∫01e−x2 dx<π4\dfrac{2}{3} < \displaystyle\int_0^1 e^{-x^2}\,dx < \dfrac{\pi}{4} です。(証明終)

(e−x2e^{-x^2} の原始関数は式で書けません(第7章の小話)。それでも値は 0.6670.667 と 0.7850.785 の間にあるとわかります。実際の値は 0.7468⋯0.7468\cdots です。)

自己採点:
記録を読み込み中…

問11 ★★

nn が 22 以上の整数のとき、次の不等式を示しなさい。

log⁡(n+1)\displaystyle \log(n + 1)<1\displaystyle {}< 1+12\displaystyle {}+ \frac{1}{2}+13\displaystyle {}+ \frac{1}{3}+⋯\displaystyle {}+ \cdots+1n\displaystyle {}+ \frac{1}{n}<1\displaystyle {}< 1+log⁡n\displaystyle {}+ \log n

上の不等式を示しなさい。

つまずいたときは:
答えを見る
答え

1k+1<∫kk+1dxx<1k\dfrac{1}{k + 1} < \displaystyle\int_k^{k+1} \frac{dx}{x} < \dfrac{1}{k} を kk について足し合わせて示される。

解説

kk を正の整数とします。kk≦x{}\leqq x≦k{}\leqq k+1{}+ 1 では 1k+1\dfrac{1}{k + 1}≦1x{}\leqq \dfrac{1}{x}≦1k{}\leqq \dfrac{1}{k} で、等号は区間の端だけなので

1k+1\displaystyle \frac{1}{k + 1}<∫kk+11x dx\displaystyle {}< \int_k^{k+1} \frac{1}{x}\,dx<1k\displaystyle {}< \frac{1}{k}

左の不等式 右側の不等式を kk=1,{}= 1, 2,\ 2, ⋯ ,\ \cdots, n\ n について足すと

∫1n+11x dx\displaystyle \int_1^{n+1} \frac{1}{x}\,dx<∑k=1n1k,\displaystyle {}< \sum_{k=1}^{n} \frac{1}{k},つまり\displaystyle \text{つまり}log⁡(n+1)\displaystyle \log(n + 1)<1\displaystyle {}< 1+12\displaystyle {}+ \frac{1}{2}+⋯\displaystyle {}+ \cdots+1n\displaystyle {}+ \frac{1}{n}

右の不等式 左側の不等式を kk=1,{}= 1, 2,\ 2, ⋯ ,\ \cdots, n\ n−1{}- 1 について足すと

12\displaystyle \frac{1}{2}+13\displaystyle {}+ \frac{1}{3}+⋯\displaystyle {}+ \cdots+1n\displaystyle {}+ \frac{1}{n}<∫1n1x dx\displaystyle {}< \int_1^n \frac{1}{x}\,dx=log⁡n\displaystyle {}= \log n

両辺に 11 を加えて、11+12{}+ \dfrac{1}{2}+⋯{}+ \cdots+1n{}+ \dfrac{1}{n}<1{}< 1+log⁡n{}+ \log n です。(証明終)

(左の不等式から、log⁡(n+1)\log(n + 1)→∞{}\to \infty なので調和級数は発散します(第10章の小話)。右の不等式から、その増え方は log⁡n\log n 程度のゆっくりしたものだとわかります。nn=100{}= 100 でも和は 11+log⁡100{}+ \log 100=5.6⋯{}= 5.6\cdots より小さいのです。)

自己採点:
記録を読み込み中…

問12 ★★

サイクロイド xx=t{}= t−sin⁡t{}- \sin t,yy=1{}= 1−cos⁡t (0≦t≦2π){}- \cos t\ (0 \leqq t \leqq 2\pi) と xx 軸で囲まれた部分の面積を求めなさい。

つまずいたときは:
答えを見る
答え

3π3\pi

解説

00≦t{}\leqq t≦2π{}\leqq 2\pi で yy≧0{}\geqq 0 です。dxdt\dfrac{dx}{dt}=1{}= 1−cos⁡t{}- \cos t≧0{}\geqq 0 なので、tt が 00 から 2π2\pi まで増えるとき、xx は 00 から 2π2\pi まで増えます。

xx0→2π0 \to 2\pi
tt0→2π0 \to 2\pi
S\displaystyle S=∫02πy dx\displaystyle {}= \int_0^{2\pi} y\,dx=∫02π(1−cos⁡t)(1−cos⁡t) dt\displaystyle {}= \int_0^{2\pi} (1 - \cos t)(1 - \cos t)\,dt=∫02π(1−2cos⁡t+cos⁡2t) dt\displaystyle {}= \int_0^{2\pi} (1 - 2\cos t + \cos^2 t)\,dt

∫02πcos⁡t dt\displaystyle \int_0^{2\pi} \cos t\,dt=0\displaystyle {}= 0,∫02πcos⁡2t dt\displaystyle \int_0^{2\pi} \cos^2 t\,dt=∫02π1+cos⁡2t2 dt\displaystyle {}= \int_0^{2\pi} \frac{1 + \cos 2t}{2}\,dt=π\displaystyle {}= \pi なので

S\displaystyle S=2π\displaystyle {}= 2\pi−0\displaystyle {}- 0+π\displaystyle {}+ \pi=3π‾\displaystyle {}= \underline{3\pi}

(転がる円(半径 11)の面積 π\pi のちょうど 33 倍です。この事実は、ガリレオが紙を切って重さを量り、およそ3倍と見当をつけたともいわれています(※諸説あり)。)

自己採点:
記録を読み込み中…

問13 ★★

00 以上の整数 nn について In=∫0π2sin⁡nt dtI_n = \displaystyle\int_0^{\frac{\pi}{2}} \sin^n t\,dt とするとき、nn≧2{}\geqq 2 で InI_n=n−1nIn−2{}= \dfrac{n - 1}{n}I_{n-2} が成り立つことを用いてよいものとします。曲線 xx=cos⁡3t{}= \cos^3 t,yy=sin⁡3t (0≦t≦2π){}= \sin^3 t\ (0 \leqq t \leqq 2\pi) で囲まれた部分の面積を求めなさい。

つまずいたときは:
答えを見る
答え

38π\dfrac{3}{8}\pi

解説

tt を −t-t に変えると yy だけ符号が変わり、π\pi−t{}- t に変えると xx だけ符号が変わるので、曲線は xx 軸・yy 軸について対称です。第1象限の部分(00≦t{}\leqq t≦π2{}\leqq \dfrac{\pi}{2})の面積を4倍します。

dxdt\dfrac{dx}{dt}=−3cos⁡2tsin⁡t{}= -3\cos^2 t\sin t で、tt が 00 から π2\dfrac{\pi}{2} まで増えるとき、xx は 11 から 00 まで減ります。

xx0→10 \to 1
ttπ2→0\dfrac{\pi}{2} \to 0
∫01y dx\displaystyle \int_0^1 y\,dx=∫π20sin⁡3t (−3cos⁡2tsin⁡t) dt\displaystyle {}= \int_{\frac{\pi}{2}}^0 \sin^3 t\,(-3\cos^2 t\sin t)\,dt=3∫0π2sin⁡4tcos⁡2t dt\displaystyle {}= 3\int_0^{\frac{\pi}{2}} \sin^4 t\cos^2 t\,dt

cos⁡2t\cos^2 t=1{}= 1−sin⁡2t{}- \sin^2 t として

3∫0π2(sin⁡4t−sin⁡6t) dt\displaystyle 3\int_0^{\frac{\pi}{2}} (\sin^4 t - \sin^6 t)\,dt=3(I4−I6)\displaystyle {}= 3(I_4 - I_6)

I4I_4=34⋅12⋅π2{}= \dfrac{3}{4} \cdot \dfrac{1}{2} \cdot \dfrac{\pi}{2}=316π{}= \dfrac{3}{16}\pi,I6I_6=56I4{}= \dfrac{5}{6}I_4=532π{}= \dfrac{5}{32}\pi なので、3(I4−I6)3(I_4 - I_6)=3⋅π32{}= 3 \cdot \dfrac{\pi}{32}=332π{}= \dfrac{3}{32}\pi です。

S\displaystyle S=4×332π\displaystyle {}= 4 \times \frac{3}{32}\pi=38π‾\displaystyle {}= \underline{\frac{3}{8}\pi}

(この曲線はアステロイド(星芒形)といい、4つのとがった点をもつ星のような形です。第14章 j20 の InI_n が、ここで役に立ちました。)

自己採点:
記録を読み込み中…

問14 ★★

曲線 yy=log⁡x{}= \log x と xx 軸,直線 xx=e{}= e で囲まれた部分を DD とします。

(1) DD を xx 軸のまわりに1回転させてできる立体の体積を求めなさい。

(2) DD を yy 軸のまわりに1回転させてできる立体の体積を求めなさい。

つまずいたときは:
答えを見る
答え

(1) π(e−2)\pi(e - 2) (2) π2(e2+1)\dfrac{\pi}{2}(e^2 + 1)

解説

DD は 11≦x{}\leqq x≦e{}\leqq e,00≦y{}\leqq y≦log⁡x{}\leqq \log x の部分です。

(1) V1=π∫1e(log⁡x)2 dxV_1 = \pi\displaystyle\int_1^e (\log x)^2\,dx です。f(x)f(x)=(log⁡x)2{}= (\log x)^2,g′(x)g'(x)=1{}= 1 として部分積分すると

∫1e(log⁡x)2 dx\displaystyle \int_1^e (\log x)^2\,dx=[ x(log⁡x)2 ]1e\displaystyle {}= \Big[\,x(\log x)^2\,\Big]_1^e−∫1ex⋅2log⁡xx dx\displaystyle {}- \int_1^e x \cdot \frac{2\log x}{x}\,dx=e\displaystyle {}= e−2∫1elog⁡x dx\displaystyle {}- 2\int_1^e \log x\,dx=e\displaystyle {}= e−2⋅1\displaystyle {}- 2 \cdot 1

(∫1elog⁡x dx\displaystyle \int_1^e \log x\,dx=1\displaystyle {}= 1 は第14章 例題7(2)です。)

V1\displaystyle V_1=π(e−2)‾\displaystyle {}= \underline{\pi(e - 2)}

(2) yy で見ると、00≦y{}\leqq y≦1{}\leqq 1 で、DD は xx=ey{}= e^y から xx=e{}= e までの横の線分です。断面は外側の半径 ee,内側の半径 eye^y のドーナツ形なので

V2\displaystyle V_2=π∫01(e2−e2y) dy\displaystyle {}= \pi\int_0^1 (e^2 - e^{2y})\,dy=π(e2−[ e2y2 ]01)\displaystyle {}= \pi\left(e^2 - \Big[\,\frac{e^{2y}}{2}\,\Big]_0^1\right)=π(e2−e2−12)\displaystyle {}= \pi\left(e^2 - \frac{e^2 - 1}{2}\right)=π2(e2+1)‾\displaystyle {}= \underline{\frac{\pi}{2}(e^2 + 1)}

((2) を xx で積分しようとすると、yy=log⁡x{}= \log x を回転の半径として使えません。yy 軸のまわりの回転では、xx を yy の式で表すのが基本です。)

自己採点:
記録を読み込み中…

問15 ★★

(1) 曲線 xx=cos⁡t{}= \cos t+tsin⁡t{}+ t\sin t,yy=sin⁡t{}= \sin t−tcos⁡t (0≦t≦2π){}- t\cos t\ (0 \leqq t \leqq 2\pi) の長さを求めなさい。

(2) 曲線 xx=etcos⁡t{}= e^t\cos t,yy=etsin⁡t{}= e^t\sin t の 00≦t{}\leqq t≦π{}\leqq \pi の部分の長さを求めなさい。

(3) (2) の曲線の −T-T≦t{}\leqq t≦0{}\leqq 0 の部分の長さを L(T)L(T) とするとき、lim⁡T→∞L(T)\displaystyle\lim_{T \to \infty} L(T) を求めなさい。

つまずいたときは:
答えを見る
答え

(1) 2π22\pi^2 (2) 2(eπ−1)\sqrt{2}(e^\pi - 1) (3) 2\sqrt{2}

解説

曲線の長さは、その上を動く点の速さの積分です。どちらの曲線も、第13章で速さを求めました。

(1) 第13章 j19 より dxdt\dfrac{dx}{dt}=tcos⁡t{}= t\cos t,dydt\dfrac{dy}{dt}=tsin⁡t{}= t\sin t で、tt≧0{}\geqq 0 なので速さは tt です。

L\displaystyle L=∫02πt dt\displaystyle {}= \int_0^{2\pi} t\,dt=[ t22 ]02π\displaystyle {}= \Big[\,\frac{t^2}{2}\,\Big]_0^{2\pi}=2π2‾\displaystyle {}= \underline{2\pi^2}

(2) 第13章 j11 より、速さは 2et\sqrt{2}e^t です。

L\displaystyle L=∫0π2et dt\displaystyle {}= \int_0^\pi \sqrt{2}e^t\,dt=2(eπ−1)‾\displaystyle {}= \underline{\sqrt{2}(e^\pi - 1)}

(3)

L(T)\displaystyle L(T)=∫−T02et dt\displaystyle {}= \int_{-T}^0 \sqrt{2}e^t\,dt=2(1−e−T)\displaystyle {}= \sqrt{2}(1 - e^{-T})⟶ 2‾\displaystyle {}\longrightarrow\ \underline{\sqrt{2}}(T→∞)\displaystyle (T \to \infty)

((1) は円の伸開線です。糸をほどいた長さ tt の糸の先が描くので、ほどき始めから tt までの長さは t22\dfrac{t^2}{2} です。(3) の対数らせんは、tt→−∞{}\to -\infty で原点のまわりを無限に回りながら近づきますが、その長さは有限の 2\sqrt{2} です。始点 (1, 0)(1,\ 0) での接線 yy=x{}= x−1{}- 1 は yy 軸と (0, −1)(0,\ -1) で交わり、始点からそこまでの距離もちょうど 2\sqrt{2} です。1645年ごろ、トリチェリがこの性質に気づいたといわれています。)

自己採点:
記録を読み込み中…

問16 ★★

曲線 yy=ex+e−x2{}= \dfrac{e^x + e^{-x}}{2}(カテナリー)について、aa>0{}> 0 とします。

(1) 00≦x{}\leqq x≦a{}\leqq a の部分の長さ L(a)L(a) を求めなさい。

(2) この曲線と xx 軸,yy 軸,直線 xx=a{}= a で囲まれた部分の面積を S(a)S(a) とするとき、S(a)S(a)=L(a){}= L(a) であることを示しなさい。

つまずいたときは:
答えを見る
答え

(1) L(a)L(a)=ea−e−a2{}= \dfrac{e^a - e^{-a}}{2} (2) S(a)=∫0ay dxS(a) = \displaystyle\int_0^a y\,dx を計算すると ea−e−a2\dfrac{e^a - e^{-a}}{2} となり、L(a)L(a) と一致する。

解説

(1) y′y'=ex−e−x2{}= \dfrac{e^x - e^{-x}}{2} なので

1\displaystyle 1+(y′)2\displaystyle {}+ (y')^2=1\displaystyle {}= 1+e2x−2+e−2x4\displaystyle {}+ \frac{e^{2x} - 2 + e^{-2x}}{4}=e2x+2+e−2x4\displaystyle {}= \frac{e^{2x} + 2 + e^{-2x}}{4}=(ex+e−x2)2\displaystyle {}= \left(\frac{e^x + e^{-x}}{2}\right)^2

ex+e−x2\dfrac{e^x + e^{-x}}{2}>0{}> 0 なので 1+(y′)2\sqrt{1 + (y')^2}=ex+e−x2{}= \dfrac{e^x + e^{-x}}{2} です。

L(a)\displaystyle L(a)=∫0aex+e−x2 dx\displaystyle {}= \int_0^a \frac{e^x + e^{-x}}{2}\,dx=[ ex−e−x2 ]0a\displaystyle {}= \Big[\,\frac{e^x - e^{-x}}{2}\,\Big]_0^a=ea−e−a2‾\displaystyle {}= \underline{\frac{e^a - e^{-a}}{2}}

(2) yy>0{}> 0 なので

S(a)\displaystyle S(a)=∫0aex+e−x2 dx\displaystyle {}= \int_0^a \frac{e^x + e^{-x}}{2}\,dx=ea−e−a2\displaystyle {}= \frac{e^a - e^{-a}}{2}

これは (1) の L(a)L(a) と同じ値です。よって S(a)S(a)=L(a){}= L(a) です。(証明終)

(カテナリーは、1+(y′)2\sqrt{1 + (y')^2}=y{}= y が成り立つ特別な曲線で、「長さ」と「面積」を表す積分がまったく同じ式になります。さらに、xx=a{}= a での接線の傾き y′y'=ea−e−a2{}= \dfrac{e^a - e^{-a}}{2} も L(a)L(a) と等しくなっています。第11章の小話で紹介した、鎖をたらした形の曲線です。)

自己採点:
記録を読み込み中…

問17 ★★★

サイクロイド xx=θ{}= \theta−sin⁡θ{}- \sin\theta,yy=1{}= 1−cos⁡θ (0≦θ≦2π){}- \cos\theta\ (0 \leqq \theta \leqq 2\pi) について、次の問いに答えなさい。

(1) θ\theta=0{}= 0 に対応する点から θ\theta=α (0<α≦2π){}= \alpha\ (0 < \alpha \leqq 2\pi) に対応する点までの曲線の長さ s(α)s(\alpha) を求めなさい。また、s(α)s(\alpha)=2{}= 2 となる α\alpha を求めなさい。

(2) このサイクロイドと xx 軸で囲まれた部分を、xx 軸のまわりに1回転させてできる立体の体積を求めなさい。

つまずいたときは:
答えを見る
答え

(1) s(α)s(\alpha)=4{}= 4−4cos⁡α2{}- 4\cos\dfrac{\alpha}{2},α\alpha=23π{}= \dfrac{2}{3}\pi (2) 5π25\pi^2

解説

(1) 例題7(1)と同じく、速さは 2sin⁡θ2 (≧0)2\sin\dfrac{\theta}{2}\ (\geqq 0) です。

s(α)\displaystyle s(\alpha)=∫0α2sin⁡θ2 dθ\displaystyle {}= \int_0^\alpha 2\sin\frac{\theta}{2}\,d\theta=[ −4cos⁡θ2 ]0α\displaystyle {}= \Big[\,-4\cos\frac{\theta}{2}\,\Big]_0^\alpha=4‾\displaystyle {}= \underline{\rule[-0.686em]{0em}{1.7936em}4}−4cos⁡α2‾\displaystyle \underline{\rule[-0.686em]{0em}{1.7936em}{}- 4\cos\frac{\alpha}{2}}

s(α)s(\alpha)=2{}= 2 より cos⁡α2\cos\dfrac{\alpha}{2}=12{}= \dfrac{1}{2} です。00<α2{}< \dfrac{\alpha}{2}≦π{}\leqq \pi なので α2\dfrac{\alpha}{2}=π3{}= \dfrac{\pi}{3},つまり α=23π‾\underline{\alpha = \dfrac{2}{3}\pi} です。

(2) V=π∫02πy2 dxV = \pi\displaystyle\int_0^{2\pi} y^2\,dx で、dxdx=(1−cos⁡θ) dθ{}= (1 - \cos\theta)\,d\theta,区間は θ\theta も 00→2π{}\to 2\pi です(j12)。y2y^2=(1−cos⁡θ)2{}= (1 - \cos\theta)^2 に 11−cos⁡θ{}- \cos\theta がかかるので

V\displaystyle V=π∫02π(1−cos⁡θ)3 dθ\displaystyle {}= \pi\int_0^{2\pi} (1 - \cos\theta)^3\,d\theta

展開すると (1−cos⁡θ)3(1 - \cos\theta)^3=1{}= 1−3cos⁡θ{}- 3\cos\theta+3cos⁡2θ{}+ 3\cos^2\theta−cos⁡3θ{}- \cos^3\theta です。00 から 2π2\pi までの積分は

  • ∫02π1 dθ\displaystyle \int_0^{2\pi} 1\,d\theta=2π\displaystyle {}= 2\pi,∫02πcos⁡θ dθ\displaystyle \int_0^{2\pi} \cos\theta\,d\theta=0\displaystyle {}= 0
  • ∫02πcos⁡2θ dθ\displaystyle \int_0^{2\pi} \cos^2\theta\,d\theta=∫02π1+cos⁡2θ2 dθ\displaystyle {}= \int_0^{2\pi} \frac{1 + \cos 2\theta}{2}\,d\theta=π\displaystyle {}= \pi
  • cos⁡3θ\cos^3\theta=(1−sin⁡2θ)cos⁡θ{}= (1 - \sin^2\theta)\cos\theta の不定積分は sin⁡θ\sin\theta−sin⁡3θ3{}- \dfrac{\sin^3\theta}{3} で、θ\theta=0,{}= 0, 2π\ 2\pi でどちらも 00 なので、∫02πcos⁡3θ dθ\displaystyle \int_0^{2\pi} \cos^3\theta\,d\theta=0\displaystyle {}= 0

なので

V\displaystyle V=π(2π−0+3π−0)\displaystyle {}= \pi(2\pi - 0 + 3\pi - 0)=5π2‾\displaystyle {}= \underline{5\pi^2}

((1) で、1つの山の全長 88 の4分の1にあたる 22 を進むのは θ\theta=23π{}= \dfrac{2}{3}\pi で、θ\theta の区間 2π2\pi の4分の1(π2\dfrac{\pi}{2})より先です。出だしは速さが 00 に近く、ゆっくりとしか進まないからです。)

自己採点:
記録を読み込み中…

問18 ★★★

曲線 yy=sin⁡x (0≦x≦π){}= \sin x\ (0 \leqq x \leqq \pi) と xx 軸で囲まれた部分を、yy 軸のまわりに1回転させてできる立体の体積を求めなさい。

つまずいたときは:
答えを見る
答え

2π22\pi^2

解説

00≦y{}\leqq y≦1{}\leqq 1 の yy に対し、sin⁡x\sin x=y{}= y となる xx は2つあります。小さいほうを x1 (0≦x1≦π2)x_1\ \left(0 \leqq x_1 \leqq \dfrac{\pi}{2}\right) とすると、大きいほうは x2x_2=π{}= \pi−x1{}- x_1 です。高さ yy の断面は、外側の半径 x2x_2,内側の半径 x1x_1 のドーナツ形なので

V\displaystyle V=π∫01(x22−x12) dy\displaystyle {}= \pi\int_0^1 (x_2^2 - x_1^2)\,dy

x22x_2^2−x12{}- x_1^2=(x2+x1)(x2−x1){}= (x_2 + x_1)(x_2 - x_1)=π(π−2x1){}= \pi(\pi - 2x_1) なので

V\displaystyle V=π2∫01(π−2x1) dy\displaystyle {}= \pi^2\int_0^1 (\pi - 2x_1)\,dy=π3\displaystyle {}= \pi^3−2π2∫01x1 dy\displaystyle {}- 2\pi^2\int_0^1 x_1\,dy

x1x_1 を yy の式で書くことはできませんが、yy=sin⁡x1{}= \sin x_1 と置換すれば計算できます。dydy=cos⁡x1 dx1{}= \cos x_1\,dx_1 で

yy0→10 \to 1
x1x_10→π20 \to \dfrac{\pi}{2}
∫01x1 dy\displaystyle \int_0^1 x_1\,dy=∫0π2x1cos⁡x1 dx1\displaystyle {}= \int_0^{\frac{\pi}{2}} x_1\cos x_1\,dx_1=[ x1sin⁡x1+cos⁡x1 ]0π2\displaystyle {}= \Big[\,x_1\sin x_1 + \cos x_1\,\Big]_0^{\frac{\pi}{2}}=π2\displaystyle {}= \frac{\pi}{2}−1\displaystyle {}- 1

(xcos⁡xx\cos x の原始関数は第14章 例題5(1)です。)

V\displaystyle V=π3\displaystyle {}= \pi^3−2π2(π2−1)\displaystyle {}- 2\pi^2\left(\frac{\pi}{2} - 1\right)=2π2‾\displaystyle {}= \underline{2\pi^2}

(厳密定義の定理3(パップス・ギュルダンの定理)の考え方で、xx 軸方向の重心の位置 π2\dfrac{\pi}{2} と面積 22 から、2π⋅π2⋅22\pi \cdot \dfrac{\pi}{2} \cdot 2=2π2{}= 2\pi^2 と確かめることもできます。図形が直線 xx=π2{}= \dfrac{\pi}{2} について対称なので、重心はその直線上にあります。)

自己採点:
記録を読み込み中…

問19 ★★★

nn を 22 以上の整数とします。

(1) ∫1nlog⁡x dx\displaystyle\int_1^n \log x\,dx を求めなさい。

(2) log⁡(n−1)!\log (n - 1)!<nlog⁡n{}< n\log n−n{}- n+1{}+ 1<log⁡n!{}< \log n! を示しなさい。

(3) lim⁡n→∞log⁡nn\displaystyle \lim_{n \to \infty} \frac{\log n}{n}=0\displaystyle {}= 0 を用いてよいものとして、lim⁡n→∞n!nn\displaystyle\lim_{n \to \infty} \frac{\sqrt[n]{n!}}{n} を求めなさい。

つまずいたときは:
答えを見る
答え

(1) nlog⁡nn\log n−n{}- n+1{}+ 1 (2) log⁡k\displaystyle \log k<∫kk+1log⁡x dx\displaystyle {}< \int_k^{k+1} \log x\,dx<log⁡(k+1)\displaystyle {}< \log(k + 1) を kk=1,{}= 1, ⋯ ,\ \cdots, n\ n−1{}- 1 について足し合わせて示される。(3) 1e\dfrac{1}{e}

解説

(1)

∫1nlog⁡x dx\displaystyle \int_1^n \log x\,dx=[ xlog⁡x−x ]1n\displaystyle {}= \Big[\,x\log x - x\,\Big]_1^n=nlog⁡n‾\displaystyle {}= \underline{\rule[-0.1944em]{0em}{0.8889em}n\log n}−n‾\displaystyle \underline{\rule[-0.1944em]{0em}{0.8889em}{}- n}+1‾\displaystyle \underline{\rule[-0.1944em]{0em}{0.8889em}{}+ 1}

(2) kk を正の整数とします。log⁡x\log x は増加関数なので、kk≦x{}\leqq x≦k{}\leqq k+1{}+ 1 で log⁡k\log k≦log⁡x{}\leqq \log x≦log⁡(k+1){}\leqq \log(k + 1) で、等号は区間の端だけです。よって

log⁡k\displaystyle \log k<∫kk+1log⁡x dx\displaystyle {}< \int_k^{k+1} \log x\,dx<log⁡(k+1)\displaystyle {}< \log(k + 1)

kk=1,{}= 1, 2,\ 2, ⋯ ,\ \cdots, n\ n−1{}- 1 について足すと、log⁡1\log 1+log⁡2{}+ \log 2+⋯{}+ \cdots+log⁡(n−1){}+ \log(n - 1)=log⁡(n−1)!{}= \log(n - 1)!,log⁡2\log 2+⋯{}+ \cdots+log⁡n{}+ \log n=log⁡n!{}= \log n! なので

log⁡(n−1)!\displaystyle \log(n - 1)!<∫1nlog⁡x dx\displaystyle {}< \int_1^n \log x\,dx<log⁡n!\displaystyle {}< \log n!

(1) より、log⁡(n−1)!\log(n - 1)!<nlog⁡n{}< n\log n−n{}- n+1{}+ 1<log⁡n!{}< \log n! です。(証明終)

(3) (2) の右側から log⁡n!\log n!>nlog⁡n{}> n\log n−n{}- n+1{}+ 1,左側から log⁡n!\log n!=log⁡(n−1)!{}= \log(n - 1)!+log⁡n{}+ \log n<nlog⁡n{}< n\log n−n{}- n+1{}+ 1+log⁡n{}+ \log n です。各辺を nn で割って log⁡n\log n を引くと

−1\displaystyle -1+1n\displaystyle {}+ \frac{1}{n}<log⁡n!n\displaystyle {}< \frac{\log n!}{n}−log⁡n\displaystyle {}- \log n<−1\displaystyle {}< -1+1+log⁡nn\displaystyle {}+ \frac{1 + \log n}{n}

真ん中は log⁡n!nn\log\dfrac{\sqrt[n]{n!}}{n} です。nn→∞{}\to \infty で左右の辺はどちらも −1-1 に近づくので、はさみうちの原理より log⁡n!nn\log\dfrac{\sqrt[n]{n!}}{n}→−1{}\to -1 です。

lim⁡n→∞n!nn\displaystyle \lim_{n \to \infty} \frac{\sqrt[n]{n!}}{n}=e−1\displaystyle {}= e^{-1}=1e‾\displaystyle {}= \underline{\frac{1}{e}}

(n!n! はおよそ (ne)n\left(\dfrac{n}{e}\right)^n の大きさだということです。小話3のスターリングの公式につながります。第11章の小話で出会った 1e\dfrac{1}{e} が、ここにも現れました。)

自己採点:
記録を読み込み中…

問20 ★★★

00 以上の整数 nn に対して In=∫0π2sin⁡nx dxI_n = \displaystyle\int_0^{\frac{\pi}{2}} \sin^n x\,dx とします(第14章 j20)。正の整数 mm について

I2m\displaystyle I_{2m}=1⋅3⋅5⋯(2m−1)2⋅4⋅6⋯2m⋅π2,\displaystyle {}= \frac{1 \cdot 3 \cdot 5 \cdots (2m - 1)}{2 \cdot 4 \cdot 6 \cdots 2m} \cdot \frac{\pi}{2},I2m+1\displaystyle I_{2m+1}=2⋅4⋅6⋯2m3⋅5⋅7⋯(2m+1),\displaystyle {}= \frac{2 \cdot 4 \cdot 6 \cdots 2m}{3 \cdot 5 \cdot 7 \cdots (2m + 1)},I2m+1\displaystyle I_{2m+1}=2m2m+1I2m−1\displaystyle {}= \frac{2m}{2m + 1}I_{2m-1}

が成り立つことを用いてよいものとします。

(1) I2m+1I_{2m+1}<I2m{}< I_{2m}<I2m−1{}< I_{2m-1} を示しなさい。

(2) lim⁡m→∞I2mI2m+1\displaystyle \lim_{m \to \infty} \frac{I_{2m}}{I_{2m+1}}=1\displaystyle {}= 1 を示しなさい。

(3) PmP_m=2⋅4⋅6⋯2m1⋅3⋅5⋯(2m−1){}= \dfrac{2 \cdot 4 \cdot 6 \cdots 2m}{1 \cdot 3 \cdot 5 \cdots (2m - 1)} とするとき、lim⁡m→∞Pm2m\displaystyle\lim_{m \to \infty} \frac{P_m^2}{m} を求めなさい。

つまずいたときは:
答えを見る
答え

(1) 00<x{}< x<π2{}< \dfrac{\pi}{2} で 00<sin⁡x{}< \sin x<1{}< 1 より sin⁡2m+1x\sin^{2m+1}x<sin⁡2mx{}< \sin^{2m}x<sin⁡2m−1x{}< \sin^{2m-1}x,これを積分して示される。(2) 11<I2mI2m+1{}< \dfrac{I_{2m}}{I_{2m+1}}<2m+12m{}< \dfrac{2m + 1}{2m} とはさみうちの原理で示される。(3) π\pi

解説

(1) 00<x{}< x<π2{}< \dfrac{\pi}{2} では 00<sin⁡x{}< \sin x<1{}< 1 なので、掛ける sin⁡x\sin x が1つ増えるごとに値は小さくなります。

sin⁡2m+1x\displaystyle \sin^{2m+1}x<sin⁡2mx\displaystyle {}< \sin^{2m}x<sin⁡2m−1x\displaystyle {}< \sin^{2m-1}x

等号が成り立たないので、00 から π2\dfrac{\pi}{2} まで積分しても不等号は << のままです(公式2)。よって I2m+1I_{2m+1}<I2m{}< I_{2m}<I2m−1{}< I_{2m-1} です。(証明終)

(2) (1) の各辺を I2m+1 (>0)I_{2m+1}\ (> 0) で割り、I2m−1I_{2m-1}=2m+12mI2m+1{}= \dfrac{2m + 1}{2m}I_{2m+1} を使うと

1\displaystyle 1<I2mI2m+1\displaystyle {}< \frac{I_{2m}}{I_{2m+1}}<I2m−1I2m+1\displaystyle {}< \frac{I_{2m-1}}{I_{2m+1}}=2m+12m\displaystyle {}= \frac{2m + 1}{2m}=1\displaystyle {}= 1+12m\displaystyle {}+ \frac{1}{2m}

右辺は mm→∞{}\to \infty で 11 に近づくので、はさみうちの原理より I2mI2m+1\dfrac{I_{2m}}{I_{2m+1}}→1{}\to 1 です。(証明終)

(3) I2mI_{2m}=1Pm⋅π2{}= \dfrac{1}{P_m} \cdot \dfrac{\pi}{2} です。また、1⋅3⋯(2m+1)1 \cdot 3 \cdots (2m + 1)=3⋅5⋯(2m+1){}= 3 \cdot 5 \cdots (2m + 1) なので I2m+1I_{2m+1}=Pm2m+1{}= \dfrac{P_m}{2m + 1} です。よって

I2mI2m+1\displaystyle \frac{I_{2m}}{I_{2m+1}}=π(2m+1)2Pm2\displaystyle {}= \frac{\pi(2m + 1)}{2P_m^2}より\displaystyle \text{より}Pm2m\displaystyle \frac{P_m^2}{m}=π(2m+1)2m⋅I2m+1I2m\displaystyle {}= \frac{\pi(2m + 1)}{2m} \cdot \frac{I_{2m+1}}{I_{2m}}=π(1+12m)⋅I2m+1I2m\displaystyle {}= \pi\left(1 + \frac{1}{2m}\right) \cdot \frac{I_{2m+1}}{I_{2m}}

(2) より I2m+1I2m\dfrac{I_{2m+1}}{I_{2m}}→1{}\to 1 なので

lim⁡m→∞Pm2m\displaystyle \lim_{m \to \infty} \frac{P_m^2}{m}=π‾\displaystyle {}= \underline{\pi}

(Pm22m+1\dfrac{P_m^2}{2m + 1}→π2{}\to \dfrac{\pi}{2} と書き直して分数を並べると、第14章の小話のワリスの公式 π2\dfrac{\pi}{2}=21⋅23⋅43⋅45⋯{}= \dfrac{2}{1} \cdot \dfrac{2}{3} \cdot \dfrac{4}{3} \cdot \dfrac{4}{5} \cdots になります。ワリスが「補間」で推測した式を、定積分の不等式とはさみうちで証明できました。)

自己採点:
記録を読み込み中…

数学小話コーナー

曲線の長さは測れない? — デカルトの予言がはずれた年

座標を使って図形を式で表す方法を広めたフランスの哲学者・数学者デカルトは、1637年の『幾何学』で、おおよそ次のように書きました。「直線と曲線の長さの比は知られておらず、人間には正確に求めることはできないだろう」(※意訳)。円周の長さでさえ、直径との比 π\pi が「きちんとした数」では表せないのだから、ほかの曲線も同じだろう、という感覚です。

この予言は、20年ほどではずれました。1657年、イギリスの若者ウィリアム・ニールが、y2y^2=x3{}= x^3 という曲線(半立方放物線)の長さを、根号と分数だけの式で求めたのです。j08 の yy=23xx{}= \dfrac{2}{3}x\sqrt{x} はこの仲間で、長さは 143\dfrac{14}{3} という有理数になりました。デカルトが「無理だ」と言ったのは、このように xx,yy の多項式で表される曲線のことで、ニールの曲線はその最初の反例になりました(※ほぼ同じころ、オランダのファン・ヘラートも独立に求めていて、誰が最初かには諸説あり)。

翌1658年には、クリストファー・レンが、サイクロイドの1つの山の長さが、転がる円の直径のちょうど4倍であることを示しました。例題7(1)の 88 です。円を転がして作った曲線なのに、長さに π\pi が現れないのは、当時の人々にとっても驚きでした。この年は、パスカルがサイクロイドについての懸賞問題を出し、ヨーロッパ中の数学者がこの曲線に夢中になっていた年でもあります。

豆知識

レンは、のちに数学よりも建築で名を残しました。1666年のロンドン大火のあと、町の再建を任され、セント・ポール大聖堂を設計したのがレンです。

CT スキャンは体積を足し算している

病院で受ける CT 検査(コンピューター断層撮影)は、体のまわりで X 線の装置を回転させ、体を輪切りにした断面の画像を作ります。1枚の厚さは 1 mm 前後で、胸やおなかを撮ると、数百枚の断面が得られます。

この断面の画像は、そのまま体積の計算に使えます。たとえば肝臓の体積を知りたいときは、1枚ずつ画像の上で肝臓の輪郭を囲み、その面積を求めます。「断面積 × スライスの厚さ」を全部の断面について足し合わせれば、肝臓の体積です。これは公式4の V=∫abS(x) dxV = \displaystyle\int_a^b S(x)\,dx を、区分求積法の和のまま計算しているのと同じです。生体肝移植では、提供する人の肝臓をどれだけ切り取れるかを決めるために、こうして手術の前に体積を見積もります。

CT の装置は、1970年代にイギリスの技術者ハウンズフィールドが実用化し、理論を研究したコーマックとともに、1979年のノーベル生理学・医学賞を受けました。

豆知識

天文学者のケプラーは、1613年に再婚の祝いのワインを樽で買ったとき、商人が樽の穴に棒を1本斜めに差しこみ、濡れた長さだけで値段を決めるのを見て、「そんな測り方で正しいのか」と疑問をもちました。その疑問から、1615年に樽の体積を研究する本『ワイン樽の新しい立体幾何学』を書いています。樽を薄い円板の積み重ねと考える発想は、回転体の体積の先がけでした。

n! はどれくらい大きいか — スターリングの公式

n!n!=1×2×3×⋯×n{}= 1 \times 2 \times 3 \times \cdots \times n は、nn が大きくなると、あっという間に巨大になります。トランプ 52 枚の並べ方は 52!52! 通りで、およそ 8.07×10678.07 \times 10^{67} 通りです。よく切ったトランプの並び順は、人類の歴史で一度も現れたことのない並びである可能性がきわめて高い、といわれるほどです。

では、n!n! はおよそどれくらいの大きさなのでしょうか。j19 では、log⁡n!\log n! を ∫1nlog⁡x dx\displaystyle\int_1^n \log x\,dx ではさんで

lim⁡n→∞n!nn\displaystyle \lim_{n \to \infty} \frac{\sqrt[n]{n!}}{n}=1e\displaystyle {}= \frac{1}{e}

を示しました。ざっくり言えば、n!n! は (ne)n\left(\dfrac{n}{e}\right)^n くらいの大きさだということです。もっと精密に調べると、次のスターリングの公式が成り立ちます。

n!\displaystyle n!≒2πn(ne)n\displaystyle {}\fallingdotseq \sqrt{2\pi n}\left(\frac{n}{e}\right)^n

nn=10{}= 10 なら、右辺は約 35986963598696 で、本当の値 10!10!=3628800{}= 3628800 との差は 1%1\% もありません。

この式は1730年ごろ、フランス出身の数学者ド・モアブルが形を見つけ、スコットランドのスターリングが、係数が 2π\sqrt{2\pi} であることを突きとめました。ここで、ものを並べる数を数えているだけなのに、円周率 π\pi が現れるのがふしぎです。実は、この π\pi は j20 のワリスの公式から来ています。ee は log⁡x\log x の積分から、π\pi は sin⁡nx\sin^n x の積分から現れて、1つの式に同居しているのです。

豆知識

ド・モアブルがこの近似を調べたのは、コインを何百回も投げたときに表が出る回数の確率を計算するためでした。その研究から、第7章の小話で紹介した e−x2e^{-x^2} の形の正規分布が生まれています。

厳密定義(発展)

※ここは発展ページです。高校の範囲では、本文の公式を正しく使えれば十分です。ここでは、曲線の長さをきちんと定義し直して公式の理由を確かめ、区分求積法の誤差の大きさ、長さが無限になる曲線の例、回転体の体積と重心を結ぶパップス・ギュルダンの定理、調和級数と log⁡n\log n の差が落ち着く先(オイラーの定数)までを扱います。

定義1:曲線の長さ

曲線 CC が xx=f(t){}= f(t),yy=g(t) (α≦t≦β){}= g(t)\ (\alpha \leqq t \leqq \beta) で表され、ff,gg は連続とする。区間を α\alpha=t0{}= t_0<t1{}< t_1<⋯{}< \cdots<tn{}< t_n=β{}= \beta と分け、曲線上の点 Pk(f(tk), g(tk))P_k\bigl(f(t_k),\ g(t_k)\bigr) を順に結んだ折れ線の長さを

LΔ\displaystyle L_\Delta=∑k=1n(Δxk)2+(Δyk)2\displaystyle {}= \sum_{k=1}^{n} \sqrt{(\Delta x_k)^2 + (\Delta y_k)^2}

とする。ただし Δxk\Delta x_k=f(tk){}= f(t_k)−f(tk−1){}- f(t_{k-1}),Δyk\Delta y_k=g(tk){}= g(t_k)−g(tk−1){}- g(t_{k-1}) である。分け方を細かくして、区間の幅の最大値を 00 に近づけるとき、LΔL_\Delta が分け方によらず一定の値 LL に近づくならば、LL を曲線 CC の長さという。

本文では曲線の長さを「知っているもの」として扱いましたが、曲がった線の長さは、定規で直接は測れません。そこで、長さがわかっている折れ線で近似し、その極限として長さを定義します。分点を増やすと、三角形の2辺の和は他の1辺より長いので、折れ線はだんだん長くなります。長さは「内側から近づける折れ線の長さの行き着く先」です。

定理1:区分求積法の誤差

f(x)f(x) が 00≦x{}\leqq x≦1{}\leqq 1 で連続かつ増加関数ならば、Rn=1n∑k=1nf(kn)R_n = \dfrac{1}{n}\displaystyle\sum_{k=1}^{n} f\left(\dfrac{k}{n}\right) について

0\displaystyle 0≦Rn\displaystyle {}\leqq R_n−∫01f(x) dx\displaystyle {}- \int_0^1 f(x)\,dx≦f(1)−f(0)n\displaystyle {}\leqq \frac{f(1) - f(0)}{n}

が成り立つ。とくに lim⁡n→∞Rn\displaystyle \lim_{n \to \infty} R_n=∫01f(x) dx\displaystyle {}= \int_0^1 f(x)\,dx である。

証明 k−1n\dfrac{k - 1}{n}≦x{}\leqq x≦kn{}\leqq \dfrac{k}{n} では、ff が増加関数なので f(k−1n)f\left(\dfrac{k - 1}{n}\right)≦f(x){}\leqq f(x)≦f(kn){}\leqq f\left(\dfrac{k}{n}\right) である。各辺をこの区間で積分すると(公式2)

1nf(k−1n)\displaystyle \frac{1}{n}f\left(\frac{k - 1}{n}\right)≦∫k−1nknf(x) dx\displaystyle {}\leqq \int_{\frac{k-1}{n}}^{\frac{k}{n}} f(x)\,dx≦1nf(kn)\displaystyle {}\leqq \frac{1}{n}f\left(\frac{k}{n}\right)

kk=1,{}= 1, 2,\ 2, ⋯ ,\ \cdots, n\ n について足すと、Ln=1n∑k=0n−1f(kn)L_n = \dfrac{1}{n}\displaystyle\sum_{k=0}^{n-1} f\left(\dfrac{k}{n}\right) として Ln≦∫01f(x) dx≦RnL_n \leqq \displaystyle\int_0^1 f(x)\,dx \leqq R_n である。RnR_n−Ln{}- L_n は、隣どうしが打ち消し合って 1n(f(1)−f(0))\dfrac{1}{n}\bigl(f(1) - f(0)\bigr) だけが残るので

0\displaystyle 0≦Rn\displaystyle {}\leqq R_n−∫01f(x) dx\displaystyle {}- \int_0^1 f(x)\,dx≦Rn\displaystyle {}\leqq R_n−Ln\displaystyle {}- L_n=f(1)−f(0)n\displaystyle {}= \frac{f(1) - f(0)}{n}

右辺は nn→∞{}\to \infty で 00 に近づくので、はさみうちの原理(第10章)より結論が従う。(証明終)

例題1(1)で確かめると、RnR_n=(n+1)(2n+1)6n2{}= \dfrac{(n + 1)(2n + 1)}{6n^2}=13{}= \dfrac{1}{3}+12n{}+ \dfrac{1}{2n}+16n2{}+ \dfrac{1}{6n^2} で、誤差 12n\dfrac{1}{2n}+16n2{}+ \dfrac{1}{6n^2} は確かに 1−0n\dfrac{1 - 0}{n} 以下です。誤差がおよそ 1n\dfrac{1}{n} に比例して小さくなることがわかるので、「区間を10倍細かくすれば、誤差はおよそ10分の1」と見積もれます。増加関数でない連続関数でも区分求積法は成り立ちますが、それは第8章の厳密定義で述べた「連続関数ではリーマン和の極限が存在する」ことに頼ります(証明は大学で扱う)。

定理2:曲線の長さの公式

定義1で、f(t)f(t),g(t)g(t) が微分可能で、f′(t)f'(t),g′(t)g'(t) が連続ならば、曲線の長さ LL が存在して

L\displaystyle L=∫αβ{f′(t)}2+{g′(t)}2 dt\displaystyle {}= \int_\alpha^\beta \sqrt{\{f'(t)\}^2 + \{g'(t)\}^2}\,dt

である。

証明の概略 平均値の定理(第12章)より、tk−1t_{k-1}<ck{}< c_k<tk{}< t_k,tk−1t_{k-1}<dk{}< d_k<tk{}< t_k となる ckc_k,dkd_k があって、Δtk\Delta t_k=tk{}= t_k−tk−1{}- t_{k-1} とすると

f(tk)\displaystyle f(t_k)−f(tk−1)\displaystyle {}- f(t_{k-1})=f′(ck) Δtk,\displaystyle {}= f'(c_k)\,\Delta t_k,g(tk)\displaystyle g(t_k)−g(tk−1)\displaystyle {}- g(t_{k-1})=g′(dk) Δtk\displaystyle {}= g'(d_k)\,\Delta t_k

よって

LΔ\displaystyle L_\Delta=∑k=1n{f′(ck)}2+{g′(dk)}2 Δtk\displaystyle {}= \sum_{k=1}^{n} \sqrt{\{f'(c_k)\}^2 + \{g'(d_k)\}^2}\,\Delta t_k

となる。もし ckc_k=dk{}= d_k ならば、これは右辺の定積分のリーマン和(第8章)そのものであり、分け方を細かくすれば定積分に近づく。ckc_k≠dk{}\neq d_k のずれは、不等式

∣a2+b2−a2+b′2∣\displaystyle \left|\sqrt{a^2 + b^2} - \sqrt{a^2 + b'^2}\right|≦∣b−b′∣\displaystyle {}\leqq |b - b'|

(座標平面で、点 (a, b)(a,\ b) と (a, b′)(a,\ b') の原点からの距離の差は、2点間の距離以下)と、g′g' の連続性から、分け方を細かくすればいくらでも小さくできる。(証明の概略終)

f′f',g′g' が連続でない曲線では、長さが存在しないこともあります。たとえば

y\displaystyle y=xsin⁡1x (0<x≦1),\displaystyle {}= x\sin\frac{1}{x}\ (0 < x \leqq 1),y\displaystyle y=0 (x=0)\displaystyle {}= 0\ (x = 0)

は、00≦x{}\leqq x≦1{}\leqq 1 で連続ですが(第10章 はさみうち)、長さは無限大です。xkx_k=1(k+12)π{}= \dfrac{1}{\left(k + \frac{1}{2}\right)\pi} では ∣sin⁡1xk∣\left|\sin\dfrac{1}{x_k}\right|=1{}= 1 なので、曲線は高さ ±xk\pm x_k まで上下に振れます。隣の山と谷の間では、少なくとも xkx_k だけ上下に動くので、長さは ∑kxk\displaystyle \sum_k x_k=1π∑k1k+12\displaystyle {}= \frac{1}{\pi}\sum_k \frac{1}{k + \frac{1}{2}} 以上です。これは j11 と同じく log⁡\log のように増え続け、調和級数(第10章の小話)と同じように発散します。区間の長さは 11 なのに、曲線は無限に長いのです。

定理3:パップス・ギュルダンの定理

aa≦x{}\leqq x≦b{}\leqq b で 00≦g(x){}\leqq g(x)≦f(x){}\leqq f(x) とし、2曲線 yy=f(x){}= f(x),yy=g(x){}= g(x) と2直線 xx=a{}= a,xx=b{}= b で囲まれた図形を DD,その面積を SS とする。

yˉ\displaystyle \bar{y}=1S∫abf(x)+g(x)2\displaystyle {}= \frac{1}{S}\int_a^b \frac{f(x) + g(x)}{2}×(f(x)−g(x)) dx\displaystyle \qquad \times \bigl(f(x) - g(x)\bigr)\,dx

を DD の重心の yy 座標と定めると、DD を xx 軸のまわりに1回転させてできる立体の体積 VV は

V\displaystyle V=2πyˉ⋅S\displaystyle {}= 2\pi\bar{y} \cdot S

である。つまり、体積は「図形の面積」と「重心が1回転で動く道のり 2πyˉ2\pi\bar{y}」の積に等しい。

証明 公式5より

V\displaystyle V=π∫ab[{f(x)}2−{g(x)}2]dx\displaystyle {}= \pi\int_a^b \left[\{f(x)\}^2 - \{g(x)\}^2\right]dx=2π∫abf(x)+g(x)2\displaystyle {}= 2\pi\int_a^b \frac{f(x) + g(x)}{2}×(f(x)−g(x)) dx\displaystyle \qquad \times \bigl(f(x) - g(x)\bigr)\,dx=2πyˉS\displaystyle {}= 2\pi\bar{y}S

である。(証明終)

証明は1行ですが、意味するところは深いです。yˉ\bar{y} の式は、「幅 Δx\Delta x の縦の帯(面積 (f−g)Δx(f - g)\Delta x)を、帯の真ん中の高さ f+g2\dfrac{f + g}{2} で重みをつけて平均したもの」で、図形を1点で支えてつり合う点(重心)の高さを表しています。

4世紀のアレクサンドリアのパップスが述べ、17世紀にスイスのギュルダンが改めて取り上げたので、2人の名前で呼ばれます(※パップスの証明は残っていない)。

定理4:オイラーの定数

ana_n=1{}= 1+12{}+ \dfrac{1}{2}+13{}+ \dfrac{1}{3}+⋯{}+ \cdots+1n{}+ \dfrac{1}{n}−log⁡n{}- \log n とすると、数列 {an}\{a_n\} は減少し、つねに ana_n>0{}> 0 である。したがって {an}\{a_n\} は収束する。この極限値をオイラーの定数といい、γ\gamma で表す。

γ\displaystyle \gamma=lim⁡n→∞an\displaystyle {}= \lim_{n \to \infty} a_n=0.5772⋯\displaystyle {}= 0.5772\cdots

証明 nn≦x{}\leqq x≦n{}\leqq n+1{}+ 1 では 1x\dfrac{1}{x}≧1n+1{}\geqq \dfrac{1}{n + 1} で、等号は xx=n{}= n+1{}+ 1 のときだけなので

an\displaystyle a_n−an+1\displaystyle {}- a_{n+1}=log⁡(n+1)\displaystyle {}= \log(n + 1)−log⁡n\displaystyle {}- \log n−1n+1\displaystyle {}- \frac{1}{n + 1}=∫nn+1(1x−1n+1)dx\displaystyle {}= \int_n^{n+1} \left(\frac{1}{x} - \frac{1}{n + 1}\right)dx>0\displaystyle {}> 0

よって {an}\{a_n\} は減少する。また j11 の左の不等式 11+12{}+ \dfrac{1}{2}+⋯{}+ \cdots+1n{}+ \dfrac{1}{n}>log⁡(n+1){}> \log(n + 1) より、ana_n>log⁡(n+1){}> \log(n + 1)−log⁡n{}- \log n>0{}> 0 である。下に有界な減少数列は収束する(第10章 厳密定義の単調有界定理)。(証明終)

調和級数 11+12{}+ \dfrac{1}{2}+⋯{}+ \cdots+1n{}+ \dfrac{1}{n} は発散しますが(第10章の小話)、その増え方は log⁡n\log n とほとんど同じで、差は γ\gamma に落ち着きます。第10章の小話の「1010 を超えるのに 1236712367 項」も、log⁡12367\log 12367+γ{}+ \gamma=9.4228⋯{}= 9.4228\cdots+0.5772⋯{}+ 0.5772\cdots≒10.000{}\fallingdotseq 10.000 で説明できます。π\pi や ee が無理数であることは証明されていますが、γ\gamma が無理数かどうかは、今もわかっていません。

この章の学習が終わったら

学習完了テストを受ける