Die 3 klassischen Mittelwerte

Arno Fehringer,

Febr. 2018

Die 3 klassischen Mittelwerte 1

Einige Voraussetzungen
Kongruenzaxiom sws :
Zwei Dreiecke sind kongruent, wenn sie in zwei Seiten und dem eingeschlossenen Winkel
übereinstimmen .

Winkelsummensatz im Dreieck :
α + β + γ = 180 °

Dreieckunsgleichung :
a + b ≥ c , b + c ≥ a , c + a ≥ b

Charakterisierung der Mittelsenkrechten m AB

C ∈ m AB ⇔ ∣CA∣ = ∣CB∣
M
A B
m AB

Basiswinkelsatz für gleichschenklige Dreiecke

b a a = b ⇔ α = β
α β

Seiten und Winkel

b a
a > b ⇔ α > β
α β

Satz desThales C
Jeder Winkel im Halbkreis ist ein rechter.

A B
M

Satz vom Umkreis C

Der Umkreismittelpunkt eines
rechtwinkligen Dreiecks halbiert
die Hypotenuse . A B
M

Satz des Pythagoras

b a
a2 + b 2 = c 2
c

Die 3 klassischen Mittelwerte 2

Euklidische Flächensätze : Kathetensätze, Höhensatz
2
a = pc
b a
b2 = qc h
h2 = pq q p
c

Kongruenzsatz sss :
Zwei Dreiecke Δ1 , Δ 2 sind kongruent, wenn sie in drei Seiten übereinstimmen .
C
γ C'
b a
a
γ' B'
α β β'
A B
c
b
c

α'

Strahlensätze A'
c '∥c

p‘ q‘
p q
c‘

1. Strahlensatz 2. Strahlensatz
p' q' p' c' q' c'
= = =
p q p c q c

Winkelgleichheit ähnlicher Dreiecke

Gegeben seien die ähnlichen Dreiecke Δ abc , Δ a ' b' c ' mit
a ' = va , b ' = vb , c ' = vc .Dann stimmen die Dreiecke in allen drei Winkeln
überein.

b γ
a α' b'
α
β
c γ'

c'

a'
β'

Die 3 klassischen Mittelwerte 3

Beweise
Charakterisierung der Mittelsenkrechten m AB
C ∈ m AB ⇔ ∣CA∣ = ∣CB∣

Sei C ∈ m AB . Dann ist Δ AMC ≃ Δ BMC ( Kongruenzaxiom sws ) , d. h.

∣CA∣ = ∣CB∣ .
C

M
A B
m AB

Sei C ∉ m AB . Dann gibt es C' ∈ m AB mit ∣AC '∣ = ∣BC '∣ , und es folgt :

∣AC∣ = ∣AC '∣ + ∣C' C∣ = ∣BC '∣ + ∣C' C∣ > ∣BC∣

C

C‘

α M β
A B

Basiswinkelsatz für gleichschenklige Dreiecke

a = b ⇔ α = β

Sei a = b . Dann ist C ∈ m AB und Δ AMC ≃ Δ BMC , also α = β .

C

b a

α M β
A B

Sei α = β . Angenommen C ∉ m AB . Dann schneidet m AB die Seite b in C'

und α < β im Widerspruch zur Voraussetzung. Also ist C ∈ m AB und a = b .
C
C‘
b a

αM αβ
A B

Die 3 klassischen Mittelwerte 4

Seiten und Winkel
a > b ⇔ α > β

Sei a > b .

b a
b
α-x 180°-(α-x)
α x β

x + 180° − ( α−x ) + β = 180°

x + 180° − α + x + β = 180 °

x − α + x + β = 0°

2x + β = α

α > β

Sei α > β .
C
b C‘ a

αβ β
A B

a = ∣BC∣ = ∣BC '∣ + ∣C' C∣ = = ∣AC '∣ + ∣C ' C∣ > ∣AC = b∣

Satz des Thales

Jeder Winkel im Halbkreis ist ein rechter.

