- ベストアンサー
積分公式の証明
- みんなの回答 (4)
- 専門家の回答
質問者が選んだベストアンサー
>この公式は大学レベルのものなのでしょうか。 高校レべルです。しかも簡単に導けます。 簡単なテクニックが必要ですが、覚えてしまえば取るに足らないでしょう。 >上のような公式は見たことがありません。 単に公式または導出法に出会わなかっただけにすぎない(経験不足なのかも)。部分積分法と簡単なテクニックで導出できる式だから、導出法を覚えておいた方がいいね。 >この公式を断りなく大学入試で使用しても大丈夫でしょうか? 公式としてではなく導出して使えばいいでしょう。穴埋め問題なら、公式は表に出ません。記述式なら公式「…」を用いてと書くか、直接求めるかですね。 >この公式に名前はあるのでしょうか。 おそらく無いでしょう。簡単に導ける公式だから公式の部類に入れていないかもしれないですね! 普通、数IIIの微積をやる受験生なら導き方は覚えておくべきでしょう。 公式として覚えると、公式を間違えて使うと取り返しがつかないね。 導出法 >この公式の高校レベルでの証明 I=∫(e^(ax))cos(bx)dx 部分積分して =(1/a)(e^(ax))cos(bx)-∫(1/a)(e^(ax))(cos(bx))' dx =(1/a)(e^(ax))cos(bx)-∫(1/a)(e^(ax))(-b)sin(bx) dx =(1/a)(e^(ax))cos(bx)+(b/a)∫(e^(ax))sin(bx) dx もう一度部分積分して =(1/a)(e^(ax))cos(bx) +(b/a){(1/a)(e^(ax))sin(bx)-∫(1/a)(e^(ax))(sin(bx))' dx} =(1/a)(e^(ax))cos(bx)+(b/a^2)(e^(ax))sin(bx) -(b/a^2)∫(e^(ax))bcos(bx) dx =(1/a)(e^(ax))cos(bx)+(b/a^2)(e^(ax))sin(bx) -((b/a)^2)∫(e^(ax))cos(bx) dx ここで ∫(e^(ax))cos(bx) dx=I なので =(1/a)(e^(ax))cos(bx)+(b/a^2)(e^(ax))sin(bx) -((b/a)^2)I Iの項を左辺に移項して I{1+((b/a)^2)}=(1/a)(e^(ax))cos(bx)+(b/a^2)(e^(ax))sin(bx)+C1 両辺に (a^2)/(a^2+b^2)を掛けると I={(e^(ax)(acos(bx)+bsin(bx))/(a^2+b^2)} +C ここで、不定積分の任意定数(積分定数)C1をC=C1* (a^2)/(a^2+b^2) に置き換える。 (証明終わり) [注]実際の積分はa,bに具体的な数字が入るため、証明のようにa,bの文字がなく、ずっと簡単に積分できる。 なので、この公式は覚えるより、積分の仕方を覚え使えるようにしておく方がいいでしょうね。
その他の回答 (3)
- naniwacchi
- ベストアンサー率47% (942/1970)
部分積分を繰り返し使っていくことで示せますよ。 e^(ax)を微分する項として2回繰り返せば、もとの積分の形がまた現れます。 難しい計算ではないので、チャレンジしてみてください。 この手の積分が出てくるとすれば、 減衰振動(増幅振動)のグラフが x軸と囲む面積を求めるという問題でしょうか。 そのような問題であれば、積分計算というよりは等比数列の問題になることが多いです。 http://okwave.jp/qa/q5763407.html 問題の出され方によっては、導出過程を示すこともあると思うので、 丸暗記するよりは導出過程を覚えておく方がよいと思います。
お礼
回答ありがとうございます。 参考URLもみておきます。
- spring135
- ベストアンサー率44% (1487/3332)
>∫(e^(ax)cos(bx))dx =(e^(ax)(acos(bx)+bsin(bx))/(a^2+b^2)+C 部分積分と漸化式を使って証明できたと思いますが 複素数を使った積分によって形式的に簡単に証明できます。 ∫(e^(ax)cos(bx))dxの代わりに I=∫(e^(ax)(cos(bx)+isin(bx))dx (1) を考えます。iは虚数単位 オイラーの定理より I=∫(e^(ax)(e^(ibx))dx=∫(e^(a+ib)x))dx=(1/(a+ib))e^(a+ib)x+c (a+ibを一つの定数とみている。) I=(a-ib)e^(ax)[cosbx+isinbx]/(a^2+b^2)+c 実数部=∫(e^(ax)cos(bx))dx=e^(ax)(acos(bx)+bsin(bx)+c 虚数部=∫(e^(ax)sin(bx))dx=e^(ax)(asin(bx)-bcos(bx))+c' このような式を含む問題が入試に出るとすれば積分ができるように工夫が凝らされているj¥必要があると思います。複素数を含む積分は複素関数論を理解する必要があり大学では普通にやっていますが高校ではちょっと無理でしょう。 その辺は受験情報をもっと調べてください。
お礼
回答ありがとうございます。 複素数を使った積分はあまりよくわかりませんが、参考になりました。
関連するQ&A
- ガウス積分公式の証明についてです!
ガウス積分公式の証明で、 ∫dx exp(-ax^2)=(π/a)^1/2 までは分かるのですが、 多次元の場合の ∫・・・∫dx1・・・dxn exp(-Σxi Aij xj) =(π^n/2)/(detA)^1/2 (積分範囲は-∞~∞、和の範囲はij~nです。) の証明が、どのようにすれば良いのかどうしても分かりません!教科書などもかなり調べたのですが、基本的すぎるのか探し方が悪いのか、どうやっても分かりませんでした。明日までに解かなければならず、最後の頼みの綱としてここに書かせて頂きます!分かるという方いらっしゃいましたら、どうか教えてやって下さい!お願いします!
- 締切済み
- 数学・算数
- 広義積分の証明
aを実数とし、nを自然数とする。このとき ∫(0→∞) (x^n)*(e^-ax) dx = n!/a^(n+1) が成り立つことを示せという問題があります。 (私の解答) In = ∫(0→∞) (x^n)*(e^-ax) dx とおくと、 In = [ (-(x^n)/a)*(e^-ax) ](0→∞) + n/a∫(0→∞) (x^(n-1))*(e^-ax) dx = n/a*I(n-1)となる。 ここで、Io = [ (-1/a)*(e^-ax) ](0→∞) = 1/aより In = n/a*I(n-1) = (n/a)*(n-1)/a*…*(1/a)*Io = (n!/a^n)*(1/a) = n!/a^(n+1) よって成り立つ。 2行目の広義積分[ (-(x^n)/a)*(e^-ax) ](0→∞)について、私はおそらく0になるだろうと思い、その部分を0と置いて計算しています。しかし[ (-(x^n)/a)*(e^-ax) ](0→∞) = 0 は本当に成り立つのでしょうか? その証明の仕方が分からず困っています。分かる方がいましたら解説のほうよろしくお願いします。
- 締切済み
- 数学・算数
- 微分積分
数学の問題を解いたのですが、解答がないので答え、途中式があっているのか分からず困っています。 皆さんの力を是非お貸しください。 I f(x)=x^x(x>0)の最小値を求めよ。 *x^xは「xのx乗」と言う意味です 私の解答)[対数を使うのでは?と思いました] g(x)=logf(x)=xlogx xは0に近づくにつれ、限りなく0に近くなる。 logxもxが0に近づくにつれ、logxは小さくなる。 よってxlogxは限りなく小さくなり、 最小値はない。・・・・(答え) II ∫xe^(-ax) dx(a>0)を計算せよ。 [0 ∞] *∫ は定積分で∫の上側に∞、下側に0がある意味で使っています [0 ∞] *e^(-ax)はeの-ax乗と言う意味で使っています。 私の解答)[部分積分を使うのでは?と思いました] f =x f' =1 g' =e^-ax g =-a・e^-ax ∫xe^(-ax) dx=[-ax・e^(-ax)]-∫(-a・e^-ax)dx [0 ∞] [0 ∞] [0 ∞] =-a・e^-ax・∞+a・e^-ax ・・・・(答え) III ∫xcos(ax)dx(a≠0)を計算せよ。 [0 1] 私の解答)(IIと同様に部分積分か?と思いました) f =x f' =1 g' =cos(ax) g =sin(ax) ∫xcos(ax)=[xsin(ax)]-∫sin(ax) [0 1] [0 1] [0 1] =sin(a)+[cos(ax)] [0 1] =sin(a)+cos(a) ・・・・(答え) 特にIIの∫の範囲(?)に∞が入ったものを経験したことがなく、手持ちの本にも例題がなくxにそのまま代入してよいのか分かりません。 よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
詳細な回答ありがとうございます。 理解することができました。