微分

微分 に関する42記事をまとめました。くわしくは各リンク先を見てください。

この記事では合成関数を微分する方法を2通り紹介します。合成関数の微分をマスターすれば y=(x2+3x+1)4y=(x^2+3x+1)^4 など複雑な関数も微分できます。例題7問と3通りの証明も解説します。

合成関数の微分公式

→合成関数の微分公式と例題7問

連続,微分可能の大雑把な意味
  • 連続とは,関数のグラフがつながっていること。
  • 微分可能とは,関数のグラフが滑らかであること。

→関数の連続性と微分可能性の意味と関係

商の微分公式

{f(x)g(x)}=f(x)g(x)f(x)g(x){g(x)}2\left\{\dfrac{f(x)}{g(x)}\right\}'=\dfrac{f'(x)g(x)-f(x)g'(x)}{\{g(x)\}^2}

→商の微分公式をわかりやすく【例題・証明・覚え方】

指数関数の微分

任意の a>0a > 0 に対して y=axy=a^x の導関数は,y=axlogay'=a^x\log a である。

→指数関数y=a^xの微分公式の4通りの証明

サインの微分公式

(sinx)=cosx(\sin x)'=\cos x sinの微分

→sinxの微分公式の3通りの証明

コサインの微分

y=cosxy=\cos x の導関数は,y=sinxy'=-\sin x

→cosxの微分公式のいろいろな証明

公式1

任意の正の整数 nn に対し,(xn)=nxn1(x^n)'=nx^{n-1}

→べき関数(y=x^n)の微分公式の3通りの証明

極大の意味

pic01

  • 極大(きょくだい)とは,近所で一番大きいことを表す。
  • 最大とは,全体で一番大きいことを表す。

→極大値・極小値の意味と求め方

タンジェントの微分

y=tanxy=\tan x の導関数は,y=1cos2xy'=\dfrac{1}{\cos^2 x}

→tanxと1/tan xの微分公式のいろいろな証明

増減表とは,それぞれの区間で 関数 f(x)f(x) が増加するか減少するかなどを表した表のことです。

増減表の例

→増減表の書き方

三角関数の微分公式(導関数)
  • (sinx)=cosx(\sin x)' = \cos x
  • (cosx)=sinx(\cos x)' = -\sin x
  • (tanx)=1cos2x(\tan x)' = \dfrac{1}{\cos^2 x}

→三角関数の微分公式と問題例

微分係数の定義

f(a)=limh0f(a+h)f(a)hf'(a)=\lim_{h\to0}\dfrac{f(a+h)-f(a)}{h}

→微分係数の定義

微分の定義

f(x)=limh0f(x+h)f(x)h{f'(x)}=\lim_{ h \to 0 } \dfrac{ f(x+h)-f(x) }{ h }

→分数関数の微分公式(商の微分)とその証明・計算例

ジョルダンの不等式

0xπ20\leq x\leq \dfrac{\pi}{2} において,

2πxsinxx\dfrac{2}{\pi}x\leq \sin x\leq x

→ジョルダンの不等式とその3通りの証明

サイクロイド曲線

媒介変数 θ\theta を用いて

x(θ)=a(θsinθ)x(\theta)=a(\theta-\sin\theta)
y(θ)=a(1cosθ)y(\theta)=a(1-\cos\theta)

と表される曲線をサイクロイド(Cycloid)と呼ぶ。

→サイクロイドについて覚えておくべきこと

対数微分法とは,両辺の対数を取ってから微分する方法のこと。

例えば「xxx^x の微分」で活躍する。

対数微分法

→対数微分法のやり方と例題~x^x の微分

積の微分公式

f(x),g(x)f(x),\:g(x) が(考えている区間で)微分可能なとき

{f(x)g(x)}=f(x)g(x)+f(x)g(x)\{f(x)g(x)\}'=f'(x)g(x)+f(x)g'(x)

→積の微分公式とその証明の味わい

sin と cos のマクローリン展開

sinx=xx33!+x55!x77!+\sin x=x-\dfrac{x^3}{3!}+\dfrac{x^5}{5!}-\dfrac{x^7}{7!}+\cdots

cosx=1x22!+x44!x66!+\cos x=1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}-\dfrac{x^6}{6!}+\cdots

→sinとcosのn階微分とマクローリン展開

逆関数の微分公式

dxdy=1dydx\dfrac{dx}{dy}=\dfrac{1}{\frac{dy}{dx}}

逆関数の微分は,もとの関数の微分の逆数

→逆関数の微分公式を例題と図で理解する

