【授業】2次・3次方程式をめぐって

[婆茶留高校数学科☆HP] Top pageに戻る　このページを閉じる探したい言葉はここへ→

【授業】 2次・3次方程式をめぐって

§1. ホーナー法

§2. 共役と有理化

§3. 3次方程式

§4. 導関数を求める

§5. デザルグの方法

§6. 曲線外からの接線

§∞. 文献

§1. ホーナー法

2次方程式 $f(x)=0$ の解 $x$ とは、2次式 $f(x)$ に代入すれば $0$ になる数、すなわち $f(x)$ の零点のことである。
そこで "代入した値＝関数値" を求める計算練習となる。

【問1-1】 $f(x)=3 x^2-5 x+6$ に $x=2$ を代入した値を求めよ。---

ホーナー法を使って、下図の右下の $8$ が答。

①下ろす、②掛ける、③足す、（以下②③の繰り返し）

なぜこの方法で関数値が求まるのかと言うと、下図で簡単に証明できる。

（上は 2次式の場合だが、3次、4次でも同様。）

上の問題1-1 は数学Ⅰの関数の章の冒頭に出てくるものだが、ホーナー法は微分の章で増減表の 3 行目の臨界値(極値と停留値)を求めるときにも重宝する。

蛇足を言うと、3 行目の $a$ と $a\alpha+b$ は $x-\alpha$ で割ったときの商 $ax+(a\alpha+b)$ を表している。それは下の掛け算

をして、この筆算の式から

$(ax+a\alpha+b)(x-\alpha)+a\alpha^2+b\alpha+c=ax^2+bx+c$

が出ることから分かる。

ホーナー法で何をやっているのか逐次分析すると、$f(2)$ を計算するのに

$（3\times 2-5）\times 2 + 6=8$

とやっていることになる。昔、大学の授業で「関数電卓で計算するときはこのようにしろ」と習ったものである。これを

$3\times 2^2-5\times 2＋6$

とやったら叱られる。なぜなら $2^2$は計算機の内部では

$e^{2 \log 2}$

で処理されている。$\log 2$ は無限小数になるので四捨五入され、それを指数としてさらに指数関数の値を求めればまたもや無限小数になって四捨五入。何度も四捨五入しているうちに、$4$ という整数値を得ることができなくなる危険が生じる。
ホーナー法なら四則演算しか使っていないから、ピッタリの整数値が得られるのである。
現在市販の電卓は内部で 12 桁で計算して表示は 8 桁に丸めるみたいな処理をしているから、ボロはめったに出ない。でも Excel は気をつけないとダメだ。セルの参照を何度もやってると、四捨五入が累積して計算誤差が蓄積される。筆者は今までに「$1+1=1$」という計算結果に 2 回遭遇した。

計算誤差のついでにもう一つ。分散を求めるのに

$V(X)=E(X^2)-E(X)^2$

を使うとベラボーな値になる。定義式の

$V(X)=E((X-E(X))^2)$

でやるのと比べて 2 倍くらい値が違う。これくらい違うと分散はなんでも正解になってしまう。
「 2 乗の平均から平均の 2 乗を引く」と覚えやすいのだが、これは公式として計算に使うのではなく、何かの証明のときの式変形のテクニックとして使用すべきと思う。
筆者はある年からこの公式は一切教えないことにしている。誤差が出る理由については文献 [1] p.261参照。

ところでホーナー法は組立除法とも呼ばれるのだが、ここの授業は関数値を求めるだけだから「ホーナー法」と呼んだ。
これは代数学の由緒正しい方法で、銀林浩 [2] p.36や、髙木貞治 [3] §7.などに掲載されている。(高校の教科書には載っていないことがある。)

【蛇足】「関数値はこの方法で求めればいい」ということを SNS などで発信すると炎上しそうになる。「こんなやり方を高校生に教えるとはけしからん」という訳だ。
それって、自分が小学生のときに習わなかったから水道方式は嫌いだという教師と同然で、高校生の時分に自分が習ってないホーナーは生徒に教えたくないと言ってるだけだ。

§2. 共役と有理化

2次方程式において、係数が整数、有理数、実数、複素数のどれであっても、解の公式は

$x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}$

である。(有理係数は係数の分母の最小公倍数を掛ければ、整係数になってしまうが。)

この公式から実係数で $D<0$ なら 2 解は共役な複素数になり、整係数で $D$ が平方数でなければ 2 解は「共役な無理数」(筆者が使用する術語)になることが分かる。

【蛇足】正の整数 $n$ はある整数の 2 乗でなければ、その平方根は無理数である。実際、もし有理数だったら $a,b\neq 0$ を整数として

$\sqrt{n}=\frac{a}{b} \rightarrow nb^2=a^2$

最後の等式で、両辺を素因数分解する。右辺には各素数が偶数個含まれる。ところが左辺はそうではない($n$ は 2 乗数でないから)。これは矛盾。

さて、$a+b i$ の共役な複素数は何だろうか。教科書では「虚部の $b$ の符号を反転したもの」としていることが大半だが、私の授業では「$i$ の符号を反転したもの」と教えている。
なぜか。例えば分母が

