数学证明题(三角形一边的平行线),