你可以考虑一个定义了某个范数的欧几里得向量空间。定义一条直线是一个集合{α,β},线段是{α,β;|α-β|},线段的长度是|α-β|。然后用极限(如果可以定义)之类来定义「曲线」和它的长度。然后再证明线段是最短的(不扯了,逃
女王:求求题主放过我,我可不敢有什么政绩。。。