基礎数学 復習

高専1年生で学習した「基礎数学」の復習である．全ての内容を書いているわけではない．

数と式

#

商と余りの関係

#

整式 \(A\) を整式 \(B (\ne 0)\) で割ったときの商を \(Q\)、余りを \(R\) とすると

が成り立つ．\(R\) の次数は \(B\) の次数より小さい．

組立除法

#

整式を \(x - p\) で割ったときの商と余りを素早く求める．

剰余の定理

#

整式 \(P(x)\) を1次式 \(x - \alpha\) で割ったときの余りは \(P(\alpha)\) に等しい．

因数定理

#

整式 \(P(x)\) について \(P(\alpha) = 0\) ならば \(P(x)\) は \(x - \alpha\) を因数に持つ．

\(P(x)\) の係数が全て整数の場合は、\(\alpha\) は \(P(x)\) の定数項の約数の中から探すと良い．

GCDとLCM

#

いくつかの整式に共通な約数を公約数という．公約数のうち次数が最大のものを最大公約数 (GCD ; greatest common divisor ; GCM ; greatest common measure) という．

いくつかの整式に共通な倍数を公倍数という．公倍数のうち次数が最小のものを最小公倍数 (LCM ; least common multiple) という．

実数

#

2つの整数 \(m, n \; (n \ne 0)\) を用いて \(\displaystyle\frac{m}{n}\) で表される数を有理数、そうでない数を無理数という．

小数第何位かで終わる小数を有限小数、そうでない小数を無限小数という．無限小数のうち、いくつかの数字の配列が繰り返されるものを循環小数という．循環しない無限小数が無理数である．

背理法

#

ある事柄を証明するために、その事柄が正しくないと仮定すると矛盾が起こることを示す方法である．

方程式

#

2次方程式の解の公式

#

\(ax^2 + bx + c = 0 \; (a \ne 0)\) の解は

判別式

#

判別式 \(D = b^2 - 4ac\) について

解と係数の関係

#

\(ax^2 + bx + c = 0 \; (a \ne 0)\) の2つの解を \(\displaystyle \alpha = \frac{-b+\sqrt{b^2 - 4ac}}{2a}, \, \beta = \frac{-b-\sqrt{b^2 - 4ac}}{2a}\) とおくと

どの2つの変数を交換しても変わらない式を対称式といい、特に \(\alpha + \beta, \, \alpha\beta\) を基本対称式という．

この関係を用いると、次のように因数分解できる．

不等式

#

相加相乗平均

#

\(a,b \ge 0\) に対して \(\displaystyle \frac{a+b}{2} \ge \sqrt{ab}\) (等号成立: \(a=b\)) が成り立つ．

方べきの定理より \(x^2 = ab\) だから \(x = \sqrt{ab}\) である．

方べきの定理

円周角の定理より \(\rm \angle PAC = \angle PDB, \, \angle PCA = \angle PBD\) が成り立ち、2組の角がそれぞれ等しいため \(\rm \triangle PAC \backsim \triangle PDB\) である．

このことより \(\rm PA : PD = PC : PB\) であり、\(\rm PA \times PB = PC \times PD\) が成り立つ．

三角不等式

#

ド・モルガンの法則

#

包除原理

#

有限個の要素を含む集合を有限集合、無限個の要素を含む集合を無限集合という．\(A\) が有限集合のとき、\(A\) の要素数を \(|A|\) で表す．

有限集合 \(A, B\) の要素の個数について

命題

#

命題 \(p \xRightarrow{} q\) について、「\(q \xRightarrow{} p\)」を逆、「\(\overline{p} \xRightarrow{} \overline{q}\)」を裏、「\(\overline{q} \xRightarrow{} \overline{p}\)」を対偶という．

命題 \(\underset{\textsf{十}}{p} \xRightarrow{} \underset{\textsf{要}}{q}\) が真であるとき、\(q\) は \(p\) であるための必要条件であるといい、\(p\) は \(q\) であるための十分条件であるという．

「\(p \xRightarrow{} q\)」と「\(p \xLeftarrow{} q\)」がともに真であるとき、「\(p \xLeftrightarrow{} q\)」とかき、\(q\) は \(p\) (\(p\) は \(q\)) であるための必要十分条件 (同値) であるという．

