数学逻辑-几何周长计算