# 平面上のベクトル

# ベクトルの平行、分解

ベクトルの平行条件a0,b0\vec{a} \neq \vec{0}, \vec{b} \neq \vec{0} のとき)

  • ab    b=ka\vec{a} \parallel \vec{b} \iff \vec{b} = k\vec{a} となる実数 kk がある

ベクトルの分解
a0,b0,ab\vec{a} \neq \vec{0}, \vec{b} \neq \vec{0}, \vec{a} \nparallel \vec{b} のとき、任意のベクトル p\vec{p} は、実数 s,ts, t を用いてただ 11 通りに

  • p=sa+tb\vec{p} = s\vec{a} + t\vec{b} の形に表される。

# ベクトルの相等、大きさ

a=(a1,a2),b=(b1,b2)\vec{a} = (a_1, a_2), \vec{b} = (b_1, b_2) とする。
相等

  • a=b    a1=b1, a2=b2\vec{a} = \vec{b} \iff a_1 = b_1,\ a_2 = b_2

大きさ

  • |\vec{a}| = \sqrt

# 点の座標とベクトルの成分

A=(a1,a2),B=(b1,b2)A=(a_1, a_2), B=(b_1, b_2) のとき

  • AB=(b1a1,b2a2)\overrightarrow{AB} = (b_1 - a_1, b_2 - a_2)
  • |\overrightarrow{AB}| = \sqrt

# 内積の定義、内積と成分

a0,b0\vec{a} \neq \vec{0}, \vec{b} \neq \vec{0} とする。
内積の定義
a\vec{a}b\vec{b} のなす角を θ\theta (0θ1800^\circ \le \theta \le 180^\circ) とすると

  • ab=abcosθ\vec{a} \cdot \vec{b} = |\vec{a}||\vec{b}|\cos\theta

内積と成分
a=(a1,a2),b=(b1,b2)\vec{a} = (a_1, a_2), \vec{b} = (b_1, b_2) のとき

  • ab=a1b1+a2b2\vec{a} \cdot \vec{b} = a_1b_1 + a_2b_2
  • また、a\vec{a}b\vec{b} のなす角を θ\theta とすると cosθ=abab=a1b1+a2b2a12+a22b12+b22\cos\theta = \dfrac{\vec{a} \cdot \vec{b}}{|\vec{a}||\vec{b}|} = \dfrac{a_1b_1 + a_2b_2}{\sqrt{a_1^2 + a_2^2}\sqrt{b_1^2 + b_2^2}}

垂直条件
a=(a1,a2),b=(b1,b2)0\vec{a} = (a_1, a_2), \vec{b} = (b_1, b_2) \neq \vec{0} とする。

  • ab    ab=0    a1b1+a2b2=0\vec{a} \perp \vec{b} \iff \vec{a} \cdot \vec{b} = 0 \iff a_1b_1 + a_2b_2 = 0

# 位置ベクトルと共線条件

分点の位置ベクトル
2 点 A=(a),B=(b)A=(\vec{a}), B=(\vec{b}) に対して、線分 ABABm:nm : n に分ける点の位置ベクトル p\vec{p}

  • 内分 …… \vec p = \dfrac{n\vec{a} + m\vec{b}}
  • 外分 …… \vec p = \dfrac{-n\vec{a} + m\vec{b}}

共線条件
2 点 A,BA, B が異なるとき

  • PP が直線 ABAB 上にある     AP=kAB\iff \overrightarrow{AP} = k\overrightarrow{AB} となる実数 kk がある

# ベクトル方程式

直線のベクトル方程式
s,ts, t を実数とする。

  • A(a)A(\vec{a}) を通り、d(0)\vec{d} (\neq \vec{0}) に平行な直線のベクトル方程式

p=a+td\vec{p} = \vec{a} + t\vec{d}

  • 異なる 2 点 A(a),B(b)A(\vec{a}), B(\vec{b}) を通る直線のベクトル方程式

p=(1t)a+tb, または p=sa+tb(s+t=1)\vec{p} = (1 - t)\vec{a} + t\vec{b} ,\quad \text{ または } \quad \vec{p} = s\vec{a} + t\vec{b} \quad (s + t = 1)

内積による直線のベクトル方程式

  • A(a)A(\vec{a}) を通り、n(0)\vec{n} (\neq \vec{0}) に垂直な直線のベクトル方程式

n(pa)=0\vec{n} \cdot (\vec{p} - \vec{a}) = 0

平面上の点の存在範囲
OAB\triangle OAB に対して、OP=sOA+tOB\overrightarrow{OP} = s\overrightarrow{OA} + t\overrightarrow{OB} のとき、点 PP の存在範囲は

  • 直線 AB    s+t=1AB \iff s + t = 1
  • 線分 AB    s+t=1, s0, t0AB \iff s + t = 1, \ s \ge 0, \ t \ge 0
  • OAB\triangle OAB の周と内部     0s+t1, s0, t0\iff 0 \le s + t \le 1, \ s \ge 0, \ t \ge 0
  • 平行四辺形 OACBOACB の周と内部     0s1, 0t1\iff 0 \le s \le 1, \ 0 \le t \le 1

