在正方形ABCD中,角DEA等于15度,ED=EC,求证三角形DEC为等边三角形