‫)‪ (104031‬אינפי ‪1‬מ’ | תרגול ‪- 1‬‬

‫ליטל‬

‫שם‪ :‬איל שטיין‬

‫‪October 25, 2022‬‬

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

‫• אינדוקציה‪:‬‬

‫– נתונה טענה ואנחנו רוצים להוכיח אותה לכל ‪n ∈ N‬‬

‫– אינדוקציה מורכבת משני שלבים‪:‬‬
‫בסיס‪ :‬מוכיחים את הטענה עבור ‪n = 1‬‬ ‫*‬
‫צעד‪ :‬מניחים שהטענה נכונה עבור ‪n = k‬‬ ‫*‬
‫ומוכיחים עבור ‪n = k + 1‬‬
‫המסקנה היא שהטענה נכונה לכל ‪n ∈ N‬‬ ‫*‬
‫דוגמה ‪ .1‬הוכיחו כי לכל ‪ n ∈ N‬מתקיים‪:‬‬

‫)‪n · (n + 1) (2n + 1‬‬

‫= ‪12 + 22 + 32 + . . . + n2‬‬
‫‪6‬‬

‫• נוכיח באינדוקציה על ‪:n‬‬

‫– ‪ .1‬בסיס‪ :‬עבור ‪12 = 1 ,n = 1‬‬

‫‪1·2·3‬‬
‫‪=1‬‬
‫‪6‬‬

‫הראינו שהשוויון מתקיים‪.‬‬

‫– ‪ .2‬צעד‪ :‬נניח שהטענה נכונה עבור ‪n = k‬‬

‫)‪k · (k + 1) (2k + 1‬‬

‫= ‪12 + 22 + 32 + . . . + k 2‬‬
‫‪6‬‬

‫‪1‬‬
 ‫ונוכיח עבור ‪n = k + 1‬‬

‫‪2‬‬ ‫)‪(k + 1) (k + 1) (2k + 3‬‬

‫= )‪12 + 22 + . . . + (k + 1‬‬
‫‪6‬‬

‫אסור לעבוד על שני האגפים‪ .‬נצטרך להשתמש בנתון עבור ‪ n = k‬ולהראות שאגף אחד שווה לאגף השני‪.‬‬
‫אנחנו יודעים שעבור ‪:n ∈ N‬‬

‫)‪k · (k + 1) (2k + 1‬‬

‫= ‪12 + 22 + 32 + . . . + k 2‬‬
‫‪6‬‬

‫ולכן‪:‬‬

‫‪2‬‬ ‫)‪k · (k + 1) (2k + 1‬‬ ‫‪2‬‬

‫)‪12 + 22 + 32 + . . . + k 2 + (k + 1‬‬ ‫=‬
‫}‪|{z‬‬ ‫)‪+ (k + 1‬‬
‫‪6‬‬
‫‪induction‬‬

‫)‪(k + 1‬‬
‫=‬ ‫])‪[k (2k + 1) + 6 (k + 1‬‬
‫‪6‬‬

‫)‪(k + 1‬‬ ‫
‬

‫=‬ ‫‪2k 2 + 7k + 6‬‬
‫‪6‬‬

‫)‪(k + 1‬‬
‫=‬ ‫)‪(k + 2) (2k + 3‬‬
‫‪6‬‬

‫– לכן הטענה נכונה עבור ‪n ∈ N‬‬

‫דוגמה ‪ .2‬נוכיח את אי שוויון ברנולי‪:‬‬

‫לכל ‪ n ∈ N‬ולכל ‪ −1 < x ∈ R‬מתקיים‪:‬‬

‫‪n‬‬
‫‪(1 + x) ≥ 1 + n · x‬‬

‫• הוכחה‪ :‬נוכיח באינדקוציה על ‪:n‬‬

‫– נתחיל עם בסיס של המספר הטבעי הקטן ביותר ‪:n = 1‬‬

‫‪1‬‬
‫‪(1 + x) = 1 + x‬‬

‫‪1+1·x=1+x‬‬

‫‪2‬‬
 ‫– לאחר שהראינו שהאי שוויון מתקיים על ‪ ,n = 1‬נניח שהטענה שווה עבור ‪n = k‬‬

‫‪k‬‬
‫‪(1 + x) ≥ 1 + k · x‬‬

‫ונוכיח עבור ‪ n = k + 1‬שמתקיים‪:‬‬

‫‪k+1‬‬
‫)‪(1 + x‬‬ ‫‪≥ 1 + (k + 1) · x‬‬

‫– נראה את‪:‬‬

‫‪k‬‬ ‫‪k+1‬‬
‫)‪(1 + x) · (1 + x) = (1 + x‬‬

‫– נשתמש בנתון‬

‫‪k‬‬
‫‪(1 + x) ≥ 1 + k · x‬‬

‫– ומכיוון ש ‪ (1 + x) > 0‬יוצא ש‬

‫‪k+1‬‬ ‫‪k‬‬
‫)‪(1 + x‬‬ ‫)‪= (1 + x) · (1 + x) ≥ (1 + k · x) · (1 + x‬‬
‫
‬
‫‪= 1 + x + kx + kx2‬‬

‫– מכיוון ש ‪ ,kx2 ≥ 0‬אפשר לומר ש‬

‫
‬
‫)‪1 + x + kx + kx2 ≥ 1 + x + kx = 1 + x · (k + 1‬‬

‫– סיימנו את ההוכחה‪.‬‬

‫דוגמה ‪ .3‬אי שוויון הממוצעים‪:‬‬

‫עבור‬

‫‪x1 , x 2 , . . . , x n > 0‬‬

‫ממוצע חשבוני הוא‪:‬‬

‫‪x1 + x2 + . . . + xn‬‬
‫‪n‬‬

‫‪3‬‬
 ‫ממוצע הנדסי הוא‪:‬‬

‫√‬
‫‪n‬‬
‫‪x1 · x2 · . . . · xn‬‬

‫ממוצע הרמוני‪:‬‬

‫‪n‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪x1‬‬ ‫‪+‬‬ ‫‪x2‬‬ ‫‪+ ... +‬‬ ‫‪xn‬‬

‫אי שוויון הממוצעים טוען ש‪ :‬חשבוני ≤ הנדסי ≤הרמוני‬

‫הוכחה במבט על‪:‬‬
‫√‬
‫‪x+y‬‬
‫‪≥ x‬‬
‫}‪2 |{z‬‬ ‫‪+ y ≥ 1+‬‬ ‫‪2‬‬
‫• עבור ‪ n = 1‬אין מה להוכיח ולכן נוכיח עבור ‪ .n = 2‬נראה שעבור ‪ x, y > 0‬מתקיים‪:‬‬
‫‪|{z} x y1‬‬
‫‪1‬‬ ‫‪2‬‬

‫• נראה שלכל ‪ n ∈ N‬מתקיים שאי שווין ‪⇐ 1#‬אי שוויון ‪2#‬‬

‫• נוכיח את אי שוויון ‪ 1#‬עבור כל ‪ n = k + 1‬והוא יגרור את אי שוויון ‪2#‬‬

‫הוכחה מפורטת‪ :‬נעשה בשיעור הבא‬

‫ח‬

‫‪4‬‬