如图,将Rt三角形ABC沿BC方向平移到三角形DEF的位置,求阴影部分面积