אי-שוויון הלדר – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
מאין תקציר עריכה |
||
שורה 16:
'''הוכחה:'''
נשים לב שלכל <math>x,y \geq 0</math> מתקיימת הטענה הבאה: <math>x^\alpha\cdot y^\beta \leq \alpha \cdot x + \beta \cdot y</math>. זאת ניתן להוכיח בעזרת [[אי
כעת נסמן <math>S_a = \sum_{i=1}^{n} a_i, S_b = \sum_{i=1}^{n} b_i</math> ולפי הטענה הנ"ל מתקיים <math>\sum_{i=1}^{n} \left ( \frac{a_i}{S_a} \right )^\alpha \cdot \left ( \frac{b_i}{S_b} \right )^\beta \leq \sum_{i=1}^{n} \left ( \alpha \cdot \frac{a_i}{S_a} \right) + \sum_{i=1}^{n} \left ( \beta \cdot \frac{b_i}{S_b} \right) = \alpha + \beta = 1</math> נכפיל את שני האגפים ב <math>S_a ^ \alpha \cdot S_b^\beta</math> ונקבל את אי השוויון הרצוי <math>\sum_{i=1}^{n} a_i^\alpha \cdot b_i^\beta \leq S_a ^ \alpha \cdot S_b^\beta</math>.
|