黄金数と双曲線関数【黄金数の性質#1】

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

概要

友人に紹介されて興味を持った黄金数について丸一年研究して得られたものを、いくつか証明とともに書き残したいと思います。今回は黄金数と双曲線関数編です。

◆定義１

以下

φ = \frac{1 + \sqrt{5}}{2}

ω = \frac{- 1 + \sqrt{3} i}{2}

とする。

◆定義２

n

番目の貴金属数

M_{n}

および

n

番目の卑金属数

B_{n}

（独自用語）を以下のように定義する。

M_{n} := \frac{n + \sqrt{n^{2} + 4}}{2}

B_{n} := \frac{- n + \sqrt{n^{2} - 4}}{2}

ひとまず

n \in N

としておきましょう。

黄金数の性質

◆式１

φ = e^{arsinh \frac{1}{2}} = e^{arcosh \frac{\sqrt{5}}{2}}

ω = e^{arcosh - \frac{1}{2}}

一般に、

M_{n} = e^{arsinh \frac{n}{2}} = e^{arcosh \frac{\sqrt{n^{2} + 4}}{2}}

B_{n} = e^{arcosh - \frac{n}{2}}

◆補題１

二次方程式

a x^{2} + b x + c (a \neq 0)

の解

A \pm B

のうち

A + B

について、

A + B = e^{arsinh A} = e^{arcosh B}

が成り立つためには、

A^{2} - B^{2} = - 1 か つ A \geq 0

または、同値の表現だが、

\frac{c}{a} = - 1 か つ b \leq 0

であればよい。
また、

A + B = e^{arsinh B} = e^{arcosh A}

が成り立つためには、

A^{2} - B^{2} = 1 か つ A \geq 0

または、同値の表現だが、

\frac{c}{a} = 1 か つ b \leq 0

であればよい。

$arsinh (x) = \log (x + \sqrt{x^{2} + 1})$ および $arcosh (x) = \log (x + \sqrt{x^{2} - 1})$ より、
$A + B = e^{arsinh A}$
$A + B = A + \sqrt{A^{2} + 1}$
$B = \sqrt{A^{2} + 1}$
$∴ A^{2} - B^{2} = - 1 (A \geq 0)$
（ $A + B = e^{arcosh B}$ は、 $A^{2} - B^{2} = - 1$ を変形すれば同時に満たすことがわかるが、 $A = \sqrt{B^{2} - 1}$ を満たす必要があるため、 $A \geq 0$ という条件が必要になる。）

$a x^{2} + b x + c = 0 (a \neq 0)$ の解を $A \pm B$ とすると、
$A = - \frac{b}{2 a}, B = \frac{\sqrt{b^{2} - 4 a c}}{2 a}$
なので、 $A^{2} - B^{2} = - 1$ より、
$\frac{b^{2}}{4 a^{2}} - \frac{b^{2} - 4 a c}{4 a^{2}} = \frac{4 a c}{4 a^{2}} = \frac{c}{a} = - 1$
また、 $A \geq 0$ より、 $b \leq 0$
$∴ \frac{c}{a} = - 1 かつ b \leq 0$

補題の後半の証明についても、同様に証明が可能なので省略します。補題により、 $M_{n} (n > 0)$ は $A = \frac{n}{2}, B = \frac{\sqrt{n^{2} + 4}}{2}$ なので、 $A^{2} - B^{2} = - 1 (A \geq 0)$ を満たし、公式１が成り立つことがわかりました。一方で、 $B_{n} (n > 0)$ は $A = - \frac{n}{2}, B = \frac{\sqrt{n^{2} - 4}}{2}$ であり、 $A^{2} - B^{2} = 1$ を満たすものの $A \geq 0$ を満たさないため、 $B_{n} \neq e^{arsinh \frac{\sqrt{n^{2} - 4}}{2}}$ となります。

◆式１　系

φ^{arcosh - \frac{1}{2}} = ω^{arsinh \frac{1}{2}} (= e)

φ^{\frac{1}{arsinh \frac{1}{2}}} = ω^{\frac{1}{arcosh - \frac{1}{2}}}

\sinh \log φ = - \cosh \log ω

一般に、