Wegen der Gleichschenkligkeit der Dreiecke und dem Winkelsummensatz für Dreiecke
gilt

α + β + ( α + β ) = 180° C
α β
2 ( α + β ) = 180°
α β
A B
( α + β) = 90° M

Die 3 klassischen Mittelwerte 5

Satz vom Umkreis
Der Umkreismittelpunkt eines rechtwinkligen Dreiecks Δ ABC mit < C = 90°
halbiert die Hypothenuse AB .
C

A B
M

Sei |AB| = c und M der Mittelpunkt von AB .

Dann sind A , B ∈ K c .
M,
2

Angenommen, C ∉ K c , sondern zum Beispiel außerhalb.

M,
2

Dann gibt es ein C' ∈ K c , so dass nach dem Satz von Thales das Dreieck
M,
2
Δ ABC ' rechtwinklig ist mit < C' = 90° .

Dann hätte aber das Dreieck Δ BCC ' zwei rechte Winkel. Widerspruch ! Also ist
C ∈ K c
M,
2

C
C'

A B
M

Die 3 klassischen Mittelwerte 6

Satz des Pythagoras

Im rechtwinkligen Dreieck mit den Katheten a und b und der Hypotenuse c gilt :

a2 + b 2 = c 2

b a

a b
β α Winkelsummensatz
α + β + 90° = 180°
a
c α + β = 90°
c β
α γ Winkel an Geraden
α α + β + γ = 180 °
90° + γ = 180°
c
c b γ = 90°

Flächenbetrachtung

( a + b ) = c 2 + 4⋅ab
2

2
2 2 2
a + 2ab + b = c + 2ab

a2 + b 2 = c 2

Die 3 klassischen Mittelwerte 7

Euklidische Flächensätze : Kathetensätze, Höhensatz

b a
h
q p
c

2 2 2 2 2 2 2 2 2
a + b = c a= p + h b= q + h
c = p + q
2
p2 + h2 + q 2 + h2 = ( p + q )

p2 + h2 + q2 + h2 = p2 + 2 pq + q2

2 h2 = 2 pq

h2 = pq Höhensatz

a2 = p2 + h 2
2 2
a = p + pq

a2 = p ( p + q )

a2 = p c Kathetensatz

Analog :

b2 = q c Kathetensatz

Die 3 klassischen Mittelwerte 8

Kongruenzsatz sss :
Zwei Dreiecke sind kongruent, wenn sie in drei Seiten übereinstimmen .

C
γ C'
b a
a
γ' B'
α β β'
A B β
c
b a
c
γ
α' C''
α
b
A'

Konstruiere nach dem Kongruenzaxiom sws das Dreieck Δ A ' B' C' ' mit
< A ' = α . Dann sind < B' = β , < C' ' = γ .

C'
a
γ1 γ2 B'
β'
β
b a
c γ2
γ1
α' C''
α
b
A'

Betrachte die gleichschenkligen Dreiecke Δ C' C '' A ' , Δ C' C '' B' . Es folgt dann :

<C' = γ ' = γ1 + γ 2 , < C' ' = γ = γ1 + γ 2 , also γ' = γ .

Nach dem Kongruenzaxiom sws ist dann Δ A ' B' C' ≡ Δ A 'B 'C '' , und es gilt :

α ' = α , β' = β .

Die 3 klassischen Mittelwerte 9

Strahlensätze

p‘ h‘= v h
p h
a‘

Flächenbetrachung Satz des Pythagoras

