蚂蚁吃甜食的勾股证明