13/135
３分割法が証明条件を満たしていた
この問題は級数展開ができれば簡単に解ける
しかし3/2>1のため、実際には級数展開できなのだ。
3/4は４が素数でないのでできない。
３分割法は
3/2<1
のように擬似的に見せかけているのである。
この条件が満たされる限り、級数として扱える。
そこで、
(3/2)^(-1)<1
とした。
しかし、
Σ2/3^x>1
で都合が悪い
そこで、
奇数処理を
3m+1
とすると
m/2
は偶数奇数に関わらず必ず行われる
有限回では
Σ1/3^x<1
展開可能となる
終了条件を設定すれば、簡単に証明ができたわけだ。
ただし、ビット間の計算結果が引き継がれない
なので初期値を１ビットずつ、あるいは１や０の連続単位で考える必要がある
数学者であれば、この方法で証明できたかもしれない。
