מתמטיקה בדידה PDF

‫‪1‬‬
‫סטודנטים יקרים‬
‫לפניכם ספר תרגילים בקורס מתמטיקה בדידה‪ .‬הספר הוא חלק מקורס‬
‫חדשני וראשון מסוגו בארץ בנושא זה‪ ,‬המועבר ברשת האינטרנט ‪.On-line‬‬
‫הקורס באתר כולל פתרונות מלאים לספר התרגילים‪ ,‬וכן את התיאוריה‬

‫הרלוונטית לכל נושא ונושא‪.‬‬
‫הקורס כולו מוגש בסרטוני וידאו המלווים בהסבר קולי‪ ,‬כך שאתם רואים את‬
‫התהליכים בצורה מובנית‪ ,‬שיטתית ופשוטה‪ ,‬ממש כפי‬
‫שנעשה בשיעור פרטי‪ ,‬לדוגמה לחצו כאן‪.‬‬
‫את הקורס בנה מר טל פלדמן‪ ,‬מרצה מבוקש במוסדות אקדמיים שונים ובעל‬
‫ניסיון עתיר בהוראת המקצוע‪.‬‬
‫אז אם אתם עסוקים מידי בעבודה‪ ,‬סובלים מלקויות למידה‪ ,‬רוצים להצטיין‬
‫או פשוט אוהבים ללמוד בשקט בבית‪ ,‬אנחנו מזמינים אתכם‬
‫לחוויית לימודים יוצאת דופן וחדשה לחלוטין‪ ,‬היכנסו עכשיו לאתר‬
‫‪.www.gool.co.il‬‬
‫אנו מאחלים לכם הצלחה מלאה בבחינות‬
‫צוות האתר ‪GooL‬‬
‫גוּל זה בּוּל‪ .‬בשבילך!‬
‫לפתרון מלא בסרטון וידאו היכנסו ל‪www.GooL.co.il -‬‬

‫כתב ופתר ‪ -‬טל פלדמן ©‬
‫שיעורים פרטיים לבודדים ולקבוצות ‪054-7599493‬‬
‫‪2‬‬
‫תוכן‬
‫תרגילים בנושא לוגיקה ‪3 ....................................................................................................................‬‬
‫תרגילים בנושא קבוצות ‪12 .................................................................................................................‬‬
‫תרגילים בנושא פונקציות ‪16 ...............................................................................................................‬‬
‫תרגילים בנושא עוצמות ‪20 .................................................................................................................‬‬
‫תרגילים ביחסים ‪22 ..........................................................................................................................‬‬
‫תרגילים בקומבינטוריקה בסיסית ‪27 ......................................................................................................‬‬
‫תרגילים בנושא זהויות קומבינטוריות והבינום של ניוטון ‪31 ........................................................................‬‬
‫תרגילים בנושא הכלה והדחה ‪33 ...........................................................................................................‬‬
‫תרגילים בנושא פונקציות יוצרות ‪36 .....................................................................................................‬‬
‫תרגילים בנושא רקורסיה ‪38 ................................................................................................................‬‬
‫תרגילים בנושא שובך היונים ‪41 ...........................................................................................................‬‬
‫תרגילים בנושא גרפים ‪42 ...................................................................................................................‬‬

