２重根号　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　

　現行の学習指導要領では指導外の内容に追いやられていた「２重根号」が、平成２４年
からの新学習指導要領で復活することになった。指導外の内容とはいえ、今でも教科書等
には「発展的内容」として扱われており、進学校では当然のごとく教えられていることと思う。

　　は、やはり、簡単に　＋１　と表したいものだ。新学習指導要領は窮屈
だった「計算の制限」を撤廃した点で評価される。ただ、新学習指導要領は、古き良き時代
を懐かしむような何となく懐古主義を彷彿させる。行列が外れ複素数平面がまた復活する！

　数学の問題を解いていて、２重根号を外す必要性が時々生じる。私の経験では、高校１
年のとき、ｓｉｎ１５°の値を三角関数の加法定理によらず、図形的に求めるときに使ったこ
とが印象深い。

左図の斜辺の長さの計算で２重根号を外すことを行う。 　即ち、 　斜辺＝ 　より、

　もっとも、この場合は、２重根号を避けて求める方法も知られている。


　　　左図とにらめっこをすると自ずから、

　　　　　　

　　が導かれることだろう。



　２重根号の計算を回避する第３の方法（→　「１５°の正接」）

　２重根号の計算を回避する第４の方法（よおすけ氏　平成２８年５月３日付け）

　△ＡＢＣにおいて、BC＝1＋、CA＝、∠C＝45°を使います。

　　　左図より、

　　tan15°={(-1)/2}/{(＋1)/2}=2-





　このように２重根号を外す計算は、数のおおよその値を知るためにも大切な技法であり、
現学習指導要領で指導の範囲外とされたことが非常に不可解である。

２重根号を外す公式

　ａ＞ｂ＞０　のとき、

　　

　　

　上記の公式から分かるように、２重根号が外れるためにはある種の制約条件が存在する
ので、すべての２重根号が外れるわけではない。

　２重根号を外すための基本変形パターンを確認しておこう。

例１　　

例２　　

例３
　　　　

　同様の問題で３乗根の場合を、当ＨＰがいつもお世話になっているＳ（Ｈ）さんが提示され
た。（平成２１年２月８日付け）眼前にある小高い丘を少しずつ登ってみることにしよう。

問　題　　２重根号　　を外せ。

（解）　　、　　とおくと、　β＜α　で、

　　　　　　α³＋β³＝−３６　、　αβ＝−１

　　である。このとき、　α³＋β³＝（α＋β）³−３αβ（α＋β）＝−３６　より、

　　　　　　　　　　（α＋β）³＋３（α＋β）＋３６＝０

　　ｘ＝α＋β　とおくと、　ｘ³＋３ｘ＋３６＝０　で、　（ｘ＋３）（ｘ²−３ｘ＋１２）＝０

　　ｘ は実数なので、　ｘ²−３ｘ＋１２≠０　より、　ｘ＝−３

　　このとき、　α 、β　は、２次方程式　ｔ²＋３ｔ−１＝０　の解となる。

　　解の公式より、
　　　　　　　　　　　　　

　　よって、　β＜α　より、
　　　　　　　　　　　　　　　　　　　　（終）

（コメント）　３乗根の場合も、ごく特殊な場合しか２重根号は外れないと予想される。２乗根
　　　　　　のような簡便な公式を模索したが、果たして３乗根の場合も存在するのだろうか？
　　　　　　今後の研究課題としよう。上記の場合は、２次方程式の問題に翻訳されてたまた
　　　　　　ま求めることができたが、一般の場合に同様に求めることはほとんど不可能だろ
　　　　　　うと推察される。

問　題　　２重根号　　を外せ。

（解）　　、　とおくと、　β＜α　で、

　　　　　　α³＋β³＝４０　、　αβ＝２

　　である。このとき、　α³＋β³＝（α＋β）³−３αβ（α＋β）＝４０　より、

　　　　　　　　　　（α＋β）³−６（α＋β）−４０＝０

　　ｘ＝α＋β　とおくと、　ｘ³−６ｘ−４０＝０　で、　（ｘ−４）（ｘ²＋４ｘ＋１０）＝０

　　ｘ は実数なので、　ｘ²＋４ｘ＋１０≠０　より、　ｘ＝４

　　よって、　＝４　　（終）