2曲線が接するとは(一般の場合)

y=f(x)y=f(x)y=g(x)y=g(x)x=ax=a で接する
    \iff f(a)=g(a)f(a)=g(a) かつ f(a)=g(a)f'(a)=g'(a)

→2曲線が接する3通りの条件

連鎖律(チェインルール)
  1. f(x,y)f(x,y) が全微分可能で x=x(t)x = x(t)y=y(t)y = y(t) が微分可能であるとき次が成り立つ。 dfdt=fxdxdt+fydydt \dfrac{df}{dt} = \dfrac{\partial f}{\partial x} \dfrac{dx}{dt} + \dfrac{\partial f}{\partial y} \dfrac{dy}{dt}

  2. f(x,y)f(x,y) が全微分可能で x=x(u,v)x = x(u,v)y=y(u,v)y = y(u,v) が微分可能であるとき次が成り立つ。 fx=fuux+fvvxfy=fuuy+fvvy \dfrac{\partial f}{\partial x}=\dfrac{\partial f}{\partial u}\dfrac{\partial u}{\partial x}+\dfrac{\partial f}{\partial v}\dfrac{\partial v}{\partial x}\\ \dfrac{\partial f}{\partial y}=\dfrac{\partial f}{\partial u}\dfrac{\partial u}{\partial y}+\dfrac{\partial f}{\partial v}\dfrac{\partial v}{\partial y}

→連鎖律(chain rule)の練習問題

有名な関数のマクローリン展開

sinx=xx33!+x55!\sin x =x-\dfrac{x^3}{3!}+\dfrac{x^5}{5!}-\cdots

cosx=1x22!+x44!\cos x =1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}-\cdots

ex=1+x+x22!+x33!+e^x=1+x+\dfrac{x^2}{2!}+\dfrac{x^3}{3!}+\cdots

log(1+x)=xx22+x33\log(1+x)=x-\dfrac{x^2}{2}+\dfrac{x^3}{3}-\cdots

※ただし,log(1+x)\log (1+x) に関しては 1<x1-1 < x\leqq 1 でのみ成立する式です。

→マクローリン展開

ライプニッツの公式(Leibniz rule)

(fg)(n)=k=0nnCkf(k)g(nk)(fg)^{(n)}={\displaystyle \sum_{k=0}^{n} {}_n\mathrm{C}_kf^{(k)}g^{(n-k)}}

→ライプニッツの公式の証明と二項定理

ニュートン法(Newton’s method)とは,方程式の解を高速に計算するアルゴリズムである。

→ニュートン法の解説とそれを背景とする入試問題

方針

対数関数と1次関数の積なので,2階微分は扱いやすい式(有理式)になることが分かります。多少計算は大変ですが,見通しが立っているので安心して計算できます。

→微分を用いた不等式証明の問題

偏微分(へんびぶん)とは,多変数関数を「特定の文字以外定数とみなして」微分したもののことです。

偏微分

→偏微分の意味と計算例・応用

定理

f(x)f(x) が区間内で二階微分可能なとき,

  • 下に凸     \iff 二階微分 f(x)0f''(x)\geqq 0
  • 上に凸     \iff 二階微分 f(x)0f''(x)\leqq 0

→上に凸,下に凸な関数と二階微分

  • 曲率半径とは,曲線を「局所的に円の弧」とみなしたときの円の半径。

  • 曲率とは,曲率半径の逆数。

→曲率・曲率半径の感覚的な意味と求め方

Arctan のマクローリン展開

x1|x|\leq 1 なる実数 xx について,

Arctanx=xx33+x55x77+\mathrm{Arctan}\:x=x-\dfrac{x^3}{3}+\dfrac{x^5}{5}-\dfrac{x^7}{7}+\cdots

→Arctanのマクローリン展開の3通りの方法

平均値の定理(ラグランジュの平均値の定理)

axba\leqq x\leqq b で微分可能な関数 f(x)f(x) に対して,

f(b)f(a)ba=f(c)\dfrac{f(b)-f(a)}{b-a}=f'(c)

を満たす ccaabb の間に存在する。

→平均値の定理とは?意味・証明と入試応用例まで解説

対数関数のテイラー展開

1<x1-1 < x \leq 1 のとき,

log(1+x)=xx22+x33x44+\log (1+x)=x-\dfrac{x^2}{2}+\dfrac{x^3}{3}-\dfrac{x^4}{4}+\cdots

→log xのn階微分とテイラー展開

一次近似

xax\fallingdotseq a のとき,

f(x)f(a)+f(a)(xa)f(x)\fallingdotseq f(a)+f'(a)(x-a)

