# 複素数と方程式

# 複素数

複素数の性質(a,b,c,da, b, c, d は実数とする)

  • 虚数単位 iii2=1i^2 = -1 を満たす数
  • a>0a \gt 0 のとき a=ai\sqrt{-a} = \sqrt{a}i
  • a+bi=c+di    a=ca + bi = c + di \iff a = c かつ b=db = d

# 2 次方程式の解と判別式

実数係数の 2 次方程式 ax2+bx+c=0ax^2 + bx + c = 0 の 2 つの解を α,β\alpha, \beta とし、判別式を D=b24acD = b^2 - 4ac とする。

解の判別

  • D>0    D \gt 0 \iff 異なる 2 つの実数解をもつ
  • D=0    D = 0 \iff 重解をもつ
  • D<0    D \lt 0 \iff 異なる 2 つの虚数解をもつ

2 次方程式の解と係数の関係

  • α+β=ba,αβ=ca\alpha + \beta = -\frac{b}{a}, \quad \alpha\beta = \frac{c}{a} \quad
  • ax2+bx+c=a(xα)(xβ)ax^2 + bx + c = a(x - \alpha)(x - \beta) が恒等式

2 次方程式の実数解と実数 kk の大小
α,β\alpha, \beta が実数のとき、実数 kk に対して

  • α>k,β>k    D0,(αk)+(βk)>0,(αk)(βk)>0\alpha \gt k, \beta \gt k \iff D \ge 0, \quad (\alpha - k) + (\beta - k) \gt 0, \quad (\alpha - k)(\beta - k) \gt 0
  • α<k,β<k    D0,(αk)+(βk)<0,(αk)(βk)>0\alpha \lt k, \beta \lt k \iff D \ge 0, \quad (\alpha - k) + (\beta - k) \lt 0, \quad (\alpha - k)(\beta - k) \gt 0
  • kkα\alphaβ\beta の間     (αk)(βk)<0\iff (\alpha - k)(\beta - k) \lt 0

# 剰余の定理と因数定理

剰余の定理(P(x)P(x) は多項式とする)

  • P(x)P(x) を 1 次式 xax - a で割ったときの余りは P(a)P(a) であり、P(x)P(x) を 1 次式 ax+bax + b で割ったときの余りは P(ba)P\left(-\frac{b}{a}\right) である。

因数定理(P(x)P(x) は多項式とする)

  • 1 次式 xax - aP(x)P(x) の因数である     P(a)=0\iff P(a) = 0
  • 1 次式 ax+bax + bP(x)P(x) の因数である     P(ba)=0\iff P\left(-\frac{b}{a}\right) = 0 \quad

# 高次方程式

高次方程式の性質

  • 実数係数の nn 次方程式が虚数解 a+bia + bia,ba, b は実数)をもつならば、それと共役な複素数 abia - bi も解である。

3 次方程式の解と係数の関係
3 次方程式 ax3+bx2+cx+d=0ax^3 + bx^2 + cx + d = 0 の 3 つの解を α,β,γ\alpha, \beta, \gamma とすると

  • α+β+γ=ba,αβ+βγ+γα=ca,αβγ=da\alpha + \beta + \gamma = -\frac{b}{a}, \quad \alpha\beta + \beta\gamma + \gamma\alpha = \frac{c}{a}, \quad \alpha\beta\gamma = -\frac{d}{a} \quad
  • ax3+bx2+cx+d=a(xα)(xβ)(xγ)ax^3 + bx^2 + cx + d = a(x - \alpha)(x - \beta)(x - \gamma) が恒等式

# 図形と方程式

# 点の座標

A(x1,y1),B(x2,y2),C(x3,y3)A(x_1, y_1), B(x_2, y_2), C(x_3, y_3) とする。

2 点間の距離

  • AB=(x2x1)2+(y2y1)2AB = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2} \quad
  • 特に、原点 OOAA の距離は OA=x12+y12OA = \sqrt{x_1^2 + y_1^2} \quad

内分点・外分点
線分 ABABm:nm : n に分ける点の座標は

  • 内分 …… (nx1+mx2m+n,ny1+my2m+n)\left(\dfrac{nx_1 + mx_2}{m + n}, \dfrac{ny_1 + my_2}{m + n}\right) \quad
  • 外分 …… (nx1+mx2mn,ny1+my2mn)\left(\dfrac{-nx_1 + mx_2}{m - n}, \dfrac{-ny_1 + my_2}{m - n}\right) \quad

