פורטל:מתמטיקה/משפטים והשערות/18
ויקיפדיה האנציקלופדיה encyclopedia
עקרון שובך היונים, או בשמו השני: "עקרון דיריכלה", הוא עיקרון מתמטי הקובע כי אם יש m תאים בשובך שלתוכם יש להכניס m+1 יונים, קיים בהכרח תא אחד שבו תימצאנה לפחות שתי יונים. לעיקרון טריוויאלי זה יש שימושים רבים בהוכחות בתחום הקומבינטוריקה, וניתן להוכיח באמצעותו תוצאות רבות, מעניינות ובלתי טריוויאליות כלל.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5c/TooManyPigeons.jpg/640px-TooManyPigeons.jpg)
בניסוחו הפורמלי בתורת הקבוצות, המשפט קובע שאם עוצמת הקבוצה A גדולה ממש מעוצמת הקבוצה B, אזי לא קיימת פונקציה חד חד ערכית מ-A ל-B.
(ראו גם: חידה שבפתרונה נעשה שימוש בעקרון שובך היונים.)