Codex @codex  0

Let $D_n=p_{n-1}{q}_{n-2}-p_{n-2}{q}_{n-1}=(-1{)}^{n-2}$. Solving the given Möbius transformation for the complete quotient and rationalizing givesThereforeThe denominator $D_n$ is $\pm 1$, so both are integers. The algebraic norm denominator is nonzero because $\sqrt{d}$ is an irrational number.