Inequalities Maierhofer

Skriptum zur Vorlesung
Ungleichungen
O.Univ.-Prof. Dr.phil. Robert Tichy
Georg Maierhofer
22. Marz 2012
Inhaltsverzeichnis
Einf
uhrung in das Themengebiet Ungleichungen
Algebraische Ungleichungen
1 Beweismethoden
1.1 Vollst
andige Induktion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Vorw
arts-R
uckw
arts Induktion . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7
7
8
2 Mittelungleichungen
10
3 Cauchy-Schwarzsche Ungleichung
14
4 Ordnungsungleichung und Tschebyschew-Ungleichung
17
5 Bernoulli-Ungleichung
19
6 Ungleichung von Jensen

6.1 Konvexe und konkave Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 Ungleichung von Jensen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
22
23
7 Ungleichung von Schur
26
II
28
Geometrische Ungleichungen
8 Wichtige Formeln und Ausdr

ucke
8.1 Heronsche Fl
achenformel . . . . .
8.2 Summens
atze . . . . . . . . . . .
8.3 Darstellung des Sinus . . . . . .
8.4 Darstellungen des Umkreisradius
8.5 Darstellungen des Inkreisradius .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
29
31
33
35
37
9 Winkelfunktionsabsch
atzungen
41
10 Dreiecksungleichung
43
11 Eulersche Ungleichung
45
12 Ungleichung von Leibniz
47
13 Ungleichung von Erd

os-Mordell
49
14 Ungleichung von Weitzenb

ock
51
INHALTSVERZEICHNIS
III
Beispiele
52
15 Angaben
53
16 L
osungen
55
Literaturverzeichnis
66
Einfu
hrung in das Themengebiet
Ungleichungen
Im Grunde sind Ungleichungen Vergleiche von Zahlen. Das Gebiet Ungleichungen an sich gehort
in der Mathematik teilweise zum Gebiet Algebra und teilweise zum Gebiet Analysis. Diese
beiden werden wie auch beispielsweise die Geometrie axiomatisch1 behandelt. Um eine (f
ur uns)
sinnvolle Arbeit mit Ungleichungen zu ermoglichen werden wir die Axiomatik dieses Gebietes, wie
auch Godfrey Hardy, John Littlewood und George Polya in ihrem Buch Inequalities (1), wiefolgt
festlegen:
Zun
achst u
ur Addition und Mulbernehmen wir aus der Algebra die gewohnlichen Gesetze f
tiplikation.
Dann w
ahlen wir jene Axiome welche die Losbarkeit linearer Gleichungen betreffen und jene,
welche die Existenz und Eindeutigkeit von Differenz und Quotient sicher stellen.
Letztlich gen
ugen f
unf zus
atzliche Axiome um unsere Arbeit zu ermoglichen:
1. F
ur zwei Zahlen a, b gilt immer:
a > b a = b a < b.
2. F
ur zwei Zahlen a, b gilt immer:
a b b a = a = b.
3. F
ur drei Zahlen a, b, c gilt immer:
a b b c = a c.
4. F
ur jede Zahl a gilt immer:
a a bzw. a a.
5. F
ur zwei positive Zahlen a, b > 0 gilt immer:
a+b>0
ab>0
1 Aufbauend
auf sogenannten Axiomen = nicht begr

undete Grunds
atze einer Theorie
INHALTSVERZEICHNIS
1. wird auch Kettenaxiom, 2. auch Antisymmetrie, 3. auch Transitat und 4. auch Reflexivitat
genannt. Wir definieren damit eine sogenannte Totalordnung, das heit: jede Zahl a ist mit
jeder anderen Zahl b eindeutig vergleichbar, wie in der ersten Abbildung gezeigt ist. Dies ist
aber lediglich eine Definition und keineswegs notwendigerweise gegeben - wie man in der zweiten
Abbildung sehen kann - hier w
aren a und b nicht vergleichbar.
Daraus ergibt sich die logische Folgerung:

0 < a b =
1
1
> 0.
a
b
Im Folgenden wird die wohl grundlegendste und damit wohl wichtigste Ungleichung etwas naher
betrachtet:
Satz 0.1. F
ur alle x R gilt:
x2 0.
Beweis. Dies zu beweisen gelingt schnell mit einer sehr grundlegenden Strategie - der Fallunterscheidung, die es erm
oglicht ein schwer losbares Problem in mehrere leichter losbare Probleme
aufzuspalten:
1. Fall: x < 0
= x > 0
x2 = (x) (x) > 0.
2. Fall: x = 0
= x2 = x x = 0.
3. Fall: x > 0
= x2 = x x > 0.
INHALTSVERZEICHNIS
Bemerkung. Aus dieser Ungleichung folgt unmittelbar:

F
ur x, y R gilt immer:
x y
+ 2.
y
x
Beweis.
x y !
+ 2
y
x
!
x2 + y 2 2xy 0
(x y)2 0.
Die sogenannten Mittelungleichungen f

ur 2 Variablen (auf die allgemeine Form kommen wir
in Kapitel 2 zur
uck):
r
2 (1) (2) x + y (3) x2 + y 2
xy
.
1
1
2
2
x + y
Beweis. Der Beweis von (2) und (3) verlauft ahnlich zum obigen, (1) folgt unmittelbar aus
(2) f
ur x x1 und y y1 ).
Teil I
Algebraische Ungleichungen
Kapitel 1
Beweismethoden
1.1
Vollst
andige Induktion
Mithilfe der vollst

andigen Induktion ist es moglich, eine Behauptung, die in irgendeiner Weise
f
ur alle nat
urlichen Zahlen n gelten soll, zu beweisen. Jede vollstandige Induktion besteht aus
folgenden Schritten:
Induktionsbasis: Zun
achst versucht man die Behauptung f
ur kleine Werte von n zu beweisen,
dies kann man mit einer beliebigen Methode durchf
uhren.
Induktionsannahme: Die Annahme, dass die Aussage f
ur n gilt, wird als Induktionsannahme
bezeichnet und sollte beim Beweis auch angef
uhrt werden.
Induktionsschritt: Nun ist zu zeigen, dass aus der G
ultigkeit der Aussage f
ur n die G
ultigkeit
der Aussage f
ur n+1 folgt und dies geschieht im Induktionsschritt. Dazu f
uhrt man die Behauptung
f
ur n + 1 auf eine wahre Aussage zur
uck, man kann sich dabei der Induktionsannahmen bedienen.
Beispiel 1.1.1. Man finde alle n N f
ur die gilt:
2n n!
L
osung. Wir sehen durch Probieren kleiner n, dass die Behauptung f
ur alle n 4 zu gelten scheint
und beweisen diese Behauptung nun mithilfe von vollstandiger Induktion:
Induktionsbasis: Wir suchen zunachst eine Induktionsbasis, also das kleinste n, f
ur das die
Behauptung stimmt. In diesem Fall ist dieses n = 4, da
16 = 24 4! = 24
gilt.
Induktionsannahme:
Diese lautet hier also:

2n n!
Induktionsschritt: Wir versuchen nun also die Behauptung f

ur n + 1 mithilfe der Induktionsannahme auf eine wahre Aussage zur
uckzuf
uhren:
!
2n+1 (n + 1)!
!
2 2n n! (n + 1)
7
KAPITEL 1. BEWEISMETHODEN
Nach Induktionsannahme gilt 2n n!, wir verscharfen die Ungleichung also zu:
!
2 n! n! (n + 1)
!
2 n + 1
1 n
Und dies gilt, da wir als Induktionsbasis n = 4 gewahlt haben. Somit gilt die Aussage f
ur alle
n N mit n 4.
1.2
Vorw
arts-Ru
arts Induktion
ckw
Ein weiteres n
utzliches Werkzeug zum Beweisen von Behauptungen, die f
ur alle nat
urlichen Zahlen n gelten sollen, ist die Vorw
arts - R
uckwarts Induktion. Diese funktioniert ahnlich, wie die
vollst
andige Induktion und besteht aus grundsatzlich 2 Schritten:
1. Man zeigt die Aussage zuerst f
ur eine unendliche Teilmenge der nat
urlichen Zahlen, zum
Beispiel f
ur alle 2er - Potenzen, oder alle Quadratzahlen.
2. Danach zeigt man, dass aus der G
ur n die G
ur
n 1 folgt. Dies kann man durch geschicktes Nutzen des Freiheitsgrades (z.B.: passende
Substitution, wie im folgenden Beispiel) erreichen.

Hat man diese beiden Dinge gezeigt, ist die Aussage f
ur alle nat
urlichen Zahlen bewiesen.
Ein typisches Beispiel f
ur die Vorw
arts - R
uckwarts Induktion ist der Beweis der Arithmetisch
- Geometrischen Mittelungleichung (vgl. Kapitel 2):
Beispiel 1.2.1. Man zeige f
ur alle n N und alle x1 , x2 , . . . , xn R+ :
x1 x2 xn
x1 + x2 + + xn
n
L
osung. Wir beweisen die Aussage mithilfe Vorwarts - R
uckwarts Induktion:
Vorw
artsschritt:
Zun
achst wollen wir die Aussage f
ur alle 2er - Potenzen zeigen.
Induktionsbasis:
F
ur n = 1 ist die Aussage trivial, f
ur n = 2 gilt:
x1 + x2
2
! x2 + 2x1 x2 + x2
2
x1 x2 1
4
! x2 2x1 x2 + x2
2
0 1
4
(x1 x2 )2
0
w.A.
4
Induktionsannahme:
x1 x2
x1 x2 xn
x1 + x2 + + xn
n
KAPITEL 1. BEWEISMETHODEN
Induktionsschritt:
2n zu beweisen:
Es gilt:
Wir versuchen nun also mithilfe der Induktionsannahme die Aussage f

ur
x1 + x2 + + x2n
=
2n
Laut Induktionsannahme f
ur 2 gilt:
x1 +x2 ++xn
n
xn+1 +xn+2 ++x2n

n
x1 +x2 ++xn
n
xn+1 +xn+2 ++x2n

n
2
r
x1 + x2 + + xn xn+1 + xn+2 + + x2n
n
n
ur n gilt:
x1 + x2 + + xn
n
xn+1 + xn+2 + + x2n
n
r
x1 + x2 + + xn xn+1 + xn+2 + + x2n
=
n
n
r
x1 + x2 + + xn xn+1 + xn+2 + + x2n
n
n
xn+1 +xn+2 ++x2n
x1 +x2 ++xn
+
n
n
=
2
x1 + x2 + + x2n
2n
x1 x2 xn
xn+1 xn+2 x2n
q
n
2n
2n
2n
x1 x2 xn
xn+1 xn+2 x2n
x1 x2 x2n
x1 x2 x2n
x1 x2 x2n
Somit haben wir die Aussage f

ur alle 2er - Potenzen bewiesen.
R
uckw
artsschritt:
Nun zeigen wir die Aussage f

ur n 1 mithilfe der Aussage f
ur n:
Induktionsannahme:
Es gilt:
x1 + x2 + + xn
n x1 x2 xn
n
Induktionsschritt:
Nach der Induktionsannahme gilt:
x1 + x2 + + xn
n x1 x2 xn
n
sei
xn =
Es gilt praktischerweise:
q
n
x1 x2 xn1
x1 + x2 + + xn1 +
n
x1 + x2 + + xn1 +
n1
n1
n1
x1 x2 xn1
x1 x2 xn1 =
x1 x2 xn1
n1
x1 x2 xn1
x1 + x2 + + xn1
x1 + x2 + + xn1
x1 + x2 + + xn1
n1
n1
x1 x2 xn1
x1 x2 xn1
n n1 x1 x2 xn1
n n1 x1 x2 xn1 n1 x1 x2 xn1
(n 1) n1 x1 x2 xn1
n1 x1 x2 xn1
n1
Damit haben wir auch gezeigt, dass aus der G