M_{n}^{arcosh - \frac{n}{2}} = B_{n}^{arsinh \frac{n}{2}} (= e)

M_{n}^{\frac{1}{arsinh \frac{n}{2}}} = B_{n}^{\frac{1}{arcosh - \frac{n}{2}}}

\sinh \log M_{n} = - \cosh \log B_{n}

黄金数と1の虚立方根は $x^{2} \pm x \pm 1 = 0$ という似た方程式の根であるのにもかかわらず、片方は美しい実数、片方は3乗すると1になる複素数、さらには $φ = e^{\frac{π i}{5}} + e^{- \frac{π i}{5}}, ω = e^{\frac{2}{3} π i}$ であり、対称性はあまり無いのだと思っていましたが、双曲線関数を媒介することでちゃんと対称性があったのだと気づいたときは心が躍りました。美しい式です。

◆式２

φ = \sqrt{\cosh (\log \frac{1}{2})} + e^{- arcosh {(\frac{\sqrt{5}}{2})}^{2}}

ω = \sqrt{- \sinh (\log - \frac{1}{2})} - e^{arsinh {(\frac{\sqrt{3}}{2} i)}^{2}}

一般に、

M_{n} = \sqrt{n \cosh (\log \frac{n}{2})} + e^{- arcosh {(\frac{1}{\sqrt{n}} \frac{\sqrt{n^{2} + 4}}{2})}^{2}}

B_{n} = \sqrt{- n \sinh (\log - \frac{n}{2})} - e^{arsinh {(\frac{1}{\sqrt{n}} \frac{\sqrt{n^{2} - 4}}{2})}^{2}}

（変数定数法）

$x = \frac{n}{2}, y = \frac{\sqrt{n^{2} + 4}}{2}$ とする。
$x^{2} - y^{2} = - 1$ より、
$x^{2} - \frac{2}{n} x y^{2} = - 1$ も成り立つ。これを $y > 0$ について解くと、
$y^{2} = n \frac{x + \frac{1}{x}}{2}$
$y = \sqrt{n \frac{x + \frac{1}{x}}{2}}$
$∴ y = \sqrt{n \cosh \log x}$

次に、 $x^{2} - \frac{2}{n} x y^{2} = - 1$ を $x > 0$ について解くと、
$x = \frac{y^{2}}{n} - \sqrt{\frac{y^{4}}{n^{2}} - 1}$
$∴ x = e^{- arcosh \frac{y^{2}}{n}}$

よって、
$M_{n} = x + y = \sqrt{n \cosh \log x} + e^{- arcosh \frac{y^{2}}{n}}$
$= \sqrt{n \cosh (\log \frac{n}{2})} + e^{- arcosh {(\frac{1}{\sqrt{n}} \frac{\sqrt{n^{2} + 4}}{2})}^{2}}$

$B_{n}$ も同様に導出することができます。見事な対称性（左右では指数/対数(双曲線関数/逆双曲線関数)、平方根/平方、上下では双曲線正弦余弦/双曲線正弦、正/負）が美しく、個人的には一番好きな式です。
変数定数法（独自用語）は、ある数 $x + y$ についての式を求めたいとき、まずある一つの関係式 $f (x, y) = 0$ を求めます。次に $x = a, y = b$ として、 $f (x, y)$ の各項に $a^{- m} x^{m}, b^{- m} y^{m}$ を乗算すると、当然その関係式も $g (x, y) = 0$ を満たします。この関係式について、 $x, y$ についてそれぞれ解くことで、 $x, y$ を $y, x$ の初等関数等で表せる場合があり、最後に $x + y$ を求めることで新たな式を作ることができるという単純な方法です。

◆補足

黄金数（

x = \frac{1}{2}, y = \frac{\sqrt{5}}{2}

）および1の虚立方根（

x = - \frac{1}{2}, y = \frac{\sqrt{3} i}{2}

）に対して変数定数法を用いることで、他にもいくつかの式を導出することができます。

x^{2} - 4 x^{2} y^{2} = - 1 \Leftrightarrow φ = \frac{e^{arcsch \frac{1}{2}} - 1}{2}

x^{2} - y^{2} = - 2 x \Leftrightarrow φ = e^{arsinh \frac{\sqrt{5}}{2}} - 1

（この式は

