Вот доказательство единственности.
Пусть дан 4-угольник ABCD у которого AC не перпендикулярна BD.
KLMN и PQRS - квадрат и некоторый прямоугольник построенные на ABCD.
Строим прямоугольник P'QRS' который не совпадает с PQRS т.к. A' не совпадает с A.
Т.к. KLMN квадрат то и P'QRS' тоже квадрат, а значит PQRS не квадрат.
Если AC и BD перпендикулярны(и равны) то квадратов, как уже здесь говорилось, можно построить бесконечно много.