$5+3 \sqrt{2}$

だったら何を掛けて分母を有理化するだろうか。
ルートの係数の　3 を符号反転したもの？それとも、$\sqrt{2}$ を符号反転したもの？
どちらでも結果は同じだが、後者のアイデアの方が自然だと思う。さすれば、共役複素数は

$a+b i \rightarrow a+b(-i)$

のことと教えるのが自然だろう。

ところで「共役」とは何か。有理係数の 2次方程式は解を 2 つ持つ。(解は虚数であってもよい。) このとき一方の解から他方の解を見ると、それは自分と共役だという訳だ。ただし、例外があって方程式が有理係数上で因数分解できると 2 解とも有理数になるが、このときは共役と言わない。実質的に1次方程式だと解釈するのである。
だから正確には「有理係数について共役な解」と言うべきである。

【問2-1】 $x=2+\sqrt{3}$ と有理係数上、共役な解を求めよ。---

まずこの数を解とする2次方程式を作る(解と係数の関係なんか使わない)と

$(x-2)^2=\sqrt{3}^2, x^2-4x+4=3, x^2-4x+1=0$

だから、あとは解の公式で $x=2-\sqrt{3}$ … (答)

【蛇足】 $(\sqrt{3})^2$ と括弧を付けないと×にする教員がいるが、ある本に「括弧不要」と書かれていた。たしかに括弧がなくても紛れがない。
ついでに言うと、$x^2$ でなく $xx$ と書くと×にする教員も多いが、ガウスはもっぱら後者の記法を使っている。

共役という概念は、分母の有理化(分母がルートを含む無理数であるときや、虚数であるとき)の役に立つ。
有理係数の 2次方程式 $ax^2+bx+c=0$ の共役な 2 解を $\alpha,\beta$ とすると

$\alpha+\beta=-\frac{b}{a},\alpha\beta=\frac{c}{a}$

でトレース（解の和）もノルム（解の積）も有理数になる。（2次でなくてもそうなる。）このうちの後者を利用する。

【問2-2】分母が $1+\sqrt{2}+\sqrt{3}$ だとする。これを有理化するには何を(分母・分子に)掛ければよいか。---

授業では、タイル(田の字)を使って試行錯誤でやる。

$(1+\sqrt{2}+\sqrt{3})(1-\sqrt{2}-\sqrt{3})=-4-2\sqrt{6}$,
$(-4-2\sqrt{6})(-4+2\sqrt{6})=-8$

だから、次の数を掛ければよい。

$(1-\sqrt{2}-\sqrt{3})(-4+2\sqrt{6})$ …(答)

【蛇足】試行錯誤ではなく、計算するにはこうする。

有理数 $\mathbb{Q}$ を地上の世界と考える。ある 2次方程式を与えることにより、上空には有理数 $\mathbb{Q}$ に $\sqrt{2}$ を添加した世界 $\mathbb{Q}(\sqrt{2})$ が現れる。ここでノルムを作ると地上の世界に降りて来る。
さらにこの上空に $\sqrt{3}$ を添加した世界 $\mathbb{Q}(\sqrt{2})(\sqrt{3})=\mathbb{Q}(\sqrt{2},\sqrt{3})$ を構築する。ここで 1 回ノルムを作れば、1 階だけ低い世界に降りられ、さらにもう 1 回ノルムを作れば地上に降りて来られる。だから

$(1+\sqrt{2}+\sqrt{3})(1+\sqrt{2}-\sqrt{3})=2\sqrt{2}$(2階から 1 階へ),
$2\sqrt{2}(-2\sqrt{2})=-8$（1 階から地上へ）

より、$-2\sqrt{2}(1+\sqrt{2}-\sqrt{3})$ を掛ければよい。…(答)

展開すれば、さきの答と同じと分かる。

さらに別解がある。2 階上空の世界は地上から見れば 4次拡大体だから、共役な数は自分も含めれば次の 4 数である。すなわち

$\alpha=1+\sqrt{2}+\sqrt{3}$,
$\beta=1+\sqrt{2}-\sqrt{3}$,
$\gamma=1-\sqrt{2}+\sqrt{3}$,
$\delta=1-\sqrt{2}-\sqrt{3}$

ノルムは 4 数の積 $\alpha\beta\gamma\delta=-8$ であり、$\alpha$ には残り 3 数の積

$\beta\gamma\delta=-2\sqrt{2}(1+\sqrt{2}-\sqrt{3})$

を掛ければよいと分かる。

§3. 3次方程式

授業で次のようにやる訳ではないが、ホーナー法の効用を味わう意味で平方完成をしてみよう。

【問3-1】 $f(x)=2 x^2+8 x+3$ を平方完成せよ。---

零点を $\alpha,\beta$ とすれば、放物線の頂点の $x$ 座標はこれらの真ん中だから

$x_{0}=\frac{\alpha+\beta}{2}=\frac{-b}{2a}$

