正方形ABCD,角DEA=15°,ED=EC,求三角形DEC为等边三角形