§D1.12中間値の定理

最終更新

閉区間で連続な関数は、両端での値のあいだにあるすべての値をとります。本記事では、この定理を、区間を半分ずつ狭めて一点を取り出す方法と、上限を用いて一点を定める方法の両方で実数の完備性から示します。あわせて、方程式の解が存在することと、区間を自分へ写す連続関数が一次元で不動点をもつことを導きます。

1 零点版

定理 1.1 (ボルツァーノの定理).ffが[a,b][a,b]で連続でf(a)<0<f(b)f(a) < 0 < f(b)ならば、あるc∈(a,b)c \in (a,b)でf(c)=0f(c) = 0。

証明 (区間縮小法).I0=[a,b]I_0=[a,b]とし、各n≥0n\ge0についてIn=[an,bn]I_n=[a_n,b_n]が定まったと仮定する。中点mn=(an+bn)/2m_n=(a_n+b_n)/2を取る。f(mn)=0f(m_n)=0ならc=mnc=m_nと置いて証明は終わる。以下では常にf(mn)≠0f(m_n)\ne0と仮定して区間列を作る。

f(mn)<0f(m_n)<0ならIn+1=[mn,bn]I_{n+1}=[m_n,b_n]、f(mn)>0f(m_n)>0ならIn+1=[an,mn]I_{n+1}=[a_n,m_n]と置く。すると各nnについて

In+1⊂In,f(an)<0<f(bn),bn−an=2−n(b−a)I_{n+1}\subset I_n,\qquad f(a_n)<0<f(b_n),\qquad b_n-a_n=2^{-n}(b-a)

が成り立つ。実際、n=0n=0では仮定から成り立つ。nnで成り立つと仮定する。f(mn)<0f(m_n)<0のときはan+1=mna_{n+1}=m_n、bn+1=bnb_{n+1}=b_nであるから

f(an+1)=f(mn)<0<f(bn)=f(bn+1)f(a_{n+1})=f(m_n)<0<f(b_n)=f(b_{n+1})

となり、f(mn)>0f(m_n)>0のときも同様に

f(an+1)=f(an)<0<f(mn)=f(bn+1)f(a_{n+1})=f(a_n)<0<f(m_n)=f(b_{n+1})

となる。長さの式はどちらの場合も

bn+1−an+1=bn−an2b_{n+1}-a_{n+1}=\frac{b_n-a_n}{2}

から従う。

§D1.4 系 2.2により、任意のε>0\varepsilon>0に対して2−n(b−a)<ε2^{-n}(b-a)<\varepsilonとなるnnが十分大きく取れる。したがってbn−an→0b_n-a_n\to0であり、§D1.7 命題 3.2によって共通部分⋂n≥0In\bigcap_{n\ge0}I_nはただ一点{c}\{c\}からなる。

f(c)>0f(c)>0と仮定する。ffはccで連続であるから、ε=f(c)/2>0\varepsilon=f(c)/2>0に対してあるδ>0\delta>0が存在し、∣x−c∣<δ|x-c|<\deltaなら

∣f(x)−f(c)∣<f(c)2|f(x)-f(c)|<\frac{f(c)}2

が成り立つ。したがって∣x−c∣<δ|x-c|<\deltaならf(x)>f(c)/2>0f(x)>f(c)/2>0である。§D1.4 系 2.2により2−n(b−a)<δ2^{-n}(b-a)<\deltaとなるnnを取ると、c,an∈Inc,a_n\in I_nであるから

0≤c−an≤bn−an<δ0\le c-a_n\le b_n-a_n<\delta

となり、f(an)>0f(a_n)>0を得る。これは各nnで成り立つf(an)<0f(a_n)<0に反する。

f(c)<0f(c)<0と仮定する。ffのccでの連続性から、あるδ>0\delta>0が存在し、∣x−c∣<δ|x-c|<\deltaならf(x)<0f(x)<0となる。再び2−n(b−a)<δ2^{-n}(b-a)<\deltaとなるnnを取ると、c,bn∈Inc,b_n\in I_nなので

0≤bn−c≤bn−an<δ0\le b_n-c\le b_n-a_n<\delta

であり、f(bn)<0f(b_n)<0を得る。これは各nnで成り立つf(bn)>0f(b_n)>0に反する。

したがってf(c)=0f(c)=0である。さらにf(a)<0<f(b)f(a)<0<f(b)であるからc≠a,bc\ne a,bであり、c∈(a,b)c\in(a,b)が従う。▨

