~ Consideration on Collatz conjecture ~
ごあいさつ
こんにちは。タンジェントこと田中ジェン太郎と申します。
いつもは
VTuber(ごっこ)
をして、数学とは全く関係ないことで遊んでいます。
本記事は、コラッツ予想について、田中ジェン太郎の主観から考えてみるものです。
過去に某サイトで同様の記事を書いたのですが、残念なことにそのサイトが閉鎖してしまいましたので、
新たにこちらのサイトにてお世話になります。
何かわかったことがあれば追記していくというやり方で書いていきますので、
見出しの前後の直接的な関連性がなくただ雑多で脈絡がないものになっていきますが悪しからず。
よろしくお願いいたします。あわよくばコラッツ予想を解明して1.2億円をもらいます。
コラッツ予想とは
コラッツ予想
任意の自然数 $n$ に対し，以下の関数$f(n)$を定義する；
$$ f(n) = \left\{ \begin{eqnarray} &&\dfrac{n}{2}&&\quad (n\equiv0 \mod 2)\\\\ &&3n+1&&\quad (n\equiv1 \mod 2) \end{eqnarray} \right. $$
さらに，この関数を$k$回合成したものを$f^k(n)$と表すことにする．
このとき，$n$がどのような自然数であっても，
$f^k(n)=1$となる有限の自然数$k$が存在するであろう．
「偶数の時は$2$で割り，奇数の時は$3$倍して$1$足す操作を繰り返すと，いつかは必ず$1$を得るであろう」
というのがこの予想の主張です。
ここで、$f(\cdot)$に自然数$n$を代入して次の値$f(n)$を算出することを、
「$n$に関数$f$を作用させる」と呼ぶことにし、
自然数$n$に対してコラッツ予想の主張が成立する場合、
｢$n$はコラッツ予想に従う｣と呼ぶことにします。
（後述の「ショートカット形式」についても同様）
コラッツ予想のショートカット形式
$n$が奇数のとき、$3n+1$は明らかに偶数であるため、
コラッツ予想は以下のショートカット形式として考えることもできます；
任意の自然数 $n$ に対し，以下の関数$T(n)$を定義する；
$$ T(n) = \left\{ \begin{eqnarray} &&\dfrac{n}{2}&&\quad (n\equiv0 \mod 2)\\\\\ &&\dfrac{3n+1}{2}&&\quad (n\equiv1 \mod 2) \end{eqnarray} \right. $$
さらに，この関数を$k$回合成したものを$T^k(n)$と表すことにする．
このとき，$n$がどのような自然数であっても，
$T^k(n)=1$となる有限の自然数$k$が存在するであろう．
今回はこのショートカット形式を採用し議論を進めます。理由は後述。
もしも予想が正しくなかったら？
もしも予想が正しくない場合、つまり、もしもコラッツ予想に従わない数が存在する場合、
それは複数存在します。操作をした場合の数の移り変わり方は以下の$2$通りです；
- 循環する（元の数に戻ってくる）
- 無限に発散する（有界でない）
そして、（存在する場合）コラッツ予想に従わない数について、以下のことが分かっています。
コラッツ予想に従わない奇数が存在する場合，そのような奇数のうち最小のものを$c$とおくと，
$c\equiv3\mod4$
である．
$T(c)=\dfrac{3c+1}{2}>c$ である．$T(c)$が偶数であるとすると，$T^2(c)=\dfrac{3c+1}{4}\leq c$ であり，
等号成立は$c=1$であるが，これはコラッツ予想に従うため，$c$は$3$以上の奇数で，
$T^2(c)=\dfrac{3c+1}{4}< c$ である．
コラッツ予想に従わない数に対して関数を作用させて得た数もコラッツ予想に従わないため，
$\dfrac{3c+1}{4}$もまたコラッツ予想に従わない数である．しかしながら，これは$c$の最小値性に反する．
このことから，$T(c)$は偶数でなく奇数であるとわかり，
$T^2(c)=\dfrac{3\cdot\frac{3c+1}{2}+1}{2}=\dfrac{9c+5}{4}=2c+1+\dfrac{c+1}{4}$ である．
これは自然数でなくてはならないから，$c+1$は$4$の倍数，すなわち
$c+1\equiv0\mod4\Rightarrow c\equiv3\mod4$
である．（証明終）
つまり、コラッツ予想が正しいかどうかを確かめる際は、$4$で割って$3$あまる数さえ調べればよいことになります。
連続で奇数を得続けると？
なぜショートカット形式$T$を用いるか
通常の形式$f$を用いる際、奇数に作用させて得られる数は必ず偶数になりますが、
ショートカット形式の関数$T$に奇数を代入して得られる数は奇数である場合もあります．
例えば$n=7$のとき；
$n=7$のとき：
$$T(7)=\dfrac{3\cdot7+1}{2}=11$$
$$T^2(7)=T(11)=\dfrac{3\cdot11+1}{2}=17$$
$$T^3(7)=T(17)=\dfrac{3\cdot17+1}{2}=26$$
ショートカット形式$T$で奇数を得続けたとき
次ではショートカット形式$T$を用いて、奇数を連続で得続ける回数と、
$T(n)$に代入する自然数$n$の関係性について議論します。
関数の合成の過程で必ず偶数を挟む$f$より、奇数を得ることがある$T$のほうが何かと都合がよいのです。
これがショートカット形式$T$を採用する理由です。
以降、関数の合成の表記で、$T^0(n)=n$と表すことにします。
$n$を自然数とする．
自然数$t$に対し，$T^{t}(n)$が偶数であり，$T^i(n) $ が奇数 $(i=0,1,2,...,t-1)$であるとすると，
$$T^{t}(n)={\left(\dfrac{3}{2}\right)}^t(n+1)-1$$
である．
初項$a_0=T^0(n)=n$，漸化式$a_{i+1}=T(a_i)$ の数列の一般項$a_k\ (k=0,1,2,...,t)$を求めればよい．
$$a_{i+1}=T(a_i)=\dfrac{3a_i+1}{2}\quad \Rightarrow\quad a_{i+1}+1=\dfrac{3}{2}(a_i+1)$$
より，初項$b_0=a_0+1=n+1$，公比$\dfrac{3}{2}$の等比数列$\{b_i\}$の一般項$b_k$を求めると，
$$b_k=\left(\dfrac{3}{2}\right)^k(n+1)\quad \Rightarrow\quad a_k=\left(\dfrac{3}{2}\right)^k(n+1)-1$$
$a_t=T(a_{t-1})=T^2(a_{t-2})=\cdots =T^{t}(a_0)=T^t(n)$ より，
$$T^t(n)=\left(\dfrac{3}{2}\right)^t(n+1)-1$$
先の例の$n=7$の場合ですと、$n=7,\ t=3$で、
$$T^3(7)={\left(\dfrac{3}{2}\right)}^3(7+1)-1=26$$
となり、この例では確かに正しいことがわかりますね。
奇数を連続で得続ける回数
$T^t(n)$は偶数であるとしましたから、$T^{t}(n)+1=\dfrac{3^t}{2^t}(n+1)$ は当然ながら奇数になります。
ということは、$\dfrac{3^t}{2^t}(n+1)$という式の分母$2^t$は、式自体が自然数であるために
$(n+1)$と打ち消しあうようにして払われなければならず、
かつ、式は奇数であるために$\dfrac{n+1}{2^t}$ は奇数でなければなりません。
このことから、$n+1$ は、素因数$2$をちょうど$t$個もつことがわかります。
さらに，補題１の式では$2$で$t$回割り、$3$を$t$回乗じていることになるため、
$n+1$の素因数$2$を$3$に置き換えれば、$T^t(n)+1$を得られることになります．
また、補題１の式を変形・整理すれば、
$$T^{t}(n)={\left(\dfrac{3}{2}\right)}^t(n+1)-1\quad\Rightarrow\quad \dfrac{T^{t}(n)+1}{n+1}=\dfrac{3^t}{2^t}\quad\Rightarrow\quad n+1:T^{t}(n)+1=2^t:3^t $$
という比で表すこともできます．
コラッツ予想の計算コストを大幅に削減 ～これで∃●ﾉﾘのTKM先生もﾆｯｺﾘ～
以上のことから、$n+1$の素因数$2$の個数が、偶数を得るまでに行った$T$の合成回数や、その偶数がどんな数かを調べるための手がかりになり、
逆に$n+1$の素因数$3$の個数が、どんな奇数に$T$を何回作用させればその$n$を得られるかを調べるための手がかりにもなるのです。
これにより、関数を合成した後の数を算出する時間を大幅に短縮することが可能となります。
以下で例を挙げます；
$n=7$のとき：
$n+1=8=2^3$ より，$t=3$
$8:T^3(7)+1=2^3:3^3=8:27$
$T^3(7)=27-1=26$
$n=503$のとき：
$n+1=504=2^3\cdot3^2\cdot7$ より，$t=3$
$T^3(503)=3^3\cdot3^2\cdot7-1=1700$
また，$T^\bar{t}(\eta)=503$となる奇数$\eta$を考える場合，
$\eta+1:T^\bar{t}(\eta)+1=2^\bar{t}:3^\bar{t}=\eta+1:2^3\cdot3^2\cdot7$より，
最大で$\bar{t}=2$であり，その場合，$\eta=223$である．
実際，
$$
\begin{array}{llll}
T(223)&=\dfrac{3\cdot223+1}{2}&=335&\\
T(335)&=\dfrac{3\cdot335+1}{2}&=503&\text{で，確かに}\ \bar{t}=2\ \text{回目で}\ 503\ \text{になり，}\\
T(503)&=\dfrac{3\cdot503+1}{2}&=755&\\
T(755)&=\dfrac{3\cdot263+1}{2}&=1133&\\
T(1133)&=\dfrac{3\cdot395+1}{2}&=1700&\text{で，確かに}\ t=3\ \text{回目で}\ 1700\text{（偶数）を得る．}
\end{array}
$$
どんな時に奇数／偶数を得るか？
自然数$n$に対して$T$を作用させて得た$T(n)$が偶数か奇数かどうかを一般に判別する方法はわかりませんが、
逆に、$n$および$T(n)$の偶奇で、$n$がどのよう数であるかを、$4$で割ったときのあまりで区分することは可能です。
$n$と$T(n)$がともに偶数である場合：$n$は明らかに$4$の倍数である．
$n$が奇数であり，$T(n)$が偶数である場合：
$T(n)=\dfrac{3n+1}{2}\quad\Rightarrow\quad3n+1\equiv0\mod4\quad\Rightarrow\quad n\equiv1\mod4$
$n$が偶数であり，$T(n)$が奇数である場合：
$T(n)=\dfrac{n}{2}\quad$ より $\quad n\equiv2\mod4$
$n$と$T(n)$ともに奇数である場合：
$T(n)=\dfrac{3n+1}{2}\quad\Rightarrow\quad3n+1\equiv2\mod4\quad\Rightarrow\quad n\equiv3\mod4$
これを表に表すと以下の通り；
| $\rm{mod}\ 4$ | $n$が偶数 | $n$が奇数 |
|---|---|---|
| $T(n)$が偶数 | $n\equiv0$ | $n\equiv1$ |
| $T(n)$が奇数 | $n\equiv2$ | $n\equiv3$ |
このことから、もしコラッツ予想が正しくない数が存在するとして、その最小値$c$は$c\equiv3\mod4$のため、
$T(c)$は必ず奇数であるとわかります。
また、奇数$n$に対し$T(n)$が奇数かつ$T(\eta)=n$となる奇数$\eta$が存在する場合、
$n\equiv11\mod12$ であることが導かれます。（証明は割愛）
$T^t(n)$が$2$の冪$2^\tau$になるとき
コラッツ予想は、計算の結果が$1$になることが最終目標です。しかしながら途中で$2$の冪にさえなれば、
あとはそこから$2$で割り続けて$1$を得られるわけですから、$2$の冪はコラッツ予想に従うことがわかります。
もしも$T^t(n)$が$2$の冪$2^\tau$になった場合の、その指数$\tau$と$n$や$t$の関係性について調べてみましょう。
$t$と，$2^\tau$の冪指数$\tau$の関係
$n$を自然数とする．
自然数$t$および$\tau$が$T^{t}(n)=2^\tau$を満たし，$T^i(n) $ が奇数 $(\ i=0,1,2,...,t-1\ )$であるとすると，
$2^\tau+1$ は $3^t$の倍数である．
$T^{t}(n)={\left(\dfrac{3}{2}\right)}^t(n+1)-1=2^\tau$ で，$(n+1)$は素因数$2$をちょうど$t$個もつから，
奇数$m$を用いて$T^{t}(n)=3^tm-1=2^\tau$ と表せる．この式を整理すれば，
$2^\tau+1$ が $3^t$の倍数であることが導かれる．
$m$は奇数としているだけで、その因数に$3$が含まれているか否かについては触れていません。
$m$に因数$3$が含まれている場合、$3$の指数の数だけ$t$に加算されることに注意してください。
以上，$t$と$\tau$の関係が分かるのですが，では$\tau$自体は一体どんな数になるでしょうか。
それを考えるにあたり、次でいくつか補題を扱います。
$\tau$ってどんな数？ ～下準備～
任意の自然数$t$に対し，$2^{3^{t-1}}\equiv-1\mod 3^t$が成り立つ．
$t=1$から$5$まで実際に確認してみると、
$$ \begin{array}{llll} \quad t=1\rm{\hspace{3mm}のとき}&2&=3\cdot1-1&\equiv-1\mod 3\\ \quad t=2\rm{\hspace{3mm}のとき}&8&=9\cdot1-1&\equiv-1\mod 9\\ \quad t=3\rm{\hspace{3mm}のとき}&512&=27\cdot19-1&\equiv-1\mod 27\\ \quad t=4\rm{\hspace{3mm}のとき}&134217728&=81\cdot1657009-1&\equiv-1\mod 81\\ \quad t=5\rm{\hspace{3mm}のとき}&2417851639229258349412352&=243\cdot9950006745799417075771-1&\equiv-1\mod 243\\ \end{array} $$
となります。最後のほうエグいですね。読みますか？
2杼[ｼﾞｮ] 4178 垓[ｶﾞｲ] 5163 京[ｹｲ] 9229兆 2583億 4941万 2352 です。もう人が現代社会で扱う領域を超えている。
この補題は数学的帰納法を用いて証明できます。やってみてね。
もっと言うと、合同式は両辺を累乗しても合同関係は成り立つわけですから、
奇数$p$を用いて $2^{3^{t-1}p}\equiv-1\mod 3^t$ が成り立つことも分かります。
この合同式の左辺を移項すれば、
$$2^{3^{t-1}p}+1\equiv0\mod 3^t$$
となります。このことを用いて何をしたいかは、勘のいいガキ鋭い方であればもうお分かりですね。
証明しよう 間違いのないように (♪ ～ ﾁｭｰﾘﾝｸﾞﾗﾌﾞ～)
そうです。補題2の条件下で上記の合同式が成り立っていてくれれば，
$\tau$は一定の式で表すことができるのです。なんて素晴らしい。
ようは$\tau=3^{t-1}p$であってくれれば良いのです。
しかし，これを何の証明もなしに使うことは許されません。
$\tau$を他の表し方でしか表せない場合が存在するかも知れない。
もしかすると$\tau$が偶数になる場合が存在するかもしれない。
その可能性を潰し、上記の式ただ一通りに表すことが許されるよう、次の補題を扱います；
任意の自然数$t$に対し，以下の命題$P_t,Q_t$は同値である；
$P_t:$奇数$p$を用いて，$\tau=3^{t-1}p$ と表せる．
$Q_t:2^{\tau}+1$は$3^t$の倍数である．
これも数学的帰納法を用いて証明が可能です。
（長ったらしいので、面倒な人は「ﾊｲﾊｲ､証明できるんですね」程度に思って読み飛ばしてもらって大丈夫です）
$t=1$のとき
【$P_1\Rightarrow Q_1$の証明】
$P_1$より，$\tau=p$すなわち$\tau$は奇数である．一方，
$Q_1:2^\tau+1$が$3$の倍数であるには$\tau$が奇数であればよい．
したがって，$P_1\Rightarrow Q_1$は真である．
【$P_1\Leftarrow Q_1$の証明】$\cdots$自明
以上から，$P_1,Q_1$は同値である．
ある自然数$t$に対し，$P_t,Q_t$が同値であると仮定する．
【$P_{t+1}\Rightarrow Q_{t+1}$の証明】
$P_{t+1}$より，$\tau=3^tp$である．これを$Q_{t+1}$に代入して，
$$
Q_{t+1}:2^{\tau}+1=2^{3^tp}+1={(2^{3^{t-1}p})}^3+1=(2^{3^{t-1}p}+1)\{{(2^{3^{t-1}p})}^2-{(2^{3^{t-1}p})}+1\}\quad
$$を得る．
仮定より$P_t,Q_t$は同値のため，$(2^{3^{t-1}p}+1)$は$3^t$の倍数．
また$\{{(2^{3^{t-1}p})}^2-{(2^{3^{t-1}p})}+1\}$は$3$の倍数である．
\begin{array}{cll} \because&4^\rm{自然数}&\equiv1\mod3\\ & 2^\rm{奇数}&\equiv1\mod3\\ \end{array}
したがって，$2^{3^tp}+1$は$3^{t+1}$の倍数であるから，$P_{t+1}\Rightarrow Q_{t+1}$が示される．
【$P_{t+1}\Leftarrow Q_{t+1}$の証明】
$Q_{t+1}\Rightarrow Q_t$であり，仮定より$P_t,Q_t$は同値のため，$Q_{t+1}\Rightarrow Q_t\Leftrightarrow P_t$である．
したがって$P_t$について，奇数$\bar{\tau},p$を用いて$\bar{\tau}=3^{t-1}p$と表せるとすれば，
$Q_t$から，$2^\bar{\tau}+1$は$3^t$の倍数である．
一方，${(2^{\bar{\tau}})}^3+1=(2^{\bar{\tau}}+1)\{{(2^{\bar{\tau}})}^2-{(2^{\bar{\tau}})}+1\}$ であることを考えると，
先述の議論と同様，$\{{(2^{\bar{\tau}})}^2-{(2^{\bar{\tau}})}+1\}$は$3$の倍数である．
したがって，${(2^{\bar{\tau}})}^3+1=2^{3\bar{\tau}}+1$は$3^{t+1}$の倍数である．
$3\bar{\tau}=\tau$とすれば，$2^{\tau}+1$が$3^{t+1}$の倍数であるとき，$\tau=3^tp$と表せる．
これは$Q_{t+1}\Rightarrow P_{t+1}$が真であることに他ならない．
以上から，$P_{t+1},Q_{t+1}$が同値であることが示された．
以上の議論から，数学的帰納法により，補題4が導かれる．
先述の$m$の話と同様です。この証明では$p$の因数に$3$が含まれているか否かについては触れていません。
$p$に因数$3$が含まれていない場合、$3$の指数の数だけ$t$に加算されることに注意してください。
逆に$p$に因数$3$が含まれていない場合，$2^{\tau}+1$は［$3^t$の倍数］かつ［$3^{t+1}$の倍数でない］ことになります。
ふでやすめ
ここまでお読みいただきありがとうございます。そしてお疲れ様です。
「あれ、何を考えているんだったっけ？」
と忘れかけてしまっている方のために、
ここで改めて周知します。
ショートカット形式$T$を自然数$n$に作用させ、
「連続で奇数を得続け、$t$回目で初めて偶数を、しかも$2$の冪$2^\tau$を得た」
ことを考えるにあたり，$2^\tau$の指数$\tau$はどんな数なのか？
ということを調べていました。ここまでの証明でほぼ答えは出ているのですが、次でまとめに入ります。
$\tau$ってどんな数？ ～まとめ～
補題2
と同様の条件とすると，奇数$p$が存在して，$\tau=3^{t-1}p$と表せる．
このとき，$t$は$n+1$の素因数$2$の指数と等しい．
証明は前述の通りです．
例を挙げてみましょう。
$n=151$のとき $n+1=152=2^3\cdot19$より，$t=3$
$T^3(151)=3^3\cdot19-1=512=2^9$ である．$p=1$とすれば，$\tau=3^{3-1}\cdot1=9$である．
はい、ちゃんと一定の式で表せることがわかりました。
コラッツ予想、一部解明？
具体的な自然数$n$から$\tau$の値を導き出せたならば、その逆もできますね。
$n$を自然数とする．
自然数$t$および$\tau$が$T^{t}(n)=2^\tau$を満たし，$T^i(n) $ が奇数 $(i=0,1,2,...,t-1)$であるとすると，
ある奇数$p$が存在して，$\tau={3^{t-1}p}$と表すことができ，
$$n={\left(\dfrac{2}{3}\right)}^t\left({T^t(n)}+1\right)-1={\left(\dfrac{2}{3}\right)}^t(2^{\tau}+1)-1={\left(\dfrac{2}{3}\right)}^t(2^{3^{t-1}p}+1)-1$$ となる．
逆に，上記のように表せる自然数$n$について，コラッツ予想は正しい．
定理ってほどじゃないですが…。 証明は、これまでの議論を用いて$T^t(n)$から逆算すれば明らかです。
前述の$n=151$の場合でも $t=3,\ \tau=9\ (p=1)$から導くことができます。
<!!--
$2$の冪じゃなくて、一般の偶数について考えたい！
本題はここから
本来はこちらが議論の主題です。といいますのも、そもそも計算のスタートは最初に選んできた奇数$n$です。
そこから$t$および$T^t(n)$と$\tau$の値が決まるわけですから。
先の$2$の冪になる場合の議論では、最終的に「$T^t(n)=2^\tau$になる$n$はいくつでしょう」というお話でした。例に挙げた自然数$n$も、あくまで$T^t(n)$の計算結果が$2$の冪になる$n$の値を選んだに過ぎず、平たく言えば$2$の冪に対する忖度です。
「あ！$n=151$としたら$T^t(n)$が$2^\tau$になったぞぉ～！（すっとぼけ）」
という具合に。
よっぽどの偶然でも起きない限り、$T^t(n)$の値が$2$の冪になることはないでしょう。
$n\longrightarrow$偶数$\longrightarrow\bar{n}$を得るまで
先ほどは$T^t(n)=2^\tau$となる場合について考えましたが，次は$2$の冪ではない一般の偶数について話を広げます。
つまり，$T^t(n)=2^\tau\bar{n}$となる奇数$\bar{n}$がある場合です。$\bar{n}=1$のときはまさしく$T^t(n)$が$2$の冪になる場合ですね。
次は無作為に奇数$n$を選んだときの$t$および $T^t(n)=2^\tau\bar{n}$となる$\tau,\ \bar{n}$の値を考えてみましょう。
$n$の表し方
ところで、$n$から$T^t(n)$を得るのにあたり、$n+1$の素因数$2$を$3$に置き換える操作が入るわけですが、
なぜそのような操作が必要とされることになったのでしょうか？これは実際に計算で確かめてみる他ありません。
$n+1$から素因数$2$を分離して表すと、$m$を奇数として$2^tm$となります。
$n=2^tm-1$ を$ T(n)$に代入して得る数は
$$T(n)=\dfrac{3(2^tm-1)+1}{2}=2^{t-1}3m-1$$ ですね。
この式のとらえ方として、「$n$の第$1$項の素因数$2$の指数が$1$つ減り、$3$が$1$つ増えた」とみなすことができます。
$t$が十分大きければ、この$T(n)$も奇数です。もう一度$T$を作用させてみると、
$$T^2(n)=T(2^{t-1}3m-1)=\dfrac{3(2^{t-1}3m-1)+1}{2}=2^{t-2}3^2m-1$$ となります。
つまるところ$T(\cdot)$の操作というのは、「作用前の式の第$1$項の素因数$2$の指数を$1$つ減らし、$3$を$1$つ増やす」
ことと全く同じなのです。これが可能な回数が$t$回のため、「$n+1$の因数$2$を$3$に置き換える」ことで、
$T^t(n)$を得ることができるのですね。
このことから、$n=2^tm-1$という表し方は、コラッツ予想を考えるにあたって有効な手段だと思われます。
ちなみに、前述の注意と同様の理由で、奇数$m$には因数$3$が含まれていないものと考えてください。
さて、コラッツ予想の（ショートカット形式の）操作は$n$からスタートし、
$T^t(n)={\left(\dfrac{3}{2}\right)}^t{(n+1)}-1=2^\tau\bar{n},\quad
T^\tau(2^\tau\bar{n})=\bar{n}$ で、次の奇数$\bar{n}$を得るまでがワンセット。
$($$T(n)$は$n$が偶数の時に$2$で割る関数であることをお忘れなく…$)$
この$\bar{n}$に当てはまる数が$1$になったとき、$n$に関してコラッツ予想は正しいといえます。
では、途中で得る偶数の$2^\tau\bar{n}$について、$\tau$や$\bar{n}$はどんな値になるでしょうか。
先ほどのように$\tau=3^{t-1}p$ だと嬉しかったのですが、そう都合よく上手くいくものではありません。
どうにかして$n=2^tm-1$と$T^t(n)=2^\tau\bar{n}$の間に別の繋がりを見つけられないものでしょうか。
ここからは、手探りで試行錯誤をしている状態のものをプロトタイプとして記述していきます。
スタートの$n$に制限を持たせる
これまで口酸っぱく述べたこととして、前述の$n=2^tm-1$で$m$は因数に$3$を持たないかどうか、つまり$3$の倍数でない奇数かどうかに注意を向けておりました。なぜ$3$を気にしているか、ここで改めて詳しくお話しします。
$T^t(n)$を得るまでの通過点の奇数と見なされる
ここで仮に$n=2^tm-1$の$m$が素因数$3$を持つとしましょう。奇数$\mu$を用いて$m=3\mu$ と表せますので、
$n=2^t3\mu-1$ です。これは前述の"操作"に基づいて考えれば、$T(2^{t+1}\mu-1)=n$と考えることはできませんか？
このように、$m$が$3$の倍数であった場合、$T$を作用させて奇数$n$を得るような奇数が存在することになるため、
$T^t(n)$を得るにあたり、スタートに代入する奇数として$n$と$2^{t+1}\mu-1$のどちらを入れて考えても、
$T^{t+1}(2^{t+1}\mu-1)=T^t(n)$となって変わらないよね、となるわけです。
逆に$m$が$3$の倍数にならないようにしてスタートするとき、$T$を作用させて$n$を得るのに入れる数は偶数$2n$しかありません。このようなとき、$n$は$3$で割ったときのあまりが$0$か$1$となるような奇数です。
そして、前に述べた表から、
$n$が$4$で割ると$1$あまる数$\Rightarrow T(n)$は偶数で、
$n$が$4$で割ると$3$あまる数$\Rightarrow T(n)$は奇数となります。
これを表に表すと以下の通り；
| $n\equiv0\mod3$ | $n\equiv1\mod3$ | |
|---|---|---|
| $n\equiv1\mod4$ | $n\equiv9\mod12$ | $n\equiv1\mod12$ |
| $n\equiv3\mod4$ | $n\equiv3\mod12$ | $n\equiv7\mod12$ |
コラッツ予想に従わない数が存在するとき、その最小は$4$で割って$3$あまるので、
考えるべき数は、表の下の段の$2$つになります。