円のベクトル方程式
中心 C(c)C(\vec{c})、半径 rr の円のベクトル方程式

pc=r|\vec{p} - \vec{c}| = r

ベクトルの応用

  • PP が直線 ABAB 上にある     OP=sOA+tOB, s+t=1\iff \overrightarrow{OP} = s\overrightarrow{OA} + t\overrightarrow{OB}, \ s + t = 1 となる実数 s,ts, t がある。

# 空間のベクトル

# ベクトルの演算、相等、大きさ

ベクトルの分解
同じ平面上にない 4 点 O,A,B,CO, A, B, C に対して OA=a,OB=b,OC=c\overrightarrow{OA} = \vec{a}, \overrightarrow{OB} = \vec{b}, \overrightarrow{OC} = \vec{c} とすると、

  • 任意のベクトル p\vec{p} は実数 s,t,us, t, u を用いてただ 1 通りに p=sa+tb+uc\vec{p} = s\vec{a} + t\vec{b} + u\vec{c} の形に表される。

相等、大きさ
a=(a1,a2,a3),b=(b1,b2,b3)\vec{a} = (a_1, a_2, a_3), \vec{b} = (b_1, b_2, b_3) とする。

  • a=b    a1=b1,a2=b2,a3=b3\vec{a} = \vec{b} \iff a_1 = b_1, a_2 = b_2, a_3 = b_3
  • |\vec{a}| = \sqrt

AB\overrightarrow{AB} の成分と大きさ
A(a1,a2,a3),B(b1,b2,b3)A(a_1, a_2, a_3), B(b_1, b_2, b_3) のとき

  • AB=(b1a1,b2a2,b3a3)\overrightarrow{AB} = (b_1 - a_1, b_2 - a_2, b_3 - a_3)
  • |\overrightarrow{AB}| = \sqrt

# ベクトルの内積

a=(a1,a2,a3),b=(b1,b2,b3)\vec{a} = (a_1, a_2, a_3), \vec{b} = (b_1, b_2, b_3) のとき

  • ab=a1b1+a2b2+a3b3\vec{a} \cdot \vec{b} = a_1b_1 + a_2b_2 + a_3b_3

# ベクトルの応用

同じ平面上にある条件
s,t,us, t, u を実数とする。点 P(p)P(\vec{p}) が 3 点 A(a),B(b),C(c)A(\vec{a}), B(\vec{b}), C(\vec{c}) の定める平面上にある

  • \iff \overrightarrow{CP} = s\overrightarrow{CA} + t\overrightarrow
  •     p=sa+tb+uc, s+t+u=1\iff \vec{p} = s\vec{a} + t\vec{b} + u\vec{c}, \ s + t + u = 1

球面の方程式

  • (a,b,c)(a, b, c) を中心とする、半径 rr の球面

(xa)2+(yb)2+(zc)2=r2(x - a)^2 + (y - b)^2 + (z - c)^2 = r^2

  • 特に、原点を中心とする、半径 rr の球面

x2+y2+z2=r2x^2 + y^2 + z^2 = r^2

  • 一般形,ただし A2+B2+C24D>0A^2 + B^2 + C^2 - 4D \gt 0

x2+y2+z2+Ax+By+Cz+D=0x^2 + y^2 + z^2 + Ax + By + Cz + D = 0

  • 中心が C(c)C(\vec{c})、半径が rr の球面のベクトル方程式

pc=r|\vec{p} - \vec{c}| = r

# (参考) 平面・直線の方程式

平面の方程式

  • A(a)A(\vec{a}) を通り、n(0)\vec{n} (\neq \vec{0}) に垂直な平面のベクトル方程式

n(pa)=0\vec{n} \cdot (\vec{p} - \vec{a}) = 0

  • A(x1,y1,z1),n=(a,b,c)A(x_1, y_1, z_1), \vec{n} = (a, b, c) のとき、平面の方程式

a(xx1)+b(yy1)+c(zz1)=0a(x - x_1) + b(y - y_1) + c(z - z_1) = 0

  • 平面の方程式の一般形

ax+by+cz+d=0ax + by + cz + d = 0

直線の方程式
tt を実数とする。

  • A(a)A(\vec{a}) を通り、d(0)\vec{d} (\neq \vec{0}) に平行な直線のベクトル方程式

p=a+td\vec{p} = \vec{a} + t\vec{d}

  • A(x1,y1,z1),d=(l,m,n)A(x_1, y_1, z_1), \vec{d} = (l, m, n) のとき、直線の方程式

x=x1+lt, y=y1+mt, z=z1+ntx = x_1 + lt, \ y = y_1 + mt, \ z = z_1 + nt

  • A(x1,y1,z1),d=(l,m,n)A(x_1, y_1, z_1), \vec{d} = (l, m, n) のとき、直線の方程式(別)

xx1l=yy1m=zz1n(lmn0)\frac{x - x_1}{l} = \frac{y - y_1}{m} = \frac{z - z_1}{n} \quad (lmn \neq 0)