a' h ' a+a ' ah p' 2
= h' 2
+ a' 2
+ (h−h' ) =
2 2 2
2 2 2
p' = ( vh ) + ( va )
a 'h ' + ( a+a ' )( h−h' ) = a h
= v2 ( h2 + a2 )
2
a 'h ' + ah − ah ' + a 'h − a' h ' = a h p'

− ah' + a ' h = 0 p'

2
= v p
2 2

a 'h = ah ' p' = vp

h'
a' = a
h
a' = v a

p' = vp

p‘ q‘ h‘=vh q' = v q
p q h a' = v a
a‘ b‘
b' = vb

a b a ' + b' = va + v b

c‘ a ' + b' = v ( a + b )
c
c' = vc

1. Strahlensatz 2. Strahlensatz
p' q' p' c' q' c'
= = =
p q p c q c

Die 3 klassischen Mittelwerte 10

Winkelgleichheit ähnlicher Dreiecke

Gegeben seien die ähnlichen Dreiecke Δ abc , Δ a ' b' c ' mit

a ' = va , b ' = vb , c ' = vc .

Dann stimmen die Dreiecke in allen drei Winkeln überein.

b γ
a α' b'
α
β
c γ'

c'

a'
β'

b''
γ
b γ a'' II a
a
α
β
β
c

c' = vc

Nach den Strahlensätzen gilt : a ' ' = va = a ' , b '' = vb = b' .

Also sind die Dreiecke Δ a ' ' b' ' c ' , Δ a ' b' c ' nach dem Kongruenzsatz sss
kongruent und stimmen in allen drei Winkeln überein :

α = α' , β = β' , γ = γ' .

Die 3 klassischen Mittelwerte 11

Die 3 klassischen Mittelwerte am rechtwinkligen
Dreieck

Gegeben ist das rechtwinklige Dreieck Δ ABC mit < C = 90° .

A H G

A M B

q p

Umkreisradius A von Δ ABC

p + q Arithmetisches Mittel von p und q .

A = p < A < q
2

Höhe G von Δ ABC

G = √p q p < G < q Geometrisches Mittel von p und q .

Projektion H von G auf A

2 p q Harmonisches Mittel von p und q .

H = p < H < q
p + q

Die 3 klassischen Mittelwerte 12

Beweis :

Umkreisradius :

Der Radius des Umkreises im rechtwinkligen Dreieck ist gleich der halben Hypotenuse :

p + q
A =
2

p < q p < q
2p < p+q p+q < 2q
p+ q p+ q p+q
p < < q p < A = < q
2 2 2

Höhensatz :

G2 = p q
G = √p q

p < q p < q
p2 < pq pq < q2
p < √ pq √ pq < q p < G = √pq < q

Kathetensatz :

G2 = H A
G2
H =
A
p q
H =
p + q
2
2 p q
H =
p + q

p < q p < q
2 2
p < pq pq < q
p2 +pq < 2pq 2pq < pq+ q2
p ( p+q ) < 2pq 2pq < ( p+q ) q
2pq 2pq 2 p q
p < < q p < H = < q
p+ q p+ q p + q

q.e.d.

Die 3 klassischen Mittelwerte 13

Zusammenhang I der 3 klassischen Mittelwerte

Satz :

Für das Arithmetische , Geometrische und das Harmonische Mittel der Zahlen p
p + q 2 p q
und q mit A = , G = √p q und H = gelten folgende
2 p + q
Ungleichungen bzw. Gleichungen:

H < G < A falls p≠q ; H = G = A falls p=q

Beweis :

1) Geometrisch-anschaulicher Beweis :

Wie bereits gezeigt kommen alle 3 Mittelwerte in der folgenden Figur vor :

Dreieck Δ ABC mit <C = 90° .

A H G

A M B

q p

Weil die Katheten im rechtwinklige Dreieck immer kleiner als die Hypotenuse sind, kann
man die Ungleichungen unmittelbar aus der Zeichnung ablesen.
Falls p=q ist fallen alle Strecken zusammen, und es gilt H = G = A

Die 3 klassischen Mittelwerte 14

2) Algebraischer Beweis :

H < G

2 p q
< √p q
p + q

4 p 2 q2
2
< p q
(p + q)

4 p q
2
< 1
(p + q)

2
4 pq < ( p + q )

2 2
4 pq < p + 2 pq + q

0 < p2 − 2pq + q2
2
0 < (p−q ) Wahre Aussage , falls p≠q !

