初等数学公式集/微積分

関数の極限

• $\lim _{x\to a}f(x)=\alpha$, $\lim _{x\to a}g(x)=\beta$のとき、

1. $\lim _{x\to a}kf(x)=k\alpha$ ただし、$k$ は定数。
2. $\lim _{x\to a}\{f(x)\pm g(x)\}=\alpha \pm \beta$　（複号同順）。
3. $\lim _{x\to a}f(x)g(x)=\alpha \beta$
4. $\lim _{x\to a}{\frac {f(x)}{g(x)}}={\frac {\alpha }{\beta }}$ ただし、$\displaystyle \beta \neq 0$。

• $a$ のある近傍で定義された関数$f$, $g$, $h$ があり、この近傍内の任意の $x$ に対して、$\displaystyle f(x)$ ≤ $g(x)$ ≤ $h(x)$ かつ $\lim _{x\to a}f(x)=\lim _{x\to a}h(x)=\alpha$ ならば、$\lim _{x\to a}g(x)$ は収束し、

  $\lim _{x\to a}g(x)=\alpha$

• $\lim _{x\to 0}{\frac {\sin x}{x}}=1$ （→証明）
• $\lim _{x\to 0}{\frac {\tan x}{x}}=1$ （→証明）
• $\lim _{h\to \infty }\left(1+{\frac {1}{h}}\right)^{h}=\lim _{h\to 0}(1+h)^{\frac {1}{h}}=e$
• $\lim _{h\to \infty }\left(1+{\frac {r}{h}}\right)^{h}=e^{r}$
• $\lim _{r\to \infty }{\sqrt[{r}]{a}}=1$　（$a$ は正定数）。
• $\lim _{r\to \infty }{\sqrt[{r}]{r}}=1$

  　

• （参考）ロピタルの定理

  $\lim _{x\to c}{\frac {f(x)}{g(x)}}=\lim _{x\to c}{\frac {f'(x)}{g'(x)}}$

  　

  （条件）

  • $c(-\infty \leqq c\leqq \infty )$を含むある区間$I$があり、関数$f,g$はその内部で微分可能である。
  • $\lim _{x\to c}f(x)=\lim _{x\to c}g(x)$ かつその値が$0$または$\pm \infty$である。
  • 極限 $\lim _{x\to c}{\frac {f'(x)}{g'(x)}}$ が存在する。
  • $I$における$c$の除外近傍において $\lim _{x\to c}g'(x)\neq 0$が成り立つ。

  　

  ※利用における注意

  ロピタルの定理自体は簡易な形状をしており、また、多くの学習参考書などでも取り上げられるなど、比較的有名なものである。しかしながら、本定理の成立は、上記の条件が成立していることが必要であるので、証明問題等において「ロピタルの定理より」とするには、条件成立が提示されているか条件成立を別に証明することを要する。大学入試等初等教育の場で、これが示されることは基本的に皆無であるので（『学習指導要領』範囲外）、そのような問題においては、利用しないことが無難であり、あくまでも検算用と考えた方がいい（ウィキペディア『ロピタルの定理』中の記事「日本の高校数学・大学入試での扱い」参照）。

  大学入試等において、この形式の問題は、関数$f(x),g(x)$が共通因数を持っており、それを約分することにより極限値を得るという解法を期待するものが多い。

微分

導関数の定義

関数$f(x)$に対して、$\lim _{\Delta x\to 0}{\frac {f(x+\Delta x)-f(x)}{\Delta x}}$$=f^{\prime }(x)={\frac {d}{dx}}f(x)$（変数$x$で微分する）。

• ${\frac {dy}{dx}}$; $y$を$x$ で微分する。

• 第2次導関数

  関数$y=f(x)$を微分して得た導関数$y=f^{\prime }(x)$をさらに微分して得た関数$y=g(x)$を、$y=f(x)$の第2次導関数という。

  • 第2次導関数の表記法:$y^{\prime \prime }$, $f^{\prime \prime }(x)$, ${\frac {d^{2}y}{dx^{2}}}$, ${\frac {d^{2}}{dx^{2}}}f(x)$

