Quería agregar que para ciertas posiciones de los puntos no existe un cuadrado cuyos lados contengan los puntos P y Q, pero siempre existen dos cuadrados donde dichos puntos son colineales a esos lados.
La construcción es como explicó Michel, solo que trazando el diámetro normal a PQ para obtener el otro vértice.