首先严格定义曲线的长度(内接折线长度的上确界)，接下来证明曲线长度可以用一个积分表达出来(这一步也可以省略)，然后就能看出来圆的长度除以直径是一个常数了。
※ 修改:·zhanghx 于 Dec  3 10:50:31 2022 修改本文·[FROM: 101.240.97.*]
※ 来源:·https://exp.mysmth.net·[FROM: 101.240.97.*]

修改:zhanghx FROM 101.240.97.*
FROM 101.240.97.*