# 複素数平面

# 複素数平面

絶対値

  • z=a+biz = a + bi に対し |z| = \sqrt

絶対値の性質
z,α,βz, \alpha, \beta は複素数とする。

  • z=0    z=0|z| = 0 \iff z = 0
  • z=z=zˉ|z| = |-z| = |\bar{z}|
  • zzˉ=z2z\bar{z} = |z|^2
  • αβ=αβ|\alpha\beta| = |\alpha||\beta|
  • αβ=αβ(β0)\left|\frac{\alpha}{\beta}\right| = \frac{|\alpha|}{|\beta|} \quad (\beta \neq 0)
  • 22α,β\alpha, \beta 間の距離 βα|\beta - \alpha|

# 複素数の極形式

複素数平面上で、O(0),P(z),z=a+bi (z0)O(0), P(z), z = a + bi \ (z \neq 0)OP=rOP = rOPOP と実軸の正の部分とのなす角が θ\theta のとき

z=r(cosθ+isinθ)(r>0)z = r(\cos\theta + i\sin\theta) \quad (r \gt 0)

複素数の乗法、除法
z1=r1(cosθ1+isinθ1),z2=r2(cosθ2+isinθ2)z_1 = r_1(\cos\theta_1 + i\sin\theta_1), z_2 = r_2(\cos\theta_2 + i\sin\theta_2) とする。

  • 複素数 z1,z2z_1, z_2 の乗法
    • z_1z_2 = r_1r_2\
    • z1z2=z1z2|z_1z_2| = |z_1||z_2|
    • arg(z1z2)=argz1+argz2\arg(z_1z_2) = \arg z_1 + \arg z_2
  • 複素数 z1,z2z_1, z_2 の除法(z20z_2 \neq 0 とする)
    • \dfrac{z_1}{z_2} = \dfrac{r_1}{r_2}\
    • \left|\dfrac{z_1}{z_2}\right| = \dfrac{|z_1|}
    • arg(z1z2)=argz1argz2\arg\left(\dfrac{z_1}{z_2}\right) = \arg z_1 - \arg z_2

複素数の乗法と回転
r>0r \gt 0 とする。点 r(cosθ+isinθ)zr(\cos\theta + i\sin\theta)z は、点 PP を原点を中心として角 θ\theta だけ回転し、原点からの距離を rr 倍した点である。

# ド・モアブルの定理

ド・モアブルの定理
nn が整数のとき

(cosθ+isinθ)n=cosnθ+isinnθ(\cos\theta + i\sin\theta)^n = \cos n\theta + i\sin n\theta

11nn 乗根
1 の nn 乗根は nn 個あり、それらを zk (k=0,1,2,,n1)z_k \ (k = 0, 1, 2, \cdots, n-1) とすると

zk=cos2kπn+isin2kπnz_k = \cos\frac{2k\pi}{n} + i\sin\frac{2k\pi}{n}

n3n \ge 3 のとき、点 zk (k=0,1,2,,n1)z_k \ (k = 0, 1, 2, \cdots, n-1) は点 1111 つの頂点として、単位円に内接する正 nn 角形の頂点である。

# 複素数と図形

A(α),B(β),C(γ),D(δ)A(\alpha), B(\beta), C(\gamma), D(\delta) は互いに異なる点とする。

線分 ABAB の内分点、外分点

  • m:nm:n に内分する点 \dfrac{n\alpha + m\beta}
  • 中点 \dfrac{\alpha + \beta}
  • m:nm:n に外分する点 \dfrac{-n\alpha + m\beta}

方程式の表す図形

  • zα=r(r>0)|z - \alpha| = r \quad (r \gt 0) は、中心 AA、半径 rr の円
  • nzα=mzβ(n>0,m>0)n|z - \alpha| = m|z - \beta| \quad (n \gt 0, m \gt 0)
    • m=nm = n なら線分 ABAB の垂直二等分線
    • mnm \neq n なら線分 ABABm:nm:n に内分する点と外分する点を直径の両端とする円(アポロニウスの円)

なす角、平行・垂直などの条件

  • \angle \beta\alpha\gamma = \arg\dfrac{\gamma - \alpha}
  • 3 点 A,B,CA, B, C が一直線上にある     γαβα\iff \dfrac{\gamma - \alpha}{\beta - \alpha} が実数
  • ABAC    γαβαAB \perp AC \iff \dfrac{\gamma - \alpha}{\beta - \alpha} が純虚数
  • δγβα\dfrac{\delta - \gamma}{\beta - \alpha}
    • 実数     ABCD\iff AB \parallel CD
    • 純虚数     ABCD\iff AB \perp CD

# 式と曲線

# 2 次曲線

放物線 y2=4px (p0)y^2 = 4px \ (p \neq 0) [標準形]

  • 頂点は原点。
  • 焦点は F(p,0)F(p, 0)、準線は直線 x=px = -p
  • 軸は xx 軸。曲線は軸に関して対称。
  • 曲線上の任意の点と焦点・準線との距離は等しい。

