2
高校数学解説
文献あり

すべての正の有理数を産み出す式のレシピ(日曜数学会)

722
0

はじめに

 この記事は 第25回日曜数学会(2022.10.15) で発表した内容に加筆したものです。

 Twitter で話題になった、すべての有理数を産み出す式について、いろいろ遊んでいたところ、作り方のレシピがわかったのですが、そのレシピがとても面白かったので記事にしました。

(話題になった @TamasGorbe さんのツイート)

 なお、この記事では原則として有理数は既約分数で表すこととします。また、説明を簡単にするため、自然数は分母が 1 の分数とみなすことにします。

 元ネタのツイートではプラスとマイナスを交互に並べて「すべての有理数」を作る式としていましたが、この記事では簡単のためプラスの場合だけ考え、「すべての正の有理数」を作る式として考えることにします。

 「整数部分」を 、「小数部分」を {} の記号であらわすことにします。

(整数部分)
1.618=1

(小数部分)
{1.618}=0.618

 定義より、 {x}=xx が成り立ちます。この関係は最後の方で使います。

レシピ

 まず、例の式を作るためのレシピを確認しましょう。

方針

1 正の有理数をもれなくダブりなく、いい感じに一列に並べて数列を作る
2 できあがった数列の第 (n+1) 項を、第 n 項で表す
3 できあがり!

 先にいい感じの数列を作ってから、漸化式をつくる方針で作ることができます。

道具

○ ユークリッドの互除法(最大公約数を求めるやつ)
○ 二進数

これだけ知っていればこの記事の内容が理解できると思います。

なお、この記事では二進数を 1011(2) のように書いて十進数と区別することにします。

二進数の表記

1(2)=1
10(2)=2
11(2)=3
100(2)=4
101(2)=5
110(2)=6
  

正の有理数から自然数への写像を作る

では、さっそくいい感じの数列を作りましょう。

次のような操作を考えます。

1 任意の正の有理数を既約分数で表す。ただし整数の場合は分母が 1 の分数とみなす。
2 「分母と分子を比較して大きい方から小さい方を引く」という操作を、分母と分子の数が一致するまで繰り返す。

 この操作をすると、どんな正の有理数から始めても、必ず最後は11 になって終わります。
 なぜなら、この操作はユークリッドの互除法で分母と分子の最大公約数を求める操作と本質的に同じであり、既約分数の分母と分子の最大公約数は 1 ですから、最後は11 になります。

分母と分子の大きい方から小さい方を引く操作を繰り返す

(例1)
1610610642422

一般の分数では分母と分子が最大公約数になったところで止まる

(例2)
13103103734312111

既約分数の場合は 11 になって終わる

この操作を逆にみると、「 11 からスタートして、分子の数を分母に足す、または分母の数を分子に足す、という操作を繰り返すと任意の正の有理数を作ることができる」ことがわかります。

11 からスタートして任意の正の有理数を作る

11213134373101310

ここでちょっと面白いことを考えます。
11 からスタートして任意の正の有理数を作る」という操作に、次のような文字列操作を対応させてみましょう。

・ 11 に対応する文字列を "1" とする。
・ 「分子の数を分母に加える」ときは文字列に "0" を付け加える。
・ 「分母の数を分子に加える」ときは文字列に "1" を付け加える。

文字列操作と対応させる

11"1"21"11"31"111"34"1110"37"11100"310"111000"1310"1110001"

 できあがった文字列を二進数と解釈することで、それぞれの有理数に対応する自然数を作ることができます。

 一対一対応ですから、自然数を引数にして有理数を返す関数をつくることができます。

 ここからは、こうやって作った自然数に対応する有理数を返す関数を a(n) とします。

a(1),a(2),a(3), を並べると、全ての正の有理数が1回ずつでてくる数列になります。

全ての正の有理数が現れる数列の冒頭部 全ての正の有理数が現れる数列の冒頭部

この数列は、( 英語版Wikipedia によれば)カルキン・ウィルフ数列と呼ばれています。

これで、「正の有理数をもれなくダブりなく、いい感じに一列に並べた数列」を作ることができました!

「分母の数を分子に足す」などの操作を式で表す

次は「 a(n+1)a(n) で表す」ための準備を始めます。

a(n)=qp とします。

p+qp=qp+1 ですから、「分母の数を分子に加える」という計算は「1 を足す」という計算と同じです。

また、qp+q=((qp)1+1)1 ですから、「分母の数を分子に加える」という計算は「逆数に1 を足したものの逆数」の計算と同じです。

