- ベストアンサー
lim(x→0)sin x / x = 1の証明は何の定理を使用するのでしたっけ？
- みんなの回答 （6）
- 専門家の回答
質問者が選んだベストアンサー
これは、よく考えると 難しいです。 １．挟み撃ちで、扇形の面積を求めます。 この扇形の面積を求めるには、 円の面積の式を使います。 円の面積の式 πｒ＾２ を導くには三角関数の微積を使います。 ２．ロピタルの定理はもちろん三角関数の 微分を使います。 ３．すっきりした形は、 三角関数を無限級数で定義して、 無限級数の微分を考えて、 この無限級数が普通のサインコサインと 一致する事を示す。 ４．それには、微分方程式の解の一意性を 使ったりしたのかな？？ 高校数学で説明する内容は かなり適当です。 円の弧の長さも よく考えると面倒です。
その他の回答 (5)
- rabbit_cat
- ベストアンサー率40% (829/2062)
最終的には、 内接多角形の周長 ＜ 円周の長さ ＜ 外接多角形の周長 という関係を使うことになります。 実は、この関係を証明することは、けっこうやっかいです。 内接多角形の周長 ＜ 円周の長さ は、２点を結ぶ一番短い曲線は直線である、ということを公理とすれば明らかですが、 円周の長さ ＜ 外接多角形の周長 をしっかり証明することは容易ではないです。 過去質問を検索すると、いくつか、この話が見つかると思います。 ちなみに、扇形の面積の公式 1/2rl というのは、上の関係から出てきているものなので、扇形の面積を使う証明は、結局上の円周と外接多角形の周長を使う証明と同じです。
お礼
ありがとうございました。おっしゃるとおり、「円周の長さ ＜ 外接多角形の周長」で躓きます。「示す」程度で納得するのは比較的容易ですが、証明は難しいですね。No.3の方がおっしゃるように、証明できたつもりが、循環論法に陥ってしまっていることになっているので、やっかいです。 無限級数が私には、一番すっきりしました。
- atomicmolecule
- ベストアンサー率56% (55/98)
混乱を招くといけないので証明を簡単にかいておきます。 （１）まずsin(x)^2+cos(x)^2=1 は三平方の定理から知っているとします。以下ではsin(x)=s cos(x)=c と書きます。 （２）下に書いた方法で小さい三角形の高さを求めます。 それは h = s です。これがスタート地点ですね。 （３）下に書いた方法で大きい三角形の高さを求めます。 上で考えた小さい三角形と相似であることに気がついてください。すると大きい△の高さはH =s + [(1-c)s/c] はさまれた部分の弧の長さはこの二つの三角形で挟み撃ちされます。または挟まれた扇の面積は二つの三角形の面積で挟まれると言っても良いです。 よって h≦x≦Ｈ ですね。 よって s≦x≦s+[(1-c)s/c]です。 1≦x/s≦1+[(1-c)/c] cos(x)=1をとればx/s=1です。あれ記憶違いでした、ろぴたるは使わなくても答えでますね。すみません。
お礼
ありがとうございました。面積による挟み撃ちは理解できるんですが、辺と弧を使う場合、「h≦x≦Ｈ」 の「x≦Ｈ」の部分が私には自明ではありません。
- atomicmolecule
- ベストアンサー率56% (55/98)
＃1さんも＃２さんもどちらも正しいと思われます。私がしっている証明では両方使います。 因みにこれってsin(x)の微分がcos(x)だという事は知らない段階での話ですよね？ dsin(x)/dx=cos(x)を使うと循環論法になりますから注意してください。つまりサインの微分がコサインだというのはlim(x->0) sin(x)/x=1 を使って導ちびかれた結果です。私がならった教科書ではそうだったと思います。 証明は、単位円で三角形（通常のsin,cosの定義に出てくるように単位円に三角を描く）を描き、その高さと対応した円周の比がsin(x)/x であることに注目します。 次に考えている三角形の斜辺を少し伸ばします。そして (x,y)=(1,0)の点からｘ軸と直角になるように伸ばした線を考えると一回り大きい三角形ができます。 この大きな三角形と小さいやつで円周をはさみうちします。はさみうちの原理をつかってxとsin(x)の比の極限を取りたいのですが、極限ではど・ろぴたるの定理を使うと直ぐにできます。ということで二つとも使えば簡単に証明できます。もちろん他の方法もあるでしょう。
お礼
おっしゃるとおり、dsin(x)/dx=cos(x)を使うと循環論法になりますね？しかし、私が尾ｍ追い出したいのは、分母、分子が微分可能な時に使う定理なんですよ。
- kotakota1010
- ベストアンサー率25% (1/4)
ロピタルの定理だと思います。こないだ授業でやりました。
お礼
いつも何気に使っているのに、どうしてそうなるのか思い出せないんですよね。No.3の方の方法を習ったのかとは思うんですがね。
- m234023b
- ベストアンサー率20% (54/266)
はさみうちの定理を利用します
お礼
ありがとうございました。記憶がよみがえりませんが、多分、No.3の方が示したような方法で習ったんだと思います。
関連するQ&A
- lim[x→+∞](x^n/e^x)=0 の証明
lim[x→+∞](x^n/e^x)=0 の証明 「任意のn∈Nに対して、lim[x→+∞](x^n/e^x)=0 が成り立つことをTaylorの定理を用いずに示せ。」という問題です。Taylorの定理を使わない場合、どのように証明すればよろしいのでしょうか？ 宜しくお願い致します。
- ベストアンサー
- 数学・算数
- |x-sin(x)|≦x^2/πの証明
lim[x→0] sin(x)/x = 1をε-δ論法で証明するとき |x-sin(x)|≦x^2/π (∀x∈R) 両辺を|x|で割って |1-sin(x)/x|≦|x|/π (∀x∈R＼{0}) δ=πεと置くと ∀ε> 0 ∀x∈R (0 < |x| < δ=πε⇒|1-sin(x)/x|≦|x|/π<ε) この一番最初の式の証明が出来ません。 循環論法になってしまうので三角関数の微積分を使用せずに証明してください。
- 締切済み
- 数学・算数
- lim(X→0)sin(1/X)とlim（ｘ→0）cos(1/X)って何ですか？
f(X) =X＾2sin(1/X) (X≠0） =0 （Ｘ＝0） (1)f’(0)を求めよ。 (2)ｆ’(Ｘ)はＸ＝0で連続であるか という問題なのですが、（１）は解けたのですが、（２）が分かりません。 ｆ’(Ｘ)を求めようと思ってｆ(Ｘ)を微分しました。 ｆ’(Ｘ)＝2Ｘsin(1/X)－cos(1/X) となりました。 そしてlim（Ｘ→０）ｆ’(Ｘ)を求めればいいのかと思ったのですが、 lim(X→0)sin(1/X)とlim（ｘ→0）cos(1/X)が分かりません。 （２）の答えは『lim（Ｘ→０）ｆ’(Ｘ）は存在しないため、連続ではない。』なのですが、lim(X→0)sin(1/X)とlim（ｘ→0）cos(1/X)が存在せず、（１）で求めた数とは一致しないため連続ではないという考えでいいのでしょうか？ お願いします。
- 締切済み
- 数学・算数
- lim sin(x)/x について
少し前に質問がありましたし、過去の議論もあるようですが、私が納得できていないので質問としたいと思います。興味のある方は付き合ってください。質問はsin関数の微分を導出する基礎的な関係式 lim{x->0}sin(x)/x=1 スタート地点はこの式を証明した後にsinの微分を求めることを念頭においています。逆のロジックは受け付けません。 それで結局私がいきついたのは円周と外接円の議論ですが、それは積分法を認めると自明だとおもうのです。弧の長さを積分で書けば ∫dx√[1+(dy/dx)^2] －－－（１） となり、ここで微分dy/dxが出てきますが、ここで傾きdy/dxは円の形から外接円の接線より常に小さくなります。（図がなくてすみません。）よって微分が分らないけど、弧の長さは外接円で抑えられると思います。 数学的には円のグラフの単調減少性という言葉になると思います。 それでsinの微分は分らないけど、これで外接多角形の円周がながくなるというのはこれで証明されるといってはいけないんでしょうか？何か見落としがあるんでしょうか？ 外接多角形の方が円周が長いことが証明できるなら、問題の極限は sin(x)≦x≦sin(x)+[1-cos(x)] －－－（２） をつかってハサミうちすればよいと思います。このハサミうちは直感的には分りやすいので高校レベルの証明ならこれで問題ないと思いますがどうでしょう？ 質問は外接多角形の円周のほうが長いのは（１）と円のグラフの単調減少から示されるかどうか。（２）のハサミうちに落とし穴があるのかどうかの２点です。
- ベストアンサー
- 数学・算数
- lim[x→2]x^3 = 8をε-δで証明する
いま「解析入門」（田島一郎著）ε-δ法の勉強中なのですが、その本に載っている方法とは少し違った方法で lim[x→2]x^3 = 8 を証明してみました。どこかまずいところがあるでしょうか？ ∀ε>0,∃δ>0 s.t. 0 < |x-2| <δ⇒ |x^3-8|<ε…… (ⅰ) を証明すればよい。 εを 0 <ε< 8 で固定しても一般性は失われないから、8-ε> 0 であることを考慮すると |x^3-8| <ε⇔ -ε< x^3-8 <ε ⇔ 8-ε< x^3 < 8+ε ⇔ (8-ε)^(1/3) < x < (8+ε)^(1/3) 一方 |x-2| <δ⇔ -δ< x-2 < δ ⇔ 2-δ< x < 2+δ (ただし、x≠2) であるから 2-δ< x < 2+δ ⇒(8-ε)^(1/3) < x < (8+ε)^(1/3)…… (ⅱ) を満たすδを探せばよい。 2-δ = (8-ε)^(1/3) ⇔δ = 2-(8-ε)^(1/3) 2+δ = (8+ε)^(1/3) ⇔δ = (8+ε)^(1/3)-2 したがって δ = min( 2-(8-ε)^(1/3), (8+ε)^(1/3)-2 ) なるδは(ⅱ)を満たすので(ⅰ)は証明された。 ∴lim[x→2]x^3 = 8
- ベストアンサー
- 数学・算数
- lim[x→0](sinｘ)/x=1 の厳密な証明、sinｘの定義
高校の教科書では、 0<ｘ<π/2のとき，面積を考えて、 (sinｘ)/2<ｘ/2<(tanｘ)/2 2をかけて、辺々の逆数を取ると， cotｘ<1/ｘ<cosecｘ 辺々にsinｘをかけると， cosｘ<sinｘ/ｘ<1 lim[ｘ→0]cosｘ=1 挟み撃ちの原理より，lim[ｘ→0]sinｘ/ｘ=1 と書かれています。 これを出発点として、(sinx)'=cosxが分かり、三角関数の微積分が構築されます。 しかし、面積は厳密には、積分で定義され、微積分学の基本定理から、微分の逆演算として計算されます。 すると、面積を用いて、lim[x→0](sinｘ)/x=1を証明するのは循環論法。 lim[x→0](sinｘ)/x=1 の厳密な証明を、sinxの定義とともに教えてください。
- ベストアンサー
- 数学・算数
- なぜδ(x)=lim k→∞ sin kx /πx になるのですか？わかりやすく教えてください！
なぜδ(x)=lim k→∞ sin kx /πx になるのですか？わかりやすく教えてください！
- 締切済み
- 数学・算数
- lim[x→∞]((α^(1/x)-1)β+1)^x = α^β
lim[x→∞]((α^(1/x)-1)β+1)^x = α^β らしいのですが、どうしてなのですか？ ロピタルの定理を使おうとしたのですが、指数が２重にあってよくわかりません。 また、x→-∞やx→0としたら極限はどうなるのでしょうか？
- 締切済み
- 数学・算数
- lim_（x→π/4) (sin x -cosx) / ( x - π/4) の極限値
いつもお世話になっています。 極限値を求める問題２問です。 (1) lim_(x→π/4) (sin x - cos x) / (x - π/4) x-π/4 を t と置いて考えてみたのですが、途中から分からなくなり ました。 (2) lim_ (x→1) (x-1)/{^3√(x) -1} よろしくお願いします。
- ベストアンサー
- 数学・算数
- lim[x→∞]f(x)/x＝0の証明です。
<問題> f(x)は連続関数で， lim[x→∞]｛f(x+1)－f(x)｝＝0 ならば， lim[x→∞]f(x)/x＝0 を証明せよ。 苦手な関数の極限で、なす術がありません。どうか解答をお願いします。
- ベストアンサー
- 数学・算数
お礼
扇形の面積を使ってしまいましたが、面積による挟み撃ちで「示す」ことに納得はできました。無限級数を使って、証明としても納得できました。ありがとうございました。