コラッツ予想がとけたらいいな その2
■ このスレッドは過去ログ倉庫に格納されています
>>603を証明します。
拡張完全割数列のうちで、後ろに無限に長く、base caseである21[6]にたどり着かない、
最小反例cを考えます。
「cは奇数」であり、「c≠3」「c≠9」とします。
「c≡3 mod 9」「c≡6 mod 9」「c≡0 mod 9」で場合分けをします。
・c≡3 mod 9のとき
star変換B[1,-2]をおこないます。変換関数はy=c/6-1/2
入力は
c=9t+3 (t≦0) から始めて
cは奇数なので c=18t'+3 (t'≦0)
cは3ではないので c=18t'' +21 (t''≦0)
変換関数に代入すると
y=3t'' +3 < c より小さい反例が得られました。
・c≡6 mod 9のとき
star変換D[3,-2]をおこないます。変換関数はy=(2/3)c-1
入力は
c=9t+6 (t≦0) から始めて
cは奇数なので c=18t'+15 (t'≦0)
変換関数に代入すると
y=12t' +9 < c より小さい反例が得られました。 ・c≡0 mod 9のとき
star変換E[2,-4]をおこなうと、分数になる場合があります。
なので入力を分割します。
c=9t+9 (t≦0) を
c1=36t'+9 (t'≦0) 9を除いて36t'' +45 (t''≦0)
c2=36t'+18 (t'≦0) 偶数なので除外
c3=36t'+27 (t'≦0)
c4=36t'+36 (t'≦0) 偶数なので除外
・c1のときはE[2,-4]をおこなう
y=c1/12-3/4 = 3t'' +3 < c1 より小さい反例が得られました。
・c3のときは、以下をそれぞれF後のmod9に応じておこないます。
F → C (1/3)((8/3)c3-3)-2 = (8/9)c3 -3 < c3
F → B (1/6)((8/3)c3-3)-1/2 = (4/9)c3 -1 < c3
F → E (1/12)((8/3)c3-3)-3/4 = (2/9)c3 -1 < c3
どの場合も、より小さい反例が得られました。
なお、F → Eのときは循環する可能性がありますが、
y=(8/3)(27+36t')-3 = 72+96t'-3 = 27+ 42+96t'
42+96t' = 36t'' とおくと、一次不定方程式になりますが、
42はgcd(96, 36)=12 の倍数ではないので、この式は整数解を持ちません。
よって、27+36t' ―F→ 27+36t'' になることはありません。
いずれの場合も、より小さい反例が得られたので、
最小反例cは存在しません。 ■ このスレッドは過去ログ倉庫に格納されています