נשלח בתאריך: 20 July 2006 בשעה 02:56 | | IP רשוּם
|
|
|
|
עקרון שובך היונים, במילים פשוטות, אומר שאם יש לך 10 שובכים ו-11 יונים אזי בהכרח קיים שובך שבו ישנם לפחות 2 יונים.
באופן פורמלי, לא קיימת פונקציה חד-חד-ערכית מקבוצה סופית(!) לתת קבוצה ממש של עצמה. (בקבוצות אינסופיות זה לא עובד..)
באופן יותר כללי, אם ישנה קבוצה A בעלת עוצמה n, וקבוצה B בעלת עוצמה m כאשר n ו-m מספרים טבעיים וכן n>m אזי לא קיימת פונקציה חד-חד-ערכית מ-A ל-B.
במקרה שלעייל A היא קבוצת היונים ו-B היא קבוצת השובכים ולפיכך חייבות להיות 2 יונים שמותאם להן אותו השובך.
בחידה שניתנה כאן סביר להניח שצריך להשתמש בשארית מודולו100 (השארית שנותרת לאחר חלוקה במאה) כלומר להתייחס רק לספרת העשרות והאחדות שכן מבחינת החידה אין הבדל בין 17 ל-4617, ולכן אפשר להתייחס אל A כאל מולטי-קבוצה (שבה מותרות חזרות) של 100 מספרים טבעיים בין 0 ל-99 (כולל 0 ו-99) לא בהכרח שונים!!!
החידה האמת נראית די פשוטה אבל אין לי כוח לחשוב עליה עכשיו (2:53 לפנות בוקר!!!) אבל מצד שני גם המשפט האחרון של פרמה נראה די פשוט במבט ראשון...
|