圆柱蚂蚁最短距离如何证明