Problem 2

Suppose a counterexample exists and, after exchanging $a,b$ if necessary, choose one with $a\le b$ and minimal $a$. Since both factors are positive integers and their product is $2^r$, each factor is a power of $2$.