数学をもう一度・・・

\( a = x + y,~ b = xy \) を満たす 正の整数 \( x,~y\) が存在すれば，\(\sqrt{a+2\sqrt{b}}\) は次のように変形できる．
\[ \sqrt{a+2\sqrt{b}} = \sqrt{x} + \sqrt{y} .\]
その理由を考えてみよう．
\[
\begin{eqnarray*}
\sqrt{a+2\sqrt{b}} & = & \sqrt{x+y + 2\sqrt{xy}}\\
& = & \sqrt{(\sqrt{x})^2+(\sqrt{y})^2 + 2\sqrt{xy}} \\
& = & \sqrt{(\sqrt{x})^2+(\sqrt{y})^2 + 2\sqrt{x}\sqrt{y} } \\
& = & \sqrt{(\sqrt{x})^2 + 2\sqrt{x}\sqrt{y} + (\sqrt{y})^2} \\
& = & \sqrt{(\sqrt{x} + \sqrt{y})^2} \\
& = & \bigg|\sqrt{x} + \sqrt{y}) \bigg| \\
& = & \sqrt{x} + \sqrt{y}
\end{eqnarray*}
\]

(例)
\[
\begin{eqnarray*}
\sqrt{5+2\sqrt{6}} & = & \sqrt{5+2\sqrt{2 \cdot 3}} \\
& = & \sqrt{2 + 3 + 2 \sqrt{2 \cdot 3}} \\
& = & \sqrt{\big(\sqrt{2}\big)^2 + \big(\sqrt{3}\big)^2 + 2 \sqrt{2} \cdot \sqrt{3}} \\
& = & \sqrt{\big(\sqrt{2} + \sqrt{3}\big)^2 } \\
& = & \big|~ \sqrt{2} + \sqrt{3}~ \big|
\end{eqnarray*}
\]
\( \sqrt{2} + \sqrt{3} > 0 \)より　　 \(\sqrt{5+2\sqrt{6}}=\sqrt{2} + \sqrt{3} \)

\(\sqrt{a+2\sqrt{b}}\)のように，根号の中に、根号が存在するものを二重根号という．
もし，\( a = x + y,~ b = xy \) を満たす 正の整数 \( x,~y\) が存在すれば，\(\sqrt{a+2\sqrt{b}}\) は次のように変形できる．
\[ \sqrt{a+2\sqrt{b}} = \sqrt{x} + \sqrt{y} \].

このように，二重の根号を一重の根号の形に変形することを，「二重根号を外す」という．

【どうして変形できるの？】

1. \( A=B,~B=C \) ならば \( A=C \)
2. \( A = B \) ならば \( A \pm C = B \pm C\) (複号同順)
3. \( A = B \) ならば \( AC = BC \)
4. \( A = B \) ならば \( \dfrac{A}{C}=\dfrac{B}{C}(C\neq 0)\)
5. \(A = B,~ C = D \) ならば \(A \pm C = B \pm D \) (複号同順)
6. \(A = B,~ C = D \) ならば \( AC = BD \)
7. \(A = B,~ C = D \) ならば \( \dfrac{A}{C}=\dfrac{B}{D}(CD\neq 0)\)

「平方完成する」とは、\( a\neq 0 \) のとき，\( ax^{2}+bx+c\) を \( a(x+p)^{2}+q \)　のように式を変形することである．実際に、 \( p, q \) が\( a, b, c\) を使ってどのように表されるか確かめてみよう．

\[
\begin{eqnarray*}
ax^{2}+bx+c & = & a\bigg(x^{2}+\displaystyle \frac{b}{a}x\bigg)+c \\
& = & a\displaystyle \Bigg\{x^{2}+2\cdot\frac{b}{2a}x+\bigg(\frac{b}{2a}\bigg)^{2}-\bigg(\frac{b}{2a}\bigg)^{2}\Bigg\}+c \\
& = & a\displaystyle \Bigg\{\bigg(x+\frac{b}{2a}\bigg)^{2}-\bigg(\frac{b}{2a}\bigg)^{2}\Bigg\}+c \\
& = & a\bigg(x+\displaystyle \frac{b}{2a}\bigg)^{2}-\frac{b^{2}}{4a}+c \\
& = & a\bigg(x+\displaystyle \frac{b}{2a}\bigg)^{2}-\frac{b^{2}-4ac}{4a}
\end{eqnarray*}
\]

