コンテンツへスキップ
Topos Uranos

要約

この課は導関数についての単元を開く。まず単元の道筋を示す。すなわち、導関数を平均変化率の極限として定義し、それを連続な因子をもつ分解、カラテオドリの分解として書き、そこから、零になりうる量で割ることなく、微分法の公式、合成関数の微分法、逆関数の導関数を導き、高階導関数、微分、変化率に至る道筋である。また、フェルマーの接線の方法からコーシーの定義まで、ニュートンの流率、ライプニッツの記法、バークリーの批判、そして導関数に名前と記法を与えたラグランジュの計画を経て、導関数の歴史を再構成する。導関数を生んだ問題、すなわち任意の曲線の接線とある瞬間の速度を定式化し、分解が零の増分による割り算にどのように取って代わるかを例で示す。最後に、続く単元、サイトのほかのコース、科学と技術のどこで導関数が用いられるかを指摘する。

学習目標

  1. 単元の道筋を述べ、各課が何を証明し、どの既出の結果を用いるかを説明できる。
  2. 任意の曲線の接線と瞬間の速度が導関数を極限として定義することを要する理由と、カラテオドリの分解によって零になりうる量で割ることなく公式を証明できる理由を説明できる。
  3. フェルマーの方法からコーシーの定義まで、導関数の概念の各段階を歴史的文脈に位置づけ、それぞれを推し進めた問題や批判を見分けられる。
  4. 続く単元、ほかのコース、科学的・技術的応用において導関数がどこに現れるかを指摘できる。

導入テスト

単元に取りかかる前に、出発点を測っておくとよい。このテストは自分で確かめるためのもので、採点はされない。どこで立ち止まるべきかを知るためのものである。最初の九問は、単元の内容の九つの課を順に一つずつ扱い、覚えておく言明ではなく、計算や推論の技能を測る。同じ技能は、最後のまとめの課で、別のデータを使って改めて測る。最後の五問は、この単元が前の単元と代数と幾何 I と II から既知とするものを確かめる。すなわち、三角関数の極限、指数関数の重要な極限、スモールオー o⁡\operatorname{o}、逆関数、逆正弦の余弦である。

導入テスト

単元を始める前に、自分の出発点を測りましょう。短い自己評価です。採点はされず、結果はあなたのブラウザーにだけ保存されます。

  1. 問 1関数 f(x)=12x+1f(x) = \frac{1}{2x + 1} は 00 で定義されている。導関数の定義から求めると、点 (0,1)(0, 1) におけるそのグラフの接線はどれか。

  2. 問 2f(x)=x2+5x−1f(x) = \frac{x^2 + 5}{x - 1} の 33 における微分係数を求めよ。

  3. 問 3f(x)=excos⁡xf(x) = e^x \cos x の π4\frac{\pi}{4} における微分係数を求めよ。

  4. 問 4f(x)=cos⁡2(2x)f(x) = \cos^2(2x) の π8\frac{\pi}{8} における微分係数を求めよ。

  5. 問 5これらの区間のうち、方程式 x3+2x=5x^3 + 2x = 5 が解をもつことをボルツァーノの定理が保証するのはどれか。

  6. 問 6関数 f(x)=x5+xf(x) = x^5 + x は R\mathbb{R} で連続かつ狭義単調増加である。(f−1)′(2)\left(f^{-1}\right)'(2) の値はいくらか。

  7. 問 7F(x)=(x2+1)xF(x) = \left(x^2 + 1\right)^x の 11 における微分係数を求めよ。

  8. 問 855 階導関数(f(x)=xe2xf(x) = x e^{2x} の)の 00 における値を求めよ。

  9. 問 9ある長方形は面積を 66 平方センチメートルに保ちながら、底辺が毎秒 33 センチメートルの割合で伸びている。底辺が 22 センチメートルになった瞬間、高さはどれだけの速さで変化しているか。

  10. 問 10前の単元からlim⁡h→0cos⁡h−1h\lim_{h \to 0} \frac{\cos h - 1}{h} を求めよ。

  11. 問 11前の単元からlim⁡h→0e−2h−1h\lim_{h \to 0} \frac{e^{-2h} - 1}{h} を求めよ。

  12. 問 12前の単元からこれらの関数のうち、o⁡(h)\operatorname{o}(h) であるもの(h→0h \to 0 のとき)はどれか。

  13. 問 13前の単元からf(x)=2x3+3f(x) = 2x^3 + 3 のとき、f−1(19)f^{-1}(19) の値はいくらか。

  14. 問 14前の単元からcos⁡(arcsin⁡(−35))\cos\left(\arcsin\left(-\frac{3}{5}\right)\right) の値はいくらか。