• 第$n$次導関数

  関数$y=f(x)$を微分した結果をさらに微分する操作を$n$回行って得た関数を、$y=f(x)$の第$n$次導関数という。

  • 第$n$次導関数の表記法:$y^{(n)}$, $f^{(n)}(x)$, ${\frac {d^{n}y}{dx^{n}}}$, ${\frac {d^{n}}{dx^{n}}}f(x)$

変数 $x$ の微分可能な関数 $f$, $g$ に対して

• $(f+g)^{\prime }=f^{\prime }+g^{\prime }$

  　

• $(fg)^{\prime }=f^{\prime }g+fg^{\prime }$　（ライプニッツ則 →証明）

  　

• $\left({\frac {f}{g}}\right)'={\frac {f'g-fg'}{g^{2}}}\quad ({\mbox{where }}g\neq 0)$　（商の微分公式 →証明）

  　

  特に、$f=1$のとき、

  • $\left({\frac {1}{g}}\right)'=-{\frac {g'}{g^{2}}}$

  　

• $(f\circ g)'=(f'\circ g)\cdot g'$　（合成関数の微分公式 →証明）

  　

  別の表現で ${\frac {df(g(x))}{dx}}={\frac {df(g)}{dg}}\cdot {\frac {dg(x)}{dx}}$ 　（チェインルール）

  　

• $\left(f^{-1}\right)'={\frac {1}{f'\circ f^{-1}}}$　（逆関数の微分公式 →証明）

  $y=f\left(x\right)$とおくと、$x=f^{-1}\left(y\right)$で ${\frac {dx}{dy}}={\frac {1}{\frac {dy}{dx}}}$ とも表せる。

• 媒介変数による微分　$x=x\left(t\right),y=y\left(t\right)$ ならば ${\frac {dy}{dx}}={\frac {dy}{dt}}/{\frac {dx}{dt}}$

基本的な関数の微分公式

• [微分公式1] $\left(x^{a}\right)'=ax^{a-1}$ ($a$は実数)　（→証明）
• [微分公式2] $\left(e^{x}\right)'=e^{x}$　（→証明）

  従って、[微分公式2-1] $\left(a^{x}\right)'=a^{x}\log a$ (ただし、$a>0$)

• [微分公式3] $(\log x)'={\frac {1}{x}}$　（→証明）
  • [微分公式3-1] $(\log _{a}x)'={\frac {1}{x\log a}}$(ただし、$a>0$)
  • [微分公式3-2] $(\log \left|f(x)\right|)'={\frac {f'(x)}{f(x)}}$
• 三角関数の微分公式　（→証明）
  • [微分公式4] $\left(\sin x\right)'=\cos x$
    • [微分公式4-1] $\left(\sin mx\right)'=m\cos mx$
    • [微分公式4-2] $\left(\sin ^{m}x\right)'=m\sin ^{m-1}x\cos x$
      • [微分公式4-2-1] $\left({\frac {1}{\sin x}}\right)'=\left(\sin ^{-1}x\right)'=(-1)\sin ^{-2}x\cdot \cos x=-{\frac {\cos x}{\sin ^{2}x}}$
    • [微分公式4-3] $\left(\sin ^{m}nx\right)'=mn\sin ^{m-1}nx\cos nx$
  • [微分公式5] $\left(\cos x\right)'=-\sin x$
    • [微分公式5-1] $\left(\cos mx\right)'=-m\sin mx$
    • [微分公式5-2] $\left(\cos ^{m}x\right)'=-m\sin x\cos ^{m-1}x$
      • [微分公式5-2-1] $\left({\frac {1}{\cos x}}\right)'=\left(\cos ^{-1}x\right)'=-(-1)\sin x\cdot \cos ^{-2}x={\frac {\sin x}{\cos ^{2}x}}$
    • [微分公式5-3] $\left(\cos ^{m}nx\right)'=-mn\sin nx\cos ^{m-1}nx$
  • [微分公式6] $\left(\tan x\right)'={\frac {1}{\cos ^{2}x}}$
    • [微分公式6-1] $\left(\tan mx\right)'={\frac {m}{\cos ^{2}mx}}$
    • [微分公式6-2] $\left(\tan ^{m}x\right)'={\frac {m\tan ^{m-1}x}{\cos ^{2}x}}={\frac {m\sin ^{m-1}x}{\cos ^{m+1}x}}$
    • [微分公式6-2] $\left(\tan ^{m}nx\right)'={\frac {mn\tan ^{m-1}nx}{\cos ^{2}nx}}={\frac {mn\sin ^{m-1}nx}{\cos ^{m+1}nx}}$
    • [微分公式6-a] $\left({\frac {1}{\tan x}}\right)'=-{\frac {1}{\sin ^{2}x}}$
      • [微分公式6-a-1] $\left({\frac {1}{\tan mx}}\right)'=-{\frac {m}{\sin ^{2}mx}}$
      • [微分公式6-a-2] $\left({\frac {1}{\tan ^{m}x}}\right)'=-{\frac {m}{\tan ^{m-1}x\sin ^{2}x}}=-{\frac {m\cos ^{m-1}x}{\sin ^{m+1}x}}$
      • [微分公式6-a-3] $\left({\frac {1}{\tan ^{m}nx}}\right)'=-{\frac {mn}{\tan ^{m-1}\sin ^{2}nx}}=-{\frac {mn\cos ^{m-1}nx}{\sin ^{m+1}nx}}$

