你没标注角1234是哪几个，不过我猜可能是根据外角等于三角2个内角之和算，角ADE+角AFE=2(角B+角C)=2(180-80)=200,四边形ADEF为360度所以角DEF=360-200-80=80
