関数 E(n)の定義
関数 E(n) は次のように定義されます:
E(n) = (2n - n(-1)^n + 1/2 - 1/2(-1)^n )( 3/4 -1/4(-1)^n)
1. 正の整数を返すことの証明
偶数の場合
E(n) = (2n – n・ 1 + 1/2- 1/2・ 1) (3/4 – 1/4 ・ 1 )
E(n) = (n )1/2= n/2
奇数の場合
E(n) = (2n - n (-1) +1/2 – 1/2 (-1) ) (3/4 + 1/4)
E(n) = (3n+1)1 = 3n + 1
2. 任意の正の整数が最終的に 1 に収束することの証明
偶数の場合
奇数の場合
サイクルの不存在
結論
関数 E(n) が任意の正の整数に対して正の整数を返し、繰り返し適用することで最終的に 1 に収束することが証明されました。これにより、関数 E(n) がコラッツ予想に関連する変換規則として適切であり、コラッツ予想が成立します