עקרון שובך היונים

עֶקרון שובך היונים אומר דבר פשוט. אם שמים יותר יונים מתאים, לפחות תא אחד יקבל יותר מיונה אחת. דוגמה קטנה: 10 יונים בתוך 9 תאים. מבין זה שי צריך להיות תא עם שתי יונים לפחות. אם יש אינסוף יונים אך רק מעט תאים, אז לפחות בתא אחד יהיו אינסוף יונים. אם יש m תאים ו-m-1 יונים, לפחות תא אחד יישאר ריק. אם ...