初等数学公式集/微積分のソースを表示

== 関数の極限と連続 ==
=== 関数の極限 ===
#[[初等数学公式集/数列#極限|数列の極限]]同様、実数 <math>x</math> に対応する関数 <math>f(x)</math> について、<math>x=a</math> に限りなく近づける（<math>x\rightarrow a</math> と表記する）<ref>「限りなく近づける」は、[[初等数学公式集/数列#極限|数列の極限]]におけるものと同様、数学的に厳密な表現ではないが、高校数学の過程では、その理解で足りる。</br>考え方としては<math>f\left(a - \frac{1}{t}\right)</math> または、<math>f\left(a + \frac{1}{t}\right)</math>として、<math>\lim_{x\to\infty}f\left(a - \frac{1}{t}\right)</math> または、<math>\lim_{x\to\infty}f\left(a + \frac{1}{t}\right)</math> である。なお、<math>a - \frac{1}{t}</math> と <math>a + \frac{1}{t}</math> を別に記述するのは、後述する片側極限を意識している。</ref>という操作を <math>\lim_{x\to a}f(x)</math> と記述し、<math>\lim_{x\to a}f(x) = \alpha</math> であるとき、<math>\alpha</math> を'''極限値'''または'''極値'''という。
#:<math>\lim_{x\to a}f(x) = f(a)</math> ではないことに注意する（下記「[[#関数の連続|関数の連続]]」参照）。例えば、関数: <math>f_1(x)=x+1</math> と <math>f_2(x)= \frac{x^2-1}{x-1}</math> は明確に区別され、 <math>f_1(1)=2</math> となるが、<math>f_2(1)</math> の値は存在しない。一方、 <math>\lim_{x\to 1}f_1(x) = \lim_{x\to 1}f_2(x) = 2</math> となる。  
#<math>x\rightarrow a</math> のとき、関数 <math>f(x)</math> が、限りなく正（負）の大きな値となる場合、<math>f(x)</math> の極限は <math>+ \infty</math> <math>(-\infty)</math> であるといい、<math>\lim_{x\to a}f(x) = \infty</math> <math>\bigl( \lim_{x\to a}f(x) = -\infty \bigr)</math> または、<math>f(x) \rightarrow \infty (x\rightarrow a)</math> <math>\bigl( f(x) \rightarrow -\infty (x\rightarrow a) \bigr)</math>と表記する。
#:<math>\lim_{x\to a}f(x) = \infty</math> の例; <math>f(x)=\frac{1}{x^2}</math> について、<math>x=0</math> に限りなく近づける演算: <math>\lim_{x\to 0} \left( \frac{1}{x^2} \right) = \infty</math> 
#:<math>\lim_{x\to a}f(x) = -\infty</math> の例; <math>f(x)= - \frac{1}{x^2}</math> について、<math>x=0</math> に限りなく近づける演算: <math>\lim_{x\to 0} \left( - \frac{1}{x^2} \right) = -\infty</math> 
#その他、以下の関係も成立しうる。
#*収束:<math>\lim_{x\to \infty}f(x) = a</math>, <math>\lim_{x\to {-\infty}}f(x) = a</math>
#*:<math>\lim_{x\to \infty}f(x) = a</math> の例; <math>f(x)=\frac{1}{x}</math> について、<math>x</math> を無限に大きくする演算: <math>\lim_{x\to \infty} \left( \frac{1}{x} \right) = 0</math> 
#*:<math>\lim_{x\to {-\infty}}f(x) = a</math> の例; <math>f(x)=\frac{1}{x}</math> について、<math>x</math> を負に無限に大きくする演算: <math>\lim_{x\to {-\infty}} \left( \frac{1}{x} \right) = 0</math> 
#*発散:<math>\lim_{x\to \infty}f(x) = \infty</math>, <math>\lim_{x\to {-\infty}}f(x) = -\infty</math> / <math>\lim_{x\to \infty}f(x) = -\infty</math>, <math>\lim_{x\to {-\infty}}f(x) = \infty</math>
#*:<math>\lim_{x\to \infty}f(x) = \infty</math>, <math>\lim_{x\to {-\infty}}f(x) = -\infty</math> となる関数の例; <math>f(x) = x</math> 
#*:<math>\lim_{x\to \infty}f(x) = -\infty</math>, <math>\lim_{x\to {-\infty}}f(x) = \infty</math> となる関数の例; <math>f(x) = -x</math> 
#<span id="片側極限"/>左方極限・右方極限（[[w:片側極限]]）
#:<math>f(x)</math> が、<math>x=a</math> で極値をもつとき、<math>x</math> が<u>左から近づく場合</u>（すなわち、<math>x</math> が <math>x<a</math> から増加して <math>a</math> に近づく場合）と<u>右から近づく場合</u>（すなわち、<math>x</math> が <math>a<x</math> から減少して <math>a</math> に近づく場合）で挙動が異なる場合がある。前者を左方極限、後者を右方極限といい、以下のとおり書き表す。
#::左方極限: <math>\lim_{x\to a^-}f(x)</math>、<math>\lim_{x\to a-0}f(x)</math>
#::右方極限: <math>\lim_{x\to a^+}f(x)</math>、<math>\lim_{x\to a+0}f(x)</math>
#:*片側極限の例
#:*: <math>f(x)= \frac{1}{x}</math> について、<math>x=0</math> における挙動を見ると、左方極限: <math>\lim_{x\to 0^-} \frac{1}{x} = -\infty</math>、右方極限: <math>\lim_{x\to 0^+} \frac{1}{x} = \infty</math> となる。
#:*:* <math>f(x)= \frac{1}{x^2}</math> について、<math>x=0</math> においては、<math>\lim_{x\to 0^-} \frac{1}{x^2} = \lim_{x\to 0^+} \frac{1}{x^2} = \infty</math> となるため、<math>\lim_{x\to 0} \frac{1}{x^2} = \infty</math> と記述しても支障はないが、極値に至る過程は異なる。
#:*:* 同様に、<math>f(x)= \log x</math> について、<math>x=0</math> において、<math>\lim_{x\to 0^+} \log x = - \infty</math> となるが、<math>\lim_{x\to 0^-} \log x</math> は、<math>x \le 0</math> が、<math>f(x)= \log x</math>の定義域とならないため成立しないことから、<math>\lim_{x\to 0} \log x = -\infty</math> と記述しても支障はない 
=== 関数の極限の基本定理 ===
* <math>\lim_{x\to a}f(x)=\alpha</math>, <math>\lim_{x\to a}g(x)=\beta</math>のとき、
# <math>\lim_{x\to a}kf(x)=k\alpha</math> ただし、<math>k</math> は定数。
# <math>\lim_{x\to a}\{f(x)\pm g(x)\}=\alpha\pm\beta</math>　（複号同順）。
# <math>\lim_{x\to a}f(x)g(x)=\alpha\beta</math>
# <math>\lim_{x\to a}\frac{f(x)}{g(x)}=\frac{\alpha}{\beta}</math> ただし、<math>\displaystyle \beta \ne 0</math>。
# <math>a</math>の近傍で常に<math>f(x) \leqq g(x)</math>ならば<math>\alpha \leqq \beta</math>
　
* <span id="はさみうちの原理"/><math>a</math> のある近傍で定義された関数<math>f</math>, <math>g</math>, <math>h</math> があり、この近傍内の任意の <math>x</math> に対して、<math>\displaystyle f(x)</math> &le; <math>g(x)</math> &le; <math>h(x)</math> かつ <math>\lim_{x\to a}f(x)=\lim_{x\to a}h(x)=\alpha</math> ならば、<math>\lim_{x\to a}g(x)</math> は収束し、
*:<math>\lim_{x\to a}g(x)=\alpha</math> （はさみうちの原理）

