文献あり

根号内に平方根と立方根を有する「外れる二重根号」

737

　本記事は私が3年前に書いた記事および私が10ヶ月前に書いた記事の続編となります。これらを読まなくても、以下の内容を理解するうえで支障はないです。読みたければ上のリンクからどうぞ。
　また、文献をあまり調べていないため、既知の結果が含まれている可能性を否定できません。

　毎度おなじみ^[要出典]、「いかなる指摘や非難も受けつける」という目的のためだけに初心者設定をしていない実質初心者こと、匿(Tock) でございます。今回も根性とともに色々な二重根号を見ていきましょう。

今来た一行

　 $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ という形の、外れる二重根号を探します( $a, b, c, n, x, y$ はいずれも整数)。メインは後半。

研究の経緯

　以前、私は二重根号に関する3つの不思議な公式（＋それらの公式から得られる多数の等式）なる記事を書きました。ここで紹介した二重根号の等式を抜き出し、 Wikipedia で紹介されているそれと比較してみましょう。

私の記事	Wikipedia
$\sqrt{{(5 + 3 \sqrt{3} + 2 \sqrt{5})}^{2} + 4 \sqrt{11}} = \dots$	$\sqrt[4]{\frac{3 + 2 \sqrt[4]{5}}{3 - 2 \sqrt[4]{5}}} = \dots$
$\sqrt{22 + 9 \sqrt{2} + \sqrt{7} + \sqrt{10}} = \dots$	$\sqrt[3]{\sqrt[5]{\frac{32}{5}} - \sqrt[5]{\frac{27}{5}}} = \dots$
$⋮$	$⋮$

　非自明であるという点においては、双方とも大差ありませんね。根号内の美しさではWikipedia側に軍配が上がりそうですが。
　とはいえ、もっと根本を見つめ直しましょう。じーっ……。

「私の記事、平方根しか出てこないな？」

　ということで。今回は立方根を登場させます。立方根の絡んだ二重根号について、いい感じの公式を探索します。
　ただし、 $\sqrt[n]{a \sqrt[3]{x} \pm b \sqrt[3]{y}}$ という形の二重根号( $n \geq 2$ )は様々な論文で既に研究されており、例えば Denesting certain nested radicals of depth two では $\begin{array}{r} \sqrt{m \sqrt[3]{4 m - 8 n} + n \sqrt[3]{4 m + n}} = \pm \frac{1}{3} (\sqrt[3]{{(4 m + n)}^{2}} + \sqrt[3]{4 (m - 2 n) (4 m + n)} - \sqrt[3]{2 {(m - 2 n)}^{2}}) \end{array}$ という汎用性しかない公式が紹介されています。
　ゆえに、少しでもオリジナリティを出すべく、別の形を想定します。具体的には、 $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ のような形をした二重根号を研究対象に選びます( $a, b, c, n, x, y$ はいずれも整数)。

探索の手法

　いくら根性を用意したとしても、時間と数学力には限りがあります。
　例えば、任意に数値を代入して $\sqrt[3]{1000 + 129 \sqrt{21} - 1270 \sqrt[3]{2}}$ という二重根号を得たとしましょう。当然、こう言いたくなります。
「これ、外せるか……？」
　そう、ディネスティング( $n$ 重根号を $(n - 1)$ 重以下の根号に書き換えること)可能か否かなど、一瞥だけで判るはずがありませんね。結論を言うと、物凄く頑張れば $\begin{array}{r} \sqrt[3]{1000 + 129 \sqrt{21} - 1270 \sqrt[3]{2}} = \frac{10 (4 \sqrt[3]{4} + 2 \sqrt[3]{2} - 5)}{\sqrt[3]{9} (\sqrt{21} - 1)} - 4 \sqrt[3]{6} \end{array}$ と外せるのですが、このような作業をすべての代入に対して実施したら人類滅亡のほうが先に来てしまいます。
　ですから、すべてを見つけることは諦めます。手の届く範囲で「外せる二重根号の生成公式」を探索し、そこに値を代入してこういった非自明な等式を得る、と、逆方向からアプローチします。

人は補題なしに生きられない

　それでは、「外せる二重根号の生成公式」とやらを作ってみましょう。まず、誰証が明見をて丸も投明げらしかたない補題を2つ用意します。

補題1.1　(証明略)

