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

תוכן שנמחק תוכן שנוסף
מ שוחזר מעריכות של 79.182.161.232 (שיחה) לעריכה האחרונה של 132.65.153.110
שורה 24:
[[הוכחה בדרך השלילה|נניח בשלילה]] כי לתוך m תאים בשובך יש להכניס n יונים. נכניס לכל תא יונה אחת לכל היותר. קיבלנו כי הכנסנו, במקרה המקסימלי, m יונים, בסתירה לכך ש: n > m.
 
עקב פשטות ההוכחה של הטענה נעשה בה שימוש רב במחקר העוסק ב[[סיבוכיות]] של מערכות הוכחה (Proof Complexity)..
הוכחה סבירה
וד"ש לאלרן מהבורר
 
== ראו גם ==