重心の座標

  • ABC\triangle ABC の重心の座標は
    (x1+x2+x33,y1+y2+y33)\left(\dfrac{x_1 + x_2 + x_3}{3}, \dfrac{y_1 + y_2 + y_3}{3}\right) \quad

# 直線

直線の方程式

  • ax+by+c=0(a0 または b0)ax + by + c = 0 \quad (a \neq 0 \text{ または } b \neq 0) \quad

    [y=abxcb (b0), x=ca (b=0)]\left[ y = -\frac{a}{b}x - \frac{c}{b} \ (b \neq 0), \ x = -\frac{c}{a} \ (b = 0) \right]

  • (x1,y1)(x_1, y_1) を通り、傾きが mm の直線の方程式は

    yy1=m(xx1)y - y_1 = m(x - x_1)

  • 異なる 2 点 (x1,y1),(x2,y2)(x_1, y_1), (x_2, y_2) を通る直線の方程式は
    • x1x2x_1 \neq x_2 のとき

    yy1=y2y1x2x1(xx1)y - y_1 = \frac{y_2 - y_1}{x_2 - x_1}(x - x_1)

    • x1=x2x_1 = x_2 のとき

    x=x1x = x_1

    • この 2 式をまとめると

    (y2y1)(xx1)(x2x1)(yy1)=0(y_2 - y_1)(x - x_1) - (x_2 - x_1)(y - y_1) = 0

2 直線の関係