問　題　　次の２重根号を外せ。
　　　　　　　　　　　　　　　　　　　　

（解）　　、　とおくと、　β＜α　で、

　　　　　　α³−β³＝２０　、　αβ＝２

　　である。このとき、　α³−β³＝（α−β）³＋３αβ（α−β）＝２０　より、

　　　　　　　　　　（α−β）³＋６（α−β）−２０＝０

　　ｘ＝α−β　とおくと、　ｘ³＋６ｘ−２０＝０　で、　（ｘ−２）（ｘ²＋２ｘ＋１０）＝０

　　ｘ は実数なので、　ｘ²＋２ｘ＋１０≠０　より、　ｘ＝２　すなわち、　α−β＝２

　　このとき、　α 、−β　は、２次方程式　ｔ²−２ｔ−２＝０　の解となる。

　　解の公式より、　ｔ＝１±

　　よって、　β＜α　より、　α＝１＋　、　−β＝１−　なので、

　　　　　　　　　　　（終）

問　題　　次の２重根号を外せ。
　　　　　　　　　　　　　　　　　　　

（解）
　　　　　　　

　　とおくと、　β＞α　で、　α³＋β³＝１０８　、　αβ＝６

　　である。このとき、　α³＋β³＝（α＋β）³−３αβ（α＋β）＝１０８　より、

　　　　　　　　　　（α＋β）³−１８（α＋β）−１０８＝０

　　ｘ＝α＋β　とおくと、　ｘ³−１８ｘ−１０８＝０　で、　（ｘ−６）（ｘ²＋６ｘ＋１８）＝０

　　ｘ は実数なので、　ｘ²＋６ｘ＋１８≠０　より、　ｘ＝６　すなわち、　α＋β＝６

　　このとき、　α 、β　は、２次方程式　ｔ²−６ｔ＋６＝０　の解となる。

　　解の公式より、　ｔ＝３±

　　よって、　β＞α　より、　α＝３−　、　β＝３＋　なので、

　　　　　　　　　　　（終）

（コメント）　最初は前問のように、普通に分子、分母をそれぞれ α 、 β とおいて計算した
　　　　　　ところ、計算に行き詰まってしまった。そこで、逆数を考え、積 αβ が整数になる
　　　　　　ように、α 、β の分子を工夫したところ、上手く計算が進んだ。 ヨカッタ〜！

　上記の問題をもっと自然に解くために、ある特殊な場合に限定されるが、３乗根の場合の
２重根号を外す公式を作ってみた。

　この公式は、平成２１年２月１１日付けの、当ＨＰがいつもお世話になっているＳ（Ｈ）さんの
コメントに触発されて作ったものである。Ｓ（Ｈ）さんに感謝します。

公　式　　実数 ａ 、ｋ　と正数　ｂ、ｍ　に対して、

　　ａ²−ｋ²ｂ＝ｍ　のとき、

　　　　　

　　ａ²−ｋ²ｂ＝−ｍ　のとき、

　　　　　

　上記で計算した２重根号に公式を適用してみよう。

例　　　の場合

　　　　　ｂ＝１３　として、　５２ｋ³＋３ｋｍ＝５　の解が簡単に見つからないので、

　　　　ｍ＝１　で、５２ｋ³−３ｋ＝５　としてみる。この方程式は、ｋ＝１/２　を解に持つ。

　　　　　４ａ³＋３ａ＝−１８　より、　ａ＜０　で、　４ａ³＋３ａ＋１８＝０

　　　　この３次方程式は、　ａ＝−３/２　を解に持つ。

　　　　このとき、　ａ²−ｋ²ｂ＝９/４−１３/４＝−１　が成り立つので、

　　　　　　　　　　


例　　　の場合

　　　　　ｂ＝２　として、　８ｋ³＋３ｋｍ＝１４　　ここで、ｍ＝２　としてみると、

　　　　８ｋ³＋６ｋ−１４＝０　は、明らかに　ｋ＝１　を解に持つ。

　　　　　４ａ³−６ａ＝２０　より、　４ａ³−６ａ−２０＝０　で、この３次方程式は、　ａ＝２　を

　　　　解に持つ。　このとき、　ａ²−ｋ²ｂ＝４−２＝２　が成り立つので、

　　　　　　　　＝２＋


例　　　の場合

