求大神帮忙计算坐标公式

如图，已知ABC坐标和旋转角度，求DE的坐标，谢谢谢谢谢谢谢谢谢谢