‫‪3‬‬
‫תרגילים בנושא לוגיקה‬
‫‪ (1‬רשום את טבלות האמת של הפסוקים הבאים‪:‬‬

‫א‪ p  q   r .‬‬
‫ב‪  p  q    r  .‬‬
‫ג‪ p  q   r .‬‬
‫ד‪ p  q    q  r  .‬‬
‫‪ (2‬בטא את שלילת הפסוקים הבאים‪) .‬בלי קשר לנכונותם(‬

‫א‪ .‬דוד יפה או ראובן מכוער‬
‫ב‪ .‬האוכל חם וטעים‬
‫ג‪ .‬לכל ‪ x‬קיים ‪ y‬שהוא השורש הריבועי של ‪x‬‬
‫ד‪ .‬כל תרנגולת כחולה עוזבת את הלול כדי להטיל ביצים‪.‬‬

‫ה‪ .‬כל פנתר שהוא ורוד משחק בסרטים מצוירים‪.‬‬
‫ו‪ .‬כל פנתר שהוא ורוד קוראים לו יוסי או שהוא משחק בסרטים מצוירים‪.‬‬
‫ז‪ .‬כל פנתר שהוא ורוד קוראים לו יוסי וגם הוא משחק בסרטים מצוירים‪.‬‬
‫ח‪ .‬לכל נגר קיים אדם שכל רהיטיו יוצרו בידי נגר זה‪.‬‬
‫ט‪ .‬אם יהיה יום יפה וגם יהיה לי מצב רוח טוב אז אצא לטיול‪.‬‬
‫י‪ .‬אם יהיה יום יפה אז אם יהיה לי מצב רוח טוב אז אצא לטיול‪.‬‬
‫‪ (3‬בדוק אלו מזוגות הפסוקים הבאים שקולים לוגית במקרה שהתשובה חיובית הראה זאת הן בעזרת טבלת‬
‫אמת והן בעזרת עץ שקר‬
‫‪p   q ‬‬ ‫א‪  p  q  .‬‬
‫‪p   q ‬‬ ‫ב‪ p   q .‬‬

‫‪ p  q‬‬ ‫ג‪p   q  .‬‬
‫‪p   q ‬‬ ‫ד‪ p  q    q  .‬‬

‫‪ p  q     p    q  ‬‬ ‫ה‪p  q .‬‬
‫‪pu‬‬ ‫ו ‪ s   p   r       p   r  q    s  .‬‬
‫ז‪ .‬הראה כי ‪   r   p  q      p    q    r‬בעזרת זהויות יסוד‪.‬‬
‫‪4‬‬
‫‪ (4‬א‪ .‬הבע את קשר הגרירה בעזרת קבוצת הקשרים ‪, ‬‬
‫ב‪ .‬הבע את קשר ה‪  -‬בעזרת קבוצת הקשרים ‪, ‬‬
‫)‪ (XOR‬בעזרת קבוצת הקשרים ‪, ‬‬ ‫ג‪ .‬הבע את קשר ה‪ -‬‬
‫בעזרת קבוצת הקשרים ‪, ‬‬ ‫ד‪ .‬הבע את קשר ה‪ -‬‬
‫ה‪ .‬הבע את קשר הגרירה בעזרת קבוצת הקשרים ‪, ‬‬

‫בעזרת קבוצת הקשרים ‪, ‬‬ ‫ו‪ .‬הבע את הקשר ‪‬‬
‫)‪ (XOR‬בעזרת קבוצת הקשרים ‪, ‬‬ ‫ז‪ .‬הבע את קשר ה‪ -‬‬
‫בעזרת קבוצת הקשרים ‪, ‬‬ ‫ח‪ .‬הבע את קשר ה‪ -‬‬
‫‪1 :  A  B    D  C ‬‬
‫‪ 2 : B    C  A‬‬
‫בדקו אלו מהטענות הבאות נכונות והוכיחו‪.‬‬ ‫‪ (5‬יהיו ‪ 1 , 2 , 3 , ‬הפסוקים הבאים‪:‬‬
‫‪3 : C   A  D ‬‬
‫‪ :D  B  C‬‬
‫א‪1 , 2 , 3   .‬‬
‫ב‪  .‬אינה נובעת טאוטולוגית מהפסוקים ‪ 1 , 2 , 3‬אך מתיישבת אתם‪.‬‬

‫ג‪  .‬אינה מתיישבת עם הפסוקים ‪ 1 , 2 , 3‬כלומר סותרת אתם‪.‬‬
‫‪ (6‬הוכח כי הפסוקים הבאים הינם טאוטולוגיות ללא שימוש בטבלת אמת‬

‫א‪p   p  .‬‬
‫ב‪p   p  q  .‬‬
‫ג‪ p  q    q  r  .‬‬
‫‪ p   p  q  q‬‬ ‫ד‪.‬‬
‫‪ p  q   q  r     p  r ‬‬ ‫ה‪.‬‬
‫ו‪  p  r    q  r      p  q   r  .‬‬
‫ז ‪ q  p  r     p     q  r    p    .‬‬
‫ח‪ ( B  (C  (~ A)))  (((~ B )  C )  D)  ( E  (~ D ))   ( A  ~ E ) .‬‬

‫‪5‬‬
‫ט‪ .‬הוכח בעזרת טבלת אמת שהפסוק ‪  u  v     v    u  ‬הוא טאוטולוגיה‪.‬‬
‫י‪ .‬הוכח כי הפסוק ‪  u  v     v    u       p  r     q   p    r    q ‬הוא‬
‫טאוטולוגיה‪) .‬מותר לך להסתמך על הסעיף הקודם(‬
‫‪ (7‬בארץ חלם מתקיימת שביתת רופאים במטרה להגדיל את תקציב הבריאות‪ .‬לפניך ניתוח המצב‪.‬‬
‫* אם הרופאים לא יסיימו את השביתה אז הנהלות בתי החולים יתערבו‪.‬‬
‫* אם לא תיפגע בריאותם של החולים אז הממשלה לא תגדיל את הקציב‪.‬‬
‫* אם הנהלות בתי החולים יתערבו אז לא תפגע בריאותם של החולים או שבית המשפט יתערב‪.‬‬
‫* בית המשפט לא יתערב וגם הממשלה לא תגדיל את התקציב‪.‬‬
‫מסקנה‪ :‬הרופאים יסיימו את השביתה‪.‬‬
‫‪ P‬בית המשפט יתערב‬ ‫נסמן‪ D :‬הרופאים יסיימו את השביתה ‪ H‬הנהלות בתי החולים יתערבו‪.‬‬
‫‪ C‬לא תפגע בריאותם של החולים ‪ M‬הממשלה תגדיל את התקציב‪.‬‬
‫א‪ .‬הצרן בעזרת המשתנים המוצעים את טיעון לשפת תחשיב הפסוקים‪.‬‬
‫ב‪ .‬בדוק ללא שימוש בטבלת אמת אם הטיעון תקף‪.‬‬
‫‪ (8‬בארץ חלם מתקיימות בחירות זרובבל‪ ,‬כתבינו לענייני מפלגות מנתח את המצב‪:‬‬
‫* אם אבי ייבחר לראשות מפלגת נתיב את דני יפרוש‪.‬‬
‫* אם שמעון יציע לדני תפקיד אז דני יפרוש‪.‬‬
‫* אם בני ייבחר לראשות מפלגת פיתה אז שמעון יציע לדני תפקיד או שאבי ייבחר לראשות מפלגת נתיב‪.‬‬
‫* בני יבחר לראשות מפלגת פיתה‪.‬‬
‫לכן מסיק כתבינו שדני יפרוש‪.‬‬
‫סמן‪ A :‬אבי ייבחר לראשות מפלגת נתיב‪ B .‬בני יבחר לראשות מפלגת פיתה‪ C .‬שמעון יציע לדני‬
‫תפקיד‪ D .‬דני יפרוש‪.‬‬
‫הצרן את הטענה לשפת תחשיב הפסוקים והוכח כי המסקנה תקפה‪.‬‬

‫‪6‬‬
‫‪ (9‬בפרס העתיקה מחליט היזם וייזתא לבנות תיאטרון‪ .‬אם רוצים שהתיאטרון נגיש לתושבים אז צריך להקימו‬
‫בלב העיר‪ .‬אם רוצים שהתיאטרון יהיה רווחי הוא צריך להיות גדול ומרווח כדי שיכיל הרבה אנשים‪ .‬אבל אם‬
‫התיאטרון יהיה גדול ומרווח ויבנה בלב העיר אז הוא יעלה ‪ 10‬מליון זוזים פרסיים‪ .‬אבל לוייזתא היזם אין ‪10‬‬
‫מליון זוזים פרסיים לכן מסיק וייזתא היזם כי התיאטרון יוקם במקום לא נגיש לתושבים או שלא יהיה גדול‬
‫ומרווח‪.‬‬
‫א‪ .‬תרגם את ניתוח המצב לשפת הפסוקים תוך שימוש בסימונים הבאים‪:‬‬
‫‪ M‬מחירו‬ ‫‪ G‬גדול ומרווח‬ ‫‪ Y‬יכיל הרבה אנשים‬ ‫‪ L‬בלב העיר‬ ‫‪ N‬נגיש לתושבים‬
‫‪ R‬ריווחי‬ ‫יעלה על ‪. . .‬‬
‫הצרן את ההנחות והמסקנה לשפת הפסוקים בדוק האם המסקנה תקפה ללא שימוש בטבלת אמת‪.‬‬
‫‪ (10‬הוכח או הפרך כל אחת מהטענות הבאות‪) .‬כאשר ‪ p, q, r‬פסוקים אטומים(‬

‫א‪ p  q   p .‬‬
‫ב‪ p  q   q .‬‬
‫ג‪ p  q   q .‬‬
‫ד‪p , p  q  q .‬‬
‫ה‪ p  q    p  r   p  r .‬‬
‫ו‪r   p  q    p  r   p .‬‬
‫ז‪A  B , C  B , D   A  C  , D  B .‬‬
‫ח‪ A  B  D  , D  C  P  , P  Q ,  C    Q   A .‬‬
‫ט‪( B  (C  (~ A))) , (((~ B)  C )  D ) , ( E  (~ D)) | ( A  ~ E ) .‬‬
‫‪ (11‬בסעיפים הבאים ‪  ,  , ‬פסוקים לאו דווקא אטומים‪ .‬הוכח או הפרך כל אחת מהטענות הבאות‪.‬‬
‫א‪ .‬אם ‪ ‬סתירה וגם ‪     ‬אז ‪  ‬‬
‫ב‪ .‬אם ‪ ‬טאוטולוגיה וגם ‪     ‬אז ‪  ‬‬
‫‪     ‬אז ‪          ‬‬ ‫ג‪ .‬אם‬
‫אז ‪    ‬‬ ‫‪          ‬‬ ‫ד‪ .‬אם‬
‫‪     ‬אז ‪          ‬‬ ‫ה‪ .‬אם‬

‫‪7‬‬
‫אז ‪    ‬‬ ‫‪          ‬‬ ‫ו‪ .‬אם‬
‫ז‪ .‬אם ‪       ‬אז ‪     ‬‬

‫ח‪ .‬אם ‪      ‬אז ‪      ‬‬
‫ט‪ .‬אם ‪     ‬אז ‪         ‬‬

‫אז ‪    ‬‬ ‫י‪ .‬אם ‪         ‬‬
‫יא‪ .‬אם ‪     ‬אז ‪ ,   ‬‬
‫יב‪ .‬אם ‪     ‬אז ‪    ‬‬
‫‪ (12‬עבור ‪ ‬פסוק אטומי או מורכב נגדיר את הקבוצה ‪ F      ‬כלומר ‪ F‬היא קבוצת כל הפסוקים‬
‫‪. F  F‬‬ ‫שנובעים טאוטולוגית מהפסוק ‪ . ‬הוכח כי ‪   ‬אם ורק אם‬
‫‪ (13‬לכל אחת מהטענות הבאות קבע האם היא נכונה ורשום את שלילתה ללא שימוש בקשר השלילה‪ .‬במקרה‬
‫שהטענה נכונה נמק זאת ובמקרה שהטענה אינה נכונה הבא דוגמה נגדית‪.‬‬
‫א ‪x     y    x  y   .‬‬
‫ב ‪x     y    x  y   .‬‬
‫ג‪x , y    x  y   z    x  y  z  .‬‬
‫‪x    x  0     n    x ‬‬ ‫‪1‬‬

‫‪n‬‬ ‫ד‪  .‬‬
‫ה‪x    x  0  y  z    xz  y   .‬‬
‫ו‪x    x  1  y  z    xz  y   .‬‬
‫ז‪x    x  0  y    xy  1  .‬‬
‫ח‪x  y    xy  x  x  y  5  y  4 12 .‬‬
‫‪‬‬
‫ט‪x    x  0   y    n    nx  y   .‬‬ ‫‪‬‬

8
‫ במקרה של הפרכה הדגם עולם דיון מתאים עבורו הטענה לא‬.‫( הוכח או הפרך כל אחת מהטענות הבאות‬14
 ‫ כמו כן רשום גם את שלילה של כל טענה כאשר הקשר‬.‫מתקיימת והסבר מדוע הטענה לא מתקיימת‬
‫מופיע רק לצד פרדיקטים‬

x P  x  x P  x  .‫א‬
x P  x  x P  x  .‫ב‬
x  P  x   Q  x    x P  x   x Q  x   .‫ג‬

x P  x   x Q  x     x  P  x   Q  x    .‫ד‬
x  P  x   Q  x    x P  x   x Q  x   .‫ה‬
 x P  x   x Q  x     x  P  x   Q  x    . ‫ו‬
x  P  x   Q  x    x P  x   x Q  x   .‫ז‬
 x P  x   x Q  x     x  P  x   Q  x    .‫ח‬
x  P  x   Q  x    x P  x   x Q  x   .‫ט‬
 x P  x   x Q  x     x  P  x   Q  x    .‫י‬
P  x  : x 2  8 x  15  0
Q  x  : x is odd
.‫ הוכח או הפרך כל אחת מהטענות הבאות‬.  ‫בעולם הדיון‬ ‫( נסמן‬15
R  x: x  0
L  x : x2  2 x  2  0
x  P  x   Q  x  .‫א‬
x Q  x   P  x  .‫ב‬
x  P  x   Q  x   .‫ג‬
x Q  x   P  x   .‫ד‬
x  L  x   Q  x   .‫ה‬
x  L  x   Q  x   .‫ו‬
x  R  x   P  x   .‫ז‬
www.GooL.co.il -‫לפתרון מלא בסרטון וידאו היכנסו ל‬

© ‫ טל פלדמן‬- ‫כתב ופתר‬
054-7599493 ‫שיעורים פרטיים לבודדים ולקבוצות‬
‫‪9‬‬
‫ח ‪x  Q  x   P  x   .‬‬
‫ט‪x  P  x   Q  x    R  x  .‬‬
‫י‪x  P  x   Q  x   R  x   .‬‬
‫יא‪x  P  x   Q  x   R  x   .‬‬
‫נפנה עתה למספר שאלות בהצרנות‪ .‬בכל השאלות מותר להשתמש ב‪ -‬סימני משתנים‪ x, y , z :‬סימני קבוצה‪:‬‬
‫‪ A, B, C ,, , , , ‬סוגריים‪ ,‬קשרים‪ ,‬כמתים ופרדיקטים‪, >, <( ,) , , , , , ,, ,= ,   , :‬‬
‫וכן סימנים נוספים הנתונים בגף השאלה‪.‬‬
‫שימו לב‪ :‬אסור להשתמש בקשר השלילה ואין להשתמש בסימן ‪!!!‬‬
‫‪ (16‬הצרן כל אחת מהטענות הבאות‪.‬‬

‫א‪ .‬לכל מספר ממשי אין עוקב מיידי‪ .‬הכוונה שאין מספר ראשון מייד אחריו‪.‬‬
‫ב‪ .‬אין קבוצה שמכילה את כל הקבוצות‪ .‬מותר כאן להשתמש בסימן ‪. ‬‬
‫ג‪ .‬לכל מספר שאינו ראשוני יש לפחות שני מחלקים שונים‪ .‬כאן גם מותר להשתמש בסימן קבוצה ‪ P‬עבור‬
‫קבוצת המספרים הראשוניים ובסימן ‪. ‬‬
‫ד‪ .‬למספר הטבעי הכי גדול אין מחלקים‪ ) .‬ברור שאין כזה אבל צריך רק להצרין‪( .‬‬
‫ה‪ .‬לא כל מספר טבעי הוא ראשוני‪.‬‬
‫ו‪ .‬כל קבוצה אינה שקולה לקבוצת החזקה שלה‪.‬‬
‫ז‪ .‬לכל שני מספרים טבעיים שונים יש מחלק משותף‪.‬‬
‫ח‪ .‬בכל קבוצה בת לפחות שלושה איברים שונים אין איבר מקסימלי‪.‬‬
‫ט‪ .‬לא בכל תת קבוצה של ממשים יש איבר מינימלי‬
‫י‪ .‬תהי פונקציה ‪ . f : X  Y‬נגדיר את הפונקציה ‪ G : P  X   P Y ‬באופן הבא‪:‬‬
‫‪‬‬
‫‪G  B  x  X f  x  B‬‬ ‫‪‬‬
‫הצרין את הטענה‪ :‬אם ‪ f‬על אז ‪ G‬ח‪.‬ח‪.‬ע‪.‬‬
‫השתמשי רק בסימנים הבאים‪:‬‬
‫סימני קבוצות‪ X , Y :‬סימן פונקציה‪f :‬‬ ‫סימני משתנים‪x, y , B, C :‬‬
‫סוגריים‪ ,‬קשרים‪ ,‬כמתים ופרדיקטים‪, ( ,) , , , , , ,,= ,  :‬‬

‫שימו לב‪ :‬אסור להשתמש בסימנים ‪ G‬ו ‪ .P‬יש להשתמש בהגדרותיהם כדי להחליפם‬
‫בסימנים אחרים‪.‬‬
‫‪10‬‬
‫יא‪ .‬לכל מספר ממשי יש לכל היותר שני מספרים ממשיים שונים זה מזה שריבועם שווה לו‪.‬‬
‫יב‪ .‬הצרינו את הטענה‪ :‬לכל פונקציה ‪ f : A  B‬לכל פונקציה ‪ g : B  A‬אם ‪ g  f  Id A‬אז ‪ f‬היא על‪.‬‬
‫מותר להשתמש בסימנים הבאים ורק בהם‪ .‬סימני משתנים ‪ x1 , x2 ,‬קשרים ‪ ,  ,  , ‬‬
‫והסימנים ‪  ,  ,  ,  ,, AB , B A , f , g‬ולמען הסר ספק אסור להשתמש ב‪ d A -‬ואסור ב‪ -‬‬
‫יג‪ .‬מספר ראשוני הוא מספר טבעי גדול מאחד שמחלקיו היחידים הם הוא עצמו ו‪1 .1-‬הצרינו א הטענה הבאה‪:‬‬
‫לכל מספר טבעי‪ ,‬בתחום שבין המספר עצמו לפעמיים המספר ) כולל קצוות ( יש לפחות מספר ראשוני אחד‪.‬‬
‫מותר להשתמש אך ורק בסימנים הבאים‪ :‬סימני משתנים ‪ x1 , x2 ,‬קשרים ‪ ,  ,  , ‬‬
‫פירושו מחלק‪.‬‬ ‫‪  ,  ,  ,  ,,  ,  ,1, 2, 3, ,  ,‬הסימן‬ ‫והסימנים‬
‫השתמשו רק בסינמנים הבאים‪:‬‬ ‫יד‪ .‬הצרינו את הטענה הבאה‪ :‬בקבוצה ‪ A‬יש לכל היותר שני מספרים טבעיים‪.‬‬
‫סימני משתנים ‪ x , y , z‬סימני קבוצות ‪ A , ‬וכן סוגריים‪ ,‬קשרים‪ ,‬כמתים‪ ,‬ופרדיקטים‪:‬‬
‫‪ ,  ,  , ,  ,  ,  ,  ,,,  , ‬‬
‫הצרינו את הטענה לא תמיד נכון שאם ‪ A  B‬אז ‪A  B‬‬ ‫טו‪.‬‬

‫מותר להשתמש רק בסימנים הבאים‪ :‬סימני קבוצות ‪ ) A, B‬מותר לצרף אותם לקבוצה בחזקת קבוצה (‬
‫סוגריים‪ ,‬קשרים‪ ,‬כמתים‪ ,‬ופרדיקטים‪  ,  ,  ,  ,  ,  ,  ,  ,, ,  :‬אין להשתמש בקשר השלילה‬
‫טז‪ .‬הצרינו את הטענה הבאה‪ :‬קבוצת הפונקציות החח"ע מהממשיים לטבעיים אינה ריקה‪.‬‬
‫השתמשו רק בסימנים הבאים‪ :‬סימני משתנים ‪ x , y‬סימני קבוצות ‪ )  , ‬וצרופי חזקות שלהן (‬
‫סימני פונקציות ‪ f , g‬סוגריים‪ ,‬קשרים‪ ,‬וכמתים‪.  ,  ,  ,  ,  ,  ,  ,  ,, ,,  ,  :‬‬
‫יז‪ .‬הצרינו את כלל הכפל של אי שוויון ממשי ) קטן או שווה ( במספר ממשי שונה מאפס‪.‬‬
‫מותר להשתמש אך ורק בסימנים הבאים‪ :‬סימני משתנים ‪ x1 , x2 ,‬קשרים ‪ ,  ,  , ‬‬
‫והסימנים ‪  ,  ,  ,,  ,  , 0‬דוגמה לכלל הזה היא‪ :‬מאי השוויון ‪ ) 3.14  ‬ע"י כפל במינוס חצי לקבל את‬
‫אי השוויון ‪. 0.5  1.57‬‬
‫‪‬‬ ‫‪‬‬
‫‪ (17‬נתונה הקבוצה ‪ x   y   y  t   t  3   y  x   ‬כתוב אותה בצורה ‪ x   ...............‬כך שבאגף ימין‬
‫לא יופיע אף משתנה חוץ מ‪. x -‬‬
‫‪‬‬
‫‪A  x   y  ‬‬ ‫‪ x  y    x  2   x  ‬‬
‫‪2‬‬
‫‪x 1‬‬ ‫‪‬‬ ‫‪ (18‬תאר במדויק את הקבוצה‪:‬‬

‫‪11‬‬
‫‪ (19‬הוכח כי ההנחה ‪ A‬גוררת טאוטולוגית את המסקנה ‪   A ‬בעזרת כללי ההיסק הבאים‪:‬‬
‫‪ p  p (1‬‬
‫‪p  q  p (2‬‬
‫‪p  q , p    q    p (3‬‬
‫‪BD‬‬
‫‪CB‬‬
‫את המסקנה ‪ A‬מותר להשתמש רק בכללי ההיסק הבאים‪:‬‬ ‫‪ (20‬הוכח בעזרת ההנחות‬
‫‪D   A  C‬‬
‫‪B‬‬
‫‪PQP‬‬
‫‪P Q  P‬‬
‫‪P Q  Q‬‬
‫‪P  Q, Q  R  P  R‬‬
‫‪P, P  Q  Q‬‬
‫‪P, P  Q  Q‬‬
‫‪P  P‬‬
‫‪P  Q  Q  P‬‬

‫‪12‬‬
‫תרגילים בנושא קבוצות‬
‫‪ (1‬לכל אחת מהטענות הבאות‪ ,‬אם הטענה נכונה אז ציין רק שהטענה נכונה ואם הטענה אינה נכונה אז ציין‬
‫שהטענה לא נכונה ותן דוגמה נגדית והראה כי הדוגמה שנתת באמת מהווה דוגמה נגדית‪ .‬ערך רב‬
‫יותר יש לדוגמה מינימלית‪ ) .‬בדוק האם בדוגמה שנתת יש פרטים מיותרים והסר אותם (‪.‬‬
‫את הטענות הנכונות מבין ‪ 10-17‬נסה להוכיח‪ .‬רצוי להוכיח גם את טענה ‪ (9‬בה נשתמש יותר מאוחר‬
‫להוכחת תכונות של קבוצת חזקה‬
‫אז ‪. x  A  B‬‬ ‫א( אם ‪x  A‬‬
‫ב( אם ‪ x  A  B‬אז ‪x  A‬‬
‫ג( אם ‪ x  A‬אז ‪. x  A  B‬‬
‫ד( אם ‪ x  A  B‬אז ‪x  A‬‬
‫אז ‪x  A  B‬‬ ‫ה( אם ‪x  A‬‬
‫ו( אם ‪ x  A  B‬אז ‪x  A‬‬
‫ז( אם ‪ x  B‬אז ‪. x  A  B‬‬
‫ח( אם ‪ x  A  B‬אז ‪x  B‬‬
‫‪A B ‬‬ ‫ט( ‪A  C   A  B  C‬‬
‫‪A B ‬‬ ‫י( ‪A  C   A  B  C‬‬
‫יא( אם ‪ A  A  B‬אז ‪A  B‬‬
‫יב( אם ‪ A  A  B‬אז ‪B  A‬‬
‫יג( אם ‪ A  A  B‬אז ‪A  B‬‬
‫יד( אם ‪ A  A  B‬אז ‪B  A‬‬
‫טו( אם ‪ A  B‬אז ‪A  A  B‬‬
‫טז( אם ‪ B  A‬אז ‪ A  A  B‬יז(‬

13
A  A  B ‫ אז‬A  B ‫יז( אם‬
A  A  B ‫ אז‬B  A ‫יח( אם‬
x A  x A B (‫יט‬
xB  x A B (‫כ‬
_______________  x  A  B ‫כא( השלם‬
.‫ קבוצות הוכח או הפרך כ"א מהטענות הבאות‬A, B, C ‫( יהיו‬2
. B   ‫ אז‬A  A  B ‫א( אם‬
. A  B   ‫ אז‬A  A  B ‫ב( אם‬
. A  B  B ‫אז‬ A  A  B ‫ג( אם‬
. A  B  B ‫ אז‬B  A  B ‫ד( אם‬
. A  A  B ‫ אז‬A  B  A ‫ה( אם‬
. A  A  B ‫ אז‬A  B  B ‫ו( אם‬
( '‫ מועד ב‬, ‫ ) מבחן סמסטר קיץ תשס"ח‬. B  C ‫ אז‬A  B  A  C ‫ וגם‬A  B  A  C ‫ז( אם‬
A  ( B  C )  ( A  B )  C (‫ח‬
A  ( B  C )  ( A  B )  ( A  C ) (‫ט‬
( A  B )  C  A  ( B  C ) (‫י‬
( A \ B) \ C  A \ ( B  C ) (‫יא‬
A  ( BC )  ( A  B)( A  C ) (‫יב‬
( A  B)  (C  D)  ( A  C )  ( B  D) (‫יג‬
A  B  C  A  B  C .‫יד( א‬
A  B  C  A  B  C .‫ב‬
‫‪14‬‬
‫‪ (3‬הוכח כל אחת מהטענות הבאות בדרך השלילה‪.‬‬
‫אז ‪. ‬‬ ‫‪‬‬ ‫מוכיחים אם‬ ‫‪‬‬ ‫אז‬ ‫‪‬‬ ‫במקום הטענה אם‬
‫ולכל הנובע ממנה מתייחסים כנתון‪.‬‬ ‫‪‬‬ ‫ויש לזכור תמיד שלהנחת השלילה‬
‫א( אם ‪ A   B  C    A  B   C‬אז ‪A  C  ‬‬
‫ב( אם ‪  A  C    C  B   A  B‬אז ‪ׁ A  B‬‬

‫◌‬
‫ג( אם ‪  A  B   C  A  B‬אז ‪ A  C   B  ‬‬
‫ד( אם ‪  C  A    B  C   A  B‬אז ‪B  A‬‬
‫ה( אם ‪ A  AB‬וגם ‪ . B  C  BC‬אז ‪. A  C  ‬‬
‫ו( אם ‪ A  A  B‬וגם ‪ B  C  B  C‬אז ‪A  C  ‬‬
‫ועכשיו קצת על קבוצת חזקה‪.‬‬
‫‪ (4‬הוכח או הפרך כ"א מהטענות הבאות‪.‬‬
‫א( )‪P( A  B)  P ( A)  P( B‬‬
‫ב( )‪P( A)  P( B)  P( A  B‬‬
‫ג( )‪P( A  B)  P ( A)  P( B‬‬
‫ד( ‪P( A)  A  ‬‬
‫ה( ‪. P( A)  A  ‬‬
‫ו( אם ‪  A  P  B ‬אז ‪P  A   P  B ‬‬
‫את שתי הטענות הבאות הוכח בדרך השלילה‬
‫ז( אם ‪ P  A   P  A  B ‬אז ‪A  B  ‬‬

‫‪15‬‬
‫ח( אם )‪ P( A  B)  P ( A)  P( B‬אז ‪ )  A  B    B  A ‬שאלה קשה (‪.‬‬
‫‪ (5‬משהו גם על מכפלות קרטזיות‪ ) .‬נצטרך את זה גם ליחסים (‬
‫א( ‪ A  B    A  A  B  B ‬‬
‫‪  B      A      A  B     A  B  B  A‬‬ ‫ב(‬
‫ג( הוכח כי לכל ‪ 4‬קבוצות ‪ A, B, C , D‬מתקיים‪ A  B   C   A  C    B  C  :‬‬
‫‪   B  A   A  B     A  B  C  ‬‬ ‫ד( אם ‪   A  A    B  B    C  C  ‬אז‬
‫ה( הוכח כי לכל ‪ 4‬קבוצות ‪ A, B, C , D‬מתקיים‪.  A  B    C  D    A  C    B  D  :‬‬
‫‪ (6‬הוכיחו או הפריכו‪ :‬תהיינה ‪ A, B‬שתי קבוצות כלשהן ותהי ‪ S  A  B‬אז קיימות ‪C  A‬‬
‫ו‪ D  B -‬כך ש‪S  C  D -‬‬
‫‪ (7‬הוכיחו או הפריכו‪ :‬לכל שתי קבוצות ‪ A, B‬מתקיים‪A  B  A  B :‬‬
‫‪ (8‬הוכיחו או הפריכו‪ :‬קיימות שלוש קבוצות ‪ A, B, C‬שלושתן לא ריקות ושונות זו מזו‬
‫כך ש‪A   B  C   A   B  C  -‬‬
‫‪ (9‬תהיינה ‪ A, B, C‬קבוצות כלשהן‪ .‬נתון ‪ P  A   P  B   P  B   ‬הוכח כי ‪B  A  B‬‬
‫‪ (10‬הוכח כי אם ‪ AΔB  AΔC‬אז ‪A  C  B‬‬
‫‪(11‬הוכח או הפרך‪ :‬קיימות שתי קבוצות ‪ A, B‬כך ש‪ A  B  24 -‬וגם ‪A  B  5‬‬
‫‪ AΔC    BΔC   A  B  C‬‬ ‫‪ (12‬תהיינה ‪ A, B, C‬קבוצות כלשהן‪ .‬נתון ‪ A  B  ‬הוכח כי‬
‫‪ (13‬הוכח או הפרך‪ :‬לכל שלוש קבוצות ‪A   B  C    A  B    A  C  A, B, C‬‬
‫‪ (14‬תן דוגמא לקבוצה ‪ A‬שמקיימת ‪A  P  A  P  P  A   ‬‬
‫‪ A  B  \ C   A \ C \ B ‬‬ ‫‪ (15‬לכל שלוש קבוצות ‪ A, B, C‬מתקיים‪:‬‬

‫‪16‬‬
‫תרגילים בנושא פונקציות‬

‫‪ ) (1‬חימום (‬
‫‪ n 1‬‬ ‫אם ‪ n‬אי זוגי‬

‫‪‬‬
‫‪f ( n)   2‬‬ ‫‪ f‬ו‪ g -‬הפונקציות מ‪  -‬ל‪  -‬המוגדרות כך‪:‬‬ ‫יהיו‬
‫‪ n  1‬‬ ‫אם ‪ n‬זוגי‬
‫‪g(n)  2n  1‬‬ ‫‪,‬‬ ‫‪n N‬‬ ‫לכל‬
‫הוכח או הפרך כל אחת מן הטענות הבאות‪:‬‬
‫‪ f .I‬היא חד‪-‬חד‪-‬ערכית‬
‫‪ g .II‬היא חד‪-‬חד‪-‬ערכית‬
‫‪ f .III‬היא על ‪‬‬
‫‪ g .IV‬היא על ‪‬‬
‫‪ f  g .V‬היא פונקצית הזהות על ‪‬‬
‫‪ g  f .VI‬היא פונקצית הזהות על ‪‬‬
‫‪ (2‬לגבי כל אחת מהפונק' הבאות קבע האם היא חח"ע והאם היא על‪ .‬נמק‪.‬‬
‫‪2x‬‬
‫‪f1  x  ‬‬ ‫א‪, f1 :  0,     0, 2  .‬‬
‫‪x3‬‬
‫‪1‬‬
‫‪f2  x   x ‬‬ ‫‪,‬‬ ‫ב‪f 2 :  0,     0,   .‬‬
‫‪x‬‬
‫‪1‬‬
‫‪f3  x   x ‬‬ ‫‪,‬‬ ‫ג‪f 3 :  0,     .‬‬
‫‪x‬‬
‫‪f4  X   X   ,‬‬ ‫ד‪f 4 : P     P    .‬‬
‫‪f5  X   X   ,‬‬ ‫ה‪f 5 : P     P    .‬‬
‫‪f 7  X   X  ,‬‬ ‫ו‪f 7 : P     P    .‬‬
‫‪f8  n   the sum of the digits of n ,‬‬ ‫ז‪f 8 :    .‬‬

‫‪17‬‬
‫‪ (3‬יהי ‪ g : A  B , f : B  C‬שתי פונקציות ) כמובן שבתנאים אלו ‪ ( f  g : A  C‬הוכח או הפרך כל‬

‫אחת מהטענות הבאות ) במקרה של הפרכה בחר ‪( A  B  C  ‬‬
‫אם ‪ f‬חח"ע וגם ‪ g‬חח"ע אז ‪ f  g‬חח"ע‪_.‬‬ ‫א‪.‬‬

‫אם ‪ f  g‬חח"ע אז ‪ f‬חח"ע‪.‬‬ ‫ב‪.‬‬
‫אם ‪ f  g‬חח"ע אז ‪ g‬חח"ע‬ ‫ג‪.‬‬
‫אם ‪ f‬על וגם ‪ g‬על אז ‪ f  g‬על‪.‬‬ ‫ד‪.‬‬
‫אם ‪ f  g‬על אז ‪ f‬על‪.‬‬ ‫ה‪.‬‬
‫אם ‪ f  g‬על אז ‪ g‬על‪.‬‬ ‫ו‪.‬‬
‫אם ‪ f  g‬חח"ע וגם ‪ g‬על אז ‪ f‬חח"ע‪.‬‬ ‫ז‪.‬‬
‫אם ‪ f  g‬על וגם ‪ f‬חח"ע אז ‪ g‬על‪.‬‬ ‫ח‪.‬‬

‫אם ‪ f‬לא חח"ע וגם ‪ g‬לא על אז ‪ f  g‬לא חח"ע או ‪ f  g‬לא על‪.‬‬ ‫ט‪.‬‬
‫‪ (4‬תהי ‪ A‬קבוצה כלשהי ותהיינה ‪ f , g , h : A  A‬הוכח או הפרך כ"א מהטענות הבאות‪.‬‬

‫‪.g  h‬‬ ‫אז‬ ‫‪g f  h f‬‬ ‫א‪ .‬אם‬
‫‪.g  h‬‬ ‫וגם ‪ f‬על אז‬ ‫‪g f  h f‬‬ ‫ב‪ .‬אם‬
‫‪.g‬‬ ‫‪h‬‬ ‫וגם ‪ f‬חח"ע אז‬ ‫‪g f  h f‬‬ ‫ג‪ .‬אם‬
‫‪.g‬‬ ‫‪h‬‬ ‫ד‪ .‬אם ‪ f  g  f  h‬אז‬

‫‪.g‬‬ ‫‪h‬‬ ‫ה‪ .‬אם ‪ f  g  f  h‬וגם ‪ f‬חח"ע אז‬
‫ו‪ .‬אם ‪ f  g  f  h‬וגם ‪ f‬על אז ‪. g  h‬‬
‫וקבוצות ‪. C, D  A‬‬ ‫‪f: A  B‬‬ ‫‪ (5‬נתונות פונקציה‬
‫‪.‬‬ ‫) ‪f (C  D )  f (C )  f ( D‬‬ ‫א‪ .‬הוכח כי‬

‫‪. f (C  D ) ‬‬ ‫) ‪f ( C)  f ( D‬‬ ‫הוכח שאם ‪ f‬היא חד‪-‬חד‪-‬ערכית אז‬ ‫ב‪.‬‬
‫ג‪ .‬הדגם קבוצות ‪ C , D  ‬ופונקציה ‪ f :   ‬כך ש‪ f -‬על וגם )‪. f (C  D)  f (C )  f ( D‬‬

‫ד‪ .‬הוכח כי ) ‪f (C  D)  f (C )  f ( D‬‬

‫‪18‬‬
‫‪ (6‬תהי ‪ A‬קבוצה ותהי ‪ f : A  A‬פונקציה הוכח או הפרך כל אחת מהטענות הבאות‪.‬‬
‫א‪ .‬אם ‪ f  f  f‬אז ‪. f  I‬‬

‫ב‪ .‬אם ‪ f  f  f‬אז ‪ f  I‬או ש‪ f -‬היא פונקציה קבועה‪.‬‬
‫ג‪ .‬אם ‪ f  f  f‬וגם ‪ f‬חח"ע אז ‪f  I‬‬
‫ד‪ .‬אם ‪ f  f  f‬וגם ‪ f‬על אז ‪f  I‬‬
‫‪ (7‬יהיו ‪ f , g , h :   ‬הפרך כל אחת מהטענות הבאות‪ ) .‬שאלה קשה מאוד (‬
‫‪gh‬‬ ‫א‪ .‬אם ‪ f  g  f  h‬וגם ‪ f‬על וגם ‪ g , h‬חח"ע וגם אז‬
‫‪.g‬‬ ‫‪h‬‬ ‫ב‪ .‬אם ‪ g  f  h  f‬וגם ‪ f‬חח"ע וגם ‪ g , h‬על אז‬
‫ג‪ .‬אם ‪ f  f  f  I‬אז ‪f  f  I‬‬
‫ד‪ .‬אם ‪ f  f  f  f  f‬אז ‪. f  f  f‬‬
‫‪ (8‬תהי ‪ A‬קבוצה ו‪ B -‬תת קבוצה החלקית ממש ל‪ . A -‬נתונות הפונקציות ‪f , g : P  A  P  A ‬‬
‫‪gX   X  B‬‬
‫הוכח או הפרך‪ f  g :‬על‪.‬‬ ‫המוגדרות באופן הבא‪:‬‬
‫‪f X  A X‬‬
‫‪ (9‬הוכח או הפרך את הטענה הבאה‪ :‬הפונקציה ‪ f ;       ‬המוגדרת על‪-‬ידי‬
‫‪ f‬היא פונקציה הפיכה‪.‬‬ ‫‪  x, y     3 x  4 y , 4 x  5 y ‬‬

‫‪ (10‬תהי ‪ Peven   ‬קבוצת כל התת קבוצות של ‪ ‬שעוצמתן זוגית‪ .‬ותהי ‪ Podd   ‬קבוצת כל התת‬
‫קבוצות של ‪ ‬שעוצמתן אי זוגית‪ .‬לדוגמה ‪ 1, 3  Peven    ,1, 3  Podd   ‬ולעומת זאת‬
‫‪ . 2, 4, 6  Peven    ,2, 4, 6  Podd   ‬לכל קבוצה ‪ A‬סופית של טבעיים נסמן ב‪max  A  -‬‬
‫את המספר הגדול ביותר ב‪ A -‬וב‪ max     0 -‬הוכיחו כי הפונקציה ‪f : Peven     Podd   ‬‬
‫על ידי ‪ f  A   A  max  A ‬היא חח"ע אך אינה על‪.‬‬ ‫המוגדרת‬

‫‪19‬‬
‫‪‬‬
‫‪ (11‬נגדיר פונקציה ‪ F : 0,1  P 0,1  0,1‬באופן הבא‪:‬‬
‫‪ F  g  ‬הוכי כי ‪ F‬אינה על‪.‬‬ ‫‪ g  n  , g  n  1 n  ‬‬

‫‪ f  h f    ‬‬
‫‪‬‬ ‫‪‬‬
‫‪ (12‬נגדיר פונקציה ‪ h :   ‬כך‪ h  x   2 x :‬הוכח כי‬
‫‪ (13‬נגדיר את היחס ‪ R‬מעל ‪ P   ‬באופן הבא‪ARB  b  B  a  A  a  b   :‬‬
‫בנה פונקציה ‪ f :   P   ‬שמקיימת‪x, y    x  y  f  x  R f  y   :‬‬
‫‪ (14‬נתונות שלוש פונקציות ‪f , g , h :   ‬‬
‫הוכח כי אם ‪ f  g‬חח"ע וגם ‪ g  h‬חח"ע וגם ‪ h  g  f‬על אז ‪ f , g , h‬שלושתן הפיכות‪.‬‬

‫‪‬‬
‫‪ (15‬בנה באופן מפורש תת קבוצה של ‪ 0,1‬ששקולה ל‪ -‬‬
‫‪‬‬ ‫‪‬‬
‫‪ (16‬נגדיר ‪ F :    P   ‬באופן הבא‪ F  f   n   f  x   1 :‬הוכח כי ‪ F‬אינה חח"ע‪.‬‬
‫‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪ (17‬נגדיר פ ונקציה ‪ F : 0,1, 2  P   ‬באופן הבא‪F  f   n   f  n   0 :‬‬
‫קבע האם ‪ F‬חח"ע ועל‪.‬‬
‫‪ (18‬תהי ‪ ‬הטבעיים ותהי ‪ B  ‬תת קבוצה סופית לא ריקה נתונה‪.‬‬
‫‪f‬‬ ‫דוגמה‪ :‬עבור ‪ B  1, 2‬מתקיים‪2, 3  3 , f 3, 4  1, 2, 3, 4 :‬‬
‫א‪ .‬הוכח כי אם ‪ X  B  ‬אז ‪. f  f  X    X‬‬
‫ב‪ .‬הוכח כי אם ‪ B  X‬אז ‪. f  f  X    X‬‬
‫ג‪ .‬הוכח כי אם ‪ X‬שייכת לתמונה של הפונקציה אז ‪. f  f  X    X‬‬
‫ד‪ .‬האם הפונקציה חח"ע?‬
‫ה‪ .‬האם הפונקציה על?‬
‫ו‪ .‬מה העוצמה של התמונה של הפונקציה?‬

‫‪20‬‬
‫תרגילים בנושא עוצמות‬
‫‪ (1‬הוכח את השקילויות הבאות באמצעות פונקציות חח"ע ועל בין הקבוצות‪ ) .‬פונקציית שקילות‪( .‬‬
‫ד‪   0,1    0,   .‬‬ ‫‪ 1,1  ‬‬ ‫ג‪.‬‬ ‫ב‪  0,1   .‬‬ ‫א‪   .‬‬
‫‪‬‬ ‫‪ even‬‬ ‫‪ odd‬‬
‫‪ 0,1   0,1‬‬ ‫ז‪.‬‬ ‫‪0,1‬‬ ‫‪ 0,1‬‬ ‫‪ 0,1‬‬ ‫ו‪.‬‬ ‫‪1,3    4,8   0,1‬‬ ‫ה‪.‬‬
‫‪ x, y  x‬‬ ‫‪2‬‬

‫‪ y2  1 ‬‬‫‪  x , y  x‬‬ ‫‪2‬‬
‫‪‬‬
‫‪ (2‬הוכח כי ‪ y 2  4‬‬
‫‪ (3‬הוכח ) ישירות ע"י מציאת פונקציה מתאימה ( כי הקטע ‪  0, 2010 ‬שקול ל‪  0,  -‬ורישמו עוצמתם‪.‬‬
‫‪ A  C    B  D‬‬ ‫‪ (4‬הוכח כי אם ‪ A  B‬וגם ‪ C  D‬וגם ‪ A  C  ‬וגם ‪ B  D  ‬אז‬

‫‪ (5‬הוכח כי אם ‪ A  B , C  D‬אז ‪A  C  B  D‬‬
‫‪ (6‬הוכח כי ‪ 0  n  0‬כאשר ‪. n  ‬‬
‫‪ (7‬הוכח את הטענה הבאה‪ :‬הקבוצה ‪ A  ‬קבוצת המספרי הרציונלים‬
‫‪‬‬
‫ו‪ B  f  x   ax 2  bx  c : a , b , c   -‬הן שוות עוצמה‪.‬‬ ‫‪‬‬
‫‪ x, y ‬‬ ‫‪ (8‬מעגל במישור ברדיוס ‪ r  0 ) r‬ממשי ( שמרכזו בראשית הצירים הוא קבוצת כל הנקודות‬
‫במישור המקיימות את המשוואה ‪ x 2  y 2  r 2‬כמודגם בציור‪.‬‬

‫הוכיחו שלכל ‪ r  0‬עוצמת מעגל ברדיוס ‪r‬‬
‫שמרכזו בראשית הצירים היא ‪‬‬
‫‪ (9‬הוכח או הפרך‪ :‬תהיינה ‪ A, B‬שתי קבוצות כלשהן‪ .‬אם ‪ A  B‬היא קבוצה מעוצמה ‪ 0‬וגם ‪ A  B‬היא‬
‫קבוצה מעוצמה ‪ 0‬אז ‪ A  B‬היא קבוצה מעוצמה ‪. 0‬‬
‫‪‬‬ ‫‪‬‬ ‫‪1‬‬ ‫‪‬‬ ‫‪1 ‬‬

‫תהי ‪ A   x   n    x   n    x    ‬מה עוצמת ‪? A‬‬ ‫‪(10‬‬
‫‪‬‬ ‫‪‬‬ ‫‪n‬‬ ‫‪‬‬ ‫‪n ‬‬
‫תהי ‪ A   a , b  a   , b   , a  b‬כלומר ‪ A‬היא קבוצת כל הקטעים הפתוחים ב‪  -‬מהיא‬ ‫‪(11‬‬
‫עוצמת ‪? A‬‬
‫הוכיחו טענתכם‪.‬‬

‫‪21‬‬
‫‪ (12‬נסמן ע"י ‪ ‬את קבוצת המספרים הטבעיים ‪   1, 2, 3,‬וב‪  + -‬את הממשיים החיוביים‬
‫‪‬‬ ‫‪‬‬
‫א‪ .‬מה העוצמה של הקבוצה‪ ? A4  a   a 4   :‬למשל ‪1, 5 , 2, 4 7  A4‬‬
‫‪‬‬
‫‪ ? A  a    k   , a k  ‬למשל ‪1, 5 , 2, 4 7 , 100 3 , 3 4  A‬‬ ‫‪‬‬ ‫ב‪ .‬מה העוצמה של‬
‫‪‬‬
‫‪ (13‬נגדיר ‪ P2     A   A  2‬כלומר ‪ P2   ‬היא קבוצת כל התת קבוצות בנות שני אברים של‬ ‫‪‬‬
‫טבעיים‪ .‬מהי עוצמת ‪ P2   ‬הוכיחו טענתכם‪.‬‬
‫‪ (14‬נגדיר יחס ‪ S‬מעל ‪   ‬באופן הבא‪ S .  x1 x2  S  y1 y2    x1    y1  :‬יחס שקילות‪.‬‬
‫היא מעוצמה ‪. 0‬‬

‫‪   ‬‬ ‫) אין צורך להוכיח ( הוכח כי קבוצת המנה‬
‫‪s‬‬
‫‪ (15‬הוכח או הפרך‪ :‬לכל קבוצה ‪ A‬מתקיים‪A    A     1 :‬‬
‫‪ (16‬הוכח כי עוצמת הקבוצה ‪ 1, 2    2, 3   3, 4       n, n  1‬היא ‪. ‬‬

‫‪n‬‬
‫‪ (17‬תהי ‪ A‬קבוצה מעוצמה ‪ 0‬ויהי ‪ E‬יחס שקילות מעל ‪ A‬הוכח כי ‪E  0‬‬

‫‪C‬‬
‫‪ A  B‬‬ ‫‪‬‬ ‫‪ ‬‬ ‫‪‬‬
‫‪ (18‬הוכח או הפרך את הטענה הבאה‪ :‬לכל זוג קבוצות ‪ A, B‬מתקיים‪ AC  B  A  BC :‬‬
‫כלומר‬ ‫‪. 2‬‬ ‫של‬ ‫מחזור‬ ‫בעלת‬ ‫מחזורית‬ ‫פונקציה‬ ‫היא‬ ‫‪sin :   ‬‬ ‫הסינוס‬ ‫‪ (19‬פונקצית‬
‫‪sin  x  2   sin  x ‬‬
‫לכל ‪ . x  ‬עבור ‪ 0  x  2‬מתקיים‪sin x  0  x  0, , 2  :‬‬
‫מצא את עוצמת הקבוצה ‪ 0sin   x   sin x  0‬הוכח טענותיך‪.‬‬
‫‪ (20‬האם קיימת קבוצה ‪ A‬כך ש‪ ? P  A   0 -‬הוכח טענותיך‪.‬‬
‫‪ (21‬תהיינה ‪ k1, k2‬עוצמות ויהיו ‪ A, B‬קבוצות כך ש‪ . A  k1 , B  k 2 -‬נגדיר פעולת הפרש בין עוצמות באופן‬
‫הבא‪ . k1  k2  A  B :‬פעולה זו אינה מוגדרת היטב‪ ,‬כלומר תוצאות של ההפרש משתנות בהתאם‬
‫לקבוצה ולא בהתאם למחלקה‪ .‬הציגו ‪ 2‬דוגמאות לקבוצות שעוצמתן ‪ 0‬אך עוצמת ההפרש שונה בכל‬
‫אחת מהדוגמאות‪.‬‬

‫‪22‬‬
‫תרגילים ביחסים‬
‫‪ ) (1‬חימום ( רשום במפורש את היחסים כקבוצה של זוגות סדורים‪.‬‬

‫א‪ .‬היחס ‪ R‬המוגדר מעל ‪ A‬באופן הבא‪ aRb  b  a  3 :‬כאשר‪:‬‬
‫) ‪A  5, 6, 7 ( ii‬‬ ‫‪A   3, 5,19,103‬‬ ‫) ‪( ii‬‬ ‫) ‪A  1, 2, 3, 4, 5, 6, 7 ( i‬‬
‫‪ (2‬נתונים שני היחסים הבאים מעל ‪A  1, 2, 3‬‬
‫‪R1   1, 2  ,  2,1 ,  2, 3 ‬‬ ‫‪R2  1, 2  ,  2, 2  ,  2, 3  2,1‬‬
‫עבור כל אחד מארבעת היחסים ‪ R1 , R2 , R1  R2 , R1  R2‬קבע האם הוא רפלקסיבי‪ ,‬סימטרי‪ ,‬טרנזיטיבי‪.‬‬
‫) במקרה של הפרכה הבא דוגמה מתאימה (‬
‫‪ (3‬לגבי כל אחד מהיחסים הבאים‪ ,‬רשום שלושה זוגות שנמצאים ביחס‪ ,‬ונמק מדוע הם ביחס‪ .‬כתוב שלושה זוגות‬
‫שאינם ביחס‪ ,‬ונמק מדוע אינם ביחס‪ .‬כמו כן קבע האם היחס הוא רפלקסיבי‪ ,‬אנטי רפלקסיבי‪ ,‬סימטרי‪ ,‬א"ס‬
‫חלש‪ ,‬א"ס חזק‪ ,‬וטרנזיטיבי‪.‬‬
‫א( יחס @ מעל ‪ ‬המוגדר באופן הבא‪. x  y  100   x , y   @ :‬‬
‫ב( יחס ‪ ‬מעל ‪ ‬המוגדר באופן הבא‪. 3 x  y   x , y   :‬‬
‫ג( היחס ‪ ‬מעל ‪ P   ‬המוגדר באופן הבא‪. A  B   A, B   :‬‬
‫ד( היחס שרגא מעל ‪ ‬המוגדר באופן הבא‪ :‬שרגא ‪x  y  x  y   x , y  ‬‬
‫‪ ‬המוגדר באופן הבא‪ x , y   T  x 2  y  1 :‬‬ ‫ה( יחס ‪ T‬מעל‬
‫‪ (4‬מצא אלו מהתכונות‪ :‬רפלקסיביות‪ ,‬אנטי רפלקסיביות‪ ,‬סימטריות ‪,‬אנטי סימטריות חלשה‪ ,‬אנטי‬
‫הקבוצות‬ ‫מעל‬ ‫הבאים‪.‬‬ ‫מהיחסים‬ ‫אחד‬ ‫כל‬ ‫מקיים‬ ‫וטרנזיטיביות‬ ‫חזקה‬ ‫סימטריות‬
‫‪ ,  , A   3,5,7,9‬‬
‫א‪xRy  m   odd x  my .‬‬
‫ב‪xsy  m   evevn x  my .‬‬
‫ג‪xRy  m   odd  x  my  y  mx  .‬‬

‫‪23‬‬
‫‪ (5‬תהי ‪ A‬קבוצה ו‪ R -‬יחס מעל ‪ A‬הוכח או הפרך כל אחת מהטענות הבאות‪.‬‬
‫בכל המקרים בהם בחרת להפריך תן דוגמה נגדית מינימלית‪ .‬בדוק האם יש בדוגמתך פרטים מיותרים והסר‬
‫אותם‪.‬‬
‫א‪ .‬אם ‪ R‬סימטרי אז ‪ R‬טרנזיטיבי‪.‬‬
‫ב‪ .‬אם ‪ R‬אנטי סימטרי חלש אז ‪ R‬טרנזיטיבי‪.‬‬
‫ג‪ .‬אם ‪ R‬סימטרי וגם אנטי סימטרי חלש אז ‪ R‬טרנזיטיבי‪.‬‬
‫ד‪ .‬אם ‪ R‬סימטרי וגם אנטי סימטרי חלש אז ‪. R=‬‬
‫ה‪ .‬אם ‪ R‬סימטרי וגם אנטי סימטרי חזק אז ‪. R=‬‬
‫ו‪ .‬אם ‪ R‬טרנזיטיבי וסימטרי אז ‪ R‬רפלקסיבי‪.‬‬
‫ז‪ .‬אם ‪ R‬טרנזיטיבי ואנטי רפלקסיבי אז ‪ R‬אנטי סימטרי חזק‪.‬‬
‫ח‪ .‬אם ‪ R‬טרנזיטיבי ולא סימטרי אז ‪ R‬אנטי סימטרי חלש‪.‬‬
‫‪ (6‬תהי ‪ A‬קבוצה ויהיו ‪ R, S‬יחסים מעל ‪ A‬הוכח או הפרך את הטענות הבאות ) הפרכה = דוגמה מינימלית (‬
‫א‪ .‬אם ‪ R, S‬רפלקסיבים אז ‪ R  S‬רפלקסיבי‪.‬‬
‫ב‪ .‬אם ‪ R, S‬רפלקסיבים אז ‪ R  S‬רפלקסיבי‪.‬‬
‫ג‪ .‬אם ‪ R, S‬סימטרים אז ‪ R  S‬סימטרי‪.‬‬
‫ד‪.‬אם ‪ R, S‬סימטרים אז ‪ R  S‬סימטרי‪.‬‬
‫ה‪ .‬אם ‪ R, S‬טרנזיטיבים אז ‪ R  S‬טרנזיטיבי‪.‬‬
‫ו‪ .‬אם ‪ R, S‬טרנזיטיבים אז ‪ R  S‬טרנזיטיבי‪.‬‬
‫ז‪ .‬אם ‪ R, S‬יחסי שקילות אז ‪ R  S‬יחס שקילות‪.‬‬
‫ח‪ .‬אם ‪ R, S‬יחסי שקילות אז ‪ R  S‬יחס שקילות‪.‬‬
‫ט‪ .‬אם ‪ R, S‬אנטי סימטרים חלש אז ‪ R  S‬אנטי סימטרי חלש‪.‬‬
‫י‪ .‬אם ‪ R, S‬אנטי סימטרים חלש אז ‪ R  S‬אנטי סימטרי חלש‪.‬‬
‫‪ (7‬יהי ‪ R‬יחס סדר חלש מעל ‪ A‬ויהי ‪ S‬יחס סדר חלש מעל ‪ . B‬הוכח כי אם ‪ A  B  ‬אז ‪ R  S‬יחס‬
‫סדר חלש מעל ‪. A  B‬‬
‫‪‬‬ ‫‪‬‬
‫‪ (8‬הוכח כי היחס ‪ R‬המוגדר מעל הקבוצה ‪ A  2k k  ‬ע"י ‪ aRb  a b‬הוא יחס סדר מלא‪.‬‬

‫‪24‬‬
‫‪ a, b  R  c, d    a  c  b  d ‬‬ ‫‪ (9‬נגדיר יחס ‪ R‬מעל הקבוצה ‪   ‬באופן הבא‪:‬‬
‫א‪ .‬הוכח כי ‪ R‬יחס סדר חלש שאינו מלא‪.‬‬
‫ב‪ .‬מצא תת קבוצה אינסופית של ‪   ‬שעליה היחס ‪ R‬הוא מלא‪.‬‬
‫‪ (10‬תהי ‪ A    ‬קבוצתכל הזוגות הסדורים של המספרים הטבעיים‪.‬‬

‫‪ m1 , n1  R  m2 , n2   m1  m2  n1  n2‬‬ ‫ויהי ‪ R  A2‬יחס המוגדר על ידי‪:‬‬
‫א‪ .‬הוכח כי ‪ R‬הינו יחס שקילות ב‪. A -‬‬

‫ב‪ .‬תארו באופן גרפי את מחלקות השקילות הבאות‪1,1  R , 1, 2   R ,  2,1  R .‬‬
‫‪ (11‬יהי ‪ R‬יחס סימטרי וטרזיטיבי מעל ‪ A‬כך ש‪ a  A b  A aRb :‬הוכח כי ‪ R‬רפלקסיבי‪.‬‬
‫) אין צורך להוכיח כי ‪ R‬יחס שקילות (‬ ‫‪‬‬

‫‪xRy   6  x  y   3  x  y‬‬ ‫‪‬‬ ‫‪ (12‬נתון היחס ‪ R‬מעל ‪. ‬‬
‫מצא את מחלקות השקילות ואת קבוצת המנה‪.‬‬

‫‪ (13‬נגדיר יחס בינארי ‪ E‬מעל ‪ )   0,1‬קבוצת השלמים ללא ‪ 0‬ו‪ ( 1-‬באופן הבא‪ aEb  ab  1 :‬הוכח כי‬
‫‪ E‬יחס שקילות ותן תיאור מפורש של מחלקות השקילות שלו‪.‬‬

‫‪ S‬באופן הבא‪ A  B  B  A  AEB :‬‬ ‫‪ (14‬תהי ‪ S‬קבוצה שאבריה הן קבוצות מגדירים יחס בינארי ‪ E‬מעל‬
‫הוכיחו או הפריכו‪ E :‬יחס שקילות‪.‬‬

‫‪ aRb  bRc   cRa‬‬ ‫‪ (15‬יחס ‪ R‬מעל ‪ A‬נקרא סוגר משולשים אם לכל ‪ a , b, c  A‬מתקיים‪:‬‬
‫א‪ .‬הוכח כי יחס רפלקסיסי וסוגר משולשים הוא יחס שקילות‪.‬‬

‫ב‪ .‬הוכח כי אם ‪ R‬סימטרי‪ ,‬סוגר משולשים ואינו ריק אז ‪ R‬אינו אנטי רפלקסיבי‪.‬‬
‫‪‬‬ ‫‪‬‬
‫‪ (16‬נגדיר יחס סדר ) חלש ( ‪ S‬מעל ‪ ‬באופן הבא‪xSy     x    y   y  x  :‬‬
‫אין צורך להוכיח שמדובר ביחס סדר‪ .‬כתוב במפורש את כל האיברים המינימלים של ‪. S‬‬
‫תזכורת ‪ x  A‬נקרא מינימלי ביחס סדר ‪ R‬אם ‪y  A   y  x     yRx  ‬‬
‫‪ (17‬נגדיר יחס שקילות ‪ S‬מעל ‪ ‬באופן הבא‪xSy   x  y  0    xy  0  :‬‬
‫‪‬‬ ‫‪ ‬‬ ‫‪‬‬

‫נגדיר יחס שקילות ‪ T‬מעל ‪ ‬באופן הבא‪xTy  x 2  9 S y 2  9 :‬‬
‫‪ ‬ונמק בקצרה‪.‬‬ ‫אין צורך להוכיח כי מדובר ביחסי שקילות‪ .‬כתוב במפורש את קבוצת המנה‬
‫‪T‬‬

‫‪25‬‬
‫‪ (18‬נגדיר יחס בינארי ‪ D‬מעל הקבוצה ‪   a , b  a   , b  ‬‬
‫‪2‬‬
‫באופן הבא‪ a1 , b1  D  a2 , b2    a1  a2    a1  b1  a2  b2  :‬‬

‫הוכח כי ‪ D‬יחס סדר חלש שאינו מלא‪.‬‬
‫‪ S‬וכל מחלקות השקילות הן‬ ‫‪ (19‬רשום במפורש את כל יחסי השקילות ‪ E‬מעל ‪ S  a , b, c, d ‬המקיימים ‪ 2‬‬
‫‪E‬‬
‫שוות עוצמה‪ .‬יש להציג כל יחס כתת קבוצה מפורשת של ‪. S  S‬‬
‫‪ (20‬יהיו ‪ R , S‬יחסי שקילות מעל ‪ . A‬הוכח כי ‪ RΔS‬לא יחס שקילות מעל ‪. A‬‬
‫‪ (21‬הוכח או הפרך‪ :‬לכל קבוצה ‪ A‬ולכל יחס רפלקסיבי ‪ R‬מעל ‪ A‬קיימות קבוצות ‪ B , C  A‬כך ש‪R  B  C -‬‬
‫‪ (22‬יהי ‪ S‬יחס אנטי רפלקסיבי וטרנזיטיבי מעל קבוצה ‪ . A‬ונניח ש'יים ‪y  A‬‬
‫‪ y, z   S‬‬ ‫עבורו מתקיים‪ x  A  x, y   S :‬הוכח כי לכל ‪ z  A‬מתקיים‪:‬‬
‫‪ (23‬יהי ‪ S‬יחס המוגדר מעל ‪ P   ‬קבוצת החזקה של ‪ ‬באופן הבא‪min A  min B  ASB :‬‬
‫כאשר ‪ min A‬הוא המספר הקטן ביותר ב‪. A -‬‬

‫א‪ .‬הוכח כי ‪ S‬הינו יחס שקילות‪.‬‬
‫ב‪ .‬נסמן ב‪ K -‬את קבוצת מחלקות השקילות של היחס ‪. S‬‬
‫בנה פונקציה ‪ F : K  ‬חח"ע ועל‪.‬‬

‫‪26‬‬
‫פונקציות ויחסים משולב‬
‫‪ (24‬תהיינה ‪ A, B‬שתי קבוצות לא ריקות ויהיו ‪  A ,  B‬שני יחסי סדר חזקים ומלאים ) משווים ( מעל ‪A, B‬‬
‫בהתאמה‪ .‬ותהי ‪ f : A  B‬פונקציה המקיימת אם ‪ a1  A a2‬אז ‪ . f  a1   B f  a2 ‬הוכח כי ‪ f‬חח"ע אך‬
‫אינה בהכרח על‪.‬‬

‫‪ (25‬יחס ‪ T‬מעל ‪  ‬מוגדר באופן הבא‪ fTg  f  g  g  f :‬הוכח או הפרך‪ T :‬יחס שקילות‬
‫‪ (26‬תהי ‪ J‬קבוצת כל היחסים מעל ‪ A‬ו‪ E -‬קבוצת כל יחסי השקילות מעל ‪. A‬‬
‫נגדיר פונקציה ‪ F : J  E  J‬באופן הבא‪ . F  R, S   R  S :‬הוכח כי ‪ F‬על‪.‬‬
‫‪   ‬באופן הבא‪ x1 , x2  S  y1 , y2   x12  x2  y12  y2 :‬‬ ‫‪ (27‬נגדיר יחס ‪ S‬על הקבוצה‬
‫‪   ‬שוות עוצמה לקבוצה ‪‬‬ ‫‪ S‬יחס שקילות‪ ) .‬אין צורך להוכיח‪ ( .‬הוכח כי קבוצת המנה‬
‫‪S‬‬
‫‪ (28‬תהי ‪ F : A  A‬פונקציה‪ .‬נגדיר יחס ‪ R‬מעל ‪ A‬באופן הבא‪ aRb  f  a   b :‬נתון ש‪ R -‬סימטרי‬
‫וטרנזיטיבי‪ .‬הוכח כי ‪ F‬היא פונקצית הזהות‪.‬‬

‫‪ (29‬תהי ‪ A‬קבוצה לא ריקה ותהי ‪ A A‬קבוצת כל הפונקציות מ‪ A -‬ל‪ . A -‬מגדירים יחס ‪ E‬מעל ‪ A A‬באופן הבא‪:‬‬
‫‪ fEg‬אם ורק אם קיימת ‪ h  A A‬הפיכה כך ש‪. f  h  g -‬‬ ‫לכל ‪f , g  A A‬‬
‫א‪ .‬הוכח כי ‪ E‬יחס שקילות‪.‬‬
‫ב‪ .‬הי ‪ c  A‬כלשהוא‪ .‬תהי ‪ f c : A  A‬הפונקציה הקבועה המוגדרת ע"י ‪ x  A f c  x   c‬תאר את מחלקת‬
‫השקילות של ‪ f c‬ביחס ל‪ ) E -‬תן תאור מפורש ככל הניתן‪ ( .‬נמק טענותיך‪.‬‬
‫‪ (30‬יהי היחס ‪ T‬המוגדר מעל הקבוצה ‪  ‬באופן הבא‪  fTg :‬קיים ‪ x  ‬כך ש‪f  x   g  x  -‬‬
‫האם ‪ T‬יחס שקילות?‬

‫‪ (31‬תהי ‪ A‬קבוצה סופית ותהי ‪ B‬תת קבוצה של ‪ . A‬נסמן ב‪ F -‬את קבוצת כל הפונקציות מ‪ A -‬ל‪. 0,1 -‬‬
‫‪F‬‬ ‫נגדיר יחס ‪ E‬מעל ‪ F‬באופן הבא‪ f , g  B  x f  x  g  x  :‬‬

‫א‪ .‬בהנתן ‪ A  1, 2, 3‬ו‪ B  1, 2 -‬תנו דוגמא ל‪ f , g , h  F -‬שונות כך ש‪.  f , h   E ,  f , g   E -‬‬
‫ב‪ .‬הוכיחו כי ‪ E‬יחס שקילות‪.‬‬

‫ג‪ .‬מה עוצמת קבוצת המנה ‪ ? F / E‬נמקו תשובתכם‪.‬‬

‫‪27‬‬
‫תרגילים בקומבינטוריקה בסיסית‬
‫‪ (1‬בכמה אופנים ניתן לסדר ‪ 10‬אנשים בשורה כך ש‪-‬‬
‫א‪ .‬ללא הגבלה‪.‬‬
‫ב‪ .‬אבי ובני סמוכים‪.‬‬
‫ג‪ .‬אבי‪ ,‬בני וגדי סמוכים‪.‬‬
‫ד‪ .‬אבי ובני לא סמוכים‪.‬‬
‫ה‪ .‬אבי ובני סמוכים וגם גדי ודני סמוכים‪.‬‬
‫ו‪ .‬אבי ובני סמוכים וגדי ודני לא סמוכים‪.‬‬
‫‪ (2‬בכיתה בה יש ‪ 10‬בנים ו‪ 15-‬בנות יש להרכיב נבחרת כדורסל בה יש לפחות ‪ 2‬בנים ולפחות ‪ 2‬בנות בכמה דרכים ניתן לעשות זאת?‬
‫‪ (3‬בכמה אופנים שונים ניתן להניח ‪ 8‬צריחים על לוח ‪ 8  8‬בלי שאף צריח יאיים על חברו כך ש‪-‬‬
‫א‪ .‬כל הצריחים הם לבנים‪.‬‬
‫ב‪ .‬שלושה צריחים הם לבנים וחמישה הם שחורים‪.‬‬
‫ג‪ .‬הצריחים נלקחים מתוך שקית ובה מלאי בלתי מוגבל של צריחים לבנים ומלאי בלתי מוגבל של צריחים שחורים‪.‬‬
‫‪ (4‬בכמה מספרים ‪ 6‬ספרתיים מופיעה הספרה‬

‫א‪ 0 .‬פעם אחת בדיוק‪.‬‬
‫ב‪ 0 .‬פעם אחת לפחות‪.‬‬
‫ג‪ 7 .‬פעם אחת לפחות‪.‬‬
‫יש לזכור שמספר לא יכול להתחיל בספרה ‪.0‬‬ ‫ד‪ 7 .‬פעם אחת בדיוק‪.‬‬
‫‪ (5‬א‪ .‬יהי ‪ n‬טבעי בכמה תת קבוצות של ‪ 1, 2, 3, 2n‬יש אי זוגי אחד לפחות?‬
‫ב‪ .‬בכמה תת קבוצות של ‪ 1, 2, 3, 2n‬יש לפחות ‪ n  1‬איברים‪.‬‬
‫‪ (6‬בכמה אופנים שונים ניתן לחלק ‪ 10‬לימונדות זהות ‪ 1‬כוס קולה ו‪ 1-‬כוס קינלי ל‪ 4-‬תלמידים צמאים כך שכל תלמיד מקבל‬
‫לפחות משקה אחד והקולה והקינלי ניתנים לתמידים שונים?‬
‫‪ (7‬בכמה דרכים ניתן לחלק ‪ 400‬כדורים זהים ל‪ 3-‬תאים כך ש‪-‬‬

‫א‪ .‬יש תא ובו יותר מ‪ 200-‬כדורים‪.‬‬
‫ב‪ .‬בכל תא מספר זוגי של כדורים‪.‬‬
‫ג‪ .‬בשני תאים מתוך השלוש מספר אי זוגי של כדורים ובתא אחד מספר זוגי של כדורים‪.‬‬

‫‪28‬‬
‫‪ 7 (8‬אנשים נכנסים למעלית בבניין בן ‪ 13‬קומות בכמה אופנים הם יכולים ללחוץ על כפתורי המעלית כך ש‪-‬‬
‫א‪ .‬המעלית תעצור בקומה החמישית? ) יתכן ותמשיך הלאה משם (‬
‫ב‪ .‬המעלית תעצור בקומה החמישית לכל היותר‪.‬‬
‫ג‪ .‬המעלית תגיע לפחות עד הקומה החמישית‪.‬‬
‫ד‪ .‬המעלית תעצור בקומה החמישית‪ ) .‬ולא תמשיך משם הלאה (‬
‫‪ (9‬בכמה דרכים ניתן לחלק ‪ n‬כדורים לבנים זהים ו‪ n -‬כדורים צבעוניים ) שונים ( ל‪ 2n -‬כך שבכל תא יהיה‬
‫א‪ .‬לכל היותר כדור אחד‪.‬‬
‫ב‪ .‬לכל היותר כדור לבן אחד ואין מגבלה על מספר הצבעוניים‪.‬‬
‫ג‪ .‬לכל היותר כדור צבעוני אחד ואין הגבלה על מסםר הלבנים‪.‬‬
‫ד‪ .‬מספר שווה של לבנים וצבעוניים‪.‬‬
‫‪ (10‬במלבן בן ‪ k‬שורות ו‪ m -‬עמודות יש לסמן ‪ ‬או ‪ ‬בכל משבצת‪.‬‬

‫‪k‬‬
‫‪‬‬
‫‪ 2  1‬דרכים לעשות זאת כך שבכל שורה יופיע ‪ ‬אחד לפחות‪.‬‬
‫‪m‬‬
‫‪‬‬ ‫א‪ .‬הראו כי כי יש‬
‫ב‪ .‬בכמה דרכים ניתן לעשות זאת כך שיופיע ‪ ‬אחד לפחות בכל עמודה‪.‬‬
‫‪k‬‬ ‫‪m‬‬
‫ג‪ .‬הסיקו כי ‪2 mk   2m  1    2 k  1‬‬
‫‪B‬‬
‫‪ (11‬חרגול נמצא בנקודה ‪ A‬בשריג המתואר להלן‪ .‬בכל שלב יכול החרגול‬
‫להתקדם צעד אחד ימינה או צעד אחד למעלה‪.‬‬
‫א‪ .‬בכמה אופנים שונים יכול החרגול להגיע מנקודה ‪ A‬לנקודה ‪? B‬‬
‫‪A‬‬ ‫ב‪ .‬בכמה אופנים הוא יכול לעשות זאת מבלי לעבור דרך‬
‫נקודה המסומנת להלן?‬
‫‪B‬‬
‫‪‬‬
‫‪A‬‬
‫‪ (12‬א‪ .‬בכמה אופנים שונים ניתן לחלק ‪ 12‬אנשים לשלושה זוגות ושתי שלשות?‬
‫ב‪ .‬כמו א‪ .‬אך בנוסף דני ודנה לא נמצאים באותה קבוצה‪.‬‬

‫‪29‬‬
‫‪ (13‬כמה פתרונות בשלמים אי שליליים יש לכל אחת מהמשואות הבאות?‬
‫א‪x1  x2   x7  20 .‬‬
‫ב‪x1  x2  5 x3  x4  14 .‬‬
‫ג‪ x1  x2  x3  x4  x5  x6   18 .‬‬
‫‪ (14‬בכמה דרכים ניתן לבחור ועדה בת ‪ n‬אנשים מתוך ‪ n‬זוגות נשואים כך ש‪-‬‬
‫א‪ .‬בועדה לא ישתתף אף זוג נשוי‪.‬‬
‫ב‪ .‬מספר הגברים יהיה שווה למספר הנשים‪.‬‬
‫ג‪ .‬מספר הגברים יהיה קטן ממש ממספר הנשים‪.‬‬
‫‪ (15‬מצאו בכמה פונקציות }‪ f :{1, 2,3,...,3n  1,3n}  {1, 2,3,..., n  1, n‬מקיימות את התנאי הבא‪ :‬לכל אבר בתמונה‬
‫יש בדיוק ‪ 3‬מקורות‪.‬‬
‫‪ (16‬מה מספר הדרכים לפזר ‪ 50‬כדורים אדומים ו ‪ 20‬כדורים כחולים ל ‪ 10‬תאים‪ ,‬כך שבכל תא מספר הכדורים האדומים יהיה לפחות‬
‫כמספר הכדורים הכחולים?‬
‫‪ (17‬בכמה דרכים ניתן לחלק קבוצה בגודל ‪ 2n‬לקבוצה בגודל ‪ n‬ולזוגות‪ ) .‬ניתן להניח כי ‪ n‬זוגי (‬
‫‪ (18‬בכמה דרכים ניתן לסדר בשורה ‪ 8‬פילים שונים‪ 2 ,‬שועלים זהים ושתי תרנגולות זהות‪ ,‬כך שהפילים מסודרים משמאל לימין על פי‬
‫משקלם בסדר עולה‪ ,‬ואף שועל לא יהיה צמוד לתרנגולת?‬
‫‪ (19‬בכמה דרכים ניתן לחלק ‪ 100‬כדורים לבנים ו‪ 50-‬כדורים צבעוניים )כל אחד בצבע שונה( ל‪ 250-‬תאים באופן שיתקיימו שני‬
‫התנאים הבאים‪ :‬יהיה לפחות תא אחד שמכיל יותר מכדור לבן אחד‪ ,‬וכמו‪-‬כן יהיה לפחות תא אחד שמכיל יותר מכדור צבעוני אחד?‬
‫‪ (20‬בכמה דרכים ניתן לסדר ‪ n‬גברים ו‪ n -‬נשים במעגל כך שבני אותו מין לא ישבו זה לצד זה? כנ"ל לגבי שורה‪.‬‬
‫‪ (21‬יש לבחור קבוצה של ששה ילדים מבין תלמידי כיתות א‪ 1‬ו‪-‬א‪ ,2‬באופן ששלושה מהם יהיו מ‪-‬א‪ 1‬ושלושה מ‪-‬א‪ .2‬מספר הבנים‬
‫בקבוצה צריך להיות שווה למספר הבנות בקבוצה )‪ 3‬ו‪ .(3-‬ב‪-‬א‪ 1‬יש ‪ 10‬בנים ו‪ 15-‬בנות וב‪-‬א‪ 2‬יש ‪ 15‬בנים ו‪ 10-‬בנות‪ .‬בכמה‬
‫אופנים ניתן לבחור את הקבוצה?‬
‫‪ (22‬בכמה קבוצות של ‪ n‬כדורים ב‪ 10 -‬צבעים יש לפחות כדור אחד מכל צבע?‬

‫‪30‬‬
‫‪ (23‬כמה פונקציות ‪ ( n  1 ) f : 1,2,..., n 1,2,..., n‬מקיימות את התנאי ‪ f k   f k  1‬לכל ‪? 1  k  n  1‬‬
‫‪ (24‬כמה פונקציות ‪ f : 1,2,3, , n  1, 2,3, , n‬חח"ע ועל יש המקיימות ‪ f  k   k‬זוגי לכל‬
‫‪k  1,2, 3, , n‬‬
‫‪ (25‬כמה סדרות בינריות באורך ‪ n‬יש המורכבות מ‪ k -‬אחדים ו‪ n  k -‬אפסים שאין בהם שני אחדים רצופים?‬
‫‪ (26‬בכמה דרכים ניתן לחלק ‪ 60‬כדורים צבעוניים ) כל אחד בצבע שונה ( ו‪ 90-‬כדורים לבנים זהים ל‪ 100-‬תאים כך שיתקיימו שני‬
‫התנאים הבאים גם יחד‪ .‬יהיה לפחות תא אחד שמכיל יותר מכדור צבעוני אחד וכמו כן בכל תא יהיו לכל היותר ‪ 50‬כדורים לבנים‪.‬‬
‫‪ (27‬בכמה דרכים ניתן לחלק ‪ 4‬בננות‪ 2 ,‬תפוזים‪ ,‬ו‪ 4-‬תפוחים ל‪ 10-‬אנשים כך שכל אחד יקבל בדיוק פרי אחד ? שימו לב שפירות‬
‫מאותו סוג נחשבים זהים‪.‬‬
‫‪ (28‬בכמה דרכים ניתן לבנות שורה מ‪ k  0 -‬כדורים לבנים זהים ו‪ m  0 -‬כדורים צבעוניים שונים‪ ) .‬ושונים מלבן (?‬

31
‫תרגילים בנושא זהויות קומבינטוריות והבינום של ניוטון‬
n
 n
  k  2
k 0
k
 3n ‫( הוכח אלגברית וקומבינטורית את הזהות‬1
n
 n  2 nk
6 n
k 0
 2
k
‫ את הזהות‬n  0 ‫( הוכיחו לכל‬2
 n  n  n
2n  3 n  n3n 1    3n 2  ...  ( 1)k   3n  k  ...  ( 1)n   30 :‫( הוכח את השוויון הבא‬3
 2 k  n
n
 2n  1 

k 0

 k 
2n
  2 :‫ טבעי מתקיים‬n ‫( הוכיחו שלכל‬4
 m  n  n  m 
.         mn :‫( הוכח בדרך אלגברית ובדרך קומבינטורית את הזהות הבאה‬5
 2   2  2 
 2n 
.‫ הוא זוגי‬  ‫ המספר‬n   ‫( הוכח כי לכל‬6
 n
n
 n n n
 k  k  2
k 1
k 1

3
 3 ‫( הוכח כי‬7
n
 x  y  x y 
. x , y , n   ,  

  k   n  k  :‫( הוכיחו כי‬8
 n  k 0
n
 n n n   3n 
   
k j k
k , j 0     
    ‫( הוכח את השוויון הבא‬9
j  n 
 r  m  r  r  k 
       ‫( הוכח בדרך אלגברית ובדרך קומבינטורית את הזהות הבאה‬10
 m k   k  m  k 
 n  n   n   n  2
.   2    ‫ מתקיים‬0  k  n ‫ ולכל‬0  n ‫( הוכח כי לכל‬11
k  k  1  k  2  k  2
 2 n   2n 2   2 
   
 2   2   2
 2 n  1    2n  3   1  n! ‫( הוכח אלגברית וקומבינטורית את הזהות הבאה‬12
n
 2n   3n   5n  2 
.  k  n  k   k   n  k   6n  n  2  ‫( הוכח את הזהות הבאה‬13
k 1
2
N
 k 1 n  k  N 
 
n0
n

  N 
 ‫( הוכיח את השוויון הבא‬14
 n
. 2n   n  ‫ מספר זוגי אז‬n  0 ‫ כי אם‬,‫( הוכיחו‬15
2

‫‪32‬‬
‫‪80‬‬
‫הם שלמים?‬ ‫‪‬‬ ‫‪247‬‬ ‫‪‬‬ ‫‪ (16‬כמה מבין המספרים בפיתוח הבינום‬
‫‪n‬‬
‫‪n‬‬
‫‪n‬‬ ‫‪n i‬‬
‫‪ (17‬הוכיחו כי לכל ‪ n‬טבעי מתקיים‪n n  n  1    n  1 :‬‬
‫‪i 1  i ‬‬

‫‪33‬‬
‫תרגילים בנושא הכלה והדחה‬
‫‪ (1‬כמה מילים באורך ‪ n‬יש מעל הא"ב ‪  A, B , C , D‬כך שהאותיות ‪ A, B‬חייבות להופיע?‬
‫‪ (2‬לארוחת ערב הוזמנו חמישה אנשים‪ .‬המארח קנה ‪ 10‬מתנות שונות‪ .‬בכמה דרכים ניתן לחלק את המתנות בין האורחים כך שכל אורח‬
‫יקבל לפחות פרס אחד?‬
‫‪ (3‬בכמה דרכים יכול שירות בתי הסוהר לפזר ‪ 300‬פליטים מאריתראה בחמישה תאי כלא כך שבשום תא לא יהיו יותר מ ‪ 100‬פליטים?‬
‫שימי לב‪ :‬שירות בתי הסוהר לא מבדיל בין הפליטים השונים‬
‫‪ (4‬בקייטנת ההשקעות הלא‪-‬הגיוניות יש חמישה קורסים‪ .‬בכל אחד מחמשת הקורסים רשומים בדיוק ‪ 55‬ילדים‪ .‬לכל זוג קורסים יש‬
‫בדיוק ‪ 44‬ילדים שרשומים לשניהם‪ .‬לכל שלושה מהקורסים יש בדיוק ‪ 33‬ילדים שרשומים לשלושתם‪ .‬לכל ארבעה מהקורסים יש‬
‫בדיוק ‪ 22‬ילדים שרשומים לארבעתם‪ .‬הוכיחו כי יש לפחות ילד אחד שרשום לכל חמשת הקורסים בו זמנית‪.‬‬
‫‪ (5‬א‪ .‬בכמה מספרים קטנים ממליון סכום הספרות הוא ‪ 23‬בדיוק? ) שאלה זו מופיעה גם בפרק על פונקציות יוצרות (‬
‫ב‪ .‬בכמה מספרים קטנים ממליון סכום הספרות הוא ‪ 31‬בדיוק?‬
‫ג‪ .‬בכמה מספרים קטנים ממליון סכום הספרות הוא ‪ 23‬לכל היותר?‬
‫‪ (6‬מטילים קוביה ‪ 8‬פעמים ורושמים את התוצאות כסדרה של ‪ 8‬מספרים‪ .‬מה מספר האפשרויות לסדרות באורך ‪ 8‬של הטלות‪ ,‬שבהן כל‬
‫ששת המספרים מ‪ 1-‬עד ‪ 6‬יופיעו )כל מספר לפחות פעם אחת(?‬
‫‪ (7‬במערכת שנה א של התוכנית למדעי המחשב באקדמיה המכללתית של תל‪-‬יפו‪-‬אביב יש חמישה קורסים‪ .‬בכל אחד מחמשת הקורסים‬
‫רשומים בדיוק ‪ 40‬תלמידים‪ .‬לכל זוג קורסים יש בדיוק ‪ 32‬תלמידים שרשומים לשניהם‪ .‬לכל שלושה מהקורסים יש בדיוק ‪24‬‬
‫תלמידים שרשומים לשלושתם‪ .‬לכל ארבעה מהקורסים יש בדיוק ‪ 16‬תלמידים שרשומים לארבעתם‪ .‬הוכיחי שיש לפחות תלמיד אחד‬
‫שרשום לכל חמשת הקורסים בו זמנית‪.‬‬
‫הדרכה‪ :‬על סמך הנתונים כתבי ביטוי שמתאר כמה תלמידים יש בכל חמשת הקורסים יחד‪.‬‬
‫‪ (8‬לארוחת ערב הוזמנו חמישה אנשים‪ .‬המארח קנה ‪ 10‬מתנות שונות‪ .‬בכמה דרכים ניתן לחלק את המתנות בין האורחים כך שכל אורח‬
‫יקבל לפחות פרס אחד?‬
‫‪ (9‬איש ציבור מושחת לוקח כל שנה שוחד בסך ‪ 4 ,2‬או ‪ 6‬מליון דולר )שלא כמו איש ציבור נורמטיבי בסעיף ‪1‬א‪ ,‬איש ציבור מושחת‬
‫יכול לקחת שוחד של ‪ 6‬מליון דולר מספר שנים ברציפות(‪ .‬סדרת שוחד היא סדרת סכומים שקיבל איש ציבור מושחת במשך כמה‬
‫שנים‪ ,‬למשל ‪ .6,6,2,4,2‬כמה סדרות שוחד יניבו עבור איש ציבור מושחת סך של ‪ 20‬מיליון דולר במשך ‪ 6‬שנים?‬
‫‪ (10‬כמה מילים באורך ‪ n‬יש מעל ה‪-‬א"ב ‪  A, B , C , D‬כאשר ‪ A, B‬חייבות להופיע?‬
‫‪ (11‬עבור ‪ A  1, 2, 3. ,10‬כמה פונקציות ‪ f‬חח"ע על ישנן ‪ f : A  A‬כך ש‪ f  k   k -‬עבור ‪k  1, 2, 3‬‬

‫‪34‬‬
‫‪ (12‬בכמה תמורות של המספרים ‪ 1, 2, 3, 4, ,18‬כל המספרים שמתחלקים ב‪ 3-‬במקומות של מספרים שמתחלקים בשלוש ואף זוגי‬
‫לא במקומו?‬
‫‪ (13‬ברשותך שלושה כדורים לבנים זהים‪ ,‬שלושה כדורים שחורים זהים‪ ,‬ומאגר בלתי מוגבל של כדורים אדומים זהים ‪ .‬בכמה אופנים ניתן‬
‫להרכיב מהם קבוצה ) סדר הכדורים לא משנה ( בת ‪ n‬כדורים‪ .‬פתור הן בעזרת פונקציות יוצרות והן בעזרת הכלה והדחה והשווה‬
‫את התוצאות‪.‬‬
‫‪ 7 (14‬משפחות בנות שלוש נפשות כל אחת ) אבא‪ ,‬אמא וילד ( מגיעות למפגש חברתי‪ .‬בכמה אופנים ניתן לסדר אותם בשלשות כך ש‪-‬‬
‫א‪ .‬ללא הגבלה?‬
‫ב‪ .‬כל שלשה תהיה מורכבת מאבא‪ ,‬אמא וילד אבל אף שלשה לא תרכיב משפחה שלמה?‬
‫ג‪ .‬אף שלשה לא תרכיב משפחה שלמה ) כלומר יתכן שלשה המורכבת משלושה אבות או שני אבות וילד (‬
‫‪ (15‬בכמה דרכים ניתן לחלק ‪ 40‬כדורים לארבעה תאים כך שאף תא לא יהיה ריק‪.‬‬
‫א‪ .‬הכדורים זהים‪.‬‬
‫ב‪ .‬הכדורים שונים‪.‬‬
‫‪ (16‬ארבעה אנשים שונים )ששמותיהם ‪ (1,2,3,4‬אחראים יחד על ביצוע של ‪ 5‬משימות שונות )משימות א‪,‬ב‪,‬ג‪,‬ד‪,‬ה(‪.‬‬
‫לביצוע כל משימה נדרשים בדיוק שני אנשים‪ .‬אין הבדל בין תפקידי שני האנשים בצוות המבצע משימה נתונה‪.‬‬
‫א‪ .‬בכמה דרכים ניתן להקצות את ‪ 5‬המשימות לצוותים של שני אנשים ? הנה כמה דוגמאות לדרכים לגיטימיות לעשות זאת‪:‬‬
‫דוגמא ‪ :1‬הצוות }‪ {1,2‬יבצע את כל ‪ 5‬המשימות !‬
‫דוגמא ‪ :2‬הצוות }‪ {1,2‬יבצע את משימות א‪,‬ב ‪ ,‬הצוות }‪ {1,3‬את משימות ג‪,‬ד והצוות }‪ {2,3‬את משימה ה‪.‬‬
‫דוגמא ‪ :3‬הצוות }‪ {1,2‬יבצע את משימות א‪,‬ב ‪ ,‬הצוות }‪ {3,4‬את משימות ג‪,‬ד והצוות }‪ {2,3‬את משימה ה‪.‬‬
‫ב‪ .‬בכמה דרכים ניתן להקצות את ‪ 5‬המשימות לצוותים של שני אנשים‪ ,‬אם אסור שמישהו יתחמק לגמרי מעבודה‪:‬‬
‫כל אחד מ‪ 4 -‬האנשים חייב לקחת חלק במשימה אחת לפחות )דוגמאות ‪ 2 ,1‬בסעיף א אינן חוקיות כעת‪ .‬דוגמא ‪ - 3‬חוקית(‪.‬‬
‫‪ (17‬דנה‪ ,‬תלמידה בכיתה א' ‪ ,‬קראה בספר את המשפט המעניין‪ :‬דנה קמה דנה נמה‪ .‬אחרי שקראה בהצלחה את המשפט‪,‬‬
‫עלו בדעתה של דנה כמה שאלות מעניינות לא פחות‪:‬‬
‫א‪ .‬בכמה דרכים אפשר לסדר את כל ‪ 12‬האותיות שבמשפט הזה במחרוזת אחת ללא רווחים‪ ,‬כגון דנהקמהדנהנמה ‪.‬‬
‫ב‪ .‬בכמה מהדרכים הללו מופיע בתוך המחרוזת הרצף דמקה ?‬
‫ג‪ .‬מה מספר הדרכים לסדר את ‪ 12‬האותיות כך שלא תופיע בתוך המחרוזת אף אחת מארבע המחרוזות הבאות‪ :‬דמקה‪,‬‬
‫קהה‪ ,‬ממד‪ ,‬נננהה‬

‫‪35‬‬
‫‪ (18‬בבחינה מתמטיקה בדידה בקורס זה יש ‪ 11‬שאלות בארבעה נושאים כדלהלן‪ 2 :‬שאלות בקומבינטוריקה בסיסית‪ 3 ,‬שאלות בפונקציות‬
‫יוצרות‪ 2 ,‬שאלות בגרפים ו‪ 4-‬שאלות בהכלה והדחה‪ .‬צריך לענות על ‪ 6‬שאלות לפחות ) אפשר יותר ( וחייבים לענות על לפחות‬
‫שאלה אחת מכל נושא‪ .‬בכמה אופנים ניתן לעשות זאת‪.‬‬
‫‪ (19‬בכמה דרכים ניתן להרכיב מילה מהמספרים ‪ 1, 2, 3, n‬כך שכל מספר יופיע ‪ k‬פעמים אל אף מספר לא יופיע ‪ k‬פעמים ברצף?‬

‫‪36‬‬
‫תרגילים בנושא פונקציות יוצרות‬
‫‪30‬‬
‫‪‬‬ ‫‪1‬‬ ‫‪‬‬
‫‪? x2  x  2‬‬ ‫‪ (1‬מה המקדם של ‪ x 10‬בביטוי‬
‫‪‬‬ ‫‪2‬‬ ‫‪‬‬
‫‪ (2‬בנה פונקציה יוצרת למספר האפשרויות של דני לקנות בסופר ‪ 50‬מוצרי חלב לבית מסוג שוקו‪ ,‬מוקה ובננה‪ .‬כאשר משקה בננה‬
‫מגיע רק באריזות של שלוש ‪,‬משקה שוקו בזוגות )משקה מוקה אפשר לקנות ביחידים( ואחותו של דני אוהבת רק מוקה‪) .‬שימו לב‬
‫שעליו לחזור הביתה עם משקאות לכל בני המשפחה(‪.‬‬
‫‪ (3‬איש ציבור מושחת לוקח כל שנה שוחד בסך ‪ 4 ,2‬או ‪ 6‬מליון דולר )שלא כמו איש ציבור נורמטיבי בסעיף ‪1‬א‪ ,‬איש ציבור מושחת‬
‫יכול לקחת שוחד של ‪ 6‬מליון דולר מספר שנים ברציפות(‪ .‬סדרת שוחד היא סדרת סכומים שקיבל איש ציבור מושחת במשך כמה‬
‫שנים‪ ,‬למשל ‪ .6,6,2,4,2‬כמה סדרות שוחד יניבו עבור איש ציבור מושחת סך של ‪ 20‬מיליון דולר במשך ‪ 6‬שנים?‬
‫‪1‬‬ ‫‪1‬‬
‫‪.‬‬ ‫‪2‬‬
‫‪‬‬ ‫‪ (4‬יהי ‪ an‬המקדם של ‪ xn‬בפיתוח של הפונקציה הבאה‪:‬‬
‫)‪(1  2 x) (1  x‬‬
‫הוכיחי ש ‪.an=bn‬‬ ‫יהי ‪ bn‬פתרון נוסחת הנסיגה ‪ bn  bn1  (n  1)2 n‬עם תנאי ההתחלה ‪.b0=1‬‬
‫הערה‪ :‬אפשר לפתור את השאלה ע"י חישוב מפורש של ‪ an‬ו ‪ ,bn‬אבל ניתן גם למצוא קיצור דרך משמעותי בעזרת ביטוי מהצורה‬
‫‪n‬‬
‫)‪.  (...‬‬
‫‪k 0‬‬
‫‪ (5‬יהי ‪ an‬מספר הדרכים לכתוב את ‪ n‬כסכום של מספר אי‪-‬שלילי של ‪-2‬ים‪ ,‬מספר חיובי של ‪-3‬ים‪ ,‬ולכל היותר שני ‪-1‬ים‪ ,‬כאשר סדר‬
‫המחוברים איננו משנה‪.‬‬
‫יהי ‪ bn‬מספר הדרכים לפזר ‪ n‬כדורים זהים לשני תאים‪ ,‬כך שבתא הראשון לפחות שלושה כדורים‪ ,‬ובתא השני מספר זוגי של‬
‫כדורים‪.‬‬
‫הוכיחי ש ‪.an= bn‬‬
‫‪ (6‬א‪ .‬רונית יוצאת לטייל בשכונה בלווית ‪ n‬חיות מחמד היא מזמינה לטיול ‪ 3‬או ‪ 4‬או ‪ 5‬חתולים מפח האשפה ) זה נקרא חתול פ"ז =‬
‫פח זבל ( אז בקיצר היא יוצאת עם ‪ 3‬או ‪ 4‬או ‪ 5‬חתולי פז מספר כלשהוא של זוגות עורבים ) עורבים באים בזוגות ( כמו כן אם‬
‫התחזית לאזרחים הסטרים לאורך המסלול רגועה יתכן שרונית תזמין גם את תנין מצריים‪ .‬נסמן ב‪ an -‬את מספר האפשרויות‬
‫לבחירת ‪ n‬חיות מחמד לטיול של רונית‪ ) .‬חיות מאותו מין ביולוגי נחשבות זהות ( חשבו את הפונקציה היוצרת של ‪. an‬‬
‫) תשובה סופית כמנה של פולינומים (‬
‫ב‪ .‬גם נורית יוצאת לטיול עם ‪ n‬חיות מחמד משלה מספר האפשרויות של נורית לבחור את החיות שלה הוא ‪ bn‬נתון ש‪-‬‬
‫‪‬‬
‫‪x  x2‬‬
‫כמה אופנים יכולה נורית לבחור לעצמה ‪ 23‬חיות מחמד לטיול פסטורלי?‬ ‫‪b x‬‬
‫‪n0‬‬
‫‪n‬‬
‫‪n‬‬
‫‪‬‬
‫‪1  x ‬‬
‫‪4‬‬

‫‪37‬‬
‫‪6  10 x‬‬
‫‪F  x ‬‬ ‫‪ (7‬חשבו את ‪ a22‬בסדרה הנוצרת על ידי‬
‫‪1  7 x  12 x 2‬‬
‫( עבור מספר הדרכים לפזר ‪ n‬כדורים זהים ב‪ 7-‬תאים כך שמספרי הכדורים בתא הראשון‬ ‫‪‬‬ ‫‪ (8‬בנה פונקציה יוצרת ) ללא‬
‫ובתא השביעי שווים‪ ,‬בתא השני והשישי יש מספר שווה של כדורים‪ ,‬ובתא הרביעי מספר גדול מאשר בתא הראשון והשני יחד‪.‬‬
‫‪n‬‬
‫‪.‬‬ ‫‪k5‬‬
‫‪k 0‬‬
‫‪k‬‬
‫‪ (9‬מצא נוסחה סגורה לסכום‬
‫‪ (10‬נסמן ב‪ a n -‬את מספר הדרכים לפזר ‪ n‬כדורים זהים ב‪ 5 -‬תאים כך שלכל ‪ 1  k  5‬מספר הכדורים בתא ה‪ k -‬שווה למספר‬
‫הכדורים בתא ה‪ ,5-k+1 -‬וכך שמספר הכדורים בתא האמצעי גדול מסכום מספרי הכדורים בתא הראשון והשני יחד‪ .‬מצאו ביטוי‬
‫‪‬‬
‫( לפונקציה היוצרת ‪. f  x    a n x n‬‬ ‫‪‬‬ ‫אלגברי סגור )ללא‬
‫‪n 0‬‬
‫‪ (11‬ברשותך שלושה כדורים לבנים זהים‪ ,‬שלושה כדורים שחורים זהים‪ ,‬ומאגר בלתי מוגבל של כדורים אדומים וירוקים זהים‪ .‬בכמה‬
‫אופנים ניתן להרכיב מהם קבוצה ) סדר הכדורים לא משנה ‪ 9‬בת ‪ n‬כדורים‪ .‬פתור הן בעזרת פונקציות יוצרות והן בעזרת הכלה‬
‫והדחה והשווה את התוצאות‪.‬‬
‫‪ (12‬יהי ‪ an‬מספר הדרכים לכתוב את ‪ n‬כסכום של מספר אי‪-‬שלילי של ‪-2‬ים‪ ,‬מספר חיובי של ‪-3‬ים‪ ,‬ולכל היותר שני ‪-1‬ים‪ ,‬כאשר סדר‬
‫המחוברים איננו משנה‪ .‬יהי ‪ bn‬מספר הדרכים לפזר ‪ n‬כדורים זהים לשני תאים‪ ,‬כך שבתא הראשון לפחות שלושה כדורים‬
‫ובתא השני מספר זוגי של כדורים‪ .‬הוכיחי ש ‪.an= bn‬‬
‫‪ (13‬א‪ .‬בכמה מספרים קטנים ממליון סכום הספרות הוא ‪ 23‬בדיוק? ) שאלה זו מופיעה גם בפרק על הכלה הדחה (‬
‫ב‪ .‬בכמה מספרים קטנים ממליון סכום הספרות הוא ‪ 31‬בדיוק?‬
‫ג‪ .‬בכמה מספרים קטנים ממליון סכום הספרות הוא ‪ 23‬לכל היותר?‬
‫‪ (14‬הוכיחו כי מספר הפתרונות בשלמים אי‪-‬שליליים למשוואה ‪ x  y  z  n‬כאשר ‪ y‬זוגי‪ 3  x  5 ,‬ו‪0  z  1-‬‬
‫שווה למספר הפתרונות בשלמים אי‪-‬שליליים למשוואה ‪ x  y  n‬כאשר ‪ 3  x‬ו‪. 0  y  2 -‬‬
‫‪n‬‬
‫‪ (15‬נתונות סדרות ‪ a n n0 , bn n 0‬כלשהן‪ ,‬ונתון שאברי הסדרה ‪ cn n0‬מקיימים ‪ c n   a i bn i‬לכל ‪ . n  0‬נסמן ב‪-‬‬
‫‪i 0‬‬
‫‪ da n , dbn , dc n‬את סדרות ההפרשים של הסדרות ‪ a n n0 , bn n 0 , cn n0‬בהתאמה‪ .‬הוכיחו באמצעות פונקציות יוצרות‬
‫‪n‬‬ ‫‪n‬‬
‫‪dc n   da i bn i   ai dbni‬‬ ‫כי לכל ‪ n  0‬מתקיים‪:‬‬
‫‪i 0‬‬ ‫‪i 0‬‬

‫‪38‬‬
‫תרגילים בנושא רקורסיה‬
‫‪ (1‬לכל ‪ n‬שלם אי‪-‬שלילי נגדיר את ‪ a n‬להיות מספר הסדרות היורדות הלא ריקות‪ ,‬שמורכבות ממספרים טבעיים בין ‪ 1‬ל ‪ ,n‬כך‬
‫שההפרש בין כל שני מספרים עוקבים בסדרה הוא לפחות ‪ .3‬כתבו נוסחת נסיגה ותנאי התחלה ל ‪. a n‬‬
‫דוגמאות‪:‬‬
‫‪ o‬הסדרה )‪ (12,9,5,1‬נספרת בחישוב של ‪ , a14‬מכיוון שהיא יורדת‪ ,‬כל הספרות שבה הן בין ‪ 1‬ל ‪ ,14‬וההפרשים בין כל שתי‬
‫ספרות עוקבות בסדרה הם ‪ 3‬או יותר‪.‬‬

‫‪ o‬הסדרה )‪ (14‬נספרת בחישוב של ‪ , a14‬מכיוון שהיא יורדת‪ ,‬כל הספרות שבה הן בין ‪ 1‬ל ‪ ,14‬וההפרשים בין כל שתי ספרות‬
‫עוקבות בסדרה הם ‪ 3‬או יותר )בגלל שאין ספרות עוקבות(‪.‬‬

‫‪ o‬הסדרה )‪ (12,9,7,1‬אינה נספרת בחישוב של ‪ , a14‬מכיוון שההפרש בין הספרה השנייה והשלישית בסדרה הוא ‪.2‬‬
‫‪ (2‬א( מצא נוסחת נסיגה ותנאי התחלה עבור מספר האפשרויות לחלק קבוצה בת ‪ n‬אנשים לזוגות ולבודדים‪.‬‬
‫ב( מצאי נוסחת נסיגה ותנאי התחלה למספר הדרכים לחלק קבוצה של ‪ n‬אנשים לזוגות ולשלשות‪ ,‬כאשר הסדר בין הזוגות‬
‫והשלשות ובתוך הזוגות והשלשות איננו משנה‪.‬‬
‫‪ (3‬בחפיסת קלפי טאקי יש מספר לא מוגבל של קלפים בצבעים צהוב‪ ,‬אדום‪ ,‬כחול וירוק‪ ,‬ואיננו מבחינים בין קלפים שונים מאותו‬
‫צבע‪ .‬יהי ‪ an‬מספר ערימות קלפי טאקי בגודל ‪ n‬שבהם מעל קלף אדום או כחול אסור לשים קלף צהוב או ירוק‪ .‬מצאי נוסחת‬
‫נסיגה ותנאי התחלה ל ‪.an‬‬
‫‪ (4‬מצא יחס רקורסיבי ותנאי התחלה עבור מספר המילים באורך ‪ n‬מעל ‪  A, B , C ‬ללא הרצפים הבאים‪ ) .‬כל סעיף שאלה בפני עצמה (‬
‫ו( ‪ AB , BC‬באתר מצורף‬ ‫ה( ‪AA , AB , AC‬‬ ‫‪AA , BA‬‬ ‫ד(‬ ‫ג( ‪AA , AB‬‬ ‫ב( ‪AB‬‬ ‫א( ‪CC‬‬
‫י( ‪BC , CB‬‬ ‫ט( ‪AA , BB , CC‬‬ ‫ח( ‪AA, BB‬‬ ‫פתרון בשתי דרכים ז( ‪BA , CA‬‬
‫‪ (5‬מצא יחס רקורסיבי ותנאי התחלה עבור מספר הדרכים לרצף שביל באורך ‪ n‬במרצפות אדומות באורך ‪ ,2‬מרצפות צהובות באורך ‪2‬‬
‫מרצפות ירוקות באורך ‪ ,2‬ומרצפות שחורות ומרצפות לבנות באורך ‪ 1‬כל אחת‪ .‬ולאחר פתור את יחס הנסיגה שקיבלת‪ ,‬קבל נוסחה‬
‫מפורשת‪ ,‬וחשב את ארבעת האיברים הראשונים בשתי דרכים‪ .‬אחת לפי היחס הרקורסיבי ושתים ע"י הצבה בנוסחה המפורשת שמצאת‪.‬‬
‫‪ (6‬עבור ‪ n‬טבעי מהו מספר הסדרות הפלינדרומיות באורך ‪ n‬מעל קבוצת הספרות העשרוניות ‪) 0,1,2,...,9‬סידרה ‪ x1 ,..., x n‬היא‬
‫פלינדרומית אם ‪ xi  xn  i 1‬לכל ‪ 1  i  n‬ובעברית יותר קלה אם בקריאתה מהסוף להתחלה או מההתחלה לסוף מתקבלת‬
‫אותה סדרה למשל כמו ‪.( 1, 7, 2, 2, 2, 7,1‬‬

‫‪39‬‬
‫‪./ , ,  , ‬‬ ‫‪ (7‬נתבונן בסדרות סופיות של סימנים‪ ,‬הלקוחים מתוך ‪ 6‬סימנים אלה‪ :‬הספַרות ‪ 0,1‬וארבעה סימני פעולה‪:‬‬
‫ובכפוף לתנאים הבאים‪:‬‬
‫א‪ .‬הסדרה נפתחת ומסתיימת בסִפרה‪.‬‬
‫ב‪ .‬אין הופעות צמודות של סימני פעולה‪.‬‬
‫‪. 001‬‬ ‫‪,‬‬ ‫‪0100 /101  11  1010‬‬ ‫דוגמאות של סדרות העונות על התנאים‪:‬‬
‫‪. 101  / 00‬‬ ‫‪, 00  10‬‬ ‫‪, 00‬‬ ‫דוגמאות של סדרות שאינן עונות על התנאים‪:‬‬
‫נסמן ב‪ an -‬את מספר הסדרות הללו שבהן בדיוק ‪ n‬סימנים‪.‬‬
‫א( מצא יחס נסיגה עבור ‪. an‬‬
‫ב( מצא אופן ישיר את ‪ . a0 , a1 , a2 , a3‬בדוק בעזרת הערכים שקיבלת את יחס הנסיגה שרשמת ‪.‬‬
‫ג( פתור את יחס הנסיגה וקבל נוסחה מפורשת עבור ‪ . a n‬ובדוק בעזרת הנוסחה הנ"ל את תוצאות סעיף ב'‪.‬‬
‫‪ (8‬בידינו מספר בלתי‪-‬מוגבל של בלוקים זהים בגודל ‪: 2  1‬‬
‫‪:‬‬ ‫ומספר בלתי‪-‬מוגבל של בלוקים זהים בגודל ‪2  2‬‬
‫עלינו לרצף מלבן שממדיו ‪: n  2‬‬

‫)בציור ‪.( n  7‬‬
‫אסור לחרוג מגבולות המלבן‪ .‬בלוק של ‪ 2  1‬אפשר להניח כרצוננו "שוכב" או "עומד"‪.‬‬
‫יהי ‪ a n‬מספר הריצופים השונים האפשריים‪.‬‬
‫א‪ .‬רשום יחס נסיגה עבור ‪) a n‬הסבר אותו( ותנאי התחלה מספיקים‪.‬‬
‫ב‪ .‬פתור את יחס הנסיגה‪.‬‬

‫ג‪ .‬חשב את ‪ a 4‬בשתי דרכים‪ :‬מתוך יחס הנסיגה שבסעיף א'‬
‫‪ (9‬תנו ביטוי מפורש ל‪ an -‬בנוסחאות הנסיגה הבאות וחשבו את ‪ a3 , a4 , a5‬בשתי דרכים‪ ,‬אחת בעזרת יחס הנסיגה ושתיים‬
‫בעזרת הנוסחה המפורשת‪.‬‬
‫כאשר ‪a0  3 , a1  7‬‬ ‫א( ‪an  5an1  6an  2‬‬
‫כאשר ‪a0  1 , a1  1‬‬ ‫ב( ‪an 1  5an  4an1‬‬
‫כאשר ‪a0  1 , a1  4‬‬ ‫ג( ‪an  4an1  4an  2‬‬
‫כאשר ‪a0  1 , a1  0 , a2  7‬‬ ‫ד( ‪an 1  7an 1  6an  2‬‬
‫כאשר ‪a0  1 , a1  4 , a2  11‬‬ ‫ה( ‪an 1  4an  5an 1  2an  2‬‬
‫כאשר ‪a1  19 , a0  14‬‬ ‫ו( ‪an  7an 1  10an  2  16n‬‬
‫כאשר ‪a0  1 , a1  9‬‬ ‫ז( ‪an  6an1  8an  2  3‬‬
‫כאשר ‪a0  1 , a1  9‬‬ ‫ח( ‪an  6an 1  8an  2  3n‬‬
‫כאשר ‪a0  1 , a1  10‬‬ ‫ט( ‪an  6an 1  8an  2  2n‬‬
‫כאשר ‪a0  1 , a1  7 12‬‬ ‫י( ‪an  10an 1  25an  2  5n‬‬
‫כאשר ‪a0  1 , a1  2‬‬ ‫יא( ‪an  3an 1  2an  2  2n  n‬‬
‫‪40‬‬
‫‪ (10‬מצא נוסחת נסיגה ותנאי התחלה עבור הסידרה ‪ a n‬המקיימת‪. a n  2 2n 1  3 n n  1  1 :‬‬
‫‪ (11‬כתוב נוסחת נסיגה ‪ , a n ,‬למספר הסדרות באורך ‪ n‬בספרות ‪ 0,1,2‬ללא ‪ 00‬ו‪. 12 -‬‬
‫‪ (12‬איש ציבור נורמטיבי לוקח שוחד כל שנה בסכום ‪ 2‬מיליון דולר‪ 4,‬מיליון דולר או ‪ 6‬מיליון דולר‪ .‬כדי לא למשוך תשומת לב‬
‫הוא לא לוקח שנתיים ברצף שוחד על סך ‪ 6‬מיליון דולר‪ .‬נסמן ב ‪ an‬את מספר סדרות השוחד השונות שיכול לצבור איש ציבור‬
‫בשירות נורמטיבי בן ‪ n‬שנים‪.‬‬
‫דוגמה‪ :‬במשך ‪ 4‬שנים ניתן לצבור את סדרת השוחד ‪ ;2,2,2,2‬את סדרת השוחד ‪ ;2,4,2,6‬את סדרת השוחד‬
‫‪ ;4,2,2,6‬ועוד כהנה וכהנה‪ .‬שימי לב ששתי הסדרות האחרונות נספרות כשתי סדרות שוחד שונות‪.‬‬
‫רשמי נוסחת נסיגה ותנאי התחלה ל ‪.an‬‬
‫‪ (13‬לכל ‪ n  ‬נסמן ע"י ‪ an‬את מספר המילים מעל ‪  A, B , C , D , E‬שלא מכילות אף אחד מהרצפים ‪AA, BA, CA‬‬
‫מצא נוסחה מפורשת עבור ‪. an‬‬
‫‪ (14‬יהי ‪ a n‬מספר הסדרות באורך ‪ , n‬שאבריהן שייכים לקבוצה }‪ {1,2,3…,8‬ומקיימות את התנאי‬
‫הבא‪ :‬לא מופיעים בסדרה מספרים זוגיים זה בסמוך לזה‪.‬‬
‫א( מצאו יחס נסיגה עבור ‪ , a n‬רשמו את ‪. a0 , a1‬‬
‫ב( פתרו את יחס הנסיגה וקבלו ביטוי מפורש עבור ‪. a n‬‬
‫ג( חשבו את ‪ a2‬מנוסחת הרקורסיה ומהביטוי המפורש‪ ,‬ובדקו שהתקבל אותו ערך‪.‬‬
‫‪ (15‬לקינוח שאלה קשה‪.‬‬

‫כמה טיולים באורך ‪ n‬המתחילים בקודקוד ‪ 1‬ומסתיימים בקודקוד ‪ 1‬יש בגרף‬
‫ו‪1, 6,1 -‬‬ ‫לדוגמה עבור ‪ n  2‬יש שני טיולים כאלה והם ‪1, 2,1‬‬
‫לדוגמה עבור ‪ n  4‬יש שישה טיולים כאלה והם‬
‫‪ 1, 2,1, 6,1 , 1, 6,1, 2,1 , 1, 6,1, 6,1 , 1, 6, 5, 6,1 ,  1, 2,1, 2,1 .  1, 2, 3, 2,1‬‬

‫‪41‬‬
‫תרגילים בנושא שובך היונים‬
‫‪ (1‬תהי ‪ A  1, 2, 3,  , 49‬הוכח כי לכל בחירה של קבוצה ‪ B  A‬כך ש‪ B  26 -‬יהיו ב‪ B -‬לפחות שני איברים שסכומם ‪.49‬‬
‫‪ (2‬תהי ‪ A‬קבוצה של שישה מספרים מתוך ‪ 1,11‬הוכח כי קיימות שתי תתי קבוצות של ‪ A‬שסכום אבריהן שווה‪.‬‬
‫מה הגודל המירבי של קבוצה של מספרים טבעיים שבה אין שני מספרים שסכומם או הפרשם מתחלק ב‪ ?3009-‬נמקו!!!‬ ‫‪(3‬‬
‫‪ (4‬תהי ‪ A‬קבוצה של ‪ n‬מספרים טבעיים כלשהם‪ .‬הוכח שקיימת קבוצה חלקית לא‪-‬ריקה של ‪ ,A‬שסכום איבריה מתחלק ב‪n -‬‬
‫‪ (5‬הוכח כי בכל צביעה של המישור בשני צבעים כחול ואדום יש שתי נקודות שמרחקן‪ ,‬אחד והן צבועות באותו צבע‪.‬‬
‫‪ (6‬יהי ‪ n  ‬הוכח כי קיים ‪ k  ‬כך שבמספר הטבעי ‪ k  n‬מופעיות הספרות ‪ 7‬ו‪ 0-‬בלבד‪.‬‬
‫‪ (7‬הוכח כי מבין כל ‪ 12‬מספרים דו ספרתיים יש שניים שהפרשם בעל שתי ספרות זהות‪.‬‬
‫‪1‬‬
‫‪.‬‬ ‫‪ (8‬הוכח כי מבין כל בחירת ‪ 26‬נקודות בתוך משולש שווה צלעות שאורך צלעו הוא אחד יש שתי נקודות שהמרחק בינהן קטן מ‪-‬‬
‫‪5‬‬
‫‪ (9‬הוכח כי בכל בחירה של ‪ n  1‬מספרים מתוך הקבוצה ‪ 1, 2,3, ,2n‬יש שני מספרים ‪ x , y‬כך ש‪-‬‬
‫א‪ x , y .‬זרים‪ ) .‬כלומר המחלק המשותף המקסימלי שלהם הוא ‪( .1‬‬
‫ב‪ x .‬מתחלק ב‪ y -‬ללא שארית‪.‬‬
‫ג‪ .‬הראה כי החסם הנ"ל הדוק‪ ,‬כלומר אפשר לבחור ‪ n‬מספרים מבלי שיתקיימו תנאי א' ו‪-‬ב'‪.‬‬
‫‪ (10‬בוחרים ‪ 46‬מספרים מתוך הקבוצה ‪ 1,2,3, ,81‬הוכח כי יש שני מספרים שהפרשם הוא בדיוק ‪( .9‬‬
‫הוכח גם כי המספר הנ"ל הדוק‪ ) .‬כלומר מצא ‪ 45‬מספרים מתוך ‪ 1,2,3, ,81‬שאין בהם שניים שהפרשם הוא בדיוק ‪( .9‬‬
‫‪ (11‬תהי ‪ A‬קבוצה בת ‪ 20‬מספרים שנבחרו במתוך הסדרה החשבונית ‪ 1,4,7,10, ,100‬הוכח כי יש שני מספרים שסכומם ‪.104‬‬
‫‪ n (12‬אנשים נפגשו במסיבה ולחצו ידיים‪ .‬הוכח כי יש שני אנשים שלחצו בדיוק אותו מספר ידיים‪.‬‬
‫‪ (13‬הוכח כי בכל צביעה של קשתות הגרף השלם ‪ K 6‬בשני צבעים יש משולש מונוכרומטי‪.‬‬
‫‪ (14‬הוכח כי בכל גרף יש שני קודקודים בעלי אותה דרגה‪.‬‬
‫‪ (15‬לפוליטיקאי נותרו ‪ 50‬ימים עד לבחירות‪ .‬הוא מתכנן נאומי בחירות‪ .‬לפחות אח ביום אך לא יותר מ‪ 75-‬נאומים בס"ה‪ .‬הוכח כי‬
‫קיימת סדרת ימים שבהם הוא נואם בס"ה ‪ 24‬מאומים‪.‬‬
‫‪. 2  1, 2  1, 2  1, 2‬‬

‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪n1‬‬
‫‪ (16‬יהי ‪ n  ‬הוכח כי קיים ‪ m  ‬כך ש‪ n -‬מחלק את ‪ . 2 m  1‬הדרכה‪ :‬התבונן ב‪ 1-‬‬

‫‪42‬‬
‫תרגילים בנושא גרפים‬
‫הערה‪ :‬השאלות באדום אינן מיועדות ללומדים במכללת אפקה‪.‬‬
‫‪ (1‬יהי ‪ G‬גרף פשוט בעל ‪ n‬קודקודים‪ .‬הוכח כי אם לכל שני קודקודים ‪ x , y  V‬מתקיים ‪ d  x   d  y   n  1‬אז ‪ G‬קשיר‪.‬‬
‫‪ (2‬יהי ‪ G‬גרף פשוט בעל ‪ n  100‬קודקודים הוכח כי אם לכל קודקוד ‪ x  V‬מתקיים ‪ d  x   50‬אז יש ב‪ G -‬מעגל באורך ‪. 4‬‬
‫‪ (3‬הוכח כי בכל גרף פשוט על ‪ 100‬קודקודים שבו כל הדרגות הן לפחות ‪ 10‬יש מעגל באורך ‪. 4 ‬‬
‫‪ (4‬יהי ‪ G‬גרף דו צדדי ‪ V1  V2   , V  V1  V2‬נתון כי ‪ G‬הוא ‪ d‬רגולרי‪ , d  1 .‬הוכח כי ‪. V1  V2‬‬
‫‪ (5‬יהי ‪ G‬גרף פשוט הוכח כי לפחות אחד מבין הגרפים ‪ G , G‬הוא קשיר‪ .‬ובניסוח שקול‪ :‬הוכח כי בכל צביעת קשתות הגרף השלם‬
‫‪ K n‬בשני צבעים לפחות אחד הגרפים החד צבעיים הוא קשיר‪.‬‬
‫‪ n  1‬‬
‫‪ E‬זה מספר הקשתות‪.‬‬ ‫‪  ★  E  ‬אז ‪ G‬קשיר‪ .‬כאשר‬ ‫‪ (6‬יהי ‪ G‬גרף פשוט בעל ‪ n‬קודקודים‪ .‬הוכח כי אם ‪‬‬
‫‪ 2 ‬‬
‫‪ n  1‬‬
‫‪ E  ‬כך ש‪ G -‬אינו קשיר‪ .‬זה מראה שלא ניתן לשפר את אי‬ ‫הראה כי חסם זה הדוק‪ .‬כלומר הראה גרף פשוט ‪ G‬עבורו ‪‬‬
‫‪ 2 ‬‬
‫השוויון ‪.  ★ ‬‬
‫‪ (7‬יהי ‪ T‬עץ בעל ‪ n‬קודקודים‪ .‬נתון כי דרגותיו הן ‪ 1, 3, 5‬בלבד‪ .‬יש ‪ 7‬קודקודים מדרגה ‪ 3‬ו‪ 10 -‬מדרגה ‪ . 5‬כמה עלים יש בעץ?‬
‫‪ (8‬יהי ) ‪ T  (V , E‬עץ שבו‪ . V  n :‬דרגות צמתי ‪ T‬הן‪ 1,3,5 :‬בלבד‪ .‬מס' הצמתים שלהם דרגה ‪ 3‬הוא ‪ 10‬ומס' הצמתים שלהם‬
‫דרגה ‪ 5‬הוא ‪ .12‬כמה עלים )צמתים מדרגה ‪ (1‬יש לעץ ?‬

‫‪ (9‬יהיו ‪ T1  V , E1  , T2  V , E 2 ‬שני עצים על אותה קבוצת קודקודים‪ .‬נגדיר גרף ‪ G‬על אותה קבוצת קודקודים וקשתותיו‬
‫‪ E  E1  E2‬הוכח כי קיים ‪ x  V‬כך ש‪ ) . d  x   3 -‬דרגתו של ‪ x‬ב‪( G -‬‬
‫‪ (10‬צובעים ב‪ n  2 -‬צבעים את קשתות הגרף השלם ‪ K n‬כך שכל צבע מופיע לפחות פעם אחת הוכח כי קיים מעגל שכל קשתותיו‬
‫צבועות בצבעים שונים‪.‬‬

‫‪ (11‬הוכיחו בכל גרף שכל דרגותיו ‪ 4‬ניתן לצבוע את קשתותיו כך מכל קודקוד יצאו בדיוק שתי קשתות מכל צבע‪.‬‬
‫‪ (12‬יהי ‪ G  V , E ‬גרף פשוט הוכח כי אם ‪ V  E‬אז ב‪ G -‬יש מעגל ואם ‪ G‬קשיר אז המעגל יחיד‪.‬‬
‫‪ (13‬יהי ‪ G  V , E ‬גרף פשוט ויהיו ‪ x , y  V‬שני קודקודים לא שכנים הוכח כי אם ‪ d  x   d  y   n‬אז יש ל‪ x -‬ול‪y -‬‬
‫לפחות שני שכנים משותפים‪.‬‬

‫‪ (14‬הוכח כי בכל צביעת קשתות הגרף השלם ‪ K n‬בשני צבעים קיים עץ פורש מונוכרומטי‪.‬‬
‫הערה‪ :‬עץ פורש הוא עץ שקודקודיו הם כל קודקודי ‪ G‬וקשתותיו הן חלק מקשתות ‪. G‬‬
‫‪ (15‬יהי ) ‪ , V  n, G  (V , E‬גרף פשוט וחסר מעגלים שבו ‪ k‬רכיבי קשירות‪ ,‬הוכיחו כי‪. E  n  k :‬‬
‫‪ (16‬מהי העוצמה הגדולה ביותר האפשרית לקבוצה של עצים על קבוצת הקודקודים‪ V  1, 2,3, 4,5, 6 :‬שאף שניים מהם אינם‬
‫איזומורפיים?‬

‫‪43‬‬
‫‪n1‬‬
‫‪ d  u  , d  v  ‬אז יש ל‪-‬‬ ‫‪ (17‬יהי ‪ G‬גרף פשוט על ‪ n  2‬צמתים ויהיו ‪ u, v  V‬קודקודים שאינם שכנים‪ .‬הוכח כי אם‬
‫‪2‬‬
‫‪ u, v‬לפחות שלושה שכנים משותפים‪.‬‬
‫‪ (18‬בכמה עצים על קבוצת הצמתים ‪ 1, 2, 3, 4, 5, 6‬אין שום צומת מדרגה זוגית?‬
‫‪ (19‬יהי ‪ K m ,n‬גרף דו צדדי שלם‪ .‬הוכח כי ‪ K m ,n‬המילטוני ‪. m  n ‬‬
‫‪ E1  E1   , V2  V2  ‬שני גרפים אוילריים פשוטים‪ .‬נגדיר ‪G  V , E ‬‬ ‫‪ (20‬יהיו ‪G1  V1 , E1  , G2  V2 , E 2 ‬‬
‫באופן הבא‪ V  V1  V2 , E  E1  E 2 :‬ומלכדים צומת ‪ u1  V1‬עם צומת ‪ . u2  V2‬האם ‪ G‬אוילרי? ואם נחבר את ‪ u1‬עם‬
‫‪ u2‬במקום ללכד אותם האם כעת ם ‪ G‬אוילרי?‬
‫‪ (21‬יהיו ‪ G1 , G2‬שני גרפים איזומורפיים‪ .‬הוכח כי ‪ G1‬חסר מעגלים ‪ G2 ‬חסר מעגלים‪ .‬הסק כי ‪ G1‬עץ ‪ G2 ‬עץ‪.‬‬
‫‪ (22‬הוכח כי בכל צביעה של קשתות ‪ K 2t 1‬ב‪ t -‬צבעים נקבל מעגל חד צבעי‪.‬‬
‫‪ (23‬יהי ) ‪ T  (V , E‬עץ‪ .‬הוכיחו שאם כל דרגותיו אי‪-‬זוגיות אזי גם ‪ E‬הוא מספר אי‪-‬זוגי‪.‬‬
‫‪2‬‬
‫‪.‬‬ ‫‪E  n4‬‬ ‫‪ (24‬יהי ) ‪ G  (V , E‬גרף דו‪-‬צדדי פשוט‪ . V  n .‬הוכיחו כי‪:‬‬
‫‪ (25‬יהי ) ‪ G  (V , E‬גרף כך ש‪V  P2 1, 2, .., n  ,  n  2  :-‬‬
‫‪e E‬‬ ‫‪‬‬ ‫‪A B  ,‬‬ ‫‪A, B  V‬‬
‫)‪ (i‬חשבו את ‪. V‬‬

‫)‪ (ii‬מהי דרגת כל צומת ?‬
‫)‪ (iii‬הוכיחו כי אם ‪ n  5‬אזי ‪ G‬קשיר )רמז‪ :‬דרך השלילה(‪.‬‬
‫‪ (26‬כמה גרפים שונים על קבוצת הקודקודים ‪ V  1, 2, ..., n‬איזומורפיים לגרף הבא‪:‬‬
‫‪2‬‬ ‫‪... k‬‬ ‫‪k+1‬‬ ‫‪n-2‬‬

‫‪1‬‬
‫‪n-1‬‬ ‫‪n‬‬
‫תנו תשובה לכל ‪ k , n‬טבעיים המקיימים ‪ 2  k  n  3‬הפרידו בין המקרים ‪. n  2k  2 , n  2k  2‬‬
‫‪ (27‬מהו האורך המירבי של מסלול ב‪ ? K 2 n 1 -‬נמקו‪.‬‬

‫‪44‬‬
‫‪ (28‬נתונים שלושה גרפים בעלי אותה קבוצת קודקודים‪ G2  (V , E 2 ) , G1  (V , E1 ) :‬ו‪ . G3  (V , E 3 ) -‬נגדיר‪:‬‬
‫) ‪ G  (V , E1  E 2  E 3‬איחוד שלושת הגרפים‪ ,‬ונניח כי לכל קודקוד ב‪ V-‬דרגתו ב‪ G-‬היא לפחות ‪ .6‬הוכיחו כי לפחות אחד‬
‫מהגרפים ‪ G2 , G1‬ו‪ G3 -‬אינו חסר‪-‬מעגלים‪.‬‬
‫‪ (29‬יהי ‪ T‬עץ על ‪ n  3‬קודקודים ויהי ‪ v‬קדקוד ב‪ T-‬מדרגה ‪ .2‬יה י ‪ k‬מספר רכיבי הקשירות של ‪) T  v‬שהוא תת הגרף של ‪ T‬המתקבל‬
‫ממחיקת ‪) v‬והקשתות ש‪ v -‬קצה שלהן(‪ .‬מה הם הערכים האפשריים עבור ‪ ? k‬הוכיחו טענתכם‬
‫‪ (30‬יהי ‪ G‬גרף פשוט על ‪ 10‬קודקודים שיש בו ‪ 41‬קשתות‪ .‬הוכיחו‪ (i) :‬יש לפחות שני קודקודים ב‪ G-‬שדרגתם היא ‪ G (ii) .9‬קשיר‪.‬‬
‫‪ (31‬כמה מעגלים פשוטים באורך ‪ 3  k  n‬יש בגרף השלם ‪ K n‬על קבוצת הקודקדוים ‪ ? 1, 2, 3, 4, , n‬שני מעגלים המתקבלים‬
‫ו‪ 3, 4,5,1, 2, 3 -‬נחשבים זהים‬ ‫אחד מין השני ע"י סיבוב נחשבים זהים‪ .‬למשל עבור ‪ n  5‬שני המעגלים הבאים ‪1, 2, 3, 4, 5,1‬‬
‫ו‪ 1, 3, 2,1 -‬אינם זהים‪.‬‬ ‫ואילו המעגלים ‪1, 2, 3,1‬‬
‫‪ (32‬יהי ‪ Gn‬גרף פשוט שקודקודיו הם כל התת קבוצות של ‪ 1, 2, 3, 4, , n‬למעט ‪ ‬ו‪ 1, 2, 3, 4, , n -‬עצמה‪ .‬שני קודקודים‬
‫הם שכנים אם ורק אם אף אחד אינו מוכל במשנהו‪.‬‬
‫‪ .a‬הוכח כי לכל ‪ Gn n  2‬קשיר‪.‬‬

‫‪n‬‬
‫‪.2 2‬‬ ‫‪nk‬‬
‫‪ .b‬הוכח כי אם ‪ v‬תת קבוצה בת ‪ k‬אברים של ‪ 1, 2, 3, 4, , n‬אז דרגתה כקודקוד ב‪ Gn -‬היא ‪ 2  1‬‬
‫‪k‬‬
‫‪n k‬‬ ‫‪k‬‬ ‫‪n 1‬‬

‫‪2‬‬ ‫‪2 2‬‬ ‫‪ .c‬הוכח כי לכל ‪ n  3‬קיים מעגל המילטון ב‪ . Gn -‬מותר להסתמך על סעיפים קודמים ועל העובדה ש‪ 2 -‬‬
‫‪ (33‬בכמה עצים על קבוצת הקודקודים ‪ 1, 2, 3, 4, ,10‬כל העלים הם מספרים זוגיים?‬
‫‪ (34‬מיהו העץ הממוספר המותאם למילה‪?( 1,1,3, 4,3, 6,10,1 :‬‬
‫‪ (35‬יהיו ‪ T2  V2 , E2 , T1  V1 , E1‬עצים‪.‬‬
‫נגדיר גרף ‪ G‬באופן הבא‪G  V1  V2 , E1  E2 :‬‬
‫‪ .d‬נתון כי‪ . V1  V2  v :‬האם ‪ G‬בהכרח עץ ? נמקו‪.‬‬
‫‪ .e‬נתון כי‪ . E1  E2  e :‬האם ‪ G‬בהכרח עץ ? נמקו‪.‬‬
‫‪ .f‬יהי ‪ T  V , E ‬עץ שדרגות כל צמתיו אי‪-‬זוגיות‪ .‬הוכיחו כי ‪ E‬הוא מספר אי‪-‬זוגי‪.‬‬

‫‪45‬‬
‫‪ (36‬יהי ‪ T‬עץ על ‪ n  4‬קודקודים‪ .‬אורך המסלול הפשוט הארוך ביותר ב‪ T-‬הוא ‪) n  2‬יש מסלול פשוט באורך ‪ n  2‬ואין מסלול‬
‫ארוך יותר(‪ .‬מהן דרגות קודקודי ‪ ? T‬רשמו אותן בסדר עולה משמאל לימין )סדרת הדרגות(‪ .‬יהי ‪ G‬גרף פשוט ‪-3‬רגולארי על‬
‫‪ n  4‬קודקודים‪ .‬נתון שב‪ G-‬יש מעגל המילטון‪ .‬הוכיחו שתת הגרף של ‪ G‬המתקבל ממחיקת כל הקשתות ששייכות למעגל‬
‫‪n‬‬
‫רכיבי קשירות )בפרט‪ ,‬עליכם להוכיח ש‪ n-‬זוגי!(‪.‬‬ ‫המילטון הוא בעל‬
‫‪2‬‬
‫‪ (37‬יהי ‪ G‬גרף בעל שני רכיבי קשירות‪ T1 ,‬ו‪ , T2 -‬שכל אחד מהם עץ‪ .‬מוסיפים שתי קשתות חדשות ל‪) G-‬קבוצת הקודקודים נשארת‬
‫~‬
‫ללא שינוי( ומתקבל גרף חדש ‪. G‬‬
‫~‬
‫)‪ (i‬הוכיחו שב‪ G -‬בהכרח יש מעגל‬
‫~‬
‫)‪ (ii‬בנו דוגמה שבה ב ‪ G -‬יש מעגל המילטון‬
‫‪ (39‬נתונה קבוצה של ‪ 10‬קודקודים‪ ,‬ואוסף שקפים שעליהם מצויירים עצים על אותם עשרה קודקודים‪ .‬גיורא מניח מספר כלשהו של‬
‫שקפים זה על זה‪ ,‬ומקפיד שאף קשת משקף אחד לא תכסה על אותה קשת בשקף אחר )כלומר אין אף קשת משותפת לשני עצים‬
‫שונים(‪ .‬הוכיחו שהגרף שגיורא מקבל מאיחוד העצים שמצויירים על השקפים לא יכול להיות גרף שכל דרגותיו שוות ל ‪.5‬‬
‫רמז‪ :‬חשבו את מספר הקשתות בגרף‪.‬‬
‫‪ (40‬יהי ‪ G‬גרף פשוט על ‪ n  3‬קודקודים‪ .‬נתון‪ n (i) :‬מספר זוגי‪ (ii) .‬כל הדרגות ב‪ G-‬שוות )כלומר ‪ G‬גרף רגולרי(‪ (iii) .‬גם ‪ G‬וגם‬
‫‪ G‬קשירים‪ .‬הוכיחו שלפחות באחד מבין ‪ G‬ו‪ G -‬יש מעגל המילטון‪.‬‬
‫‪ (41‬מחקו ‪ n  1‬קשתות מן הגרף הדו‪-‬צדדי השלם ‪ ( n  1 ) K 2,n‬והתקבל גרף ‪ G‬שאין בו קודקודים מבודדים )כלומר אין בו קודקודים‬
‫שדרגתם אפס(‪ .‬הוכיחו ש‪ G-‬הוא עץ‪.‬‬
‫‪ (42‬כמה גרפים שונים על קבוצת הקודקודים ‪ V  v1 , v2 ,..., v12 ‬איזומורפים לגרף הבא‪:‬‬

‫‪46‬‬
‫‪G  V , E1  E 2 ‬‬ ‫‪ (43‬יהיו ) ‪ G2  (V , E 2 ) , G1  (V , E1‬שני גרפים על אותה קבוצת קודקודים ‪ . V‬מגדירים את הגרף‬
‫כאשר כאשר ‪ E1  E 2‬הוא ההפרש הסימטרי של שתי קבוצות הקשתות‪ ) .‬כל הקשתות שנמצאות ב‪ E1 -‬או ב‪ E 2 -‬אבל לא‬
‫בשתיהן ( הוכח כי אם ב‪ G1 , G2 -‬יש מעגל אוילר ואם ‪ G‬קשיר אז גם בו יש מעגל אוילר‪.‬‬
‫‪ (44‬יהי ‪ G‬גרף שקודקודיו הן תתי קבוצות בנות ‪ 4‬איברים של ‪ 1, 2, 3, , 8‬כאשר שני קודקוים הם מחוברים אם ורק אם בחיתוך‬
‫שתי הקבוצות יש ‪ 2‬איברים בדיוק‪ .‬האם ב‪ G -‬יש מעגל המילטון?‬
‫‪ (45‬הוכיחי‪ ,‬או תני דוגמה נגדית והסבירי מדוע היא דוגמה נגדית‪ :‬אם לשני גרפים אותה רשימת דרגות )כלומר אם נסדר את דרגות‬
‫קודקודי כל אחד מהגרפים בסדר עולה‪ ,‬נקבל אותה סדרה(‪ ,‬אז הגרפים איזומורפיים‪.‬‬
‫‪ (46‬יהי ‪ G‬גרף‪ ,‬לאו דווקא קשיר‪ ,‬שכל דרגותיו איזוגיות‪ .‬נבנה גרף ‪ H‬שקודקודיו הם קודקודי ‪ G‬ועוד קודקוד חדש ‪ ,v‬וקשתותיו הם‬
‫קשתות ‪ G‬וכל הקשתות האפשריות בין ‪ v‬לקודקודי ‪ .G‬הוכיחי שב ‪ H‬יש מעגל אוילר‪.‬‬
‫‪ (47‬יהי ‪ G‬גרף קשיר על ‪ 13‬קודקודים‪ ,‬שניתן לצבוע בשלושה צבעים )כלומר אפשר לצבוע את הקודקודים בשלושה צבעים‪ ,‬כך שאין‬
‫שני קודקודים מאותו צבע שמחוברים בקשת(‪ .‬הוכיחי שיש בגרף ‪ 5‬קודקודים שאף אחד מהם לא מחובר לאף אחד אחר‪.‬‬
‫‪ (48‬כמה גרפים שונים זה מזה ואיזומורפיים לגרף שמצויר להלן‪,‬‬

‫אפשר לבנות על קבוצת הקודקודים }‪?{a,b,c,d,e,f‬‬
‫‪ (49‬כמה עצים יש על הקודקודים ‪ 1, n‬שלהם בדיוק שני עלים?‬
‫‪ (50‬הוכח כי בכל צביעת קשתות הגרף השלם ‪ K 6‬בשני צבעים יש משולש מונוכרומטי‪.‬‬
‫‪ (51‬הוכיחו כי בכל קבוצה של ‪ 9‬אנשים יש בהכרח לפחות ‪ 4‬המכירים זה את זה או לפחות ‪ 3‬שאף שניים מהם אינם מכירים זה את זה‪.‬‬
‫‪ (52‬יהי ‪ G‬גרף שקודקודיו הם תתי קבוצות בנות ‪ 4‬אברים של הקבוצה }‪ n) {1,2,…,n‬גדול מ ‪ .(6‬שני קודקודים מחוברים בקשת בגרף‬
‫אם בחיתוך שלהם יש שני אברים בדיוק‪ .‬לדוגמה‪ ,‬הקודקוד }‪ {1,2,3,4‬שכן של }‪ {1,2,7,8‬אך לא של }‪.{1,2,3,7‬‬
‫כמה קודקודים בגרף סה"כ הם שכנים של }‪ {1,2,3,5} ,{1,2,3,4‬או }‪?{1,2,4,5‬‬
‫‪ (53‬יהי ‪ T‬עץ‪ .‬נוסיף ל ‪ T‬קודקוד שנקרא לו ‪ ,v‬וקשתות מ ‪ v‬לחלק מקודקודי ‪ .T‬מה צריכה להיות דרגת ‪ v‬כדי שבגרף המתקבל יהיה‬
‫בדיוק מעגל פשוט אחד? הוכיחי שאם דרגת ‪ v‬תהיה גדולה יותר‪ ,‬בגרף יהיה יותר ממעגל פשוט אחד‪.‬‬
‫‪ (54‬הוכיחי את הטענה הבאה‪ ,‬או תני דוגמה נגדית והסבר שמראה שאכן מדובר בדוגמה נגדית‪ :‬אם בגרף יש מעגל המילטון‪ ,‬אז יש בו‬
‫מעגל אוילר‪.‬‬

‫‪47‬‬
‫‪ G (55‬גרף עם ‪ 20‬קודקודים ו‪ 15-‬קשתות ללא מעגלים‪ .‬כמה רכיבי קשירות בגרף?‬
‫‪ (56‬יהי ‪ G‬גרף פשוט קשיר בן ‪ 7‬קודקודים שסדרת דרגותיו היא ‪ .3,2,2,2,1,1,1‬כמה מעגלים פשוטים יש בגרף?‬
‫‪ (57‬יהי ‪ T‬עץ על ‪ n  2‬קודקודים שלו בדיוק שני עלים‪ .‬מהן דרגות קודקודי ‪ ? T‬רשמו אותן‪ ,‬לכל ‪ , n  2‬בסדר עולה משמאל לימין‬
‫)סדרת הדרגות( והוכיחו נכונות תשובתכם‪.‬‬
‫‪ (58‬יהי ‪ G‬גרף פשוט על ‪ n‬קודקודים המכיל מעגל המילטון‪ .‬נתון כי על ידי השמטת קשתות המעגל מתקבל תת גרף של ‪ G‬שהוא עץ‪.‬‬
‫האם ניתן על סמך הנתונים לקבוע כמה קשתות בגרף ‪ ? G‬אם כן מהו מספר הקשתות?‬
‫‪ (59‬נתונים שני גרפים ‪ G1 , G2‬על ‪ 5‬קודקודים סדרת דרגותיו של ‪ G1‬היא‪2,2,3,4,5,5,6 :‬‬
‫וסדרת דרגותיו של ‪ G2‬היא‪ 1,2,3,4,4 :‬לגבי כל אחד משני הגרפים קבע איזו מן הטענות הבאות נכונה‪.‬‬
‫א‪ .‬יש גרף פשוט וקשיר כזה‪.‬‬
‫ב‪ .‬יש גרף קשיר כזה אבל הוא לא פשוט‪.‬‬
‫ג‪ .‬יש גרף פשוט כזה אבל הוא לא קשיר‪.‬‬
‫ד‪ .‬יש גרף כזה אבל הוא חייב להיות לא פשוט ולא קשיר‪.‬‬
‫ה‪ .‬לא קיים גרף כזה‪.‬‬
‫‪ (60‬עבור ‪ n  ‬נגדיר גרף פשוט ‪ Gn‬באופן הבא‪ :‬צמתיו הם ‪ 2‬הסדרות הבניאריות באורך ‪ . n‬ושני קודקודים מחוברים בינהם‬
‫‪n‬‬
‫בקשת אם ורק אם הם נבדלים בקורדינטה אחת‪ .‬מה מספר הקשתות של ‪ ? G5‬של ‪? Gn‬‬
‫‪ (61‬נגדיר ‪ Cn‬להיות מעגל על ‪ n‬קודקודים‪ .‬לאלו ערכים של ‪ n‬מתקיים ש‪ Cn -‬איזומורפי ל‪? Cn -‬‬
‫כאשר ‪ Cn‬הוא הגרף המשלים‪.‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬

‫‪ (62‬נגדיר גרף ‪ G‬באופן הבא‪ V  A  P 1, 2, 3, 4, 5, 6, 7 A  3 :‬למשל ‪ v  2, 5, 6‬היא צומת של ‪ G‬שכן זו‬
‫תת קבוצה של ‪ 1, 2, 3, 4, 5, 6, 7‬בת שלושה איברים‪ .‬כמו כן נגדיר את קבוצת קשתות ‪ G‬באופן הבא‪:‬‬
‫‪A  B  1  A, B  E‬‬
‫א‪ .‬הוכח כי ‪ G‬קשיר וחשב את מספר קודקודיו‪.‬‬
‫ב‪ .‬חשב את דרגת כל צומת ואת מספר קשתותיו‪.‬‬
‫ג‪ .‬האם ‪ G‬אוילרי? המילטוני?‬
‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪4‬‬ ‫‪5‬‬ ‫‪6‬‬ ‫‪7‬‬ ‫‪8‬‬
‫‪48‬‬
‫‪ (63‬א‪ .‬הוכח כי בגרף הבא אין זווג מושלם? ‪.‬‬
‫ב‪ .‬מצא זווג מקסימום‪.‬‬
‫ג‪ .‬מהו המספר המינמלי של קשתות‬
‫שיש להוסיף לגרף כך שיהיה זווג‬
‫‪a‬‬ ‫‪b‬‬ ‫‪c‬‬ ‫‪d‬‬ ‫‪e‬‬ ‫‪f‬‬ ‫‪g‬‬ ‫‪h‬‬ ‫מושלם‬
‫‪ (64‬יהי ‪ G‬גרף מישורי על ‪ 11‬קודקודים‪ .‬הוכח כי ‪ G‬אינו מישורי‪.‬‬
‫‪ (65‬יהי ‪ G‬גרף מישורי על ‪ n‬קודקודים‪ .‬הוכח כי אם ‪ n  11‬אז ‪ G‬אינו מישורי‪.‬‬
‫‪‬‬ ‫‪‬‬
‫‪ (66‬יהי ‪ G  V , E ‬גרף ותהינה ‪ A, B‬קבוצות צבעים‪ .‬נסמן את הגרף המשלים ב‪. G  V , E -‬‬
‫תהינה ‪ f : V  A , g : V  B‬שתי צביעות חוקיות של ‪ G‬ושל ‪ G‬בהתאמה‪.‬‬

‫הערה‪ :‬כזכור צביעת קודקודים היא פונקציה המתאימה לכל קודקוד צבע‪.‬‬
‫נגדיר ‪ h : V  A  B‬באופן הבא‪ h  v   f  v  , g  v  :‬כלומר ‪ h‬מתאימה לכל ‪ v V‬זוג סדור של צבעים‪.‬‬
‫הימני בזוג הוא הצבע של ‪ v‬לפי הצביעה החוקית של ‪ G‬והשמאלי בזוג הוא הצבע של ‪ v‬לפי הצביעה החוקית של ‪ . G‬הוכח‬
‫כי אין שני קודקודים שמותאם להם אותו זוג סדור של צבעים והסק כי ‪ h‬היא פונקצייה חח"ע‪ .‬כמו כן כן הסק כי‬
‫‪ ‬‬
‫‪.  G   G  n‬‬
‫‪ (67‬עבור ‪ A  1, 2, 3‬נגדיר ‪ G  V , E ‬כאשר ‪ 9) V  A  A‬צמתים ( ואת ‪ E‬קבוצת הצמתים נגדיר באופן הבא‪:‬‬
‫‪  a , b  ,  c, d   E‬אם ורק אם ‪a  b  c  d‬‬

‫א‪ .‬הוכח כי ‪ G‬קשיר‪.‬‬
‫ב‪ .‬מה דרגת הצומת ‪ 1,1‬ומה דרגת הצומת ‪ ?  2, 3‬כמה קשתות יש ב‪? G -‬‬
‫ג‪ .‬הוכח כי באין ב‪ G -‬מסלול אוילר‪.‬‬


מתמטיקה בדידה PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

מתמטיקה בדידה PDF

Uploaded by

Copyright:

Available Formats

‫‪1‬‬

‫הקורס באתר כולל פתרונות מלאים לספר התרגילים‪ ,‬וכן את התיאוריה‬

‫אנו מאחלים לכם הצלחה מלאה בבחינות‬

‫צוות האתר ‪GooL‬‬

‫גוּל זה בּוּל‪ .‬בשבילך!‬

‫לפתרון מלא בסרטון וידאו היכנסו ל‪www.GooL.co.il -‬‬

‫לפתרון מלא בסרטון וידאו היכנסו ל‪www.GooL.co.il -‬‬

‫‪ (1‬רשום את טבלות האמת של הפסוקים הבאים‪:‬‬

‫‪ (2‬בטא את שלילת הפסוקים הבאים‪) .‬בלי קשר לנכונותם(‬

‫ד‪ .‬כל תרנגולת כחולה עוזבת את הלול כדי להטיל ביצים‪.‬‬

‫‪p   q ‬‬ ‫ב‪ p   q .‬‬

‫‪p   q ‬‬ ‫ד‪ p  q    q  .‬‬

‫ה‪ .‬הבע את קשר הגרירה בעזרת קבוצת הקשרים ‪, ‬‬

‫ב‪  .‬אינה נובעת טאוטולוגית מהפסוקים ‪ 1 , 2 , 3‬אך מתיישבת אתם‪.‬‬

‫‪ (6‬הוכח כי הפסוקים הבאים הינם טאוטולוגיות ללא שימוש בטבלת אמת‬

‫‪ p  q   q  r     p  r ‬‬ ‫ה‪.‬‬

‫לפתרון מלא בסרטון וידאו היכנסו ל‪www.GooL.co.il -‬‬

‫י‪ .‬הוכח כי הפסוק ‪  u  v     v    u       p  r     q   p    r    q ‬הוא‬

‫טאוטולוגיה‪) .‬מותר לך להסתמך על הסעיף הקודם(‬

‫לפתרון מלא בסרטון וידאו היכנסו ל‪www.GooL.co.il -‬‬

‫‪ (10‬הוכח או הפרך כל אחת מהטענות הבאות‪) .‬כאשר ‪ p, q, r‬פסוקים אטומים(‬

‫ב‪ .‬אם ‪ ‬טאוטולוגיה וגם ‪     ‬אז ‪  ‬‬

‫‪     ‬אז ‪          ‬‬ ‫ג‪ .‬אם‬

‫אז ‪    ‬‬ ‫‪          ‬‬ ‫ד‪ .‬אם‬

‫‪     ‬אז ‪          ‬‬ ‫ה‪ .‬אם‬

‫לפתרון מלא בסרטון וידאו היכנסו ל‪www.GooL.co.il -‬‬

‫ז‪ .‬אם ‪       ‬אז ‪     ‬‬

‫ט‪ .‬אם ‪     ‬אז ‪         ‬‬

‫יב‪ .‬אם ‪     ‬אז ‪    ‬‬

‫‪. F  F‬‬ ‫שנובעים טאוטולוגית מהפסוק ‪ . ‬הוכח כי ‪   ‬אם ורק אם‬

‫‪x    x  0     n    x ‬‬ ‫‪1‬‬

‫ו‪x    x  1  y  z    xz  y   .‬‬

‫ח‪x  y    xy  x  x  y  5  y  4 12 .‬‬

‫לפתרון מלא בסרטון וידאו היכנסו ל‪www.GooL.co.il -‬‬

‫מופיע רק לצד פרדיקטים‬

x  P  x   Q  x    x P  x   x Q  x   .‫ג‬

x Q  x   P  x  .‫ב‬

www.GooL.co.il -‫לפתרון מלא בסרטון וידאו היכנסו ל‬

‫ט‪x  P  x   Q  x    R  x  .‬‬

‫י‪x  P  x   Q  x   R  x   .‬‬

‫יא‪x  P  x   Q  x   R  x   .‬‬

‫‪ (16‬הצרן כל אחת מהטענות הבאות‪.‬‬

‫סוגריים‪ ,‬קשרים‪ ,‬כמתים ופרדיקטים‪, ( ,) , , , , , ,,= ,  :‬‬

‫פירושו מחלק‪.‬‬ ‫‪  ,  ,  ,  ,,  ,  ,1, 2, 3, ,  ,‬הסימן‬ ‫והסימנים‬

‫‪ ,  ,  , ,  ,  ,  ,  ,,,  , ‬‬

‫הצרינו את הטענה לא תמיד נכון שאם ‪ A  B‬אז ‪A  B‬‬ ‫טו‪.‬‬

‫סוגריים‪ ,‬קשרים‪ ,‬כמתים‪ ,‬ופרדיקטים‪  ,  ,  ,  ,  ,  ,  ,  ,, ,  :‬אין להשתמש בקשר השלילה‬

‫סימני פונקציות ‪ f , g‬סוגריים‪ ,‬קשרים‪ ,‬וכמתים‪.  ,  ,  ,  ,  ,  ,  ,  ,, ,,  ,  :‬‬

‫אי השוויון ‪. 0.5  1.57‬‬

‫לא יופיע אף משתנה חוץ מ‪. x -‬‬

‫לפתרון מלא בסרטון וידאו היכנסו ל‪www.GooL.co.il -‬‬

‫לפתרון מלא בסרטון וידאו היכנסו ל‪www.GooL.co.il -‬‬

‫אז ‪. x  A  B‬‬ ‫א( אם ‪x  A‬‬

‫ב( אם ‪ x  A  B‬אז ‪x  A‬‬

‫ג( אם ‪ x  A‬אז ‪. x  A  B‬‬

‫ד( אם ‪ x  A  B‬אז ‪x  A‬‬

‫אז ‪x  A  B‬‬ ‫ה( אם ‪x  A‬‬

‫ו( אם ‪ x  A  B‬אז ‪x  A‬‬

‫ז( אם ‪ x  B‬אז ‪. x  A  B‬‬

‫ח( אם ‪ x  A  B‬אז ‪x  B‬‬

‫‪A B ‬‬ ‫ט( ‪A  C   A  B  C‬‬

‫‪A B ‬‬ ‫י( ‪A  C   A  B  C‬‬

‫יא( אם ‪ A  A  B‬אז ‪A  B‬‬