椭圆周长公式的推导、证明、检验、评价与应用