証明 (上限法).S={x∈[a,b]∣f(x)≤0}S=\{x\in[a,b]\mid f(x)\le0\}とおき、c=sup⁡Sc=\sup Sとする。f(a)<0f(a)<0であるからa∈Sa\in S、したがってSSは空でない。S⊂[a,b]S\subset[a,b]であるからbbは上界であり、上限公理によってccが存在する。

f(c)<0f(c)<0と仮定する。ffのccでの連続性から、あるδ>0\delta>0が存在し、∣x−c∣<δ|x-c|<\deltaならf(x)<0f(x)<0となる。f(b)>0f(b)>0であるからc≠bc\ne bであり、c<bc<bである。x=min⁡(c+δ/2,b)x=\min(c+\delta/2,b)と置くとx>cx>cかつ∣x−c∣<δ|x-c|<\deltaであるからf(x)<0f(x)<0、したがってx∈Sx\in Sである。これはx>cx>cがccの上界性に反する。

f(c)>0f(c)>0と仮定する。ffのccでの連続性から、あるδ>0\delta>0が存在し、∣x−c∣<δ|x-c|<\deltaならf(x)>0f(x)>0となる。§D1.4 命題 1.6をM=cM=c、ε=δ\varepsilon=\deltaに対して用いると、c−δ<sc-\delta<sを満たすs∈Ss\in Sが存在する。s≤cs\le cでもあるので∣s−c∣<δ|s-c|<\deltaであり、したがってf(s)>0f(s)>0となる。一方、s∈Ss\in Sの定義からf(s)≤0f(s)\le0である。これは矛盾である。

ゆえにf(c)=0f(c)=0である。f(a)<0<f(b)f(a)<0<f(b)なのでc≠a,bc\ne a,bであり、c∈(a,b)c\in(a,b)が従う。▨

上の二つの証明では、実数の完備性を、区間縮小法では区間を一点へ縮める形で、上限法では上限を一点として取り出す形で用いています。

系 1.2 (中間値の定理).ffが[a,b][a,b]で連続でyyがf(a)f(a)とf(b)f(b)の間の値なら、あるc∈[a,b]c\in[a,b]でf(c)=yf(c)=y。

証明.y=f(a)y=f(a)ならc=ac=a、y=f(b)y=f(b)ならc=bc=bと取ればよい。

f(a)<y<f(b)f(a)<y<f(b)のときはg(x)=f(x)−yg(x)=f(x)-yと置くとggは[a,b][a,b]で連続であり、

g(a)=f(a)−y<0<f(b)−y=g(b)g(a)=f(a)-y<0< f(b)-y=g(b)

である。したがって定理 1.1により、あるc∈(a,b)c\in(a,b)が存在してg(c)=0g(c)=0、すなわちf(c)=yf(c)=yとなる。

f(b)<y<f(a)f(b)<y<f(a)のときはh(x)=y−f(x)h(x)=y-f(x)と置くとhhは[a,b][a,b]で連続であり、

h(a)=y−f(a)<0<y−f(b)=h(b)h(a)=y-f(a)<0<y-f(b)=h(b)

である。再び定理 1.1により、あるc∈(a,b)c\in(a,b)が存在してh(c)=0h(c)=0、すなわちf(c)=yf(c)=yとなる。▨

有理数の範囲では、上限や区間の共通点が有理数として存在するとは限りません。そのため、中間値の定理の証明では、実数の完備性を実際に用いています。

2 応用

例 2.1.f(x)=x5−x−1f(x)=x^5-x-1とおく。多項式は連続であり、

f(1)=1−1−1=−1<0,f(2)=32−2−1=29>0f(1)=1-1-1=-1<0,\qquad f(2)=32-2-1=29>0

である。したがって定理 1.1により、あるc∈(1,2)c\in(1,2)が存在してf(c)=0f(c)=0となる。数値計算の二分法は、この存在を保ったまま区間を狭める手続きである。

系 2.2. 実係数の奇数次多項式p(x)p(x)は少なくとも1つの実根をもつ。

証明. 最高次係数をAAとする。A<0A<0なら−p-pに置き換えてよいので、A>0A>0と仮定する。奇数次多項式の最高次項は無限遠で符号を支配するから、ある実数R>0R>0が存在して

x≥R⇒p(x)>0,x≤−R⇒p(x)<0x\ge R \Rightarrow p(x)>0,\qquad x\le -R \Rightarrow p(x)<0