ur n die G
ultikeit der Aussage
f
ur n 1 folgt und somit haben wir die Aussage f
ur alle nat
urlichen Zahlen n bewiesen.
Kapitel 2
Mittelungleichungen
Satz 2.1. Es seien x1 , x2 , . . . , xn R+ , dann gilt:
1
x1
1
x2
n
+ +
(1)
1
xn
x1 + x2 + + xn (3)
x1 x2 xn
HM
(2)
GM
AM
x21 + x22 + + x2n

n
QM
Harmonisches Mittel Geometrisches Mittel

Arithmetisches Mittel Quadratisches Mittel
(Gleichheit gilt f
ur x1 = x2 = = xn .)
Beweis. (2) und (3) lassen sich mithilfe von Vorwarts-R

uckwarts-Induktion schnell zeigen (vgl.
Kapitel 1) und (1) folgt unmittelbar aus (2) (f
ur xi x1i )
Beispiel 2.1.1. (OMO

GWB 2009) Seien 0 a, b 1 reelle Zahlen. Beweise, dass dann:
p
a3 b3 + (1 a2 )(1 ab)(1 b2 ) 1
gilt.
L
osung. Wir wissen, f
ur 0 x 1 gilt x 3 x. Somit gilt hier:
p
p
3
a3 b3 + (1 a2 )(1 ab)(1 b2 ) a3 b3 + 3 (1 a2 )(1 ab)(1 b2 )
p
= ab + 3 (1 a2 )(1 ab)(1 b2 )
Auerdem gilt laut GM AM :
p
3
(1 a2 )(1 ab)(1 b2 )
3 (a2 + ab + b2 )
3
Und somit:
a3 b3 +
3 (a2 + ab + b2 )
3
3 (a2 2ab + b2 )
=
1
3
(1 a2 )(1 ab)(1 b2 ) ab +
10
KAPITEL 2. MITTELUNGLEICHUNGEN
Diese Mittel lassen sich zun

achst leicht verallgemeinern (daf
ur versehen wir jedes xi mit einem
positivem reellen Gewicht ai ) und wir erhalten die Gewichteten Mittelungleichungen:
Satz 2.2. Es seien also x1 , x2 , . . . , xn , a1 , a2 , . . . , an R+ , dann gilt:

a1
a1
x1
+ a2 + + an
+ xa22 + + xann
a1 +a2 ++an
a1 x1 + a2 x2 + + an xn
xa1 1 xa2 2 xan n
a1 x21 + a2 x22 + + an x2n

a1 + a2 + + an
gHM gGM gAM gQM

(Gleichheit gilt wieder f
ur x1 = x2 = = xn .)

BWB II 2008) Man zeige: F
ur positive reelle Zahlen a, b, c mit a+b+c = 1
gilt:
1
a1a b1b c1c .
3
L
osung. Es ist:
a1a b1b c1c =
(1a)+(1b)+(1c)
a1a b1b c1c
Und nach gGM gAM gilt:
(1a)+(1b)+(1c)
a(1 a) + b(1 b) + c(1 c)

(1 a) + (1 b) + (1 c)
a + b + c a2 + b2 + c2
=
2 }
2
| {z
a1a b1b c1c
= 12
Nach QM AM gilt:
a+b+c
1
a2 + b2 + c2
=
3
3
3
Und somit:
a1a b1b c1c
1 1
1
=
2 6
3
Das ganze l
asst sich noch mehr verallgemeinern und dazu definieren wir folgendes:
Definition. Es seien x1 , x2 , . . . , xn R+ und R \ {0}, so ist das -Mittel der xi definiert
als:
1

x1 + x
2 + + xn
m :=
n
wobei f
ur m0 gilt:
m0 := lim m = (x1 x2 xn ) n
0
Insbesondere ist also HM = m1 , GM = m0 , AM = m1 , QM = m2 . Der somit (Satz 2.1.)

vermutete Zusammenhang entspricht auch tatsachlich der Wahrheit:
11
Satz 2.3. Seien x1 , x2 , . . . , xn R+ und , R mit und m , m nach der obigen

Definition festgelegt, so gilt:
min xi m m max xi
(Gleichheit gilt erneut f
ur x1 = x2 = = xn .)

BWB I 2011 (in leicht abgewandter Form)) Man bestimme f
ur jede positive
ganze Zahl k das Maximum der Funktion
fk (x, y) = (x + y) (x2k+1 + y 2k+1 )
u
ber alle positiven reellen Zahlen x und y mit x2 + y 2 = 1.
L
osung. Nach AM QM gilt:
r
x2 + y 2
= 2
2
QM (weil k Z+ ):
x+y 2
Auerdem gilt nach m2k+1
r
(x
2k+1
+y
2k+1
)2
x2 + y 2
2
2k+1
1
2k
Damit ist:
fk (x, y) = (x + y) (x2k+1 + y 2k+1 )
1
1
= 2(1 k )
k
2
2
Der Gleichheitsfall
wird tats
achlich f
ur x = y angenommen, damit liegt das Maximum der Funktion
fk (x, y) bei 2(1 21k ).

Wieder k
onnen wir die xi mit positiven Reellen Gewichten ai versehen und erhalten:
Definition. Es seien x1 , x2 , . . . , xn , a1 , a2 , . . . , an R+ und R \ {0}, so ist das Gewichtete
-Mittel der xi definiert als:

gm :=
a1 x
1 + a2 x2 + + an xn
a1 + a2 + + an
1
und f
ur = 0:
1
gm0 := (xa1 1 xa2 2 xann ) a1 +a2 ++an

Und auch hier gilt:
Satz 2.4. Seien x1 , x2 , . . . , xn , a1 , a2 , . . . , an R+ und , R mit und gm , gm nach

der obigen Definition festgelegt, so gilt:
min xi gm gm max xi
(Gleichheit gilt auch hier f
ur x1 = x2 = = xn .)
Beispiel 2.4.1. (Pauli Wettbewerb 2011) Man bestimme die gr

ote reelle Konstante C, sodass
f
ur alle a, b, c R+ gilt:
C (11a2 + 5b2 + 2011c2 )3 (11a3 + 5b3 + 2011c3 )2 .
12
L
osung. Nach gQM gm3 ist:
r
r
3
3
3
11a2 + 5b2 + 2011c2
3 11a + 5b + 2011c
2027
2027

2
2
2
2 3
3
11a + 5b + 2011c
11a + 5b3 + 2011c3
2027
2027
1
(11a2 + 5b2 + 2011c2 )3 (11a3 + 5b3 + 2011c3 )2
2027
Und somit ist also C
1
2027
und damit ist das grotmogliche C =
13
1
2027 .
Kapitel 3
Cauchy-Schwarzsche Ungleichung
Die nach Augustin Cauchy (1789 - 1857) und Hermann Schwarz (1843 - 1921) benannte Ungleichung besagt:
Satz 3.1. Seien a1 , a2 , . . . , an und b1 , b2 , . . . , bn reelle Zahlen, dann gilt:

!2
n
X
ak bk
n
X
k=1
(Gleichheit gilt f
ur
a1
b1
a2
b2
= =
k=1
!
a2k
n
X
!
b2k
k=1
an
bn .)
Bemerkung.
~
Diese Ungleichung l
asst sich
auch geometrisch
darstellen: Seien ~a und b Vektoren in n Dia1

b1
mensionen mit ~a = ... und ~b = ... , so gilt:

an
Gleichheit gilt wieder f

ur
bn

D E

~a, ~b |~a| ~b .
a1
b1
a2
b2
= =
an
bn ,
also wenn die Vektoren proportional sind.
Es ist der folgende Zusammenhang f

ur zwei Vektoren ~a, ~b und dem von ihnen eingeschlossenen
Winkel bekannt:
D E
~a, ~b

cos =

|~a| ~b
D E

cos |~a| ~b = ~a, ~b
Da cos [1, 1] ist, folgt im raumlichen und ebenen Fall daraus sofort die CauchySchwarzsche Ungleichung. In beliebigen Dimensionen umgekehrt beweist die Ungleichung,
dass obige Uberlegung

benutzt werden kann, um zu definieren, was ein Winkel ist. (2)
14
KAPITEL 3. CAUCHY-SCHWARZSCHE UNGLEICHUNG
Beweis. Wir leiten die Cauchy-Schwarzsche Ungleichung von einem allgemein g

ultigen Lemma
her:
Lemma 3.1.1. Es gilt f
ur alle x R und reelle Zahlen a1 , a2 , . . . , an und b1 , b2 , . . . , bn :
n
X
(ak x bk )2 0.
k=1

Pn
2
Diese Funktion
hat also maximal eine reelle Nullstelle - hat also graphisch
k=1 (ak x bk )
veranschaulicht eine der folgenden beiden Formen:
Durch Umformen erh

alt man:
n
X
(ak x bk )2 0
k=1
n
X
(a2k x2 2xak bk + b2k )2 0
k=1
x2
n
X
k=1
a2k 2x
n
X
ak bk +
k=1
n
X
b2k 0
k=1
Wir substituieren:
n
X
a2k = A
k=1
n
X
ak bk = B
k=1
n
X
b2k = C
k=1
Und erhalten:
x2 A 2xB + C > 0
Dies ist eine Quadratische Gleichung in x und lasst sich mithilfe der bekannten Formel losen:
r
B
B2 C A
x1,2 =
A
A2
15
KAPITEL 3. CAUCHY-SCHWARZSCHE UNGLEICHUNG
Wegen obiger Uberlegung

der Nullstellen muss die Diskriminante 0 sein, es gilt also:
B2 C A 0
B2 C A
Also
n
X
!2
ak bk
k=1
n
X
k=1
!
a2k
n
X
!
b2k
k=1
Neben der ersichtlichen trivialen Gleichheit f

ur ak = bk = 0, k [1, n], gilt Gleichheit genau dann,
wenn die Funktion genau eine reelle Nullstelle besitzt, also wenn im Lemma 3.1.1. Gleichheit
herrscht. Dies ist bei:
a1
1
=
x
b1
1
a2
a2 x = b2 =
x
b2
..
.
an
1
an x = bn =
x
bn
a1 x = b1
Also genau f
ur
a1
b1
a2
b2
= =
an
bn
gilt Gleichheit.
Beispiel 3.1.1. (Pauli-Wettbewerb 2011) Man zeige f

ur a, b, x, y, z R+ :
y
z
3
x
+
+
.
ay + bz
az + bx ax + by
a+b
L
osung. Wir multiplizieren beide Seiten mit (a + b)(xy + yz + zx) = x(ay + bz) + y(az + bx) +
z(ax + by) und erhalten:

!
x
y
z
(x(ay + bz) + y(az + bx) + z(ax + by))
+
+
3(xy + yz + zx)
ay + bz
az + bx ax + by
Nach der Ungleichung von Cauchy-Schwarz gilt:

