COMPASS

真の理解のためのシンプルな数学のノート

数式を枠からはみ出さずに表示するためには, 画面を横に傾けてください(532 ピクセル以上推奨).

高次方程式

高次方程式

問題≪有理根定理≫

 $a_nx^n+a_{n-1}x^{n-1}+\cdots +a_1x+a_0 = 0$ ($a_k$: 整数, $a_n \neq 0$)が有理数解 $\alpha$ をもつとする. $\alpha$ は $a_0$ の約数 $p,$ $a_n$ の約数 $q$ を用いて $\alpha = \dfrac{p}{q}$ の形に表されることを示せ.

解答例

 与式が有理数解 $\alpha = \dfrac{p}{q}$ ($p,$ $q$: 互いに素な整数, $q \neq 0$)をもつとする. このとき, \begin{align*} a_n\alpha ^n+a_{n-1}\alpha ^{n-1}+\cdots +a_1\alpha +a_0 &= 0 \\ a_n\left(\frac{p}{q}\right) ^n+a_{n-1}\left(\frac{p}{q}\right) ^{n-1}+\cdots +a_1\left(\frac{p}{q}\right) +a_0 &= 0 \\ a_np^n+a_{n-1}p^{n-1}q+\cdots +a_1pq^{n-1}+a_0q^n &= 0 \end{align*} が成り立つ. よって, \[ p(a_np^{n-1}+a_{n-1}p^{n-2}q+\cdots +a_1q^{n-1}) = -a_0q^n\] であるから, $p$ は $-a_0q^n$ を割り切る. $p,$ $q$ は互いに素であるから, $p$ は $a_0$ を割り切る. また, \[ q(a_{n-1}p^{n-1}+\cdots +a_1pq^{n-2}+a_0q^{n-1}) = -a_np^n\] であるから, $q$ は $-a_np^n$ を割り切る. $p,$ $q$ は互いに素であるから, $q$ は $a_n$ を割り切る. 以上で, 題意が示された.

背景

 本問で示した結果は「有理根定理」(rational root theorem)として知られている.
 高次方程式は, しばしば因数分解, 因数定理を利用して解くことができる. その際は, 上記の「有理根定理」が大きな目安になる.

問題≪目盛付き定規が使える場合の立方体倍積問題≫

 $1$ 辺の長さが $1$ の正三角形 $\mathrm{ABC}$ において, 半直線 $\mathrm{AB}$ 上に $\mathrm{BD} = 1$ なる点 $\mathrm D$ をとる. また, 直線 $\mathrm{BC}$ 上の点 $\mathrm E$ を, $\mathrm{AE}$ と $\mathrm{CD}$ の交点 $\mathrm F$ について $\mathrm{EF} = 1$ となるようにとり, $x = \mathrm{AF}$ とおく. さらに, 点 $\mathrm F$ を通り $\mathrm{AC}$ と平行な直線と $\mathrm{BE}$ の交点を $\mathrm G$ とおく.
(1)
$x$ を用いて線分 $\mathrm{FG},$ $\mathrm{CF}$ の長さを表せ.
(2)
$x^4+2x^3-2x-4 = 0$ が成り立つことを示せ.
(3)
$x$ の値を求めよ.

解答例