　　　　　ｂ＝３　として、　１２ｋ³＋３ｋｍ＝６　の解が簡単に見つからないので、

　　　　１２ｋ³−３ｋｍ＝６　において、ｍ＝２　としてみると、　１２ｋ³−６ｋ−６＝０

　　　　この３次方程式は、明らかに　ｋ＝１　を解に持つ。

　　　　　４ａ³＋６ａ＝１０　より、　４ａ³＋６ａ＋１０＝０　で、明らかに解は、　ａ＝−１

　　　　このとき、　ａ²−ｋ²ｂ＝１−３＝−２　が成り立つので、

　　　　　　　　＝−１＋

　ここで、話を元に戻して、前述で、策を労した次の２重根号

　　　　　　　

に対して、いよいよ公式を適用してみることにしよう。

　そのために、根号内の分母を有理化すると　　となるので、

ｂ＝３　として、　１２ｋ³＋３ｋｍ＝−１５　において、　ｍ＝１　とすると、

３次方程式　１２ｋ³＋３ｋ＋１５＝０　において、明らかに　ｋ＝−１　を解に持つ。

　４ａ³−３ａ＝２６　より、　４ａ³−３ａ−２６＝０　で、明らかに解は、　ａ＝２

このとき、　ａ²−ｋ²ｂ＝４−３＝１　が成り立つので、

　　　　　　　　＝２−

（コメント）　このように考えると、この問題も他の問題と全く違和感がないですね！

問　題　　次の２重根号を外せ。

　　　　　　　　

（解）
　　　　　、　

　　とおくと、　β＜α　で、　α⁵＋β⁵＝６３２　、　αβ＝−６

　　である。このとき、

　　　　α⁵＋β⁵＝（α³＋β³）（α²＋β²）−α²β²（α＋β）

　　　　　　　　　＝｛（α＋β）³−３αβ（α＋β）｝｛（α＋β）²−２αβ｝−α²β²（α＋β）

　　　　　　　　　＝｛（α＋β）³＋１８（α＋β）｝｛（α＋β）²＋１２｝−３６（α＋β）

　　　　　　　　　＝６３２

　　ｘ＝α＋β　とおくと、　（ｘ³＋１８ｘ）（ｘ²＋１２｝−３６ｘ−６３２＝０　より、

　　　　　　ｘ⁵＋３０ｘ³＋１８０ｘ−６３２＝０

　　Ｆ（ｘ）＝ｘ⁵＋３０ｘ³＋１８０ｘ−６３２　とおくと、

　　　　Ｆ（２）＝２⁵＋３０・２³＋１８０・２−６３２＝３２＋２４０＋３６０−６３２＝０

　　よって、因数定理により、Ｆ（ｘ）は、ｘ−２ で割り切れる。

　　ところで、　Ｆ’（ｘ）＝５ｘ⁴＋９０ｘ²＋１８０＞０　より、　Ｆ（ｘ）は、単調に増加するので、

　　方程式　Ｆ（ｘ）＝ｘ⁵＋３０ｘ³＋１８０ｘ−６３２＝０　の解は、　ｘ＝２　のみである。

　　　したがって、　＝２　となる。　　（終）

（コメント）　超〜複雑っぽい数が、たった「２」とは不思議ですね！
　　　　　　（→　参考 ：「見かけは悪いが美しい数」）

　　　　　α＋β＝２　、　αβ＝−６　なので、 α 、β　は、２次方程式　ｔ²−２ｔ−６＝０

　　　　の解となる。　解の公式より、　ｔ＝１±

　　　　　よって、　β＜α　より、　α＝１＋　、　β＝１−　である。

問　題　　次の２重根号を外せ。
　　　　　　　　　　　　　　　　　　　

　　　　　　　　　　答えは、
　　　　　　　　　　　　　　　　

　二重根号を外す問題は、ガロアの理論と密接に関係している。以下では、このことについ
て整理したいと思う。

　２００６年度後期に、上智大学理工学部数学科３年生を対象に行われた角皆先生の講義
録や演習、課題レポートが大いに参考になった。ここに感謝の意を表したい。

　まず、次の問題を考えることにする。

問　題　　　について、

（１）　２重根号を外せ。

（２）　α の有理数体Ｑ上の最小多項式を求めよ。また、拡大次数 ［Ｑ（α）：Ｑ］ を求めよ。