接線の方程式等

• 曲線$y=f(x)$上の点$(a,f(a))$において、$y=f(x)$に接する直線の傾きは、$f^{\prime }(a)$である。

  したがって、曲線$y=f(x)$上の点$(a,f(a))$における接線の方程式は、$y=f^{\prime }(a)(x-a)+f(a)$

• 曲線$y=f(x)$上の点$(a,f(a))$において接線と直行する直線（法線）の傾き$-{\frac {1}{f^{\prime }(a)}}$である（∵直交する2直線の傾きの積は-1）。

  したがって、曲線$y=f(x)$上の点$(a,f(a))$における法線の方程式は、$y=-{\frac {x-a}{f^{\prime }(a)}}+f(a)$

• ニュートン法

  

  ニュートン法のイメージ

  曲線$y=f(x)$上のある点$P_{n}$$(x_{n},f(x_{n}))$における接線と$x$軸の交点（$x$切片、$y=0$）の値$x_{n+1}$は、$f(x)=0$の解である$x^{*}$に、$x_{n}$よりも近似することが期待されるという性質を用い、この操作を反復することで方程式を数値計算によって解く方法。

  1. 曲線$y=f(x)$上に適当に点$P_{0}$$(x_{0},f(x_{0}))$をおき、$n=0$とする。
  2. 点$P_{n}$における接線;$y=f^{\prime }(x_{n})(x-x_{n})+f(x_{n})$を求める。
  3. $f^{\prime }(x_{n})(x-x_{n})+f(x_{n})=0$として、直線との$x$切片$x_{n+1}$を求める。

     $x_{n+1}=x_{n}-{\frac {f(x_{n})}{f^{\prime }(x_{n})}}$

  4. [アルゴリズム終了の条件]
     • $|x_{n+1}-x_{n}|\leq \epsilon$（所定の極めて小さい数値）となった時、$x_{n+1}$を$f(x)=0$の近似解とする。
     • $|x_{n+1}-x_{n}|>\epsilon$である時、$x_{n+1}$を$x_{n}$として、上記2の操作に戻る。

関数の増減

• ある関数を$f(x)$、その導関数を$f^{\prime }(x)$としたとき、
  • $f^{\prime }(x)\geq 0$である時、この式を満たす$x$において、$f(x)$は増加する。
  • $f^{\prime }(x)\leq 0$である時、この式を満たす$x$において、$f(x)$は減少する。