条件 \(p\) を満たす集合を \(P\)、\(q\) を満たす条件を \(Q\) とすると

より、もとの命題とその対偶は真偽が一致する．

命題が成り立たない例を反例という．

対数

#

• 積の対数 \(=\) 対数の和

  $$ \log_a MN = \log_a M + \log_a N $$
  導出

  $$ \begin{align*} MN &= a^{\log_a M} a^{\log_a N} = a^{\log_a M + \log_a N} \\ \log_a MN &= \log_a a^{\log_a M + \log_a N} = \log_a M + \log_a N \end{align*} $$

• 商の対数 \(=\) 対数の差

  $$ \log_a \frac{M}{N} = \log_a M - \log_a N $$
  導出

  $$ \begin{align*} \frac{M}{N} &= \frac{a^{\log_a M}}{a^{\log_a N}} = a^{\log_a M - \log_a N} \\ \log_a \frac{M}{N} &= \log_a a^{\log_a M - \log_a N} = \log_a M - \log_a N \end{align*} $$

• \(p\) 乗の対数 \(=\) 対数の \(p\) 倍

  $$ \log_a M^p = p \log_a M $$
  導出

  $$ \begin{align*} M^p &= (a^{\log_a M})^p = a^{p\log_a M} \\ \log_a M^p &= \log_a a^{p\log_a M} = p\log_a M \end{align*} $$

• 底の変換

  $$ \log_a b = \frac{\log_c b}{\log_c a} $$
  証明

  $$ \begin{align*} \log_a b \log_c a &= \log_c a^{\log_a b} = \log_c b \\ \log_a b &= \frac{\log_c b}{\log_c a} \end{align*} $$

\(10\) を底とする対数を常用対数という．

三角関数

#

正弦定理

#

\(\triangle \rm ABC\) の外接円の半径を \(R\) とする．

余弦定理

#

弧度法

#

radian とは、円周上でその円の半径と同じ長さの弧を切り取る2本の半径が成す角の値である．

