Okay I'm just going to try to play with this and see if anything helpful comes out of it, which it probably won't:
When you multiply an odd number by 3, because 3 is odd, the result will also be odd. When you add 1 to that odd result, it becomes even. You're always trying to get to even numbers. This is also a result of what you said; you can only reach one by using the procedure for even numbers.
For any odd number x, (3x+1)/2 is an integer.
For any even number y, y/2 is an integer.
wait forget all of that
You have to reach 2^x to be able to get to 1.
If a is an odd number, then, eventually,
3a+1 = 2^x
3a = 2^x - 1
a = (2^x - 1)/3
You know I don't know where I'm going with this at all so I'm just going to stop
Also,
http://imgur.com/gallery/QAJXW/r/mathpics is a good sub