定理证明(中位线)