x
y
z
(x(ay + bz) + y(az + bx) + z(ax + by))
+
+
(x + y + z)2
ay + bz
az + bx ax + by
Es bleibt also nur noch zu zeigen, dass:
(x + y + z)2 3(xy + yz + zx)
Diese Ungleichung ist symmetrisch in x, y, z, deshalb konnen wir o.B.d.A. annehmen, dass
x y z und damit ist die Ungleichung nach der Ordnungsungleichung (vgl. Satz 4.1.) erf
ullt.
16
Kapitel 4
Ordnungsungleichung und
Tschebyschew-Ungleichung
Satz 4.1. Es seien x1 , x2 , . . . , xn und y1 , y2 , . . . , yn zwei Folgen reeller Zahlen. Es ist die Summe
S, mit:
S = x1 y1 + x2 y2 + + xn yn
genau dann:
maximal, wenn x1 x2 xn und y1 y2 yn gilt und
minimal, wenn x1 x2 xn und yn yn1 y1 ist.
Beweis. Es sei {ci } eine Permutation der Folge {yi }, wir betrachten nun die Summen:
S1 = x1 c1 + x2 c2 + + xs cs + + xt ct + + xn cn
S2 = x1 c1 + x2 c2 + + xs ct + + xt cs + + xn cn
(S1 und S2 unterscheiden sich nur am s-ten und t-ten Summanden.)
Es gilt:
S1 S2 = xs cs xs ct + xt ct xt cs =
= (xt xs )(ct cs )
Und damit:
S1 > S2 ct > cs
S2 > S1 cs > ct
Daher wird das Maximum (Minimum) genau dann erreicht, wenn man die Folgen gleich (entgegengesetzt) ordnet.
F
ur das Maximum l
asst sich die Ordnungsungleichung verallgemeinern:
17
KAPITEL 4. ORDNUNGSUNGLEICHUNG UND TSCHEBYSCHEW-UNGLEICHUNG
Satz 4.2. Es seien x1,1 , x1,2 , . . . , x1,n , x2,1 , x2,2 , . . . , x2,n , . . . , xa,1 , xa,2 , . . . , xa,n a Folgen reeller
Zahlen. Es ist die Summe S, mit:
S=
a
Y
i=1
xi,1 +
a
Y
xi,2 + +
i=1
a
Y
xi,n
i=1
genau dann maximal, wenn gilt:

x1,1 x1,2 x1,n
x2,1 x2,2 x2,n
..
.
x1,1 x1,2 x1,n .
Beweis. Angenommen, die Folgen xi,1 , xi,2 , . . . , xi,n , i [1, a] sind gleichgeordnet mit x1,1
x1,2 x1,n . Es sei {yi,j } eine Permutation der Folge {xi,j } und weiters {zi,j } eine Folge
Qi1
Qa
mit zi,j = k=1 xk,j k=i+1 xk,j f
ur j [1, n]. Nun ist wegen obigen Bedingungen auch {zi,j }
geordnet mit z1,1 z1,2 z1,n und nach der Ordnungsungleichung in 2 Dimensionen (vgl
Satz 4.1.) gilt f
ur jedes i:
zi,1 xi,1 + zi,2 xi,2 + + zi,n xi,n zi,1 yi,1 + zi,2 yi,2 + + zi,n yi,n .
Damit wird das Maximum von obigem S also bei gleichgeordneten Folgen {xi,j } erreicht.

BWB II 2005) Es seien a, b, c, d positve reelle Zahlen. Man beweise die
Ungleichung
a+b+c+d
1
1
1
1
3 + 3 + 3 + 3.
abcd
a
b
c
d
L
osung. Wir substituieren zun
achst w = a1 , x = 1b , y = 1c , z =
1
d
und erhalten:
xyz + wyz + wxz + wxy w3 + x3 + y 3 + z 3

Die Ungleichung ist symmetrisch, deshalb konnen wir o.B.d.A. annehmen, dass w x y z
und aufgrund der allgemeinen Ordnungsungleichung ist die Ungleichung erf
ullt.
Direkt aus der Ordnungsungleichung ist die Tschebyschew-Ungleichung ersichtlich:
Satz 4.3. Seien x1 , x2 , . . . , xn und y1 , y2 , . . . , yn zwei Folgen reeller Zahlen, dann gilt:
! n !
n
n
X
X
1 X
xi yi
xi
yi .
n i=1
i=1
i=1
18
Kapitel 5
Bernoulli-Ungleichung
Die nach Jakob Bernoulli (1655 1705) benannte Ungleichung lautet in ihrer allgemeinen Form:
Satz 5.1. Sei x R>1 x 6= 0, R6=0 , so gilt:

(1 + x) > 1 + x
(1 + x) < 1 + x
<0>1
0<<1
(Gleichheit gilt f
ur = 0, = 1 und x = 0.)
Bemerkung. Sehr h
aufig ist allerdings die folgende Spezialform der Bernoulli-Ungleichung ausreichend: Sei x R>1 x 6= 0, n N>1 , so gilt:
(1 + x)n > 1 + nx.
Beweis. Dieser Spezialfall l
asst sich leicht mittels vollstandiger Induktion beweisen:
Induktionsbasis:
F
ur n = 2 gilt:
(1 + x)2 > 1 + 2x
1 + 2x + x2 > 1 + 2x
x2 > 0
Dies ist erf

ullt, da laut Angabe x 6= 0 gilt. Somit gilt die Aussage f
ur n = 2.
Induktionsannahme:
(1 + x)n > 1 + nx
Induktionsschritt:
!
(1 + x)n+1 > 1 + (n + 1)x

!
(1 + x) (1 + x)n > 1 + nx + x
19
KAPITEL 5. BERNOULLI-UNGLEICHUNG
Laut Induktionsannahme gilt: (1 + x)n > 1 + nx, wir verscharfen die Ungleichung also zu:
!
(1 + x)(1 + nx) > 1 + nx + x

!
1 + x + nx + nx2 > 1 + nx + x

(1 + nx + x)
nx2 > 0
Dies gilt, da laut Angabe n > 1 und x 6= 0 gegeben ist.
Beispiel 5.1.1. Sei f (n) : N R eine Funktion mit f (n) = 1 +
ganze Zahl. Man zeige, dass die Funktion einen Grenzwert besitzt.

1 n
n
und sei n eine positive
L
osung. Dazu gen
ugt es zu zeigen, dass die Funktion monoton (1) und beschrankt (2) ist, also:
f (n 1) < f (n) n 2
I
II
2 f (n) < 3
(1): Nach der Bernoulli-Ungleichung gilt:

n
1
n
1
1 2
>1 2 =1
n
n
n
n
n

1
1
1
1
>1
1 +
n
n
n

n
1n
n1
1
1
n
1 +
> 1
=
=
n
n
n1

n1
1
= 1+
n1
Also:
f (n) > f (n 1)
Somit ist (1) gezeigt.
(2) I:
!
1
1+
n
n
Nach der Bernoulli-Ungleichung gilt:

n
1
1+
n

n
1
2 1 +
n
1
1+n
n
Und dies genau I.

II:
1
1+
n
n
20
<3
(1)
(2)
KAPITEL 5. BERNOULLI-UNGLEICHUNG
Es gilt:

1+
1
n
n
=1+

n 1
1
n
+ +
+
1 n
2
n2
| {z }
| {z }
=n
1
n(n1)
12

n
n
| {z }
nn
n(n1)(n(n2))(n(n1))
123(n1)n
n 1
nn
n2
1
1
+
2 + +
1 n 12 n
1 2 3 (n 1) n nn

n
1
1
1
1
1 +
1+1+ +
+ +
n
2 23
2 3 (n 1) n
Es gilt f
ur alle n N3 :
n! > 2n1
Und somit:
2+
1
1
1
1
1
1
+
+ +
< 2 + + 2 + + n1
2 23
2 3 (n 1) n
2 2
2
Dieser Term ist eine geometrische Summe und hat den Grenzwert:
lim 2 +
1
1
1
1
+ 2 + + n1 = 2 + 2
2 2
2
1
1
2
=3
Es gilt also:
n

1
1
1
1
1
1
1
2+ +
+ +
< 2 + + 2 + + n1 3
1+
n
2 23
2 3 (n 1) n
2 2
2

n
1
= 1 +
<3
n
Die Funktion besitzt also einen Grenzwert (dieser ist die Eulersche Zahl e).
21
Kapitel 6
Ungleichung von Jensen

6.1
Konvexe und konkave Funktionen
Diese beiden Begriffe beziehen sich auf die Kr

