数学求证两个全等三角形对应边上的中线长相等