*追い出しの原理
*:<math>\lim_{x \to a} f(x) = \infty</math>かつ<math>a</math>の近傍で常に<math>f(x) \leqq g(x)</math>ならば<math>\lim_{x \to a} g(x) = \infty</math>
*:<math>\lim_{x \to a}f(x) = -\infty</math>かつ<math>a</math>の近傍で常に<math>f(x) \geqq g(x)</math>ならば<math>\lim_{x \to a} g(x) = -\infty</math>
　
* <math>\lim_{x\to 0}\frac{\sin x}{x}=1</math> （→[[高等学校数学III/極限#三角関数と極限|証明]]）
*:<math>\Leftrightarrow \lim_{x\to \pm \infty}x\sin \frac{1}{x}=1</math>
* <math>\lim_{x\to 0}\frac{1 - \cos x}{x^2}=\frac{1}{2}</math> （→[[初等数学公式集/微積分/証明#cos極限|証明]]）
*: <math>\Leftrightarrow \lim_{x\to \pm \infty} x^2(1 - \cos \frac{1}{x})=\frac{1}{2}</math> 
* <math>\lim_{x\to 0}\frac{\tan x}{x}=1</math> （→[[高等学校数学III/極限#三角関数と極限|証明]]）
*:<math>\Leftrightarrow \lim_{x\to \pm \infty}x\tan \frac{1}{x}=1</math>
* <math>\lim_{h\to\infty}\left(1+\frac{1}{h}\right)^h=\lim_{h\to0}(1+h)^{\frac{1}{h}}=e</math>
* <math>\lim_{h\to\infty}\left(1+\frac{r}{h}\right)^h=e^r</math>
* <math>\lim_{r\to\infty}\sqrt[r]{a}=1</math>　（<math>a</math> は正定数）。
* <math>\lim_{r\to\infty}\sqrt[r]{r}=1</math>
*<math>\lim_{x \to 0} \frac{\log (1+x)}{x} = 1</math> （→[[高等学校数学III/極限#指数・対数関数と極限|証明]]）
{{wikipedia|ロピタルの定理}}
*（参考）'''ロピタルの定理'''
*:<math>\lim_{x\to c}\frac{f(x)}{g(x)} = \lim_{x\to c}\frac{f'(x)}{g'(x)}</math> 
*:　
*:（条件）
*:*<math>c ( - \infty \leqq c \leqq \infty)</math>を含むある区間<math>I</math>があり、関数<math>f, g</math>はその内部で微分可能である。
*:*<math>\lim_{x \to c}f(x) = \lim_{x \to c}g(x)</math> かつその値が<math>0</math>または<math>\pm\infty</math>である。
*:*極限 <math>\lim_{x\to c}\frac{f'(x)}{g'(x)}</math> が存在する。
*:*<math>I</math>における<math>c</math>の除外近傍において <math>\lim_{x \to c}g'(x) \neq 0</math>が成り立つ。
*:　<small>
*::※利用における注意
*:::ロピタルの定理自体は簡易な形状をしており、また、多くの学習参考書などでも取り上げられるなど、比較的有名なものである。しかしながら、本定理の成立は、上記の条件が成立していることが必要であるので、証明問題等において「ロピタルの定理より」とするには、条件成立が提示されているか条件成立を別に証明することを要する。大学入試等初等教育の場で、これが示されることは基本的に皆無であるので（『学習指導要領』範囲外）、そのような問題においては、利用しないことが無難であり、あくまでも検算用と考えた方がいい（[[w:ロピタルの定理#日本の高校数学・大学入試での扱い|ウィキペディア『ロピタルの定理』中の記事「日本の高校数学・大学入試での扱い」]]参照）。
*:::大学入試等において、この形式の問題は、関数<math>f(x), g(x)</math>が共通因数を持っており、それを約分することにより極限値を得るという解法を期待するものが多い。</small>

=== 関数の連続 ===
{{main|解析学基礎/連続関数}}
:関数 <math>y=f(x)</math> のある区間内の <math>x=a</math> において、<math>\lim_{x\to a}f(x) </math> および <math>f(a)</math> が存在し、かつ、<math>\lim_{x\to a}f(x) = f(a)</math> である時、'''関数 <math>y=f(x)</math> は <math>x=a</math> において連続である'''、または、区間内において'''連続関数'''であるという。
:この条件は、<math>x= a+h</math> として、<math>\lim_{h\to 0}\{f(a+h) - f(a)\}</math> とも表現できる。
;連続関数の基本定理
:#ある区間において、関数 <math>f(x) , g(x)</math> が <math>x=a</math> において連続であれば、以下に列挙するもの全て <math>x=a</math> において連続である。
:#: <math>kf(x)</math> （<math>k</math>は定数） <math>,\, f(x) \pm g(x),\, f(x)g(x),\, \frac{f(x)}{g(x)}</math> （ただし、<math>g(x) \ne 0</math>）
:#<math>u = g(x)</math> は <math>x=a</math> において連続、<math>y = f(u)</math> は <math>u=g(a)</math> で連続ならば、合成関数　<math>y = f(g(a))</math> は <math>x=a</math> において連続である。
;連続関数の性質
{{wikipedia|中間値の定理}}
{{wikipedia|最大値最小値定理}}
:#'''中間値の定理'''
:#:閉区間 <math>[a,b]</math> 上で定義された連続関数 <math>f(x)</math> に対して、もし <math>f(a) \ne f(b)</math> であって、 <math>f(a)</math> と <math>f(b)</math> の間の値を取るある数 <math>k</math> について、 <math>a < c < b</math> であって <math>f(c) = k</math> となる少なくとも1つの <math>c</math> が存在する。
:#'''最大値最小値定理'''
:#:閉区間 <math>[a,b]</math> 上で定義された連続関数 <math>f(x)</math> に対して、<math>y = f(x)</math> はこの区間で少なくとも一つの最大値および最小値をとる。
:#::式で書けば、適当な実数 {{math|''c'', ''d'' &isin; [''a'',''b'']}} が存在して
:#:::<math>f(c) \ge f(x) \ge f(d)\quad(\forall x\in [a,b])</math>　<math>\bigl(f(c)</math> :最大値, <math>f(d)</math>: 最小値<math>\bigr)</math>
:#::が成り立つ。

== 微分 ==
導関数の定義
:関数<math> f(x) </math>に対して、<math>\lim_{\Delta x\to 0}\frac{f(x + \Delta x) - f(x)}{\Delta x}</math><math>= f^\prime(x) =\frac{d}{dx}f(x)</math>（変数<math>x</math>で微分する）。
::*<math>\frac{dy}{dx}</math>; <math>y</math>を<math>x</math> で微分する。
:*'''第2次導関数'''
:*:関数<math> y = f(x) </math>を微分して得た導関数<math> y=f^\prime(x) </math>をさらに微分して得た関数<math> y=g(x) </math>を、<math> y = f(x) </math>の第2次導関数という。
:*:*第2次導関数の表記法:<math> y^{\prime\prime} </math>, <math> f^{\prime\prime}(x) </math>, <math>\frac{d^2 y}{dx^2}</math>, <math>\frac{d^2}{dx^2}f(x)</math>
:*'''第<math>n</math>次導関数'''
:*:関数<math> y = f(x) </math>を微分した結果をさらに微分する操作を<math>n</math>回行って得た関数を、<math> y = f(x) </math>の第<math>n</math>次導関数という。
:*:*第<math>n</math>次導関数の表記法:<math> y^{(n)} </math>, <math> f^{(n)}(x) </math>, <math>\frac{d^n y}{dx^n}</math>, <math>\frac{d^n}{dx^n}f(x)</math>

変数 <math>x</math> の微分可能な関数 <math>f</math>, <math>g</math> に対して
* <math>(f+g)^\prime=f^\prime+g^\prime</math>
*:　
* <math>(fg)^\prime=f^\prime g+fg^\prime</math>　（ライプニッツ則 →[[高等学校数学III/微分法#積の導関数|証明]]）
*:　
* <math>\left(\frac{f}{g}\right)'=\frac{f'g-fg'}{g^2}\quad(\mbox{where } g\ne 0)</math>　（<span id="商の微分"/>商の微分公式 →[[高等学校数学III/微分法#商の導関数|証明]]）
*:　
*:特に、<math>f=1</math>のとき、
*:* <math>\left(\frac{1}{g}\right)'= - \frac{g'}{g^2}</math>
*:　
* <math>(f\circ g)'=(f'\circ g)\cdot g'</math>　（合成関数の微分公式 →[[高等学校数学III/微分法#合成関数の導関数|証明]]）
*:　
*:別の表現で <math>\frac{df(g(x))}{dx} = \frac{df(g)}{dg}\cdot \frac{dg(x)}{dx}</math> 　（連鎖律・チェインルール）
*:　
* <math>\left(f^{-1}\right)'=\frac{1}{f'\circ f^{-1}}</math>　（逆関数の微分公式 →[[高等学校数学III/微分法#逆関数の導関数|証明]]）
*: <math>y=f\left( x \right)</math>とおくと、<math>x=f^{-1}\left( y \right)</math>で  <math>\frac{dx}{dy} = \frac{1}{\frac{dy}{dx}}</math> とも表せる。
* 媒介変数による微分　<math> x=x\left( t \right),y=y\left( t \right)</math> ならば <math>\frac{dy}{dx}=\frac{dy}{dt}/\frac{dx}{dt}</math>, <math>\frac{d^2 y}{dx^2} = \frac{d}{dt} \left( \frac{dy}{dx} \right) / \frac{dx}{dt}</math>
*:
*（参考）ライプニッツの定理　n階微分可能な2つの関数<math>f(x), g(x)</math>について、<math>\{ f(x)g(x) \}^{(n)} = \sum_{k=1}^{n} {}_n\mathrm{C}_k f^{(n-k)}(x) g^{(k)}(x)</math>
=== 基本的な関数の微分公式 ===
* <span id="基本微分"/>[微分公式1] <math>\left(x^a\right)'=ax^{a-1} </math> (<math>a</math>は実数)　（→[[高等学校数学III/微分法#冪関数の導関数 IⅤ|証明]]）
* <span id="指数微分"/>[微分公式2] <math>\left(e^x\right)'=e^x </math>　（→[[高等学校数学III/微分法#指数関数の導関数|証明]]）
*: 従って、[微分公式2-1] <math>\left(a^x\right)'=a^x \log a </math> (ただし、<math>a > 0</math>)
* <span id="対数微分"/>[微分公式3] <math>(\log x)'=\frac{1}{x} </math>　（→[[高等学校数学III/微分法#対数関数の導関数|証明]]）
** [微分公式3-1] <math>(\log_a x)'=\frac{1}{x\log a} </math>(ただし、<math>a > 0</math>)
** <span id="対数式微分"/>[微分公式3-2] <math>(\log \left|f(x)\right|)'=\frac{f'(x)}{f(x)} </math>
*'''三角関数の微分公式'''　（→[[高等学校数学III/微分法#三角関数の導関数|証明]]）
** <span id="正弦微分"/>[微分公式4] <math>\left(\sin x\right)'=\cos x </math>
*** [微分公式4-1] <math>\left(\sin mx\right)'= m \cos mx </math>
*** <span id="微分公式4-2"/>[微分公式4-2] <math>\left(\sin^m x\right)'= m \sin^{m-1} x \cos x </math>
**** [微分公式4-2-1] <math>\left(\frac{1}{\sin x}\right)'= \left(\sin^{-1} x\right)'=(-1) \sin^{-2} x \cdot \cos x =-\frac{\cos x}{\sin^2 x}</math>
*** [微分公式4-3] <math>\left(\sin^m nx\right)'= mn \sin^{m-1} nx \cos nx </math>
**:　
** <span id="余弦微分"/>[微分公式5] <math>\left(\cos x\right)'=-\sin x </math>
*** [微分公式5-1] <math>\left(\cos m x\right)'=- m \sin mx </math>
*** <span id="微分公式5-2"/>[微分公式5-2] <math>\left(\cos^m x\right)'=- m \sin x \cos^{m-1} x </math>
**** [微分公式5-2-1] <math>\left(\frac{1}{\cos x}\right)'= \left(\cos^{-1} x\right)' = - (-1) \sin x \cdot \cos^{-2} x =\frac{\sin x}{\cos^2 x}</math>
*** [微分公式5-3] <math>\left(\cos^m nx\right)'=- mn \sin nx \cos^{m-1} nx </math>
**:　
** <span id="正接微分"/>[微分公式6] <math>\left(\tan x\right)'=\frac{1}{\cos^2 x} </math>
*** [微分公式6-1] <math>\left(\tan mx\right)'=\frac{m}{\cos^2 mx} </math>
*** [微分公式6-2] <math>\left(\tan^m x\right)'=\frac{m \tan^{m-1} x}{\cos^2 x} =\frac{m \sin^{m-1} x}{\cos^{m+1} x}</math>
*** [微分公式6-2] <math>\left(\tan^m nx\right)'=\frac{mn \tan^{m-1} nx}{\cos^2 nx} =\frac{mn \sin^{m-1} nx}{\cos^{m+1} nx} </math>
**:　
*** <span id="余接微分"/>[微分公式6-a] <math>\left(\frac{1}{\tan x}\right)'=-\frac{1}{\sin^2 x} </math>
**** [微分公式6-a-1] <math>\left(\frac{1}{\tan mx}\right)'=-\frac{m}{\sin^2 mx} </math>
**** [微分公式6-a-2] <math>\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} </math>
**** [微分公式6-a-3] <math>\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} </math>
*:　
*'''三角関数と対数の複合形の微分'''
*:*[[#対数式微分|微分公式3-2]] <math>(\log \left|f(x)\right|)'=\frac{f'(x)}{f(x)} </math>を用いて、
**<span id="複合1"/><math>(\log|\sin x|)'=\frac{(\sin x)'}{\sin x} =\frac{\cos x}{\sin x} =\frac{1}{\tan x} =\cot x</math>
**:　
**<span id="複合2"/><math>(\log|\cos x|)'=\frac{(\cos x)'}{\cos x} =-\frac{\sin x}{\sin x}=-\tan x</math>
**:　
**<span id="複合3"/><math>(\log|\tan x|)'=\left(\log \left| \frac{\sin x}{\cos x} \right| \right)'=(\log|\sin x| - \log|\cos x|)'=\frac{1}{\tan x} + \tan x =\frac{1}{\sin x \cos x} </math>
**:　
***<math>\left(\log \left| \frac{1}{\tan x} \right| \right)'= \left(\log \left| \tan^{-1} x \right| \right)'= -\tan x -\frac{1}{\tan x} = -\frac{1}{\sin x \cos x} </math>

=== 接線の方程式等 ===
*曲線<math> y = f(x) </math>上の点<math>( a , f(a))</math>において、<math> y =  f(x) </math>に接する直線の傾きは、<math> f^\prime(a) </math>である。
*:したがって、曲線<math> y = f(x) </math>上の点<math>( a , f(a))</math>における接線の方程式は、<math> y = f^\prime(a)(x - a) + f(a)</math>
*曲線<math> y = f(x) </math>上の点<math>( a , f(a))</math>において接線と直行する直線（法線）の傾き<math>-\frac{1}{f^\prime(a)}</math>である（∵直交する2直線の傾きの積は-1）。
*:したがって、曲線<math> y = f(x) </math>上の点<math>( a , f(a))</math>における法線の方程式は、<math> y = -\frac{x - a}{f^\prime(a)} + f(a)</math>
*'''ニュートン法'''
*:[[File:Newton iteration.svg|thumb|200px|ニュートン法のイメージ]]
*:曲線<math> y = f(x) </math>上のある点<math>P_n</math><math>( x_n , f(x_n))</math>における接線と<math>x</math>軸の交点（<math>x</math>切片、<math> y = 0</math>）の値<math>x_{n+1}</math>は、<math> f(x) = 0 </math>の解である<math>x^*</math>に、<math>x_n</math>よりも近似することが期待されるという性質を用い、この操作を反復することで方程式を数値計算によって解く方法。
*:#曲線<math> y = f(x) </math>上に適当に点<math>P_0</math><math>( x_0 , f(x_0))</math>をおき、<math> n = 0 </math>とする。
*:#点<math>P_n</math>における接線;<math> y = f^\prime(x_n)(x - x_n) + f(x_n) </math>を求める。
*:#<math> f^\prime(x_n)(x - x_n) + f(x_n) = 0</math>として、直線との<math>x</math>切片<math>x_{n+1}</math>を求める。
*:#::<math>x_{n+1} = x_n -\frac{f(x_n)}{f^\prime(x_n)} </math>
*:#[アルゴリズム終了の条件] 
*:#*<math>|x_{n+1} - x_n| \leq \epsilon </math>（所定の極めて小さい数値）となった時、<math>x_{n+1}</math>を<math> f(x) = 0 </math>の近似解とする。
*:#*<math>|x_{n+1} - x_n| > \epsilon </math>である時、<math>x_{n+1}</math>を<math>x_n</math>として、上記2の操作に戻る。
=== 関数の増減 ===
*ある関数を<math> f(x) </math>、その導関数を<math> f^\prime(x) </math>としたとき、
**<math> f^\prime(x) \geq 0 </math>である時、この式を満たす<math>x</math>において、<math> f(x) </math>は増加する。
**<math> f^\prime(x) \leq 0 </math>である時、この式を満たす<math>x</math>において、<math> f(x) </math>は減少する。
*方程式<math> f^\prime(x) = 0</math>が実数解<math>x = \{ x_1, x_2, \dots ,x_n \} </math>を持つ時（[[#重複|ただし、各々の解に重複はないものとする]]）、<math>x = \{ x_1, x_2, \dots ,x_n \} </math>において、正負が変わるため、その点で関数<math> f(x) </math>の増減が入れ替わる。この点を変曲点といい、増加から減少に転じる点を極大、減少から増加に転じる点を極小という。
*;高次多項式関数の増減と区間における最大最小
*:最高次の項の係数を<math>a</math>とする<math>n</math>次の高次多項式関数<math> f(x) </math>、その導関数を<math> f^\prime(x) </math>、かつ方程式<math> f^\prime(x) = 0</math>が[[#重複|各々重複のない<math>n-1</math>個の実数解]]<math>x = \{ x_1, x_2, \dots ,x_{n-1} \} </math>とした時、以下の性質を持つ。
*:*なお、以下において、説明簡素化等のため、特に言及のない場合、条件等を以下のとおりとする。
*:*#方程式<math> f^\prime(x) = 0</math>の実数解<math>x = \{ x_1, x_2, \dots k, \dots ,x_{n-1} \} </math>に対する、関数<math> y=f(x) </math>の値<math>y = \{ f(x_1), f(x_2), \dots ,f(x_k), \dots ,f(x_{n-1}) \} </math>として、<math>y</math>の中で最大・最小のものを各々<math>f(x_{Max}), f(x_{min})</math>とする。
*:*#<math>s,t</math>は、<math> s < x_1, x_{n-1} < t</math>を満たす実数である。
*:#<math>a > 0</math>ならば、
*:##<math>n</math>が奇数である時、関数<math> f(x) </math>は<math> x = x_1</math>まで単調に増加し、以後、<math> x = x_{n-1}</math>まで増減し、<math> x = x_{n-1}</math>を超えると再び単調に増加する。
*:##:*区間<math>[s,t]</math>において、<math> f(x) </math>の最大値は、<math>f(x_{Max})</math>または<math>f(t)</math>のいずれか大きい方であり、最小値は<math>f(s)</math>または<math>f(x_{min})</math>のいずれか小さい方である。
*:##<math>n</math>が偶数である時、関数<math> f(x) </math>は<math> x = x_1</math>まで単調に減少し、以後、<math> x = x_{n-1}</math>まで増減し、<math> x = x_{n-1}</math>を超えると単調に増加する（グラフは「上に開く」）。
*:##:*区間<math>[s,t]</math>において、<math> f(x) </math>の最大値は、<math>f(s)</math>,<math>f(x_{Max})</math>または<math>f(t)</math>の最も大きいものであり、最小値は<math>f(x_{min})</math>である。
*:#<math>a < 0</math>ならば、
*:##<math>n</math>が奇数である時、関数<math> f(x) </math>は<math> x = x_1</math>まで単調に減少し、以後、<math> x = x_{n-1}</math>まで増減し、<math> x = x_{n-1}</math>を超えると再び単調に減少する。
*:##:*区間<math>[s,t]</math>において、<math> f(x) </math>の最大値は、<math>f(s)</math>または<math>f(x_{Max})</math>のいずれか大きい方であり、最小値は<math>f(x_{min})</math>または<math>f(t)</math>のいずれか小さい方である。
*:##<math>n</math>が偶数である時、関数<math> f(x) </math>は<math> x = x_1</math>まで単調に増加し、以後、<math> x = x_{n-1}</math>まで増減し、<math> x = x_{n-1}</math>を超えると単調に減少する（グラフは「下に開く」）。
*:##:*区間<math>[s,t]</math>において、<math> f(x) </math>の最大値は、<math>f(x_{Max})</math>であり、最小値は<math>f(s)</math>,<math>f(x_{min})</math>または<math>f(t)</math>の最も小さいものである。
*:;3次関数の増減と区間における最大最小
*::<math>f(x) = ax^3 + bx^2 + cx  + d</math>(<math>a > 0</math>)に対して、<math>f^\prime (x) = 3ax^2 + 2bx + c</math>。
*::*ここで、<math>f^\prime (x) = 0</math>が実数解を持たない場合及び[[#重複|重解を持つ場合]]（判別式<math>D = b^2 - 3ac \leq 0 </math>）、<math> f(x) </math>は、単調に増加する。
*::*<math>f^\prime (x) = 0</math>が異なる2つの実数解を持つ場合（判別式<math>D = b^2 - 3ac > 0 </math>）、<math>f^\prime (x) = 3ax^2 + 2bx + c = 0</math>の解を各々<math>\alpha , \beta</math>（但し、<math>\alpha < \beta</math>）とすると、<math> f(x) </math>の変曲点は<math> x= \alpha , \beta</math>となり、<math> f(\alpha) </math>まで増加したのち減少に転じ<math> f(\beta) </math>まで、減少した後、再び増加に転じる。この時、<math> f(\alpha) </math>を極大値、<math> f(\beta) </math>を極小値という。
*::*<math>s < \alpha < \beta <t </math>である区間<math>[s,t]</math>において、<math> f(x) </math>の最大値は、<math>f(\alpha)</math>または<math>f(t)</math>のいずれか大きい方であり、最小値は<math>f(s)</math>または<math>f(\beta)</math>のいずれか小さい方である。
:::<small><span id="重複"/>※解に重複がある場合
:::*方程式<math> f^\prime(x) = 0</math>の実数解<math>x = \{ x_1, x_2, \dots x_k, x_{k+1}, x_{k+2} \dots ,x_n \} </math>において、隣接する2個の解が一致する場合、その一致する解の前後で正負は逆転せず、従って、元の関数<math> f(x) </math>の増減の傾向も変わらない。隣接する3個の解が一致する場合、その一致する解の前後で正負は逆転し、従って、元の関数<math> f(x) </math>の増減が逆転する。一般化すると、方程式<math> f^\prime(x) = 0</math>の実数解<math>x = \{ x_1, x_2, \dots x_k, x_{k+1}, x_{k+2} \dots ,x_n \} </math>において、隣接する<u>偶数</u>個の解が一致する場合、元の関数<math> f(x) </math>の増減の傾向は変わらない。隣接する<u>奇数</u>個の解が一致する場合、元の関数<math> f(x) </math>の増減はその点で逆転する。</small>

=== 陰関数の微分 ===
<math>x, y</math>が関数の関係にある時、<math>y = f(x)</math>の形の表示を陽関数（表示）、<math>f(x, y) = 0</math>の形の表示を陰関数（表示）という。なお、<math>f(x, y, z) = 0</math>のように変数の数が3個以上のものがあるが、初等数学の範囲を超えるので、本公式集では言及しない。
:例. 双曲線
::陽関数表示: <math>y = \frac{2x+1}{x-1}</math>、陰関数表示: <math>xy-2x-y-1=0</math>
陰関数<math>f(x, y) = 0</math>において、<math>y</math>を<math>x</math> で微分する、すなわち、<math>\frac{dy}{dx}</math>を求める手順は以下のとおり。
:# <math>f(x, y) = 0</math>の各項を、①変数が<math>x</math>のみである関数の項、②変数が<math>y</math>のみである関数の項、③<math>x</math>の関数と<math>y</math>の関数の積である項に分ける。
:# ①変数が<math>x</math>のみである関数の項<math>g(x)</math>については、そのまま<math>x</math>で微分して<math>g^\prime(x)</math>を求める。
:# ②変数が<math>y</math>のみである関数の項<math>h(y)</math>については、<math>\frac{d}{dx}(h(y)) = \frac{d}{dy}(h(y))\frac{dy}{dx}</math>として、<math>\frac{dy}{dx}</math>を求める。
:# ③<math>x</math>の関数と<math>y</math>の関数の積である項については、<math>g(x) h(y)</math>を微分して<math>g^\prime(x) h(y) + g(x) h^\prime(y)</math>とし、<math>\frac{dy}{dx}</math>を上記3の方法で求める。
:# 上記2~4で求めたものにつき、<math>\frac{dy}{dx}</math>でまとめる。
:　
:（例題1）<math>xy-2x-y-1=0</math>
:::各項を<math>x</math> で微分。①により、<math>(-2x)'=-2</math>: ②により、<math>(-y)'=-y'</math>: ③により、<math>(xy)'=y+xy'</math>。
:::よって、与式を微分したものは、<math>y+xy'-2-y'=0</math>。
:::<math>y' \left( =\frac{dy}{dx} \right)</math>について整理し、<math>y' = \frac{2-y}{x-1}</math>（解1）
::::<math>y = \frac{2x+1}{x-1}</math>であるので、<math>y' = \frac{2- \frac{2x+1}{x-1}}{x-1} = -\frac{3}{(x-1)^2}</math>（解2）- 必ずしも、この形でなければならないわけではなく、解1の形のままで利用することもある。
:::::なお、陽関数形式:<math>y = \frac{2x+1}{x-1}</math>を微分すると、<math>y' = \frac{(2x+1)'(x-1)-(2x+1)(x-1)'}{(x-1)^2} = \frac{2(x-1)-(2x+1)}{(x-1)^2} = -\frac{3}{(x-1)^2}</math>となり、解2に一致する。
:　
:<span id="円の微分"/>（例題2）<math>x^2+y^2=r^2</math>
::各項を<math>x</math> で微分。①により、<math>\frac{d}{dx}(x^2)=2x</math>: ②により、<math>\frac{d}{dx}(y^2)= \frac{d}{dy}(y^2) \frac{dy}{dx}=2y \frac{dy}{dx}</math>であるから、
::<math>2x + 2y \frac{dy}{dx} = 0</math>、したがって、<math>\frac{dy}{dx} = - \frac{x}{y}</math>
:　
:<span id="楕円の微分"/>（例題3）<math>ax^2+by^2=1</math>
::各項を<math>x</math> で微分。①により、<math>\frac{d}{dx}(ax^2)=2ax</math>: ②により、<math>\frac{d}{dx}(by^2)= \frac{d}{dy}(by^2) \frac{dy}{dx}=2by \frac{dy}{dx}</math>であるから、
::<math>2ax + 2by \frac{dy}{dx} = 0</math>、したがって、<math>\frac{dy}{dx} = - \frac{ax}{by}</math>
==== 対数微分法 ====
:両辺の対数を取ってから微分する方法。
:*式の乗（除）算を加（減）算に、累乗を乗算に還元して微分計算することができる。
:（手順）
:#両辺の対数を取る。
:#*この時、両辺が正でなければならないので、正と限らないときはないときは絶対値を取る。
:#両辺を<math>x</math>で微分する。
:#*この時、<math>\log y</math>の微分が<math>\frac{y'}{y}</math>になること（[[#対数式微分|微分公式3-2]]）を利用する。
:#<math>y'</math>について解いて<math>x</math>の式で表す。
:（利用局面）
:#指数の底にも肩にも変数<math>x</math>が含まれている<math>y=(f(x))^{g(x)}</math>のような関数。
:#:例題: <math>y = x^x ( x > 0 )</math> の微分
:#:#<math>y = x^x </math>について、両辺対数を取る。なお<math>x > 0</math>であるので右辺左辺ともに正であり、絶対値を顧慮する必要はない。
:#:#:<math>\log y = \log x^x = x\log x</math>
:#:#両辺を<math>x</math>で微分する。
:#:#:<math>\frac{y'}{y} = x' \log x + x (\log x )' = \log x + 1</math>
:#:#<math>y ( = x^x)</math>を両辺にかける。
:#:#:<math>y' = y ( \log x + 1) = x^x ( \log x + 1)</math>
:#<math>y=f(x) \cdot g(x) \cdot h(x)</math>のように微分したい関数が，たくさんの関数の積になっているとき。
:#:例題1: <math>y=f(x) \cdot g(x) \cdot h(x) </math> ただし、微分区間では、<math>f(x) , g(x) , h(x) </math>　ともに正とする。
:#:#<math>y=f(x) \cdot g(x) \cdot h(x)</math>について、両辺対数を取る。
:#:#:<math>\log y = \log \left( f(x) \cdot g(x) \cdot h(x) \right) =  \log f(x) + \log g(x) + \log h(x) </math>
:#:#両辺を<math>x</math>で微分する。
:#:#:<math>\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)}</math>
:#:#<math>y ( = f(x) \cdot g(x) \cdot h(x))</math>を両辺にかける。
:#:#:<math>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)</math>
:#:　
:#:例題2: <math>y=\frac{f(x)}{g(x)}</math> ただし、微分区間では、<math>f(x) , g(x)</math>　ともに正とする。
:#:#<math>y=\frac{f(x)}{g(x)}</math>について、両辺対数を取る。
:#:#:<math>\log y = \log \left( \frac{f(x)}{g(x)} \right) =  \log f(x) - \log g(x) </math>
:#:#両辺を<math>x</math>で微分する。
:#:#:<math>\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) }</math>
:#:#<math>y \left( = \frac{f(x)}{g(x)} \right)</math>を両辺にかける。
:#:#:<math>y' = \frac{f'(x) \cdot g(x) - f(x) \cdot g'(x) }{ g(x)^2 }</math> （[[#商の微分|商の微分]]に一致）

== 積分 ==
=== 基本的な積分の考え方 ===
*'''不定積分'''
*:<math>F'(x) = f(x)</math>の時、　<math>\int f(x) dx = F(x) + C  </math>
*::別の表現：<math>\int f'(x)\,dx = f(x) + C</math>
*:　
**変数 <math>x</math> の関数<math>f, g</math>及びその導関数<math>f', g'</math>に対して、微分の逆演算より、
*** <math>\int (f^\prime+g^\prime) dx = f + g + C</math>
***:　
*** <math>\int (f^\prime g+fg^\prime) dx = fg + C</math>
***:　
**** <math>\int f^\prime g \,dx = fg - \int fg^\prime dx + C</math>と変形し、[[#部分積分|部分積分法]]に利用。
***:　
*** <math>\int \frac{f'g-fg'}{g^2} dx = \frac{f}{g} + C</math>
***:　
***:特に、<math>f=1</math>のとき（<math>f=</math>[定数]と同意）、<math>f'=0</math>であるので、
***:* <math>\int \frac{g'}{g^2} dx = - \frac{1}{g} + C</math>
***:　
*** <math>\int \left((f'\circ g)\cdot g'\right) dx = f\circ g + C</math>
*:　
**'''置換積分'''
**:<math>f(x)</math>において、<math>x=g(t)</math>と置換できる場合、<math>\int f(x) dx =\int f(g(t)) dx </math>（※）
**:: ここで、<math>x=g(t)</math>を<math>t</math>について微分すると、<math>\frac{dx}{dt} =g'(t)</math>、したがって<math>dx =g'(t) dt</math>
**:: ※に代入すると、<math>\int f(x) dx =\int f(g(t)) dx  =\int f(g(t)) g'(t) dt</math>
***'''<math>f(ax + b)</math>の不定積分'''
***: <math>F'(x) = f(x)</math>であるとき、 <math>\int f(ax + b) dx = \frac{1}{a}F(ax + b) + C </math>
***::（証明）
***:::<math>\int f(ax + b) dx</math>に関して、 <math>t=ax + b</math>と置くと、
***:::<math>\int f(ax + b) dx=\int f(t) dx</math>、<math>\frac{dx}{dt} =\frac{1}{a}</math>であるので、<math>dx =\frac{1}{a}dt</math>
***:::代入して、<math>\int f(ax + b) dx=\int f(t) dx=\frac{1}{a} \int f(t) dt</math>
***:::<math>\int f(t) dx= F(t) + C</math>であるので、<math>\int f(ax + b) dx=\frac{1}{a} F(t) + C</math>、<math>t=ax + b</math>を戻して、（与式） <math>= \frac{1}{a}F(ax + b) + C </math>
*:　
*'''定積分'''
*:<math>F'(x) = f(x)</math>の時、  <math>\int_a^b f(x) dx = F(b) - F(a) </math>
*:::なお、<math> F(b) - F(a)  = \Big[ F(x) \Big]_a^b</math> と略記。
**'''定積分の性質'''
***<math>\int_a^b f(x) dx = -\int_b^a f(x) dx </math>, <math>\int_a^a f(x) dx = 0</math>
**:　
***<math>a < c < b</math>として、<math>\int_a^b f(x) dx = \int_a^c f(x) dx + \int_c^b f(x) dx </math>
***:　
****<math>[a,c]</math>において、すべての<math>x</math>について、<math>f(x) \leq 0</math>であり、<math>[c,b]</math>において、すべての<math>x</math>について、<math>f(x) \geq 0</math>であるならば、
****:　
****::<math>\int_a^b |f(x)|dx = - \int_a^c f(x)dx  + \int_c^b f(x)dx </math>
**:　
***<math>f(x) = f(-x)</math>（<math>f(x)</math>は偶関数）ならば、<math>\int_{-a}^a f(x) dx = 2 \int_0^a f(x) dx</math>
***:　
****<math>f(x) = f(-x)</math>（<math>f(x)</math>は偶関数）ならば、<math>\int_{-a}^a \frac{f(x)}{1+p^x} dx = \int_0^a f(x) dx</math>（[[/証明#基本偶関数|証明]]）
**:　
***<math>f(-x) = -f(x)</math>（<math>f(x)</math>は奇関数）ならば、<math>\int_{-a}^a f(x) dx = 0</math>
***:　
***<math>\left|\int_a^b f(x)\,dx\right| \leq \int_a^b |f(x)|dx </math>
*:　
*'''置換積分'''
*:<math>f(x)</math>において、<math>x=g(t)</math>と置換できる場合、
*:　
*:<math>\int_a^b f(x) dx =\int_{\alpha}^{\beta} f(g(t)) g'(t) dt</math>　ただし、<math>\alpha = g(a) , \beta = g(b)</math>。
*:　
*<span id="部分積分"/>'''部分積分'''
*: <math>\int_a^b f(x)g'(x)\,dx = \Big[ f(x)g(x) \Big]_a^b - \int_a^b f'(x)g(x)\,dx </math>
*::別の表現：<math>\int_a^b f(x)\,dg(x) =  \Big[ f(x)g(x) \Big]_a^b - \int_a^b g(x)\,df(x)</math>
*:
*'''定積分と不等式'''
*:閉区間<math>[a, b]</math>において<math>f(x) \leqq g(x)</math>ならば<math>\int_{a}^{b} f(x) \, dx \leqq \int_{a}^{b} g(x) \, dx</math>
*:等号成立は閉区間<math>[a, b]</math>において恒等的に<math>f(x) = g(x)</math>のとき。
*'''コーシー・シュワルツの不等式'''
*: <math>\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) </math>
*:　
*'''King Property''' （King's Property とも）
*:　
*:<math>\int_a^b f(x)\,dx = \int_a^b f(a+b-x)\,dx</math>
*:　
*::特に、　
*:::[1] <math>\int_0^a f(x)\,dx = \int_0^a f(a-x)\,dx</math>
*:　
*:::[2] <math>\int_{-a}^a f(x)\,dx = \int_{-a}^a f(-x)\,dx</math>
*:　
*::利用局面1
*:::<math>I = \int_a^b f(x)\,dx = \int_a^b f(a+b-x)\,dx</math>より、
*:　
*:::<math>2I = \int_a^b ( f(x) + f(a+b-x))\,dx</math>とすると、積分計算が容易になる場合がある。
*:　
*::::なお、このとき、<math>a+b=0</math> ならば、<math>2I = \int_{-b}^b ( f(x) + f(-x))\,dx</math>
*:　
*::利用局面2
*:::<math>\int_0^a f(x)\,dx = \int_0^a f(a-x)\,dx</math>の形の式で三角関数が登場する時、
*:::<math>f(x)</math>と<math>f(a-x)</math>の形で、[[初等数学公式集/初等関数の性質#補角の公式(還元公式)|補角の公式]]（<math>\sin(\pi-x) = \sin x</math>等）や[[初等数学公式集/初等関数の性質#余角の公式(還元公式)|余角の公式]]（<math>\sin\left(\frac{\pi}{2} - x \right) = \cos x</math>等）を利用できる場合がある。

=== 代表的な関数の積分公式 ===
==== 基本的な関数の積分公式 ====
* <span id="基本積分"/>[積分公式1] <math>\int x^a\,dx = \frac{x^{a+1}}{a+1} + C  </math> (<math>a</math>は実数かつ<math>a \neq -1</math>)
* <span id="指数積分"/>[積分公式2] <math>\int e^x\,dx = e^x + C</math>
*: 従って、[積分公式2-1] <math>\int a^x\,dx = \frac{a^x}{\log a} + C</math> (ただし、<math>a > 0</math>)
* <span id="分数積分"/>[積分公式3] <math>\int \frac{1}{x}dx = \log \left|{x}\right| + C</math>
** <span id="分数式積分"/>[積分公式3-1] <math>\int \frac{f'(x)}{f(x)}dx = \log \left|{f(x)}\right| + C</math>
*:　
* <span id="対数積分"/>[積分公式4] <math>\int \log x \,dx = x\log x - x + C</math>（[[高等学校数学III/積分法#指数・対数関数の積分|証明]]）
*:　
*三角関数の積分　（→[[高等学校数学III/積分法#三角関数の積分|証明]]）
*:
** <span id="余弦積分"/>[積分公式5] <math>\int \cos x \,dx = \sin x+ C</math>
*** [積分公式5-1] <math>\int \cos mx \,dx = \frac{\sin mx}{m}+ C</math>
** <span id="正弦積分"/>[積分公式6] <math>\int \sin x \,dx =- \cos x+ C</math>
*** [積分公式6-1] <math>\int \sin mx \,dx =- \frac{\cos mx}{m}+ C</math>
*:
** <span id="正接積分"/>[積分公式7] <math>\int \tan x \,dx =- \log \left|\cos x\right| + C</math>（→[[#複合2|上記も参照。]]）
**: [積分公式7-1] <math>\int \frac{1}{\tan x} dx \left( = \int \cot x \,dx \right) = \log \left|\sin x\right| + C</math>（→[[#複合1|上記も参照。]]）
*:
*;三角関数の定積分
*:<math>b - a = 2 n \pi</math>（<math>n</math>は任意の整数）であるとき、
*::<math>\int_a^b \sin x \,dx = \int_a^b \cos x \,dx = 0</math>
*:::（拡張）
*::::<math>\int_a^b \sin^m x \,dx = \int_a^b \cos^m x \,dx = 0</math>
*::::<math>\int_\frac{a}{k}^\frac{b}{k} \sin kx \,dx = \int_\frac{a}{k}^\frac{b}{k} \cos kx \,dx = 0</math>
*:　
*:積分区間<math>\frac{\pi}{2}</math>ごと
*:　
*::①<math>\int_0^\frac{\pi}{2} \sin x \,dx = \int_0^\frac{\pi}{2} \cos x \,dx = 1</math>　、②<math>\int_\frac{\pi}{2}^\pi \sin x \,dx = 1 , \int_\frac{\pi}{2}^\pi \cos x \,dx = -1</math>
*::③<math>\int_\pi^\frac{3\pi}{2} \sin x \,dx = \int_\pi^\frac{3\pi}{2} \cos x \,dx = -1</math>　、④<math>\int_\frac{3\pi}{2}^{2\pi} \sin x \,dx = -1 , \int_\frac{3\pi}{2}^{2\pi} \cos x \,dx = 1</math>
*:　
*:積分区間<math>\pi</math>ごと
*:　
*::①<math>\int_0^{\pi} \sin x \,dx = 2, \int_0^{\pi} \cos x \,dx = 0</math>　、②<math>\int_\frac{\pi}{2}^\frac{3\pi}{2} \sin x \,dx = 0 , \int_\frac{\pi}{2}^\frac{3\pi}{2} \cos x \,dx = -2</math>
*:　
*::③<math>\int_\pi^{2\pi} \sin x \,dx = -2 , \int_\pi^{2\pi} \cos x \,dx = 0</math>　、④<math>\int_\frac{3\pi}{2}^\frac{5\pi}{2} \sin x \,dx = 0 , \int_\frac{3\pi}{2}^\frac{5\pi}{2} \cos x \,dx = 2</math>

==== 複合的な積分 ====
===== 複合的な三角関数の積分 =====
*<span id="sin^2"/><math>\int \sin ^2 x \,dx = \frac{2x - \sin 2x}{4}+ C</math>（[[/証明#三角関数積分1|証明]]）
*:　
*<span id="cos^2"/><math>\int \cos ^2 x \,dx = \frac{2x + \sin 2x}{4}+ C</math>（[[/証明#三角関数積分2|証明]]）
*:　
*<math>\int \tan ^2 x \,dx = \tan x - x + C</math>（[[#注a|*1]]より）
*:　
*<math>\int \sin ^n x \cos x \,dx = \frac{\sin ^{n+1} x}{n+1}+ C</math>（[[#微分公式4-2|微分公式4-2]]参照）
*:　
*<math>\int \cos ^n x \sin x \,dx = - \frac{\cos ^{n+1} x}{n+1}+ C</math>（[[#微分公式5-2|微分公式5-2]]参照）
*:　
* <math>\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</math>（[[/証明#三角関数積分3|証明]]）
*:　
* <math>\int \frac{1}{\cos x} dx = \frac{1}{2} \log \left( {\frac{1+\sin x}{1-\sin x}} \right) + C</math>（[[/証明#三角関数積分4|証明]]）
*:　
* <math>\int \frac{1}{\sin ^{2} x} dx = - \frac{1}{\tan x} + C</math>（証明:[[#余接微分|微分公式6-a]]参照）
*:　
** <math>\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</math>
*:　
* <math>\int \frac{1}{\cos ^{2} x} dx = \tan x + C</math>（証明:[[#正接微分|微分公式6]]参照） 
*:　
** <math>\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</math>  <span id="注a">(*1)</span>
*:　
* <math>\int \frac{1}{\sin x \cos x} dx = \log|\tan x| + C </math>（[[#複合2|上記参照]],[[/証明#三角関数積分5-0|別証明]]）
*:　
* <math>\int \frac{1}{1 + \sin x} dx = \tan x - \frac{1}{\cos {x}} + C = -\frac{2}{1 + \tan{\frac{x}{2}}} + C</math>（[[/証明#三角関数積分5|証明1]],[[/証明#三角関数積分5-1|証明2]]）
*:　
* <math>\int \frac{1}{1 - \sin x} dx = \tan x + \frac{1}{\cos {x}} + C = \frac{2}{1 - \tan{\frac{x}{2}}} + C</math>（[[/証明#三角関数積分5|証明1]],[[/証明#三角関数積分5-1|証明2]]）
*:　
* <math>\int \frac{1}{1 + \cos x} dx =  - \frac{1}{\tan {x}} + \frac{1}{\sin {x}} + C = \tan{\frac{x}{2}} + C</math>（[[/証明#三角関数積分6|証明1]],[[/証明#三角関数積分6-1|証明2]]）
*:　
* <math>\int \frac{1}{1 - \cos x} dx =  - \frac{1}{\tan {x}} - \frac{1}{\sin {x}} + C = -\frac{1}{\tan{\frac{x}{2}}} + C</math>（[[/証明#三角関数積分6|証明1]],[[/証明#三角関数積分6-2|証明2]]）
*:　
*'''[[初等数学公式集/初等関数の性質#積和の公式|積和の公式]]を利用するもの'''
**<math>\int \sin mx \cos nx \,dx = \frac{1}{2} \int \left\{\sin(m + n)x + \sin(m - n)x \right\}dx = - \frac{\cos(m + n)x}{2(m + n)} - \frac{\cos(m - n)x}{2(m - n)} + C</math>
**:　
**:但し、<math>m = \pm n</math>の時、与式<math>= \frac{1}{2} \int \sin 2mx \,dx = - \frac{\cos 2mx}{4m} + C</math>
**:　
**::特に、<math>\int \sin x \cos x \,dx = \frac{1}{2} \int \sin2x \,dx = - \frac{\cos2x}{4} + C</math>
**:　
**<math>\int \cos mx \cos nx \,dx = \frac{1}{2} \int \left\{\cos(m + n)x + \cos(m - n)x \right\}dx = \frac{\sin(m + n)x}{2(m + n)} + \frac{\sin(m - n)x}{2(m - n)} + C</math>
**:　
**:但し、<math>m = \pm n</math>の時、<math>(m + n, m - n) = (2m,0),(0,2m)</math>であるから、与式<math>= \frac{1}{2} \int \left\{\cos 2mx + \cos0 \right\}dx = \frac{1}{2} \int \left\{\cos 2mx + 1 \right\}dx = \frac{\sin 2mx + 2x}{4m} + C</math>
**:　
**::特に、<math>|m| = |n| = 1</math>の時、結果は、<math>\frac{\sin 2x + 2x}{4} + C</math>であるが、与式<math>=\int \cos (\pm x) \cos (\pm x) dx </math>（複号任意）<math>= \int \cos^2 x \,dx</math>であるので、[[#cos^2|上記の式]]に一致。
**:　
**<math>\int \sin mx \sin nx \,dx = -\frac{1}{2} \int \left\{\cos(m + n)x - \cos(m - n)x \right\}dx = - \frac{\sin(m + n)x}{2(m + n)} + \frac{\sin(m - n)x}{2(m - n)} + C</math>
**:　
**:但し、<math>m = \pm n</math>の時、<math>(m + n, m - n) = (2m,0),(0,2m)</math>であるから、与式<math>= -\frac{1}{2} \int \left\{\pm \cos 2mx \mp \cos0 \right\}dx = - \frac{1}{2} \int \left\{\pm \cos 2mx \mp 1 \right\}dx = \pm \frac{2x - \sin 2mx}{4m} + C</math>
**:　
**::特に、<math>m = n = 1</math>の時、結果は、<math>\frac{2x - \sin 2x}{4} + C</math>であるが、与式<math>=\int \sin x \sin x \,dx = \int \sin^2 x \,dx</math>であるので、[[#sin^2|上記の式]]に一致。
====代表的な置換====
以下、置換積分における代表的な置換を列挙する。置換の方法は複数通り考えられるので、必ずしもこの置換でなければいけない訳ではない。
*<math>\{f(x)\}^n</math>を含む積分は、<math>f(x)</math>を置換する。
*:例：<math>\int \frac{e^{2x}}{(e^x+1)^2} \, dx = \int \frac{e^x}{(e^x+1)^2} \cdot e^x \, dx = \int \frac{t-1}{t^2} \, dt</math> 
*<math>\sqrt[n]{g(x)}</math>を含む積分は、根号全体を置換する。
*:例：<math>\int \frac{x}{\sqrt{3-x}} \, dx = \int \frac{3-u^2}{u} \cdot (-2u) \, du = \int (3-u^2) \, du</math>
*三角関数で置換するもの※
*:<math>\int \sqrt{a^2-x^2} \, dx = \int \sqrt{a^2 - (a\sin \theta)^2} \cdot a\cos \theta \, d\theta = a^2 \int \cos^2 \theta \, d\theta</math>
*::<math>x=a\cos \theta</math>と置換する場合は<math>\int \sin^2 \theta \, d\theta</math>が出てくる。
*:<math>\int \frac{dx}{x^2+a^2} = \int \frac{d\theta}{(a\tan\theta)^2+a^2} = \int \frac{\cos^2\theta}{a^2} \cdot \frac{a}{\cos^2\theta} \, d\theta = \frac{1}{a} \int \, d\theta</math>
*特殊な置換
**三角関数のみを含む積分について<math>t =\tan \frac{\theta}{2}</math>と置換する。（'''ワイエルシュトラス置換'''）
**:<math>\sin \theta = \frac{2t}{1+t^2}, \cos \theta = \frac{1-t^2}{1+t^2}, \tan \theta = \frac{2t}{1-t^2}</math>（'''三角関数の媒介変数表示'''）となって分数関数の積分として計算できる。
**<math>\sqrt{x^2+A}</math>を含む積分は<math>x + \sqrt{x^2+A} = t</math>と置換する（'''オイラー置換'''）。
**:例：<math>\int \sqrt{x^2+a^2} \, dx = \int \sqrt{\frac{1}{4}(t-\frac{a^2}{t})^2+a^2} \cdot \frac{1}{2}(1+\frac{a^2}{t^2}) \, dt = \frac{1}{4} \int (1+\frac{a^2}{t})(1+\frac{a^2}{t^2}) \, dt</math>
**参考：<math>\sqrt{x^2+a^2}</math>を含む積分は双曲線関数で置換する。
**:例：<math>\int \frac{dx}{x^2+4} = \int \frac{1}{\sqrt{(2\sinh \theta)^2 + 4}} \cdot 2\cosh \theta \, d\theta = \int \, dt</math>

※三角関数による置換は、大学数学における以下の公式を背景にしている。
:<math>(\arcsin x)' = \frac{1}{\sqrt{1-x^2}}</math>（<math>-1<x<1</math>）
:<math>(\arccos x)' = -\frac{1}{\sqrt{1-x^2}}</math>（<math>-1<x<1</math>）
:<math>(\arctan x)' = \frac{1}{1+x^2}</math>
:<math>\int \frac{dx}{\sqrt{x^2+a^2}} = \arcsin \frac{x}{|a|} + C</math>（ただし<math>a \neq 0, |x|<|a|</math>）
:<math>\int \frac{dx}{a^2+x^2} = \frac{1}{a} \arctan \frac{1}{a} + C</math>（ただし<math>a \neq 0</math>）
:<math>\int \sqrt{a^2-x^2} \, dx = \frac{1}{2} (x\sqrt{a^2-x^2} + a^2 \arcsin \frac{x}{|a|}) + C</math>（ただし<math>a \neq 0, |x|<|a|</math>）

=== 曲線で囲まれる領域の面積 ===
*閉区間<math>[ a,b ]</math>において、曲線<math> y =  f(x) </math>及び曲線<math> y =  g(x) </math>によって囲まれる領域の面積。
*:<math> S = \int_a^{b}  | f(x) - g(x) | \, dx</math>

[[File:Lukion taulukot (1993)-page038-image02.png|Lukion_taulukot_(1993)-page038-image02|right|200px]]
*曲線<math> y =  f(x) </math>, 曲線<math> y =  g(x) </math>が、<math>[ a,b ]</math>内の<math>c</math>において交わり、<math>x < c</math> において、<math>f(x) > g(x)</math>、<math>x \geqq c</math> において、<math>f(x) \leq g(x)</math> であるとき、
*:<math> S = \int_a^{b}  | f(x) - g(x) | \, dx</math><math>  =  \int_a^{c}  (f(x) - g(x)) \, dx  - \int_c^{b}  (f(x) - g(x)) \, dx</math>
{{-}}
*曲線<math> y =  a_1{x}^2 + b_1{x} + c_1 </math>をA、曲線<math>  y =  a_2{x}^2 + b_2{x} + c_2  </math>をBとする(ただし、<math> a_1 \neq  a_2</math>)。AとBが、<math>  x =  {\alpha}, {\beta}  ( {\alpha} < {\beta} )</math>で交わるとき、
*:区間<math>[  {\alpha}, {\beta} ]</math>で、曲線Aと曲線Bにより囲まれる領域の面積。
*::<math> S = \frac{ | a_1 - a_2 |}{6}  ( {\beta} - {\alpha})^3</math>（1/6公式）
*（1/12公式）
*（1/20公式）
これらはy軸まわりで考えても同様である。
{{wikipedia|グリーンの定理|ガウス・グリーンの定理}}
*曲線<math>\begin{cases} x = f(t) \\ y = g(t) \end{cases}</math>について、<math>[a, b]</math>の範囲でtの増加とともに点<math>P(f(t), g(t))</math>がxy平面上を原点中心に反時計回りに動くときに線分<math>OP</math>が通過する領域の面積は、<math>\int_{a}^{b} \frac{1}{2} \{ x g'(t) - y f'(t) \} dt</math>（ガウス・グリーンの定理）
*極座標系での求積
*:曲線<math>r=r(\theta)</math>と2直線<math>\theta = \alpha, \theta = \beta</math>で囲まれた部分の面積は、<math>S = \int_{\alpha}^{\beta} \frac{1}{2} \{ r(\theta) \}^2 d\theta</math> （→[[高等学校数学III/積分法#面積|証明]]）
*:ただし、θは偏角とは限らない。

==== 極限と積分の関係（区分求積法） ====
区分求積法とは、関数の値を細かく区切って足し合わせることで積分を近似する方法である。
:　
<math>f(x)</math> は区間<math>[0,1]</math>で連続であるとき、次の極限が成り立つ。
:　
:<math>\lim_{n\to\infty} \, \frac{1}{n}\sum_{k=1}^{n} f \left( \frac{n}{k} \right) =  \int_0^{1}  f(x) \, dx</math>
:　
同様に、区間<math>[0,m]</math>で連続であるとき、次の極限が成り立つ。
:　
:<math>\lim_{n\to\infty} \, \frac{1}{n}\sum_{k=1}^{mn} f \left( \frac{n}{k} \right) =  \int_0^{m}  f(x) \, dx</math>
:　
:これは、区分求積法による近似が極限で積分に収束することを表している。

=== 体積 ===
*ある立体<math>V_0</math>の<math>x = t</math>における断面積が有限な値で、その値が <math>t</math>の関数<math>S(t)</math>となるとき、この立体を平面<math>x = a</math>，<math>x = b</math>（ただし、<math>a < b</math>）で切り取った領域の体積は、
*:<math> V = \int_a^{b}  S(t) \, dt</math>
*:　
*:【利用公式】
*:*[[初等数学公式集/初等幾何/体積#錐体の体積|錐体の体積]]
*:*[[初等数学公式集/初等幾何/体積#くさび形の体積|くさび形の体積]]
*:*[[初等数学公式集/初等幾何/体積#球の体積|球の体積]]
*:*[[初等数学公式集/初等幾何/体積#円環体（トーラス）の体積|円環体（トーラス）の体積]]
*曲線<math> y =  f(x) </math>を<math>x</math>軸を中心に回転させたとき、この立体を平面<math>x = a</math>，<math>x = b</math>（ただし、<math>a < b</math>）で切り取った領域の体積は、
*:<math> V = \pi \int_a^{b} \{ f(x) \}^2 \, dx</math>
*:
*曲線<math>x = g(y)</math>をy軸を中心に回転させたとき、この立体を平面<math>y=c, y=d</math>(ただし<math>c<d</math>)で切り取った領域の体積は、
*:<math>V = \pi \int_c^d \{ g(y) \}^2  \, dy</math>
*:
*曲線<math>y=f(x)</math>とx軸、直線<math>x=a, x=b</math>に囲まれた部分をx軸周りに一回転した立体の体積は、
*:<math>V = 2\pi \int_{a}^{b} x f(x) dx</math>（バームクーヘン積分・円筒分割積分）
*:
*図形Aを図形Aと交わらない直線の周りに一回転してできる立体の体積は、V=（Aの重心が描く円の円周長）×（Aの面積）。（パップス・ギュルダンの定理）
*:

====斜軸回転体の体積====
*平面中の直線Lの周りの回転体の体積は、回転軸Lに垂直な平面で回転体を切った断面積の積分で求まる。
*:
*曲線<math>y=f(x)</math>と直線<math>mx+n, x=a, x=b</math>で囲まれた部分を直線<math>y=mx+n</math>の周りで一回転した体積は、<math>\tan \theta = m</math>として、
*:<math>V = \pi \cos \theta \int_{a}^{b} \{ f(x) - (mx+n) \}^2 dx</math>（傘型分割積分）
*:
*回転軸Lをx軸もしくはy軸に重ねる回転移動を行い通常の回転体の求積公式に強引に当て嵌めることで、置換積分により体積が求まる。

=== 曲線の長さ ===
*閉区間<math>[ a,b ]</math>における、曲線<math> y =  f(x) </math>の長さ<math>L</math>。
*:<math> L = \int_a^{b}  \sqrt{ 1  + \left( \frac{dy}{dx} \right) ^2  } dx</math>
**上記曲線が媒介変数<math>t</math>によって、<math> x = x(t) , y = y(t) , a = x(\alpha) , b = x(\beta)</math>と表される時の長さ<math>L</math>。
*:<math> L = \int_{ \alpha }^{ \beta }  \sqrt{ \left( \frac{dx}{dt} \right) ^2  + \left( \frac{dy}{dt} \right) ^2  } dt</math>

===平面上の運動と微積分===
xy平面上における運動の時刻<math>t</math>における位置,速度,加速度をそれぞれ<math>\vec{x}(t), \vec{v}(t), \vec{a}(t)</math>とする。

*<math>\frac{d}{dt} \vec{x}(t) = v(t) \iff \int \vec{v}(t) \, dt = \vec{x}(t) + \vec{x_0}</math>
*<math>\frac{d}{dt} \vec{v}(t) = \vec{a}(t) \iff \int \vec{a}(t) \, dt =  \vec{v}(t) + \vec{v_0}</math>
*<math>\frac{d^2}{dt^2} \vec{x}(t) = \vec{a}(t) \iff \int \int \vec{a}(t) \, dt \, dt = \vec{x}(t) + \vec{x_0} </math>
*時刻aから時刻bまで運動を続けた時の道のりは<math>\int_a^b |\vec{v}(t)| \, dt</math>


== 基本的な関数の微分公式と積分公式の相互関係 ==
* <math>{d\over dx}\int_a^x f(t)\,dt = f(x) </math>　（微積分学の基本定理）


* [[#基本微分|（微分公式1）]] <math>\left(x^a\right)'=ax^{a-1} </math> (<math>a</math>は実数)　⇔　[[#基本積分|（積分公式1）]] <math>\int x^a\,dx = \frac{x^{a+1}}{a+1} + C</math> (<math>a</math>は実数かつ<math>a \neq -1</math>)
* [[#指数微分|（微分公式2）]] <math>\left(e^x\right)'=e^x </math>　⇔　[[#指数積分|（積分公式2）]] <math>\int e^x\,dx = e^x + C</math>
*: 従って、[[#指数微分|（微分公式2-1）]] <math>\left(a^x\right)'=a^x \log a </math>　⇔　[[#指数積分|（積分公式2-1）]] <math>\int a^x\,dx = \frac{a^x}{\log a} + C</math>(<math>a > 0</math>)
*::（応用）
*:::<math> \left( f(x) e^x \right)' = \left( f(x) + f'(x) \right) e^x </math>　⇔　<math>\int \left( f(x) + f'(x) \right) e^x \,dx = f(x) e^x + C</math>
* [[#対数微分|（微分公式3）]] <math>(\log x)'=\frac{1}{x} </math>　⇔　[[#分数積分|（積分公式3）]] <math>\int \frac{1}{x}dx = \log \left|{x}\right| + C</math>
** [[#対数式微分|（微分公式3-1）]] <math>(\log \left|f(x)\right|)'=\frac{f'(x)}{f(x)} </math>　⇔　[[#分数式積分|（積分公式3-1）]] <math>\int \frac{f'(x)}{f(x)}dx = \log \left|{f(x)}\right| + C</math>

* [[#正弦微分|（微分公式4）]] <math>\left(\sin x\right)'=\cos x </math>　⇔　[[#余弦積分|（積分公式5）]] <math>\int \cos xdx = \sin x+ C</math>
* [[#余弦微分|（微分公式5）]] <math>\left(\cos x\right)'=-\sin x </math>　⇔　[[#正弦積分|（積分公式6）]] <math>\int \sin xdx =- \cos x+ C</math>
== 脚注 ==
<references/>
{{DEFAULTSORT:しよとうすうかくこうしきしゆう 07ひせきふん}}
[[Category:普通教育]]
[[Category:数学教育]]
[[Category:初等数学公式集|ひせきふん]]
[[カテゴリ:微分積分学]]