Suppose there are positive solutions to the equation. We may assume WLOG that For if for some prime then so if we write we end up where we started.
If is an odd prime dividing both and then would divide both their sum and their difference It would follow that divides both and contrary to Hence and are either 1 or powers of 2. It is impossible for both of them to be 1 as it would imply that Neither is it possible for one of them to be 1 and the other to be a power of 2, since the parity of would then be indeterminate. Hence both and are powers of 2. This implies that is even.
But note that form a Pythagorean triple. This would imply that must be odd instead.
This contradiction means that there are no positive solutions to the original equation.