ثابت می کنیم فاصله ی پای عمود وارد از هر دو مورچه که هر دو یک طرف خط اند بر خط مورد نظر از رادیکال 3 کمتر است.(با فیثاغورث و مفروضات سوال اثبات میشود.)
و طبق لانه کبوتری حداقل 695 تا از مورچه ها در یک طرف این خط اند. حالا اگر این خط را افقی در نظر بگیریم با نوشتن نامساوی خط اول برای هر دو مورچه ی مجاور نتیجه میگیریم فاصله ی چپ ترین مورچه و راست ترین مورچه حداقل
است که این مقدار از 1000 بیشتر است و مسئله حل است.