楕円 x2a2+y2b2=1 (a>b>0)\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} = 1 \ (a \gt b \gt 0) [標準形]

  • 中心は原点、長軸の長さは 2a2a、短軸の長さは 2b2b
  • 焦点は F(c, 0), F'(-c, 0) \quad c = \sqrt
  • 曲線は xx 軸、yy 軸、原点に関して対称。
  • 曲線上の任意の点 PP について PF+PF=2aPF + PF' = 2a

双曲線 x2a2y2b2=1 (a>0,b>0)\dfrac{x^2}{a^2} - \dfrac{y^2}{b^2} = 1 \ (a \gt 0, b \gt 0) [標準形]

  • 中心は原点。
  • 曲線は xx 軸、yy 軸、原点に関して対称。
  • 焦点は F(c, 0), F'(-c, 0) \quad c = \sqrt
  • 漸近線は 直線 xayb=0,xa+yb=0\dfrac{x}{a} - \dfrac{y}{b} = 0, \dfrac{x}{a} + \dfrac{y}{b} = 0
  • 曲線上の任意の点 PP について PFPF=2a|PF - PF'| = 2a

22 次曲線の接線
曲線上の点 (x1,y1)(x_1, y_1) における接線の方程式は

  • 放物線 y2=4px    y1y=2p(x+x1)y^2 = 4px \implies y_1y = 2p(x + x_1)
  • 楕円 x2a2+y2b2=1    x1xa2+y1yb2=1\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} = 1 \implies \dfrac{x_1x}{a^2} + \dfrac{y_1y}{b^2} = 1
  • 双曲線 x2a2y2b2=1    x1xa2y1yb2=1\dfrac{x^2}{a^2} - \dfrac{y^2}{b^2} = 1 \implies \dfrac{x_1x}{a^2} - \dfrac{y_1y}{b^2} = 1

離心率 ee と準線 \ell
定点 FF と、FF を通らない定直線 \ell からの距離の比が e:1e:1 である点の軌跡は

  • 0<e<10 \lt e \lt 1 のとき FF を焦点の 1 つとする楕円
  • e=1e = 1 のとき FF を焦点、\ell を準線とする放物線
  • e>1e \gt 1 のとき FF を焦点の 1 つとする双曲線

# 媒介変数表示

曲線の媒介変数表示a>0,b>0a \gt 0, b \gt 0 とする。)

  • x2+y2=a2    x=acosθ,y=asinθx^2 + y^2 = a^2 \implies x = a\cos\theta, y = a\sin\theta
  • 放物線 y2=4px    x=pt2,y=2pty^2 = 4px \implies x = pt^2, y = 2pt
  • 楕円 x2a2+y2b2=1    x=acosθ,y=bsinθ\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} = 1 \implies x = a\cos\theta, y = b\sin\theta
  • 双曲線 x2a2y2b2=1    x=acosθ,y=btanθ\dfrac{x^2}{a^2} - \dfrac{y^2}{b^2} = 1 \implies x = \dfrac{a}{\cos\theta}, y = b\tan\theta
  • サイクロイド x=a(θsinθ),y=a(1cosθ)x = a(\theta - \sin\theta), y = a(1 - \cos\theta)

# 極座標と極方程式

極座標 (r,θ)(r, \theta) と直交座標 (x,y)(x, y) の関係

  • x=rcosθ,y=rsinθx = r\cos\theta, y = r\sin\theta
  • r = \sqrt
  • r0r \neq 0 のとき \cos\theta = \frac{x}{r}, \sin\theta = \frac{y}

極方程式
[r<0r \lt 0 も考える。すなわち、r>0r \gt 0 のときの点 (r,θ)(-r, \theta) は、点 (r,θ+π)(r, \theta + \pi) と同じ点を表す。]

    • 中心が極、半径 a    r=aa \implies r = a
    • 中心 (a,0)(a, 0)、半径 a    r=2acosθa \implies r = 2a\cos\theta
    • 中心 (r0,θ0)(r_0, \theta_0)、半径 a    r22rr0cos(θθ0)+r02=a2a \implies r^2 - 2rr_0\cos(\theta - \theta_0) + r_0^2 = a^2
  • 直線
    • 極を通り、始線と α\alpha の角をなす     θ=α\implies \theta = \alpha
    • A(a,α)A(a, \alpha) を通り、OAOAOO は極)に垂直     rcos(θα)=a (a>0)\implies r\cos(\theta - \alpha) = a \ (a \gt 0)
  • 2 次曲線
    • 焦点を極とすると     r(1+ecosθ)=l (l>0)\implies r(1 + e\cos\theta) = l \ (l \gt 0)
    • 0<e<10 \lt e \lt 1 のとき楕円、e=1e = 1 のとき放物線、1<e1 \lt e のとき双曲線 となる。

# 関数

# 分数関数・無理関数

分数関数 y = \dfrac{ax+b}

  • y=kxp+qy = \dfrac{k}{x-p} + q の形に変形する。
  • 漸近線が 2 直線 x=p,y=qx = p, y = q の直角双曲線。
  • y=kxy = \dfrac{k}{x} のグラフを xx 軸方向に ppyy 軸方向に qq だけ平行移動したグラフ。
  • 向こうに p=bap = -\dfrac{b}{a} だけ平行移動したグラフ。