半径 \(1\)、中心角 \(\def\unit#1{\,\mathrm{\scriptsize [{#1}]}} \theta \unit{rad}\) の扇形の弧の長さは \(\theta\) である．

半径 \(r\)、中心角 \(\def\unit#1{\,\mathrm{\scriptsize [{#1}]}} \theta \unit{rad}\) の扇形の弧の長さは \(r\theta\) である．

加法定理

#

導出

\({\rm A}(\cos\alpha, \sin\alpha), \, {\rm B}(\cos\beta, \, \sin\beta)\) とおくと

$$ \begin{align*} {\rm AB}^2 &= (\cos\alpha - \cos\beta)^2 + (\sin\alpha - \sin\beta)^2 \\ &= \cos^2\alpha - 2\cos\alpha\cos\beta + \cos^2\beta + \sin^2\alpha - 2\sin\alpha\sin\beta + \sin^2\beta \\ &= 2 - 2(\cos\alpha\cos\beta + \sin\alpha\sin\beta) \end{align*} $$

一方で余弦定理より

$$ \begin{align*} {\rm AB}^2 &= {\rm OA}^2 + {\rm OB}^2 - 2 \cdot{\rm OA}\cdot{\rm OB} \cdot \cos(\alpha - \beta) \\ &= 1^2 + 1^2 - 2 \cdot 1 \cdot 1 \cdot \cos(\alpha - \beta) \\ &= 2 - 2\cos(\alpha - \beta) \end{align*} $$

以上より

$$ \cos(\alpha - \beta) = \cos\alpha\cos\beta + \sin\alpha\sin\beta $$

上式より

$$ \begin{align*} \cos(\alpha + \beta) &= \cos(\alpha - (-\beta)) \\ &= \cos\alpha\cos(-\beta) + \sin\alpha\sin(-\beta) \\ &= \cos\alpha\cos\beta - \sin\alpha\sin\beta \\ \sin(\alpha - \beta) &= \cos\!\left( (\alpha - \beta) - \frac{\pi}{2} \right) \\ &= \cos\!\left( \alpha - \left(\beta + \frac{\pi}{2}\right) \right) \\ &= \cos\alpha\cos\!\left(\beta + \frac{\pi}{2}\right) + \sin\alpha\sin\!\left(\beta + \frac{\pi}{2}\right) \\ &= \cos\alpha(-\sin\beta) + \sin\alpha\cos\beta \\ &= \sin\alpha\cos\beta - \cos\alpha\sin\beta \\ \sin(\alpha + \beta) &= \sin(\alpha - (-\beta)) \\ &= \sin\alpha\cos(-\beta) - \cos\alpha\sin(-\beta) \\ &= \sin\alpha\cos\beta + \cos\alpha\sin\beta \end{align*} $$

半角の公式

#

三角関数の合成

#

ただし \(\operatorname{atan2}(y,x) = \arg (x + iy) \in (-\pi, \pi]\) である．

積和公式

#

和積公式

#

図形と式

#

楕円

#

2点からの距離の和が一定である点の軌跡を楕円という．この2点を焦点という．

双曲線

#

2点からの距離の差が一定である点の軌跡を楕円という．

放物線

#

直線とその直線上にない点からの距離が等しい点の軌跡を放物線という．この直線を準線、及び準線上にない点を焦点という．

場合の数

#

和の法則

#

事柄 \(A, B\) は同時には起こらないものとする．事柄 \(A\) の起こり方が \(m\) 通り、事柄 \(B\) の起こり方が \(n\) 通りあるとき、\(A\) または \(B\) のどちらかが起こる場合は \(m + n\) 通りである．

積の法則

#

事柄 \(A\) の起こり方が \(m\) 通りあり、そのそれぞれの場合について事柄 \(B\) の起こり方が \(n\) 通りあるとき、\(A\) と \(B\) がともに起こる場合は \(mn\) 通りである．

順列

#

相異なる \(n\) 個のものから \(r\) 個のものを取り出し、順序をつけて1列に並べたものを順列 (permutation) といい、その総数を \({}_n \mathrm{P}_r\) と表す．

\(1\) 番目は \(n\) 通り、\(2\) 番目は \(n-1\) 通り、\(\cdots\)、\(r\) 番目は \(n - (r - 1)\) 通りの選び方がある．積の法則より

組合せ

#

相異なる \(n\) 個のものから \(r\) 個のものを取り出し、順序を考えずに1組としたものを組合せ (combination) といい、その総数を \({}_n \mathrm{C}_r\) と表す．

二項定理

#

\({}_n \mathrm{C}_r\) を二項係数 \(\displaystyle \binom{n}{r}\) とも表す．

二項係数

#

二項係数を並べるとパスカルの三角形が構成される．

\begin{tikzpicture}
    \foreach \n in {0,...,5} {
        \foreach \k in {0,...,\n} {
            \node at (\k-\n/2,-\n) {\directlua{
                function binom(n,k)
                    x = 1
                    for y = n-k+1, n do x = x * y end
                    for y = 1, k do x = x / y end
                    return math.floor(x)
                end
                tex.print(binom(\n, \k))}
            };
        }
    }
\end{tikzpicture}

左右対称になっている．

各要素はその上にある2つの要素の和に等しい．

また、\(n\) と \(r\) が互いに素であるとき \(\displaystyle \binom{n}{r}\) が \(n\) の倍数になる．

複素数

#

共役複素数

#

\(z = a + ib\) について \(\overline{z} = a - ib\) を共役複素数という．

極形式

#

\(z\) を複素平面上に表したときの実軸との角度を偏角といい、\(\arg z\) で表す．

\(z\) の絶対値を \(r\)、偏角を \(\theta\) とすると、\(z\) の極形式は

ド・モアブルの定理

#

整数 \(n\) に対して

n乗根

#

\(z^n = \alpha\) の解を \(\alpha\) の \(n\) 乗根という．\(n\) 個存在する．

\(\alpha\) の \(n\) 乗根を \(z_k \; (k = 0, 1, \dots, n-1)\)、\(\arg \alpha = \theta \; (0 \le \theta < 2\pi)\) とすると

と表すことができ、原点を中心とする半径 \(\sqrt[n]{|\alpha|}\) の円周を \(n\) 等分する．