高等学校の教科書・教材|知が啓く。教科書の啓林館
数学

SSH数学公開講座「黄金比」を実施して(後編)

栃木県立大田原高等学校 瀧澤 昌弘

1.はじめに

本校は令和元年度からSSH(スーパーサイエンスハイスクール)の指定校になっており,数学の分野でも様々な活動が行われている。今回,主に夏休みを利用してSSH数学講座「黄金比」と題して講義を行った。 前編では,その教材の前半部分を紹介し,主に黄金比と自然界のつながりについて述べている。後編では教材の後半部分(15)~(26) を紹介し,黄金比を数学的に分析している。それに併せ,実際に講座を受けた生徒の感想や講座の意義についても述べる。

講 座 名: SSH数学公開講座「黄金比」
日  時: 令和2年8月21日(金)及び25日(火)
時  間: 毎回約2時間(計4時間)(興味がある一部の生徒にはさらに2時間)
対  象: 1,2年生 16名+理科教員2名
配布資料: A4で約60ページ
内  容: 黄金比

前 編

(1)ユークリッドの問題から
(2)ペンタグラマの中に現れる黄金比
(3)黄金比と正五角形の作図
(4)もうひとつの比-白銀比-
(5)黄金長方形-正方形がいくつとれるか-
(6)フィボナッチ数列と黄金比
(7)フィボナッチ数列とパスカルの三角形
(8)対数螺旋と黄金比
(9)連分数
(10)黄金比の連分数展開
(11)連分数による有理数近似
(12)黄金比は最も有理数を寄せ付けない
(13)植物の葉の並びと黄金比
(14)ひまわりと松ぼっくりにでてくる螺旋

後 編

(15)黄金比にさらなる数学的メスを入れる
(16)フィボナッチからの分数列が最も黄金比に近いことの証明
(17)T 値で黄金比に近づく数列を分類する
(18)フィボナッチからの分数列が黄金比に近づく速さ
(19)黄金比の周りの有理数分布
(20)白銀比に数学的メスを入れる
(21)白銀比とペル数
(22)ペル数による分数列が白銀比に近づく速さ
(23)青銅比に数学的メスを入れる
(24)分数列b_(n+1)/b_nが青銅比に近づく速さ
(25)貴金属比の中の黄金比
(26)神様が造った黄金比が自然を操る

2.教材

(15)黄金比にさらなる数学的メスを入れる

さて,前編の(6)でも論じたように,フィボナッチの数列は,f_n=1/√5{((1+√5)/2)^n-((1-√5)/2)^n}で表され,(f_n+1)/f_n=(((1+√5)/2)^(n+1)-((1-√5)/2)^(n+1))/(((1+√5)/2)^n-((1-√5)/2)^n)a=(1+√5)/2より大きくなったり,小さくなったりを繰り返しながら,aに近づいていく。
黄金比a=(1+√5)/2は無理数で,x^2-x-1=0の正の解である。したがって,整数m,nに対して(m/n)^2-m/n-1=0になることはない。換言すれば,m^2-mn-n^2=0になることはない。
しかし,m/na=(1+√5)/2の“よい”近似値であればm^2-mn-n^2の値は0ではないが値は整数でたとえれば±1等,その絶対値は小さい数でなければならない。
フィボナッチ数列から導かれる分数1/1, 2/1, 3/2,5/3について,この計算をすると1^2-1-1=-1 2^2-2・1-1^2=13^2-3・2-2^2=-15^2-5・3-3^2=1のように,その値は±1である。
いまm/n=f_(n+1)/f_n のとき,m^2-mn-n^2=±1であることを示そう。
n,m,m+nはこの順にフィボナッチ数列の途中の項とする。 隣接するn,mに対してT=m^2-mn-n^2の値を考える。
次の隣接するm,m+nに対してTの値は,(m+n)^2-(m+n)m-m^2=n^2+mn-m^2=-(m^2-mn-n^2)=-T
つまり隣接する項では,絶対値は同じで,マイナスをかけたものである。実際,フィボナッチの数列で最初から計算すると,

よって,フィボナッチの数列ではT=〖f_(n+1)〗^2-f_n f_(n+1)-〖f_n〗^2=(-1)^nが成り立つ。
よって,フィボナッチ数列から導かれる分数はa=(1+√5)/2の“よい”近似値である。
一方,a=(1+√5)/2=1.618・・・なので,m/n=1618/1000=809/500としてm^2-mn-n^2の値を計算すると,809^2-809・500-500^2=-19となり,分母が500と大きい割には“よい”近似値とはいえない。
ところで,前述したユークリッドが黄金比について言及した図形の問題で,一辺がaの正方形と,縦がb横がa+bの長方形の面積が等しくなる場合,a/b=(1+√5)/2であることを述べたが,同じ図形で一辺がf_(n+1)の正方形と縦がf_n横がf_n+f_(n+1)である長方形を考えると,〖f_(n+1)〗^2-(f_(n+1)+f_n)f_n=±1であるので,2 つの面積は等しくはならないが,差が1 になる。
図は(f_n,f_(n+1))=(2,3),(3,5),(5,8)の場合を示したものであるが,確かに面積の差は1である。ユークリッドはこのような背景から,あの問題をつくったのかもしれない。

また,以上の議論の副産物として,m/n=f_(n+1)/f_nは既約分数であることがわかる。なぜなら,もしm,nの公約数をgとすれば,m^2-mn-n^2=±1も約数としてgをもつことになる。しかしm^2-mn-n^2=±1であるから,g=1である。
よって,m,nは互いに素である。
さて今度は隣り合うフィボナッチからの分数の差について考えてみよう。

f_(n+1)/f_n-f_(n+2)/f_(n+1)=(〖f_(n+1)〗^2-f_n f_(n+2))/(f_n f_(n+1))=(〖f_(n+1)〗^2-f_n (f_(n+1)+f_n ))/(f_n f_(n+1))=(〖f_(n+1)〗^2-f_n f_(n+1)-〖f_n〗^2)/(f_n f_(n+1))=(-1)^n/(f_n f_(n+1))

よって,|f_(n+1)/f_n-f_(n+2)/f_(n+1)|=1/(f_n f_(n+1) )<1/〖f_n〗^2
さらに,f_(n+1)/f_n (1+√5)/2に交互に大きくなったり小さくなったりして近づいていくから,|f_(n+1)/f_n -(1+√5)/2|<|f_(n+1)/f_n-f_(n+2)/f_(n+1)|
よって,|f_(n+1)/f_n-(1+√5)/2|<1/〖f_n〗^2が成立する。

以下の表は分母qを1,2,3,4…と動かし,p/q(1+√5)/2の差が最も小さくなるように分子pを定めている。明らかに数列p/q(1+√5)/2に近づく。しかし,その近づき方は緩慢である。なぜならば,p/qが近似値になるためには,図の網掛けの中にa=(1+√5)/2があればよい。よって,|p/q-a|<1/2qである。

しかし,フィボナッチからの分数の場合には,|p/q-a|<1/q^2が成り立つので,分母が小さい割に,はるかによい近似値となることがわかる。