無理関数 y = \sqrt

  • y=a(xp)y = \sqrt{a(x-p)} の形に変形する。
  • 軸が xx 軸、頂点が原点の放物線 y2=axy^2 = axy0y \ge 0 の部分である y=axy = \sqrt{ax} のグラフを、xx 軸方向に p=bap = -\dfrac{b}{a} だけ平行移動したグラフ。

# 逆関数・合成関数

逆関数

  • y=f(x)    x=g(y)y = f(x) \iff x = g(y) のとき g(x)=f1(x)g(x) = f^{-1}(x)
  • y=f(x)y = f(x)y=f1(x)y = f^{-1}(x) のグラフは、直線 y=xy = x に関して対称。
  • f(x)f(x) の定義域[値域]=f1(x)= f^{-1}(x) の値域[定義域]
  • 分数関数 y=ax+bcx+dy = \dfrac{ax+b}{cx+d} が逆関数をもつ条件は adbc0ad - bc \neq 0

合成関数

  • (gf)(x)=g(f(x))(g \circ f)(x) = g(f(x))
  • (gf)(x)(g \circ f)(x)(fg)(x)(f \circ g)(x) は、一般には一致しない。

# 極限

# 数列の極限

数列の極限

  • 収束 limnan=α\displaystyle\lim_{n \to \infty} a_n = \alpha(極限値)
  • 発散 limnan=,limnan=\displaystyle\lim_{n \to \infty} a_n = \infty, \quad \displaystyle\lim_{n \to \infty} a_n = -\infty
  • 数列は振動する(極限がない)

無限等比数列の極限
nn \to \infty のとき {rn}\{r^n\} の極限は

  • r>1r \gt 1 のとき rnr^n \to \infty 発散する
  • r=1r = 1 のとき rn1r^n \to 1 収束する
  • r<1|r| \lt 1 のとき rn0r^n \to 0 収束する
  • r1r \le -1 のとき 数列は振動する(極限はない)

# 無限級数

無限級数の収束・発散

  • an\sum a_n が収束     limnan=0\implies \displaystyle\lim_{n \to \infty} a_n = 0
  • limnan0    an\displaystyle\lim_{n \to \infty} a_n \neq 0 \implies \sum a_n は発散

無限等比級数 n=1arn1(a0)\sum_{n=1}^\infty ar^{n-1} \quad (a \neq 0)

  • r<1|r| \lt 1 のとき 収束して、和は \dfrac{a}
  • r1|r| \ge 1 のとき 発散する

# 関数の極限

関数の極限

  • xax \to a のとき f(x)α(limxaf(x)=α)f(x) \to \alpha \quad \left(\displaystyle\lim_{x \to a} f(x) = \alpha\right)
  • 1 つの有限な値(極限値) α\alpha に近づく     \implies 極限がある
  • 関数の極限 \infty(正の無限大に発散)、-\infty(負の無限大に発散)、極限はない
  • 関数の極限値 ±\pm \infty も極限値とはいわない。

左側極限、右側極限

  • 右側極限 limxa+0f(x)[x>a で xa]\displaystyle\lim_{x \to a+0} f(x) \quad [x \gt a \text{ で } x \to a]
  • 左側極限 limxa0f(x)[x<a で xa]\displaystyle\lim_{x \to a-0} f(x) \quad [x \lt a \text{ で } x \to a]
  • 特に a=0a = 0 なら limx+0f(x),limx0f(x)\displaystyle\lim_{x \to +0} f(x), \displaystyle\lim_{x \to -0} f(x) と表す。

極限に関する性質
xax \to a のとき f(x)α, g(x)βf(x) \to \alpha, \ g(x) \to \beta ならば

  • f(x)g(x)αβ,f(x)g(x)αβ (β0)f(x)g(x) \to \alpha\beta, \quad \dfrac{f(x)}{g(x)} \to \dfrac{\alpha}{\beta} \ (\beta \neq 0)
  • はさみうちの原理 f(x)h(x)g(x), α=βf(x) \le h(x) \le g(x), \ \alpha = \beta ならば h(x)αh(x) \to \alpha
  • [xax \to ax,xx \to \infty, x \to -\infty としても、上で示した性質は成立する。]

三角関数の極限(角の単位は弧度法)

  • limx0sinxx=1,limx0xsinx=1,limx0tanxx=1\lim_{x \to 0} \dfrac{\sin x}{x} = 1, \quad \lim_{x \to 0} \dfrac{x}{\sin x} = 1, \quad \lim_{x \to 0} \dfrac{\tan x}{x} = 1

# 関数の連続・不連続

