①求证:点E是CD的中点;②求x的值.
小李同学在用作图软件探索图形性质的数学活动中,进行如下操作:
如图,在边长为3的正方形ABCD的AB边上取定点E , 使AE=1,在AD边上设置动点P , 连接PE , 以PE为边在AB的上方作正方形PEFG , 接AF , BF .