２重根号

２重根号 現行の学習指導要領では指導外の内容に追いやられていた「,重根号」が、平成,,年からの新学習指導要領で復活することになった。指導外の内容とはいえ、今でも教科書等には「発展的内容」として扱われており、進学校では当然のごとく教えられていることと思う。 は、やはり、簡単に ，, と表したいものだ。新学習指導要領は窮屈だった「計算の制限」を撤廃した点で評価される。ただ、新学習指導要領は、古き良き時代を懐かしむような何となく懐古主義を彷彿させる。行列が外れ複素数平面がまた復活する～ 数学の問題を解いていて、,重根号を外す必要性が時々生じる。私の経験では、高校,年のとき、,,,,,?の値を三角関数の加法定理によらず、図形的に求めるときに使ったことが印象深い。 左図の斜辺の長さの計算で,重根号を外 すことを行う。 即ち、 斜辺, より、 もっとも、この場合は、,重根号を避けて求める方法も知られている。 左図とにらめっこをすると自ずから、 が導かれることだろう。 このように,重根号を外す計算は、数のおおよその値を知るためにも大切な技法であり、 現学習指導要領で指導の範囲外とされたことが非常に不可解である。 ,重根号を外す公式 ,,,,, のとき、 上記の公式から分かるように、,重根号が外れるためにはある種の制約条件が存在する ので、すべての,重根号が外れるわけではない。 ,重根号を外すための基本変形パターンを確認しておこう。 例, 例, 例, 同様の問題で,乗根の場合を、当,,がいつもお世話になっている,(,)さんが提示され た。(平成,,年,月,日付け)眼前にある小高い丘を少しずつ登ってみることにしよう。 問 題 ,重根号 を外せ。 (解) 、 とおくと、 β,α で、 33 α，β,,,, 、 αβ,,, 333 である。このとき、 α，β,(α，β),,αβ(α，β),,,, より、 3 (α，β)，,(α，β)，,,,, 32 ,,α，β とおくと、 ,，,,，,,,, で、 (,，,)(,,,,，,,),, 2 , は実数なので、 ,,,,，,,?, より、 ,,,, 2 このとき、 α 、β は、,次方程式 ,，,,,,,, の解となる。 解の公式より、 α より、 よって、 β, (終) (コメント) ,乗根の場合も、ごく特殊な場合しか,重根号は外れないと予想される。,乗根 のような簡便な公式を模索したが、果たして,乗根の場合も存在するのだろうか, 今後の研究課題としよう。上記の場合は、,次方程式の問題に翻訳されてたまた ま求めることができたが、一般の場合に同様に求めることはほとんど不可能だろ うと推察される。 問 題 ,重根号 を外せ。 (解) 、 とおくと、 β,α で、 33 α，β,,, 、 αβ,, 333 である。このとき、 α，β,(α，β),,αβ(α，β),,, より、 3 (α，β),,(α，β),,,,, 32 ,,α，β とおくと、 ,,,,,,,,, で、 (,,,)(,，,,，,,),, 2 , は実数なので、 ,，,,，,,?, より、 ,,, よって、 ,, (終) 問 題 次の,重根号を外せ。 (解) 、 とおくと、 β,α で、 33,,, 、 αβ,, α,β 333 である。このとき、 α,β,(α,β)，,αβ(α,β),,, より、 3 (α,β)，,(α,β),,,,, 32 ,,α,β とおくと、 ,，,,,,,,, で、 (,,,)(,，,,，,,),, 2 , は実数なので、 ,，,,，,,?, より、 ,,, すなわち、 α,β,, 2、,β は、,次方程式 ,,,,,,,, の解とな このとき、 α る。 解の公式より、 ,,,? よって、 β,α より、 α,,， 、 ,β,,, なので、 (終) 問 題 次の,重根号を外せ。 (解) 33 とおくと、 β,α で、 α，β,,,, 、 αβ,, 333 である。このとき、 α，β,(α，β),,αβ(α，β),,,, より、 3 (α，β),,,(α，β),,,,,, 3 ,,α，β とおくと、 ,,,,,,,,,,, で、 (,,,)2(,，,,，,,),, 2 , は実数なので、 ,，,,，,,?, より、 ,,, すなわち、 α，β,, 2 このとき、 α 、β は、,次方程式 ,,,,，,,, の解となる。 解の公式より、 ,,,? よって、 β,α より、 α,,, 、 β,,， なので、 (終) (コメント) 最初は前問のように、普通に分子、分母をそれぞれ α 、 β とおいて計算した ところ、計算に行き詰まってしまった。そこで、逆数を考え、積 αβ が整数になる ように、α 、β の分子を工夫したところ、上手く計算が進んだ。 ヨカッタ,～ 上記の問題をもっと自然に解くために、ある特殊な場合に限定されるが、,乗根の場合の ,重根号を外す公式を作ってみた。 この公式は、平成,,年,月,,日付けの、当,,がいつもお世話になっている,(,)さんの コメントに触発されて作ったものである。,(,)さんに感謝します。 公 式 実数 , 、, と正数 ,、, に対して、 22 ,,,,,, のとき、 22 ,,,,,,, のとき、 上記で計算した,重根号に公式を適用してみよう。 例 の場合 3 ,,,, として、 ,,,，,,,,, の解が簡単に見つからないので、 3 ,,, で、,,,,,,,, としてみる。この方程式は、,,,/, を解に持つ。 33 ,,，,,,,,, より、 ,,, で、 ,,，,,，,,,, この,次方程式は、 ,,,,/, を解に持つ。 22 このとき、 ,,,,,,/,,,,/,,,, が成り立つので、 例 の場合 3 ,,, として、 ,,，,,,,,, ここで、,,, としてみると、 3 ,,，,,,,,,, は、明らかに ,,, を解に持つ。 33 ,,,,,,,, より、 ,,,,,,,,,, で、この,次方程式は、 ,,, を 22 解に持つ。 このとき、 ,,,,,,,,,, が成り立つので、 ,,， 例 の場合 3 ,,, として、 ,,,，,,,,, の解が簡単に見つからないので、 33 ,,,,,,,,, において、,,, としてみると、 ,,,,,,,,,, を解に持つ。 この,次方程式は、明らかに ,,, 33 ,,，,,,,, より、 ,,，,,，,,,, で、明らかに解は、 ,,,, 22 このとき、 ,,,,,,,,,,, が成り立つので、 ,,,， ここで、話を元に戻して、前述で、策を労した次の,重根号 に対して、いよいよ公式を適用してみることにしよう。 そのために、根号内の分母を有理化すると となるので、 3,,, として、 ,,,，,,,,,,, において、 ,,, とすると、 3,次方程式 ,,,，,,，,,,, において、明らかに ,,,, を解に持つ。 33 ,,,,,,,, より、 ,,,,,,,,,, で、明らかに解は、 ,,, 22このとき、 ,,,,,,,,,, が成り立つので、 ,,, (コメント) このように考えると、この問題も他の問題と全く違和感がないですね～ 問 題 次の,重根号を外せ。 (解) 、 55 とおくと、 β,α で、 α，β,,,, 、 αβ,,, である。このとき、 55332222 α，β,(α，β)(α，β),αβ(α，β) 32 ,,(α，β),,αβ(α，β),,(α，β),,22ααβ,,β(α，β) 32 ,,(α，β)，,,(α，β),,(α，β)，,,,,,,(α，β) ,,,, 32 ,,α，β とおくと、 (,，,,,)(,，,,,,,,,,,,,,, より、 53 ,，,,,，,,,,,,,,,, 53 ,(,),,，,,,，,,,,,,,, とおくと、 53 ,(,),,，,,?,，,,,?,,,,,,,,，,,,，,,,,,,,,, よって、因数定理により、,(,)は、,,, で割り切れる。 42 ところで、 ,’(,),,,，,,,，,,,,, より、 ,(,)は、単調に増加するので、 53 方程式 ,(,),,，,,,，,,,,,,,,,, の解は、 ,,, のみである。 したがって、 ,, となる。 (終) (コメント) 超,複雑っぽい数が、たった「,」とは不思議ですね～ (? 参考 :「見かけは悪いが美しい数」) α，β,, 、 αβ,,, なので、 α 、β は、,次方程式 2,,,,,,,, の解となる。 解の公式より、 ,,,? よって、 β,α より、 α,,， 、 β,,, である。 問 題 次の,重根号を外せ。 答えは、 二重根号を外す問題は、ガロアの理論と密接に関係している。以下では、このことについ て整理したいと思う。 ,,,,年度後期に、上智大学理工学部数学科,年生を対象に行われた角皆先生の講義 録が大いに参考になった。ここに感謝の意を表したい。 まず、次の問題を考えることにする。 問 題 について、 (,) ,重根号を外せ。 (,) α の有理数体,上の最小多項式を求めよ。また、拡大次数 ,,(α):,,を求めよ。 (,) その方程式を、,,,,,,, の方法で解いてみよ。 (,) ,(α),,(，) となる , 、, ?, があれば求めよ。 (解) (,)は易しいだろう。 となる。 2242 (α,,),,, から、 α,,,α，,,, (,) 42α の最小多項式は、 ,,,,,，, と したがって、代数的数 なる。 42 (厳密には、,,,,,，, が,上既約であることを示さなければならないが、 42 ,,,,,，, 22 ,(,,,，,)(,,,,,) ,(,，，)(,，,)(,,，)(,,,) から明らかだろう。) よって、拡大次数 ,,(α):,,,, となる。 (,重根号が外れるとき、方程式自体が特殊な形になるような(((予感～) 42 (,) ,,,,,,, の方法により、 ,,,,,，,,, を解くために適当なλを用いて、 42 ,,,,,,, 422222 ,，,λ,，λ,,,,,,，,λ,，λ 2222 (,，λ),(,λ，,,),，λ,, と式変形するとき、右辺が完全平方式になればよい。 すなわち、判別式を , とすると、 22 ,,,,,(,λ，,,)(λ,,),,,(λ，,)(λ，,)(λ,,),, (このようなλに関する方程式を「分解方程式」というらしい。) よって、 λ,,, 、,, 、, 22 λ,,, のとき、 (,,,),,, において、 22 ,,,,?, より、 ,,,?, ここで、 なので、 ,,?(?) (複号任意) となる。 222 λ,,, のとき、 (,,,),,, において、 22 ,,,,?,, より、 ,?,,,,,, ?? (複号任意) となる。 (?, よって、 ,, 重根号が外れている～) 222 λ,, のとき、 (,，,),,,, において、 22 ,，,,?,, より、 ,?,,，,,, よって、 ,,?? (複号任意) となる。 (?,重根号が外れている～) (,) (,)より、 ,(α),,(，) なので、 ,,,、,,, と言える。 (終) (コメント) 上記の計算(,)より、(,)のような,重根号を外す公式を知らなくても、 であることが分かるようだ。方程式を解く過程で、自然に,重根号が外れるのに は感動しました～ それでは、 については、どのような計算結果が待ち受けているのだ ろうか, 上記の α と同様の問題を考えてみよう。 まず、 ,，,,,, 、,,,,, となる , 、 , (,,,)は、,2次方程式 ,,,,,，,,,, ?, である。 の解なので、 ,,, したがって、無理をして強引に,重根号を外そうと頑張ってみるのだが、 となるだけで、永遠に,重根号は外れそうにない雰囲気～この原因はどこにあるのだろう, 2 すぐ気がつくことは、,次方程式 ,,,,,，,,,, が、整数解を持たないからだ～整数 解さえ持ってくれば、,重根号は必ず外れるのに(((。 2242 ところで、(β,,,),,, から、 β,,,β，,,,, 42 したがって、代数的数 β の最小多項式は、 ,,,,,，,, となる。 42,,,,,,, の方法により、 ,,,,,，,,,, を解くために適当なλを用いて、 42 ,,,,,,,, 422222 ,，,λ,，λ,,,,,,,，,λ,，λ 2222 (,，λ),(,λ，,,),，λ,,, と式変形するとき、右辺が完全平方式になればよい。 すなわち、判別式を , とすると、 22 ,,,,,(,λ，,,)(λ,,,),,,(λ，,,)(λ，,)(λ,,),, よって、 λ,,,, 、,, 、, 22 λ,,,, のとき、 (,,,,),,, において、 22 ,,,,,?, より、 ,,,,?, ここで、 なので、 ,,?() (複号任意) となる。 222 λ,,, のとき、 (,,,),(,,,,), 222 λ,, のとき、 (,,,),(,,,,), これらも全く,重根号が外れる気配は皆無だ～(計算打ち切り) (追記) 平成,,年,月,日付け 「,重根号が外せるか否かの一般化」と題して、当,,の掲示板「出会いの泉」に、,月,日 付けで,,「,(，(」さんより書き込みがあった。 ,重根号が外せるかどうかの判定の一般化について考えたことがあり、少し式をいじって みたところ、以下のような公式めいたものを得ることが出来ました。 ,、,、,を正の有理数(,,,,, かつ ,,, で ?,は無理数)とする。 22,,,,,, を満たす,が存在するとき、,重根号 は外せて、 になる。 22,,,、,,, のとき、 ,,,,,,,,,,,,,, より、 例 ,,, なので、 になる。 ただ、上記の公式で気になることが,つあります。 22 (,)判別式「,,,,,, 」の形で、不定方程式的な何かの匂いは感じるのですが、 各変数が有理数なのでこれをどうにかすると、もっとより一般的な議論が出来るの か、あるいはそうではないのか。 (,)上記判別式で、,の値が虚数になった場合、この式がどういった意味合いを持って くるのか。 以上の疑問点について、何かご教示くだされば幸いです。 ,重根号を外す公式 ,,,,, のとき、 より、,重根号 が外れるためには、 ,,,，, 、 ,,,, となる正 の有理数 , 、, が見つかればよい。,(，(さんは、 , 、, を見つけるために、,次方程式 222 ,,,,，,,, を考えられ、判別式 ,,,,,,が完全平方(,,)になる場合に,重 根号が外せることを示しているが、この理論はここまでで、それ以上の進展は期待できない ような、そんな(((予感。 ????? (,)の回答(,) カナ また、,,, のときは、正の有理数 , 、, は存在し得ないので、,重 根号は外せない。 ????? (,)の回答