因为AA'=BB'=CC'=DD' 所以A'B＝B'C=C'D=AD' 角A=角B＝角C＝角D＝90度
三角形AA'D'全等于三角形A'BB' 所以A'D'＝A'B' 角AA'D'＝角A'B'B 又 角BA'B'+角A'B'B＝90
所以角C'D'A'=90
同理可证各边相等,
所以A'B'C'D'为正方形
因为题中没说EFGH怎么来的,所以我证了这个正方形,