みゆの魔法 その1 三角形の辺の比
$$$$
みんな大好き(?)ピタゴラス数
ピタゴラス数といえば、直角三角形の3辺の長さが整数となるような3つの整数の組のことですね。長さの比率が整数比つまり有理数比な直角三角形はピタゴラス三角形などと呼ばれるのですが、これを直角三角形以外の三角形にも拡張してみましょう。
実は、 三辺の比を有理数比ではなく『有理数に無理数 $x$ を加えた拡大体 $\mathbb{Q}[x]$ の元の比』というように拡張してあげると、様々な内角をもつ三角形の三辺比を表すことができるんです。
$$$$
魔法の手順
1.無理数 $x$ を用意します。
例)$x=\phi$(黄金数 $\phi=\frac{1+\sqrt5}2$)
2.$x$ を有理数倍して $1$ より小さい数 $c$ を作り、三辺の比が $c:\sqrt{1-c^2}:1$ の直角三角形をかきます。
例)$c=\frac{\phi}2:\sqrt{1-\frac{\phi^2}4}:1$
3.任意の2整数 $a$ と $b$ $(a\gt b)$ を用意し、先程の直角三角形を $2b(a+bc)$ 倍します。
$\rightarrow~2bc(a+bc):2b(a+bc)\sqrt{1-c^2}:2b(a+bc)$
例)$a=2$、$b=1$、$2b(a+bc)=4+\phi$倍
4.$2bc(a+bc)$ 側の辺を鋭角側に $a^2-b^2$ だけ延長すると、そこからもう一方の鋭角側の頂点と結んでできる内側の三角形の三辺比は $\mathbb{Q}[x]$ の元で構成された比となっています。
$\rightarrow a^2-b^2:2b(a+bc):a^2+b^2+2abc$
例)$a^2-b^2:2b(a+bc):a^2+b^2+2abc=\color{#f7a}{3:(4+\phi):(5+2\phi)}$
ちなみに、$c$ は $x$ の有理数倍なので、$\mathbb{Q}[x]$ の元の一つですね。
もちろん $x$ は無理数じゃなくてもおっけーで、有理数の場合でも同じことができちゃいます。
$\pm\frac12$ とかで試すとまた面白いかも♪♪
$$$$
検証
先程の例では、二辺の長さが $3$ と $(4+\phi)$、その狭角が $144^{\circ}$、対辺の長さが $(5+2\phi)$ という三角形ができました。
余弦定理を使って検証してみましょう。
$3^2+(4+\phi)^2-2\cdot3\cdot(4+\phi)\cos144^{\circ}\\ =9+(16+\phi^2+8\phi)-(24+6\phi)(-\frac\phi2)\\ =25+\phi^2+8\phi+12\phi+3\phi^2\\ =25+4\phi^2+20\phi\\ =(5+2\phi)^2~\textcolor{#f7a}{\leftarrow~合ってる!!}\\$
$\theta=\pi-\arccos c$ とすれば $c=-\cos\theta$ ですので、一般には次のように表せるはずです。
$$\quad(a^2-b^2)^2+(2b(a-b\cos\theta))^2-2(a^2-b^2)(2b(a-b\cos\theta))\cos\theta=(a^2+b^2-2a b\cos\theta)^2$$
はたして、こんな複雑な式が恒等式として成り立つでしょうか?
Wolfram Alpha先生による検算 の結果、ナント「真」と判定されました!
$$$$
まとめ
$$$$
三辺の比が $$a^2-b^2:2b(a+bc):a^2+b^2+2abc$$ の三角形を描くと、$a^2-b^2$ と $2b(a+bc)$ の内角が $$\pi-\arccos c~(\mathrm{rad})$$ になるよ。($a,b\in\mathbb{Z}$、$c=0$ のときは普通のピタゴラス比ですね)
$$$$
内角に $\theta~(\mathrm{rad})$ をもつ三角形の三辺の長さの比は $$a^2-b^2:2b(a-b\cos\theta):a^2+b^2-2ab\cos\theta$$ と表せるよ。($\theta=\frac\pi2$なら$\cos\frac\pi2=0$ ですね)
$$$$
このカラクリが気になって夜しか眠れないって方は、ガラパゴ三辺比定理 を参照してみてね(*´ω`*)