ABCD四个蚂蚁起始在方的顶点,设A沿初始的A-B方向走一微小路程 , 那么,B、C、D也各走了这么多路,所以在下一瞬时,它们各自都跟踪对方新的位置。以此类推,每一个瞬时它们的位置都构成一个更小的正方形。
R :最初的正方形对角线的一半,即中点到顶点的连线。
设某个瞬时的正方形中点到顶点的连线是红线,下一个瞬时是绿线。
r :红线的长度
ds : 沿着A-B方向的微小路径
dr : 红线与绿线之差,既径向坐标增量
当红线与绿线之间的夹角无限小时,ds = -sqr(2)* dr
所以 s = -sqr(2) * 积分dr (上限0,下限R) = sqr(2)* R = a
很啰嗦。凑合看。