עקרון שובך היונים – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
הוספתי בתיאור הכללי כינוי נוסף לערך
מ תקלדה
שורה 2:
'''עקרון שובך היונים''' הוא עיקרון [[מתמטיקה|מתמטי]] הקובע כי אם יש m תאים ב[[שובך]] שלתוכם יש להכניס m+1 [[יונה|יונים]], קיים בהכרח תא אחד שבו תימצאנה לפחות שתי יונים. עיקרון זה ככל הנראה נוסח לראשונה באופן פורמלי על ידי [[יוהאן פטר גוסטב לז'ן דיריכלה| יוהאן דיריכלה]] בשנת [[1834]], ומכאן שמו הנוסף '''עקרון דיריכלה'''.
 
לעיקרון טריוויאלי זה יש שימושים רבים בהוכחות ב[[קומבינטוריקה]] ו[[מדעי המחשב]] ועל אף פשטותו, ניתן להוכיחלהוכיחו באמצעותו תוצאות רבות, מעניינות ובלתי טריוויאליות כלל.
 
מוכר גם כעקרון ש"י.