が成り立つ。したがってa=−Ra=-R、b=Rb=Rと置けばp(a)<0<p(b)p(a)<0<p(b)である。多項式は[a,b][a,b]で連続であるから、定理 1.1により(a,b)(a,b)に零点をもつ。▨

系 2.3. 連続関数f:[0,1]→[0,1]f : [0, 1] \to [0, 1]は不動点をもつ。すなわちf(c)=cf(c) = cとなるc∈[0,1]c \in [0, 1]が存在する。

証明.g(x)=f(x)−xg(x)=f(x)-xとおく。ffと恒等関数の差であるからggは[0,1][0,1]で連続である。またf([0,1])⊂[0,1]f([0,1])\subset[0,1]であるから

g(0)=f(0)≥0,g(1)=f(1)−1≤0g(0)=f(0)\ge0,\qquad g(1)=f(1)-1\le0

が成り立つ。g(0)=0g(0)=0またはg(1)=0g(1)=0なら、その端点が不動点である。そうでなければg(1)<0<g(0)g(1)<0<g(0)であり、00はg(0)g(0)とg(1)g(1)の間の値である。したがって系 1.2により、あるc∈[0,1]c\in[0,1]が存在してg(c)=0g(c)=0、すなわちf(c)=cf(c)=cとなる。▨

系 2.3は、区間を自分自身へ連続に写すと必ず「動かない点」がある、というブラウワーの不動点定理の最も簡単な場合です。高次元の場合(円板を自分へ写す場合)のブラウワーの不動点定理は、代数的位相の方法を要する深い定理です。

3 演習

問題 3.1.S⊂RS\subset\Rが空でなく上に有界であり、c=sup⁡Sc=\sup Sとする。任意のε>0\varepsilon>0に対して

S∩(c−ε,c]≠∅S\cap(c-\varepsilon,c]\ne\varnothing

が成り立つことを証明せよ。さらに、c∉Sc\notin Sならば、任意のε>0\varepsilon>0に対してS∩(c−ε,c)S\cap(c-\varepsilon,c)が無限集合であることを証明せよ。

解答.

ε>0\varepsilon>0を取る。SSは空でなく上に有界であり、c=sup⁡Sc=\sup Sであるから、§D1.4 命題 1.6により、c−ε<xc-\varepsilon<xを満たすx∈Sx\in Sが存在する。ccはSSの上界であるから、x≤cx\le cである。したがってx∈S∩(c−ε,c]x\in S\cap(c-\varepsilon,c]であり、S∩(c−ε,c]≠∅S\cap(c-\varepsilon,c]\ne\varnothingである。

c∉Sc\notin Sとし、ε>0\varepsilon>0を取る。S∩(c−ε,c)S\cap(c-\varepsilon,c)が有限集合であると仮定する。前半によりS∩(c−ε,c]S\cap(c-\varepsilon,c]は空でなく、c∉Sc\notin SであるからS∩(c−ε,c]=S∩(c−ε,c)S\cap(c-\varepsilon,c]=S\cap(c-\varepsilon,c)である。したがってS∩(c−ε,c)S\cap(c-\varepsilon,c)は空でない有限集合であり、最大元mmをもつ。c−ε<m<cc-\varepsilon<m<cである。前半をε′=c−m>0\varepsilon'=c-m>0に用いると、c−ε′<s≤cc-\varepsilon'<s\le cを満たすs∈Ss\in Sが存在する。c∉Sc\notin Sであるからs<cs<cであり、s>c−ε′=m>c−εs>c-\varepsilon'=m>c-\varepsilonである。したがってs∈S∩(c−ε,c)s\in S\cap(c-\varepsilon,c)かつs>ms>mであり、mmが最大元であることに反する。ゆえにS∩(c−ε,c)S\cap(c-\varepsilon,c)は無限集合である。▨

問題 3.2.nnを正の整数とし、f:[0,1]→Rf:[0,1]\to\Rを連続でf(0)=f(1)f(0)=f(1)を満たす関数とする。あるx∈[0,1−1/n]x\in[0,1-1/n]が存在してf(x+1/n)=f(x)f(x+1/n)=f(x)となることを証明せよ。

解答.

n=1n=1のとき、x=0x=0についてf(x+1)=f(1)=f(0)f(x+1)=f(1)=f(0)である。以下、n≥2n\ge2とし、h=1/nh=1/n、J=[0,1−h]J=[0,1-h]とおく。