この公式は解の公式に出てくる 2 数 $\frac{-b+\sqrt{b^2-4ac}}{2a}$ と $\frac{-b-\sqrt{b^2-4ac}}{2a}$ を足して 2 で割れば出てくる。(ルートの部分が消えてなくなるから。)
今の場合、$x_{0}=\frac{-8}{4}=-2$ を左上に置いて

$f(x)=(x+2)(2x+4)-5=2(x+2)^2-5$ …（答）

さて、ホーナー法が多用される場面が 3次式の因数分解、または 3次方程式の解法である。いずれも 3次式の零点を求めればよく、関数値が 0 になる数を試行錯誤で見つけることになる。
試行錯誤とは言え、多少のコツがある。例えば首項(最高次の項)の係数が 1 のとき、すなわち $x^3 +b x^2 +c x +d$ なら

右下を 0 にするには

$\alpha \times\mbox{□}=-d$

でなければならないから左上の $\alpha$ は定数項 $d$ の約数でなければならない。$\alpha$ の候補になりうる数の個数はそんなに多くなくなるから、これで零点が見つけられる。
ｍonic(首項の係数が 1) でないとき、すなわち首項が $ax^3(a \neq 1)$ のときは $a$ で割って、下図のホーナーになる。

$\alpha\times\mbox{□}=-\frac{d}{a}$

より、$\alpha$ は分子が定数項 $d$ の約数、分母が首項の係数 $a$ の約数である。

実例をいくつか挙げる。

【問3-2】 $8x^3+2x^2+5x+3$ を因数分解せよ。---

係数がすべて非負だから $\alpha$ が負でないと右下が 0 にならない。上述のように $\alpha$ の分子は $1$ か $3$ で、分母は $1, 2, 4, 8$ のいずれかである。よって下図。

$D=(-2)^2-4\times 8\times 6<0$

$(x+\frac{1}{2})(8x^2-2x+6)=(2x+1)(4x^2-x+3)$

左辺でも正解だが、整係数にできるので右辺を答とする。
実は「整係数多項式が有理係数上で因数分解できたら、整係数上でも因数分解できる」という定理がある。
証明は思いつくのは難関だが、できた証明(いくつかの証明法があるようだが、例えば本HPの「有理係数で因数分解できたら整係数でもできる」参照)をフォローすることは高校生でも難しくはない。証明を生徒に紹介するかはともかくとして、この定理自体は示しておく必要があると思う。

【問3-3】 $3x^3-4x^2-17x+6$ を因数分解せよ。---

$\alpha$ の分母は 1 とし、分子は定数項の約数 $\pm1, \pm2, \pm3, \pm6$ を絶対値の小さい方から試す。$\alpha=-2$ でうまくいく。
ホーナーの後、続いてたすき掛けをする。
　　　(答) $(x+2)(3x-1)(x-3)$

$\alpha$ として約数をぶち込めばいい、という話をしたが、例外がある。定数項が 0 のときだ。

【問3-4】方程式 $x^3-5x^2+6x=0$ を解け。---

原則に従うと、$\alpha$ は定数項 0 の約数ということになるが、0 の約数は任意の整数だから、候補が絞れない。このときは $\alpha=0$ とし、$(x-0)$ が因数の 1 つになると覚えておかないとならない。
(一見して $x$ が括り出せると分かるが、ホーナーにこだわるときは上のような注意が必要。)

$f(x)=(x-0)(x^2-5x^2+6)=x(x-2)(x-3)=0$
$x=0,2,3$ … （答）

「一般から特殊へ」の原則通りに、後回しにしていた退化型の問題に進む。

【問3-5】方程式 $64x^3-27=0$ を解け。---

2次、1次の項がないから退化型である。

$x^3=\frac{27}{64} \rightarrow x=\sqrt[3]{\frac{27}{64}}=\frac{3}{4}$

と 3 乗根が簡単に求まるので、これを $\alpha$ にすればよい。(ホントは 3 乗根は 3 つある理屈だが $y=x^3$ のグラフから分かるように、実の 3 乗根は 1 つのみだ。)
$ax^3\pm b^3$ タイプの問題は、3 乗の和差の因数分解の公式 $a^3\pm b^3=(a\pm b)(a^2\mp ab+b^2)$ を暗記しておくか、次のように田の字で因数分解するのが楽だ。

$2\times 3$ の長方形を描き、上図にように左上と右下に $64x^3$ と $-27$ を入れる。$64x^3$ と $-27$ の 3 乗根 $\sqrt[3]{64x^3}=4x,\sqrt[3]{-27}=-3$ をそれぞれ左の枠外に描く。(負数でも 3 乗根は存在する。)
残りの空白を埋めれば、答が求まる。
　　　(答) $(4x-3)(16x^2+12x+9)$

§4. 導関数を求める

導関数の定義はもちろん

$\displaystyle \lim_{h\rightarrow 0}\frac{f(x+h)-f(x)}{h}$

だから次の表を作ればよい。

【問4-1】 $f(x)=2x^2+3x+4$ の導関数を定義より求めよ。---

関数値 $f(x+h)$ をホーナー法で求めよう。

次ページ