עקרון שובך היונים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
כלום |
אין תקציר עריכה |
||
שורה 1:
[[תמונה:TooManyPigeons.jpg|שמאל|ממוזער|250px|ההשראה לעיקרון '''יונים בשובך'''. בתמונה זו n=10, m=9, ולכן על שתי יונים לפחות לחלוק תא אחד (m מייצג את מספר התאים בשובך ו-n את מספר היונים).]]
'''עקרון שובך היונים''' הוא עיקרון [[מתמטיקה|מתמטי]] הקובע כי אם יש m תאים ב[[שובך]] שלתוכם יש להכניס m+1 [[יונה|יונים]], קיים בהכרח תא אחד שבו תימצאנה לפחות שתי יונים. עיקרון זה ככל הנראה נוסח לראשונה באופן פורמלי על ידי [[יוהאן פטר גוסטב לז'ן דיריכלה| יוהאן דיריכלה]] בשנת [[1834]], ומכאן שמו הנוסף '''עקרון דיריכלה
לעיקרון טריוויאלי זה יש שימושים רבים בהוכחות ב[[קומבינטוריקה]] ו[[מדעי המחשב]] ועל אף פשטותו, ניתן להוכיח באמצעותו תוצאות רבות, מעניינות ובלתי טריוויאליות כלל.
| |||