関数 f(x)f(x)

  • x=ax = a で連続とは極限値 limxaf(x)\displaystyle\lim_{x \to a} f(x) が存在して limxaf(x)=f(a)\displaystyle\lim_{x \to a} f(x) = f(a)
  • x=ax = a で不連続とは、次のいずれかの場合をいう。
    • 極限値 limxaf(x)\displaystyle\lim_{x \to a} f(x) が存在しない。
    • 極限値 limxaf(x)\displaystyle\lim_{x \to a} f(x) が存在して limxaf(x)f(a)\displaystyle\lim_{x \to a} f(x) \neq f(a)

中間値の定理

  • 関数 f(x)f(x) が閉区間 [a,b][a, b] で連続で f(a)f(b)f(a) \neq f(b) ならば、f(a)f(a)f(b)f(b) の間の任意の値 kk に対して f(c)=kf(c) = k を満たす実数 cc が、aabb の間に少なくとも 11 つある。

# 微分法

# 微分法の基本

微分係数

  • f'(a) = \displaystyle\lim_{h \to 0} \frac{f(a+h)-f(a)}{h} = \displaystyle\lim_{x \to a} \frac{f(x)-f(a)}

微分可能と連続

  • f(x)f(x)x=ax=a で微分可能なら連続である。ただし、逆 (連続なら微分可能) は成立しない。

導関数の定義

  • f'(x) = \displaystyle\lim_{h \to 0} \frac{f(x+h)-f(x)}

導関数の公式
u,vu, vxx の関数で微分可能とするとき。

  • (uv)=uv+uv(uv)' = u'v + uv'
  • \left(\dfrac{u}{v}\right)' = \dfrac{u'v - uv'}
  • 特に \left(\dfrac{1}{v}\right)' = -\dfrac{v'}
  • (xα)=αxα1(x^\alpha)' = \alpha x^{\alpha-1} (α\alpha は実数で x>0x \gt 0)

# 三角、指数、対数関数の導関数

三角関数の導関数

  • (sinx)=cosx(\sin x)' = \cos x
  • (cosx)=sinx(\cos x)' = -\sin x
  • (\tan x)' = \dfrac{1}

指数・対数関数の導関数
a>0,a1a \gt 0, a \neq 1 とする。

  • (ex)=ex(e^x)' = e^x
  • (ax)=axloga(a^x)' = a^x \log a
  • (\log |x|)' = \dfrac{1}
  • (\log_a |x|)' = \dfrac{1}

対数微分法

  • y=f(x)y = f(x) の両辺の絶対値の自然対数をとって、両辺を微分する。

Example:y=xx    logy=xlogx    yy=logx+1    y=xx(logx+1)Example: \quad y = x^x \implies \log y = x\log x \implies \frac{y'}{y} = \log x + 1 \implies y' = x^x(\log x + 1)

ee の定義

  • limh0(1+h)1h=limx±(1+1x)x=e(e=2.71828)\displaystyle\lim_{h \to 0}(1+h)^{\frac{1}{h}} = \displaystyle\lim_{x \to \pm\infty}\left(1+\frac{1}{x}\right)^x = e \quad (e = 2.71828\cdots)

# 微分法の応用

# 接線と法線

接線と法線の方程式
曲線 y=f(x)y = f(x) 上の点 A(a,f(a))A(a, f(a)) における

  • 接線の方程式は yf(a)=f(a)(xa)y - f(a) = f'(a)(x - a)
  • 法線の方程式は f(a)0f'(a) \neq 0 のとき yf(a)=1f(a)(xa)y - f(a) = -\frac{1}{f'(a)}(x - a)

# 平均値の定理

ロルの定理

  • 関数 f(x)f(x) が区間 [a,b][a, b] で連続、区間 (a,b)(a, b) で微分可能で、f(a)=f(b)f(a) = f(b) ならば f(c)=0,a<c<bf'(c) = 0, a \lt c \lt b を満たす実数 cc が存在する。

平均値の定理

  • 関数 f(x)f(x) が区間 [a,b][a, b] で連続、区間 (a,b)(a, b) で微分可能ならば f(b)f(a)ba=f(c),a<c<b\frac{f(b) - f(a)}{b - a} = f'(c), a \lt c \lt b を満たす実数 cc が存在する。

# 関数の増減と極値

関数の増減
関数 f(x)f(x) が、区間 [a,b][a, b] で連続、区間 (a,b)(a, b) で微分可能であるとき

  • 常に f(x)>0f'(x) \gt 0 なら区間 [a,b][a, b] で単調に増加
  • 常に f(x)<0f'(x) \lt 0 なら区間 [a,b][a, b] で単調に減少
  • 常に f(x)=0f'(x) = 0 なら区間 [a,b][a, b] で定数

関数の極大・極小

  • x=ax=a を含む十分小さい開区間において
    • xax \neq a なら f(x)<f(a)f(x) \lt f(a) のとき f(x)f(x)x=ax=a で極大といい、f(a)f(a) を極大値という。
    • xax \neq a なら f(x)>f(a)f(x) \gt f(a) のとき f(x)f(x)x=ax=a で極小といい、f(a)f(a) を極小値という。
  • 極大値と極小値をまとめて、極値という。
  • f(x)f(x)x=ax=a で微分可能で f(a)f(a) が極値をとる     f(a)=0\implies f'(a) = 0 (逆は不成立)