（３）　その方程式を、Ｆｅｒｒａｒｉ の方法で解いてみよ。

（４）　Ｑ（α）＝Ｑ（，）　となる ａ 、ｂ ∈Ｚ があれば求めよ。

（解）　（１）は易しいだろう。　　となる。

　　（２）　（α²−５）²＝２４　から、　α⁴−１０α²＋１＝０

　　　　　したがって、代数的数 α の最小多項式は、　ｘ⁴−１０ｘ²＋１　となる。

　　　　　（厳密には、ｘ⁴−１０ｘ²＋１　がＱ上既約であることを示さなければならないが、
　　　　　　ｘ⁴−１０ｘ²＋１
　　　　　　＝（ｘ²−５＋２）（ｘ²−５−２）
　　　　　　＝（ｘ＋＋）（ｘ＋−）（ｘ−＋）（ｘ−−）
　　　　　　から明らかだろう。）

　　　　　　よって、拡大次数 ［Ｑ（α）：Ｑ］＝４　となる。

　　　　　　　（２重根号が外れるとき、方程式自体が特殊な形になるような．．．予感！）

　　（３）　Ｆｅｒｒａｒｉ の方法により、　ｘ⁴−１０ｘ²＋１＝０　を解くために適当なλを用いて、

　　　　　　　　　　　　　　　　　ｘ⁴＝１０ｘ²−１

　　　　　　　　ｘ⁴＋２λｘ²＋λ²＝１０ｘ²−１＋２λｘ²＋λ²

　　　　　　　　　　　　　（ｘ²＋λ）²＝（２λ＋１０）ｘ²＋λ²−１

　　　　　と式変形するとき、右辺が完全平方式になればよい。

　　　　　　すなわち、判別式を Ｄ とすると、

　　　　　　Ｄ＝０²−４（２λ＋１０）（λ²−１）＝−８（λ＋５）（λ＋１）（λ−１）＝０
　　　　　　　　　　　　　　　　　　　　　（このようなλに関する方程式を「分解方程式」というらしい。）

　　　　　　　よって、　λ＝−５　、−１　、１

　　　　　λ＝−５　のとき、　（ｘ²−５）²＝２４　において、

　　　　　　　　ｘ²−５＝±２　より、　ｘ²＝５±２

　　　　　　　　　ここで、　　なので、

　　　　　　　　　　ｘ＝±（±）　（複号任意）　となる。

　　　　　λ＝−１　のとき、　（ｘ²−１）²＝８ｘ²　において、

　　　　　　　　ｘ²−１＝±２ｘ　より、　ｘ²±２ｘ−１＝０

　　　　　　　よって、　ｘ＝±±　（複号任意）　となる。　（←２重根号が外れている！）

　　　　　λ＝１　のとき、　（ｘ²＋１）²＝１２ｘ²　において、

　　　　　　　　ｘ²＋１＝±２ｘ　より、　ｘ²±２ｘ＋１＝０

　　　　　　　よって、　ｘ＝±±　（複号任意）　となる。　（←２重根号が外れている！）

　　（４）　（１）より、　Ｑ（α）＝Ｑ（，）　なので、　ａ＝２、ｂ＝３　と言える。　（終）

（コメント）　上記の計算（３）より、（１）のような２重根号を外す公式を知らなくても、

　　　　　　　　　　　　

　　　　　　であることが分かるようだ。方程式を解く過程で、自然に２重根号が外れるのに
　　　　　　は感動しました！

　それでは、　　については、どのような計算結果が待ち受けているのだ
ろうか？ 上記の α と同様の問題を考えてみよう。

　まず、　ａ＋ｂ＝１０　、ａｂ＝１７　となる ａ 、 ｂ （ａ＞ｂ）は、２次方程式　ｔ²−１０ｔ＋１７＝０

の解なので、　ｔ＝５±２　である。

　したがって、無理をして強引に２重根号を外そうと頑張ってみるのだが、

　　　　　　

となるだけで、永遠に２重根号は外れそうにない雰囲気！この原因はどこにあるのだろう？

　すぐ気がつくことは、２次方程式　ｔ²−１０ｔ＋１７＝０　が、整数解を持たないからだ！整数
解さえ持ってくれば、２重根号は必ず外れるのに．．．。

