Two Squares(proof)

ADG ABE. ( AB = AD, AE = AG, BAE = DAG.) If we rotate ADG by 90 degrees, we obtain ABE. BE = DG, BE DG PS = QR = 1/2 DG. PS QR DG PQ = SR = 1/2 BE = 1/2 DG. PQ SR BE Then, PQ = QR = RS = SP. PQ QR, QR RS, RS SP and SP PQ So, quadrilateral PQRS is a square.