φ^{2} = e^{arsinh \frac{\sqrt{5}}{2}}

を意味する。）

x^{2} - 4 x^{2} y^{2} = 1 \Leftrightarrow ω = - \frac{1}{2} - \frac{i}{2} (e^{arsech - \frac{1}{2}} + 2)

x^{2} - y^{2} = - 2 x \Leftrightarrow ω = e^{arsinh \frac{\sqrt{3} i}{2}} - 1

（この式は

- ω = e^{arsinh \frac{\sqrt{3} i}{2}}

を意味する。）

◆式３

\sqrt{φ} = \cosh (\frac{1}{2} arsinh 2) = \cosh (\frac{1}{2} \log M_{4})

\sqrt{ω} = i \cosh (\frac{1}{2} arcosh - \sqrt{3} i)

一般に、

\sqrt{M_{n}} = \sqrt{n} \cosh (\frac{1}{2} arsinh \frac{2}{n}) = \sqrt{n} \cosh (\frac{1}{2} \log M_{\frac{4}{n}})

\sqrt{B_{n}} = i \sqrt{n} \cosh (\frac{1}{2} arcosh - \sqrt{1 - \frac{4}{n^{2}}})

$\sqrt{M_{n}} = \sqrt{\frac{n + \sqrt{n^{2} + 4}}{2}}, \sqrt{B_{n}} = \sqrt{\frac{- n + \sqrt{n^{2} - 4}}{2}}$
と、三角関数の半角の公式より、
$\sqrt{M_{n}} = \sqrt{n} \cos (\frac{1}{2} \arccos \sqrt{1 + \frac{4}{n^{2}}})$
$\sqrt{B_{n}} = i \sqrt{n} \cos (\frac{1}{2} \arccos - \sqrt{1 - \frac{4}{n^{2}}})$
$\sqrt{M_{n}} = \sqrt{n} \cosh (\frac{1}{2} \log (\sqrt{1 + \frac{4}{n^{2}}} + \frac{2}{n}))$
$\sqrt{B_{n}} = i \sqrt{n} \cosh (\frac{1}{2} \log (- \sqrt{1 - \frac{4}{n^{2}}} - i \frac{2}{n}))$
$\sqrt{M_{n}} = \sqrt{n} \cosh (\frac{1}{2} arsinh \frac{2}{n})$
$\sqrt{B_{n}} = i \sqrt{n} \cosh (- \frac{1}{2} arcosh - \sqrt{1 - \frac{4}{n^{2}}}) = i \sqrt{n} \cosh (\frac{1}{2} arcosh - \sqrt{1 - \frac{4}{n^{2}}})$
$\sqrt{M_{n}}$ は、 $n = 1, 2, 4$ のときに限り $arsinh \frac{2}{n}$ の部分も貴金属数であるため、次のように書き換えられる。
$\sqrt{M_{n}} = \sqrt{n} \cosh (\frac{1}{2} \log M_{\frac{4}{n}})$

$n = 1, 2, 4$ のときに限りますが、貴金属数の平方根に貴金属数が出てくるのが面白いです。もちろん、一般の二次方程式の解の平方根も同様に求められますが、両辺に貴金属数が出てくる場合を紹介したかったというわけです。

◆補足

x^{3} - x^{2} - 1 = 0

の解をSupergolden nunmber

ψ

x^{3} - 2 x^{2} - 1 = 0

の解をSupersilver number

ς

x^{3} - x - 1 = 0

の解をプラスチック数

p

と言います。これらは、双曲線関数と逆双曲線関数を使って次のように表すことができるようです。双曲線関数の中身が

\frac{1}{2}

ではなく

\frac{1}{3}

になっています。どうやって導出できるんでしょう。（プラスチック数 - Wikipedia，Supergolden ratio - Wikipedia，Supersilver ratio - Wikipedia)

\frac{1}{ψ} = \frac{2}{\sqrt{3}} \sinh (\frac{1}{3} arsinh \frac{3 \sqrt{3}}{2})

\frac{1}{ς} = - \frac{2 \sqrt{2}}{\sqrt{3}} \sinh (\frac{1}{3} arsinh \frac{3}{4} \sqrt{\frac{3}{2}})