2 p2
Falls p=q gilt H = = p = √p p = G .
2p

G < A

p + q
√p q <
2

2 √p q < p + q
2
4 pq < ( p+q )

4 pq < p2 + 2 pq + q2

0 < p2 − 2pq + q2
2
0 < (p−q ) Wahre Aussage , falls p≠q !

p + p
Falls p=q gilt G = √p p = p = = A .
2

Die 3 klassischen Mittelwerte 15

Zusammenhang II der 3 klassischen Mittelwerte

Satz :

Für das Arithmetische , Geometrische und das Harmonische Mittel der Zahlen p
p + q 2 p q
und q mit A = , G = √p q und H = gilt :
2 p + q

G = √H A .

Das Geometrische Mittel ist gleich dem Geometrischen Mittel vom Harmonischen und
Arithmetischen Mittel !

Beweis :

√H A =
√ 2pq p+ q
p+ q 2

√H A = √p q

√H A = G

Bemerkung :

2 p q 2 1
H = = =
p + q 1 1 1 1
+ +
p q p q
2

Das Harmonische Mittel ist der Kehrwert des Arithmetischen Mittels der Kehrwerte.

Die 3 klassischen Mittelwerte 16

Die 3 klassischen Mittelwerte am Trapez

Teilung des Trapezes in halber Höhe

m
h
h m1 m2
2
a1 a2
a

h
m1 2
=
a1 h

m1 1
=
a1 2

a1 a2
m1 = analog : m2 =
2 2

a1 a1
m = + + c
2 2

a1 + a 2 + 2 c
m =
2

a1 + a 2 + c + c
m =
2

a + c
m =
2

Die 3 klassischen Mittelwerte 17

Teilung des Trapezes in zwei ähnliche Trapeze

a1
g1
c1
c2 g2
a2
c

a
Ähnlichkeitsbedingung :

a G
=: k =: k
G c

Strahlensatz :

a1 a
= =: k
g1 G

g1 G
= =: k
c1 c

a1 g
= 1
g1 c1

a1 g1
− 1 = − 1
g1 c1

a1 − g 1 g − c1
= 1
g1 c1

a1 − g 1 g1
=
g1 − c 1 c1

a1 − g 1 a2 − g2
= k analog : = k
g1 − c 1 g2 − c 2

Wegen der Winkelgleichheit ist Ähnlichkeit mit dem Ähnlichkeitsfaktor k gezeigt .

a G
= ⇒ G = √a c
G c

Die 3 klassischen Mittelwerte 18

Waagrechte Teilung des Trapezes durch den Diagonalenschnittpunkt

f1 e2
h1 h2

H
e1 f1

Strahlensätze :

e1 a f1 a
= =
e2 c f2 c

e1 a f1 a
+ 1 = + 1 + 1 = + 1
e2 c f2 c

e1 + e 2 a + c f1 + f2 a + c
= =
e2 c f2 c

e1 + e2 a f1 + f2 a
= =
e2 h2 f2 h1

a + c a a + c a
= =
c h2 c h1

a c a c
h2 = h1 =
a + c a + c

H = h2 + h 1

2 a c
H =
a + c

Die 3 klassischen Mittelwerte 19

Die Harmonische Teilung

Gegeben sei die Gerade AB . Gesucht sind Punkte Ti , T a auf AB mit

|ATi| |AT a|
= > 1 .
|T i B| |T a B|

|T i B|
|ATi|
Ta
B
Ti
A |T a B|

|ATa|

Die Punkte Ti , T a heißen Harmonische Punkte zu A , B .

Bemerkung :

Dann sind auch die Punkte B , A Harmonische Punkte zu T a , Ti , denn :

|ATi| |AT a|
=
|T i B| |T a B|
|T a B| |AT a|
=
|Ti B| |A Ti|
|T a B| |Ta A|
=
|BT i| |A Ti|

Die 3 klassischen Mittelwerte 20