例：
\[
\begin{eqnarray*}
x^{2}+3x+5 & = & \bigg(x^{2}+2\displaystyle \cdot\frac{3}{2}x\bigg)+5 \\
& = & \displaystyle \Bigg\{\ x^{2}\ +\ 2\cdot\frac{3}{2}x\ +\bigg(\frac{3}{2}\bigg)^{2}-\bigg(\frac{3}{2}\bigg)^{2}\Bigg\}+5 \\
& = & \displaystyle \Bigg\{ \bigg(x+\frac{3}{2}\bigg)^{2}-\frac{9}{4}\Bigg\}+5 \\
& = & \bigg(x+\displaystyle \frac{3}{2}\bigg)^{2}+\frac{11}{4}
\end{eqnarray*}
\]

例：
\[
\begin{eqnarray*}
5x^{2}+3x+1 & = & 5\bigg(x^{2}+\displaystyle \frac{3}{5}x\bigg)+1 \\
& = & 5\displaystyle \Bigg\{x^{2}+2\cdot\frac{3}{2\cdot 5}x+\bigg(\frac{3}{2\cdot 5}\bigg)^{2}-\bigg(\frac{3}{2\cdot 5}\bigg)^{2}\Bigg\}+1 \\
& = & 5\displaystyle \Bigg\{x^{2}+2\cdot\frac{3}{10}x+\bigg(\frac{3}{10}\bigg)^{2}-\bigg(\frac{3}{10}\bigg)^{2}\Bigg\}+1 \\
& = & 5\displaystyle \Bigg\{\bigg(x+\frac{3}{10}\bigg)^{2}-\frac{9}{100}\Bigg\}+1 \\
& = & 5\Bigg(x+\displaystyle \frac{3}{10}\Bigg)^{2}-\frac{9}{20}+1 \\
& = & 5\Bigg(x+\displaystyle \frac{3}{10}\Bigg)^{2}+\frac{11}{20}
\end{eqnarray*}
\]

1. 整数\( a \)の約数のうち, 自分自身$a$を除いた約数の和が, \( a \)となるような数を \(完全数\)という.
   

   例: 6の約数は\( \{1, 2, 3, 6\} \)であり, \( 1+2+3=6 \)

2. 2組の整数の組を考えたとき, それぞれの整数の約数のうち自分自身を除いた約数の和が, 互いに他方と等しくなるような数を友愛数という.
   例：

   \( 220 \)と \(284 \) の約数はそれぞれ \( \{1, 2, 4, 5, 10, 11, 20, 22, 44, 55, 110, 220\} \)と \( \{1, 2, 4, 71, 142, 284\} \) であり, それぞれの和は
   \[1+2+4+5+10+11+20+22+44+55+110=284\]
   と
   \[1+2+4+71+142=220\]
   である．

3. 社交数は, 友愛数と同様の関係をもつ異なる3つ以上の整数の組である．よって，友愛数は社交数が2つの整数の組である場合と捉えることが出来る．
   例：　

   \( 1264460 \) の約数は
   \[ \{1, 2, 4, 5, 10, 17, 20, 34, 68, 85, 170, 340, 3719,\\ 7438, 14876,
   18595, 37190, 63223, 74380, 126446, 252892, 316115,\\ 632230, 1264460\}\]
   自分自身を除いた約数の和は, \( 1547860 \)

   \( 1547860 \) の約数は
   \[ \{1, 2, 4, 5, 10, 20, 193, 386, 401, 772, 802, 965, 1604,\\ 1930, 2005,
   3860, 4010, 8020, 77393, 154786, 309572, 386965, 773930,\\ 1547860\} \]
   自分自身を除いた約数の和は, \( 1727636 \)

   \( 1727636 \) の約数は
   \[ \{1, 2, 4, 521, 829, 1042, 1658, 2084, 3316, 431909,\\ 863818, 1727636\} \]
   自分自身を除いた約数の和は, \( 1305184 \)

   \( 1305184 \) の約数は
   \[ \{1, 2, 4, 8, 16, 32, 40787, 81574, 163148, 326296,\\ 652592, 1305184\} \]
   自分自身を除いた約数の和は, \( 1264460 \)