Since [tex] \angle QAB \cong \angle PAB[/tex] and by inscribed angle theorem,
[tex] \angle PAB \cong \angle PYB;\\
\angle QAB \cong \angle QXB[/tex]
By transitivity,
[tex] \implies \angle QXB \cong \angle PYB\\
\mathrm {or}\: \angle PXQ \cong \angle QYP\\
\implies \text{PQXY is cyclic}[/tex]
This follows from the converse of the theorem that angles subtended on a circle by a chord of fixed length are equal. Here, chord $PQ$ of the circle passing through $PQXY$ subtends equal angles at points $X$ and $Y$ on the circle.