Lösung :

Falls man den Punkt Ti ∈ AB vorgibt, kann man den Punkt T a ∈ AB wie folgt
konstruieren :

A'
B'

|ATi| |T i B| Ta

B
Ti
A
B''

g h

(1) g durch A , h durch B , g ∥ h

(2) K ( A ,|AT i|) , K ( A ,|Ti B|)

(3) A ' ∈ K ( A ,|AT i|) , B' ∈ K ( A ,|T i B|) , A' , B' liegen auf der gleichen
Seite

bezüglich AB

(4) A 'B ' ∩ AB = {Ta }

Nach dem 2. Strahlensatz gilt :

|A A '| |ATa|
=
|BB '| |T a B|
|ATi| |AT a|
=
|T i B| |T a B|

Die 3 klassischen Mittelwerte 21

Lösung :

|ATi| p
Falls man für das Verhältnis eine bestimmte Zahl vorgibt, etwa = > 1 , findet
|T i B| q
man die Punkte Ti , T a auf AB nach folgender Konstruktion :

A'
B'

p
q Ta

q B
Ti
A B''

g h

(1) g durch A , h durch B , g ∥ h

(2) A ' ∈ g mit |AA '| = p , B' ∈ h mit |BB '| = q , A ' , B' liegen auf

der gleichen Seite bezüglich AB

(3) A' ∈ g mit |AA '| = p , B' ' ∈ h mit |BB ' '| = q , B' ' , B' liegen
auf

verschiedenen Seiten bezüglich AB

(4) A 'B ' ∩ AB = {Ta } , A 'B ' ' ∩ AB = {Ti }

Nach dem 2. Strahlensatz gilt :

p |ATa|
=
q |T a B|

p |AT i|
=
q |T i B|
Also :

|ATi| |AT a|
=
|T i B| |T a B|
q.e.d.
Die 3 klassischen Mittelwerte 22
Zusammenhang zwischen Harmonischer Teilung und
Harmonischem Mittel

Gegeben seien 4 Punkte auf einer Geraden A < T i < B < Ta , so dass die Punkte
Ti , T a Harmonische Punkte bezüglich A , B sind, und umgekehrt, dass die
Punkte B , A Harmonische Punkte bezüglich T a , Ti sind.

Dann gelten die Gleichungen :

ITiBI
IATiI
Ta
B
|ATi| |AT a| Ti
=
|T i B| |T a B| A ITaBI

IATaI

ITaBI
IBTiI

Ta
B
Ti
|T a B| |Ta A| A
=
|BT i| |A Ti|
IATiI
ITaAI

Behauptung :

Betrachtet man nur die Abstände |ATi| < |AB| < |AT a| bzw.
|T a B| < |Ta Ti| < |Ta A| , so ist
2 |AT i| |AT a|
|AB| das Harmonische Mittel von |AT i| , |ATa| , d. h. |AB| =
|AT i| + |ATa|
.

Analog ist

|T a Ti| das Harmonische Mittel von |T a B| , |T a A| , d. h.

2 |Ta B| |T a A|
|T a Ti| = T B + T A .
| a | | a |
Die 3 klassischen Mittelwerte 23
Beweis :

ITiBI
IATiI
Ta
B
Ti
A ITaBI

IATaI

|ATi| |AT a|
=
|T i B| |T a B|

In der Gleichung müssen |T i B| und |T a B| ersetzt werden durch

|T i B| = |AB| − |AT i| , |T a B| = |AT a| − |AB| .

|AT i| |AT a|
=
|AB| − |ATi| |ATa| − |AB|

|ATi|(|AT a| − |AB|) = |AT a|(|AB| − |AT i|)

|ATi||ATa| − |ATi||AB| = |AT a||AB| − |AT a||AT i|

|ATi||ATa| = |ATa||AB| + |AT i||AB| − |AT a||AT i|

2 |AT i||AT a| = |AT a||AB| + |ATi||AB|

