<s>[INST] Collatz Conjecture: Is there a straightforward argument showing that there are no nontrivial 2 "step" repeats (where each "step" is an odd number) Let:

*

*$C(x) = \dfrac{3x+1}{2^w}$ where $w$ is the highest power of $2$ that divides $3x+1$

*$C_n(x) = C_1(C_2(\dots(C_n(x)\dots)) = \dfrac{3^n x + 3^{n-1} + \sum\limits_{i=1}^{n-1}3^{n-1-i}2^{\left(\sum\limits_{k=1}^i w_k\right)}}{2^{\left(\sum\limits_{i=1}^n w_i\right)}}$
It is well known that if $C_2(x)=x$, then $x=1$.
I am wondering if there is straight forward way to prove this.  Based on the above equation, it seems like it should be very easy to find.  I am unable to do it.
Here's what I have:
$$x = \frac{3 + 2^{w_1}}{2^{w_1 + w_2} - 9}$$
where:

*

*$w_1 + w_2 \ge 4$

*$w_1 \ge 1, w_2 \ge 1$
Would proof by infinite descent be the appropriate way to approach this?
 [/INST] You got
$$x = \frac{3 + 2^{w_1}}{2^{w_1 + w_2} - 9} \tag{1}\label{eq1A}$$
For $x$ to be a positive integer means the denominator must divide evenly into the numerator which means the denominator must also be less than or equal to the numerator.
For somewhat easier algebra, let
$$y = 2^{w_1} \tag{2}\label{eq2A}$$
so \eqref{eq1A} now becomes
$$x = \frac{y + 3}{2^{w_2}y - 9} \tag{3}\label{eq3A}$$
This gives
$$y + 3 \ge 2^{w_2}y - 9 \iff 12 \ge (2^{w_2} - 1)y \iff \frac{12}{2^{w_2} - 1} \ge y \tag{4}\label{eq4A}$$
The denominator must also be a positive integer, but since the smallest power of $2$ greater than $9$ is $16$, we get
$$2^{w_2}y \ge 16 \iff y \ge \frac{16}{2^{w_2}} \tag{5}\label{eq5A}$$
Combining \eqref{eq4A} and \eqref{eq5A} gives
$$\frac{16}{2^{w_2}} \le y \le \frac{12}{2^{w_2} - 1} \tag{6}\label{eq6A}$$
For $w_2 = 1$, \eqref{eq6A} gives $8 \le y \le 12$. Since \eqref{eq2A} states $y$ is a power of $2$, the only possible solution is $w_1 = 3$ giving $y = 8$. However, \eqref{eq3A} gives $x = \frac{11}{7}$, which is not an integer.
Next, if $w_2 = 2$, \eqref{eq6A} gives $4 \le y \le 4$, i.e., $w_1 = 2$. Substituting these into \eqref{eq3A} gives $x = 1$.
If $w_2 = 3$, then \eqref{eq6A} gives $2 \le y \le \frac{12}{7}$, i.e., there's no value of $y$. Likewise, any value of $w_2 \gt 3$ will not allow any value of $y$. Also, Steven Stadnicki's question comment gives another way to see $w_2 = 2$ is its maximum possible value.
This means the only valid positive integer solution of \eqref{eq1A} is $w_1 = w_2 = 2$ giving $x = 1$.
</s>