Question 57Determine all tripels $(x, y, z)$ of positive integers $x \gt y \gt z \gt 0$, such that $x^2 = y \cdot 2^x + 1$ holds.