　ところで、（β²−１０）²＝６８　から、　β⁴−２０β²＋３２＝０

　　　　　したがって、代数的数 β の最小多項式は、　ｘ⁴−２０ｘ²＋３２　となる。

Ｆｅｒｒａｒｉ の方法により、　ｘ⁴−２０ｘ²＋３２＝０　を解くために適当なλを用いて、

　　　　　　　　　　　　　　　　　ｘ⁴＝２０ｘ²−３２

　　　　　　　　ｘ⁴＋２λｘ²＋λ²＝２０ｘ²−３２＋２λｘ²＋λ²

　　　　　　　　　　　　　（ｘ²＋λ）²＝（２λ＋２０）ｘ²＋λ²−３２

　　　　　と式変形するとき、右辺が完全平方式になればよい。

　　　　　　すなわち、判別式を Ｄ とすると、

　　　Ｄ＝０²−４（２λ＋２０）（λ²−３２）＝−８（λ＋１０）（λ＋４）（λ−４）＝０

　　　　　　　よって、　λ＝−１０　、−４　、４

　　　　　λ＝−１０　のとき、　（ｘ²−１０）²＝６８　において、

　　　　　　　　ｘ²−１０＝±２　より、　ｘ²＝１０±２

　　　　　　　　　ここで、　　なので、

　　　　　　　　　　ｘ＝±（）　（複号任意）　となる。

　　　　　λ＝−４　のとき、　（ｘ²−４）²＝（２０−８）ｘ²

　　　　　λ＝４　のとき、　（ｘ²−４）²＝（２０−８）ｘ²

　　　　　　　　これらも全く２重根号が外れる気配は皆無だ！（計算打ち切り）

（追記）　平成２２年２月８日付け

　「２重根号が外せるか否かの一般化」と題して、当ＨＰの掲示板「出会いの泉」に、２月４日
付けでＨＮ「Ｈ．Ｉ．」さんより書き込みがあった。

　２重根号が外せるかどうかの判定の一般化について考えたことがあり、少し式をいじって
みたところ、以下のような公式めいたものを得ることが出来ました。

　Ａ、Ｂ、Ｃを正の有理数（Ａ＞Ｃ＞０　かつ　Ｂ＞０　で　√Ｂは無理数）とする。

Ａ²−４Ｂ＝Ｃ²　を満たすＣが存在するとき、２重根号　　は外せて、

　　　　　　　　　
になる。

例　　Ａ＝５、Ｂ＝６　のとき、　Ａ²−４Ｂ＝２５−２４＝１＝１²　より、　Ｃ＝１　なので、

　　　　　　　　
　　になる。

　ただ、上記の公式で気になることが２つあります。

　　（１）判別式「Ａ²−４Ｂ＝Ｃ²　」の形で、不定方程式的な何かの匂いは感じるのですが、
　　　　各変数が有理数なのでこれをどうにかすると、もっとより一般的な議論が出来るの
　　　　か、あるいはそうではないのか。

　　（２）上記判別式で、Ｃの値が虚数になった場合、この式がどういった意味合いを持って
　　　　くるのか。

　以上の疑問点について、何かご教示くだされば幸いです。

　２重根号を外す公式　　　ａ＞ｂ＞０　のとき、

　　　　　　　　　　

より、２重根号　が外れるためには、Ａ＝ａ＋ｂ、Ｂ＝ａｂ　となる正の有理数 ａ 、

ｂ が見つかればよい。Ｈ．Ｉ．さんは、 ａ 、ｂ を見つけるために、２次方程式　ｘ²−Ａｘ＋Ｂ＝０

を考えられ、判別式 Ｄ＝Ａ²−４Ｂが完全平方（＝Ｃ²）になる場合に２重根号が外せることを

示しているが、この理論はここまでで、それ以上の進展は期待できないような、そんな．．．

予感。　・・・・・　（１）の回答（_カナ？）

　また、Ｄ＜０　のときは、正の有理数 ａ 、ｂ は存在し得ないので、２重根号は外せない。

・・・・・　これは、（２）の回答になっていないことが判明しました！（平成２８年９月２４日付け）


（追記）　当ＨＰ読者のＨＮ「Ｒｅｎ」さんから二重根号を外す問題をいただきました。
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　（平成２８年９月２４日付け）

