Thoughts on the Collatz conjecture; integers added to powers of 2 I've had a thought about the Collatz conjecture (the 3n+1 problem).
Suppose some number, C, diverges under the iteration. We first note that C must be odd because if C were even it would be halved immediately, and so $\frac {C}{2}$ would be the lowest.  
Take some arbitrary power of 2, $2^a, a>1$, and let us perform the iteration on $2^a +1$
$2^a+1$ is odd, so we go to $3*2^{a}+4$, then to $3*2^{a-1}+2$ and to $3*2^{a-2}+1$
Since we observe that $3*2^{a-2}+1 < 2^{a}+1$, C cannot be of the form $2^a+1$.
Now suppose we have some number n which definitely goes to 1. We now perform the Collatz iteration on $2^{a}+n$. The parity of this number is identical to the parity of n.
If we were to perform 3n+1, then we would have $3*2^{a}+3n+1$
Indeed, since the parity of the number is determined by n, the iteration (i.e. whether we triple and add one or halve) is identical to that of n.  
If we say there are $\alpha$ '3n+1's and $\beta$ '$\frac{n}{2}$'s, this gives us the expression
$\frac{3^{\alpha}}{2^{\beta}}*2^{a}+1 < 2^{a}+1 < 2^{a}+n$ (provided $\frac{3^{\alpha}}{2^{\beta}}<1$)  
We know this is the same iteration which n must undergo, and we know that when n is iterated, we will arrive at the following:
$\frac{3^{\alpha}}{2^{\beta}}n+k=1 > \frac{3^{\alpha}}{2^{\beta}}n$
Where k is some positive constant dependent on the order of the iterations. This implies that $\frac{3^{\alpha}}{2^{\beta}}<1$.
So, as we had with the case n=1, provided that n goes to 1, $2^{a} +n$ goes to 1.  
Now suppose we had verified the case of the collatz conjecture for some small numbers; say 1 and 3. Not only is it true for n=1 & 3, but it is also true for 5,7,9,11,17,19, etc.
And since it is true for 1,3,5,7... it must be true for 9,11,13 and 15, from which we can say it is true for 17,19,21 and so on for all odd whole numbers.  
And therefore our number C at the start is neither odd nor even, and so there is no smallest number which diverges to infinity. In fact, if we say that C could be the smallest element in a cycle then we would also have a contradiction.  
Is this legit? I've probably made an error somewhere, but I figured it was worth putting it on here since it might get some attention. Thank you for your time.
UPDATE:
It has been pointed out that there is a flaw in the argument. Specifically, that we have assumed that a, the power on 2, Is larger than $\beta$ when, in general, it is not. The consequence of this is that certain numbers, specifically those of the form $2^{a}-n$ where a is any integer greater than 1 and n is either 1, 5 or 17. For example, if we take $2^{4}-5=11$, we have:
$2^{4}-5 \rightarrow 3*2^{4}-14 \rightarrow 3*2^{3}-7 \rightarrow 3^{2} * 2^{3}-20 \rightarrow 3^{2} * 2^{2}-10 \rightarrow 3^{2} * 2^{1}-5 \rightarrow 3^{3} * 2^{1}-14 \rightarrow 3^{3}-7 $
Apologies for the rather messy notation but it helps us to see what is going on. First of all, we see that 4 has been reduced to nothing without us learning very much about the number (certainly not whether it decreases). We also note that in the 1st and 6th terms 5 appears on the end - this is because when we extend the iteration into negative integers, there are more cycles than 1-2-4, and their smallest elements are precisely -1, -5 and -17.  
 A: The following part of the argument seems to be problematical.
"Now suppose we have some number n which definitely goes to $1$. We now perform the Collatz iteration on $2^{a}+n$. The parity of this number is identical to the parity of $n$.
If we were to perform $3n+1$, then we would have $3*2^{a}+3n+1$
Indeed, since the parity of the number is determined by $n$, the iteration is identical to that of $n$."
The first example I tested had $n=3$ and $2^a=8$. So $2^a+n=11$.
The Collatz sequence with first entry $3$ goes 
$$3, 10, 5, 16, 8, 4, 2, 1.$$
The Collatz sequence with first entry $11$ goes
$$11, 34, 17, 52, 26, 13, 40, 20, 10, 5, 16, 8, 4, 2, 1.$$ 
The iterations are not identical.
It is true that if $a$ is fairly large, and $n$ is not, then the patterns of odd and even will, for a while, be the same. In our example above, they were the same until the sixth number. 
A: If I got your thinking correctly, then the key, or better:the general aspect, for your observation is the following transfertable (where $k$ is a nonnegative integer):
$$ \small \begin{array}{r|rrcrr||r|rrcrr}
\text{class} &a&&\to&b&&\text{class}&a&&\to&b\\
\hline \\
1& 2^1 \cdot 2k &+ 3 &\to& 3 \cdot 2 k &+5 & 2& 2^2 \cdot 2k &+ 1 &\to& 3 \cdot 2 k &+1 \\
3& 2^3 \cdot 2k &+ 13 &\to& 3 \cdot 2 k &+5 & 4&2^4 \cdot 2k &+ 5 &\to& 3 \cdot 2 k &+1 \\
5& 2^5 \cdot 2k &+ 53 &\to& 3 \cdot 2 k &+5 & 6&2^6 \cdot 2k &+ 21 &\to& 3 \cdot 2 k &+1 \\
...&... &&\to&...&& & ...&&\to&...\\
A& 2^A\cdot 2k&+{5 \cdot 2^A-1\over3} & \to & 6k&+5&
B& 2^B\cdot 2k&+{ 2^B-1\over3} & \to & 6k&+1&
\end{array}$$ where $A\in \{1,3,5,7,...\}$ and $B \in \{2,4,6,8,...\}$
So what you seem to have observed is that if you have some (say "residue") $r \in \{3,13,53,213,853,...\}$ or $r \in \{1,5,21,85,341,...\}$ then you can add an associated power of $2$ and the transformation might be called to be of the same "class".
The table above shows that this observation might even be generalized: not only is it possible to add a suitable power of $2$ but even arbitrary many version with $k$'th multiples of that power can be said to "belong to the same class".
Your additional observations involving the domain of the negative numbers are still matched if you introduce negative $k$ in the above table. And moreover: once we allow negative numbers, then it might be interesting, that the residue-class $3$ means also $-1 \pmod 4$ and thus $+1$ and $-1$ form the "trivial cycles" in class $1$ with $k=-1$ and class $2$ with $k=0$   

If this is indeed what you were discussing then you might be interested in my (older and a bit imperfect) treatize where I've dealt with this observation. (Note that a similar table exists for all modifications $wn+1$ instead of the $3n+1$ in the  Collatz-problem )
