正方形ABCD,角DEA=15°,ED=EC