אי-שוויון ברנולי

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש
המחשה גרפית של אי-שוויון ברנולי, עבור n=3

אי-שוויון ברנולי הוא האי-שוויון  (1+x)n1+nxלכל מספר שלם  n0 ולכל מספר ממשי  x>1. אי-שוויון ברנולי הוא יסודי ושימושי באנליזה מתמטית. בעזרתו אפשר להראות שהסדרה  (1+1n)n עולה בזמן שהסדרה  (1+1n)n+1 יורדת, וכך להגדיר את בסיס הלוגריתם הטבעי,  e=2.718..., כגבולן המשותף.

תחולה

אי השוויון נכון לכל n ממשי, ובלבד ש- n1 (את ההכללה אפשר להוכיח על ידי השוואת הנגזרות של שני האגפים). כאשר n טבעי זוגי, אי השוויון נכון לכל  x, וכאשר n אי-זוגי, הוא נכון לכל  2<x (ואף מעט משמאל לנקודה 2-).

הוכחה

עבור x>0 אפשר להוכיח במהירות על פי נוסחת הבינום של ניוטון:

(1+x)n=k=0n(nk)1nkxk(n0)1nx0+(n1)1n1x1=1+nx.

את המקרה הכללי (היינו x>1) ניתן להוכיח באינדוקציה:

עבור  n=1 מתקיים:  (1+x)1=1+x1+x. נניח את נכונות אי-השוויון עבור  n=t, ונוכיח את נכונותו עבור  n=t+1 (t טבעי כלשהו). כלומר, נניח ש:  (1+x)t1+tx, ונוכיח ש- (1+x)t+11+(t+1)x. נשים לב ש- x>1 ולכן:  (1+x)>0. מכיוון שכפל של אי-שוויון בגורם חיובי לא משנה את כיוונו, מתקיים:  (1+x)(1+x)t(1+x)(1+tx), ומכאן:  (1+x)t+11+tx+x+tx2. הביטוי  tx2 חיובי (כי  x20 וגם t0) ולכן מתקיים:  (1+x)t+11+tx+x+tx21+tx+x=1+(t+1)x.

הכללה

לכל חזקה ממשית r ניתן להכליל את האי-שוויון כך שעבור כל r(0,1) ולכל  x>1

(1+x)r1+rx

ועבור כל r[0,1]

(1+x)r1+rx

כאמור, את ההכללה אפשר להוכיח בעזרת הנגזרת.

קישורים חיצוניים

ויקישיתוף מדיה וקבצים בנושא אי-שוויון ברנולי בוויקישיתוף
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

אי-שוויון ברנולי32797935Q728662