極値と第 2 次導関数
x=ax=a を含むある区間で f(x)f''(x) は連続とする。

  • f(a)=0f'(a) = 0 かつ f(a)<0f''(a) \lt 0 なら f(a)f(a) は極大値
  • f(a)=0f'(a) = 0 かつ f(a)>0f''(a) \gt 0 なら f(a)f(a) は極小値

曲線の凹凸・変曲点
曲線 y=f(x)y = f(x) の凹凸・変曲点

  • ある区間で f(x)>0f''(x) \gt 0 ならば、その区間で下に凸
  • ある区間で f(x)<0f''(x) \lt 0 ならば、その区間で上に凸
  • 変曲点 凹凸が変わる曲線上の点のこと。
  • (a,f(a))(a, f(a)) が曲線 y=f(x)y = f(x) の変曲点ならば f(a)=0f''(a) = 0

# 方程式・不等式への応用

方程式 f(x)=g(x)f(x) = g(x) の実数解の個数

  • y=f(x)y = f(x) のグラフと y=g(x)y = g(x) のグラフの共有点の個数を調べる。

不等式 f(x)>g(x)f(x) \gt g(x) の証明

  • F(x)=f(x)g(x)F(x) = f(x) - g(x) として、F(x)F(x) の最小値 mm を求め、m>0m \gt 0 を示す。

# 速度・加速度、近似式

平面上の運動の速度・加速度

  • 平面上を点 PP が曲線を描いて運動し、時刻 tt のときの位置 (座標) が x=f(t),y=g(t)x = f(t), y = g(t) で与えられるとき、速度 v\boldsymbol{v}、加速度 α\boldsymbol{\alpha}v=(dxdt,dydt),α=(d2xdt2,d2ydt2)\boldsymbol{v} = \left(\frac{dx}{dt}, \frac{dy}{dt}\right), \quad \boldsymbol{\alpha} = \left(\frac{d^2x}{dt^2}, \frac{d^2y}{dt^2}\right)
  • また、速さ v|\boldsymbol{v}|、加速度 α\boldsymbol{\alpha} の大きさ α|\boldsymbol{\alpha}| は、順に (dxdt)2+(dydt)2,(d2xdt2)2+(d2ydt2)2\sqrt{\left(\frac{dx}{dt}\right)^2 + \left(\frac{dy}{dt}\right)^2}, \quad \sqrt{\left(\frac{d^2x}{dt^2}\right)^2 + \left(\frac{d^2y}{dt^2}\right)^2}

1 次の近似式

  • h|h| が十分小さいとき f(a+h)f(a)+f(a)hf(a+h) \approx f(a) + f'(a)h
  • x|x| が十分小さいとき f(x)f(0)+f(0)xf(x) \approx f(0) + f'(0)x

# 積分法

# 不定積分

基本的な関数の不定積分 CC は積分定数とする。

  • xαdx=xα+1α+1+C(α は実数、α1)\displaystyle\int x^\alpha dx = \frac{x^{\alpha+1}}{\alpha+1} + C \quad (\alpha \text{ は実数、} \alpha \neq -1)
  • dxx=logx+C\displaystyle\int \frac{dx}{x} = \log|x| + C
  • sinxdx=cosx+C\displaystyle\int \sin x dx = -\cos x + C
  • cosxdx=sinx+C\displaystyle\int \cos x dx = \sin x + C
  • dxcos2x=tanx+C\displaystyle\int \frac{dx}{\cos^2 x} = \tan x + C
  • exdx=ex+C\displaystyle\int e^x dx = e^x + C
  • axdx=axloga+C(a>0,a1)\displaystyle\int a^x dx = \frac{a^x}{\log a} + C \quad (a \gt 0, a \neq 1)

