中国古代数学家刘徽在《九章算术注》中，给出了证明三角形面积公式的出入相补法.如图所示，在 中，分别取 、 的中点D、E，连接 ，过点A作 ，垂足为F，将 分割后拼接成矩形 .若 ，则 的面积是.