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

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

באנליזה מתמטית, אי-שוויון ברנולי הוא אי-שוויון יסודי ושימושי, המאפשר להעריך את הביטוי  (1+x)n. האי-שוויון קובע ש-  (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-).

הוכחה באינדוקציה לאי-שוויון ברנולי

בסיס האינדוקציה:  n=1 ואכן מתקיים ש:  (1+x)11+1x כלומר:  1+x1+x .

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

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

הכללה

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

(1+x)r1+rx

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

(1+x)r1+rx

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