g:J→Rg:J\to\Rをg(x)=f(x+h)−f(x)g(x)=f(x+h)-f(x)で定める。x∈Jx\in Jならばx,x+h∈[0,1]x,x+h\in[0,1]であるから、ggは定まる。x0∈Jx_0\in Jとε>0\varepsilon>0を取る。ffはx0x_0とx0+hx_0+hで連続であるから、あるδ>0\delta>0が存在し、∣t−x0∣<δ|t-x_0|<\deltaを満たすt∈[0,1]t\in[0,1]について∣f(t)−f(x0)∣<ε/2|f(t)-f(x_0)|<\varepsilon/2が成り立ち、∣t−(x0+h)∣<δ|t-(x_0+h)|<\deltaを満たすt∈[0,1]t\in[0,1]について∣f(t)−f(x0+h)∣<ε/2|f(t)-f(x_0+h)|<\varepsilon/2が成り立つ。x∈Jx\in Jが∣x−x0∣<δ|x-x_0|<\deltaを満たすならば、∣(x+h)−(x0+h)∣<δ|(x+h)-(x_0+h)|<\deltaであるから

∣g(x)−g(x0)∣≤∣f(x+h)−f(x0+h)∣+∣f(x)−f(x0)∣<ε|g(x)-g(x_0)|\le|f(x+h)-f(x_0+h)|+|f(x)-f(x_0)|<\varepsilon

である。したがってggはJJで連続である。

k=0,1,…,n−1k=0,1,\ldots,n-1についてkh∈Jkh\in Jであり、和は隣り合う項が打ち消し合うので

∑k=0n−1g(kh)=∑k=0n−1(f((k+1)h)−f(kh))=f(1)−f(0)=0\sum_{k=0}^{n-1}g(kh)=\sum_{k=0}^{n-1}\bigl(f((k+1)h)-f(kh)\bigr)=f(1)-f(0)=0

である。あるkkでg(kh)=0g(kh)=0ならば、x=khx=khが求める点である。そうでなければ、nn個の値g(kh)g(kh)はどれも00でなく、和が00であるから、すべてが正であることもすべてが負であることもない。したがってg(ih)<0<g(jh)g(ih)<0<g(jh)を満たすi,j∈{0,…,n−1}i,j\in\{0,\ldots,n-1\}が存在する。i≠ji\ne jであり、p=min⁡(i,j)hp=\min(i,j)h、q=max⁡(i,j)hq=\max(i,j)hとおくと[p,q]⊂J[p,q]\subset Jである。ggは[p,q][p,q]で連続であり、00はg(p)g(p)とg(q)g(q)の間の値であるから、系 1.2により、あるx∈[p,q]x\in[p,q]が存在してg(x)=0g(x)=0、すなわちf(x+1/n)=f(x)f(x+1/n)=f(x)となる。▨

問題 3.3.f:[a,b]→Rf:[a,b]\to\Rが連続でf(a)>0>f(b)f(a)>0>f(b)とする。集合

T={x∈[a,b]∣f(x)≥0}T=\{x\in[a,b]\mid f(x)\ge0\}

とd=sup⁡Td=\sup Tを用いて零点の存在を証明せよ。さらに、ddはffの[a,b][a,b]における零点のうち最大のものであることを証明せよ。また、[a,b]=[0,4][a,b]=[0,4]、f(x)=−(x−1)(x−2)(x−3)f(x)=-(x-1)(x-2)(x-3)のとき、ddを求め、−f-fに区間縮小法の証明の構成を適用して得られる零点がddと異なることを示せ。

解答.

f(a)>0f(a)>0であるからa∈Ta\in Tであり、TTは空でない。T⊂[a,b]T\subset[a,b]であるから、bbはTTの上界である。§D1.4 定義 1.2によりd=sup⁡Td=\sup Tが存在する。a∈Ta\in Tであるからa≤da\le dであり、ddはTTの最小の上界であるからd≤bd\le bである。したがってd∈[a,b]d\in[a,b]である。

