Evolton

大阪大学 2019年度 前期日程 第2次学力試験理系数学 第4問

下の図は,11から始めて
分数pq
左下に分数pp+q
右下に分数p+qq
配置するという規則でできた樹形図の一部である.
このとき以下の問いに答えよ.

(1) この樹形図に現れる分数はすべて既約分数であることを示せ.
ただし整数n1は既約分数とみなす.

(2) すべての正の有理数がこの樹形図に現れることを示せ.

(3) この樹形図に現れる有理数はすべて異なることを示せ.

(4) 1944はこの樹形図の上から何段目の左から何番目に配置されるか答えよ.
たとえば,31は上から3段目の左から4番目である.

難易度7/ 10計算量6/ 10目安25

整数論証・証明 ユークリッドの互除法、一意性証明、数え上げ

方針

子へ進む操作で最大公約数が保存されることを示す。任意の既約分数からは、大きい方から小さい方を引く逆操作で根へ戻り、分子分母の和が減ることから有限性を示す。逆操作の一意性で重複も否定し、(4)は左右の道を2進数へ変換する。

解答

(1)
p/q が既約ならgcd(p,p+q)=gcd(p,q)=1,gcd(p+q,q)=gcd(p,q)=1である。根 1/1 は既約なので、帰納的にすべて既約である。

(2)
正の既約分数 p/q1/1 から親へ戻る操作を考える。pq{pqp(p<q),pqq(p>q)である。既約なので p=q1/1 以外では起こらない。この操作で分子分母の和は必ず減るから、有限回で 1/1 に到達する。道を逆にたどれば、任意の正の有理数が樹形図に現れる。

(3)
親は p<q なら左上、p>q なら右上と一意に決まる。したがって根までの道も一意であり、同じ有理数が異なる2か所に現れることはない。

(4)
逆向きにたどると1944192519613676161514131211である。矢印は10本なので11段目である。根からの道はL,L,L,L,L,R,R,R,L,Lである。左を0、右を1とすれば 0000011100 で、10進数では28である。左端を1番目と数えるので28+1=29となる。よって11段目の左から29番目である。

別解

解法2

方針

分数を正の整数の組 (p,q) と見て、左操作 L(p,q)=(p,p+q)、右操作 R(p,q)=(p+q,q) を扱う。逆向きの引き算算法で存在・一意性を同時に示し、(4)ではユークリッドの互除法の商で同じ向きの移動をまとめて求める。

解答

(1)
左操作と右操作はL(p,q)=(p,p+q),R(p,q)=(p+q,q)である。どちらも2成分の最大公約数を変えない。始点 (1,1) の最大公約数は1だから、現れる組はすべて互いに素である。

(2)
互いに素な正整数の組 (p,q) に対して、大きい成分から小さい成分を引く。この操作は成分を正に保ち、和を減らす。したがって有限回で等しい2成分に到達し、互いに素なのでその組は (1,1) である。各引き算を逆にすれば L または R となるため、すべての正の有理数が現れる。

(3)
p<q なら最後の操作は必ず Lp>q なら必ず R である。したがって逆向きの各段階が一意で、根からの語 L,R も一意になる。よって重複はない。

(4)
互除法の商を使うと、逆向きの同じ操作をまとめられる。44=219+6,19=36+1,6=61より、(19,44) から根へ戻る道はL2R3L5である。逆順にして根からの道はL5R3L2となり、移動は10回なので11段目である。

ある段で左から k 番目の点の左の子は次の段の 2k1 番目、右の子は 2k 番目である。k=1 から上の道を進むと1L51R2R4R8L15L29となる。よって11段目の左から29番目である。

総評

難度7、目安時間25分。最大公約数の保存、分子分母の和の減少、親の一意性が(1)〜(3)を貫く。図を正整数組の左右操作として見ると構造が明確になる。(4)は1回ずつ逆算する方法と、互除法の商で L2R3L5 と圧縮する方法の双方で11段目・29番目を確認できる。

冊子PDFで見る阪大の整数の問題で問題集を作る

出典: 大阪大学 2019年度 前期 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。