עקרון שובך היונים
עקרון במתמטיקה ומדעי המחשב / ויקיפדיה האנציקלופדיה encyclopedia
עֶקרון שובך היונים או עֶקרון דיריכלה הוא עיקרון מתמטי הקובע כי אם פריטים מפוזרים בין תאים, אז בהכרח ישנו תא אחד לפחות המכיל יותר מפריט אחד. באופן כללי יותר, כלל זה קובע כי לכל פריטים המפוזרים בין תאים כך ש, אז בהכרח בלפחות תא אחד יימצאו לפחות פריטים, כלומר קיים תא שמספר הפריטים בו הוא לפחות כמו הממוצע.
עיקרון זה נוסח ככל הנראה לראשונה בצורה רשמית בשנת 1834 בידי המתמטיקאי הגרמני יוהאן דיריכלה.
לעיקרון טריוויאלי זה יש שימושים רבים בהוכחות בקומבינטוריקה ומדעי המחשב, ועל אף פשטותו, ניתן להוכיח באמצעותו תוצאות רבות, מעניינות ובלתי טריוויאליות כלל.