2 |AT i||AT a| = (|ATa| + |AT i|)|AB|

2 |AT i| |AT a|
= |AB|
|ATa| + |AT i|
2 |AT i| |AT a|
|AB| =
|AT i| + |AT a|

q.e.d.

Die 3 klassischen Mittelwerte 24

Verallgemeinerung des Arithmetischen und Geometrischen
Mittels
a1 + ... + an n
Für alle a1 ≤ . . . ≤ an : A :=
n
, G := √ a1 ⋅ ... ⋅ an

Die Ungleichung vom Arithmetischen und Geometrischen

Mittel
Für alle n ∈ ℕ und alle a1 ≤ . . . ≤ a n gilt :
n

( a1 + ... + an
n ) ≥ a1 ⋅ ... ⋅ an , A :=
a1 + ... + a n
n
≥ √n a1 ⋅ ... ⋅ an =: G .

Beweis durch vollständige Induktion :

2

(I) n = 2 :
a1 + a2
2 (
≥ a1 ⋅ a2 wahre Aussage
n
)
(II) Sei die Behauptung
a 1 + . . . + an
n ( ≥ a 1 ⋅ . . . ⋅ an wahr . )
n+1

( )
a 1 + . . . + an
n+1 n + an+ 1
( a1 + . . . + an + an+ 1
n+1 ) =
n
n+1
n+ 1

( )
a + . . . + an a + . . . + an
n+1 ( n+1 ) 1 + an+1 − 1
( a1 + . . . + an + an+1
n+1 ) =
n
n+1
n

n+1

( )
a 1 + . . . + an
n+1 an +1 −
( a1 + . . . + a n + an +1
n+1 ) =
a 1 + . . . + an
n
+
n+1
n

Nach der Bernoullischen Ungleichung folgt :

a1 + . . . + a n
n+1 n+1 n an+1 −
( a1 + . . . + an + a n+1
n+1 ) ≥ ( a1 + . . . + a n
n ) + ( n+1 ) ( a1 + . . . + an
n ) n+1
n

n+1 n+1 n

( a1 + . . . + an + a n+1
n+1 ) ≥ ( a1 + . . . + an
n ) ( +
a1 + . . . + an
n )( an+1 −
a1 + . . . + an
n )
n+1 n+1 n n+1

( a1 + . . . + an + a n+1
n+1 ) ≥ ( a1 + . . . + an
n ) ( +
a1 + . . . + an
n ) an+1 − ( a1 + . . . + an
n )
n+1 n

( a1 + . . . + an + a n+1
n+1 ) ≥ ( a1 + . . . + an
n )
a n+1

n+1

Nach Induktionsannahme folgt : ( a1 + . . . + an + a n+1

n+1 ) ≥ a1 ⋅ . . . ⋅ an ⋅ a n+1

Die 3 klassischen Mittelwerte 25

Verallgemeinerung des Harmonischen Mittels
In Anlehnung an die Eigenschaft des Harmonischen Mittels der zwei Zahlen p , q ,

1
dass H = ist,
1 1
+
p q
2

dass also das Harmonische Mittel der Kehrwert des Arithmetischen Mittels der
Kehrwerte ist, kann man im Fall der Zahlen a1 ≤ . . . ≤ an definieren :

1
H :=
1 1
+ ... +
a1 an
n

Die Ungleichungen vom Arithmetischen und Geometrischen

und Harmonischen Mittel
Wegen

1 1 1 1
H = ≤ = = = G
1 1 1 1
a1
+ ... +

n
an √
n 1
a1
⋅⋅ ⋅
1
an
n
√ a1 ⋅ ⋅ ⋅ an G

ist die Ungleichung vom Arithmetischen, Geometrischen und Harmonischen Mittel

allgemein gültig :

A ≥ G ≥ H

a1 + ... + an n 1
n
≥ √ a1 ⋅ ... ⋅ an ≥
1 1
+ ... +
a1 an
n

Die 3 klassischen Mittelwerte 26