• 方程式$f^{\prime }(x)=0$が実数解$x=\{x_{1},x_{2},\dots ,x_{n}\}$を持つ時（ただし、各々の解に重複はないものとする）、$x=\{x_{1},x_{2},\dots ,x_{n}\}$において、正負が変わるため、その点で関数$f(x)$の増減が入れ替わる。この点を変曲点といい、増加から減少に転じる点を極大、減少から増加に転じる点を極小という。

  高次多項式関数の増減と区間における最大最小

  最高次の項の係数を$a$とする$n$次の高次多項式関数$f(x)$、その導関数を$f^{\prime }(x)$、かつ方程式$f^{\prime }(x)=0$が各々重複のない$n-1$個の実数解$x=\{x_{1},x_{2},\dots ,x_{n-1}\}$とした時、以下の性質を持つ。

  • なお、以下において、説明簡素化等のため、特に言及のない場合、条件等を以下のとおりとする。
    1. 方程式$f^{\prime }(x)=0$の実数解$x=\{x_{1},x_{2},\dots k,\dots ,x_{n-1}\}$に対する、関数$y=f(x)$の値$y=\{f(x_{1}),f(x_{2}),\dots ,f(x_{k}),\dots ,f(x_{n-1})\}$として、$y$の中で最大・最小のものを各々$f(x_{Max}),f(x_{min})$とする。
    2. $s,t$は、$s<x_{1},x_{n-1}<t$を満たす実数である。

  1. $a>0$ならば、
     1. $n$が奇数である時、関数$f(x)$は$x=x_{1}$まで単調に増加し、以後、$x=x_{n-1}$まで増減し、$x=x_{n-1}$を超えると再び単調に増加する。

        • 区間$[s,t]$において、$f(x)$の最大値は、$f(x_{Max})$または$f(t)$のいずれか大きい方であり、最小値は$f(s)$または$f(x_{min})$のいずれか小さい方である。

     2. $n$が偶数である時、関数$f(x)$は$x=x_{1}$まで単調に減少し、以後、$x=x_{n-1}$まで増減し、$x=x_{n-1}$を超えると単調に増加する（グラフは「上に開く」）。

        • 区間$[s,t]$において、$f(x)$の最大値は、$f(s)$,$f(x_{Max})$または$f(t)$の最も大きいものであり、最小値は$f(x_{min})$である。

  2. $a<0$ならば、
     1. $n$が奇数である時、関数$f(x)$は$x=x_{1}$まで単調に減少し、以後、$x=x_{n-1}$まで増減し、$x=x_{n-1}$を超えると再び単調に減少する。

        • 区間$[s,t]$において、$f(x)$の最大値は、$f(s)$または$f(x_{Max})$のいずれか大きい方であり、最小値は$f(x_{min})$または$f(t)$のいずれか小さい方である。

     2. $n$が偶数である時、関数$f(x)$は$x=x_{1}$まで単調に増加し、以後、$x=x_{n-1}$まで増減し、$x=x_{n-1}$を超えると単調に減少する（グラフは「下に開く」）。

        • 区間$[s,t]$において、$f(x)$の最大値は、$f(x_{Max})$であり、最小値は$f(s)$,$f(x_{min})$または$f(t)$の最も小さいものである。

  3次関数の増減と区間における最大最小

  $f(x)=ax^{3}+bx^{2}+cx+d$($a>0$)に対して、$f^{\prime }(x)=3ax^{2}+2bx+c$。

  • ここで、$f^{\prime }(x)=0$が実数解を持たない場合及び重解を持つ場合（判別式$D=b^{2}-3ac\leq 0$）、$f(x)$は、単調に増加する。
  • $f^{\prime }(x)=0$が異なる2つの実数解を持つ場合（判別式$D=b^{2}-3ac>0$）、$f^{\prime }(x)=3ax^{2}+2bx+c=0$の解を各々$\alpha ,\beta$（但し、$\alpha <\beta$）とすると、$f(x)$の変曲点は$x=\alpha ,\beta$となり、$f(\alpha )$まで増加したのち減少に転じ$f(\beta )$まで、減少した後、再び増加に転じる。この時、$f(\alpha )$を極大値、$f(\beta )$を極小値という。
  • $s<\alpha <\beta <t$である区間$[s,t]$において、$f(x)$の最大値は、$f(\alpha )$または$f(t)$のいずれか大きい方であり、最小値は$f(s)$または$f(\beta )$のいずれか小さい方である。