ummung einer Funktion.
Konvexe Funktionen: Eine Funktion f (x) heit konvex im Intervall [a, b], wenn f
ur alle x, y
[a, b] und alle t [0, 1] gilt:
t f (x) + (1 t) f (y) f (t x + (1 t) y)
Die Funktion ist genau dann streng konvex,
wenn die Ungleichung strikt ist.
Graphisch ausgedr
uckt bedeutet dies: Liegt jede Verbindungslinie zweier Punkte einer Funktion im Intervall [a, b] an jeder Stelle oberhalb des
Graphen, so ist die Funktion im Intervall [a, b]
konvex.
Konkave Funktionen: Eine Funktion f (x) heit konkav im Intervall [a, b], wenn f
ur alle x, y
[a, b] und alle t [0, 1] gilt:
t f (x) + (1 t) f (y) f (t x + (1 t) y)
Die Funktion ist genau dann streng konkav,
wenn die Ungleichung strikt ist.
Graphisch ausgedr
uckt bedeutet dies: Liegt
jede Verbindungslinie zweier Punkte einer Funktion im Intervall [a, b] an jeder Stelle unterhalb
des Graphen, so ist die Funktion im Intervall
[a, b] konkav.
22
KAPITEL 6. UNGLEICHUNG VON JENSEN
Kr
ummungsverhalten bestimmen: Um zum Beispiel die Ungleichung von Jensen (vgl. Satz
6.1.) verwenden zu k
onnen muss man zuerst das Kr
ummungsverhalten einer Funktion bestimmen.
Hier sind ein paar Tips, wie man dies machen kann:
Differenzieren: Die Funktion f (x) ist genau dann konvex/konkav, wenn ihre zweite Ableitung
f 00 (x) / 0 ist. Sie ist genau dann streng konvex/konkav, wenn die Ungleichung strikt
ist.
Sei n N und a Z dann gilt:
x2n ist konvex
x2n+1 ist konvex auf [0, [ und konkav auf ] , 0]
2n x ist konkav auf [0, [
2n+1 x ist konkav auf [0, [ und konvex auf ] , 0]
1
x
ist konvex auf [0, [ und konkav auf ] , 0]
sin x ist konkav auf [0 + 2a, + 2a] und konvex auf [ + 2a, 2 + 2a]
cos x ist konkav auf [ 2 + 2a, 2 + 2a] und konvex auf [ 2 + 2a, 3
2 + 2a]
6.2
Ungleichung von Jensen
Nun da wir das Kr

ummungsverhalten einer Funktion bestimmen konnen, widmen wir uns der Ungleichung von Jensen. Sie ist nach dem danischen Mathematiker Johan Ludwig William Valdemar
Jensen (1859 - 1925) benannt. Die gewichtete Ungleichung von Jensen lautet:
Satz 6.1. Sei f (x) eine konvexe Funktion im Intervall [a, b] und seien x1 , x2 , . . . , xn [a, b] mit
n N und den Gewichten t1 , . . . , tn [0, 1] mit t1 + + tn = 1, dann gilt:
t1 f (x1 ) + t2 f (x2 ) + + tn f (xn ) f (t1 x1 + t2 x2 + + tn xn )
Ist f (x) konkav, so muss man das Ungleichheitszeichen umdrehen.
(Gleichheit gilt f
ur x1 = = xn , f
ur t1 = 1, t2 = t3 = = tn und f
ur f (x) ist
linear.)
Bemerkung. Eine Spezialisierung der Ungleichung von Jensen, welche haufig bereits ausreichend
ist, lautet: Sei f (x) eine konvexe Funktion im Intervall [a, b] und seien x1 , x2 , . . . , xn [a, b] mit
n N so gilt:

x1 + x2 + + xn
f (x1 ) + f (x2 ) + + f (xn )
f
.
n
n
Beweis. Diese Spezialisierung l
asst sich mittels Vorwarts - R
uckwarts Induktion beweisen:
Vorw
artsschritt:
Zun
Induktionsbasis:
F
ur n = 2 soll gelten:

f (x1 ) + f (x2 )
x1 + x2
f
2
2
Dies ist genau die Definition von konvexen Funktionen also korrekt.
23
Induktionsannahme:
f (x1 ) + f (x2 ) + + f (xn )
f
n
x1 + x2 + + xn
n
Induktionsschritt:
Wir versuchen nun die Aussage f

ur 2n zu beweisen:

x1 + x2 + + x2n
f (x1 ) + f (x2 ) + + f (x2n ) !
f
2n
2n

f (xn+1 )+f (xn+2 )++f (x2n )
f (x1 )+f (x2 )++f (xn )
!
+
x1 + x2 + + x2n
n
n
f
2
2n
ur n gilt:

f (x1 ) + f (x2 ) + + f (xn )
x1 + x2 + + xn
f
n
n

f (xn+1 ) + f (xn+2 ) + + f (x2n )
xn+1 + xn+2 + + x2n
f
n
n

xn+1 +xn+2 ++x2n
x1 +x2 ++xn
f (xn+1 )+f (xn+2 )++f (x2n )
f (x1 )+f (x2 )++f (xn )
+
f
f
+
n
n
n
n
=
2
2
ur 2 gilt:

xn+1 +xn+2 ++x2n
n
f x1 +x2 ++x
+
f
n
n
2
++x2n
x1 +x2 ++xn
+ xn+1 +xn+2
n
n
f(
)=
2

x1 + x2 + + x2n
=f
2n
Es gilt also:
f (x1 ) + f (x2 ) + + f (x2n )
f
2n
x1 + x2 + + x2n
2n
Damit ist die Aussage f

ur alle 2er - Potenzen gezeigt.
R
uckw
artsschritt:
Nun wollen wir die Aussage f

ur n 1 beweisen:
Induktionsannahme:
f (x1 ) + f (x2 ) + + f (xn )
f
n
Induktionsschritt:
x1 + x2 + + xn
n
x1 + x2 + + xn
n
Laut Induktionsannahme gilt:

f (x1 ) + f (x2 ) + + f (xn )
f
n
24
Sei xn =
x1 +x2 ++xn1
n1
= An1 , dann gilt:
f (x1 ) + f (x2 ) + + f (xn1 ) + f (An1 )

f
n
x1 +x2 ++xn1
n1
=f
(n 1) + An1
n

=f
x1 + x2 + + xn1 + An1
n
An1 (n 1) + An1
n
=
!
=

=
= f (An1 )
f (x1 ) + f (x2 ) + + f (xn1 ) + f (An1 )
=
f (An1 )
n
f (x1 ) + f (x2 ) + + f (xn1 ) + f (An1 ) n f (An1 )
f (x1 ) + f (x2 ) + + f (xn1 ) (n 1) f (An1 )
f (x1 ) + f (x2 ) + + f (xn1 )

f (An1 )
n1
Und das ist genau die Aussage f

ur n 1, somit gilt die Aussage f
ur alle nat
urlichen Zahlen n. F
ur
eine konkave Funktion f (x), muss man im Beweis lediglich alle Ungleichheitszeichen umdrehen.
Beispiel 6.1.1. Es sei K ein Kreis mit Radius R und PN ein eingeschriebenes Polygon mit N
Seiten. Wir k
onnen annehmen, dass alle Winkel (wie in der Skizze eingezeichnet) x1 , . . . , xN
sind. Zeige, dass dann f
ur den Fl
acheninhalt des Polygons gilt:
F (PN )
1 2
2
R N sin
.
2
N
Der Fl
acheninhalt w
are also f
ur das regelm
aige Polygon am gr
oten.
L
osung. Es ist die Formel f
ur den Flacheninhalt bekannt: F =
Fl
acheninhalt des Polygons:
N
X
1
F (PN ) = R2
sin xi
2
i=1
Die Funktion sin x ist konkav auf [0; ] und somit
gilt nach der Ungleichung von Jensen:
!
PN
PN
2
i=1 sin xi
i=1 xi
sin
= sin
N
N
N
Damit gilt also:
F (PN ) =
N
1 2X 1 2
2
R
R N sin
2
2
N
i=1
F (PN )
1 2
2
R N sin
2
N
25
ab sin
2
und somit gilt f

ur den
Kapitel 7
Ungleichung von Schur
Satz 7.1. Es seien x, y, z R+ , dann gilt f

ur jedes positives reelle r:
X
xr (x y)(x z) 0.
cyc
(Gleichheit gilt f
ur x = y = z.)
Bemerkung. F
ur den Fall r = 1 l
asst sich die Ungleichung auch so anschreiben:
X
x(x y)(x z) 0
(7.2)
cyc
3xyz +
x3
cyc
x2 z + xz 2
(7.3)
cyc
xyz (x + y z)(x + z y)(y + z x)
(7.4)
Sind x, y, z die Seiten eines Dreiecks, so folgt aus Satz 7.4. unmittelbar die Eulersche Ungleichung
(vgl. Satz 11.1.)
Beweis. Es gilt:
X
xr (x y)(x z) = xr (x y)(x z) + y r (y z(y x) + z r (z y))(z x) =
cyc
!
= (x y)(xr (x z) y r (y z)) + z r (y z)(x z) 0

Da die Ungleichung symmetrisch ist, kann man aber o.B.d.A. annehmen, dass x y z. Daraus
ergibt sich aber x y 0, y z 0, x z 0 und xr (x z) y r (y z) 0 und damit ist die obige
Ungleichung erf
ullt und die Ungleichung von Schur bewiesen. Gleichheit gilt ersichtlicherweise
genau f
ur x = y = z.
Beispiel 7.1.1. Seien , , die Winkel eines Dreiecks, man zeige:
cos + cos + cos
26
3
.
2
KAPITEL 7. UNGLEICHUNG VON SCHUR
L
osung. Es gilt nach dem Cosinus-Satz:
b2 + c2 a2
2bc
c 2 + a 2 b2
cos =
2ac
a2 + b2 c2
cos =
2ab
cos =
Eingesetzt erhalten wir:

b2 + c2 a2
c 2 + a 2 b2
a2 + b2 c2 ! 3
+
+
2bc
2ac
2ab
2
!
a(b2 + c2 a2 ) + b(c2 + a2 b2 ) + c(a2 + b2 c2 ) 3abc

(b + c a)(c + a b)(a + b c) abc
Dies entspricht genau der Ungleichung von Schur (Satz 7.4.).
27
Teil II
Geometrische Ungleichungen
28
Kapitel 8
Wichtige Formeln und Ausdru

cke
8.1
Heronsche Fl
achenformel
Mithilfe dieser nach Heron von Alexandria (ca. 1. Jahrhundert n. Chr.) benannten Formel lasst
sich der Fl
acheninhalt eines Dreicks nur anhand dessen Seitenlangen berechnen.
Satz 8.1. Seien a, b, c die Seiten eines Dreiecks und F dessen Fl

acheninhalt, so gilt demnach:
p
F = s(s a)(s b)(s c)
Wobei s =
a+b+c
2
ist.
Beweis. Zum Beweisen der Heronschen Flachenformel verwenden wir drei Hilfssatze:
Lemma 8.1.1. Es gilt in jedem Dreieck:

F =
ab
sin
2
Lemma 8.1.2. Es gilt sin2 + cos2 = 1 sin =
1 cos2
Setzt man nun in Lemma 8.1.1. ein, so erhalt man:

ab p
F =
1 cos2
2
Lemma 8.1.3. Nach dem Cosinus - Satz gilt:
c2 = a2 + b2 2ab cos
2ab cos = a2 + b2 c2
cos =
a2 + b2 c2
2ab
29

KAPITEL 8. WICHTIGE FORMELN UND AUSDRUCKE
Setzt man nun Lemma 8.1.3. ein, so ergibt sich:

s
2
2
ab
a + b2 c 2
F =
1
2
2ab
r
a4 + b4 + c4 2a2 c2 2b2 c2 + 2a2 b2
ab
F =
1
2
4a2 b2
r
ab
4a2 b2 a4 b4 c4 + 2a2 c2 + 2b2 c2 2a2 b2
F =
2
4a2 b2
p
1
F = 2a2 b2 + 2a2 c2 + 2b2 c2 a4 b4 c4
4
Nun muss man nur noch geschickt zusammenfassen:
1 p 4
a + (a2 b2 2a2 bc + a2 c2 ) + (a2 b2 + 2a2 bc + a2 c2 ) (b4 2b2 c2 + c4 )
4
1 p
= a4 + a2 (b c)2 + a2 (b + c)2 (b2 c2 )2
4
1 p 2
= a (b + c)2 a4 (b + c)2 (b c)2 + a2 (b c)2
4
1 p
= ((b + c)2 a2 )(a2 (b c)2 )
4
1 p
= (b + c + a)(b + c a)(a + b c)(a b + c)
4
s

a+b+c
a+b+c
a+b+c
a+b+c
a
b
c
=
2
2
2
2
p
= s(s a)(s b)(s c)
F =
F
F
F
F
F
F
Und das ist genau die Heronsche Fl

achenformel.
30

8.2
Summens
atze
Um in der Trigonometrie Winkelfunktionen aufzuteilen, zum Beispiel sin( + ), gibt es die sogenannten Summens
atze:
Satz. Seien und beliebige Winkel so gilt demnach:

sin( ) = sin cos cos sin
(8.2)
cos( ) = cos cos sin sin
(8.3)
sin(2) = 2 sin cos

2
(8.4)
2
cos(2) = cos sin = 2 cos 1 = 1 2 sin

1 cos 2
sin2 =
2
1 + cos 2
2
cos =
2
1 cos
2
=
sin
2
2
1 + cos
2
cos
=
2
r 2
1 cos
tan2 =
2
1 + cos
(8.5)
(8.6)
(8.7)
(8.8)
(8.9)
(8.10)
Beweis. Des Summensatzes sin( + ) = sin cos + cos sin .

Es gilt offensichtlich AB = cos und BC = sin
AF D:
h
c
(1)
h = sin + ED
(2)
sin( + ) =
Desweiteren gilt:
ACD:
cos =
1
c
(3)
In (1):
sin( + ) = h cos
Auerdem gilt:
z
c
z = sin c
sin =
(3) in (4):
z=
sin
cos
31
(4)

Die Dreiecke AF G und GCD sind ahnlich da:

AGF = CGD
AF G = GCD = 90
= F AG = CDG =
DEC:
u
z
u = cos z
cos =
(5)
(4) in (5):
u=
cos sin
cos
In (2):
h = sin +
cos sin
cos
In (1):

sin( + ) =
cos sin
sin +
cos

cos
sin( + ) = sin cos + cos sin

Und das ist genau der gesuchte Satz.
32

8.3
Darstellung des Sinus
Eine oftmals sehr n

utzliche Darstellung des Sinus anhand der Seitenlangen eines Dreiecks lautet:
Satz 8.11. Sei ABC ein Dreieck mit den Seiten a, b, c und den Winkeln , , in den Ecken
A, B, C, so gilt:
r
(s b)(s c)
sin =
2
bc
r
(s a)(s c)
sin =
2
ac
r
(s a)(s b)
sin =
.
2
ab
Beweis. Wir beweisen diese Formel mit drei Hilfssatzen:
Lemma 8.11.1. Es gilt:

sin2
+ cos2 = 1
2
2
r
sin = 1 cos2
2
2
Lemma 8.11.2. Nach dem Cosinus-Satz gilt:

a2 = b2 + c2 2bc cos
cos =
b2 + c2 a2
2bc
Lemma 8.11.3. Nach den Summenformeln (vgl. Satz 8.9.) gilt:

cos2
1 + cos
=
2
2
Aus Lemma 8.11.2. folgt:

2
1 + b +c2bca
cos
=
2
2
2bc
+
b2 + c2 a2
cos2 =
2
4bc
2
33

In Lemma 8.11.1.:
sin
2
sin
2
sin
2
sin
2
sin
sin
2bc + b2 + c2 a2
4bc
r
4bc 2bc b2 c2 + a2
=
4bc
r
2bc + ba ba + ca ca b2 c2 + a2
=
4bc
r
(a b + c)(a + b c)
=
4bc
s

a+b+c
b a+b+c
c
2
2
=
bc
r
(s b) (s c)
=
bc
=
Und dies ist die gesuchte Formel. Die beiden Formeln f

ur sin 2 und sin 2 erhalt man durch zyklische
Vertauschung von a, b und c und , und .
34

8.4
Darstellungen des Umkreisradius
Eine oftmals gut brauchbare Formel zur Berechnung des Umkreisradius lediglich mithilfe der Seiten
eines Dreiecks lautet:
Satz 8.12. Es seien R der Umkreisradius, F der Fl

acheninhalt und a, b, c die Seiten eines Dreiecks, so gilt:
abc
R=
4F
Beweis. Sei U der Umkreismittelpunkt des Dreiecks ABC, seien , , die Winkel in den Ecken
A, B, C und sei U XAB.
Nach dem Zentriwinkelsatz u
ber der Sehne AB
gilt:
2ACB = AU B = 2
Da ABU gleichschenklig ist halbiert U X den
Winkel AU B.
= AU X =
AXU : Hier gilt:
sin =
R =
c
2
c
2R
c
2 sin

sin2 + cos2 = 1
p
sin = 1 cos2
Setzt man Lemma 8.12.1. ein, so erh

alt man:
c
R= p
2 1 cos2
Lemma 8.12.2. Nach dem Cosinussatz gilt:
c2 = a2 + b2 2ab cos
cos =
a2 + b2 c2
2ab
35

Nun setzen wir Lemma 8.12.2. ein und erhalten:

R= q
2 1
c
(a2 +b2 c2 )2
4a2 b2
R =
ab22
1
4
abc
q
4a2 b2 (a2 +b2 c2 )2

a2 b2
Lemma 8.12.3. Nach der Heronschen Flachenformel (vgl. Satz 8.1.) gilt:
A=
1p 2 2
4a b (a2 + b2 c2 )2
4
Durch Einsetzen von Lemma 8.12.3. erhalt man:

R=
abc
4A
Dies ist genau die gesuchte Formel.

Der Umkreisradius l
asst sich auch mithilfe von Winkelfunktionen ausdr
ucken:
Satz 8.13. Sei R der Umkreisradius, a, b, c die Seiten und , , die Winkel eines Dreiecks, so
gilt:
a
2 sin
b
R=
2 sin
c
R=
2 sin
R=
Beweis. Wie in der Skizze ersichtlich gilt:

sin =
R =
c
2
c
2 sin
analog folgt:
a
2 sin
b
R=
2 sin
R=
36

8.5
Darstellungen des Inkreisradius
Eine sehr bekannte Formel zur Berechnung des Inkreisradius lautet:
Satz 8.14. Sei ABC ein Dreieck und A dessen Fl

acheninhalt, a, b, c dessen Seiten, s =
und dessen Inkreisradius, so gilt:
F
= .
s
a+b+c
2
Bemerkung. Setzt man f

ur F die Heronsche Flachenformel (vgl. Satz 8.1.) ein, erhalt man:
r
(s a)(s b)(s c)
.
=
s
Beweis. Sei AB = a, BC = b, CA = c, DB = x, EC = y, F A = x.
Lemma 8.14.1. Nach dem Eist

utensatz am Imkreis gilt:
BE = x
CF = y
AD = z
ADI:
tan
=
2
z
(1)
Es gilt:
x+z =c
(2)
x+y =a
(3)
y+z =b
(4)
(2) (3) + (4):

2z = b + c a
z = s a
In (1):
tan
=
2
sa
37

:2


+ sin2 = 1 : cos2
2
2
2

1

2
1 + tan
=
1
2
cos2 2
1
tan2 =
1
2
1 sin2 2
1 1 + sin 2
tan2 =
2
1 sin2 2
cos2
sin2 2
=
2
1 sin2 2
s
sin2 2
tan =
2
1 sin2
tan2
Lemma 8.14.3. Nach der Formel zur Berechnung des Sinus (vgl. Satz 8.11.) gilt:
r
(s b)(s c)
sin =
2
bc
In Lemma 8.14.2.:
v
u (sb)(sc)
u
bc
tan = t
(sb)(sc)
2
1
bc
s
(s b)(s c)
tan =
2
bc (s b)(s c)
In (1):
s
(s b)(s c)
=
bc (s b)(s c)
sa
(s a)2 (s b)(s c)
=
bc s2 + sb + sc bc
(s a)2 (s b)(s c)
=
s(s + b + c)

(s a)
(s a)2 (s b)(s c)
=
s(s a)
r
(s a)(s b)(s c)
=
s
Und dies ist genau die gesuchte Formel.

Auch der Inkreisradius l
asst sich mittels Winkelfunktionen darstellen:
38

Satz 8.15. Sei der Inkreisradius und , , die Winkel eines Dreiecks, so gilt:
=a
=b
=c
sin 2 sin 2
cos 2
sin 2 sin 2
cos 2
sin 2 sin 2
.
cos 2
Beweis. Aus der Skizze folgt:
=
= c1 =
2
c1
tan 2
tan =
= c2 =
2
c2
tan 2
tan
Wegen c = c1 + c2 folgt:
+
tan 2
tan 2

c tan tan = tan + tan

2
2
2
2
c=
= c
Es gilt tan x =
sin x
cos x
tan 2 tan 2
tan 2 + tan 2
und deshalb:
= c
= c
2 sin 2
cos
2
2
2 cos 2 +sin 2
cos
cos
2
2
sin
cos
sin
cos
sin 2 sin 2
sin 2 cos 2 + sin 2 cos 2
Nach den Summens

atzen gilt der Zusammenhang
sin x cos x + sin y cos x = sin (x + y)
Deshalb gilt:
sin

+
2
2

= sin
2
2
= cos
2
cos + sin cos = sin

2
2
2
2
39

= = c
sin 2 sin 2
cos 2
analog folgt:
=a
=b
sin 2 sin 2
cos 2
sin 2 sin 2
cos 2
40
Kapitel 9
Winkelfunktionsabsch
atzungen
Satz. Seien , , die Winkel eines Dreiecks, so gelten folgende Beziehungen:
sin sin
2
2
2
1 < sin + sin + sin

2
2
2
3
sin2 + sin2 + sin2

4
2
2
2
0 < cos cos cos

2
2
2
2 < cos + cos + cos

2
2
2
2
2
2
0 cos
+ cos
+ cos
2
2
2
0 sin
1
8
3
<1
0 < sin sin sin

0 < sin + sin + sin
0 < sin2 + sin2 + sin2
1 < cos cos cos
1 < cos + cos + cos
3 3
8
3 3
2
1
4
3 3
8
3 3
2
9
4
1
8
3
2
3
cos2 + cos2 + cos2 < 3
4
tan + tan + tan 3

2
2
2
(9.1)
(9.2)
(9.3)
(9.4)
(9.5)
(9.6)
(9.7)
(9.8)
(9.9)
(9.10)
(9.11)
(9.12)
(9.13)
Beweis. Zum Beweisen der Ungleichungen

kann
meist Jensen (vgl. 6.1.) verwendet werden (sin x
ist konkav auf [0, ], cos x ist konkav auf 0, 2 und tan x ist konvex auf 0, 2 [ usw.). Alle Beweise
funktionieren relativ
ahnlich, deshalb sei hier nur einer gezeigt: Satz 9.1.
41

KAPITEL 9. WINKELFUNKTIONSABSCHATZUNGEN
Es gilt nach GM AM (vgl. Satz 2.1.):

r
sin 2 + sin 2 + sin 2
3
sin sin sin
2
2
2
3
3
sin sin sin

2
2
2
Da sin x im Intervall [0, ] konkav ist und da
!3

2, 2, 2

3
sin sin
2
2
2
sin sin sin

2
2
2
= sin
[0, ] gilt nach Jensen:

!
+
+
2
2
sin 2
3
1
= sin
=
6
2
3
1
2
1
Gleichheit gilt bei der Mittelungleichung nur bei = = und tatsachlich gilt genau im Gleichseitigen Dreieck Gleichheit.
Beispiel 9.1.1. Beweis der Eulerschen Ungleichung (vgl. Satz 11.1.). Es sei bzw. R der Inkreis
bzw. Umkreisradius eines Allgemeinen Dreiecks, man zeige, dass dann
2 R
gilt. Wann gilt Gleichheit?
L
osung. Es gilt nach Satz 8.13. und Satz 8.15.: R =
c
2 sin
und = c
sin
2 sin
cos 2
. Somit ergibt sich:
sin 2 sin 2 !
c
cos 2
2 sin
!
4 sin sin sin cos

2
2
2
2c
Es gilt nach den Summens

atzen (vgl. Satz 8.4.):
sin 2x = 2 sin x cos x
Und deshalb gilt auch:
sin = 2 sin
cos
2
2
Damit ergibt sich:

8 sin
sin sin cos cos

2
2
2
2
2
1
sin sin sin
2
2
2
8
Und dies entspricht Satz 9.1. Gleichheit gilt also genau im gleichseitigen Dreieck.
42
Kapitel 10
Dreiecksungleichung
Satz 10.1. Seien a, b, c die Seiten eines Dreiecks (in beliebiger Auswahl), so gilt:
ca+b
F
ur Vektoren ~a, ~b gilt also:

~a + ~b |~a| + ~b .
Bemerkung. Die Dreiecksungleichung ist aquivalent zur Cauchy-Schwarzschen Ungleichung

(vgl. Satz 3.1.), denn es gilt nach der Dreiecksungleichung:

~a + ~b |~a| + ~b .
Dies ist f
ur Vektoren ~a =
a1
a2
..
.
~
,b =
an
b1
b2
..
.
aquivalent zu:
bn
v
v
v
u n
u n
u n
uX
uX
uX
2
2
t
t
(ai + bi )
ai + t
b2i
i=1
n
X
i=1
(ai + bi )2
i=1
i=1
v
u n
n
n
n
X
X
uX X
2
a + 2t
a2
b2 +
b2
i
i=1
{z
i=1
i=1
i=1
P
Pn
Pn
2
2
= n
i=1 ai +2
i=1 ai bi +
i=1 bi
n
X
v
u n
n
uX X
2
t
ai
b2i
ai bi 2
i=1
n
X
i=1
!2
ai bi
i=1
n
X
i=1
i=1
!
a2i
n
X
!
b2i
i=1
Und dies entspricht genau der Cauchy-Schwarzschen Ungleichung, also sind die beiden Ungleichungen
aquivalent (und somit ist die Dreiecksungleichung auch bewiesen).
43
KAPITEL 10. DREIECKSUNGLEICHUNG

GWB 2002 (in leicht abgewandter Form)) Im konvexen (alle Innenwinkel
kleiner als 180 ) Sechseck ABCDEF mit dem Umfang s haben die Diagonaldreiecke ACE bzw.
BDF die Umf
ange u bzw. v. Man zeige die Ungleichung
1 (1) s (2)
<
< 1.
2
u+v
L
osung. (1): Wir betrachten zun
achst die Dreiecke ABC, BCD, CDE, DEF, EF A, F AB, nach
der Dreiecksungleichung in diesen Dreiecken:
AC < AB + BC
BD < BC + CD
..
.
F B < F A + AB
Und durch Summation erh
alt man:
AC + BD + + F B < 2 AB + 2 BC + + 2 AB
u+v <2s
s
1
<
2
u+v
(2): Wir betrachten daf
ur die Dreiecke AGB, BHC, CID, DJE, EKF, F LA, wieder gilt nach der
Dreiecksungleichung:
AB < AG + GB
BC < BH + HC
..
.
F A < F L + LA
Und durch Summation erh
alt man erneut:
AB + BC + + F A < AG + GB + BH + HC + + F L + LA
|
{z
} |
{z
}
s
<AC+BD++F B=u+v
s<u+v
s
< 1.
u+v
44
Kapitel 11
Eulersche Ungleichung
Satz 11.1. Seien bzw. R der In- bzw. Umkreisradius eines beliebigen Dreiecks, so gilt immer:
2 R
(Mit Gleichheit im gleichseitigen Dreieck)
Beweis. Die Eulersche Ungleichung l

asst sich besonders vielfaltig zeigen. 4 Moglichkeiten sind hier
kurz beschrieben, da sie sehr n
utzliche Ansatze zum Beweisen von geometrischen Ungleichungen
enthalten:
Wie schon im Kapitel 7 erw
ahnt lasst sich diese geometrische Ungleichung auf eine algebraische Ungleichung zur
uckf
uhren, namlich auf die Ungleichung von Schur (vgl. Satz 7.4.).
Dazu beschreibt man beide L
angen mit den bekannten Formeln (vgl. Satz 8.12. und 8.14.)
abc
4F
F
=
s
R=
und erh
alt genau:
(a + b c)(a b + c)(a + b + c) abc
was genau der Ungleichung von Schur entspricht.
Man kann auch mithilfe von Winkelfunktionen die beiden Radien ausdr
ucken, und die entstehende Ungleichung dann mithilfe der Ungleichung von Jensen beweisen (vgl. Beispiel 9.1.1.)
Bereits Leonhard Euler selbst gelang es, die Entfernung von In- und Umkreismittelpunkt zu
berechnen:
p
IU = R(R 2)
Da IU R0 sein muss, l
asst sich die Eulersche Ungleichung unmittelbar aus dieser geometrischen Identit
at folgern.
Die Eulersche Ungleichung l

asst sich auch durch geometrische Uberlegungen
beweisen: Es
ist bekannt, dass es in jedem Dreieck einen Kreis gibt, der durch die Mittelpunkte der
Seiten, die Fupunkte der H
ohen und die Mittelpunkte der oberen Hohenabschnitte verlauft
- den Feuerbachkreis. Dieser hat zusatzlich die Eigenschaften, den Inkreis einschlielich (von
auen) zu ber
uhren und einen Radius von exakt der Halfte des Umkreisradius zu besitzen.
Damit ergibt sich sofort die Eulersche Ungleichung.
45
KAPITEL 11. EULERSCHE UNGLEICHUNG
Beispiel 11.1.1. Seien a, b, c die Seiten eines Dreiecks, man zeige:

(s a)(s b)(s c)
abc
.
8
Wann gilt Gleichheit?

L
osung.
!
8s(s a)(s b)(s c) sabc

Nach der Heronschen Fl
achenformel (vgl. Satz 8.1.) gilt F =
s(s a)(s b)(s c) und somit:
8F 2 sabc
2
Es ist bekannt, dass R =
abc
4F
und =
F
s
F ! abc
s
4F
(vgl. Satz 8.12. und Satz 8.14.) und damit ergibt sich:
2 R
Dies entspricht der Eulerschen Ungleichung und ist somit bewiesen.
46
Kapitel 12
Ungleichung von Leibniz
Satz 12.1. Seien a, b, c die Seiten und R der Umkreisradius eines beliebigen Dreiecks, so gilt:
a2 + b2 + c2 9R2
(Gleichheit gilt im gleichseitigen Dreieck.)
Beweis. Es gilt nach dem Sinus-Satz:

a
b
c
=
=
sin
sin
sin
c sin
= a =
sin
c sin
b=
sin
Und damit ergibt sich:
c
Auerdem gilt R =
c
2 sin
sin2 + sin2
+1
sin2
9R2
(vgl. Satz 8.12.) und somit:

!
c2
c2
2
2
2
2 (sin + sin + sin ) 9
sin
4 sin2
9
sin2 + sin2 + sin2
4
Dies entspricht genau Satz 9.9. und ist somit bewiesen.

Beispiel 12.1.1. Seien , , die Winkel eines Dreiecks, man zeige:
0 < sin + sin + sin
3
3
2
Wann gilt Gleichheit?

L
osung. Nach der Ordnungsungleichung (vgl. Satz 4.1.):
(sin + sin + sin )2 3(sin2 + sin2 + sin2 )
47
KAPITEL 12. UNGLEICHUNG VON LEIBNIZ
Die Ungleichung von Leibniz besagt:

a2 + b2 + c2 9R2
und da a = 2R sin , b = 2R sin , c = 2R sin gilt (vgl. Satz 8.13.), gilt also auch:
sin2 + sin2 + sin2
9
4
Damit ergibt sich aber:

(sin + sin + sin )2 3(sin2 + sin2 + sin2 )
sin + sin + sin
3
3
2
39
4
Gleichheit kann nur gelten, wenn bei der Ungleichung von Leibniz Gleichheit gilt. Dies gilt nur im
gleichseitigen Dreieck und tats
achlich gilt genau f
ur = = der Gleichheitsfall.
48
Kapitel 13
Ungleichung von Erdo

s-Mordell
Satz 13.1. Es sei ABC ein allgemeines Dreieck. W

ahlt man einen beliebigen Punkt P im Inneren
von ABC und bezeichnet mit D, E, F die Normalprojektion von P auf BC, CA, AB, so gilt:
2(P D + P E + P F ) P A + P B + P C
Beweis. Es seien AP = R1 , BP = R2 , CP = R3 , DP = r1 , EP = r2 , F P = r3 , BAC =

, CBA = , ACB = .
Wir betrachten zun
achst das Viereck AF P E:
Da die Winkel AF P und AEP sublementar
sind (sich auf 180 erg
anzen) ist dies ein
Sehnenviereck und damit ist:
F P E = 180 .
Analog sind auch F BDP und DCEP Sehnenvierecke und damit gilt auch:
F P D = 180
DP E = 180
Da AEP = 90 hat der Umkreis von AF P E den Radius R21 . Darum hat auch der Umkreis des
Dreiecks AF E den Radius R21 . In einem Dreieck gilt aber, f
ur a, b, c dessen Seiten und R dessen
Umkreisradius (vgl. Satz 8.13.):
R=
2b
2c
2a
=
=
sin
sin
sin
Darum gilt (in Betrachtung des Dreiecks AF E):

R1 =
EF
sin
49

KAPITEL 13. UNGLEICHUNG VON ERDOS-MORDELL
Und analog folgt in den Dreiecken F BD und DCE:

FD
sin
DE
R3 =
sin
R2 =
Nun betrachten wir das Dreieck F P E: nach dem Cosinus-Satz gilt:

2
EF = P F + P E 2P F P E cos(180 ).
Wobei cos(180 ) = cos(+) = cos cos sin sin (letzteres gilt aufgrund der Summensatze
vgl. Satz 8.3.) gilt. Setzt man dies ein, so erhalt man:
2
EF = r32 + r22 + 2r2 r3 sin sin 2r2 r3 cos cos

= r32 (sin2 + cos2 ) + r22 (sin2 + cos2 ) + 2r2 r3 sin sin 2r2 r3 cos cos
= (r3 sin + r2 sin )2 + (r3 cos r2 cos )2
(r3 sin + r2 sin )2
Also:
EF r3 sin + r2 sin
Und analog folgt:
DF r3 sin + r1 sin
DE r1 sin + r2 sin
Durch obiges erh
alt man also:
r3 sin + r2 sin
R1
sin
r3 sin + r1 sin
R2
sin
r1 sin + r2 sin
R3
sin
Durch Summation erh
alt man:

sin
sin
sin
sin
sin
sin
r1
+
+ r2
+
+ r3
+
R1 + R2 + R3
sin
sin
sin
sin
sin sin
Lemma 13.1.1. Es seien a, b positive reelle Zahlen, so gilt:

2
a
b
+ .
b
a
Demnach gilt:

2(r1 + r2 + r3 ) r1
sin
sin
+
sin
sin
+ r2
sin
sin
+
sin
sin
Und somit:
2(r1 + r2 + r3 ) R1 + R2 + R3
50

+ r3
sin
sin
+
sin sin
Kapitel 14
Ungleichung von Weitzenbo

ck
Satz 14.1. Im allgemeinen Dreieck mit Seitenl

angen a, b, c und Fl
acheninhalt F gilt:
4F 3 a2 + b2 + c2
(Gleichheit gilt im gleichseitigen Dreieck)
Beweis. Es ist c2 = a2 + b2 2ab cos und F = 21 ab sin , also gilt:
a2 + b2 + c2 4F 3 = 2(a2 + b2 ) 2ab cos 2 3ab sin =
1
3
sin ) =
= 2(a2 + b2 ) 4ab( cos +
2
2
= 2(a2 + b2 ) 4ab(cos cos + sin sin )

3
3
Nach den Summens
atzen (vgl. Satz 8.3.) ist:
cos
cos + sin sin = cos( )

3
3
3
Und damit:
a2 + b2 + c2 4F 3 = 2(a2 + b2 ) 4ab cos( )

| 3{z }
2
= a + b + c 4F 3 2(a 2ab + b ) = 2(a b)2 0
a2 + b2 + c2 4F 3 0
a2 + b2 + c2 4F 3
Wobei Gleichheit f
ur a = b und cos( 3 ) = 1, also nur im gleichseitigen Dreieck gilt.
51
Teil III
Beispiele
52
Kapitel 15
Angaben
1. Gesucht seien alle n N3 , f
ur die gilt:
(n + 1)n < nn+1
2. Man zeige f
ur alle a, b R2 :
(a + b)4 8(a4 + b4 )
3. (Verallgemeinerung von 2.) Man zeige f

ur alle a, b R+ und n N:
(a + b)n 2n1 (an + bn )
4. Man zeige f
ur alle a, b, c R+ :
(a + b + c)(a b + c)(a + b c) abc
5. Man zeige f
ur alle n N>1 :

n! <
n+1
2
n
6. Man zeige f
ur alle a1 , a2 , . . . , an R+ und alle n N:
r
a21 + a22 + + a2n
a1 + a2 + + an
n
n
7. Seien a, b, c die Seiten eines Dreiecks. Man zeige:
3(a + b)(b + c)(c + a) 8(a3 + b3 + c3 )
8. Seien a, b, c die Seiten eines Dreiecks. Man zeige:
8abc (a + b)(b + c)(c + a)
9. Seien , , die Winkel eines Dreiecks. Man zeige:
sin
1
sin sin
2
2
2
8
10. Seien , , die Winkel eines Dreiecks. Man zeige:

1 < cos + cos + cos
53
3
2
KAPITEL 15. ANGABEN
11. Man zeige f

ur alle u, v, w R+ :
vw wu uv
+
+
u+v+w
u
v
w
12. Man zeige f
ur alle a R1 :
1
<2 a a1
a
13. Man zeige f

ur alle a, b R+ :

p

a+b 2 2
ab a2 + b2
54
Kapitel 16
Lo
sungen
Beispiel 1. Gesucht seien alle n N3 , f
ur die gilt:
(n + 1)n < nn+1
L
osung. Durch Probieren erhalten wir:
n = 0:
1<0
n = 1:
2<1
n = 2:
9<8
n = 3:
64 < 81 X
Wir vermuten, dass der Term auf der rechten Seite schneller wachst, als der auf der linken und
behaupten somit, dass die Aussage f
ur alle n 3 gilt. Wir beweisen die Behauptung mittels
vollst
andiger Induktion:
Induktionsbasis:
n = 3.
Induktionsannahme:
(n + 1)n < nn+1
Induktionsschritt:
!
(n + 2)n+1 < (n + 1)n+2

Es gilt:
(n + 2)n+1 =
(n + 2)n+1
(n + 1)n
(n + 1)n
Laut Induktionsannahme gilt:

(n + 2)n+1
(n + 2)n+1 n+1
n
(n
+
1)
<
n
(n + 1)n
(n + 1)n
55

KAPITEL 16. LOSUNGEN
Es bleibt also zu zeigen:

(n + 2)n+1 n+1 !
n
< (n + 1)n+2
(n + 1)n

(n + 1)n
(n + 2)n+1 nn+1 < (n + 1)n+2 (n + 1)n

1
n+1
!

(n (n + 2))n+1 < (n + 1)2n+2
!
n (n + 2) < (n + 1)2
!
n2 + 2n < n2 + 2n + 1

(n2 + 2n)
0 < 1 w.A.
Beispiel 2. Man zeige f

ur alle a, b R2 :
(a + b)4 8(a4 + b4 )
L
osung 1. Wir betrachten zuerst eine etwas einfachere Abwandlung der Aufgabe:
4 2:
!
(a + b)2 2(a2 + b2 )
(1)

a2 + 2ab + b2 2(a2 + b2 ) (a2 + 2ab + b2 )
!
0 a2 2ab + b2
0 (a b)2
w.A. mit Gleichheit bei a = b
Es gilt:
(a + b)4 = (a + b)2
2
(1)
2 a 2 + b2
(1)
2
4 2 a4 + b

4
= 4 a2 + b2
= 8 a4 + b
2
(1)

4
Somit gilt die Aussage, mit Gleichheit bei a = b.

L
osung 2. Wir reduzieren die Behauptung auf a, b 0: Es gilt namlich:
4
(a + b)4 = |a + b|
Laut U ngl.
(|a| + |b|)
|{z}

4
4
8 |a| + |b| = 8 a4 + b4
U ngl. reduziert auf a,b0
Die Ungleichung gilt also falls sie f

ur a, b 0 gilt auch f
ur negative. Sei also o.B.d.A.: a, b 0:
Der Fall a = 0 oder b = 0 ist trivial, deshalb sei ab nun a, b > 0:
4
(a + b)4 8 a4 + b4
:b

a
4
a 4
+1 8
+1
b
b
56

Sei c = ab : Aufgrund der Symmetrie in a und b sei o.B.d.A. a b = c 1:

(c + 1)4 8 c4 + 1
c4 + 4c3 + 6c2 + 4c + 1 8c4 + 8
0 7c4 4c3 6c2 4c + 7
Sei c = d + 1 mit d 0:

0 7 d4 + 4d3 + 6d2 + 4d + 1 4 d3 + 3d2 + 3d + 1 6 d2 + 2d + 1 4(d + 1) + 7
0 7d4 + 24d3 + 24d2
{z
}
|
w.A. da d0

ur alle a, b R+ und n N:
(a + b)n 2n1 (an + bn )
L
osung. Wir beweisen die Behauptung mithilfe vollstandiger Induktion.
Induktionsbasis:
n = 1, da
(a + b)1 20 (a1 + b1 )
gilt.
Induktionsannahme:
(a + b)n 2n1 (an + bn )
Induktionsschritt:
!
(a + b)n+1 2n (an+1 + bn+1 )

Reduktion auf eine Variable:

!

(a + b)n+1 2n (an+1 + bn+1 ) : bn+1
n+1

n+1 !
a
a
n
+1
2
+1
b
bn+1
Sei c = ab : Aufgrund der Symmetrie in a und b sei o.B.d.A. a b = c 1:
!
(c + 1)n+1 2n (cn+1 + 1)
Nach der Substitution in der Induktionsannahme gilt:
(c + 1)n 2n1 (cn + 1)
= (c + 1)n+1 2n1 (cn + 1) (c + 1)
Es bleibt also zu zeigen:

!n

2n1 (cn + 1) (c + 1) (cn+1 + 1) : 2n1

!

cn+1 + cn + c + 1 2cn+1 + 2 (cn+1 + cn + c + 1)
!
0 cn+1 cn c + 1
0 (cn 1) (c 1)
{z
}
|
0 da c1
57


ur alle a, b, c R+ :
(a + b + c)(a b + c)(a + b c) abc
L
osung. Die Ungleichung ist symmetrisch in a, b, c, deshalb konnen wir o.B.d.A. annehmen a
b c.
Sei also:
b=a+h
c=a+k
mit k h 0.
Es ergibt sich damit:
!
(a + h + k) (a h + k) (a + h k) a (a + h) (a + k)
!
(a + h + k) (a (h k)) (a + (h k)) a (a2 + ha + ka + hk)

!
(a2 (h k)2 ) (a + h + k) a3 + ha2 + ka2 + ahk

!
(h k)2 (a + h + k) ahk

(a3 + ha2 + ha2 )
| + (h k)2 (a + h + k)
0 |{z}
ahk + (h k)2 (a + h + k) w.A.
{z
}
| {z } |
0
Es tritt genau dann Gleichheit ein, wenn alle Glieder rechts = 0 sind:
ahk = 0
(1)
(h k) (a + h + k) = 0
(2)
Da a > 0 gilt, weil a die Seite eines Dreiecks ist, folgt aus (1) h = 0 k = 0
1. Fall: h = 0:
0 = k 2 (a + k)
k=0
a=b=c
2. Fall: k = 0: Da k h 0 Vorraussetzung war folgt sofort:
k=h=0
a=b=c
Es gilt also genau dann Gleichheit, wenn a = b = c gilt.
ur alle n N>1 :

n! <
n+1
2
n
L
osung 1. Wir nehmen an, dass die rechte Seite der Ungleichung schneller wachst, als die linke
und versuchen die Ungleichung somit mithilfe vollstandiger Induktion zu beweisen:
Induktionsbasis:
n = 2, da:
2<
2
3
= 2, 25
2
58

Induktionsannahme:

n! <
Induktionsschritt:
n+1
2
Falls
(n + 1)!
<
n!
n
n+2 n+1
2

n+1 n
2
gilt, gilt auch

n+1
n+2
(n + 1)! <
2
n+1
(n + 1)! ! n+2
2
n
= z.z. :
< n+1
n!
2

(n + 2)n+1
2(n + 1)n
! (n + 2)n+1
1 <
2(n + 1)n+1

n+1
!
n+2
2 <
n+1
!
(n + 1) <

: (n + 1)

2

=
1
1+
n+1
n+1
Wir verwenden die Bernoulli Ungleichung als Lemma: Sei x R>1 mit x 6= 0 und n N>1 so
gilt:
1 + (n + 1) x < (1 + x)n+1
Setzt man x =
1
n+1 ,
so erh
alt man:

1+
1
n+1
n+1
> 1 + (n + 1)
1
=2
n+1
L
osung 2. Wir beweisen die Behauptung mithilfe der Geometrisch - Arithmetischen Mittelungleichung: Demnach gilt: Seien a1 , a2 , . . . , an R+ und n N so gilt:
a1 a2 an
a1 + a2 + + an
n
Mit Gleichheit bei a1 = a2 = = an .

Setzt man nun a1 = 1, a2 = 2, . . . , an = n, so erhalt man, da a1 6= a2 6= 6= an :
1 + 2 + + n
n
n(n+1)
n
n

2
n! <

n

n
n+1
n! <
2
1 2n <
Und dies ist genau die zu beweisende Aussage.

ur alle a1 , a2 , . . . , an R+ und alle n N:
r
a21 + a22 + + a2n
a1 + a2 + + an
n
n
L
osung. Wir beweisen die Behauptung mithilfe Vorwarts - R
uckwarts Induktion:
59

Vorw
artsschritt:
Zun
Induktionsbasis:
F
ur n = 2 gilt:
r
a21 + a22 ! a1 + a2 2

2
2
a2 + a22 ! a21 + 2a1 a2 + a22
1
4
2
4

!

2a21 + 2a22 a21 + 2a1 a2 + a22 (a21 + 2a1 a2 + a22 )
(a1 a2 )2 0
Induktionsannahme:
Induktionsschritt:
Es gilt:
w.A.

r
a21 + a22 + + a2n
a1 + a2 + + an
n
n
Wir versuchen nun die Aussage f

ur 2n zu beweisen:
a1 +a2 ++an
n
a1 + a2 + + a2n
=
2n
ur 2 gilt:
a1 +a2 ++an
n
an+1 +an+2 ++a2n

n
an+1 +an+2 ++a2n

n
v
u
u
t
ur n gilt:
v

2
u
u a1 +a2 ++an 2
++a2n
+ an+1 +an+2
t
n
n
2

a1 +a2 ++an 2
n
an+1 +an+2 ++a2n

n
2
v
q 2
uq
2
u a21 +a22 ++a2n 2
an+1 +a2n+2 ++a22n
t
+
n
n
2
r
a21 + a22 + + a22n

2n
r
2
2
a1 + a2 + + a22n
2n
=
a1 + a2 + + a2n
2n
Somit haben wir die Aussage f

ur alle 2er - Potenzen bewiesen.
R
uckw
artsschritt:
Nun zeigen, wir die Aussage f

ur n 1 mithilfe der Aussage f
ur n:
Induktionsannahme:
Induktionsschritt:
Es gilt:
r
a21 + a22 + + a2n
a1 + a2 + + an
n
n
Nach der Induktionsannahme gilt:

r
a21 + a22 + + a2n
a1 + a2 + + an
n
n
sei
s
an =
a21 + a22 + a2n1

n1
60

Es gilt praktischerweise:
v
u
q 2 2
2
2
u 2
n1
t a1 + a22 + a2n1 + a1 +a2 +a
2
n
=
a1 + a2 + + an1 +
n
s
a1 + a2 + + an1 +
a21 +a22 +a2n1

n1
a21 + a22 + a2n1

n1
a1 + a2 + + an1
a1 + a2 + + an1
n1
s
=
a21 + a22 + a2n1

n1
a21 + a22 + a2n1

|n
n1
s
s
a21 + a22 + a2n1
a21 + a22 + a2n1
n

n1
n1
s
a21 + a22 + a2n1
(n 1)
: (n 1)
n1
s
a21 + a22 + a2n1
n1
Damit haben wir auch gezeigt, dass aus der G

ur n die G
ultikeit der Aussage
f
ur n 1 folgt und somit haben wir die Aussage f
ur alle nat
urlichen Zahlen n bewiesen.
Beispiel 7. Seien a, b, c die Seiten eines Dreiecks. Man zeige:
3(a + b)(b + c)(c + a) 8(a3 + b3 + c3 )
L
osung.
!
3(a + b)(b + c)(c + a) 8(a3 + b3 + c3 )

Die Ungleichung ist symmetrisch in a, b, c, deshalb sei o.B.d.A.: a b c. Die Ungleichung ist
auerdem homogen, deshalb sei o.B.d.A.: a = 1. Sei also:
b=1+h
c=1+k
!

3(2 + h)(2 + h + k)(2 + k) 8 1 + (1 + h)3 + (1 + k)3
!

3 8 + 2h2 + 8h + h2 k + 6hk + hk 2 + 8k + 2k 2 8 3 + h3 + 3h2 + 3h + k 3 + 3k 2 + 3k
!

0 8 3 + h3 + 3h2 + 3h + k 3 + 3k 2 + 3k 3 8 + 2h2 + 8h + h2 k + 6hk + hk 2 + 8k + 2k 2
!
0 8h3 + 18h2 + 8k 3 + 18k 2 3h2 k 3hk 2 18hk

2
0 |{z}
8h3 + |18h
2k 3 + 18k(k h) + 3k 2 (k h) + 3k(k 2 h2 )
{z } + |{z}
| {z } | {z } |
{z
}
0
Beispiel 8. Seien a, b, c die Seiten eines Dreiecks. Man zeige:

8abc (a + b)(b + c)(c + a)
L
osung.
!
8abc (a + b)(b + c)(c + a)
61
w. A.

Die Ungleichung ist symmetrisch in a, b, c, deshalb sei o.B.d.A.: a b c. Die Ungleichung ist
auerdem homogen, deshalb sei o.B.d.A.: a = 1. Sei also:
b=1+h
c=1+k
!
8 1 (1 + h)(1 + k) (2 + h)(2 + h + k)(2 + k)

!
8 + 8h + 8k + 8hk 8 + 2h2 + 8h + h2 k + 6hk + hk 2 + 8k + 2k 2

!
0 h2 + h2 k + hk 2 + k 2 + h2 2hk + k 2
0 h2 + h2 k + hk 2 + k 2 + (h k)2

(8 + 8h + 8k + 8hk)
w. A.
Beispiel 9. Seien , , die Winkel eines Dreiecks. Man zeige:

sin
1
sin sin
2
2
2
8
L
osung 1.
! 1
sin sin
2
2
2
8
Laut Summens
atzen gilt f
ur beliebige Winkel , :
sin
cos( + ) = cos cos sin sin
(1)
cos( ) = cos cos + sin sin
(2)
cos( ) cos( + ) = 2 sin sin
(3)
(2)(1):
Ersetzt man nun =
und =
cos
2,
so erhalt man:
cos
= 2 sin sin
2
2
2
2
(3)

+

= cos 90
= sin
2
2
2
(4)
Auerdem gilt:
cos
Es gilt also:
+
= sin
2
2
cos
1
2
(4)
cos
(5)
Aus (3), (4) und (5) folgt:
sin 1 sin
2
2
2

1 sin 2 + sin 2

1 sin
sin
2
2
2
|
{z
}
2 sin
= 2 sin
sin sin
2
2
2
Gilt nach der geometrischarithmetischen M ittelungleichung
= sin
1
sin sin
2
2
2
8
Damit ist die Aussage bewiesen.

62
1
4

L
osung 2.
sin
! 1
sin sin
2
2
2
8
Wir ersetzen sin 2 , sin 2 , sin 2 durch die uns bekannte Sinus - Formel (siehe Kapitel 5.3) und
erhalten somit:
r
r
r
(s b)(s c) (s a)(s c) (s a)(s b) ! 1
bc
ac
ab
8
r
2
2
2
!
(s a) (s b) (s c)
1
a2 b2 c2
8
(s a)(s b)(s c) ! 1
abc
8
s(s a)(s b)(s c) ! 1
2abc
sabc
8
s(s a)(s b)(s c) ! abc
2
s
4
p
Nach der Heronschen Fl
achenformel gilt A = s(s a)(s b)(s c)
= 2
A2 ! abc
s
4

:A
A ! abc
s
4A
A
s
Setzen wir die uns bekannten Formeln f

ur den Inkreisradius =
ein, so erhalten wir:
2 R
und den Umkreisradius R =
abc
4A
Und dies entspricht der Eulerschen Ungleichung, ist somit also bewiesen.
Beispiel 10. Seien , , die Winkel eines Dreiecks. Man zeige:
I
II
3
2
3
2
1 < cos + cos + cos

L
osung.
1 < cos + cos + cos
Wir ersetzen cos + cos + cos wiefolgt:
Es gilt:
= 180 ( + )
= cos = cos( + )
= cos + cos + cos 1 = cos + cos
(1 + cos( + ))
|
{z
}
=2 cos2
+
2
laut Summensatz

2 +
= cos + cos 2 cos
2
Laut Summens
atzen gilt f
ur beliebige Winkel , :
cos( + ) = cos cos sin sin
(1)
cos( ) = cos cos + sin sin
(2)
63

(1)+(2):
cos( + ) + cos( ) = 2 cos cos
(3)
cos( ) cos( + ) = 2 sin sin
(4)
(2)(1):
Ersetzt man in (3) + = und = so erhalt man:

cos + cos = 2 cos
Ersetzt man in (4) =
und =
cos
cos
2
2
(3)
so erhalt man:
cos
= 2 sin sin
2
2
2
2
Somit ergibt sich:

(3)
2 +
=
cos + cos + cos 1 = cos + cos 2 cos
2

+
(3)
2 +
= 2 cos
cos
cos
=
2
2
2

+ (4)
+
cos
cos
=
= 2 cos
2
2
2
+
(4)
= 4 cos
sin sin
2
2
2
Es gilt:

+

= cos 90
= sin
2
2
2
+
sin sin =
= cos + cos + cos 1 = 4 cos
2
2
2
= 4 sin sin sin

2
2
2
cos
I:
!
1 < cos + cos + cos

Nach der obigen Rechnung gilt:
sin sin + 1
2
2
2
0 < 4 sin sin sin

2
2
2
Und dies gilt da f
ur alle Winkel ]0, 180[ gilt sin > 0.
!
1 < 4 sin
II:
cos + cos + cos
3
2
sin sin + 1
2
2
2
!
4 sin sin sin
2
2
2
!
sin sin sin
2
2
2
3
2
1
2
1
8
Nach der obigen Rechnung gilt:

4 sin

1

:4
Damit ist die Ungleichung

aquivalent zum Beispiel 9., das wir schon bewiesen haben.
64
(4)


ur alle u, v, w R+ :
vw wu uv
+
+
u+v+w
u
v
w
L
osung. Die Ungleichung ist symmetrisch, deshalb sei o.B.d.A.:

uvw :u
v
w
1
u
u
Wir dividieren die zu zeigende Ungleichung ebenfalls durch u und es bleibt somit zu zeigen:
v
vw w
v !
w
+ + 1+ +
u2
v
w
u
u
Sei x =
v
u
und y =
w
u:
xy +
y
x !
+ 1+x+y
x y
Nebenrechnung:
x y !
+ 2
y
x
!

xy
x2 + y 2 2xy

2xy
x2 2xy + y 2 0
(x y)2 0
= xy +
w.A.
!
y
x
+ xy + 2 1 + x + y
x y

(1 + x + y)
xy x y + 1 0
(x 1)(y 1) 0
w.A.
Und dies gilt da 1 x y gilt.

Gleichheit gilt in der Nebenrechnung bei x = y und bei (1) bei x = 1 y = 1, es gilt somit
Gleichheit bei x = y = 1.
ur alle a R1 :
1
<2 a a1
a
L
osung.
1 !
<2 a a1
a
1 !
< 2 a a 1
a
1 !
a (a 1)
< 2
a
a+ a1
a + a 1 < 2 a w.A.
65
a+ a1
a+ a1

a+ a1
a


ur alle a, b R+ :

p

a+b 2 2
ab a2 + b2
L
osung.

! p

a+b 2 2
ab a2 + b2 + 2 2
ab
2

! p

ab
a + b a2 + b2 + 2 2

p

!

ab a2 + b2 + 6 4 2 ab a2 + b2 6 4 2 ab
a2 + 2ab + b2 a2 + b2 + 2 2 2

p
!

4 2 4 ab 2 2 2
ab a2 + b2 : ab : 2

p
!
ab 2 2
a2 + b2
2 2 2

p
!
2 2 2
ab 2 2
a2 + b2

! p

2 ab a2 + b2 : 2
r
a2 + b2
w.A.
ab
2

: 2 2
Und dies entspricht der Geometrisch - Quadratischen Mittelungleichung, ist somit also bewiesen.
66
Literaturverzeichnis
[1] Godfrey Hardy FRS; John Littlewood FRS; George Polya. Inequalities. 1952. Second Edition.
[2] http://www.mathe-online.at/mathint/vect2/i.html.
[3] Univ.Prof. i.R. Dr. Gerd Baron; Birgit Vera Schmidt. Osterreichische
Mathematik-Olympiaden
2000-2008. Aufgaben und L
osungen. 2009.
[4] Prof. Mag. Karl Czakler. Ungleichungen. Skriptum f

ur den OMO-Vorbereitungskurs
in Raach
am Hochgebirge.
[5] Felix Dr
axler. Die Ungleichung von Jensen - und ausgew
ahlte Erweiterung zum L
osen von
Ungleichungen, 2010. Fachbereichsarbeit.
[6] Prof. Mag. Dr. Robert Geretschlager. Ungleichungstheorie.
Vorbereitungskurs in Raach am Hochgebirge.
Skriptum f
ur den OMO-
[7] O.Univ.-Prof. Dr.phil. Robert Tichy. Vorlesung: Mathematik-Olympiade zum Thema Ungleichungen, 2009 - 2011.
67

Inequalities Maierhofer

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Inequalities Maierhofer

Hochgeladen von

Copyright:

Verfügbare Formate

Skriptum zur Vorlesung

22. Marz 2012

4 Ordnungsungleichung und Tschebyschew-Ungleichung

6 Ungleichung von Jensen

7 Ungleichung von Schur

8 Wichtige Formeln und Ausdr

12 Ungleichung von Leibniz

13 Ungleichung von Erd

14 Ungleichung von Weitzenb

auf sogenannten Axiomen = nicht begr

Daraus ergibt sich die logische Folgerung:

Bemerkung. Aus dieser Ungleichung folgt unmittelbar:

Die sogenannten Mittelungleichungen f

Mithilfe der vollst

Diese lautet hier also:

Induktionsschritt: Wir versuchen nun also die Behauptung f

Substitution, wie im folgenden Beispiel) erreichen.

Diese lautet hier also:

Wir versuchen nun also mithilfe der Induktionsannahme die Aussage f

xn+1 +xn+2 ++x2n

xn+1 +xn+2 ++x2n

x1 + x2 + + xn xn+1 + xn+2 + + x2n

xn+1 xn+2 x2n

Somit haben wir die Aussage f

Nun zeigen wir die Aussage f

Nach der Induktionsannahme gilt:

Damit haben wir auch gezeigt, dass aus der G

Satz 2.1. Es seien x1 , x2 , . . . , xn R+ , dann gilt:

x21 + x22 + + x2n

Harmonisches Mittel Geometrisches Mittel

Beweis. (2) und (3) lassen sich mithilfe von Vorwarts-R

Beispiel 2.1.1. (OMO

Diese Mittel lassen sich zun

Satz 2.2. Es seien also x1 , x2 , . . . , xn , a1 , a2 , . . . , an R+ , dann gilt:

xa1 1 xa2 2 xan n

a1 x21 + a2 x22 + + an x2n

gHM gGM gAM gQM

Beispiel 2.2.1. (OMO

a1a b1b c1c =

a1a b1b c1c

Und nach gGM gAM gilt:

a(1 a) + b(1 b) + c(1 c)

a1a b1b c1c

a1a b1b c1c

Insbesondere ist also HM = m1 , GM = m0 , AM = m1 , QM = m2 . Der somit (Satz 2.1.)

Satz 2.3. Seien x1 , x2 , . . . , xn R+ und , R mit und m , m nach der obigen

Beispiel 2.3.1. (OMO

Auerdem gilt nach m2k+1

fk (x, y) bei 2(1 21k ).

-Mittel der xi definiert als:

gm0 := (xa1 1 xa2 2 xann ) a1 +a2 ++an

Satz 2.4. Seien x1 , x2 , . . . , xn , a1 , a2 , . . . , an R+ und , R mit und gm , gm nach

Beispiel 2.4.1. (Pauli Wettbewerb 2011) Man bestimme die gr

und damit ist das grotmogliche C =

Satz 3.1. Seien a1 , a2 , . . . , an und b1 , b2 , . . . , bn reelle Zahlen, dann gilt:

darstellen: Seien ~a und b Vektoren in n Dia1

mensionen mit ~a = ... und ~b = ... , so gilt:

Gleichheit gilt wieder f

also wenn die Vektoren proportional sind.

Es ist der folgende Zusammenhang f

dass obige Uberlegung

KAPITEL 3. CAUCHY-SCHWARZSCHE UNGLEICHUNG

Beweis. Wir leiten die Cauchy-Schwarzsche Ungleichung von einem allgemein g