p = \frac{2}{\sqrt{3}} \cosh (\frac{1}{3} arcosh \frac{3 \sqrt{3}}{2})

そこで、先程の方法で

φ

や

\frac{1}{φ}

、

τ

や

\frac{1}{τ}

（

τ

は白銀数と呼ばれ、

τ = M_{2}

）を求めてみると、

φ = \sqrt{3} \cosh (\frac{1}{2} arcosh \frac{\sqrt{5}}{3})

\frac{1}{φ} = \sqrt{3} \cosh (\frac{1}{2} arcosh - \frac{\sqrt{5}}{3})

τ = \sqrt{6} \cosh (\frac{1}{2} arcosh \frac{2 \sqrt{2}}{3})

\frac{1}{τ} = \sqrt{6} \cosh (\frac{1}{2} arcosh - \frac{2 \sqrt{2}}{3})

となり、どこか似ているような似ていないような感じです。

◆式４

arsinh \sqrt{φ} = arcosh φ

arcosh \sqrt{- ω} = arsinh - ω

一般に、

arsinh \sqrt{n M_{n}} = arcosh M_{n}

arcosh \sqrt{- n B_{n}} = arsinh - B_{n}

$M_{n}^{2} = n M_{n} + 1, B_{n}^{2} = - n B_{n} - 1$
と、双曲線関数と逆双曲線関数の合成関数の公式
$\sinh (arcosh x) = \sqrt{x^{2} - 1} (| x | > 1)$
$\cosh (arsinh x) = \sqrt{x^{2} + 1}$
より、
$\sinh (arcosh M_{n}) = \sqrt{n M_{n}}$
$\cosh (arsinh B_{n}) = \sqrt{- n B_{n}}$
同値変形に注意して、
$arsinh \sqrt{n M_{n}} = arcosh M_{n}$
$arsinh B_{n} = - arcosh \sqrt{- n B_{n}}$
以下は少し回りくどい手順になってしまうが、
$\log (B_{n} + \sqrt{B_{n}^{2} + 1}) = - \log (\sqrt{- n B_{n}} + \sqrt{- n B_{n} - 1})$
$\log (B_{n} + \sqrt{B_{n}^{2} + 1}) = \log (\sqrt{- n B_{n}} - \sqrt{- n B_{n} - 1})$
$\log (B_{n} + \sqrt{- n B_{n}}) = \log (\sqrt{- n B_{n}} - B_{n})$
$arcosh \sqrt{- n B_{n}} = arsinh - B_{n}$

この関係式もまた、正負、正弦余弦という対称性が見られて好きです。

◆式３式４　系

φ = \cosh (arsinh (\cosh (\frac{1}{2} arsinh 2)))

ω = - \sinh (arcosh (\cosh (\frac{1}{2} arcosh - \sqrt{3} i)))

◆式５

\sqrt{φ} = e^{arcoth M_{4}}

一般に、

\sqrt{M_{n}} = e^{arcoth M_{\frac{4}{n}}}

$arcoth x = \frac{1}{2} \log \frac{x + 1}{x - 1}$ と $M_{n}^{2} = n M_{n} + 1$ より、
$arcoth M_{n} = \frac{1}{2} \log \frac{M_{n} + 1}{M_{n} - 1}$
$= \frac{1}{2} \log \frac{(M_{n} + 1)^{2}}{M_{n}^{2} - 1} = \frac{1}{2} \log \frac{(M_{n} + 1)^{2}}{n M_{n}}$
$= \frac{1}{2} \log \frac{1}{n} (M_{n} + 2 + \frac{1}{M_{n}})$
$= \frac{1}{2} \log (\frac{1}{2} + \frac{\sqrt{1 + \frac{4}{n^{2}}}}{2} + \frac{2}{n} - \frac{1}{2} + \frac{\sqrt{1 + \frac{4}{n^{2}}}}{2})$
$= \frac{1}{2} \log (\frac{2}{n} + \sqrt{1 + \frac{4}{n^{2}}})$
$= \frac{1}{2} \log M_{\frac{4}{n}}$
よって、 $e^{arcoth M_{n}} = \sqrt{M_{\frac{4}{n}}}$ より、
$\sqrt{M_{n}} = e^{arcoth M_{\frac{4}{n}}}$