数学ナビゲーター掲示板
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
[
最新記事及び返信フォームをトピックトップへ
]
[ トピック内全3記事(1-3 表示) ] <<
0
>>
■52112
/ inTopicNo.1)
中間値の定理の証明(区間縮小法ではない)
▼
■
□投稿者/ 未熟者
一般人(1回)-(2023/02/09(Thu) 17:56:59)
中間値の定理の証明で、関数fが区間[a,b]で定義され、連続で、f(a)=α<0、f(b)=β>0とする。そのときf(c)=0となるcがaとbの間に存在するとあり、本にその証明として、
a≦d<bかつ区間[a,d]で常にf(x)<0であるようなd全体の集合をAとする。bはAの一つの上界なのでAは上に有界である。そこでsup A=cとする。a≦x<cとすれば、x<d<cを満たすdがあるからf(x)<0、よって区間[a,c)でf(x)<0である。ゆえにfの連続性からlim(x→c-0)f(x)=f(c)≦0となる。(以下略)
とあるのですが、なぜfの連続性によってf(c)≦0となるのでしょうか。区間[a,c)でf(x)<0なのになぜ=がついて<が≦になるのかがわかりません。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52113
/ inTopicNo.2)
Re[1]: 中間値の定理の証明(区間縮小法ではない)
▲
▼
■
□投稿者/ らすかる
一般人(4回)-(2023/02/09(Thu) 18:05:56)
例えばf(x)=-x^2のとき[-2,0)でf(x)<0ですがf(0)=0ですね。これと同じことです。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52146
/ inTopicNo.3)
Re[1]: 中間値の定理の証明(区間縮小法ではない)
▲
▼
■
□投稿者/ muturajcp
一般人(6回)-(2023/04/07(Fri) 20:12:40)
f(c)<0と仮定する
ε=-f(c)とすると
ε=-f(c)>0
fは連続だから
ε=-f(c)>0に対して
あるδ>0が存在して
|x-c|<δとなる任意のxに対して
|f(x)-f(c)|<ε
f(c)-ε<f(x)<f(c)+ε=f(c)-f(c)=0
f(x)<0…(1)
だから
x=c+δ/2
とすれば
|x-c|=δ/2<δだから(1)から
f(x)=f(c+δ/2)<0
だから
c<c+δ/2∈A={d|a≦d<b,f(d)<0}
だから
c=supA,cがAの上界である事に矛盾するから
∴
f(c)≧0
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
このトピックをツリーで一括表示
トピック内ページ移動 / <<
0
>>
このトピックに書きこむ
入力内容にタグは利用できません。
数式の記述方法
TeX入力ができます。
\[
TeX形式数式
\]
あるいは,
$
TeX形式数式
$
で数式を記述します。
TeX形式数式には半角英数字のみです。詳しくは、
ここ
を見てください。
Titleは質問の内容がわかりやすいように書いてください。
他人を中傷する記事は管理者の判断で予告無く削除されます。
半角カナは使用しないでください。文字化けの原因になります。
名前、Title、コメントは必須記入項目です。記入漏れはエラーになります。
入力内容の一部は、次回投稿時の手間を省くためブラウザに記録されます。
削除キーを覚えておくと、自分の記事の編集・削除ができます。
URLは自動的にリンクされます。
引用返信するときは不要な引用部分を削除してください。
記事中に No*** のように書くとその記事にリンクされます(No は半角英字/*** は半角数字)。
使用例)
No123 → 記事No123の記事リンクになります(指定表示)。
No123,130,134 → 記事No123/130/134 の記事リンクになります(複数表示)。
No123-130 → 記事No123〜130 の記事リンクになります(連続表示)。
Name
/
E-Mail
/
└> 関連するレス記事をメールで受信しますか?
NO
YES
/ アドレス
非公開
公開
Title
/
URL
/
Comment/ 通常モード->
図表モード->
(適当に改行して下さい/半角10000文字以内)
■No52112に返信(未熟者さんの記事) > 中間値の定理の証明で、関数fが区間[a,b]で定義され、連続で、f(a)=α<0、f(b)=β>0とする。そのときf(c)=0となるcがaとbの間に存在するとあり、本にその証明として、 > > a≦d<bかつ区間[a,d]で常にf(x)<0であるようなd全体の集合をAとする。bはAの一つの上界なのでAは上に有界である。そこでsup A=cとする。a≦x<cとすれば、x<d<cを満たすdがあるからf(x)<0、よって区間[a,c)でf(x)<0である。ゆえにfの連続性からlim(x→c-0)f(x)=f(c)≦0となる。(以下略) > > とあるのですが、なぜfの連続性によってf(c)≦0となるのでしょうか。区間[a,c)でf(x)<0なのになぜ=がついて<が≦になるのかがわかりません。
File
/
アップ可能拡張子=> /
.gif
/
.jpg
/
.jpeg
/
.png
/.txt/.lzh/.zip/.mid/.svg
1) 太字の拡張子は画像として認識されます。
2) 画像は初期状態で縮小サイズ250×250ピクセル以下で表示されます。
3) 同名ファイルがある、またはファイル名が不適切な場合、
ファイル名が自動変更されます。
4) アップ可能ファイルサイズは1回
200KB
(1KB=1024Bytes)までです。
5) ファイルアップ時はプレビューは利用できません。
6) スレッド内の合計ファイルサイズ:[0/500KB]
残り:[500KB]
Icon
/
ぺそぎん(常)
ぺそぎん(喜)
ぺそぎん(礼)
ぺそぎん(跳)
ぺそぎん(焦)
ぺそぎん(励)
マサト
ミツコ
サトシ
サクラ
ダン
エリカ
ホイールロボ
くるりロボ
ぱんだ
ふとめネコ
ねずみ
こあら
疑問ねこ
ランダム
管理者用
(画像を選択/
サンプル一覧
)
削除キー
/
(半角8文字以内)
解決済み!
BOX/
解決したらチェックしてください!
プレビュー/
Mode/
通常管理
表示許可
Pass/
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
-
Child Tree
-
Edit By
数学ナビゲーター