${\begin{aligned} ζ_{1} (x) & = x - 1 \\ ζ_{2} (x) & = x^{2} + x + 1 \\ ζ_{3} (x) & = x - 1 \end{aligned} ⟹ ζ_{1} (x) ζ_{2} (x) = ζ_{3} (x^{3})$

補題1.2

${\begin{aligned} ζ_{1} (x, y) & = x^{2} + x - y \\ ζ_{2} (x, y) & = x^{4} - x^{3} + (y + 1) x^{2} + x y + y^{2} \\ ζ_{3} (x, y) & = x^{2} + (3 y + 1) x - y^{3} \end{aligned} ⟹ ζ_{1} (x, y) ζ_{2} (x, y) = ζ_{3} (x^{3}, y)$

補題1.2の証明

　有名な等式 $\begin{array}{r} (X + Y + Z) (X^{2} + Y^{2} + Z^{2} - X Y - Y Z - Z X) = X^{3} + Y^{3} + Z^{3} - 3 X Y Z \end{array}$ に $X = x^{2},$ $Y = x,$ $Z = - y$ を代入すれば、所望の式を得る。 $◼$

　どちらの補題も、結論が(多項式)×(多項式)=(多項式中の $x$ に $x^{3}$ を代入した式)という形をしています。この事実を胸に留めておいてください。

　続いて、以下の補題を考えます。

補題1.3

　 $ζ_{1}, ζ_{2}, ζ_{3}$ を整数次多項式とする。 $ζ_{1} (x, y) ζ_{2} (x, y) = ζ_{3} (x^{3}, y)$ のとき、有理数係数整数次多項式 $η$ を用いて $U (x, y) = ζ_{1} (x, y) \sqrt{η (x^{3}, y)} + ζ_{2} (x, y)$ と定めると、 ${U (\sqrt[3]{x}, y)}^{2}$ を展開した式に現れる根号の種類は高々 $\sqrt[3]{x}, \sqrt[3]{x^{2}}, \sqrt{η (x, y)}$ の3種である。
　言い換えると、ある整数次多項式 $α, β, γ, δ$ が存在して、
$\begin{array}{r} {U (\sqrt[3]{x}, y)}^{2} = α + β \sqrt{η (x, y)} + γ \sqrt[3]{x} + δ \sqrt[3]{x^{2}} \end{array}$ と表せる。

補題1.3の証明

$\begin{aligned} {U (\sqrt[3]{x}, y)}^{2} & = ({ζ_{1} (\sqrt[3]{x}, y)}^{2} η ({\sqrt[3]{x}}^{3}, y) + {ζ_{2} (\sqrt[3]{x}, y)}^{2}) + 2 ζ_{1} (\sqrt[3]{x}, y) ζ_{2} (\sqrt[3]{x}, y) \sqrt{η ({\sqrt[3]{x}}^{3}, y)} \\ = \underset{\sqrt[3]{x}, \sqrt[3]{x^{2}} のみが登場する式}{\underset{⏟}{({ζ_{1} (\sqrt[3]{x}, y)}^{2} η (x, y) + {ζ_{2} (\sqrt[3]{x}, y)}^{2})}} + 2 ζ_{3} (x, y) \sqrt{η (x, y)} \dots (i) \end{aligned}$ と計算できる。 $ζ_{1}, ζ_{2}, ζ_{3}, η$ はいずれも整数次の多項式であるから、 $(i)$ の展開に $\sqrt[3]{x}, \sqrt[3]{x^{2}}, \sqrt{η (x, y)}$ 以外の根号は含まれない。 $◼$

生成メソッドは非常に簡単

　準備が整いました。この補題1.3に補題1.1の式を代入してみると、
$\begin{array}{r} {(\underset{ζ_{1} (\sqrt[3]{x}, y)}{\underset{⏟}{(\sqrt[3]{x} - 1)}} \sqrt{η (x, y)} + \underset{ζ_{2} (\sqrt[3]{x}, y)}{\underset{⏟}{\sqrt[3]{x^{2}} + \sqrt[3]{x} + 1}})}^{2} = α + β \sqrt{η (x, y)} + γ \sqrt[3]{x} + δ \sqrt[3]{x^{2}} \dots (i i) \end{array}$ を満足する多項式 $α, β, γ, δ$ が存在するといえます。 $(i i)$ の左辺を根性で展開し、 $γ$ と $δ$ を計算します。
$\begin{aligned} {((\sqrt[3]{x} - 1) \sqrt{η (x, y)} + \sqrt[3]{x^{2}} + \sqrt[3]{x} + 1)}^{2} \\ = \underset{α}{\underset{⏟}{η (x, y) + 2 x + 1}} + \underset{β}{\underset{⏟}{2 (x - 1)}} \sqrt{η (x, y)} + \underset{γ}{\underset{⏟}{(- 2 η (x, y) + x + 2)}} \sqrt[3]{x} + \underset{δ}{\underset{⏟}{(η (x, y) + 3)}} \sqrt[3]{x^{2}} \end{aligned}$
$⟹ {\begin{aligned} γ & = - 2 η (x, y) + x + 2 \\ δ & = η (x, y) + 3 \end{aligned}$

　まず $δ$ に注目しましょう。もしも $δ = 0$ が成り立つならば、 $(i i)$ の両辺の平方根をとると
$\begin{array}{r} (\sqrt[3]{x} - 1) \sqrt{η (x, y)} + \sqrt[3]{x^{2}} + \sqrt[3]{x} + 1 = \sqrt{α + β \sqrt{η (x, y)} + γ \sqrt[3]{x}} \end{array}$ となって、二重根号を含まない式(左辺)と $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ 型の二重根号(右辺)がイコールで結ばれます。
　このとき明らかに $η (x, y) = - 3$ ですから、上の式は以下のように整理されます。
$\begin{array}{r} (\sqrt[3]{x} - 1) \underset{\sqrt{η (x, y)}}{\underset{⏟}{\sqrt{3} i}} + \sqrt[3]{x^{2}} + \sqrt[3]{x} + 1 = \pm (\sqrt{a + b \sqrt{3} i + c \sqrt[3]{x}} 型の二重根号) \dots (i i i) \end{array}$ 　虚数単位 $i$ を登場させてしまいましたが、確かに目的通り「外せる二重根号の生成公式」を作れました。
　実際、任意の値、例えば $x = 2$ などを $(i i i)$ に代入すると、
$\begin{array}{r} \frac{1}{\sqrt{2}} ((\sqrt[3]{2} - 1) \sqrt{3} i + \frac{1}{\sqrt[3]{2} - 1}) = \pm \sqrt{1 + \sqrt{3} i + 5 \sqrt[3]{2}} \end{array}$ といった式を生成できて、公式の威力を実感できます(左辺を2乗すると右辺の根号内の式になる)。

手法の応用

　前節では、 $(i i)$ の $δ = 0$ となるケースを考えました。 $δ = 0$ の代わりに $γ = 0$ のケースを考えれば、どうなるでしょうか。既に $γ = - 2 η (x, y) + x + 2$ を計算しているので、今回は $η (x, y) = \frac{x}{2} + 1$ とすればよいですね。整理すれば、
$\begin{array}{r} (\sqrt[3]{x} - 1) \underset{\sqrt{η (x, y)}}{\underset{⏟}{\sqrt{\frac{x}{2} + 1}}} + \sqrt[3]{x^{2}} + \sqrt[3]{x} + 1 = (\sqrt{a + b \sqrt{\frac{x}{2} + 1} + c \sqrt[3]{x^{2}}} 型の二重根号) \dots (i v) \end{array}$ と書けます。おしまい。

報われる人は努力しているらしい

　論点チェンジ。今度は補題1.3に補題1.2の式を代入します。
$\begin{array}{r} {(\underset{ζ_{1} (\sqrt[3]{x}, y)}{\underset{⏟}{(\sqrt[3]{x^{2}} + \sqrt[3]{x} - y)}} \sqrt{η (x, y)} + \underset{ζ_{2} (\sqrt[3]{x}, y)}{\underset{⏟}{(y + 1) \sqrt[3]{x^{2}} + (x + y) \sqrt[3]{x} - x + y^{2}}})}^{2} = α + β \sqrt{η (x, y)} + γ \sqrt[3]{x} + δ \sqrt[3]{x^{2}} \dots (v) \end{array}$ 　心が折れそうですね。耐えましょう。ちなみに代入が変わったので $α$ ～ $δ$ の中身も変わっています。
　先程と同様に展開し、 $γ, δ$ を求めます。
$\begin{aligned} {((\sqrt[3]{x^{2}} + \sqrt[3]{x} - y) \sqrt{η (x, y)} + (y + 1) \sqrt[3]{x^{2}} + (x + y) \sqrt[3]{x} - x + y^{2})}^{2} \\ = \underset{α}{\underset{⏟}{(2 x + y^{2}) η (x, y) + (2 y + 3) x^{2} + 2 x y + y^{4}}} \\ + \underset{β}{\underset{⏟}{2 (x^{2} + (3 y + 1) x - y^{3})}} \sqrt{η (x, y)} \\ + \underset{γ}{\underset{⏟}{((x - 2 y) η (x, y) - 2 x^{2} + (3 y^{2} + 1) x + 2 y^{3})}} \sqrt[3]{x} \\ + \underset{δ}{\underset{⏟}{(- (2 y - 1) η (x, y) + x^{2} - 2 x + (2 y + 3) y^{2})}} \sqrt[3]{x^{2}} \end{aligned}$
$⟹ {\begin{aligned} γ & = (x - 2 y) η (x, y) - 2 x^{2} + (3 y^{2} + 1) x + 2 y^{3} \\ δ & = - (2 y - 1) η (x, y) + x^{2} - 2 x + (2 y + 3) y^{2} \end{aligned}$ 　心が折れましたね。それでも耐えましょう。
　 $γ = 0$ のとき $η (x, y) = \frac{2 x^{2} - (3 y^{2} + 1) x - 2 y^{3}}{x - 2 y}$ です。したがって、以下の生成公式が導かれます。
$\begin{aligned} (\sqrt[3]{x^{2}} + \sqrt[3]{x} - y) \underset{\sqrt{η (x, y)}}{\underset{⏟}{\sqrt{\frac{2 x^{2} - (3 y^{2} + 1) x - 2 y^{3}}{x - 2 y}}}} + (y + 1) \sqrt[3]{x^{2}} + (x + y) \sqrt[3]{x} - x + y^{2} \\ = (\sqrt{a + b \sqrt{\frac{2 x^{2} - (3 y^{2} + 1) x - 2 y^{3}}{x - 2 y}} + c \sqrt[3]{x^{2}}} 型の二重根号) \dots (v i^{'}) \end{aligned}$ 　……ええ、生成公式です。誰がなんと言おうと、これは外せる二重根号の生成公式です。
　それを確かめるため、例えば $x = y = \frac{1}{2}$ のときを考えましょう(どんな値でも構いません)。このとき $\frac{2 x^{2} - (3 y^{2} + 1) x - 2 y^{3}}{x - 2 y} = \frac{5}{4}$ ですから、ひたすら計算すると
$\begin{array}{r} \frac{2 \sqrt[3]{4} + 3 \sqrt[3]{2} - 1 + \sqrt{5} (\sqrt[3]{4} + \sqrt[3]{2} - 1)}{\sqrt{2}} = \sqrt{25 + 11 \sqrt{5} + \sqrt[3]{2}} \dots (v i^{″}) \end{array}$ が出てきます。確かに生成できましたね。万歳。

【余談】天才っぽく振る舞う方法
　もしも「 $(v i^{″})$ の左辺をもっと非自明に表記して天才になった気分を味わいたい！」とお考えであれば、 $ζ_{1} (\sqrt[3]{x}, y) ζ_{2} (\sqrt[3]{x}, y) = ζ_{3} (x, y)$ から導かれる
$\begin{aligned} (\sqrt[3]{4} + \sqrt[3]{2} - 1) (2 \sqrt[3]{4} + 3 \sqrt[3]{2} - 1) & = 11 \end{aligned}$ を利用しましょう。実際に利用すれば以下のようになります。良いですね(主観)。
$\begin{array}{r} \sqrt{25 + 11 \sqrt{5} + \sqrt[3]{2}} = \frac{11 + \sqrt{5} {(\sqrt[3]{4} + \sqrt[3]{2} - 1)}^{2}}{\sqrt{2} (\sqrt[3]{4} + \sqrt[3]{2} - 1)} = \frac{11 + \sqrt{5} (5 - \sqrt[3]{4})}{\sqrt{2} (\sqrt[3]{4} + \sqrt[3]{2} - 1)} \end{array}$

　次。 $(v)$ で $δ = 0$ のケースです。同様の手順で、以下の生成公式に還元されます。←説明が面倒になりつつある
$\begin{aligned} (\sqrt[3]{x^{2}} + \sqrt[3]{x} - y) \underset{\sqrt{η (x, y)}}{\underset{⏟}{\sqrt{\frac{x^{2} - 2 x + (2 y + 3) y^{2}}{2 y - 1}}}} + (y + 1) \sqrt[3]{x^{2}} + (x + y) \sqrt[3]{x} - x + y^{2} \\ = (\sqrt{a + b \sqrt{\frac{x^{2} - 2 x + (2 y + 3) y^{2}}{2 y - 1}} + c \sqrt[3]{x}} 型の二重根号) \dots (v i) \end{aligned}$ 　ここで一旦IQを30ほど上げてみると、あることに気がつきます。
「 $(v i^{'})$ の左辺に $(x, y) = (\frac{1}{x}, \frac{y}{x})$ を代入して $x^{2}$ 倍すれば、 $(v i)$ の左辺と一致するね？」
　はい、その通りです。2つの生成公式を導いたつもりでしたが、事実上これらは1つだったのです。無念……。

ここから探索難易度が跳ね上がる

　 $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ 型の二重根号で外れるものを探す、という目的で始まった本記事ですが、今のところ $n = 2$ の場合しか探索できていません。もっと探したいですね。
　序盤で登場した $\sqrt[3]{1000 + 129 \sqrt{21} - 1270 \sqrt[3]{2}}$ を覚えていますか？　今思えば、これは $n = 3$ の場合に相当します。ですから、 $n = 3$ の場合くらいは頑張りましょう。

補題2.1

${\begin{aligned} ζ_{1} (x, y) & = x^{2} + x - y \\ ζ_{2} (x, y) & = x^{2} - (2 y + 1) x - y \\ ζ_{3} (x, y) & = 4 (y + 1) (x^{2} + (3 y + 1) x - y^{3}) \\ η (x, y) & = 4 y + 1 \end{aligned} ⟹ ζ_{1} (x, y) (η (x, y) ζ_{1} (x, y)^{2} + 3 ζ_{2} (x, y)^{2}) = ζ_{3} (x^{3}, y)$

補題2.1の証明

$\begin{array}{r} η (x, y) ζ_{1} (x, y)^{2} + 3 ζ_{2} (x, y)^{2} = 4 (y + 1) (x^{4} - x^{3} + (y + 1) x^{2} + x y + y^{2}) \end{array}$ と計算できるため、補題1.2より従う。我ながら $ζ_{2}, η$ をどうやって見つけたのだろう。 $◼$

　ついてきていますか？　割と大変な計算をしましたよ。

　 $n = 3$ の場合には、補題1.3の代わりに以下の補題2.2を用います。

補題2.2

　 $ζ_{1}, ζ_{2}, ζ_{3}, η$ を整数次多項式とする。 $ζ_{1} (x, y) (η (x, y) ζ_{1} (x, y)^{2} + 3 ζ_{2} (x, y)^{2}) = ζ_{3} (x^{3}, y)$ のとき、 $U (x, y) = ζ_{1} (x, y) \sqrt{η (x^{3}, y)} + ζ_{2} (x, y)$ と定めると、 ${U (\sqrt[3]{x}, y)}^{3}$ を展開した式に現れる根号の種類は高々 $\sqrt[3]{x}, \sqrt[3]{x^{2}}, \sqrt{η (x, y)}$ の3種である。
　言い換えると、ある整数次多項式 $α, β, γ, δ$ が存在して、
$\begin{array}{r} {U (\sqrt[3]{x}, y)}^{3} = α + β \sqrt{η (x, y)} + γ \sqrt[3]{x} + δ \sqrt[3]{x^{2}} \end{array}$ と表せる。

補題2.2の証明

$\begin{aligned} {U (\sqrt[3]{x}, y)}^{3} & = ζ_{2} (\sqrt[3]{x}, y) (3 {ζ_{1} (\sqrt[3]{x}, y)}^{2} η ({\sqrt[3]{x}}^{3}, y) + {ζ_{2} (\sqrt[3]{x}, y)}^{2}) \\ + ζ_{1} (\sqrt[3]{x}, y) ({ζ_{1} (\sqrt[3]{x}, y)}^{2} η ({\sqrt[3]{x}}^{3}, y) + 3 {ζ_{2} (\sqrt[3]{x}, y)}^{2}) \sqrt{η ({\sqrt[3]{x}}^{3}, y)} \\ = \underset{\sqrt[3]{x}, \sqrt[3]{x^{2}} のみが登場する式}{\underset{⏟}{ζ_{2} (\sqrt[3]{x}, y) (3 {ζ_{1} (\sqrt[3]{x}, y)}^{2} η (x, y) + {ζ_{2} (\sqrt[3]{x}, y)}^{2})}} + ζ_{3} (x, y) \sqrt{η (x, y)} \dots (v i i) \end{aligned}$ と計算できる。 $ζ_{1}, ζ_{2}, ζ_{3}, η$ はいずれも整数次の多項式であるから、 $(v i i)$ の展開に $\sqrt[3]{x}, \sqrt[3]{x^{2}}, \sqrt{η (x, y)}$ 以外の根号は含まれない。 $◼$

　補題2.2に補題2.1の式を代入してみると、以下の式が成り立ちます( $α, β, γ, δ$ は何らかの整数次多項式)。
$\begin{array}{r} {(\underset{ζ_{1} (\sqrt[3]{x}, y)}{\underset{⏟}{(\sqrt[3]{x^{2}} + \sqrt[3]{x} - y)}} \underset{\sqrt{η (x, y)}}{\underset{⏟}{\sqrt{4 y + 1}}} + \underset{ζ_{2} (\sqrt[3]{x}, y)}{\underset{⏟}{\sqrt[3]{x^{2}} - (2 y + 1) \sqrt[3]{x} - y}})}^{3} = α + β \sqrt{4 y + 1} + γ \sqrt[3]{x} + δ \sqrt[3]{x^{2}} \dots (v i i i) \end{array}$
　以降は $n = 2$ の場合と同様です。 $(v i i i)$ の $γ$ と $δ$ を求めましょう(ここの計算は省略します)。
${\begin{aligned} γ & = - 24 y ((3 y + 1) x + y^{3}) \\ δ & = - 24 y^{2} (x - 3 y - 1) \end{aligned}$ 　 $y = 0$ のときは不適なので( $∵ η (x, y) = 1$ )、 $γ = 0 ⟺ x = - \frac{y^{3}}{3 y + 1}$ および $δ = 0 ⟺ x = 3 y + 1$ といえますね。
　それぞれを $(v i i i)$ に代入すれば、以下の生成公式を得ます。
$\begin{aligned} x = - \frac{y^{3}}{3 y + 1} : & (1 + \sqrt{4 y + 1}) (- 1 - \sqrt[3]{\frac{1}{3 y + 1}} + y \sqrt[3]{{(\frac{1}{3 y + 1})}^{2}}) + 2 (y + 1) \sqrt[3]{\frac{1}{3 y + 1}} \\ = (\sqrt[3]{a + b \sqrt{4 y + 1} + c \sqrt[3]{{(\frac{1}{3 y + 1})}^{2}}} 型の二重根号) \dots (i x^{'}) \\ x = 3 y + 1 : & (1 + \sqrt{4 y + 1}) (- y + \sqrt[3]{3 y + 1} + \sqrt[3]{{(3 y + 1)}^{2}}) - 2 (y + 1) \sqrt[3]{3 y + 1} \\ = (\sqrt[3]{a + b \sqrt{4 y + 1} + c \sqrt[3]{3 y + 1}} 型の二重根号) \dots (i x) \end{aligned}$ 　いずれも $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ 型の「外れる二重根号」を生成する式になっていますね。目標達成です。

　ところで、 $(i x)$ と $(i x^{'})$ をよく見比べてみると、あることに気がつきます。
「 $(i x^{'})$ の左辺に $- \sqrt[3]{(3 y + 1)^{2}}$ を掛ければ、 $(i x)$ の左辺と一致するね？」
　はい、その通りです。2つの生成公式を導いたつもりでしたが、事実上これらは1つだったのです。天丼……。

【ここまでのまとめ】
　 $(i i i), (i v), (v i), (i x)$ の公式を用いれば、 $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ 型の「外れる二重根号」を作れる。

理想の代入

　改めて、発見できた生成公式を列挙します(1行に収めるため少々変形しています)。

(i i i)

に由来する式

$\begin{aligned} \frac{x - 1 + \sqrt{3} i {(\sqrt[3]{x} - 1)}^{2}}{\sqrt[3]{x} - 1} = \pm (\sqrt{a + b \sqrt{3} i + c \sqrt[3]{x}} 型の二重根号) \end{aligned}$

(i v)

に由来する式

$\begin{aligned} \frac{2 x - 1 + \sqrt{x + 1} {(\sqrt[3]{2 x} - 1)}^{2}}{\sqrt[3]{2 x} - 1} = (\sqrt{a + b \sqrt{x + 1} + c \sqrt[3]{4 x^{2}}} 型の二重根号) \end{aligned}$

(v i)

に由来する式

　 $z = \frac{x^{2} - 2 x + (2 y + 3) y^{2}}{2 y - 1}$ のとき、
$\begin{aligned} \frac{x^{2} + (3 y + 1) x - y^{3} + \sqrt{z} {(\sqrt[3]{x^{2}} + \sqrt[3]{x} - y)}^{2}}{\sqrt[3]{x^{2}} + \sqrt[3]{x} - y} = (\sqrt{a + b \sqrt{z} + c \sqrt[3]{x}} 型の二重根号) \end{aligned}$

(i x)

に由来する式

　 $y = 3 x + 1$ のとき、
$\begin{aligned} \frac{\sqrt[3]{y^{2}} + \sqrt[3]{y} - x}{\sqrt{x + y} - 1} - \frac{x + 1}{2 x} \sqrt[3]{y} = (\sqrt[3]{a + b \sqrt{x + y} + c \sqrt[3]{y}} 型の二重根号) \end{aligned}$

　これらに任意の数値を代入すれば、 $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ 型二重根号のディネスティング問題を一瞬で作れます。不定期でディネスティング問題を出題している私自身としましては有難いことこの上ないですね。

ひたすら二重根号を外すだけ。
頭の体操にどうぞ。

(1) ★☆☆☆☆☆(中学生レベル)
(2) ★★★☆☆☆(高校生レベル)
(3) ★★★★★★(ラマヌジャンレベル)― 匿(Tock)（ @con_malinconia ）October 14, 2023

結構難しめの二重根号外し。
3連休のうちに解ける人は何名いるでしょうか？― 匿(Tock)（ @con_malinconia ）November 2, 2023

　具体的に見てみましょう。適当に $x = 5, y = 8$ あたりを選び公式3へと代入すれば、以下の式が得られます。 $\begin{array}{r} \sqrt{160859 - 724 \sqrt{18465} + 15544 \sqrt[3]{5}} = \frac{362 \sqrt{15}}{8 - \sqrt[3]{5} - \sqrt[3]{25}} - \sqrt{1231} (8 - \sqrt[3]{5} - \sqrt[3]{25}) \end{array}$ 「こんなものを出題したら各位から怒られるよ……。」
　つい本音が漏れてしまいました。まあ、確かに当初の目的である「 $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ 型の二重根号を外す」は達成できているわけですが、係数を見ると、その……ね？(同意を求めるポーズ)

　数学的には何ら問題なくとも、出題者の観点で考えればこれは由々しき事態。
「 $\sqrt{160859 - 724 \sqrt{18465} + 15544 \sqrt[3]{5}}$ の二重根号を外しなさい」
など、誰も解いてくれません。もう少し、例えば $(v i^{″})$ で見た $\sqrt{25 + 11 \sqrt{5} + \sqrt[3]{2}}$ のように平易な係数でなければ……。
　と、そういう経緯で、ここからはプログラムを走らせて根号内の数値が簡単になる代入を探索した結果となります。労力的にはここからが本番です。

【公式1から得られる等式】

　 $x$ に様々な数を代入します。

$x$	得られる式
$- 2$	$\sqrt{1 + \sqrt{3} i + \sqrt[3]{2}} = \pm \frac{i \sqrt{3} + {(1 + \sqrt[3]{2})}^{2}}{\sqrt{2} (1 + \sqrt[3]{2})}$
$2$	$\sqrt{1 + \sqrt{3} i + 5 \sqrt[3]{2}} = \pm \frac{1 + i \sqrt{3} {(\sqrt[3]{2} - 1)}^{2}}{\sqrt{2} (\sqrt[3]{2} - 1)}$
$4$	$\sqrt{1 + \sqrt{3} i + 2 \sqrt[3]{4}} = \pm \frac{\sqrt{3} + {(\sqrt[3]{4} - 1)}^{2} i}{\sqrt{2} (\sqrt[3]{4} - 1)}$
$⋮$	$⋮$

　左辺根号内の $1 + \sqrt{3} i$ は固定で登場し、立方根の項のみが変動していますね。
　公式1の左辺を展開すれば、こうなる理由が判明します。計算しておいてください。

【公式2から得られる等式】

$x$	得られる式
$2$	$\sqrt{2 + \sqrt{3} + 2 \sqrt[3]{2}} = \frac{\sqrt{3} + {(\sqrt[3]{4} - 1)}^{2}}{\sqrt{2} (\sqrt[3]{4} - 1)}$
$1$	$\sqrt{7 + 2 \sqrt{2} + 5 \sqrt[3]{4}} = \frac{1 + \sqrt{2} {(\sqrt[3]{2} - 1)}^{2}}{\sqrt[3]{2} - 1}$
$- 16$	$\sqrt{13 + 11 i \sqrt{15} + 16 \sqrt[3]{2}} = \pm \frac{11 i \sqrt{3} + \sqrt{5} {(1 + 2 \sqrt[3]{4})}^{2}}{\sqrt{2} (1 + 2 \sqrt[3]{4})}$
$- 6$	$\sqrt{14 + 13 i \sqrt{5} + 2 \sqrt[3]{18}} = \pm \frac{13 i + \sqrt{5} {(1 + \sqrt[3]{12})}^{2}}{\sqrt{2} (1 + \sqrt[3]{12})}$
$6$	$\sqrt{16 + 11 \sqrt{7} + 10 \sqrt[3]{18}} = \frac{11 + \sqrt{7} {(\sqrt[3]{12} - 1)}^{2}}{\sqrt{2} (\sqrt[3]{12} - 1)}$
$⋮$	$⋮$

　公式1と異なり、固定で登場する項がありません。ディネスティング問題として見れば、既にかなりの難問をマニュファクチュアできているのではないでしょうか。

【公式3から得られる等式】

　 $| x | < 2^{11}, | y | < 2^{6}$ の範囲の整数を全部代入し、 $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ における $m a x (| a |, | b |, | c |, | x |, | y |)$ が小さくなったものを列挙しました。

$x$	$y$	得られる式
$- 2$	$2$	$\sqrt{2 - 4 \sqrt{3} + 5 \sqrt[3]{2}} = \frac{3 \sqrt{3} - {(2 + \sqrt[3]{2} - \sqrt[3]{4})}^{2}}{2 + \sqrt[3]{2} - \sqrt[3]{4}} \sqrt{\frac{2}{3}}$
$4$	$2$	$\sqrt{8 + 4 \sqrt{3} + \sqrt[3]{4}} = \frac{6 \sqrt{3} + {(\sqrt[3]{4} + 2 \sqrt[3]{2} - 2)}^{2}}{\sqrt{3} (\sqrt[3]{4} + 2 \sqrt[3]{2} - 2)}$
$10$	$5$	$\sqrt{5 + \sqrt{5} + \sqrt[3]{10}} = \frac{9 \sqrt{5} + {(\sqrt[3]{100} + \sqrt[3]{10} - 5)}^{2}}{3 \sqrt{2} (\sqrt[3]{100} + \sqrt[3]{10} - 5)}$
$- 17$	$5$	$\sqrt{11 + 4 \sqrt{2} + 11 \sqrt[3]{17}} = \frac{18 + \sqrt{2} {(5 + \sqrt[3]{17} - \sqrt[3]{289})}^{2}}{3 (5 + \sqrt[3]{17} - \sqrt[3]{289})}$
$16$	$2$	$\sqrt{17 + 5 \sqrt{21} + 5 \sqrt[3]{2}} = \frac{15 \sqrt{3} + \sqrt{7} {(2 \sqrt[3]{4} + \sqrt[3]{2} - 1)}^{2}}{\sqrt{6} (2 \sqrt[3]{4} + \sqrt[3]{2} - 1)}$
$- 19$	$3$	$\sqrt{3 + 8 \sqrt{6} + 25 \sqrt[3]{19}} = \frac{6 \sqrt{6} + {(\sqrt[3]{361} - \sqrt[3]{19} - 3)}^{2}}{\sqrt[3]{361} - \sqrt[3]{19} - 3} \sqrt{\frac{2}{3}}$
$- 14$	$- 7$	$\sqrt{7 + 13 \sqrt{21} + 25 \sqrt[3]{14}} = \frac{39 \sqrt{21} + {(7 - \sqrt[3]{14} + \sqrt[3]{196})}^{2}}{\sqrt{6} (7 - \sqrt[3]{14} + \sqrt[3]{196})}$
$2$	$1$	$\sqrt{25 + 11 \sqrt{5} + \sqrt[3]{2}} = \frac{11 + \sqrt{5} {(\sqrt[3]{4} + \sqrt[3]{2} - 1)}^{2}}{\sqrt{2} (\sqrt[3]{4} + \sqrt[3]{2} - 1)}$
$- 5$	$5$	$\sqrt{25 + 12 \sqrt{10} + 13 \sqrt[3]{5}} = \frac{9 \sqrt{10} + {(5 + \sqrt[3]{5} - \sqrt[3]{25})}^{2}}{5 + \sqrt[3]{5} - \sqrt[3]{25}} \sqrt{\frac{2}{3}}$
$- 26$	$- 13$	$\sqrt{13 + 11 \sqrt{13} + 9 \sqrt[3]{26}} = \frac{99 \sqrt{13} + {(13 - \sqrt[3]{26} + \sqrt[3]{676})}^{2}}{3 \sqrt{2} (13 - \sqrt[3]{26} + \sqrt[3]{676})}$
$⋮$	$⋮$	$⋮$

　公式2よりも自由度が高いため、たくさん見つかりますね。特に $x + y = 0$ のとき、綺麗な二重根号を生成しやすいようです。
　IQを20ほど上げて考えてみればこれは当然で、公式3に $x = \frac{1}{2 x},$ $y = - \frac{1}{2 x}$ を代入して $\frac{(2 x - 1) \sqrt{x + 1}}{4 x^{2}}$ 倍すれば、次数の低い公式2とほぼ同じ式が得られるからです(特に $x (2 x - 1) > 0$ のときは完全に一致します、計算してみましょう)。実際、公式2に $x = - \frac{1}{4}$ を代入すると $\begin{array}{r} \sqrt{2 - 4 \sqrt{3} + 5 \sqrt[3]{2}} = \frac{\sqrt[6]{2} ({(1 + \sqrt[3]{2})}^{2} - \sqrt[6]{432})}{1 + \sqrt[3]{2}} \end{array}$ となり、左辺だけ見れば公式3に $x = - 2,$ $y = 2$ を代入した場合と同一になっています。整数しか代入してこなかったため、見落としていたのですね。

【公式4から得られる等式】

　こちらは $x = \frac{n}{m}$ と仮定し、 $1 \leq m < 2^{7}, | n | < 2^{10}$ の範囲の自然数を代入して探索しました。しましたが……、ご覧の通り、 $| n |$ が1桁の範囲でしか $m a x (| a |, | b |, | c |, | x |, | y |)$ は小さくなりませんでした。

$x$	得られる式
$- \frac{2}{5}$	$\sqrt[3]{20 + 3 i \sqrt{15} + 2 \sqrt[3]{25}} = \sqrt[3]{15} + \frac{4 \sqrt{5} (2 + \sqrt[3]{5} - \sqrt[3]{25})}{\sqrt[3]{45} (\sqrt{5} - \sqrt{3} i)}$
$\frac{1}{2}$	$\sqrt[3]{5 + 33 \sqrt{3} - 17 \sqrt[3]{20}} = \frac{2 \sqrt[3]{25} + 2 \sqrt[3]{10} - \sqrt[3]{4}}{\sqrt[3]{9} (\sqrt{3} - 1)} - \sqrt[3]{30}$
$1$	$\sqrt[3]{18 + 31 \sqrt{5} - 51 \sqrt[3]{4}} = \frac{2 (\sqrt[3]{4} + 2 \sqrt[3]{2} - 1)}{\sqrt{5} - 1} - 2 \sqrt[3]{4}$
$- \frac{1}{5}$	$\sqrt[3]{- 45 + 82 \sqrt{5} + 57 \sqrt[3]{50}} = \frac{2 \sqrt[6]{5} (1 + \sqrt[3]{20} + \sqrt[3]{50})}{\sqrt{5} - 1} - 4 \sqrt[3]{10}$
$- 2$	$\sqrt[3]{- 180 + 29 i \sqrt{7} + 102 \sqrt[3]{5}} = \sqrt[3]{5} - \frac{4 (2 - \sqrt[3]{5} + \sqrt[3]{25})}{1 - \sqrt{7} i}$
$- \frac{1}{7}$	$\sqrt[3]{- 14 + 75 \sqrt{21} + 37 \sqrt[3]{196}} = \frac{2 \sqrt{7} (1 + 2 \sqrt[3]{14} + \sqrt[3]{196})}{\sqrt[3]{63} (\sqrt{7} - \sqrt{3})} - 2 \sqrt[3]{84}$
$- \frac{2}{7}$	$\sqrt[3]{252 - 55 i \sqrt{7} + 6 \sqrt[3]{49}} = 5 \sqrt[3]{7} - \frac{4 \sqrt[6]{7} (2 + \sqrt[3]{7} + \sqrt[3]{49})}{\sqrt{7} - i}$
$- 4$	$\sqrt[3]{- 352 + 51 i \sqrt{15} + 76 \sqrt[3]{11}} = \sqrt[3]{33} - \frac{8 (4 - \sqrt[3]{11} + \sqrt[3]{121})}{\sqrt[3]{9} (1 - \sqrt{15} i)}$
$- \frac{4}{13}$	$\sqrt[3]{416 - 45 i \sqrt{39} + 68 \sqrt[3]{169}} = 3 \sqrt[3]{39} - \frac{8 \sqrt[6]{13} (4 + \sqrt[3]{13} + \sqrt[3]{169})}{\sqrt[3]{9} (\sqrt{13} - \sqrt{3} i)}$
$- \frac{1}{6}$	$\sqrt[3]{- 81 + 545 \sqrt{3} + 477 \sqrt[3]{4}} = \frac{\sqrt[6]{48} (1 + 3 \sqrt[3]{2} + 3 \sqrt[3]{4})}{\sqrt{3} - 1} - 5 \sqrt[3]{18}$
$⋮$	$⋮$

　左辺に $i$ が登場する場合、右辺に $\frac{- 1 \pm i \sqrt{3}}{2}$ (1の3乗根)を掛けた数式も「外したあとの形」になりえます。

　これまでに紹介した3つの公式と比較すれば、根号の中身がやや複雑になっていることを見てとれます。出題者視点では悲しい現実です。
　しかしながら、いくつかの代入で、少々の単純化を図れます。事実、 $x = - \frac{1}{5}$ や $x = - \frac{2}{7}$ を代入した式は、 $\begin{aligned} x = - \frac{1}{5} : & \sqrt[3]{82 - 9 \sqrt{5} + 57 \sqrt[6]{20}} = \frac{2 (1 + \sqrt[3]{20} + \sqrt[3]{50})}{\sqrt{5} - 1} - 4 \sqrt[6]{20} \\ x = - \frac{2}{7} : & \sqrt[3]{- 55 i + 36 \sqrt{7} + 6 \sqrt[6]{7}} = 5 \sqrt[6]{7} - \frac{4 (2 + \sqrt[3]{7} + \sqrt[3]{49})}{\sqrt{7} - i} \end{aligned}$ という表現が可能です。 $\sqrt[3]{a + b \sqrt{x} + c \sqrt[6]{y}}$ 型の二重根号になり、より非自明さが増しましたね。

　以上、4つの公式を使ってみました。根性がそろそろ尽きそうです……。
　数式は全部手打ちしたので入力ミスがあるかもしれません。あればコメントでご指摘ください。

余計な問題

　 $()$ 内に示されたヒントをもとに、以下の二重根号を外しなさい。
$\begin{aligned} (1) \sqrt{19 + 4 \sqrt{10} + 11 \sqrt[3]{9}} & (x = \frac{3}{2}) \\ (2) \sqrt{27 + 20 \sqrt{2} + \sqrt[3]{3}} & (x = 3, y = 1) \\ (3) \sqrt[3]{- 20 + 279 \sqrt{\frac{3}{11}} + 178 \sqrt[3]{\frac{5}{11}}} & (x = - \frac{2}{11}) \end{aligned}$

　 $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ 型の外せる二重根号の生成公式を作るにあたって、ここまでで $n = 2$ の場合と $n = 3$ の場合を見てきた。いずれもほぼ同様の生成メソッドで公式を得られたが、実はこの方法だと $n \geq 4$ の場合に必ずしも公式を作れるとは限らない(恐らく作れない)。これはどうしてか、多項式の次数に注目して説明しなさい。

雑談が結語

　上記の問題2にて、 $n \geq 4$ の場合に $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ 型のディネスティング問題を作る難しさを紹介しました。万能に思えた従来の手法が使えず、そもそも「外せる二重根号」が無限に存在するかも怪しい状況です。
　私も大量の計算を試しましたが、現時点で発見できたのは以下の1種類のみです……。 $\begin{array}{r} \sqrt[4]{98 \pm 20 i \sqrt{42} + 65 \sqrt[3]{14}} = \frac{1 + \sqrt[3]{14} \mp i \sqrt[6]{378}}{1 + i} \sqrt[12]{\frac{14}{27}} k (k = \pm 1, \pm i) \end{array}$ 　これ以外で $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ 型( $n \geq 4$ )の「外せる二重根号」を見つけられた方はご連絡ください。讃えますので。

【本記事のまとめ】
　 $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ 型の二重根号について、 $n \leq 3$ の場合には、外せる二重根号の生成公式が存在する。
　公式1、公式2、公式3は $n = 2$ の場合に、公式4は $n = 3$ の場合に、それぞれ使える生成公式である。
　 $n \geq 4$ の場合や、一般的な $\sqrt[n]{a + b \sqrt{x} + c \sqrt[3]{y}}$ 型二重根号の外し方については、今後の研究課題とする。