(1)
$\triangle\mathrm{EFG}$ と $\triangle\mathrm{EAC}$ は相似であるので, $\mathrm{EF}:\mathrm{FG} = \mathrm{EA}:\mathrm{AC}$ つまり \[ 1:\mathrm{FG} = (x+1):1\] から \[\mathrm{FG} = \frac{1}{x+1}\] が得られる.
また, $\mathrm{BC} = \mathrm{BD} = 1$ から \[\angle\mathrm{BCD} = (180^\circ -60^\circ )\div 2 = 30^\circ\] であるので, \begin{align*} \angle\mathrm{ACF} &= 180^\circ -\angle\mathrm{ACB}-\angle\mathrm{BCD} \\ &= 180^\circ -60^\circ -30^\circ = 90^\circ \end{align*} である. $\mathrm{AC}$ と $\mathrm{FG}$ が平行であることから \begin{align*} \angle\mathrm{CFG} &= \angle\mathrm{ACF} = 90^\circ, \\ \angle\mathrm{FGC} &= \angle\mathrm{ACB} = 60^\circ \end{align*} であるので, \[\mathrm{CF} = \sqrt 3\mathrm{FG} = \frac{\sqrt 3}{x+1}\] が得られる.
(2)
$\triangle\mathrm{ACF}$ において三平方の定理を適用すると, \begin{align*} x^2 &= 1^2+\left(\frac{\sqrt 3}{x+1}\right) ^2 \\ x^2(x+1)^2 &= (x+1)^2+3 \\ x^2(x^2+2x+1) &= (x^2+2x+1)+3 \end{align*} から \[ x^4+2x^3-2x-4 = 0\] となる.
(3)
左辺を変形すると \begin{align*} x^3(x+2)-2(x+2) &= 0 \\ (x^3-2)(x+2) &= 0 \end{align*} となるが, $x$ は正の数であるから $x = \sqrt[3]{2}$ である.

背景

 ギリシアの三大作図問題として, 与えられた立方体の $2$ 倍の体積をもつ立方体の $1$ 辺の長さは作図可能であるか, つまり $\sqrt[3]{2}$ は定規とコンパスのみで作図することができるか, という問題がある. この問題は,「立方体倍積問題」(cube-doubling problem)または「デロスの問題」(Delian problem)と呼ばれる. この問題は長い間未解決であったが, 19 世紀に不可能であることが証明された(ピエール・ヴァンツェル, 1837 年). しかし, 本問で見たように, $\sqrt[3]{2}$ は目盛付きの定規とコンパスを使えば作図することができる.
 $3$ 次方程式は, 解と係数の関係を利用して, $2$ 次方程式に帰着させて解くことができる.

問題≪カルダノによる $3$ 次方程式の解法≫

 $3$ 次方程式 $x^3-x-1 = 0\ \cdots [1]$ について, 次の問いに答えよ.
(1)
$x = u+v$ であり, $u^3+v^3-1 = 3uv-1 = 0\ \cdots [2]$ であるならば, $[1]$ が成り立つことを示せ.
(2)
$[2]$ を満たす複素数 $u,$ $v$ について, $u^3,$ $v^3$ を解にもつ $2$ 次方程式を $1$ つ求めよ.
(3)
$1$ の虚数立方根 $\omega = \dfrac{-1+\sqrt 3i}{2}$ を用いて $[1]$ の解を表せ.

解答例