つまり a(n) の引数の二進数表記の末尾に "1""0" を付け加えると、 a(n) は次のように変化します。

a(11(2))=a((2))+1

a(00(2))=(a((2))1+1)1

この操作を繰り返すことで、次のように拡張できます。

a(1111(2)1k)=a((2))+k
a(0000(2)0k)=(a((2))1+k)1

引数の二進数表記の末尾で a(n) の大きさを評価する

 ここでちょっと話が変わり、a(n) の整数部分について考えます。

「分子の数を分母に足した数」は必ず 1 未満になります。
また、「分母の数を分子に足した数」は元の数より 1 大きくなります。

つまりこう評価できます。

0<a(0(2)末尾が0)<1
ka(01111(2)1k)<k+1

したがって、 a(n) の整数部分は引数の二進数表記の末尾に "1" が連続何個続いているか数えることでわかります。

a(01111(2)1k)=k

二進数で 1 を足す操作を文字列操作として解釈する

漸化式を作る準備が整うまであともう一息です!

二進数で 1 を足すことを文字列操作のように考えると、右側の1を削れるだけ削り、その後、一番右にある 01 に変え、それから削った分だけ下位に0 を追加する操作に対応します。
全部の桁が 1 の場合は場合分けがいりそうに思えますが、一番左に 0 を付加したものとみなせば場合分けせずにすみます。

二進数で 1 を足す操作を文字列操作として解釈する

・ 二進数で 1を足す
11010111+1=11011000

・ 文字列操作として解釈
"11010111""11010""11011""11011000"
右側の "1"3 個削り、右端の "0""1" に変え、右側に "0"3 個付加する

漸化式を作る

ようやく漸化式を作る準備が整いました!
a(n+1)a(n) で表す式を作りましょう。

k=a(n)

とおきます。

s=a(n)k(末尾の連続k個の"1"を削除)t=(s11)1(末尾の"0"を削除)u=t+1(末尾に"1"を付加)a(n+1)=(u1+k)1(末尾に連続k個の"0"を付加)

順に代入して

a(n+1)=((((a(n)k)11)1+1)1+k)1=((a(n)k1an+k+1)1+k)1=((1a(n)+k)+k)1=(2k+1a(n))1

a(n+1)=(2k+1a(n))1

ここで
k=a(n)
{a(n)}=a(n)k
なので

a(n+1)=1a(n)+1{a(n)}

できました!

これが「すべての正の有理数を作る式」です!

すべての正の有理数を作る式(カルキン・ウィルフ数列の漸化式)

a(1)=1a(n+1)=1a(n)+1{a(n)}

練習問題

問題 13

さて、日曜数学会のスライドの最後に 3 つの練習問題を出しました。ここに再掲します。

問題 1

「分子の数を分母に足す」「分母の数を分子に足す」と、0 , 1 の対応関係を逆にしたらどんな漸化式ができるだろう?

問題 2

a(432n1) 及び a(532n1) の分母と分子がともにフィボナッチ数であることを証明できる?

問題 3

n 項の分母と第 n+1 項の分子の関係は? それを漸化式で証明できる?

このすぐ下に解答を置きますので、自分で考えたい人のために少しスキマをあけておきます。





















解答 13

解答1

(問題 1)
「分子の数を分母に足す」「分母の数を分子に足す」と、0 , 1 の対応関係を逆にしたらどんな漸化式ができるだろう?

これは記事中の計算を単純に入れ替えるだけでOKです。
実際にやってみると

s=(a(n)1k)1(末尾の連続k個の"1"を削除)t=s1(末尾の"0"を削除)u=(t1+1)1(末尾に"1"を付加)a(n+1)=u+k(末尾に連続k個の"0"を付加)

順に代入して

a(n+1)=(((a(n)1k)11)1+1)1+k=(a(n)1k1a(n)1+k+1)1+k=2k+1a(n)1

a(n+1)=2k+1a(n)1

ここで
k=a(n)1
{a(n)1}=a(n)1k
なので

a(n+1)=a(n)1+1{a(n)1}

この式もまた、全ての正の有理数をもれなくダブりなく1回ずつ産み出す式となっています!
2つの式からできる数列を比較してみましょう。

2つの「すべての正の有理数を作る式」 2つの「すべての正の有理数を作る式」

双対らしさを感じていただけますでしょうか。
この2つの式は、実に美しい関係だと思います。

解答2

(問題 2)
a(432n1) 及び a(532n1) の分母と分子がともにフィボナッチ数であることを証明できる?

まずは本当にそうなるのか確かめてみましょう。

a(432n1)

の方は 11,12,32,35,85,

