正方形abcd,角dea=15°,ed=ec,求证