{y=m1x+n1y=m2x+n2{a1x+b1y+c1=0a2x+b2y+c2=0\begin{cases} y = m_1x + n_1 \\ y = m_2x + n_2 \end{cases} \quad \begin{cases} a_1x + b_1y + c_1 = 0 \\ a_2x + b_2y + c_2 = 0 \end{cases}

  • 交わる: m1m2a1b2a2b10m_1 \neq m_2 \quad a_1b_2 - a_2b_1 \neq 0 \quad
  • 平行: m1=m2a1b2a2b1=0m_1 = m_2 \quad a_1b_2 - a_2b_1 = 0 \quad
  • 垂直: m1m2=1a1a2+b1b2=0m_1m_2 = -1 \quad a_1a_2 + b_1b_2 = 0 \quad
    (注意:一致は平行に含めるものとする。)

点と直線の距離

  • 直線 ax+by+c=0ax + by + c = 0 と点 (x1,y1)(x_1, y_1) の距離は

    ax1+by1+ca2+b2\frac{|ax_1 + by_1 + c|}{\sqrt{a^2 + b^2}}

三角形の面積

  • 3 点 O(0,0),A(x1,y1),B(x2,y2)O(0, 0), A(x_1, y_1), B(x_2, y_2) を頂点とする三角形の面積は

    12x1y2x2y1\frac{1}{2}|x_1y_2 - x_2y_1| \quad

#

円の方程式

  • (a,b)(a, b) を中心とし、半径が rr の円の方程式は

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

    • 特に、原点 OO が中心の場合

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

  • 一般形,ただし l2+m24n>0l^2 + m^2 - 4n \gt 0

    x2+y2+lx+my+n=0x^2 + y^2 + lx + my + n = 0 \quad

円の接線

  • x2+y2=r2x^2 + y^2 = r^2 上の点 (x1,y1)(x_1, y_1) におけるこの円の接線の方程式は

    x1x+y1y=r2x_1x + y_1y = r^2 \quad

# 軌跡と方程式

対称移動

  • 点対称
    AA に関して、点 PP と点 QQ が対称     \iff 線分 PQPQ の中点が AA
  • 線対称
    直線 \ell に関して、点 PP と点 QQ が対称
        \iff [1] PQPQ \perp \ell \quad [2] 線分 PQPQ の中点が \ell 上にある

# 不等式の表す領域

不等式と領域

  • y>f(x)y \gt f(x) …… 曲線 y=f(x)y = f(x) の上側の部分
  • y<f(x)y \lt f(x) …… 曲線 y=f(x)y = f(x) の下側の部分
  • x2+y2<r2x^2 + y^2 \lt r^2 …… 円 x2+y2=r2x^2 + y^2 = r^2 の内部
  • x2+y2>r2x^2 + y^2 \gt r^2 …… 円 x2+y2=r2x^2 + y^2 = r^2 の外部

# 三角関数

# 弧度法と三角関数

弧度法

  • 1=π1801^\circ = \frac{\pi}{180} ラジアン

  • 11 ラジアン =(180π)= \left(\frac{180}{\pi}\right)^\circ

  • 半径 rr、中心角が θ\theta ラジアンの扇形の弧の長さは rθr\theta、面積は 12r2θ\frac{1}{2} r^2 \theta

三角関数の性質 1(nn は整数、複号同順とする。)

  • sin(θ+2nπ)=sinθ\sin(\theta + 2n\pi) = \sin\theta \quad
  • cos(θ+2nπ)=cosθ\cos(\theta + 2n\pi) = \cos\theta \quad
  • tan(θ+2nπ)=tanθ\tan(\theta + 2n\pi) = \tan\theta \quad

性質 2

  • sin(θ)=sinθ\sin(-\theta) = -\sin\theta \quad
  • cos(θ)=cosθ\cos(-\theta) = \cos\theta \quad
  • tan(θ)=tanθ\tan(-\theta) = -\tan\theta \quad

性質 3

  • sin(π±θ)=sinθ\sin(\pi \pm \theta) = \mp\sin\theta \quad
  • cos(π±θ)=cosθ\cos(\pi \pm \theta) = -\cos\theta \quad
  • tan(π±θ)=±tanθ\tan(\pi \pm \theta) = \pm\tan\theta \quad

性質 4

  • sin(π2±θ)=cosθ\sin\left(\frac{\pi}{2} \pm \theta\right) = \cos\theta \quad
  • cos(π2±θ)=sinθ\cos\left(\frac{\pi}{2} \pm \theta\right) = \mp\sin\theta \quad
  • tan(π2±θ)=1tanθ\tan\left(\frac{\pi}{2} \pm \theta\right) = \mp\frac{1}{\tan\theta} \quad

# 周期

三角関数の周期(kk は正の定数とする。)

  • 関数 y=sinkθy = \sin k\theta の周期 …… 2πk\frac{2\pi}{k} \quad
  • 関数 y=coskθy = \cos k\theta の周期 …… 2πk\frac{2\pi}{k} \quad
  • 関数 y=tankθy = \tan k\theta の周期 …… πk\frac{\pi}{k} \quad

# 加法定理

加法定理(複号同順とする。)

  • sin(α±β)=sinαcosβ±cosαsinβ\sin(\alpha \pm \beta) = \sin\alpha \cos\beta \pm \cos\alpha \sin\beta \quad
  • cos(α±β)=cosαcosβsinαsinβ\cos(\alpha \pm \beta) = \cos\alpha \cos\beta \mp \sin\alpha \sin\beta \quad
  • tan(α±β)=tanα±tanβ1tanαtanβ\tan(\alpha \pm \beta) = \dfrac{\tan\alpha \pm \tan\beta}{1 \mp \tan\alpha \tan\beta} \quad

2 倍角、半角、3 倍角の公式
・2 倍角の公式

  • sin2α=2sinαcosα\sin 2\alpha = 2\sin\alpha \cos\alpha \quad
  • cos2α=cos2αsin2α=12sin2α=2cos2α1\cos 2\alpha = \cos^2\alpha - \sin^2\alpha = 1 - 2\sin^2\alpha = 2\cos^2\alpha - 1 \quad
  • tan2α=2tanα1tan2α\tan 2\alpha = \dfrac{2\tan\alpha}{1 - \tan^2\alpha} \quad

・半角の公式

  • sin2α2=1cosα2\sin^2\dfrac{\alpha}{2} = \dfrac{1 - \cos\alpha}{2} \quad
  • cos2α2=1+cosα2\cos^2\dfrac{\alpha}{2} = \dfrac{1 + \cos\alpha}{2} \quad
  • tan2α2=1cosα1+cosα\tan^2\dfrac{\alpha}{2} = \dfrac{1 - \cos\alpha}{1 + \cos\alpha} \quad

・3 倍角の公式

  • sin3α=3sinα4sin3α\sin 3\alpha = 3\sin\alpha - 4\sin^3\alpha \quad
  • cos3α=3cosα+4cos3α\cos 3\alpha = -3\cos\alpha + 4\cos^3\alpha \quad

# 積 ⇄ 和の公式、合成

積 -> 和の公式

  • sinαcosβ=12{sin(α+β)+sin(αβ)}\sin\alpha \cos\beta = \dfrac{1}{2} \{\sin(\alpha + \beta) + \sin(\alpha - \beta)\} \quad
  • cosαsinβ=12{sin(α+β)sin(αβ)}\cos\alpha \sin\beta = \dfrac{1}{2} \{\sin(\alpha + \beta) - \sin(\alpha - \beta)\} \quad
  • cosαcosβ=12{cos(α+β)+cos(αβ)}\cos\alpha \cos\beta = \dfrac{1}{2} \{\cos(\alpha + \beta) + \cos(\alpha - \beta)\} \quad
  • sinαsinβ=12{cos(α+β)cos(αβ)}\sin\alpha \sin\beta = -\dfrac{1}{2} \{\cos(\alpha + \beta) - \cos(\alpha - \beta)\} \quad

和 -> 積の公式

  • sinA+sinB=2sinA+B2cosAB2\sin A + \sin B = 2\sin\dfrac{A + B}{2} \cos\dfrac{A - B}{2} \quad
  • sinAsinB=2cosA+B2sinAB2\sin A - \sin B = 2\cos\dfrac{A + B}{2} \sin\dfrac{A - B}{2} \quad
  • cosA+cosB=2cosA+B2cosAB2\cos A + \cos B = 2\cos\dfrac{A + B}{2} \cos\dfrac{A - B}{2} \quad
  • cosAcosB=2sinA+B2sinAB2\cos A - \cos B = -2\sin\dfrac{A + B}{2} \sin\dfrac{A - B}{2} \quad

三角関数の合成(a0a \neq 0 または b0b \neq 0

  • asinθ+bcosθ=a2+b2sin(θ+α)a\sin\theta + b\cos\theta = \sqrt{a^2 + b^2} \sin(\theta + \alpha) \quad
  • ただし sinα=ba2+b2,cosα=aa2+b2\sin\alpha = \dfrac{b}{\sqrt{a^2 + b^2}}, \quad \cos\alpha = \dfrac{a}{\sqrt{a^2 + b^2}} \quad

# 指数関数と対数関数

# 指数の拡張

実数の指数
a>0,b>0a \gt 0, b \gt 0 で、nn が正の整数、r,sr, s が実数のとき

  • a0=1a^0 = 1
  • an=1ana^{-n} = \frac{1}{a^n} \quad

法則

  • aras=ar+sa^r a^s = a^{r+s} \quad
  • (ar)s=ars(a^r)^s = a^{rs} \quad
  • (ab)r=arbr(ab)^r = a^r b^r \quad

累乗根:
m,n,pm, n, p は正の整数とする。
性質 1(a>0,b>0a \gt 0, b \gt 0 とする)

  • (an)n=a(\sqrt[n]{a})^n = a \quad
  • anbn=abn\sqrt[n]{a} \sqrt[n]{b} = \sqrt[n]{ab} \quad
  • anbn=abn\dfrac{\sqrt[n]{a}}{\sqrt[n]{b}} = \sqrt[n]{\dfrac{a}{b}} \quad

性質 2

  • (an)m=amn(\sqrt[n]{a})^m = \sqrt[n]{a^m} \quad
  • anm=amn\sqrt[m]{\sqrt[n]{a}} = \sqrt[mn]{a} \quad
  • ampnp=amn\sqrt[np]{a^{mp}} = \sqrt[n]{a^m} \quad

# 指数関数のグラフ

指数関数 y=axy = a^x とそのグラフ(a>0,a1a \gt 0, a \neq 1

  • 定義域は実数全体、値域は y>0y \gt 0
  • a>1a \gt 1 のとき xx が増加すると yy も増加
  • 0<a<10 \lt a \lt 1 のとき xx が増加すると yy は減少
  • グラフは、点 (0,1)(0, 1) を通り、xx 軸が漸近線

# 対数とその性質

指数と対数の基本関係
a>0,a1,M>0a \gt 0, a \neq 1, M \gt 0 とする。

  • ap=M    p=logaM[logaap=p]a^p = M \iff p = \log_a M \quad [\log_a a^p = p] \quad
  • 特に logaa=1,loga1=0,loga1a=1\log_a a = 1, \quad \log_a 1 = 0, \quad \log_a \frac{1}{a} = -1 \quad

対数の性質
a,b,ca, b, c は 1 でない正の数、M>0,N>0,kM \gt 0, N \gt 0, k は実数とする。

  • logaMN=logaM+logaN\log_a MN = \log_a M + \log_a N \quad
  • logaMN=logaMlogaN\log_a \frac{M}{N} = \log_a M - \log_a N \quad
  • logaMk=klogaM\log_a M^k = k \log_a M \quad

底の変換公式

  • logab=logcblogca\log_a b = \frac{\log_c b}{\log_c a} \quad
  • 特に logab=1logba\log_a b = \frac{1}{\log_b a} \quad

# 対数関数のグラフ

対数関数 y=logaxy = \log_a x とそのグラフ

  • y=logaxy = \log_a xx=ayx = a^y と同値(a>0,a1a \gt 0, a \neq 1
  • 定義域は x>0x \gt 0、値域は実数全体
  • a>1a \gt 1 のとき xx が増加すると yy も増加
  • 0<a<10 \lt a \lt 1 のとき xx が増加すると yy は減少
  • グラフは、点 (1,0)(1, 0) を通り、yy 軸が漸近線

# 微分法

# 微分係数

平均変化率

  • f(b)f(a)ba(ba)\frac{f(b) - f(a)}{b - a} \quad (b \neq a) \quad

微分係数(変化率)

  • f(a)=limbaf(b)f(a)ba=limh0f(a+h)f(a)hf'(a) = \lim_{b \to a} \frac{f(b) - f(a)}{b - a} = \lim_{h \to 0} \frac{f(a+h) - f(a)}{h} \quad

# 導関数

導関数の定義

  • 定義

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

導関数の公式
a,b,c,k,la, b, c, k, l は定数、nn は正の整数、uuvvxx の関数とする。

  • (c)=0,(xn)=nxn1(c)' = 0, \quad (x^n)' = nx^{n-1} \quad
  • (ku)=ku,(u+v)=u+v(ku)' = ku', \quad (u+v)' = u' + v' \quad
  • (ku+lv)=ku+lv(ku+lv)' = ku' + lv' \quad

(参考)数学 III の内容

  • (uv)=uv+uv,(un)=nun1u(uv)' = u'v + uv', \quad (u^n)' = nu^{n-1}u' \quad
  • 特に {(ax+b)n}=na(ax+b)n1\{(ax+b)^n\}' = na(ax+b)^{n-1} \quad

# 接線

接線・法線の方程式
法線では f(a)0f'(a) \neq 0 とする。曲線 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)

  • 法線の方程式

yf(a)=1f(a)(xa)y - f(a) = -\frac{1}{f'(a)}(x - a)

# 関数の増減と極大・極小

関数の増減
ある区間で

  • 常に f(x)>0f'(x) \gt 0 ならば、f(x)f(x) はその区間で単調に増加する。[この区間で接線の傾きは正]
  • 常に f(x)<0f'(x) \lt 0 ならば、f(x)f(x) はその区間で単調に減少する。[この区間で接線の傾きは負]

関数の極値

  • 極大… 増加から減少に移る。f(x)f'(x) が正 \longrightarrow
  • 極小… 減少から増加に移る。f(x)f'(x) が負 \longrightarrow

# 最大値・最小値

最大・最小

  • 区間内の極値を求め、その値と区間の両端における関数の値との大小から決定。

# 積分法

# 不定積分

導関数と不定積分
CC は積分定数とする。
F(x)=f(x)F'(x) = f(x) のとき

f(x)dx=F(x)+C\displaystyle\int f(x)dx = F(x) + C

  • xndx=1n+1xn+1+C(n は 0 以上の整数)\displaystyle\int x^n dx = \frac{1}{n+1} x^{n+1} + C \quad \left(n \text{ は } 0 \text{ 以上の整数}\right) \quad

不定積分の性質
k,lk, l は定数とする。

  • {kf(x)+lg(x)}dx=kf(x)dx+lg(x)dx\displaystyle\int \{kf(x) + lg(x)\}dx = k\int f(x)dx + l\int g(x)dx \quad

# 定積分

定積分 F(x)=f(x)F'(x) = f(x) のとき

abf(x)dx=[F(x)]ab=F(b)F(a)\int_a^b f(x)dx = \left[ F(x) \right]_a^b = F(b) - F(a)

定積分の性質
k,lk, l は定数とする。

  • abf(x)dx=abf(t)dt\displaystyle\int_a^b f(x)dx = \int_a^b f(t)dt \quad
  • ab{kf(x)+lg(x)}dx=kabf(x)dx+labg(x)dx\displaystyle\int_a^b \{kf(x) + lg(x)\}dx = k\int_a^b f(x)dx + l\int_a^b g(x)dx \quad
  • aaf(x)dx=0,baf(x)dx=abf(x)dx\displaystyle\int_a^a f(x)dx = 0, \quad \int_b^a f(x)dx = -\int_a^b f(x)dx \quad
  • abf(x)dx=acf(x)dx+cbf(x)dx\displaystyle\int_a^b f(x)dx = \int_a^c f(x)dx + \int_c^b f(x)dx \quad

偶関数、奇関数の定積分 nn は自然数とする。

  • aax2ndx=20ax2ndx,aax2n1dx=0\displaystyle\int_{-a}^a x^{2n} dx = 2\int_0^a x^{2n} dx, \quad \int_{-a}^a x^{2n-1} dx = 0 \quad

定積分で表された関数
xxtt に無関係な変数、a,ba, b は定数とする。

  • abf(x,t)dt\displaystyle\int_a^b f(x, t)dtxx の関数
  • ddxaxf(t)dt=f(x)\displaystyle\frac{d}{dx} \int_a^x f(t)dt = f(x)
  • axf(t)dt\displaystyle\int_a^x f(t)dtf(x)f(x) の不定積分

# 面積

放物線と面積

  • αβ(xα)(xβ)dx=16(βα)3\displaystyle\int_\alpha^\beta (x - \alpha)(x - \beta)dx = -\frac{1}{6}(\beta - \alpha)^3 を利用。

# 数列

# 等差数列の一般項と和

一般項 ana_n

  • 初項を aa、公差を dd とすると

    an=a+(n1)da_n = a + (n-1)d

等差中項

  • 数列 a,b,ca, b, c が等差数列     2b=a+c\iff 2b = a + c

等差数列の和
初項から第 nn 項までの和 SnS_n

  • ① 初項 aa、第 nn 項(末項)ll に対して

    Sn=12n(a+l)S_n = \frac{1}{2}n(a+l)

  • ② 初項 aa、公差 dd に対して

    Sn=12n{2a+(n1)d}S_n = \frac{1}{2}n\{2a + (n-1)d\}

自然数の和、正の奇数の和

  • 1+2+3++n=12n(n+1)1+2+3+\cdots+n = \dfrac{1}{2}n(n+1) \quad
  • 1+3+5++(2n1)=n21+3+5+\cdots+(2n-1) = n^2 \quad

# 等比数列の一般項と和

一般項 ana_n

  • 初項を aa、公比を rr とすると

    an=arn1a_n = ar^{n-1}

等比中項

  • 数列 a,b,ca, b, c が等比数列     b2=ac\iff b^2 = ac

等比数列の和
初項 aa、公比 rr とする。初項から第 nn 項までの和 SnS_n

  • r1r \neq 1 のとき

    Sn=a(1rn)1r=a(rn1)r1S_n = \frac{a(1-r^n)}{1-r} = \frac{a(r^n-1)}{r-1}

  • r=1r = 1 のとき

    Sn=naS_n = na

# 和の記号 Σ\SigmaΣ\Sigma の性質

和の記号 Σ\Sigma

k=1nak=a1+a2+a3++an\sum_{k=1}^n a_k = a_1 + a_2 + a_3 + \cdots + a_n

Σ\Sigma の性質
p,qp, qkk に無関係な定数とする。

  • k=1n(pak+qbk)=pk=1nak+qk=1nbk\displaystyle\sum_{k=1}^n (pa_k + qb_k) = p\sum_{k=1}^n a_k + q\sum_{k=1}^n b_k

数列の和の公式
c,rc, rkk に無関係な定数。

  • k=1nc=nc特にk=1n1=n\displaystyle\sum_{k=1}^n c = nc \quad \text{特に} \quad \sum_{k=1}^n 1 = n \quad
  • k=1nk=12n(n+1)\displaystyle\sum_{k=1}^n k = \frac{1}{2}n(n+1) \quad
  • k=1nk2=16n(n+1)(2n+1)\displaystyle\sum_{k=1}^n k^2 = \frac{1}{6}n(n+1)(2n+1) \quad
  • k=1nk3={12n(n+1)}2\displaystyle\sum_{k=1}^n k^3 = \left\{ \frac{1}{2}n(n+1) \right\}^2 \quad
  • k=1nrk1=1rn1r(r1)\displaystyle\sum_{k=1}^n r^{k-1} = \frac{1-r^n}{1-r} \quad (r \neq 1) \quad

# いろいろな数列

階差数列
数列 {an}\{a_n\} の階差数列を {bn}\{b_n\} とする:bn=an+1anb_n = a_{n+1} - a_n \quad

  • n2n \ge 2 のとき

    an=a1+k=1n1bka_n = a_1 + \sum_{k=1}^{n-1} b_k

SnS_n と一般項
Sn=a1+a2++anS_n = a_1 + a_2 + \cdots + a_n のとき

  • a1=S1a_1 = S_1 \quad
  • an=SnSn1(n2)a_n = S_n - S_{n-1} \quad (n \ge 2) \quad

分数の数列の和
部分分数に分解して途中を消す。

  • 1k(k+1)=1k1k+1\dfrac{1}{k(k+1)} = \dfrac{1}{k} - \dfrac{1}{k+1} などの変形を利用。

# 漸化式の変形、数学的帰納法

漸化式の変形

  • 隣接 2 項間 an+1=pan+q(p1)a_{n+1} = pa_n + q \quad (p \neq 1) \quad
    α=pα+q\alpha = p\alpha + q を満たす α\alpha に対して

    an+1α=p(anα)a_{n+1} - \alpha = p(a_n - \alpha)

  • 隣接 3 項間 pan+2+qan+1+ran=0pa_{n+2} + qa_{n+1} + ra_n = 0 \quad
    px2+qx+r=0px^2 + qx + r = 0 の解を α,β\alpha, \beta とすると

    an+2αan+1=β(an+1αan)a_{n+2} - \alpha a_{n+1} = \beta(a_{n+1} - \alpha a_n)

数学的帰納法
自然数 nn に関する命題 PP が、すべての自然数 nn について成り立つことを示す手順は

  • [1] n=1n=1 のとき PP が成り立つことを示す。
  • [2] n=kn=k のとき PP が成り立つと仮定して、n=k+1n=k+1 のとき PP が成り立つことを示す。

# 統計的な推測

# 確率分布

確率変数 XX は次の表のような分布に従うとする。

XX x1x_1 x2x_2 \cdots xnx_n
PP p1p_1 p2p_2 \cdots pnp_n 11
  • pk=P(X=xk)(k=1,2,,n)p_k = P(X = x_k) \quad (k=1, 2, \cdots, n) \quad
  • p10,p20,,pn0p_1 \ge 0, p_2 \ge 0, \cdots, p_n \ge 0 \quad
  • p1+p2++pn=1p_1 + p_2 + \cdots + p_n = 1 \quad

# 期待値 E(X)E(X)、分散 V(X)V(X)、標準偏差 σ(X)\sigma(X)

  • E(X)=m=x1p1+x2p2++xnpn=k=1nxkpkE(X) = m = x_1 p_1 + x_2 p_2 + \cdots + x_n p_n = \displaystyle\sum_{k=1}^n x_k p_k \quad
  • V(X)=E((Xm)2)=(x1m)2p1+(x2m)2p2++(xnm)2pn=k=1n(xkm)2pkV(X) = E((X - m)^2) = (x_1 - m)^2 p_1 + (x_2 - m)^2 p_2 + \cdots + (x_n - m)^2 p_n = \displaystyle\sum_{k=1}^n (x_k - m)^2 p_k \quad
  • V(X)=E(X2){E(X)}2V(X) = E(X^2) - \{E(X)\}^2 \quad
  • σ(X)=V(X)\sigma(X) = \sqrt{V(X)} \quad

# 確率変数の変換

XX は確率変数、a,ba, b は定数とする。
Y=aX+bY = aX + b のとき

  • E(Y)=aE(X)+bE(Y) = aE(X) + b \quad
  • V(Y)=a2V(X)V(Y) = a^2 V(X) \quad
  • σ(Y)=aσ(X)\sigma(Y) = |a|\sigma(X) \quad

# 確率変数の和と積

X,YX, Y は確率変数、a,ba, b は定数とする。

  • E(X+Y)=E(X)+E(Y)E(X + Y) = E(X) + E(Y) \quad
  • E(aX+bY)=aE(X)+bE(Y)E(aX + bY) = aE(X) + bE(Y) \quad

XXYY が互いに独立ならば

  • E(XY)=E(X)E(Y)E(XY) = E(X)E(Y) \quad
  • V(X+Y)=V(X)+V(Y)V(X + Y) = V(X) + V(Y) \quad
  • V(aX+bY)=a2V(X)+b2V(Y)V(aX + bY) = a^2 V(X) + b^2 V(Y) \quad

# 二項分布

二項分布 B(n,p)B(n, p)

  • P(X=r)=nCrprqnrP(X = r) = {}_nC_r p^r q^{n-r} で与えられる分布
    q=1p; r=0,1,2,,nq = 1 - p ; \ r = 0, 1, 2, \cdots, n)。

確率変数 XX が二項分布 B(n,p)B(n, p) に従うとき

  • 平均 E(X)=npE(X) = np \quad
  • 分散 V(X)=npqV(X) = npq \quad
  • 標準偏差 σ(X)=npq(q=1p)\sigma(X) = \sqrt{npq} \quad (q = 1 - p) \quad

# 連続型確率変数とその分布

連続型確率変数 XX の確率密度関数 f(x)(αxβ)f(x) \quad (\alpha \le x \le \beta) について
性質 常に f(x)0f(x) \ge 0,

  • αβf(x)dx=1,P(aXb)=abf(x)dx\displaystyle\int_\alpha^\beta f(x)dx = 1, \quad P(a \le X \le b) = \int_a^b f(x)dx \quad

期待値

  • E(X)=m=αβxf(x)dx\displaystyle E(X) = m = \int_\alpha^\beta x f(x)dx \quad

分散

  • V(X)=αβ(xm)2f(x)dx\displaystyle V(X) = \int_\alpha^\beta (x - m)^2 f(x)dx \quad

標準偏差

  • σ(X)=V(X)\displaystyle \sigma(X) = \sqrt{V(X)} \quad

# 正規分布

確率変数 XX が正規分布 N(m,σ2)N(m, \sigma^2) に従うとき

  • 期待値 E(X)=mE(X) = m, 標準偏差 σ(X)=σ\sigma(X) = \sigma \quad

標準化

  • 確率変数 XX が正規分布 N(m,σ2)N(m, \sigma^2) に従うとき、Z=Xmσ\displaystyle Z = \frac{X - m}{\sigma} は標準正規分布 N(0,1)N(0, 1) に従う。

二項分布の正規分布による近似

  • 二項分布 B(n,p)B(n, p) に従う確率変数 XX は、nn が大きいとき、近似的に正規分布 N(np,np(1p))N(np, np(1-p)) に従う。

# 母集団と標本

標本平均 \overline

  • 変量 xx に関する母集団から大きさ nn の無作為標本 X1,X2,,XnX_1, X_2, \cdots, X_n を抽出するとき

    X=1n(X1+X2++Xn)\overline{X} = \frac{1}{n}(X_1 + X_2 + \cdots + X_n)

標本平均の期待値・標準偏差

  • 母平均 mm、母標準偏差 σ\sigma の母集団から大きさ nn の無作為標本を抽出するとき、標本平均 X\overline{X} の期待値 E(X)E(\overline{X})、標準偏差 σ(X)\sigma(\overline{X})

    E(X)=m,σ(X)=σnE(\overline{X}) = m, \quad \sigma(\overline{X}) = \frac{\sigma}{\sqrt{n}}

標本比率

  • 母比率を pp、大きさ nn の無作為標本の標本比率を RR とすると、標本比率の期待値 E(R)E(R)、標準偏差 σ(R)\sigma(R)

    E(R)=p,σ(R)=p(1p)nE(R) = p, \quad \sigma(R) = \sqrt{\frac{p(1 - p)}{n}}

# 標本平均の分布

  • 母平均 mm、母標準偏差 σ\sigma の母集団から大きさ nn の無作為標本を抽出するとき、標本平均 X\overline{X} は、nn が大きいとき、近似的に正規分布 N(m,σ2n)N\left(m, \frac{\sigma^2}{n}\right) に従う。

# 推定

母平均の推定

  • 標本の大きさ nn が大きいとき、母平均 mm に対する信頼度 95%95\% の信頼区間は

    [X1.96σn, X+1.96σn]\left[ \overline{X} - 1.96 \cdot \frac{\sigma}{\sqrt{n}}, \ \overline{X} + 1.96 \cdot \frac{\sigma}{\sqrt{n}} \right]

    (信頼度 99%99\% なら 1.961.962.582.58 とする。)

母比率の推定

  • 標本比率を RR とする。標本の大きさ nn が大きいとき、母比率 pp に対する信頼度 95%95\% の信頼区間は

    [R1.96R(1R)n, R+1.96R(1R)n]\left[ R - 1.96\sqrt{\frac{R(1 - R)}{n}}, \ R + 1.96\sqrt{\frac{R(1 - R)}{n}} \right]

    (信頼度 99%99\% なら 1.961.962.582.58 とする。)

# 仮説検定

仮説検定の手順

  • ① 事象が起こった状況や原因を推測し、仮説を立てる。
  • ② 有意水準 α\alpha を定め、仮説に基づいて棄却域を求める。
  • ③ 標本から得られた確率変数の値が棄却域に入れば仮説を棄却し、棄却域に入らなければ仮説を棄却しない。