a(532n1)

の方は 11,21,23,53,58,

となり、確かに分子・分母ともにフィボナッチ数になっています。

実は、カッコの中にある 43,53 をそれぞれ二進数の小数で表すと

43=1.0101010101(2)

53=1.1010101010(2)

となります。
見てのとおり、01 が交互に並んでいますから、これに2のべき乗をかけた整数部分部分も

1(2),10(2),101(2),1010(2),10101(2),101010(2),1010101(2),

1(2),11(2),110(2),1101(2),11010(2),110101(2),1101010(2),

と、01 が交互に並ぶことになります。

その結果、n が増えるたびに分母・分子を交互に足すことになるので、フィボナッチ数の漸化式と同じになるというカラクリでした。

(余談)
 日曜数学会のニコニコ生放送では、@tsujimotter さんがこの問題を休憩時間で解いてしまいましたね!
しかも紙を使わず、休憩時間ほぼピッタリで解くというカッコよさ。
カッコよく解いてもらって作問者冥利につきました。

解答3

(問題 3)
n 項の分母と第 n+1 項の分子の関係は? それを漸化式で証明できる?

まずは第 n 項の分母と、第 n+1 項の分子を見比べてみましょう。

第n項の分母と、第n+1項の分子に注目 第n項の分母と、第n+1項の分子に注目

お気づきいただけましたでしょうか。どの位置を見ても

   第 n 項の分母 =n+1 項の分子

となっていますね!
それでは、第 n 項の分母 =n+1 項の分子が必ず成り立つことを証明しましょう。

a(n)=QP とします。(P,Qは互いに素)

QP で割った商を s 、あまりを q とおくと

QP=s,QP=qP

となります。
したがって

     a(n+1)=1QP+1{QP}=1s+1qP=PP(s+1)q

ですから、
     R=P(n+1)q

とおくと

     a(n+1)=PR

となります。
Pq は互いに素なので PR も互いに素。

つまり、a(n+1) の 分子は an の分母と同じ Pとなります。

この式を作ったのは誰?

 最初にこの「すべての正の有理数を産み出す式」を作った人は誰でしょうか。

 冒頭で紹介した、@TamasGorbe さんのツイートによれば、ケプラーが1619年に出版した Harmonices Mundi なる書籍に カルキン・ウィルフ・ツリーと同じ樹形図が掲載されているということで、少なくともこの時代にツリーは知られていたようですが、例の式は載っていないようです。

 なお、「カルキン」と「ウィルフ」はどちらも20世紀生まれの数学者の名前で、2000 年にカルキン・ウィルフ・ツリーを発表したということですが、それ以前にも Jean Berstel や Aldo de Luca、 George N. Raney なども同様のツリーを発表していたということで、なぜ「カルキン・ウィルフ・ツリー」の名前がポピュラーになったのかはよくわかりませんでした。

 英語版 Wikipedia の Calkin–Wilf tree の項目の注釈 によれば、この式とほぼ同じ式が 2003 年の The American Mathematical Monthly に掲載されているようですが、私には読むことができませんでした。

 ……というわけで、誰がどうやってこの式を作ったのかは実は私は知らないのですが、たぶん、この記事の内容と同じような方法で作ったのではないかと想像しています。

おわりに

 今回は、試行錯誤してるうちに例の式の導出方法に自然にたどりついて、これほど自然にこんなシンプルな式にたどりつくとは!と、感動した体験をもとに記事を書きました。

 この感動が少しでも伝えられていたら幸いです。
 また、今回の記事では触れませんでしたが、カルキン・ウィルフ数列は、スターンの二原子数列や、連分数とも関連していて、実に遊びがいのある数列だと思います。

 スターンの二原子数列との関係については、@tb_lb さんのこちらの記事が詳しくて読みごたえがあります。
  ほにゃらら実験室:スターンの2原子数列に関する記事群の目次

 みなさんもいろいろ遊んでみてください。
 そして、何か情報がありましたらコメント等で教えてください。

参考文献

投稿日:20221015
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

apu_yokai
apu_yokai
486
66018

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. レシピ
  3. 方針
  4. 道具
  5. 正の有理数から自然数への写像を作る
  6. 「分母の数を分子に足す」などの操作を式で表す
  7. 引数の二進数表記の末尾で a(n) の大きさを評価する
  8. 二進数で 1 を足す操作を文字列操作として解釈する
  9. 漸化式を作る
  10. 練習問題
  11. 問題 13
  12. 解答 13
  13. この式を作ったのは誰?
  14. おわりに
  15. 参考文献