Ungl. binomischer Lehrsatz < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
|
Hallo,
weiß jemand, warum die Ungleichung
[mm] (a+b)^4 \le 8(a^4 [/mm] + [mm] b^4) [/mm] für a,b [mm] \in \IR
[/mm]
gültig ist?
Grüße
|
|
| |
|
> Hallo,
>
> weiß jemand, warum die Ungleichung
> [mm](a+b)^4 \le 8(a^4[/mm] + [mm]b^4)[/mm] für a,b [mm]\in \IR[/mm]
> gültig ist?
>
> Grüße
Betrachte die Funktion [mm] f(x)=(a+x)^4 [/mm] - [mm] 8(a^4+x^4), [/mm] bei der ich einfach obiges b durch x ersetzt und [mm] 8(a^4+x^4) [/mm] auf die andere Seite der Ungleichung gezogen habe.
Es ist
[mm] f'(x)=4(a+x)^3 - 32x^3 [/mm]sowie
[mm]f''(x)=12(a+x)^2 - 96x^2[/mm].
[mm]f'(x)=0 \gdw 4(a+x)^3 - 32x^3=0 \gdw (a+x)^3 - 8x^3=0 \gdw (a+x)^3 = 8x^3 \gdw a+x=2x \gdw a=x[/mm].
Eingesetzt in f'':
[mm]f''(a)=12(a+a)^2 - 96a^2 = 48a^2-96a^2=-48a^2<0[/mm]
[mm] \Rightarrow [/mm] Bei x=a hat die Funktion ein Maximum.
Es ist [mm]f(a)=(a+a)^4 - 8(a^4+a^4)=16a^4-^6a^4=0 [/mm][mm] \Rightarrow
[/mm]
Die Funktion ist überall negativ, nur bei x=a ist sie 0 [mm] \Rightarrow
[/mm]
[mm](a+x)^4 - 8(a^4+x^4)\le 0 \Rightarrow (a+x)^4 \le 8(a^4+x^4)[/mm]
Jetzt kannst due wieder b für x einsetzen.
|
|
|
| |
|
Hallo HJKweseleit,
zunächst einmal danke für deine Hilfe. Die Anfängervorlesungen habe ich schon lange hinter mir, daher habe ich deinen Beweis fast vollständig verstanden.
Mir ist nur nicht klar, woher du weißt, dass die Funktion f negativ ist, außer in x = a. Dies ist ja quasi eine der Hauptfakten, die man braucht, um meine Aussage zu zeigen.
Ich habe daher deinen Beweis ein wenig abgeändert und bin wie folgt vorgegangen: Wir wissen, dass f in x = a ein lokales Minimum hat. Wenn man jetzt die Randwerte für x gegen - [mm] \infty [/mm] und [mm] \infty [/mm] untersucht, stellt man fest, dass f(x) gegen - [mm] \infty [/mm] divergiert. Daher besitzt f in x = a ein globales Maximum. Somit ist f(x) [mm] \le [/mm] 0 für alle x [mm] \in \IR.
[/mm]
|
|
|
| |
|
> Hallo HJKweseleit,
>
> zunächst einmal danke für deine Hilfe. Die
> Anfängervorlesungen habe ich schon lange hinter mir, daher
> habe ich deinen Beweis fast vollständig verstanden.
> Mir ist nur nicht klar, woher du weißt, dass die Funktion
> f negativ ist, außer in x = a.
1. Bei x=a ist f'=0 und f''<0. Das bedeutet, dass die Fkt. hier ein lokales MAXIMUM hat.
2. Die Fkt. ist stetig, f' ebenfalls, und f' hat keine weiteren Nullstellen. Es gibt also keine weiteren lokalen Minima oder Maxima. Daher muss die Fkt. links von x=a steigen und rechts von x=a fallen, dort ist also ein globaler Hochpunkt.
3. f(a)=0, also sind alle Fkt.-Werte links und rechts davon negativ.
Dies ist ja quasi eine der
> Hauptfakten, die man braucht, um meine Aussage zu zeigen.
>
> Ich habe daher deinen Beweis ein wenig abgeändert und bin
> wie folgt vorgegangen: Wir wissen, dass f in x = a ein
> lokales Minimum MAXIMUM hat. Wenn man jetzt die Randwerte für x
> gegen - [mm]\infty[/mm] und [mm]\infty[/mm] untersucht, stellt man fest, dass
> f(x) gegen - [mm]\infty[/mm] divergiert. Daher besitzt f in x = a
> ein globales Maximum. Somit ist f(x) [mm]\le[/mm] 0 für alle x [mm]\in \IR.[/mm]
>
|
|
|
| |
|
Okay, das leuchtet doch ein. Danke für die Erklärung.
|
|
|
| |
|
Hallo Suedkurve,
es ist nicht hilfreich, wenn du deinen mathematischen Background nicht angibst. So kann ich nicht erkennen, ob du mit meiner Lösung mit f' und f'' etwas anfangen kannst. Wenn nicht, melde dich noch mal. Ich kann dir dann eine andere, rein algebraische Lösung anbieten, die aber quasi "von Himmel fällt".
|
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 08:30 Mo 14.08.2017 | | Autor: | fred97 |
> Hallo,
>
> weiß jemand, warum die Ungleichung
> [mm](a+b)^4 \le 8(a^4[/mm] + [mm]b^4)[/mm] für a,b [mm]\in \IR[/mm]
> gültig ist?
Das liegt an Herrn Giovanni Binomi !
Für a,b [mm] \in \IR [/mm] ist [mm] a^2-2ab+b^2 =(a-b)^2 \ge [/mm] 0, also
$2ab [mm] \le a^2+b^2$ [/mm] und somit
(1) [mm] (a+b)^2=a^2+2ab+b^2 \le a^2+a^2+b^2+b^2=2(a^2+b^2)$.
[/mm]
Es folgt:
(2) [mm] (a+b)^4 \le 4(a^2+b^2)^2.
[/mm]
Mit [mm] a^2 [/mm] statt a und [mm] b^2 [/mm] statt b liefert (1):
[mm] (a^2+b^2)^2 \le 2(a^4+b^4).
[/mm]
Zusammen mit (2) ergibt sich
[mm] (a+b)^4 \le 8(a^4+b^4).
[/mm]
>
> Grüße
|
|
|
| |
|
Hallo fred97,
danke für deinen Beitrag. Das ist auch ein sehr schöner Beweis, aber da wäre ich niemals drauf gekommen! :)
Grüße
Die_Suedkurve
|
|
|
|
