正方形ABCD,角DEA=15度,ED=EC,求证三角形DEC是等边三角形