※解に重複がある場合

• 方程式$f^{\prime }(x)=0$の実数解$x=\{x_{1},x_{2},\dots x_{k},x_{k+1},x_{k+2}\dots ,x_{n}\}$において、隣接する2個の解が一致する場合、その一致する解の前後で正負は逆転せず、従って、元の関数$f(x)$の増減の傾向も変わらない。隣接する3個の解が一致する場合、その一致する解の前後で正負は逆転し、従って、元の関数$f(x)$の増減が逆転する。一般化すると、方程式$f^{\prime }(x)=0$の実数解$x=\{x_{1},x_{2},\dots x_{k},x_{k+1},x_{k+2}\dots ,x_{n}\}$において、隣接する偶数個の解が一致する場合、元の関数$f(x)$の増減の傾向は変わらない。隣接する奇数個の解が一致する場合、元の関数$f(x)$の増減はその点で逆転する。

陰関数の微分

$x,y$が関数の関係にある時、$y=f(x)$の形の表示を陽関数（表示）、$f(x,y)=0$の形の表示を陰関数（表示）という。なお、$f(x,y,z)=0$のように変数の数が3個以上のものがあるが、初等数学の範囲を超えるので、本公式集では言及しない。

例. 双曲線

陽関数表示: $y={\frac {2x+1}{x-1}}$、陰関数表示: $xy-2x-y-1=0$

陰関数$f(x,y)=0$において、$y$を$x$ で微分する、すなわち、${\frac {dy}{dx}}$を求める手順は以下のとおり。

1. $f(x,y)=0$の各項を、①変数が$x$のみである関数の項、②変数が$y$のみである関数の項、③$x$の関数と$y$の関数の積である項に分ける。
2. ①変数が$x$のみである関数の項$g(x)$については、そのまま$x$で微分して$g(x)^{\prime }$を求める。
3. ②変数が$y$のみである関数の項$h(y)$については、${\frac {d}{dy}}(h(y))={\frac {d}{dy}}(h(y)){\frac {dy}{dx}}$として、${\frac {dy}{dx}}$を求める。
4. ③$x$の関数と$y$の関数の積である項については、$g(x)h(y)$を微分して$g^{\prime }(x)h(y)+g(x)h^{\prime }(y)$とし、${\frac {dy}{dx}}$を上記3の方法で求める。
5. 上記2~4で求めたものにつき、${\frac {dy}{dx}}$でまとめる。

対数微分法

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

• 式の乗（除）算を加（減）算に、累乗を乗算に還元して微分計算することができる。

（手順）

1. 両辺の対数を取る。
   • この時、両辺が正でなければならないので、正と限らないときはないときは絶対値を取る。
