利用中点性质求线段长