همان سؤال قبل را در نظر بگیرید. چهار خانه شامل عدد ۱ را که همسطر باشند، یک-خطی مینامیم. حداکثر مقدار n را بیابید به طوری که جدولی وجود داشته باشد که در آن هیچ چهار خانهی صفر-مستطیلی و هیچ چهار خانهی یک-خطی وجود نداشته باشد؟
پاسخ
گزینه (۲) درست است.
برای n=5، جدول زیر را در نظر بگیرید:
حال کافی است ثابت کنیم هیچ جدول 6×6 با شرایط گفته شده وجود ندارد. فرض کنید چنین جدولی وجود دارد. هر سطر این جدول حداقل ۳ خانهی صفر دارد. پس حداقل شامل \binom{3}{2} جفت خانهی صفر است. پس کل جدول شامل حداقل ۱۸ جفت خانهی صفر همسطر است. تعداد جفت ستونهای ممکن \binom{6}{2}=15 است. پس دو جفت همسطر از خانههای صفر وجود دارد که ستونهایشان یکسان باشد. این چهار خانه یک چهار خانهی صفر-مستطیلی است که تناقض است و حکم ثابت میشود.