(1)
$x = u+v$ のとき, $u^3+v^3-1 = 3uv-1 = 0\ \cdots [2]$ ならば, \begin{align*} x^3-x-1 &= (u+v)^3-(u+v)-1 \\ &= u^3+v^3+3uv(u+v)-(u+v)-1 \\ &= (u^3+v^3-1)+(3uv-1)(u+v) \\ &= 0+0\cdot (u+v) = 0 \quad \cdots [1] \end{align*} が成り立つ.
(2)
複素数 $u,$ $v$ が $[2]$ を満たすとする. このとき, \[ u^3+v^3 = 1, \quad u^3v^3 = (uv)^3 = \left(\frac{1}{3}\right) ^3 = \dfrac{1}{27}\] となるので, $2$ 次方程式の解と係数の関係により, $u^3,$ $v^3$ を解にもつ $2$ 次方程式 \[ t^2-t+\dfrac{1}{27} = 0 \quad \cdots [3]\] が得られる.
(3)
$[3]$ を解くと, $2$ 次方程式の解の公式により \[ t = \frac{1}{2}\left( 1\pm\sqrt{1-\frac{4}{27}}\right) = \frac{1}{2}\pm\frac{1}{6}\sqrt{\frac{23}{3}}\] となる. よって, $u^3 = \dfrac{1}{2}+\dfrac{1}{6}\sqrt{\dfrac{23}{3}},$ $v^3 = \dfrac{1}{2}-\dfrac{1}{6}\sqrt{\dfrac{23}{3}}$ とすると, \begin{align*} u &= \sqrt[3]{\frac{1}{2}+\frac{1}{6}\sqrt{\frac{23}{3}}}\omega ^k, \\ v &= \sqrt[3]{\frac{1}{2}-\frac{1}{6}\sqrt{\frac{23}{3}}}\omega ^l \quad (k,l \in \{ 0,1,2\}) \end{align*} となる. この $u,$ $v$ は $u^3+v^3-1 = 0$ を満たす. \begin{align*} uv &= \sqrt[3]{\left(\frac{1}{2}+\frac{1}{6}\sqrt{\frac{23}{3}}\right)\left(\frac{1}{2}-\frac{1}{6}\sqrt{\frac{23}{3}}\right)}\omega ^{k+l} \\ &= \sqrt[3]{\frac{1}{4}-\frac{23}{4\cdot 27}}\omega ^{k+l} = \sqrt[3]{\frac{1}{27}}\omega ^{k+l} = \frac{1}{3}\omega ^{k+l} \end{align*} から, $3uv-1 = 0$ となるのは $(k,l) = (0,0),$ $(1,2),$ $(2,1)$ の場合に限る. (1) で示したことから, これらの場合に $x = u+v$ は $[1]$ の解になる. $3$ 次方程式の解は $3$ つしかないから, $[1]$ の解は \begin{align*} x = &\sqrt[3]{\frac{1}{2}+\frac{1}{6}\sqrt{\frac{23}{3}}}+\sqrt[3]{\frac{1}{2}-\frac{1}{6}\sqrt{\frac{23}{3}}}, \\ &\sqrt[3]{\frac{1}{2}+\frac{1}{6}\sqrt{\frac{23}{3}}}\omega +\sqrt[3]{\frac{1}{2}-\frac{1}{6}\sqrt{\frac{23}{3}}}\omega ^2, \\ &\sqrt[3]{\frac{1}{2}+\frac{1}{6}\sqrt{\frac{23}{3}}}\omega ^2+\sqrt[3]{\frac{1}{2}-\frac{1}{6}\sqrt{\frac{23}{3}}}\omega \end{align*} と表される.

背景

 $2$ 次方程式に解の公式が存在するように, $3$ 次方程式, $4$ 次方程式にも解の公式が存在することが知られている. $3$ 次方程式 $x^3+lx^2+mx+n = 0$ ($l,$ $m,$ $n$: 定数)は, $x = X-\dfrac{l}{3}$ を代入して整理すると, $X^3+3pX+2q = 0$ ($p,$ $q$: 定数)の形に変形できる. この方程式の解は, $\omega$ を $1$ の虚数立方根の $1$ つとすると, \[ X = \sqrt[3]{-q+\sqrt{q^2+p^3}}\omega ^k+\sqrt[3]{-q-\sqrt{q^2+p^3}}\omega ^{3-k}\] ($k \in \{ 0,1,2\}$)と表される. この公式を導く解法はそれを世に広めた『アルス・マグナ』の著者にちなんで「カルダノの解法」(Cardano's method)と呼ばれることが多いが, 発見者はS・デル・フェッロまたはN・フォンタナ(タルタリア)であるとされている.
 方程式 $x^3 = x+1$ の実数解は「プラスチック数」(plastic number)と呼ばれ, \[ P_1 = P_2 = 1,\ P_3 = 2, \quad P_{n+3} = P_n+P_{n+1}\] で定義される「パドヴァン数列」(Padovan sequence) $\{ P_n\}$ の隣り合う $2$ 項の比の極限に等しいことが知られている. なお,「フィボナッチ数列」が正方形をらせん状に並べたときの辺の長さの列として得られるのと同じように,「パドヴァン数列」は正三角形をらせん状に並べたときの辺の長さから得られる.