f(d)>0f(d)>0と仮定する。ffのddでの連続性から、ε=f(d)/2>0\varepsilon=f(d)/2>0に対してあるδ>0\delta>0が存在し、∣x−d∣<δ|x-d|<\deltaを満たすすべてのx∈[a,b]x\in[a,b]に対して∣f(x)−f(d)∣<f(d)/2|f(x)-f(d)|<f(d)/2が成り立つ。そのようなxxではf(x)>f(d)/2>0f(x)>f(d)/2>0である。f(b)<0f(b)<0であるからd≠bd\ne bであり、d<bd<bである。x=min⁡(d+δ/2,b)x=\min(d+\delta/2,b)とおくと、d<x≤bd<x\le bかつ∣x−d∣≤δ/2<δ|x-d|\le\delta/2<\deltaであるから、x∈[a,b]x\in[a,b]かつf(x)>0f(x)>0であり、x∈Tx\in Tである。一方、ddはTTの上界であるからx≤dx\le dであり、この不等式はx>dx>dと両立しない。したがってf(d)>0f(d)>0は成り立たない。

f(d)<0f(d)<0と仮定する。ffのddでの連続性から、ε=−f(d)/2>0\varepsilon=-f(d)/2>0に対してあるδ>0\delta>0が存在し、∣x−d∣<δ|x-d|<\deltaを満たすすべてのx∈[a,b]x\in[a,b]に対して∣f(x)−f(d)∣<−f(d)/2|f(x)-f(d)|<-f(d)/2が成り立つ。そのようなxxではf(x)<f(d)/2<0f(x)<f(d)/2<0である。§D1.4 命題 1.6をM=dM=d、ε=δ\varepsilon=\deltaに対して用いると、d−δ<td-\delta<tを満たすt∈Tt\in Tが存在する。ddはTTの上界であるからt≤dt\le dであり、∣t−d∣<δ|t-d|<\deltaである。したがってf(t)<0f(t)<0である。一方、t∈Tt\in Tであるからf(t)≥0f(t)\ge0であり、f(t)<0f(t)<0と両立しない。したがってf(d)<0f(d)<0は成り立たない。

f(d)>0f(d)>0もf(d)<0f(d)<0も成り立たないので、f(d)=0f(d)=0である。f(a)>0f(a)>0かつf(b)<0f(b)<0であるからd≠ad\ne aかつd≠bd\ne bであり、d∈(a,b)d\in(a,b)はffの零点である。

z∈[a,b]z\in[a,b]がf(z)=0f(z)=0を満たすならば、f(z)≥0f(z)\ge0であるからz∈Tz\in Tであり、ddはTTの上界であるからz≤dz\le dである。dd自身が零点であるから、ddはffの零点のうち最大のものである。

[a,b]=[0,4][a,b]=[0,4]、f(x)=−(x−1)(x−2)(x−3)f(x)=-(x-1)(x-2)(x-3)とする。ffは多項式であるから連続であり、f(0)=6>0f(0)=6>0、f(4)=−6<0f(4)=-6<0である。x<1x<1では三つの因子x−1,x−2,x−3x-1,x-2,x-3がすべて負であり、1<x<21<x<2ではx−1x-1だけが正であり、2<x<32<x<3ではx−3x-3だけが負であり、x>3x>3では三つとも正である。したがって(x−1)(x−2)(x−3)(x-1)(x-2)(x-3)はx<1x<1と2<x<32<x<3で負、1<x<21<x<2とx>3x>3で正であり、x=1,2,3x=1,2,3で00である。ゆえに、x∈[0,4]x\in[0,4]についてf(x)≥0f(x)\ge0となるのはx∈[0,1]x\in[0,1]またはx∈[2,3]x\in[2,3]のときに限る。したがってT=[0,1]∪[2,3]T=[0,1]\cup[2,3]であり、d=sup⁡T=3d=\sup T=3である。一方、g=−fg=-fとおくとg(x)=(x−1)(x−2)(x−3)g(x)=(x-1)(x-2)(x-3)であり、g(0)=−6<0<6=g(4)g(0)=-6<0<6=g(4)である。区間縮小法の証明の構成では、最初の中点m0=(0+4)/2=2m_0=(0+4)/2=2でg(2)=0g(2)=0となるので、c=m0=2c=m_0=2と置いて構成が終わる。g(2)=0g(2)=0はf(2)=0f(2)=0と同値であるから、得られる零点は22であり、d=3d=3と異なる。▨

参考文献

  1. Walter Rudin, Principles of Mathematical Analysis, 3rd ed., International Series in Pure and Applied Mathematics, McGraw Hill, 1976.
  2. Tom M. Apostol, Calculus, 2nd ed., vol. I, Wiley, New York, 1967.

前提記事