コラッツ演算を次のように定義する。
$$ \begin{eqnarray}
\left\{
\begin{array}{l}
a_m^o:= \frac{a_{m}^e}{2^{n_m}}\cdots\cdots (a_{m}^eが定義されているとき)n_m : =max \lbrace n_m:\frac{a_{m}^e} {2^{n_m}} \in N \rbrace \\
{a_{m+1}^e:= 3a_{m}^o+1}
\end{array}
\right.
\end{eqnarray} $$
つまり、偶数演算が要求された場合、偶数演算は、一度要求されたら奇数になるまで$n_m $回実行されます。このように定義すると、奇数 と偶数 に分けることができる。 ただし、偶数演算の初回は $n_1$、以下$n_2,n_3, \cdots$ などとする。
この定義に基づいて、奇数演算の回数 $m$ と偶数演算の回数$n_m$を変数とし一般式を定義する。与えられた最初の偶数自然数を$a_1^e$とし、次の奇数自然数をを$a_1^o$とする。Collatz m 回で指定された奇数演算を繰り返した結果は、$a_m^o$ と$a_m^e$になります。
初めに与えられた自然数が偶数の場合
$$a_1^o= \frac{a_1^e}{2^{n_1}} $$
ここで ${n_1}$ は変数で ${n_1} \geq 1$ で、奇数になるまで 2 で偶数演算されます。次に奇数演算が行われ、
$a_2^e= 3a_1^o+1$
結果として、
$$a_2^e= \frac{3}{2^{n_1}}a_1^e+1 $$
その後、コラッツ演算が繰り返えされ、一般項は、
$a_{m}^e=(3^{m-1}a_1^e+3^{m-2}k_1+3^{m-3}k_2+ \cdots+3^1k_{m-2}+k_{m-1})/k_{m-1}$ （１）
但し、
$k_m=2^{ \sum_{i=1}^{m}n_i} $
とする。
$a_{2}^e = a_{1}^e $とすると、
$a_{1}^e=(3^{1}a_1^e+3^{0}k_1)/ k_1 \Longrightarrow k_1a_{1}^e=(3^{1}a_1^e+3^{0}k_1) \Longrightarrow (k_1-3) a_{1}^e=k_1$
$$ a_{1}^e= \frac{k_1}{(k_1-3)} $$
偶数割る奇数であるから、
$$ a_{1}^e= \frac{k_1}{(k_1-3)}=2n $$
で、$k_1 \lt 3 $では右辺が負数になるので$a_{2}^e = a_{1}^e $とする仮定は背理し、$a_{2}^e \neq a_{1}^e $で有るから、$k_1 \gt 3 $を考えれば良い。
$k_1 = 4 $の場合、
$$ a_{1}^e= \frac{4}{(4-3)}=4$$
で有るから、整除されるが、奇数演算が行われる前に$a_{1}^e$は１に収束するから除外されている。依って、$k_1 \geq ８$の場合のみ次の計算に移行できる。
$k_1 \geq ８$の場合、
$$ a_{1}^e= \frac{k_1}{(k_1-3)}=2n \Longrightarrow k_1=2n(k_1-3) \Longrightarrow 3 \times 2n=(2n-1)k_1$$
$$ \frac{3 \times 2n}{(2n-1)} =k_1 \geq 8 $$
$$\Rightarrow 3 \times 2n \geq 8(2n-1) \Rightarrow 3 \times 2n \geq 16n-8 \Rightarrow 8\geq 16n-3 \times 2n=10n$$
$$ \frac{8}{10} = 0.8 \geq n$$
で有るので、$0.8\geq n$で有るが、$n \in \mathbb{N} $ で無ければならないので、整除出来ず$a_{2}^e = a_{1}^e $とする仮定は背理し$a_{2}^e \neq a_{1}^e $で有る。依って、
$$ a_{1}^e= \frac{k_1}{(k_1-3)} \notin \mathbb{N} (a_1^e:a_1^e \neq 4) \Rightarrow a_{2}^e \neq a_{1}^e(a_1^e:a_1^e \neq 4)$$
で有る。
$a_{2}^e \neq a_{1}^e(a_1^e:a_1^e \neq 4) $と仮定すると、
$a_{1}^e \neq (3^{1}a_1^e+3^{1}k_1)/ k_1$
で有る。
$$a_{1}^e\neq \frac{k_1}{(k_1-3^{1})} $$
で有るから、
$$a_{1}^e\neq \frac{k_1}{(k_1-3^{1})} \notin \mathbb{N}(a_1^e:a_1^e \neq 4)$$
で有るなら、恒等的に成り立つ。
$a_{2}^e = a_{1}^e $で計算したように、
$$ \frac{k_1}{(k_1-3^{1})} \notin \mathbb{N}(a_1^e:a_1^e \neq 4)$$
は、仮定の条件に関係なくコラッツ演算に従った計算による結果でも有るので、$a_{2}^e \neq a_{1}^e $とする仮定は肯定される。
よって、
$$a_{2}^e \neq a_{1}^e \Rightarrow \frac{k_1}{(k_1-3)} = a_{1}^e \notin \mathbb{N}(a_1^e:a_1^e \neq 4) $$
で有る。
$a_{3}^e = a_{1}^e $とすると、$a_{2}^e = a_{1}^e $と同様に計算される。又、$k_2-3^{2} \lt 0 $の場合、
$$ a_{1}^e= \frac{3k_1+k_2}{(k_2-3^2)} \lt 0$$で有るので、$a_{3}^e = a_{1}^e $とする仮定が背理し、$a_{3}^e \neq a_{1}^e $で有る。
$k_2-3^{2} \gt 0 $の場合、
$$ a_{1}^e= \frac{3k_1+k_2}{(k_2-3^2)}$$
は、$a_{2}^e \neq a_{1}^e $の続きとして、計算されるが同じ$a_{1}^e$で計算されるので有るから、
$$ a_{1}^e= \frac{3k_1+k_2}{(k_2-3^2)}=a_{1}^e= \frac{k_1}{(k_1-3)} \notin \mathbb{N}(a_1^e:a_1^e \neq 4) $$
である。よって、
$$ \frac{3k_1+k_2}{(k_2-3^2)} \notin \mathbb{N}(a_1^e:a_1^e \neq 4)$$
で有るので、自然数に整除出来ず、$a_{3}^e = a_{1}^e $とする仮定は背理し$a_{3}^e \neq a_{1}^e $で有る。よって、
$$a_{2}^e \neq a_{1}^e(a_1^e:a_1^e \neq 4) \Longrightarrow a_{3}^e \neq a_{1}^e(a_1^e:a_1^e \neq 4) $$
で有る。
$ a_{m-1}^e \neq a_{1}^e$の場合、$k_{m-2}-3^{m-2} \gt 0$と仮定すると、
$a_{1}^e \neq (3^{m-2}a_1^e+3^{m-3}k_1+3^{m-4 }k_2+ \cdots+3^1k_{m-3}+k_{m-2})/k_{m-2}$
で、
$$ a_{1}^e \neq \frac{3^{m-2}a_1^e+3^{m-3}k_1+3^{m-4 }k_2+ \cdots+3^1k_{m-3}+k_{m-2}}{(k_{m-2}-3^{m-2})}\notin \mathbb{N}(a_1^e:a_1^e \neq 4) $$
と仮定すると、整除出来ないから、$ a_{1}^e \notin \mathbb{N} $で仮定は肯定される。
又、$k_{m-2}-3^{m-2} \lt 0 $の場合、$ a_{m-1}^e \neq a_{1}^e$の仮定は肯定される。
$ a_{m}^e=a_{1}^e$の場合、
$$a_{1}^e= \frac{3^{m-1}k_1+3^{m-2}k_2+ \cdots+3^1k_{m-2}+k_{m-1}}{(k_{m-1}-3^{m-1})} $$
は、$ a_{m-1}^e \neq a_{1}^e$と同じ$a_{1}^e $の続きとして計算されるから、
$$a_{1}^e= \frac{3^{m-1}k_1+3^{m-2}k_2+ \cdots+3^1k_{m-2}+k_{m-1}}{(k_{m-1}-3^{m-1})} $$
$$=a_{1}^e \notin \mathbb{N}(a_1^e:a_1^e \neq 4) $$
で有るから、自然数に整除出来ず、
$$a_{1}^e= \frac{3^{m-1}k_1+3^{m-2}k_2+ \cdots+3^1k_{m-2}+k_{m-1}}{(k_{m-1}-3^{m-1})} \notin \mathbb{N}(a_1^e:a_1^e \neq 4) $$
で有るので、$ a_{m}^e=a_{1}^e(a_1^e:a_1^e \neq 4)$とする仮定は背理し$a_{m}^e \neq a_{1}^e(a_1^e:a_1^e \neq 4) $で有る。
よって、$ a_{m-1}^e \neq a_{1}^e(a_1^e:a_1^e \neq 4) \Longrightarrow a_{m}^e(a_1^e:a_1^e \neq 4) \neq a_{1}^e$で有るから、数学的帰納法により循環数列は無い。
一般式式から、
$$a_{m}^e= \frac{3}{2^{n_{m-1}}} a_{m-1}^e+1$$
$2^{n_{m-1}}=1$で、
$$a_{m}^e = \frac{3}{2^{1}} a_{m-1}^e+1$$
で、$a_{m-1}^e=2i$とすると、
$$a_{m}^e = \frac{3}{2^{1}} 2i+1=3i+1$$
で有るから、$i=2j-1$の奇数で無ければ成らない。
$$a_{m}^e=3i+1=3(2j-1)+1=6j-3+1=6j-2$$
$a_{m-1}^e=2(2j-1)$で有るから、$a_{m-1}^e=4j-2$と成り、増大する。
$n_{m-1}=2 \land a_{m-1}^e=2i$とすると、
$$a_{m}^e = \frac{3}{2^{2}} 2i+1= \frac{3i+2}{2}$$
$i=2j$の偶数で無ければ右辺が偶数に成らない。
$$a_{m}^e = \frac{3i+2}{2}=\frac{3 \times 2j+2}{2}=\frac{6j+2}{2}=3j+1$$
依って、$j=2k-1$で無ければ右辺が偶数に成らない。
$$a_{m}^e = 3j+1=3(2k-1)+1=6k-2$$
依って、$a_{m-1}^e=2i=4j=4(2k-1)=8k-4$と成り、$a_{m}^e \lt a_{m-1}^e$で有るから、減少する。
$n_{m-1} \gt 2 \land a_{m-1}^e=2i$とすると、
$$a_{m}^e \lt \frac{3}{2^{2}} 2i+1= \frac{3i}{2}+1=\frac{3i+2}{2}=1.5i+1$$
依って、$a_{m}^e \leq a_{m-1}^e$有るので、で減少する。
この様な増減の中で減少する場合でも増大する場合でもコラッツ演算を続けると循環数は無い事から$a_m^e$は全て違う値であるので、必ず$a_m^e=2^n$になる事が有るだろうと思われる。
$ a_m^e=2^n$で有れば、次の割り算で必ず１に収束する。
$a_{m}^e=2i$で表し、$a_{m}^e=2^n$とすると、$2i=2^n$で有るから、$i=2^{n-1}$となり、無限にある自然数$i \in \mathbb{N} $に対して、$2^{n-1}$も無限（無限大の濃度の定義）に有る。依って、コラッツ演算は必ず１に収束する。
循環数列の無い事と１に収束する事によってコラッツ予想を肯定した。