2. 両辺を$x$で微分する。
   • この時、$\log y$の微分が${\frac {y'}{y}}$になること（微分公式3-2）を利用する。
3. $y'$について解いて$x$の式で表す。

（利用局面）

1. 指数の底にも肩にも変数$x$が含まれている$y=(f(x))^{g(x)}$のような関数。

   例題: $y=x^{x}(x>0)$ の微分

   1. $y=x^{x}$について、両辺対数を取る。なお$x>0$であるので右辺左辺ともに正であり、絶対値を顧慮する必要はない。

      $\log y=\log x^{x}=x\log x$

   2. 両辺を$x$で微分する。

      ${\frac {y'}{y}}=x'\log x+x(\log x)'=\log x+1$

   3. $y(=x^{x})$を両辺にかける。

      $y'=y(\log x+1)=x^{x}(\log x+1)$

2. $y=f(x)\cdot g(x)\cdot h(x)$のように微分したい関数が，たくさんの関数の積になっているとき。

   例題1: $y=f(x)\cdot g(x)\cdot h(x)$ ただし、微分区間では、$f(x),g(x),h(x)$　ともに正とする。

   1. $y=f(x)\cdot g(x)\cdot h(x)$について、両辺対数を取る。

      $\log y=\log \left(f(x)\cdot g(x)\cdot h(x)\right)=\log f(x)+\log g(x)+\log h(x)$

   2. 両辺を$x$で微分する。

      ${\frac {y'}{y}}={\frac {f'(x)}{f(x)}}+{\frac {g'(x)}{g(x)}}+{\frac {h'(x)}{h(x)}}={\frac {f'(x)\cdot g(x)\cdot h(x)+f(x)\cdot g'(x)\cdot h(x)+f(x)\cdot g(x)\cdot h'(x)}{f(x)\cdot g(x)\cdot h(x)}}$

   3. $y(=f(x)\cdot g(x)\cdot h(x))$を両辺にかける。

      $y'=f'(x)\cdot g(x)\cdot h(x)+f(x)\cdot g'(x)\cdot h(x)+f(x)\cdot g(x)\cdot h'(x)$

   　

   例題2: $y={\frac {f(x)}{g(x)}}$ ただし、微分区間では、$f(x),g(x)$　ともに正とする。

   1. $y={\frac {f(x)}{g(x)}}$について、両辺対数を取る。

      $\log y=\log \left({\frac {f(x)}{g(x)}}\right)=\log f(x)-\log g(x)$

   2. 両辺を$x$で微分する。

      ${\frac {y'}{y}}={\frac {f'(x)}{f(x)}}-{\frac {g'(x)}{g(x)}}={\frac {f'(x)\cdot g(x)-f(x)\cdot g'(x)}{f(x)\cdot g(x)}}$

   3. $y\left(={\frac {f(x)}{g(x)}}\right)$を両辺にかける。

      $y'={\frac {f'(x)\cdot g(x)-f(x)\cdot g'(x)}{g(x)^{2}}}$ （商の微分に一致）

積分

• $\left|\int _{a}^{b}f(x)\,dx\right|\leq \int _{a}^{b}|f(x)|dx$

• 置換積分

  $\int _{a}^{b}f(x(t))\cdot {\frac {dx}{dt}}\,dt=\int _{\alpha }^{\beta }f(x)\,dx$

  ただし、$t=a,b$ のとき、それぞれ $x=x(a),x(b)=\alpha ,\beta$。

• 部分積分

  $\int _{a}^{b}f(x)g'(x)\,dx=[f(x)g(x)]_{a}^{b}-\int _{a}^{b}f'(x)g(x)\,dx$

  ただし、$[h(x)]_{a}^{b}=h(b)-h(a)$ と略記。

  別の表現：$\int _{a}^{b}f(x)\,dg(x)=[f(x)g(x)]_{a}^{b}-\int _{a}^{b}g(x)\,df(x)$

• $\left(\int _{a}^{b}f(x)g(x)\,dx\right)^{2}\leq \left(\int _{a}^{b}f(x)^{2}\,dx\right)\left(\int _{a}^{b}g(x)^{2}\,dx\right)$　（コーシー・シュワルツの不等式）

• King Property （King's Property とも）

  　

  $\int _{a}^{b}f(x)\,dx=\int _{a}^{b}f(a+b-x)\,dx$

  　

  特に、　

  $\int _{0}^{a}f(x)\,dx=\int _{0}^{a}f(a-x)\,dx$

  　

  利用局面1

  $I=\int _{a}^{b}f(x)\,dx=\int _{a}^{b}f(a+b-x)\,dx$より、

  　

  $2I=\int _{a}^{b}(f(x)+f(a+b-x))\,dx$とすると、積分計算が容易になる場合がある。

  　

  利用局面2

  $\int _{0}^{a}f(x)\,dx=\int _{0}^{a}f(a-x)\,dx$の形の式で三角関数が登場する時、

  $f(x)$と$f(a-x)$の形で、補角の公式（$\sin(\pi -x)=\sin x$等）や余角の公式（$\sin \left({\frac {\pi }{2}}-x\right)=\cos x$等）を利用できる場合がある。

基本的な関数の積分公式

• [積分公式1] $\int x^{a}\,dx={\frac {x^{a+1}}{a+1}}+C$ ($a$は実数かつ$a\neq -1$)
• [積分公式2] $\int e^{x}\,dx=e^{x}+C$

  従って、[積分公式2-1] $\int a^{x}\,dx={\frac {a^{x}}{\log a}}+C$ (ただし、$a>0$)

• [積分公式3] $\int {\frac {1}{x}}dx=\log \left|{x}\right|+C$
  • [積分公式3-1] $\int {\frac {f'(x)}{f(x)}}dx=\log \left|{f(x)}\right|+C$

  　

• [積分公式4] $\int \log xdx=x\log x-x+C$（証明）

  　

• 三角関数の積分　（→証明）
  • [積分公式5] $\int \cos xdx=\sin x+C$
    • [積分公式5-1] $\int \cos mxdx={\frac {\sin mx}{m}}+C$
  • [積分公式6] $\int \sin xdx=-\cos x+C$
    • [積分公式6-1] $\int \sin mxdx=-{\frac {\cos mx}{m}}+C$
  • [積分公式7] $\int \tan xdx=-\log \left|\cos x\right|+C$

    [積分公式7-1] $\int {\frac {1}{\tan x}}dx\left(=\int \cot xdx\right)=\log \left|\sin x\right|+C$

  　

  • その他三角関数の積分
    • $\int \sin ^{2}xdx={\frac {2x-\sin 2x}{4}}+C$（証明）

      　

    • $\int \cos ^{2}xdx={\frac {2x+\sin 2x}{4}}+C$（証明）

      　

    • $\int \tan ^{2}xdx=\tan x-x+C$（*1より）

      　

    • $\int {\frac {1}{\sin x}}dx={\frac {1}{2}}\log \left({\frac {1-\cos x}{1+\cos x}}\right)+C={\frac {1}{2}}\log \left|\tan {\frac {x}{2}}\right|+C$（証明）

      　

    • $\int {\frac {1}{\cos x}}dx={\frac {1}{2}}\log \left({\frac {1+\sin x}{1-\sin x}}\right)+C$（証明）

      　

    • $\int {\frac {1}{\sin ^{2}x}}dx=-{\frac {1}{\tan x}}+C$（証明:微分公式6-a参照）

      　

      • $\int {\frac {1}{\tan ^{2}x}}dx=\int {\frac {\cos ^{2}x}{\sin ^{2}x}}dx=\int {\frac {1-\sin ^{2}x}{\sin ^{2}x}}dx=\int \left({\frac {1}{\sin ^{2}x}}-1\right)dx=-{\frac {1}{\tan x}}-x+C$

      　

    • $\int {\frac {1}{\cos ^{2}x}}dx=\tan x+C$（証明:微分公式6参照）

      　

      • $\int {\tan ^{2}x}dx=\int {\frac {\sin ^{2}x}{\cos ^{2}x}}dx=\int {\frac {1-\cos ^{2}x}{\cos ^{2}x}}dx=\int \left({\frac {1}{\cos ^{2}x}}-1\right)dx=\tan x-x+C$ ^*1

      　

    • $\int {\frac {1}{1+\sin x}}dx=\tan x-{\frac {1}{\cos {x}}}+C=-{\frac {2}{1+\tan {\frac {x}{2}}}}+C$（証明1,証明2）

      　

    • $\int {\frac {1}{1-\sin x}}dx=\tan x+{\frac {1}{\cos {x}}}+C={\frac {2}{1-\tan {\frac {x}{2}}}}+C$（証明1,証明2）

      　

    • $\int {\frac {1}{1+\cos x}}dx=-{\frac {1}{\tan {x}}}+{\frac {1}{\sin {x}}}+C=\tan {\frac {x}{2}}+C$（証明1,証明2）

      　

    • $\int {\frac {1}{1-\cos x}}dx=-{\frac {1}{\tan {x}}}-{\frac {1}{\sin {x}}}+C=-{\frac {1}{\tan {\frac {x}{2}}}}+C$（証明1,証明2）

曲線で囲まれる領域の面積

• 閉区間$[a,b]$において、曲線$y=f(x)$及び曲線$y=g(x)$によって囲まれる領域の面積。

  $S=\int _{a}^{b}|f(x)-g(x)|\,dx$

Lukion_taulukot_(1993)-page038-image02

• 曲線$y=f(x)$, 曲線$y=g(x)$が、$[a,b]$内の$c$において交わり、$x<c$ において、$f(x)>g(x)$、$x\geqq c$ において、$f(x)\leq g(x)$ であるとき、

  $S=\int _{a}^{b}|f(x)-g(x)|\,dx$$=\int _{a}^{c}(f(x)-g(x))\,dx-\int _{c}^{b}(f(x)-g(x))\,dx$

• 曲線$y=a_{1}{x}^{2}+b_{1}{x}+c_{1}$をA、曲線$y=a_{2}{x}^{2}+b_{2}{x}+c_{2}$をBとする(ただし、$a_{1}\neq a_{2}$)。AとBが、$x={\alpha },{\beta }({\alpha }<{\beta })$で交わるとき、

  区間$[{\alpha },{\beta }]$で、曲線Aと曲線Bにより囲まれる領域の面積。

  $S={\frac {|a_{1}-a_{2}|}{6}}({\beta }-{\alpha })^{3}$

体積

• ある立体$V_{0}$の$x=t$における断面積が有限な値で、その値が $t$の関数$S(t)$となるとき、この立体を平面$x=a$，$x=b$（ただし、$a<b$）で切り取った領域の体積は、

  $V=\int _{a}^{b}S(t)\,dt$

  　

  【利用公式】

  • 錐体の体積
  • くさび形の体積
  • 球の体積
  • 円環体（トーラス）の体積

• 曲線$y=f(x)$を$x$軸を中心に回転させたとき、この立体を平面$x=a$，$x=b$（ただし、$a<b$）で切り取った領域の体積は、

  $V=\pi \int _{a}^{b}\{f(t)\}^{2}\,dx$

曲線の長さ

• 閉区間$[a,b]$における、曲線$y=f(x)$の長さ$L$。

  $L=\int _{a}^{b}{\sqrt {1+\left({\frac {dy}{dx}}\right)^{2}}}dx$

  • 上記曲線が媒介変数$t$によって、$x=x(t),y=y(t),a=x(\alpha ),b=x(\beta )$と表される時の長さ$L$。

  $L=\int _{\alpha }^{\beta }{\sqrt {\left({\frac {dx}{dt}}\right)^{2}+\left({\frac {dy}{dt}}\right)^{2}}}dt$

基本的な関数の微分公式と積分公式の相互関係

• ${d \over dx}\int _{a}^{x}f(t)\,dt=f(x)$　（微積分学の基本定理）

• （微分公式1） $\left(x^{a}\right)'=ax^{a-1}$ ($a$は実数)　⇔　（積分公式1） $\int x^{a}\,dx={\frac {x^{a+1}}{a+1}}+C$ ($a$は実数かつ$a\neq -1$)
• （微分公式2） $\left(e^{x}\right)'=e^{x}$　⇔　（積分公式2） $\int e^{x}\,dx=e^{x}+C$

  従って、（微分公式2-1） $\left(a^{x}\right)'=a^{x}\log a$　⇔　（積分公式2-1） $\int a^{x}\,dx={\frac {a^{x}}{\log a}}+C$($a>0$)

• （微分公式3） $(\log x)'={\frac {1}{x}}$　⇔　（積分公式3） $\int {\frac {1}{x}}dx=\log \left|{x}\right|+C$
  • （微分公式3-1） $(\log \left|f(x)\right|)'={\frac {f'(x)}{f(x)}}$　⇔　（積分公式3-1） $\int {\frac {f'(x)}{f(x)}}dx=\log \left|{f(x)}\right|+C$

• （微分公式4） $\left(\sin x\right)'=\cos x$　⇔　（積分公式5） $\int \cos xdx=\sin x+C$
• （微分公式5） $\left(\cos x\right)'=-\sin x$　⇔　（積分公式6） $\int \sin xdx=-\cos x+C$