→一次近似の意味とよく使う近似公式一覧

デカルトの葉線

xyxy 平面上において x3+y33axy=0x^3+y^3-3axy=0

で表される曲線をデカルトの葉線と言う。

→デカルトの葉線の漸近線と面積

対数平均の不等式

x,y>0x,y>0 かつ xyx\neq y のとき,

xy<xylogxlogy<x+y2\sqrt{xy}<\dfrac{x-y}{\log x-\log y}<\dfrac{x+y}{2}

→対数平均に関する不等式の証明

伸開線の定義

曲線に対して,その曲線に巻きつけられたをたるませないようにほどいていくときに糸の端点が描く軌跡のことを伸開線(Involute)と言う。

伸開線の定義

→伸開線(インボリュート)と縮閉線(エボリュート)の意味と計算例

この記事では覚えておくべきマクローリン展開の公式をまとめています。

→基本的なテイラー展開・マクローリン展開公式一覧

arcsin・arccos のマクローリン展開

x<1|x| < 1 なる実数 xx について,

arcsinx=x+16x3+340x5+arccosx=π2x16x3340x5\begin{aligned} \arcsin x &= x + \dfrac{1}{6} x^3 + \dfrac{3}{40} x^5 + \cdots\\ \arccos x &= \dfrac{\pi}{2} - x - \dfrac{1}{6} x^3 - \dfrac{3}{40} x^5 - \cdots \end{aligned}

となる。

→arcsin・arccos のマクローリン展開

東京大学理系数学2025年 第1問

座標平面上の点 A(0,0)\mathrm{A} (0,0)B(0,1)\mathrm{B} (0,1)C(1,1)\mathrm{C} (1,1)D(1,0)\mathrm{D} (1,0) を考える。実数 0<t<10 < t < 1 に対して,線分 AB\mathrm{AB}BC\mathrm{BC}CD\mathrm{CD}t:(1t)t : (1-t) に内分する点をそれぞれ Pt\mathrm{P}_tQt\mathrm{Q}_tRt\mathrm{R}_t とし,線分 PtQt\mathrm{P}_t \mathrm{Q}_tQtRt\mathrm{Q}_t \mathrm{R}_tt:(1t)t:(1-t) に内分する点をそれぞれ St\mathrm{S}_tTt\mathrm{T}_t とする。さらに線分 StTt\mathrm{S}_t \mathrm{T}_tt:(1t)t:(1-t) に内分する点を Ut\mathrm{U}_t とする。

  1. Ut\mathrm{U}_t の座標を求めよ。
  2. tt0t10 \leqq t\leqq 1 の範囲を動くときに点 Ut\mathrm{U}_t が描く曲線と,線分 AD\mathrm{AD} で囲まれた部分の面積を求めよ。
  3. aa0<a<10 < a < 1 を満たす実数とする。tt0ta0 \leqq t \leqq a の範囲を動くときに点 Ut\mathrm{U}_t が描く曲線の長さを,aa の多項式の形で求めよ。

→【解答・解説】東大理系数学2025 第1問~ベジェ曲線

一変数関数の最小値は,多くの場合微分を用いて求めることができる。

→指数関数の微分を用いる数オリの応用問題

tanx\tan x のマクローリン展開(x=0x=0 におけるテイラー展開)は

tanx=x+13x3+215x5+17315x7+\tan x=x+\dfrac{1}{3}x^3+\dfrac{2}{15}x^5+\dfrac{17}{315}x^7+\cdots

→tanxの高階微分とマクローリン展開

定理

関数 f(x)f(x)f(x)=n=0anxn\displaystyle f(x) = \sum_{n=0}^{\infty} a_n x^n と無限級数展開されているとする。

この級数の収束半径を rr とすると,x<r|x| < r のもとで項別微分・項別積分ができる:

f(x)=n=1nanxn1f(x)dx=n=0anxn+1n+1+C\begin{aligned} f'(x) &= \sum_{n=1}^{\infty} n a_n x^{n-1}\\ \int f(x) dx &= \sum_{n=0}^{\infty} \dfrac{a_n x^{n+1}}{n+1} + C \end{aligned}

→項別微分・項別積分

定義

スカラー tt を変数とするベクトル a\boldsymbol{a} の微分を ddta=limh0a(t+h)a(t)h \dfrac{d}{dt} \boldsymbol{a} = \lim_{h \to 0} \dfrac{\boldsymbol{a} (t+h) - \boldsymbol{a} (t)}{h} と定義する。計算結果はベクトル。

→ベクトルの微分