　次の２重根号　√(4＋3)　を外してください。（ちなみにちゃんと外れます。）


　DD++さんからのコメントです。（平成２８年９月２４日付け）

　√(4＋3)＝⁴√８＋⁴  （※　⁴√：４乗根）　ということでしょうか？


　よおすけさんからのコメントです。（平成２８年９月２５日付け）

　このままでは困難なので、　√(3＋4)=α、√(3−4)=β　とする。（ただし、α＞β）

これから、　α²＋β²=6　、αβ=　が得られ、α²＋β²=(α＋β)²-2αβ=6

より、　(α＋β)²=8　が成り立つ。このとき、α＞0、β＞0　で、α＋β＞0　より、

　α＋β=√(8)=√√128=⁴√16×⁴√8=２・⁴√8

　よって、αとβは、ｘ の２次方程式 ｘ²−２ｘ・⁴√8＋＝０　の２つの解。これを解いて、

　ｘ＝⁴√８＋⁴　、⁴√８−⁴

　ここで、α＞βより、　α＝√(3＋4)＝⁴√８＋⁴


（コメント）　Ｈ．Ｉ．さんからの質問で、Ｒｅｎさんの問題は、Ｄ＝−２＜０　の場合にも２重根号
　　　　　　が外せる例があることを示しています。Ｒｅｎさんに感謝します。


　Ｒｅｎさんからのコメントです。（平成２８年９月２５日付け）

　DD++さん、よおすけさん、解答ありがとうございます。私としては、最初に、⁴をくくりだし
て解く方法を想定していたんですが、別解を知ることができました。ありがとうございます。


（コメント）　Ｒｅｎさんの解法を再現？

　√(3＋4)＝⁴＝⁴（＋１）＝⁴√８＋⁴

　Ｒｅｎさんの問題では、Ｄ＝−２＜０　だったので、Ｄ＞０の形に持って行くには、根号の中
のの位置を逆に持って行けばよいという発想ですね！そうすれば、√＝⁴で括る
という発想が決して突飛なものではなく自然な発想であるということが合点いきます。


　Ｒｅｎさんから問題をいただきました。（平成２９年４月１９日付け）

　平方根内に三乗根がある形です。

　√([3]√(28)-3)の二重根号を外してください。([3]√は三乗根のことです。)


　らすかるさんからのコメントです。（平成２９年４月１９日付け）

　√([3]√28-3) = ([3]√98-[3]√28-1)/3


　Ｒｅｎさんからのコメントです。（平成２９年４月１９日付け）

　らすかるさん　ありがとうございます。答えは、([3]√(98)-[3]√(28)-1)/3です。以下は想定
していた解法です。

　x=√([3]√(28)-3)とすると、x^6+9x^4+27x^2-1=0　となる。また、この式の解のうち二つは
±√([3]√(28)-3)である。

　ここで、x^6+9x^4+27x^2-1=(x^3+ax^2+bx+c)(x^3-ax^2+bx-c)　とすると、x^3+ax^2+bx+c=0

の実数解のうち1つは、±√([3]√(28)-3)　のどちらか一方である。a=1,b=5,c=-1は条件を満
たす。

　x^3+x^2+5x-1=0の実数解を求めると、x=([3]√(98)-[3]√(28)-1)/3
これは、√([3]√(28)-3)　に等しい。


　らすかるさんからのコメントです。（平成２９年４月１９日付け）

　私は、次のように解きました。

　t=[3]√28 とします。(a+bt+ct^2)^2=t-3 とおいて、t^3=28に注意して展開整理すると、

　　(b^2+2ac)t^2+(28c^2+2ab-1)t+(a^2+56bc+3)=0

　b^2+2ac=0、28c^2+2ab-1=0、a^2+56bc+3=0 という連立方程式を解くと、解の一つ(適解)は

　　 (a,b,c)=(-1/3,-1/3,1/6)

　これを　√(t-3)=a+bt+ct^2 に代入して整理すると、√([3]√28-3) = ([3]√98-[3]√28-1)/3


　Ｒｅｎさんからのコメントです。（平成２９年４月２０日付け）

　なるほど、ありがとうございます。


　DD++さんからのコメントです。（平成２９年４月２０日付け）

　√(2-√3) みたいなものだと、

