コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

利用者:にづくりうま男/sandbox

三角関数の極限の証明について

[編集]

本文の#三角関数と極限で示されている

という式について、上で示した証明は、「循環論法になっていて証明になっていない」と言われることがある。それはどういうことか、興味がある人のために解説を加えておく。

さてここで、どのように「循環論法」が形成されているのかはっきりさせておこう。

を示す過程で扇形の面積を利用している←扇形の面積を求めるには三角関数の積分が必要である←三角関数を積分するには三角関数の微分が必要である←三角関数を微分するには という結果が必要である←……

論理が循環している構造が分かっただろうか。「極限を求めるために、その極限を利用している」と言ってもいいだろう。

現代の数学では、もちろんこの循環論法は回避できる。もっと言えば、高校数学(新課程)の範囲内でよりよい証明を示すこともできる。しかしそれは今学んでいるより後に学習する内容を利用することにもなり、少々複雑である。

高校数学の目的は完全な論理を組み立てることではなく、むしろ数学の、高校内容の中での体系的な理解を目的としている。このような理由から、現在多くの教科書に上と同様の証明が掲載されていると考えられるし、WIKIBOOKSもこれに倣った。

しかしここでは興味のある諸君のために、「高校内容の範囲(新課程)でのよりよい証明」を示しておこう。面積を利用することは避けて、円弧の長さから問題の極限の値を導いてみよう。ただし、数学IIIの微分、積分(新課程のみの内容も含む)の内容を利用する。

まずは、「ラジアンとは何か」を考え直してみよう。というのも、ラジアンの定義には円弧の長さを利用したが、現代の数学では「曲線の長さ」も定義なしには扱えないからである。つまりわれわれは、円弧の長さを数学的に定義すればよいということだ。このあとの積分の単元(新課程)で学習することになるが、区間axbで自身とf' (x )がともに連続である関数f (x )について、y =f (x )(axb)で表される曲線C の長さは、次の式で求められる。(証明は当該ページ参照)

ここで、f (x )を半円弧とすると、円弧の長さを計算できる。ただし、この円弧の長さを求める積分の不定積分は、高校範囲ではできない。しかし確かに値は有限の値として存在しているのであるが、このあたりの話は、数学IIで学んだ定積分の定義(この後数学IIIで学ぶものもこれと変わらない)と現代の数学の一般的な定積分の定義が異なっているために話が複雑になるので、ここでは踏み込まないでおく。ただ、積分区間にx =-1もしくはx =1を含めると具合が悪いので、積分区間をとして、その値をπ/2とし、円の対称性から円弧一周の長さを決定するとよいとだけ補足しておく。

さて、これでようやく円弧の長さを定義できたので、ラジアンも定義することができる。いよいよ問題の極限の値を求めてみよう。そのために一般的に、再び区間axbで自身とf' (x )がともに連続である関数f (x )について、y =f (x )(axb)で表される曲線C を考えよう。ここで、axb, axxb, Δx≠0を満たすようにx およびΔxをとる。また、曲線C上に2点P(x,f (x )),Q(xx,f (xx ))をとる。いま曲線PQの長さを、直線PQの長さをPQで表すこととすると、

が成り立つことを示そう。

証明

平均値の定理により、

を満たす実数θが存在する。また、を先述の式により定積分で表すと、

であり、ここで、が、 (0≦θM≦1, 0≦θm≦1)でそれぞれxからxxの間での最大値、最小値をとるとすると、xからxxの間の任意の実数t に対して、

が成り立つ。各辺x からxxまで積分することにより、

を得る。よって

ここで、

より、はさみうちの原理から、

 ■

さて、今度こそ問題の極限を求めてみよう。

証明

本文と同様にθ>0をまず考える。

として、y =f (x )上のx座標がxである点をP,xxである点をQとし、

(ただしOは原点)

とする。すると、ラジアンの定義より、 となり、また図形的考察によりPQ=2sinθであることが分かる(Oから弦PQに垂線を下ろすと分かりやすい)。ここで

を考えると、Δx→0のとき、θ→+0であるから、上で証明したことを用いると、

θ<0のときは本文と同様である。以上より、循環論法に陥ることなく、

が示された。■

このように、この循環論法を避けるのは少々難しい。循環論法を避けるために三角関数の微積分を後回しにして、この証明のための道具が揃うまで話を進めるのはこと「学習/教育」においてはどう考えても非効率的で、そのような回り道をするのは本末転倒である。ということで、「循環論法」と聞いて教科書に不信感を抱いた君も、ここまで読めば致し方ないことに納得してもらえたと思う。

ところでこの循環論法を避ける方法はこれだけではない。sinx及びcosxxの非負整数乗の無限級数で定義する方法や、微分方程式を用いて定義する方法などが考えられるが、前者は少なくとも教科書に載せるには向かないし、後者はどう考えても高校範囲外である。ここで解説することはしないが、興味があれば次に示す参考文献を読んでみるといいかもしれない。

それにしてもこのコラムをここまで読み進めた君の好奇心は大したものである。君の成長を期待している。