置換積分法
CC は積分定数とする。

  • f(g(x))g(x)dx=f(u)du,g(x)=u\displaystyle\int f(g(x))g'(x)dx = \int f(u)du, \quad g(x) = u
  • f(ax+b)dx=1aF(ax+b)+C\displaystyle\int f(ax+b)dx = \frac{1}{a}F(ax+b) + C
  • f(x)f(x)dx=logf(x)+C\displaystyle\int \frac{f'(x)}{f(x)}dx = \log|f(x)| + C
  • {f(x)}αf(x)dx={f(x)}α+1α+1+C(α1)\displaystyle\int \{f(x)\}^\alpha f'(x)dx = \frac{\{f(x)\}^{\alpha+1}}{\alpha+1} + C \quad (\alpha \neq -1)

部分積分法

  • f(x)g(x)dx=f(x)g(x)f(x)g(x)dx\displaystyle\int f(x)g'(x)dx = f(x)g(x) - \int f'(x)g(x)dx
  • 特に f(x)dx=xf(x)xf(x)dx\displaystyle\int f(x)dx = xf(x) - \int xf'(x)dx

# 定積分

定積分の置換積分法

  • x=g(t),a=g(α),b=g(β)x = g(t), a = g(\alpha), b = g(\beta) のとき abf(x)dx=αβf(g(t))g(t)dt\displaystyle\int_a^b f(x)dx = \int_\alpha^\beta f(g(t))g'(t)dt

定積分の部分積分法

  • abf(x)g(x)dx=[f(x)g(x)]ababf(x)g(x)dx\displaystyle\int_a^b f(x)g'(x)dx = \left[f(x)g(x)\right]_a^b - \int_a^b f'(x)g(x)dx

偶関数・奇関数の定積分

  • 偶関数のとき aaf(x)dx=20af(x)dx\displaystyle\int_{-a}^a f(x)dx = 2\int_0^a f(x)dx
  • 奇関数のとき aaf(x)dx=0\displaystyle\int_{-a}^a f(x)dx = 0

定積分で表された関数
a,ba, b は定数とする。

  • axf(t)dt\displaystyle\int_a^x f(t)dtxx に無関係で、xx の関数である。
  • ddxaxf(t)dt=f(x)\displaystyle\frac{d}{dx} \int_a^x f(t)dt = f(x)
  • ddxh(x)g(x)f(t)dt=f(g(x))g(x)f(h(x))h(x)\displaystyle\frac{d}{dx} \int_{h(x)}^{g(x)} f(t)dt = f(g(x))g'(x) - f(h(x))h'(x)

定積分と和の極限 (区分求積法)
f(x)f(x) が区間 [a,b][a, b] で連続で、この区間を nn 等分して両端と分点を a=x0,x1,x2,,xn=ba = x_0, x_1, x_2, \cdots, x_n = b とし、ban=Δx\frac{b-a}{n} = \Delta x とおくと

  • abf(x)dx=limnk=1nf(xk)Δx=limnk=0n1f(xk)Δx\displaystyle\int_a^b f(x)dx = \lim_{n \to \infty} \sum_{k=1}^n f(x_k)\Delta x = \lim_{n \to \infty} \sum_{k=0}^{n-1} f(x_k)\Delta x
  • 特に a=0,b=1a = 0, b = 1 とすると
    • 01f(x)dx=limn1nk=1nf(kn)=limn1nk=0n1f(kn)\displaystyle\int_0^1 f(x)dx = \lim_{n \to \infty} \frac{1}{n}\sum_{k=1}^n f\left(\frac{k}{n}\right) = \lim_{n \to \infty} \frac{1}{n}\sum_{k=0}^{n-1} f\left(\frac{k}{n}\right)

# 積分法の応用

# 面積、体積、曲線の長さ

面積 x=g(y)x = g(y)yy 軸の間の面積

  • 曲線 x=g(y)x = g(y)yy 軸と 2 直線 y=c,y=d (c<d)y = c, y = d \ (c \lt d) で囲まれた部分の面積 S=cdg(y)dyS = \displaystyle\int_c^d |g(y)|dy
  • x=f(t),y=g(t)x = f(t), y = g(t) で表される曲線と面積 S=abydx=αβg(t)f(t)dtS = \displaystyle\int_a^b y dx = \int_\alpha^\beta g(t)f'(t)dt ただし、常に y0,a=f(α),b=f(β)y \ge 0, a = f(\alpha), b = f(\beta)

立体の体積

  • 切り口の面積が S(x)S(x) の立体の体積は、a<ba \lt b のとき V=abS(x)dxV = \displaystyle\int_a^b S(x)dx

回転体の体積

  • 曲線 y=f(x)y = f(x)xx 軸と 2 直線 x=a,x=b (a<b)x = a, x = b \ (a \lt b) で囲まれた部分を xx 軸の周りに 1 回転してできる立体の体積 V=πab{f(x)}2dx=πaby2dxV = \displaystyle\pi\int_a^b \{f(x)\}^2 dx = \pi\int_a^b y^2 dx

曲線の長さ

  • 曲線 x=f(t),y=g(t) (αtβ)x = f(t), y = g(t) \ (\alpha \le t \le \beta) の長さは αβ(dxdt)2+(dydt)2dt=αβ{f(t)}2+{g(t)}2dt\displaystyle\int_\alpha^\beta \sqrt{\left(\frac{dx}{dt}\right)^2 + \left(\frac{dy}{dt}\right)^2} dt = \displaystyle\int_\alpha^\beta \sqrt{\{f'(t)\}^2 + \{g'(t)\}^2} dt
  • 曲線 y=f(x) (axb)y = f(x) \ (a \le x \le b) の長さは ab1+(dydx)2dx=ab1+{f(x)}2dx\displaystyle\int_a^b \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx = \displaystyle\int_a^b \sqrt{1 + \{f'(x)\}^2} dx

# 発展事項(微分方程式)

簡単な微分方程式と一般解

  • 変数分離形 f(y)dydx=g(x)f(y)\dfrac{dy}{dx} = g(x) に変形できるときは、両辺を xx で積分する。 f(y)dy=g(x)dx\int f(y)dy = \int g(x)dx
  • dydx=ky\dfrac{dy}{dx} = ky の一般解は y=Cekx (C は任意定数)y = Ce^{kx} \ (C \text{ は任意定数})