顶点与对边中点连线证边相等用什么定理?