　α=√(2-√3), β=√(2+√3) とおいて、α^2+β^2=4 と αβ=1 から　(α+β)^2=6 より
α+β=√6　(α-β)^2=2 より α-β=-√2　これらを加えて2で割ると α=(√6-√2)/2

という解き方ができるわけですが、√([3]√28-3) も同様にトリオになる無理数（あるいは虚
数？）をあと2つ用意して解くことはできないものでしょうか？


　Ｒｅｎさんからのコメントです。（平成２９年４月２０日付け）

　根号内に虚数がはいってもいいなら、

　α=√([3]√28-3)、β=√(ω[3]√28-3)、γ=√(ω^2[3]√28-3)

として、αβγ、αβ+βγ+γα、α+β+γを求めるといけます。


　DD++さんからのコメントです。（平成２９年４月２０日付け）

　√x の定義は、　x≧0 に対しては「二乗してxになる非負実数」、x<0 に対しては「i√(-x)」
なんですが、xが虚数の場合については定義されていなかったような……。


　Ｒｅｎさんからのコメントです。（平成２９年４月２０日付け）

　そうでしたか。α^2=[3]√(28)-3,β^2=ω[3]√(28)-3,γ^2=ω^2[3]√(28)-3　としたらいい
ですか？


　DD++さんからのコメントです。（平成２９年４月２０日付け）

　そうすると、今度はβとγが2通りずつ考えられて、α+β+γとかで、どっちを使えばいい
のかという話になります。しかも、α+β+γを計算する方針を取るとして、具体的にどうやっ
て？ というのも。


　Ｒｅｎさんからのコメントです。（平成２９年４月２０日付け）

　β,γはどちらを採用するのかはわかりません。すみません。

　βとγを共役とする。また、α＞0

　α^2β^2γ^2=1、α^2β^2+β^2γ^2+γ^2α^2=27、α^2+β^2+γ^2=-9

となる。βγ＞0　より、αβγ=1

　この解の一つは、α+β+γ=-1、αβ+βγ+γα=5 　説明不足でした。すみません。

　β,γの実部をかんがえたらいけそうなのですが。


（追記）　令和２年７月２６日付け

　最近、２重根号を外す問題に触れる機会があり、久々に考えてみた。

（参考文献）　内藤康正　著　「２重根号の計算あれこれ」　数研通信　No．９７（数研出版）

問題　　√（２＋√６）√（√２＋√６）を簡単にせよ。

（解）　（２＋√６）（√２＋√６）

　　　＝２√２＋２√６＋２√３＋６

　　　＝（１＋２＋３）＋２（１・√２）＋２√２・√３＋２（１・√３）　と考えれば、

　　（２＋√６）（√２＋√６）＝（１＋√２＋√３）²　と式変形出来る。

　よって、　√（２＋√６）√（√２＋√６）＝１＋√２＋√３　である。　　（終）

　同様にして、次の問題も解かれる。

問題　　√（８−２√１３）√（４−√３）を簡単にせよ。

（解）　（８−２√１３）（４−√３）

　　　＝３２−８√３−８√１３＋２√３９

　　　＝（１６＋３＋１３）−２（４・√３）−２（４・√１３）＋２√３・√１３　と考えれば、

　　（８−２√１３）（４−√３）＝（４−√３−√１３）²　と式変形出来る。

　　４−√３−√１３＜０　に注意して、

　√（８−２√１３）√（４−√３）＝−４＋√３＋√１３　である。　　（終）


（コメント）　何れも柔軟な思考力を問われる問題である。


　また、一手間加えることにより、２重根号が外せる場合もあるということで、次の問題には
感心させられました。

問題　　√（７√２−４√３）−√（１０√２−８√３）を簡単にせよ。

（解）　√（７√２−４√３）−√（１０√２−８√３）

　　＝√（７√２−２√１２）−√（１０√２−２√４８）

　　＝⁴√２√（７−２√６）−⁴√２√（１０−２√２４）

　　＝⁴√２（√６−１）−⁴√２（√６−２）

　　＝⁴√２　　（終）


　同様にして、次の問題も解かれる。

問題　　√（１０＋２√４５）　を簡単にせよ。

（解）　√（１０＋２√４５）

　　＝⁴√５√（２√５＋６）

　　＝⁴√５（√５＋１）

　　＝⁴√１２５＋⁴√５　　（終）



　　　以下、工事中