さてもう一度,前述したフィボナッチ数列からできる隣接する分数の差について再び考えてみる。
前述の式:f_(n+1)/f_n-f_(n+2)/f_(n+1)=(〖f_(n+1)〗^2-f_n f_(n+2))/(f_(n+1)f_n)=(-1)^n/(f_(n+1) f_n)から分母はそれぞれの分数の分母の積,分子の絶対値は1 である。
次のような問題を考えてみよう。

Q_13={i/13│i}は自然数i/13は既約分数{Q_21={j/21│jは自然数j/21は既約分数}
においてQ_13,Q_21の距離を求めよ。

Q_13,Q_21の距離とはq_i∈Q_13に対して,Min(|q_i-q_j|)を意味する。
i/13-j/21=(21i-13j)/(13・21)であるので,Q_13,Q_21の距離になるには,21i-13jの絶対値が最小にならなければならない。21と13は互いに素であるので,21i-13j=±1は必ず解を持つ。これは不定方程式の問題である。
実際21・21-13・34=-1となり,Q_13,Q_21の距離は21/1334/21の距離に等しく,その距離は1/(13・21)=1/273である。
こうした観点からみると,f_(n+1)/f_n-f_(n+2)/f_(n+1)=(〖f_(n+1)〗^2-f_n f_(n+2))/(f_(n+1) f_n)=(-1)^n/(f_(n+1) f_n)の絶対値はフィボナッチの分数において,分母がf_nからf_(n+1)に変わるときQ_(f_n),Q_(f_(n+1))どうしの距離になるようになっている。換言すれば,分母が変わるとき,一番近い相手になるよう分子が変化していることがわかる。

ところで,T=〖f_(n+1)〗^2-f_n f_(n+1)-〖f_n〗^2=(-1)^nの両辺を〖f_n〗^2で割ると,
(f_(n+1)/f_n )^2-f_(n+1)/f_n -1=(-1)^n/〖f_n〗^2 ・・・①
一方,a=(1+√5)/2a^2-a-1=0・・・②を満たす。
上式で①から②を引くと,
(f_(n+1)/f_n+a)(f_(n+1)/f_n-a)-(f_(n+1)/f_n-a)=(-1)^n/〖f_n〗^2
(f_(n+1)/f_n+a-1)(f_(n+1)/f_n-a)=(-1)^n/〖f_n〗^2
(f_(n+1)-βf_n)(f_(n+1)/f_n-a)=(-1)^n/f_nただし,β=(1+√5)/2

f_(n+1)/f_n -a=(-1)^n/(f_n (f_(n+1)-〖βf〗_n ) )

B>0に気をつけるとf_(n+1)/f_naより大きくなったり小さくなったりを繰り返しながら,aに近づくことは前にも述べたが,
さらに,|f_(n+1)/f_n -a|=1/(f_n (f_(n+1)-〖βf〗_n ) )
1/(f_n(f_(n+1)-〖βf〗_n))>1/(f_(n+1)(f_(n+2)-〖βf〗_(n+1)))より,
f_(n+1)/f_naの距離より次の分数f_(n+2)/f_(n+1)aとの距離の方が必ず小さくなることがわかる。

ところで,フィボナッチの数列n,m,m+nT=m^2-mn-n^2の値を考えた。
次の隣接するm,m+nに対してTの値は,
(m+n)^2-(m+n)m-m^2=〖-m〗^2+mn+n^2=-(m^2-mn-n^2 )=-T
であったので,フィボナッチの数列でなくても,フィボナッチ型の数列,つまりa_(n+2)=a_(n+1)+a_nを満たす数列ならば,T=〖a_(n+1)〗^2-a_(n+1) a_n-〖a_n〗^2の絶対値は一定で,プラスマイナスを繰り返す。つまり,Tは初項と第2 項によって決まり,T=(〖a_2〗^2-a_1 a_2-〖a_1〗^2)(-1)^(n-1)である。よって,(a_(n+1)/a_n )^2-a_(n+1)/a_n-1=T/〖a_n〗^2が成り立ち

a_(n+1)/a_n-a=T/(a_n (a_(n+1)-〖βa〗_n))a=(1+√5)/2 β=(1-√5)/2

が成立する。
したがって,フィボナッチ型の数列も,プラスマイナスを繰り返しながらaに近づいていくことがわかる。しかもnが増加すれば確実にaとの距離は縮まる。

(16)フィボナッチからの分数列が最も黄金比に近いことの証明

次の表はqにおいて分母を1 から34 まで連続的に変化させ,それぞれに対してp/qが一番黄金比(1+√5)/2に近くなるように分子pを選んでいる。そしてp/qに対してp^2-pq-q^2の値を計算している。表からわかるように,この値が±1 になるのはフィボナッチの数列のところだけである。それ以外のところは±1になっていない。なぜだろうか。 ちなみにフィボナッチの数列のところが±1になるのは,前に示している。 それ以外のところが±1にならない理由を考えたい。
そのことを示すためにp/qに対してこれから示す一連の操作を行う。

― 操作 ―
フィボナッチの数列から導かれる分数の数列でp/qの次に現れるのは(p+q)/pである。
逆にp/qの前の分数はq/(p-q)である。
そこで,分数p/qに対してq/(p-q)を対応させる関数fを考える。
いわば,フィボナッチの分数列を1つ前に“逆流”させる関数である。

f(p/q)=q/(p-q)(既約でない場合は予め約分する)

前掲の分数p/qに対して関数fを含んだ以下のようなアルゴリズムを考える。
まずf(p/q)=q/(p-q)を計算し,その値が1<f(p/q)<2かどうかを判断する。
もしそうならばq/(p-q)に対して←q q←p-q,つまりp-qを新しい分母に,qを新しい分子にしてfを施す。つまり f(q/(p-q))を計算する。そして再度1<f(p/q)<2かどうかの判断を行うループを行っていく。

もし,1<f(p/q)<2でないならば,次の判断2≦f(p/q)かどうかの判断に進む。もしそうなら再びp←q q←p-qを施し,
fを施すループに戻っていく。もし,1<f(p/q)<2でもないし2≦f(p/q)でもなければそこで終了する。

具体的に,上掲の表にある23/14でこの操作をしてみよう。

p/qに対してp^2-pq-q^2を考えたが,f(p/q)=q/(p-q)に対してもこの値を考えるとq^2-(p-q)q-(p-q)^2=-(p^2-pq-q^2)となり,プラスマイナスで変化していて絶対値は変わらない。
実際,上の例では23^2-23・14-14^2=1114^2-149-9^2=-11・・・
4^2-4・1-1^2=11となり,その絶対値は保たれる。

さて,この操作をもとにいくつかの命題を証明し,下準備をする。

【命題1】
最初に1<f(p/q)<2?の判断は繰り返されるが,この回数は有限である。

【証明】
最初1<p/q<2であるから,q<p<2qである。
p-q>0であるから次の分数の分母は正である。
また,q-(p-q)=2q-p>0であるので,q>p-q
よって,分母は必ず小さくなる。したがって,この操作は有限回である。
この判断操作を続け,終了した値を考える。その値は2以上であるか,1以下である。
もちろん,そのときのp^2-pq-q^2の値も,直前の値にマイナスをかけたものである。

【命題2】
q/(p-q)>2を施して, f(p/q)≦0となって終了することはない。

【証明】
q/(p-q)=0のとき q=0となり,これはあり得ない。
q/(p-q)<0のとき,分子は正なので分母が負。よって,p<q
よって,q/(p-q)の手前のp/qであり,この段階で終了していたはずである。
よって,あり得ないことが示された。
もし,値が2以上ならばもう一度fを施すが,施すべき2以上の値に対して場合分けをして考察してみる。

【命題3】
q/(p-q)>2のとき,この操作はfを1回施して終了になる。

【証明】
このときq>2p-2qつまり3q>2p
fを施すとf(q/(p-q))=(p-q)/(2q-p)
2q-p>4/3 p-p=1/3 p>0より,分母は正である。また, (p-q)-(2q-p)=2p-3q<0により
分子<分母になり, 0<(p-q)/(2q-p)<1である。よって, 1<f(p/q)<2?2≦f(p/q)?の判断をNoで通り,終了することになる。

【命題4】
q/(p-q)=2のとき,これはフィボナッチからの分数の流れで 1/1=1になって終了する。

【証明】
このときq=2p-2qから 2p=3q
p,qは既約より,p=3,q=2
これはフィボナッチの数列からの分数3/2からの流れである。
2/1f施され, 1/1=1になる。フィボナッチからの分数はここにたどり着き,ここで終了することになる。逆の操作を考えれば,それ以外の分数列が1となってたどり着くことはない。

以上,すべてこの流れが終了するときには0<f(p/q)≦1となっている。特にf(p/q)=1の場合はフィボナッチからの分数のときで,それが0<f(p/q)<1になることはない。

最後に0<f(p/q)<1となって終了する列を考える。

【命題5】
0<f(p/q)<1のとき, p^2-pq-q^2≠±1である。

【証明】
0<q/(p-q)<1のとき, (q/(p-q))^2-q/(p-q)-1<-1である。
なぜなら, y=x^2-x-1=(x-1/2)^2-5/4において,0<x<1において y<-1である。よって,x=q/(p-q)とおけばよい。上の不等式の分母を払って,

q^2-(p-q)q-(p-q)^2<-(p-q)^2≦-1

つまりq^2-(p-q)q-(p-q)^2<-1なので,q^2-(p-q)q-(p-q)^2≠±1よって, p^2-pq-q^2≠±1がいえた。

まとめると手続きが終了した値について0<f(p/q)<1であるか,または f(p/q)=1である。前者はp^2-pq-q^2≠±1である。後者はフィボナッチからの分数列で,p^2-pq-q^2=±1である。よって,次の目標としていた定理がいえたことになる。

【定理】
p^2-pq-q^2=±1となるのはフィボナッチの数列からの分数のときのみである。

これで長い証明が終了した。
前掲した表でp^2-pq-q^2の値をみると, ±2や±3はない。このことはこの後の証明の途中にも使うので,なぜないのか示しておく。

【命題6】
の値は±2になることはない。

【証明】
p^2-pq-q^2=±2とする。p^2-pq-q^2±2=0 p=(q±√(〖5q〗^2∓8))/2(複合同順)
p,qは整数なので〖5q〗^2±8は平方数でなければならない。

〖5q〗^2±8=5(q^2±1)±3(複合同順)であるが,kを整数として
(5k)^2=5(〖5k〗^2)k (5k±1)^2=5(〖5k〗^2±2k)+1 (5k±2)^2=5(〖5k〗^2±4k)+4(複合同順)
となるので, 〖5q〗^2±8が平方数になることはない。よって,p^2-pq-q^2が±2になることはない。
同様の理由でp^2-pq-q^2の値が±3になることもない。
さらに次のこともいえる。

【命題7】
p,qが互いに素ならば,p^2-pq-q^2の値は±4になることはない。

【証明】
なぜなら,p,qが共に奇数ならば,p^2-pq-q^2は奇数である。またp,qの一方が偶数で,一方が奇数の場合もp^2-pq-q^2は奇数になる。
よって,p^2-pq-q^2が偶数の場合は,p,qが共に偶数のときである。しかしp,qが互いに素なのでこれはあり得ない。よって,証明された。

命題6,命題7をあわせて,次のことがいえる。

【命題8】
aの近似分数p/qについては,p,qがフィボナッチ数列以外の数で,互いに素であるとき,
|T|=|p^2-pq-q^2|≧5である。

もう1つ,証明して本題の証明に入る。フィボナッチからの分数列について次のことがいえる。

【命題9】
n≧2のときf_(n+1)/f_n≦2が成り立つ。

【証明】
f_(n+1)/f_n-a=(-1)^n/(f_n(f_(n+1)-〖βf〗_n))よりf_(n+1)/f_n=a+(-1)^n/(f_n(f_(n+1)-〖βf〗_n))
f_n(f_(n+1)-βf_n)は単調に増加するので(-1)^n/(f_n(f_(n+1)-〖βf〗_n))の絶対値は0に近づく。
また,n=2のときf_3/f_2=2/1=2
よって,n≧2のときf_(n+1)/f_n≦2
よって,証明できた。

さて,以上のことを踏まえて,次の最終的な定理がいえる。

【定理】
f_(n+1)/f_nf_(n+2)/f_(n+1)の間にある近似既約分数l/mつまり,f_n<m<f_(n+1)である分母mとする近似既約分数において
|f_(n+1)/f_n-a|<|l/m-a|である。

【証明】
命題9よりn≧2のとき,f_(n+1)/f_n≦2
f_n<m<f_(n+1)なので,n≧2のとき,m/f_n<2である。
また,l/f_(n+1)<2であることを示す。
l/f_(n+1)≧2とすると,≧2f_(n+1)
よって,l/m≧〖2f〗_(n+1)/m>〖2f〗_(n+1)/f_(n+1)=2
よって,l/m>2
近似値としてl/m>2であることはあり得ない。よって,l/f_(n+1)<2

さて命題8より,
|l/m-a|=|T|/m(l-βm) T=l^2-lm-m^2 |T|≧5が成り立つ。
m/f_n<2 l/f_(n+1)<2なので,m<2f_n l<2f_(n+1)
|l/m-a|=|T|/m(l-βm)>|T|/(〖2f〗_n(〖2f〗_(n+1)-β2f_n))=|T|/4{f_n(f_(n+1)-βf_n)}>1/(f_n(f_(n+1)-βf_n))
よって,|l/m-a|>|f_(n+1)/f_n-a|
f_(n+1)/f_nf_(n+2)/f_(n+1)の間に現れる近似分数l/mはすべて|l/m-a|>|f_(n+1)/f_n-a|を満たすことがわかる。
(証明終了)

下図はこの定理を視覚的に表したものである。
横軸を分母とし,近似分数l/mに対して|l/m-a|をグラフにしたものである。分母がフィボナッチのときそのときに限り,距離の最小値が更新されているのがわかる。
換言すれば,フィボナッチからの分数列がaに近い最も内側の有理数である。

(17)T値で黄金比に近づく数列を分類する

下のグラフは前のグラフに,|T|=5の場合(青で表示)と|T|=11の場合(緑で表示)を表示したものである。l/m-a=T/m(l-βm)であるので,フィボナッチからの分数に次いで|T|=5が,次に |T|=11が0に近づくことがわかる。|T|の値が大きいほど,近づくスピードは遅くなる。

近似分数を|T|の値ごとに場合分けして表示すると,意外なことに気づいた。
|T|=5となる近似分数は以下の通りであるが,すべてがl/m→(l+m)/lなる操作でつながっている。
しかし|T|>5の場合には,l/m→(l+m)/lなる操作でつながっている“枝”は 2 本ずつ存在しているようである。これらはこの操作でつながっていない。なぜこのようになるか,次回までの課題としよう。

ちなみにそれぞれの分数列において,ある程度分母が大きい値から始まっている。たとえば|T|=5の場合,11/7から始まっているが,逆操作によって

1/2←3/1←4/3←7/4←11/7
とさかのぼることができる。
しかし,たとえば 7/4は分母4の分数で最良の近似値ではない。近似値は 6/4である。その意味で,近似値の中に現れていない。
ちなみに,|T|=5の分数列の分母2,1,3,4,7,11,18,29・・・はリュカ数である。
リュカ数からつくられた分数はフィボナッチからつくられた分数に次いで,2番目に近づく速さが速く,しかも |T|=5であるのはこの1通りしかない。
次の図は横軸にp/qの分母 q縦軸に分子 pを対応させ, (p,q)のところに値, p^2-pq-q^2を計算したものがかかれている。特に値が±1と±55のところには色をつけている。±1はもちろんだが,±55も最初は揺れながら,原点からの方向が±1と同じ方向に伸びていることがわかる。その方向の傾きは,後述する (1+√5)/2であり,その下側が負の領域,上側が正の領域になっている。


ところで,y^2-xy-x^2=±1 y^2-xy-x^2=±55を曲線として描くと右の図のようになる。それぞれ双曲線になっていることがわかる。それらの双曲線の漸近線は,

y=(1+√5)/2xy=(1-√5)/2x
である。
T=±55のところは曲線 y^2-xy-x^2=-55y^2-xy-x^2=55上の点で,これらを行き来している。さらに前述したように T=±55のところは下図のようにすべてが l/m→(l+m)/lの操作で1つにながっているのではなく,次の図のように,独立した2 本の流れからなっている。しかもそれらは互いに交差している。


(18)フィボナッチからの分数列が黄金比に近づく速さ

さてここでf_(n+1)/f_naに近づいていく“速さ”を考えよう。ここで“速い”とは,この場合,分母が小さい割に,よい近似値になっているということである。
前述した式から,
(f_(n+1)/f_n -β)(f_(n+1)/f_n -a)=(-1)^n/〖f_n〗^2 〖f_n〗^2 (f_(n+1)/f_n -a)=(-1)^n/(f_(n+1)/f_n -β)
nを限りなく大きくすると f_(n+1)/f_n →aより, (-1)^n/(f_(n+1)/f_n -β)→(-1)^n/(a-β)
a-β=(1+√5)/2-(1-√5)/2=√5より, (-1)^n/(f_(n+1)/f_n -β)→(-1)^n/√5
よって,nを限りなく大きくすると 〖f_n〗^2 (f_(n+1)/f_n -a)→(-1)^n/√5
よって ,

nが十分に大きいとき,f_(n+1)/f_n -a≒(-1)^n/√5・1/〖f_n〗^2

f_(n+1)/f_n -aはどんどん0に近づくが,それは分母の2乗に反比例し,その係数は (-1)^n/√5である。次の図はフィボナッチからの分数列が a=(1+√5)/2に近づくイメージである。


f_(n+1)/f_n -af_nをかけても (-1)^n/√5・1/f_nの値に近似しながら0になる。
しかし,f_(n+1)/f_n -a〖f_n〗^3をかけるとその値は発散してしまうこともわかる。
下のグラフは横軸を分母として, |f_(n+1)/f_n -a|に分母である f_nをかけたものである。
分母がフィボナッチ数列のとき0に近づいているのがわかる。


フィボナッチからの分数列ではなく,たとえば|T|=5であるリュカ数からつくられた分数列の場合は,

(l_(n+1)/l_n +a-1)(l_(n+1)/l_n -a)=(5・(-1)^n)/〖l_n〗^2
が成り立ち,

nが十分に大きいとき,f_(n+1)/f_n -a≒(-1)^n/√5・1/〖f_n〗^2

となる。
リュカ数からつくられた分数列の場合も,分母の2 乗に反比例するがその速度はフィボナッチ数列の場合に比べ5倍遅い。
一般にフィボナッチ型の数列の近づく速さは,フィボナッチ数列の場合に比べ,|T|倍遅くなる。既約分数の場合, |T|の値は以下の数である。

|T|=1,5,11,19,29,31,41,55・・・

そしてaに近づくフィボナッチ型の数列はnが十分に大きいとき次のものに限る。

|a_(n+1)/a_n -a|≒1/(√5〖a_n〗^2 )
1種類(フィボナッチからの分数)
|a_(n+1)/a_n -a|≒5/(√5〖a_n〗^2 )
1種類(リュカ数からの分数)

|a_(n+1)/a_n -a|≒11/(√5〖a_n〗^2 )
2種類
|a_(n+1)/a_n -a|≒19/(√5〖a_n〗^2 )
2種類
|a_(n+1)/a_n -a|≒29/(√5〖a_n〗^2 )...
2種類

(19)黄金比の周りの有理数分布

a=(1+√5)/2の周りの分数は,その分数の分母に着目すると, 3/2より大きく 5/3より小さく, 8/5より大きく 13/8より小さい値である。
これをイラストしたものが右図である。
フィボナッチ数列以外の分母はここからは隠れて見えない。
a=(1+√5)/23/24/2の間を, 4/35/3の間を進んでいくが,それを上から見た図が下図である。わかりやすいように,各分数の間の幅(本来なら縮まるところ)を一定に描いている。

さらに分母を拡張してパソコンで描いたものが下図である。中央の横線であるaに近接しているところはフィボナッチからの分数列である。
参考までに,√2で同様な操作をすると次の下図のようになる。この“模様”は,無理数によって特有なものになる。またπについては次頁の図のようになる。

(20)白銀比に数学的メスを入れる

黄金比は連分数で次のように展開できる。
1+1/(1+1/(1+1/(1+*)))
また, √2はコンピュータのシュミレーションにもあったように
1+1/(2+1/(2+1/(2+*)))
のように展開できる。よって,1+√2を考えると,
2+1/(2+1/(2+1/(2+*)))

のようになる。整数がすべて2になる。その意味で1+√2を白銀比と定義する流儀もある。
この場合,√21+√2と区別して「大和比」とよばれることがある。
1+√2は一辺が1の正八角形の高さに相当し,時計等安定した置物の比にも使われる。
ちなみに,1+√2を解に持つ2 次方程式はx^2-2x-1=0である。
これはまた,x-2-1/x=0からx=2+1/x
よって,次のように変形されることからも裏付けられる。
x=2+1/(2+1/(2+1/(2+1/x)))
ここから数列を構成していく。

a_1=2a_2=2+1/2=5/2 a_3=2+1/(2+1/2)=2+1/a_2 =2+2/5=12/5
a_4=2+1/(2+1/(2+1/2))=2+1/a_3 =2+5/12=29/12
a_5=2+1/(2+1/(2+1/(2+2/2)))=2+1/a_4 =2+12/29=70/29

2/1 5/2 12/5 29/12 70/291+√2に近づくと思われるが,
この数列をp_1=1 p_2=2 p_3=5 p_4=12 p_5=29 p_6=70 ・・・とおくと,
a_1=p_2/p_1〖a〗_2=p_3/p_2・・・a_n=p_(n+1)/p_nと表すことができる。
連分数のつくり方から,ある項の分子が次の項の分母にまわることは明らかである。
この p_nについてみていこう。
a_(n+1)=2+1/a_nなので,p_(n+2)/p_(n+1) =2+p_n/p_(n+1)が成り立つ。ここから, p_(n+2)=2p_(n+1)+p_nが出てくる。つまりこの数列p_np_1=1 p_2=2 p_(n+2)=2p_(n+1)+p_nで定まる数列である。
p_nn番目の項を式で表す。
実は,p_n(1+√2)^nを計算したときの√2の係数に一致する。つまり(1+√2)^n=q_n+p_n √2となる。
なぜなら,(1+√2)^n=q_n+r_n √2とおけば, 1+√2x^2-2x-1=0の解なので,

(1+√2)^(n+2)=2(1+√2)^(n+1)+(1+√2)^n

が成り立つ。よって q_(n+2)+r_(n+2) √2=2(q_(n+1)+r_(n+1) √2)+(q_n+r_n √2)
√2の係数に着目すれば, r_(n+2)=〖2r〗_(n+1)+r_nが成り立つことがわかる。
しかも1+√2=1+1・√2 (1+√2)^2=3+2√2であるからr_1=1 r_2=2である。
p_1=1 p_2=2 p_(n+2)=2p_(n+1)+p_nであったから p_nr_nは一致する。
また,(1-√2)^n=q_n-p_n √2であるので,(1+√2)^n-(1-√2)^n=2√2 p_nよって,

p_n=1/(2√2) {(1+√2)^n-(1-√2)^n}

が成り立つ。この数列は「ペル数」とよばれる。
そしてp_(n+1)/p_n =((1+√2)^(n+1)-(1-√2)^(n+1))/((1+√2)^n-(1-√2)^n )は次の計算から 1+√2に限りなく近づくことがわかる。
実際,
p_(n+1)/p_n -(1+√2)=((1+√2)^(n+1)-(1-√2)^(n+1))/((1+√2)^n-(1-√2)^n )-(1+√2)=・・・=(2√2 (1-√2)^n)/(1-(-3+2√2)^n )=((2.828・・・) 〖・(-0.414・・・)〗^n)/(1-(-0.1715・・・)^n )
なので,分母の値は正の値で1に近づき,分子は正負を繰り返しながら0に近づく。
つまり,p_(n+1)/p_n p_(n+1)/p_nの値より大きくなったり,小さくなったりを繰り返しながら1+√2に近づいていく。

ところで,1+√2x^2-2x-1=0の解である。 1+√2は無理数であり,有理数m/nは解にはならないので (m/n)^2-2・m/n-1=0にはならない。
換言すれば, m^2-2mn-n^2=0にはならない。
しかし,もし m^2-2mn-n^2=±1であれば,そのような m/nm1+√2の“よい”近似値であると考えられる。
先に導いたペル数〖p〗_1=1 p_2=2 p_3=5 p_4=12 p_5=2 p_6=70・・・に対して2/1 5/2 12/5 29/1 70/29がこれにあたるかどうかを計算すると,以下のように±1の値になっていることがわかる。

2^2-2・2・1-1^2=-15^2-2・5・2-2^2=112^2-2・12・5-5^2=-1
29^2-2・29・12-12^2=170^2-2・70・29-29^2=-1

図式化すると次のようになる。

なぜならば,m,n,m+2nはこの順に白銀比を構成するペル数の途中の項とする。隣接するm,nに対してT=n^2-2mn-m^2の値を考える。次の隣接するn,m+2nに対してTの値は(m+2n)^2-2(m+2n)n-n^2=-n^2+2mn+m^2=-(n^2-2mn-m^2 )=-T
つまり隣接する項で,この値は絶対値は同じで,プラスマイナスを繰り返す。
よって,ペル数ではT=〖p_(n+1)〗^2-2p_n p_(n+1)-〖p_n〗^2=(-1)^nが成り立つ。

(21)白銀比とペル数

〖p_(n+1)〗^2-2p_(n+1) p_n-〖p_n〗^2=(-1)^nは変形すると 〖p_(n+1)〗^2-(2p_(n+1) p_n+〖p_n〗^2)=(-1)^nとなり,これを図式化すると,右図の灰色の正方形の面積と,L字型の面積の差が1という解釈になる。次の図でもわかるように,実際に確かめてみると確かに面積の差は1である。しかも正方形の面積の方がL字型に比べて大きくなったり小さくなったりしている。

なお,少し蛇足になるが,(1+√2)^n=q_n+p_n √2においてq_nq_n=p_n+p_(n-1)を満たす。ただし,p_0=0とする。
なぜなら,
(q_(n+1)-q_n )+(▁(p_(n+1)-p_n )) √2=(q_(n+1)+p_(n+1) √2)-(q_n+p_n √2)=(1+√2)^(n+1)-(1+√2)^n=√2 (1+√2)^n=√2 (q_n+p_n √2)=2p_n+▁(q_n ) √2
よって,q_n=p_(n+1)-p_n=2p_n+p_(n-1)-p_n=p_n+p_(n-1)となるからである。
このp_n,q_nは,〖q_n〗^2-2〖p_n〗^2=±1を満たす。
実際,〖q_n〗^2-2〖p_n〗^2=(p_n+p_(n-1) )^2-2〖p_n〗^2=-(〖p_n〗^2-2p_n p_(n-1)-〖p_(n-1)〗^2 )=±1
また次の図からも明らかである。

整数x,yについて不定方程式x^2-2y^2=1をペル方程式という。(一般に形では平方数でない自然数dに対してx^2-dy^2=1
p_n,q_nはこのペル方程式に解を与える。具体的にはx=q_2n,y=p_2nである。

(22)ペル数による分数列が白銀比に近づく速さ

さて,話を元に戻そう。黄金比のときも考えたが,p_(n+1)/p_nとその次の項p_(n+2)/p_(n+1)の差について考える。
〖p_(n+1)〗^2-2p_(n+1) p_n-〖p_n〗^2=(-1)^nより両辺を〖p_n〗^2で割ると,
(p_(n+1)/p_n )^2-〖2p〗_(n+1)/p_n -1=(-1)^n/〖p_n〗^2・・・①
一方,a=1+√2a^2-2a-1=0・・・② を満たす。
上式で①から②を引くと,
(p_(n+1)/p_n +a)(p_(n+1)/p_n -a)-2(p_(n+1)/p_n -a)=(-1)^n/〖p_n〗^2
(p_(n+1)/p_n +a-2)(p_(n+1)/p_n -a)=(-1)^n/〖p_n〗^2
(p_(n+1)-βp_n )(p_(n+1)/p_n -a)=(-1)^n/p_nただし,β=1-√2
p_(n+1)/p_n -a=(-1)^n/(p_n (p_(n+1)-βp_n))
-β>0に気をつけるとp_(n+1)/p_naより大きくなったり小さくなったりを繰り返し,aに近づく。
さらに,
|p_(n+1)/p_n -a|=1/(p_n (p_(n+1)-βp_n))
1/(p_n (p_(n+1)-βp_n ) )>1/(p_(n+1) (p_(n+2)-βp_(n+1) ) )
よりp_(n+1)/p_n aの距離より次の分数p_(n+2)/p_(n+1) aとの距離の方が必ず小さくなることがわかる。
また次のように変形でき,
(p_(n+1)/p_n -β)(p_(n+1)/p_n -a)=(-1)^n/〖p_n〗^2  〖p_n〗^2 (p_(n+1)/p_n -a)=(-1)^n/(p_(n+1)/p_n -β)
nを限りなく大きくするとp_(n+1)/p_n →aより(-1)^n/(p_(n+1)/p_n -β)→(-1)^n/(a-β)
またa-β=(1+√2)-(1-√2)=2√2より(-1)^n/(p_(n+1)/p_n -β)→(-1)^n/(2√2)
よってnを限りなく大きくすると〖p_n〗^2 (p_(n+1)/p_n -a)→(-1)^n/(2√2)となり,次のことがいえる。

nが十分大きいときp_(n+1)/p_n -a≒(-1)^n/(2√2)・1/〖p_n〗^2

p_(n+1)/p_n -aはどんどん0に近づくが,それは分母の2乗に反比例し,その係数は(-1)^n/(2√2)である。p_(n+1)/p_n -ap_nをかけても(-1)^n/(2√2)・1/p_nの値に近似しながら0に近づく。
下の表は分母qを1から40まで動かして,a=1+√2に最も近くなるように,分子pを選んだもので既約分数のみを挙げている。ここでp^2-2pq-q^2を計算すると,分母がペル数の時に限り±1になっていることがわかる。このことの証明は,黄金比の場合と同様であり,証明もかなり長くなるのでここでは省略する。

ここまでは黄金比の場合と類似していることがわかる。しかし,ペル数による白銀比の場合,黄金比の場合と異なるところもある。
黄金比のときは,|p/q-a|の値が,フィボナッチの数列のときに初めてその最小値が更新された。換言すれば,
p_(n+1)/p_np_(n+2)/p_(n+1)の間に現れる近似分数 l/mはすべて|l/m-a|>|p_(n+1)/p_n -a|を満たす。
しかし,次の表からペル数に出てこない分母が3と17において最小値が更新されることが確かめられる。このときp^2-2pq-q^2の値は-2である。上の表では大きく□で囲ってある。
換言すれば,p_(n+1)/p_np_(n+2)/p_(n+1)の間に現れる近似分数 l/mはすべて|l/m-a|>|p_(n+1)/p_n -a|を満たすとは限らない。
次の折れ線グラフの青い中が空の円のところが例外である。連分数から漏れた分数であり,7/341/17である。この後も現れる可能性がある。ただ|T|=2のとき,最小値が更新されるかというとそうでもない。17/7のときはT=2であるが,最小値は更新されない。
なぜ連分数から漏れる分数があるかはなぞである。次回への課題としよう。

白銀比(ペル数)のみから構成される分数ではp_(n+1)/p_n -a≒(-1)^n/(2√2)・1/〖p_n〗^2が成り立つが,分母をスライドさせて,|p/q-a|の最小値が更新される数列すべてを入れると,係数1/(2√2)の値はさらに下がるかもしれない。

(23)青銅比に数学的メスを入れる

同様に3+1/(3+1/(3+1/(3+*)))と展開できる数は青銅比という。
この比の値はx=3+1/xでなければならないので,x^2-3x-1=0の正の解であり,x=(3+√13)/2である。
3=3/1 3+1/3=10/3 3+1/(3+1/3)=33/10 3+1/(3+1/(3+1/3))=109/33
3/1, 10/3, 33/10, 109/33・・・(3+√13)/2に近づいていく。
連分数のつくり方から,分数列の分子が次の項の分母にまわることは明らかである。
この数列をb_nとするとb_(n+2)/b_(n+1) =3+1/(b_(n+1)/b_n )=3+b_n/b_(n+1)
これを変形して数列の分母に現れる1,3,10,33,109・・・の一般項b_nは,

b_(n+1)=3b_(n+1)+b_n b_1=1,b_2=3

を満たす数列である。
この数列は((3+√13)/2)^n=(d_n+c_n √13)/2としたときのc_nつまり√13の係数に現れる数に一致する。実際,(3+√13)/2x^2=3x+1の解であり,

((3+√13)/2)^(n+2)=3((3+√13)/2)^(n+1)+((3+√13)/2)^n

が成り立つから,c_(n+2)=3c_(n+1)+c_nが成り立つ。
また,((3+√13)/2)^2=(11+3√13)/2であり,c_1=1,c_2=3を満たすので,c_nc_nは一致する。
さらに((1-√13)/2)^n=(d_n-c_n √13)/2であるので,

b_n=1/√13 (((1+√13)/2)^n-((1-√13)/2)^n )

が導ける。
b_(n+1)/b_nb_(n+1)/b_nに近づいていくことも以下の計算から確かめられる。

b_(n+1)/b_n -(3+√13)/2=(√13・((-11+3√13)/2)^n)/(1-((-11+3√13)/2)^n )=((3.6555・・・)・(-0.0916・・・)^n)/(1-(-0.0916・・・)^n )

b_(n+1)/b_nb_(n+1)/b_nに対して大きくなったり小さくなったりを繰り返しながら近づいていくことがわかる。

ところで,m,n,m+3nはこの順に青銅比を構成する数列の途中の項とする。
隣接するm,nに対してT=n^2-3mn-m^2の値を考える。次の隣接するn,m+3nに対してTの値は,

(m+3n)^2-3(m+3n)n-n^2=-n^2+3mn+m^2=-(n^2-3mn-m^2 )=-T

つまり隣接する項で,この値は絶対値は同じで,プラスマイナスを繰り返す。実際,この青銅比からの数列で最初から計算すると,

よって,T=〖b_(n+1)〗^2-3b_n b_(n+1)-〖b_n〗^2=(-1)^nが成り立つ。
よって,両辺を〖b_n〗^2で割ると,
(b_(n+1)/b_n )^2-(3b_(n+1))/b_n -1=(-1)^n/〖b_n〗^2・・・①
一方,a=(3+√13)/2a^2-3a-1=0・・・②を満たす。
上式で①から②を引いて,黄金比や白銀比と同様に計算すると,
b_(n+1)/b_n-a=(-1)^n/(b_n(b_(n+1)-βb_n))ただし,β=(1-√13)/2を得る。
-β>0に気をつけるとb_(n+1)/b_naより大きくなったり小さくなったりを繰り返し,aに近づく。
さらに|b_(n+1)/b_n-a|=1/(b_n (b_(n+1)-βb_n))であり,
1/(b_n (b_(n+1)-βb_n))>1/(b_(n+1)(b_(n+2)-βb_(n+1)))
であるので,b_(n+1)/b_naの距離より次の分数b_(n+2)/b_(n+1)aとの距離の方が必ず小さくなることがわかる。

(24)分数列b_(n+1)/b_nが青銅比に近づく速さ

ところで,(b_(n+1)/b_n -β)(b_(n+1)/b_n -a)=(-1)^n/〖b_n〗^2から〖b_n〗^2 (b_(n+1)/b_n -a)=(-1)^n/(b_(n+1)/b_n -β)
nを限りなく大きくするとb_(n+1)/b_n →aより(-1)^n/(b_(n+1)/b_n -β)→(-1)^n/(a-β)=(-1)^n/√13
よって,黄金比や白銀比と同様に計算して次のことがいえる。

nが十分大きいときb_(n+1)/b_n -a≒(-1)^n/√13・1/〖b_n〗^2

b_(n+1)/b_n-aはどんどん0に近づくが,それは分母の2乗に反比例し,その係数は(-1)^n/√13である。
b_(n+1)/b_n-ab_nをかけても(-1)^n/√13・1/b_nの値に近似しながら0になる。
下の表は分母qを1から40まで動かして,a=(3+√13)/2に最も近くなるように,分子pを選んだもので既約分数のみを挙げている。

ここでp^2-3pq-q^2を計算すると,分母がこの数列のときに限り±1になっていることがわかる。このことの証明は,黄金比や白銀比の場合と同様に,証明もかなり長くなるのでここでは省略する。

ここまでは白銀比と同様に黄金比の場合と類似していることがわかる。しかし,ここでも青銅比を構成する分数の場合,黄金比の場合と異なるところがでてくる。
黄金比のときは,|p/q-a|の値が,フィボナッチの数列のときに初めてその最小値が更新された。
しかし,下のグラフからはb_nに出てこない分母が2と7と23のときも最小値が更新されることが確かめられる。

このときのp^2-3pq-q^2の値は±3である。前の折れ線グラフの青い中が空の円のところが例外である。7/223/776/23である。
換言すれば,b_(n+1)/b_nb_(n+2)/b_(n+1)の間に現れる近似分数l/mはすべて|l/m-a|>|b_(n+1)/b_n -a|を満たすとは限らない。
これも白銀比のときと同様になぞである。次回への課題としよう。

ところで,青銅比のみから構成される分数では,b_(n+1)/b_n-a≒(-1)^n/√13・1/〖b_n〗^2が成り立つが,分母をスライドさせて,|p/q-a|の最小値が更新される数列すべてを入れると,係数1/√13の値はさらに下がるかもしれない。
この青銅比は現実の世界ではあまり使用されていないようだが,例えば,横長の窓や壁の全体を活用した掲示やデザイン等を考える場合に1つの参考比率となっているようである。またホームページ作成で,ウィンドウ幅いっぱいのメインビジュアル(トップページのヘッダーの下に表示出来る画像)の高さを決める時など,参考にするようである。

(25)貴金属比の中の黄金比

これまで,黄金比をはじめ,白銀比,青銅比をみてきた。

黄金比 x=(1+√5)/2 1+1/(1+1/(1+1/(1+*))) x^2-x-1=0の正の解
白銀比 x=1+√2 2+1/(2+1/(2+1/(2+*))) x^2-2x-1=0 の正の解
青銅比 x=(3+√13)/2 3+1/(3+1/(3+1/(3+*))) x^2-3x-1=0の正の解

一般にx^2-mx-1=0の正の解はx=(m+√(m^2+4))/2であり,その連分数はm+1/(m+1/(m+1/(m+*)))表される。これらの比のことを「第m貴金属比」という。
第1貴金属比は黄金比,第2貴金属比は白銀比,第3貴金属比は青銅比にあたる。
m貴金属比を連分数から構成する数列は,

a_n=1/√(m^2+1) {((m+√(m^2+4))/2)^n-((m-√(m^2+4))/2)^n }

であり,a_(n+1)/a_n(m+√(m^2+4))/2に近づいていく。よって次のことがいえる。

nが十分大きいときa_(n+1)/a_n-(m+√(m^2+4))/2≒(-1)^n/√(m^2+4)・1/〖a_n〗^2

いずれの場合も,数列と,その数列が近づく値の距離は,数列の分母の2乗に反比例する。そのときの係数は,
黄金比1/√5白銀比1/(2√2)=1/√8青銅比1/√13で,この後も小さくなるばかりである。この値は黄金比が一番大きい。
その意味で,黄金比はこの中で,有理数と一番距離を取っている無理数であることが裏付けられる。そして黄金比と一番近い距離にある有理数はフィボナッチから構成された分数である。

ところで,これまで+1/(m+1/(m+1/(m+*)))といった,すべて出てくる値が同じ連分数のものを考えたが,数によって連分数にでてくる数字は当然何種類もでてくる場合もある。たとえば,
√3+1=2+1/(1+1/(2+1/(1+*)))
と連分数展開できる。ここからでてくるa=√3+1に近づく数列は

2/1, 3/1, 8/3, 11/4, 30/11, 41/15・・・

である。この数列a_n/b_nに対して,(a_n/b_n -a)・〖b_n〗^2がどう変化するかを考える。
途中計算は省略するが,nが十分大きい数のとき,(a_n/b_n-a)・〖b_n〗^2は次のようになる。

nが奇数のとき(a_n/b_n -a)・〖b_n〗^2≒-1/√3nが偶数のとき(a_n/b_n-a)・〖b_n〗^2≒1/(2√3)

つまり(a_n/b_n -a)・〖b_n〗^2偶数と奇数の項で近づく値が異なる。しかし今はa=√3+1とその周りの有理数との距離を考えているので,距離が狭い方を考えるのが妥当であろう。したがって次のことがいえる。

nが十分大きいとき|a_n/b_n -a|≒1/(2√3〖b_n〗^2)

いずれにしても,黄金比のときは,|f_(n+1)/f_n -a|≒1/(√5 〖f_n〗^2 )であったので,黄金比に比べて有理数が密着していることがわかる。

数列が1+√3に近づいていくイメージ
下の曲線の方が1+√3から離れている

一般にL+1/(M+1/(L+1/(M+*))) (L≠M)と連分数展開できる数aに対して,そこに近づく分数a_n/b_n の列を連分数からつくったとき,次のことがいえる。これも長い計算が必要なので途中を省略する。nが十分大きいとき,

nが奇数のとき(a_n/b_n -a)・〖b_n〗^2≒-L/√(L^2 M^2+4LM)
nが偶数のとき(a_n/b_n -a)・〖b_n〗^2≒M/√(L^2 M^2+4LM)

よって,この場合も偶数と奇数の項で近づく値が異なり,有理数との距離は狭い方をとって,

nが十分大きいとき|a_n/b_n -a|≒min(L,M)/(√(L^2 M^2+4LM) 〖b_n〗^2 )

がいえる。仮にLの方が小さいとしてM≧2 4M/L>2であるから,

L/√(L^2 M^2+4LM)=1/√(M^2+4M/L)<1/(2√2)<1/√5

が成り立ち,黄金比はもちろん,白銀比と比べても有理数に近く,より密着していることがわかる。

(26)神様が造った黄金比が自然を操る

これまで,黄金比のほかに白銀比や青銅比について考えてきた。しかしながら自然界に現れるのは,白銀比でもなく,青銅比でもなく,黄金比である。仮に白銀比が現れるならば,その連分数から導かれる比から導かれる数列1,2,5,12,29,70,169・・・が自然界の中に現れるはずが,今のところ見つからない。
また数学的見地から黄金比の周りの有理数を考えると,その最も内側は,フィボナッチ数列による分数列で出来ており,その内側は“空洞”で有理数は存在しない。その空洞の半径は,他のどの無理数よりも大きいのである。そしてこれが自然界に黄金比が現れる原因になっている。
個人的な見解であるが,生物が進化の過程で偶然黄金比になったとは思えない。何か神秘的なものを感じ,自然を造った創造者の存在に思いをはせる。

3.生徒の感想

約4時間の講座の後,生徒に感想を書いてもらった。以下にその抜粋を載せる。なお,この後,希望者4名に対して(16)以降の内容についてより詳しく説明している。

○今回の講義を受ける前までは黄金比は人間が考えた美しい比率だと思い込んでいました。ところが自然界にはたくさんの黄金比が存在していてハヤブサや蜂の飛ぶ軌跡や葉の付き方など,自然において最も合理的な比率であると聞き,とっても神秘的で美しいと思いました。

○自分は高校に入って数学に興味を持った。自分が興味を持った数学がまさかここまで深い学問だとは想像もしておらず驚いた。講義ついての感想は「フィボナッチ数列」という言葉は前々から聞いたことはあった。自分は「なんかの数が規則的に並んでいるだけじゃないか」と思っていたが,全然そんなものではなく,奥が深い数列だと思った。これからも数学を楽しんでいきたい。

(1+√5)/2という数にあまりなじみはなかったが,この講話を聞いて黄金比に関心を持った。なぜ黄金比が自然界で深く関わりがあるのかが解明されたら,さらに様々なことが解明されていきそうなので,期待したい。今回の講話を開いていただきありがとうございました。

○以前「数」は単に個数や長さを表すだけのものだと考えていた。有理数,無理数も正直のところ,人間が区別しているだけで,自然界においては大差ないと思っていた。しかし有理数を寄せ付けない黄金比には,葉が重なりにくい等,有理数にはない点があり驚いた。今まで思っていた「数学」とはまた違った数学の見方に気づけました。数学の分野に興味がとてもわいてくる授業をありがとうございました。

○まず第1に数学と自然界の生態系が結びついているということに驚きました。そして「黄金比」の他に「白銀比」,「青銅比」という貴金属比というものがあるということを初めて知りました。また松ぼっくりの螺旋というものは,一般における連分数とは逆に巻いていることが,驚きと疑問にあふれました。地球が誕生してから何億年も経っており,そこにおける生態系の「おもしろさ」というものを学ぶことができました。

○今回講義を受けてみて,数学の意味を,自然と結びつけることで,とても強く感じたと思う。そして今回言っていた内容は,かみ砕いたりしたものであるだろうけども,想像以上に簡単な感じの法則的なものがあるのだと,感動すると共に,これを見つけ出す人たちの見いだす植物,世界などの何とも言えない不思議な神秘的なものが良いなと思う。

○黄金比というものが,この世に存在していることは知っていたが,実際にどういうものなのか理解できず,この講義を受けさせてもらいました。黄金比が自然界の様々な場所にあることがわかり,またそれを数学的に解説してもらえたのが,とても面白くためになりました。

○私たちが日頃過ごしている中でも,多くの比が関係していることがわかった。また私たちの身近にだけではなく,様々な図形や歴史的な建築物,自然界にも幅広く活用されていることがわかった。そして今回の講義を受けて,黄金比とフィボナッチ数列の関係性,連分数の関係性などを理解することができ,黄金比に対しての視覚的美しさだけではなく,数学的美しさを感じることができた。

4.数学講座の意義

初めに述べたように,この資料は高校生でも理解できるように,できるだけ簡潔に平易に書いたつもりである。黄金比は昔から多くの方が研究されているので,本稿には真新しいものはないのかもしれない。しかし,他の解説よりも,できるだけ証明の方法を独創的に,しかしわかりやすく工夫したつもりである。
例えば,正五角形の作図のところでも,教科書でのやりかたとは異なったものを考案し紹介している。ちなみに,教科書のやり方はcos⁡〖72°〗の値を知っていることが前提である。
また,フィボナッチの数列のところでも,3項間の漸化式から,あの複雑な漸化式の変形を通りがちであるが,そうした知識がなくても一般項を出せるように工夫した。さらに,黄金比の周りの有理数の分布を論じる際にも,黄金比に近づく数列をフィボナッチ数列の一般項から表して考察しがちであるが,そうすると,式の計算が複雑で膨大になり,証明も煩雑になってしまう。本稿ではT=m^2-mn-n^2という新しい概念を導入しそれを避けている。
こうして,本稿では様々な数学的事実を明らかにしているが,研究を進む中で,またいくつかのわからない事も出てきている。たとえば,黄金比に近づく数列で,|T|≧11を満たす数列は,2種類あることが見いだされている。また,白銀比や青銅比に近づく数列で,連分数展開から漏れる数列,つまり,白銀比や青銅比に近い数であっても,連分数から導き出せない数も見いだされている。研究をしていく際,新しいことがわかる一方で,その先にまたわからないことが見えてくることは,多くの研究の中で見いだされている。それが次の研究へ向かうバネになることも確かである。本稿ではそうした経験もできる。

講義の後,生徒は口々に「深い!」と言っていた。1つのテーマを決めて何時間もかけて突き詰める経験は,普段の授業ではできない。しかしそのような経験により,生徒は数学の奥深さや面白さ,自然等他の事象とのつながりについて学習し,感動につながっている。SSHの数学講座だからこそできる技である。
普段の授業では限られた時間の中で単元の内容を要点をつまんで話をし,そして単元テストを行う。そして次の単元へと移っていく。生徒はこうしたサイクルを何年もの間経験しており,それが数学だと思っている。数学のうわべだけを,“短時間で飛行遊覧して終わっている”と言っても過言ではないであろう。
それなので,生徒に何も教えないでいきなり「黄金比について研究しなさい」と言っても生徒は何をしてよいか戸惑うだけである。この教材は「数学を研究していくということは,こういうことだ!」という1つの模範を示している。単に「上から見下ろして終わり」ではなく,「その地を歩き,土壌を掘り起こしていく」作業をすることが研究なのだということを生徒に知ってもらいたいのである。そしてそこにまで行って初めてわかる数学の価値も感じてほしい。
今後ともこのような機会を設けて生徒に数学で掘り下げることを経験させ,数学観の育成に寄与していきたい。
数年後,生徒達は大学に進学し,様々なことを研究するであろう。ここで学んだ経験が,それぞれの研究の羅針盤として役だってほしいと願っている。

最後に本稿で取り扱った比についてまとめる。長方形の縦は1で,横がそれぞれの比である。

√2=1.414・・・ 白銀比(大和比)
(1+√5)/2=1.618・・・ 黄金比(第1貴金属比)
√3=1.732・・・ プラチナ(白金)比
1+√2=2.414・・・ 白銀比(第2貴金属比)
(3+√5)/2=2.618・・・ 第2黄金比
(3+√13)/2=3.302・・・ 青銅比(第3貴金属比)

【参考文献】