- 締切済み
数学の問題で解答が適切かわからなくて困っています
困っているのは↓の問題です 「f(t)を連続関数、ｘを実数として、関数g(x)を次のように定義する。 g(x)＝∫(0→1)｜f(t)－ｘ｜dt （ｔについて0から1までの積分です） f(t)は微分可能な単調増加関数で、その逆関数も微分可能とし、a＝f(1/2)とおく。 このとき、g(x)はx=aで最小値を取ることを証明せよ」 模範解答では、ｘの値で場合分けをして、計算からdg(x)/dxがx=aにおいて符号変化することを示しているのですが、 f(x)が単調増加であることから、∫(0→1)｜f(t)－ｘ｜dt がｘ＝f(1/2)において最小であることがグラフの図示によってわかるとおもうのですが（「大学への数学」における「はみ出し削り論法」というやつです）、この問題においてこの解法では論理的に不足があったり飛躍があったりしますか？
- arinsa
- お礼率2% (1/43)
- 大学受験
- 回答数4
- ありがとう数0
- みんなの回答 （4）
- 専門家の回答
みんなの回答
- snaporaz
- ベストアンサー率40% (939/2342)
自分でグラフを描くのもなんなので、いいサンプルがないか探してみました。 http://www10.plala.or.jp/mondai/columun/jimei.pdf http://www10.plala.or.jp/mondai/columun/jimei_2.pdf 作者がちょっと不明なのですが・・・。 あなたの質問はこの２ページめの最後のような「やけにあっさりした視覚的な証明」を使ってもいいのだろうか、ということだと理解していました（補足ではちょっと主旨が変わっている気もしますが・・・）。 私はf(0)が例えば-20,000で、f(1)が５億だったらどうプロットするつもりかと思ったのが＃２でしたが（建築屋なので寸法が気になります）、なるほどスケール感をまったく無視すれば、グラフ化もそれなりに可能ですね。直線をスライドさせる「はみ出し削り」も、少なくとも視覚的な破綻は見当たりません。 しかし私が言いたかったのは、このリンク先の前段と同じことです。 「抽象的な単調増加関数」にもはみ出し削りを使おうとするなら、それは「補助定理」にあたるのではないか、と。「補助定理を自明とすればはみ出し削りをそのまま適用できる」けれど、それでは「証明せよ」という設問に対しては弱いのではないか（補助定理から証明すべきではないか）、ということです。 なので「いきなりはみ出し削りでグラフから」ではほとんど点は期待できず、大数の例題と同様の数式による論証（補助定理の証明）ができれば点数をもらえるだろう、と考えます。 ちなみに、私はかつて、大数の「飛び道具」はエレガントだけれど時にやりすぎで危うい感じもしたので、どっしりと本格的な「黒大数」もやって、解法を２つ用意するよう心がけていました。自分の中でバランスをとろうとしていたようです。傾向としては、「求積の東大」では飛び道具にも寛容だけど、「論証の京大」では厳密な論理展開を好む、という印象が少なくともかつてはありました。 ※蛇足になりますが、上の（補足ではちょっと主旨が変わっている気もしますが・・・）について。 質問本文では「はみ出し削りを使ってもいいのか」が主旨でしたが、補足では「はみ出し削りを適用できるという証明（大数の例題）と同じ手続きでいいのか」に、微妙に変わっています。 「はみ出し削り」を持ち込むというのは相当な上級者だと思うので、あえて細かいコメントをつけておきます。私も「抽象関数では証明できない（仮にできたにしても高校生には難しいだろう）」と根拠なく思い込んでいて、そう書いてしまいましたが。
- snaporaz
- ベストアンサー率40% (939/2342)
はみ出し削り法は「ふさわしくない」と書いたのです。この質問は、「～であることを証明せよ」です。 大数によると 抽象的な単調増加関数についても「はみ出し削り」が成り立つことが証明されている のですよね。この命題は証明されるべきものである、つまりその証明法、導出の過程を示すことこそが質問文中の設問だったのではないでしょうか。はみ出し削りをはみ出し削りで証明することはできません。 「二次方程式の解がx=・・・であることを証明せよ」を、「二次方程式の解の公式は成り立つことが証明されているので、これを適用し自明」としたら得点にならないのと同じです。 「はみだし削り」は「幾何」なので、「直感的には正しい」と思えても、「概念の証明」をこれで押し切るのは無理があるでしょう。「グラフの図示」がきっちりできているのであればそれも証明の助けにはなるでしょうが、「グラフの図示によってわかるとおもう」ではどう証明したのか見えません。大数でもグラフだけで説明してあるわけではないでしょう。 設問が「その最小値を求めよ」であれば、あなたにとっては既知のはみ出し削りを用いても点にはなるでしょう。
- snaporaz
- ベストアンサー率40% (939/2342)
f(t)が単調増加であるということは、f'(t)>0ということではありますが、本体f(t)の挙動範囲を特定するものではありません。 「はみ出し削り」はグラフ化（視覚化）できる関数では有効ですが、f(t)などという得体の知れない関数にはふさわしくありません。「グラフの図示によって」とありますが、どんなグラフを描くのですか？x=f(1/2)はそのグラフでどこに位置するのでしょうか。f(0)とf(1)の中点にあるわけではないのです。
補足
「大学への数学」の「大数ハンドブック必須手法の紹介」のP20の例題5にあるように、抽象的な単調増加関数についても「はみ出し削り」が成り立つことが証明されているのですが、それでも駄目なのでしょうか？ その例題では、本問題にあたるg(x)をy軸方向への積分で表して、本問題にあたるｘで微分して、その微分したあとの式が0の時を考えると証明出来るとしています。
- kacchann
- ベストアンサー率58% (347/594)
大丈夫な気がするけど…。 (論理的な破綻は見つからないような) でも、 ぼくはあんまり数学得意でないので、 見落としや勘違いがあるかも。 数学のカテで なるべく図を添えて、質問したほうがいいかも。 数学のカテの常連回答者さんは、 「はみだしけずり」と言っても、 何のことだかわからないだろうから。 わかる人もいると思うけど。 --- ただ、はみだしけずりで、 面積の増減量を議論する場合、 図と言葉で説明するだけでなく、 数式を持ち出したほうが減点くらいにくい気がします。 あと、採点官に 「この答案、なにやってるかわからん」 と思われると0点なので、 そこは気をつけて、 丁寧に説明する必要があると思います。 採点官は、はみだしけずり論法しらないからね。
関連するQ&A
- 数学III 極値の問題
ｇ（ｘ）はｘ＝aを含むある区間で単調に増加する微分可能な関数で、ｇ（a）＝０とする。 次の関数ｆ（ｘ）はｘ＝aで極値をもつか。 （１）ｆ（ｘ）＝（ｘ－a）＾２×ｇ（ｘ） （２）ｆ（ｘ）＝（ｘ－a）＾３×ｇ（ｘ） 本当にわかりません。 何なんですか？この問題。 （一応自分の方針では、２階微分で最後にｘ＝aを代入するのか と思っていますが、なぞです。）
- ベストアンサー
- 数学・算数
- 導関数の問題
以下のような問題を解いてみましたが、自信がありません。 この解き方でいいのでしょうか？ もし、おかしい点があればご指導おねがいします。 【問題】 関数 f(x)=∫{0→x}(t^2+1)^10 dt の導関数を求めよ。 【自分の解答】 一般的に、関数g(x)の原始関数をG(x)とした場合、 f(x)=∫{a→x}{g(t)} dt =[G(x)]{a→x}=G(x)-G(a) f(x)=(dG/dx)=g(x) とあらわすことができる。 ゆえに、関数 f(x)=∫{0→x}(t^2+1)^10 dt に t=xを代入し、導関数は f(x)=（t^2+1)^10 となる。
- ベストアンサー
- 数学・算数
- 数学の問題です
微分可能な関数ｆ（ｘ）について、次の３種類の操作を考える。 操作(1)ｆ（ｘ）を微分してｆ’（ｘ）を得る。 操作(2)ｆ（ｘ）をｘ倍してｘｆ（ｘ）を得る。 操作(3)ｆ（ｔ）を０からｘまで積分して∫0→ｘ ｆ（ｘ）ｄｔを得る。 ｆ0（ｘ）＝ｘ・ｅの－ｘ乗とする。 （１）関数ｆ0（ｘ）に操作(1)を２回続けて行って得られる関数をＦ（ｘ）とするとき、Ｆ（ｘ）の最大値を求め よ。 （２）関数ｆ0（ｘ）に操作(1)と操作(2)をこの順に行って得られる関数をＧ（ｘ）とするとき、Ｇ（ｘ）のｘ≧０に おける最大値と最小値を求めよ。 （３）関数ｆ0（ｘ）に操作(2)と操作(1)をこの順に行って得られる関数をＨ（ｘ）とするとき、Ｈ（ｘ）－Ｇ（ｘ）に 操作(3)を１回行って得られる関数Ｌ（ｘ）を求めよ。ただし、Ｇ（ｘ）は（２）で求めた関数とする。 よろしくお願いします☆
- ベストアンサー
- 数学・算数
- 高校数学IIIの問題です。教えて下さい
関数ｆ（ｘ）は区間[-1, 1]で連続で、偶関数、すなわち ｆ（-t）=ｆ（t）であるとする。次の問いに答えよ。 （１）∫(-1～0)ｆ（t）dt=∫(0～1)ｆ（t）dtを示せ。 （2） 関数 F(x)=-∫(-1～1)｜ｔ－ｘ｜ｆ（t）dt (-1≦x≦1)について F'(x)=-∫(-1～x)ｆ（t）dt +∫(x ～1)ｆ（t）dt F''(x)=-2ｆ（x） を示せ。 （3）関数ｆ（x）は、さらに等式 ｆ（x）=-∫(-1～1)｜ｔ－ｘ｜ｆ（t）dt (-1≦x≦1) を満たすところとする。このとき、関数g（ｘ）＝ｆ（ｘ）－ｆ（０）cos√2x について g（0）＝g'（0）=0 (1/2{g'(x)}^2 + g(x)^2)´=0 が成り立つことを示し、ｆ（t）=ｆ（0）cos√2x を導け。
- 締切済み
- 数学・算数
- 高校数学の問題です。解答お願い致します。
問題 関数f(x)がすべての実数s,tに対して f(s+t)=f(s)+f(t) を満たしている時、 (1) f(0)を求めよ。 (2) f(x)がx=0で微分可能であれば、f(x)はすべての実数aに対して x=aで微分可能であることを証明せよ。 (3) f(x)がx=0で微分可能で、f`(0)=0のとき、f(x)を求めよ。 出来れば、解説も入れながら解答していただければ、幸いです。 ちなみに、解答は (1)f(0)=0 (3)f(x)=0 です。
- ベストアンサー
- 大学受験
- 【数学】解答解説お願いいたします。
関数f(x)=x^3-3x^2に関して、次の問いに答えよ。 (1)y=f(x)のグラフ上の点(f, f(t))における接線の傾きが正となるようなtの範囲を求めよ。 (2)g(x)=∫[x, 0]|f '(x)|dt を求めよ。 (3)関数y=g(x)のグラフをかけ。（省略していただいてもかまいません）
- 締切済み
- 数学・算数
- 数学の問題の解答を教えてください
ある大学の過去の入試問題です。 ｔの関数 y = 1/4(4t+4-t)-a/2(2t+2-t-2)+1/2 について次の問いに答えよ。ただしaは定数とする （注)4tは4のt乗、4-tは4の-t乗、2tは2のt乗、2-tは2の-t乗、その直後の-2はそのままマイナス2 (1) tの関数 f(t) = 2t+2-tの最小値を求めよ (注)2tは2のt乗、2-tは2の-t乗 (2) x = (2t+2-t)/2 とおくとき、yをxとaの式で表せ (注)2tは2のt乗、2-tは2の-t乗 (3) yの最小値をaで表せ (4) (3)でyの最小値が0となるときのaの値を求めよ
- 締切済み
- 数学・算数
- 陰関数媒介変数表示の微分、媒介変数表示陰関数の微分
なにか微分可能な平面曲線があるとし、その傾きが知りたいとします。 陽関数y=f(x)の微分は、 dy/dx=f'(x)です。 媒介変数表示x=f(t)，y=g(t) の微分は、 dy/dx={df(t)/dt}/{dg(t)/dt}です。 陰関数f(x,y)=0の微分は、 dy/dx=-{∂f(x,y)/∂x}/{∂f(x,y)/∂y}です。 陰関数の中に媒介変数があるh(x,y)=h(f(t)，g(t))=0 の微分は、どうなるのでしょうか？ 媒介変数表示が陰関数になっているf(x,t)=0，g(y,t)=0 の微分は、どうなるのでしょうか？
- ベストアンサー
- 数学・算数
補足
私の力不足でよくわからないのですが、結局のところ数式処理できればいいということですか？ 追記 下記の例題は 「ｙ＝ｆ（ｘ）は０≦x≦aにおいて増加であるとき、∫(0→1)｜f(x)－t｜dx （0<t<f(a)） はｔ＝ｆ（ｘ）をみたすｘをu(t)としてu(t)＝a/2の時最小になることを証明せよ」です。この例題の解答例では∫(0→1)｜f(x)－t｜dxをy軸方向の積分で表して、tで微分して評価しています。 要は、全体の質問として聞きたかったことは、本問はこの例題と同じではないのですか？、ということです。