在rt三角形abc中角acb等于90度,dedf是三角形的中位线