线段的中点几何语言书写与应用