梯形中位线判定定理:鬼脚七,怎么翻译啊?