Square (Given Diagonal)

Construct a square ABCD with the given diagonal AC.