其实最早这是一个经验公式……
可以用极限的思想可以得到（通过内外接多边形等方法来求）
不过,正如度娘所言：
“真正从理论上严密推导圆的周长必须依赖近代的分析数学,包括微积分的使用才行.”