講義中に配布した宿題の解答例などの配布プリントを、 画像ファイルと PDF ファイルにして置きます。 手書きなので多少 (かなり ?) 見にくいですが配布しているものと同じものです。
昨年 (昨年度は基礎数理 II)、今年と、1 変数の微分の最後に出て来る テイラー展開の説明を、教科書とはやや異なる形で行って来ました。
教科書では、剰余項を含んだ形を証明するため、コーシーの平均値を 使ったり、部分積分を使ったりしているものが多いと思いますが、 工学では、それよりもむしろ各項の形が何故あのような形であるのか、 ということを知る、ということを目標としました。 しかし、必ずしもうまくいってはいないように思います。 もっと良い方法を探るべきだと思いますが、取り敢えず今までの説明を ここでまとめておきます。
PDF ファイルと、HTML 版にそれへのリンクを追加しました。
(01/12 2009)
例年テイラー展開は定義と、その定義に基づく計算位しかできず、 その収束性の話や、積、商、合成関数のテイラー展開などについては 時間がないためほとんど話をしていませんし、 教科書にも余り書いてないことが多いです (多少は書いてある教科書を使ったこともありますが)。
よって定義通りに計算しようとすると、特に積、商、合成関数の テイラー展開の場合は計算が割と大変になります。 そのテイラー展開のやり方をある具体的な関数を例に取って 紹介したものをここにまとめておきます。
HTML 版に PDF ファイルへのリンクを追加しました。
(01/12 2009)
複雑な関数のテイラー展開をある大学院生に質問されました。 定義通りに計算しようとすると微分の計算が大変なものなのですが、 実は一般二項定理を知っていれば微分の計算なしに テイラー展開できる例にもなっていますので、 その計算をここにまとめておきます。
HTML 版に PDF ファイルへのリンクを追加しました。
(01/12 2009)
例年三角関数の導関数がなぜそうなるかという説明は省いていますが、 それを、教科書などで行う説明よりやや図形的な説明を考えてみました。 ただ、まだ必ずしも分かりやすいものでもないと思いますが、 取り敢えずここにまとめておきます。
PostScript ファイルを修正し、PDF ファイルを追加しました。
(07/12 2003)
HTML 版に PDF ファイルへのリンクを追加しました。
(01/12 2009)
現在は電卓があるので意味がなくなりましたが、 元々対数は、計算機のなかった時代に 積や商、累乗が簡単に計算 (=対数計算) できるようにと発明 (発見 ?) されたもので、 分厚い 10 桁の対数表が計算機の代わりに使われたそうです。 電卓の前に使われていた計算尺も、それを物差しにしたような道具です。
計算する桁にもよりますが、 積や商は筆算で計算するにしても和や差に比べてはるかに時間がかかり、 その積や商を和や差で計算することを可能にした対数表は、 「天文学者の寿命を 10 年伸ばした」と絶賛された大発明だったのです。 当時 (15~17 世紀頃)、航海の安全のためには、高度で精密な天文観測技術と 天体の運行に関する精密なデータが必要でした。
対数表が発明される少し前に 三角関数表を使って積を計算する方法が発見されていたのですが、 どのようにするかわかりますか ?
使うのは余弦の加法定理 cos(x+y)=cos(x)cos(y)-sin(x)sin(y) から導かれる 積和の公式:
2sin(x)sin(y)=cos(x-y)-cos(x+y)=sin(90-x+y)-sin(90-x-y)です (単位は度)。
2AB = 2sin(x)sin(y) = sin(90-x+y)-sin(90-x-y)により差と 2 での割算で積 AB が求まる
ただし、この方法は割算や累乗に応用が難しいという難点があり、 この発見に刺激を受けた ネィピア (J.Napier 1550-1617 英) は 7 桁の対数表 (常用対数ではない特殊な対数) を発明し、後に ブリックス (H.Briggs 1561-1630 英) とともに 12 桁の常用対数表を完成させました。
対数表を使えば、対数法則により積、商などが和、差で、 累乗が積で計算できることなどがすぐに分かると思います。 しかも上の三角関数表を使う方法より楽でずっと直接的です。
この対数の発明者であるネィピアにちなんで、自然対数の底である e は ネィピア数とも呼ばれています。 また、対数は英語で logarithm といいますが、 これはネィピアがギリシャ語の「logos」(比)と「arithmos」(数)を合わせて作った 造語なんだそうです。
参考文献:
やや基礎数理 I の話とはずれるかもしれませんが、 先日ある学生に聞いた、三角関数の加法定理の覚え方について 少し考えてみました。 取り敢えずここにまとめておきます。
HTML 版に PDF ファイルへのリンクを追加しました。
(01/12 2009)
ところで、上の文書では関数方程式の話を余談として書きましたが、 それとはちょっと別の話になりますが、 直接加法定理に関係する余談を少し追加します。
sin(x+y) と cos(x+y) の加法定理の形についてどんな風に感じるでしょうか。 なんとなく sin(x+y) の方が、マイナスもないし 割りと対称性があってきれいな式のように見えないでしょうか。 または、なんとなく sin(x+y) と cos(x+y) の加法定理ってかなり違う形に 感じないでしょうか。
では、そこから sin(x+y+z) や cos(x+y+z) の加法定理はどんな形になるか
想像できるでしょうか。
実は sin(x+y+z) にはマイナスが出て来ますし、
cos(x+y+z) とある意味で非常に似たような式になります。
興味ある人は、自分で計算してみるといいでしょう。
ついでに sin(x+y+z+w)、cos(x+y+z+w) もやってみると、
何かの規則に気がつくかも知れません。
(03/05 2003)
上の文書の 「5.2 関数方程式」 で、
f(x+y)=f(x)cos(y) + f(y)cos(x)がすべての実数 x,y に対して成り立つような f(x) を求める、という話を書き、 そこに、「f(x) は微分可能である、といった条件がつけば」そのような f は
f(x)=(定数)×sin(x)になる、と書きましたが、考えてみると微分可能のような条件は 別に必要ないようです。
上の加法定理の証明 2 (の後半の sin の加法定理) では やや面倒な説明をしていますが、 以下にもっと易しい説明がありました:
私の 3 ページの図 2 で言えば、 △ABC = △ABD + △ACD より (高さ = 1 は忘れてよい)、
(1/2)AB・AC・sin(x+y) = (1/2)BD・AD + (1/2)CD・ADとなるので、両辺 (1/2)AB・AC で割り算すれば、
sin(x+y) = (BD・AD)/(AB・AC) + (CD・AD)/(AB・AC)とこれで OK です。 こちらの方がえらく楽ですし、ずっとわかりやすいですね。
= (BD/AB)・(AD/AC) + (AD/AB)・(CD/AC)
= sin x・cos y + cos x・sin y
私のは「両辺 (1/2)AB・AC で割」らずに、
tan を使って書いたりした上で
両辺 cos 倍とか言っているので、
むしろわかりにくいです。
(09/12 2011)
工学部の講義ではだいたいどこでもそうだと思いますが、 うちの講義でも「極限」の定義の厳密な話はしていませんし、 教科書にも書いてありません (高校でもやりません)。 そういう話に興味のある人向けに、 極限の厳密な定義、いわゆる「ε-δ論法」のお話を少し書いてみました。 取り敢えずここにまとめておきます。
たまに、理学部数学科の数学と工学部の数学はどう違うのか、 と聞かれることがあります。それに対する一つの回答にもなっていると思います。
HTML 版に PDF ファイルへのリンクを追加しました。
(01/12 2009)
講義では ∞-∞ の形の不定形である、 (n+1)1/2-n1/2 の極限が 0 になることを、 有理化のような計算によって求めました。 一方で、(n+1)1-n1=1 です。 では、一般の (n+1)p-np (p>0) の極限は どうなるのでしょうか。 少し考えてみましたので、それをここにまとめておきます (多少、微分の知識が必要になります)。
HTML 版に PDF ファイルへのリンクを追加しました。
(01/12 2009)
海岸道路を柏崎市から新潟市へ走ると徐々に佐渡島が大きく見えてきます。 佐渡島は海の上に浮いて見えますが、 地球は丸いので佐渡島の海岸が見えるわけではなく、 佐渡島が水平線の上に顔を出している部分が見えているわけです。
では、佐渡島の海岸を見ようと思ったら 新潟の海岸からどれ位の高さから見れば見えるのか、 ふと気になったので簡単に計算してみました。
その計算には三角関数やテイラー展開などを利用しましたので、 それらの応用例の一つとしてここに紹介したいと思います。
HTML 版に PDF ファイルへのリンクを追加しました。
(01/12 2009)
追記 (01/11 2007):
上記文章中では
「シーサイドラインは、最も高いところでも 70 m はないような気がするので、 シーサイドラインからは佐渡の海岸は見えないように思う」と書きましたが、先日越後七浦シーサイドラインを走ったら、 海岸のようなものが見える高い場所がありました。 場所は浦浜付近の、五ヶ浜トンネルや五福トンネルから浦浜大橋に向う辺りで、 ここはかなり高くなっていて (70m あるかどうかは知りません)、 天気のいい日ならば建物もよく見えます。
追記 (10/25 2007):
さらに追加ですが、
地図を見ると確かに五ヶ浜トンネル付近は 80m 位ありそうです。
ついでに写真を取ってきましたので、それをここにつけておきます
(私の腕のせいでかなりボケていて見にくいです)。
見にくいでしょうが、 海岸近く (低い位置) から取った佐渡島の「水平線」の写真は、 海の色と佐渡島の色とがはっきり分かれて見えます。 また、その海と佐渡との境い目にごく小さい凸凹が見られますが、 これは波頭です。 よって佐渡島の海岸は海の下になっていることがわかります。
一方、高いところから取った佐渡島の写真は、 海と佐渡との境い目が白っぽく写っています。 白い凸凹も多少見えますが、 これは海岸や建物が見えているものと思われます。
追記 (08/18 2008):
上記のレポートでは、L を弧 AB の長さとして計算しているので、
cosθのテイラー展開が必要となるのですが、
θが 0 に十分近いので、弧 AB はほぼ AC に等しいと考えれば、
三平方の定理だけで近似式が作れるようです (記号は上のレポートを参照)。
L2 ≒ AC2 = OC2-OA2 = (R+h)2-R2 = 2hR+h2 ≒ 2hRとなるので、よって、
h ≒ L2/(2R) = πL2/40000 [km] = πL2/40 [m]となり、レポートと同じ式が得られます。
確かにこちらの方が簡単ですが、 上のレポートが意味がないわけではないと思います。 もし、弧 AB ≒ AC に気がつかずにあくまで弧 AB を考えた場合には レポートと同じように cosθがでてきますから、 その場合はテイラー展開を知らなければ近似式を作ることはできません。 テイラー展開を知っていれば、 エレガントな方法をひねりださなくても 力技で近似式を作ることができる、という風に見えなくもないですが、 物理や工学などではまさにそのような目的で数学が道具として使われます。
目次に戻る講義の指数関数 ex の微分のところで、
「微分しても変わらないのは、ex とその定数倍しかない」と話しましたが、それは実際どのようにして示されるのか、 などについてまとめてみたので、ここに紹介します。
HTML 版に PDF ファイルへのリンクを追加しました。
(01/12 2009)
先日、知り合いから、 場合分けされた関数の連続性と微分可能性に関する質問を受けました。 それに関して、一つの定理といくつかの例を思い出したのですが、 これらは連続性と微分可能性に対する 正しい理解を深めるものとなるかもしれませんので、 ここにまとめておきます。
HTML 版に PDF ファイルへのリンクを追加しました。
(01/12 2009)
