§1 Dreiecke

Mathematische Probleme, SS 2016
Dienstag 12.4
$Id: dreieck.tex,v 1.24 2016/04/22 13:58:25 hk Exp $
§1
Dreiecke
In diesem Kapitel wollen wir die Theorie der ebenen Dreiecke als Teil der Elementargeometrie der Ebene behandeln. Dabei wollen wir keine Axiomatik der euklidischen
Geometrie betreiben, anstelle dessen werden wir anschaulich evidente“ Begriffe, also
”
Dinge wie Winkel, Flächeninhalte, Geraden, Kreise und so weiter, und ihre Grundeigenschaften als gegeben hinnehmen. Dies deckt sich auch mit dem Vorgehen in der
Schulgeometrie wo ja nicht ernsthaft gefragt wird was denn etwa der Flächeninhalt“
”
überhaupt ist. Nur an Stellen wo es sich anbietet den Zusammenhang zwischen Schulstoff und den Inhalten der Grundvorlesungen zu erläutern, werden wir gelegentlich auch
die exakte, formale Begriffsbildung beschreiben.
Inhaltlich werden wir in diesen Kapitel die Trigonometrie, also die Dreiecksberechnung, die hierbei verwendeten trigonometrischen Funktionen, die speziellen Punkte
im Dreieck, also etwa den Höhenschnittpunkt, und damit sonst zusammenhängende
Themen besprechen. In der Regel werden wir synthetisch, also ohne explizite Koordinatenwahl vorgehen, nur wenn ein analytisches Vorgehen deutlich einfacher ist werden
wir letzteres verwenden.
Ein Dreieck ∆ in der Ebene ist durch
seine drei Ecken A, B, C ∈ R2 gegeben. Wir betrachten nur nicht ausgeartete Dreiecke, fordern also das A, B, C
nicht kollinear sind, d.h. nicht auf einer Geraden liegen. Traditionell werden
die Ecken eines Dreiecks seit Euler wie
b
hier mit großen lateinischen Buchstaben bezeichnet und zwar im Gegenuhrzeigersinn aufsteigend. Die einer Ecke
gegenüberliegende Seite wird dann mit
dem entsprechenden lateinischen Kleinbuchstaben beschrieben. Dabei ist mit
α
Seite“ hier in der Regel die Länge der
”
Seite gemeint, also der Abstand der beiA
den anderen Eckpunkte. Schreiben wir
den Abstand zweier Punkte X, Y ∈ R2 der Ebene als
|XY | := |X − Y | := ||X − Y ||2 ,
1-1
C
γ
a
β
c
B
Mathematische Probleme, SS 2016
Dienstag 12.4
so werden im obenstehenden Bild
a = |BC|, b = |AC| und c = |AB|.
Weiter wird der an eine der Ecken anliegende Winkel innerhalb des Dreiecks mit dem
entsprechenden griechischen Kleinbuchstaben geschrieben. Man nennt zwei Dreiecke
∆ = ABC, ∆0 = A0 B 0 C 0
kongruent oder deckungsgleich wenn in ihnen entsprechende Seiten dieselbe Länge haben. Wir verwenden hierfür dann auch die symbolische Schreibweise
∆ ≡ ∆0 ⇐⇒ ABC ≡ A0 B 0 C 0 :⇐⇒ |AB| = |A0 B 0 | ∧ |AC| = |A0 C 0 | ∧ |BC| = |B 0 C 0 |,
beziehungsweise unter Befolgung der obigen Benennungskonvention
∆ ≡ ∆0 ⇐⇒ a = a0 ∧ b = b0 ∧ c = c0 .
Zwei kongruente Dreiecke kann man durch eine Bewegung der Ebene in Deckung
”
bringen“. Um dies einzusehen denken wir uns zwei kongruente Dreiecke ABC und
A0 B 0 C 0 . Dann können wir zunächst durch eine Verschiebung den Punkt A0 auf den
Punkt A bewegen, wir können also A0 = A annehmen. Dann haben B und B 0 wegen
|AB 0 | = |A0 B 0 | = |AB|
denselben Abstand von A, liegen also beide auf einem Kreis mit Mittelpunkt A. Damit
können wir unser Dreieck A0 B 0 C 0 = AB 0 C 0 jetzt um den Punkt A herum drehen und
so B 0 auf B bewegen. Wir können also auch B 0 = B erreichen.
C
B=B’
A=A’
C’
1-2
Mathematische Probleme, SS 2016
Dienstag 12.4
Es verbleiben nur noch die beiden Ecken C und C 0 . Ist zufällig schon C = C 0 , so sind die
beiden Dreiecke bereits in Deckung gebracht, wir können also C 6= C 0 annehmen. Wie
eben überlegen wir uns wieder das C und C 0 sowohl auf einem Kreis mit Mittelpunkt A
als auch auf einem Kreis mit Mittelpunkt B liegen. Nun schneiden sich zwei Kreise mit
verschiedenen Mittelpunkten in höchstens zwei Punkten und diese beiden gehen durch
Spiegelung an der Verbindungsgerade der beiden Mittelpunkte auseinander hervor.
Also können wir C 0 an der Dreiecksseite AB = A0 B 0 spiegeln und erhalten C, durch
Umklappen des Dreiecks an AB erreichen wir also schließlich auch C 0 = C und die
beiden Dreiecke sind in Deckung gebracht. Insbesondere folgt daraus das in den beiden
kongruenten Dreicken ABC und A0 B 0 C 0 auch die drei Winkel übereinstimmen, also
ABC ≡ A0 B 0 C 0 =⇒ α = α0 ∧ β = β 0 ∧ γ = γ 0 .
Da das Dreieck ABC bis auf Bewegungen durch a, b, c bestimmt ist, muss es möglich
sein alle Dreiecksgrößen“ als Funktionen von a, b, c auszudrücken. Dies wirklich zu
”
tun, also die entsprechenden Funktionen hinzuschreiben, ist ein Teil der Dreiecksbe”
rechnungen“ die wir in diesem Kapitel vorführen wollen. Zentral hierbei sind die trigonometrischen Funktionen, und um diese einzuführen werden erst einmal rechtwinklige
Dreiecke untersucht.
1.1
Rechtwinklige Dreiecke
Ein Dreieck ∆ heißt rechtwinklig wenn einer seiner drei Winkel ein rechter Winkel ist,
also 90◦ , beziehungsweise π/2 im Bogenmaß, beträgt. Die beiden an den rechten Winkel anliegenden Seiten heißen dann die Katheten von ∆ und die dem rechten Winkel
gegenüberliegende Seite heißt die Hypothenuse von ∆. Ist ∆ = ABC wie oben rechtwinklig, so nehmen wir meist γ als den rechten Winkel, γ = 90◦ . Dann sind a, b die
Katheten von ∆ und c die Hypothenuse. Die Hypothenusenlänge c ist dabei durch die
beiden Kathetenlängen a, b über den Satz des Pythagoras festgelegt.
Satz 1.1 (Satz des Pythagoras)
In einem rechtwinkligen Dreieck ∆ mit Kathetenlängen a, b und Hypothenusenlänge c
gilt a2 + b2 = c2 .
a
b
a
c
a
b
b
c
a
1-3
b
Mathematische Probleme, SS 2016
Dienstag 12.4
Beweis: Wir betrachten ein Quadrat Q der Kantenlänge a + b und und legen in dieses vier zu ∆ kongruente Dreiecke. Auf der linken Seite sind je zwei der Dreiecke zu
Rechtecken der Kantenlängen a und b zusammengefasst, es verbleiben dann von Q zwei
Quadrate der Kantenlängen a und b. Auf der rechten Seite werden die vier Dreiecke
dagegen wie gezeigt an den Rand gelegt, dann verbleibt ein Quadrat der Kantenlänge
c. Der Inhalt der von Q verbleibenden Fläche ist aber unabhängig davon wie die vier
Dreiecke in Q angeordnet sind, und ein Vergleich dieser Restflächen ergibt
a2 + b2 = c2
wie behauptet.
Dabei haben wir die Tatsache verwendet das der Flächeninhalt eines Quadrates das
Quadrat seiner Kantenlänge ist, dies ist eine der vielen Grundtatsachen die wir als
gegeben und offensichtlich hinnehmen wollen. Man kann den Satz von Pythagoras auf
zweierlei Arten umkehren, zum einen werden wir zeigen das jedes Tripel a, b, c potentieller Seitenlängen in einem rechtwinkligen Dreieck, also mit a2 + b2 = c2 , tatsächlich
in einem geeigneten rechtwinkligen Dreieck vorkommt, und zum anderen wollen wir
einsehen das ein zunächst beliebiges Dreieck das die Relation a2 + b2 = c2 erfüllt immer
rechtwinklig mit Hypothenuse in c ist.
Korollar 1.2 (Erste Umkehrung des Satzes von Pythagoras)
Sind a, b, c > 0 mit a2 +b2 = c2 , so existiert ein rechtwinkliges Dreieck mit Hypothenuse
c und Katheten a, b.
Beweis: Wähle einen Punkt C und trage von C ausgehend Strecken BC der Länge a
und AC der Länge b im rechten Winkel ab. Dann ist ABC ein rechtwinkliges Dreieck
mit Katheten a, √
b und nach dem Satz des Pythagoras Satz 1 hat die Hypothenuse in
ABC die Länge a2 + b2 = c.
Die zweite Umkehrung folgt jetzt aus der eben bewiesenen ersten Umkehrung, man
muss sich nur daran erinnern das kongruente Dreiecke, wie schon gesehen, auch gleiche
Winkel haben, und somit muss ein zu einem rechtwinkligen Dreieck kongruentes Dreieck
selbst rechtwinklig sein.
Korollar 1.3 (Zweite Umkehrung des Satzes von Pythagoras)
Seien a, b, c die Seitenlängen in einem Dreieck ∆. Gilt dann a2 + b2 = c2 , so ist ∆
rechtwinklig mit Hypothenuse c und Katheten a, b.
Beweis: Nach Korollar 2 existiert ein rechtwinkliges Dreieck ∆0 mit Hypothenuse c
und Katheten a, b. Dann sind ∆ und ∆0 kongruent, also ist auch ∆ rechtwinklig mit c
als Hypothenuse und a, b als Katheten.
Pythagoras war ein Schüler von Thales und lebte in den Jahren 569-470 vor Christus,
wobei dies ein geschätzter Zeitraum und nicht die wirklichen Geburts- und Todesjahre
1-4
Mathematische Probleme, SS 2016
Dienstag 12.4
sind. Es gibt wohl keine direkten zeitgenössischen Belege über Pythagoras, man hat nur
Berichte die Jahrhunderte später verfasst wurden. Nach ausgedehnten Reisen gründete
er im südlichen Italien eine Schule, oder wohl eher eine Sekte, die sogenannten Py”
thagoräer“, die unter anderem den Namen Mathematik“ geprägt haben. Der Satz des
”
Pythagoras war allerdings schon lange vor Pythagoras bekannt, mindestens seit 1800
vor Christus. Der Beleg hierfür ist eine entsprechend datierte Tontafel, die Zahlentripel
wie
(3, 4, 5), (5, 12, 13), (8, 15, 17), . . .
enthält. Um zu sehen was diese Zahlen mit den Satz des Pythagoras zu tun haben,
beachte 32 +42 = 9+16 = 25 = 52 , 52 +122 = 25+144 = 169 = 132 , 82 +152 = 64+225 =
289 = 172 , nach der ersten Umkehrung des Satzes von Pytagoras handelt es sich also
um ganzzahlige Seitenlängen rechtwinkliger Dreiecke. Da nicht so recht zu sehen ist
weshalb man sich sonst für solche Zahlen interessieren sollte, geht man davon aus,
dass den Verfassern dieser Tafel der Inhalt des Satzes von Pythagoras bekannt gewesen
sein sollte. Rechtwinklige Dreiecke mit ganzzahligen Seitenlängen haben natürlich keine
nennenswerte praktische Bedeutung, sie alle zu bestimmen ist aber ein naheliegendes
und interessantes Problem. Daher wollen uns jetzt noch etwas weitergehend mit diesen
Zahlentripeln beschäftigen, und geben diesen erst einmal einen Namen.
Definition 1.1 (Pythagoräische Tripel)
Ein pythagoräisches Tripel besteht aus drei natürlichen Zahlen a, b, c mit a2 + b2 = c2 .
Die pythagoräischen Tripel entsprechen also den rechtwinkligen Dreiecken mit ganzzahligen Seitenlängen. Wie kommt man jetzt an solche Tripel heran? So etwas wie
(3, 4, 5) findet man noch durch Rumprobieren, für die größeren Beispiele braucht man
aber schon ein systematisches Verfahren. Ein einfache Methode zur Konstruktion ist es
mit einem schon bekannten Tripel (a, b, c) anzufangen und dieses mit einer natürlichen
Zahl n ∈ N zu multiplizieren. Wegen (na)2 + (nb)2 = n2 (a2 + b2 ) = (nc)2 ist (na, nb, nc)
dann wieder ein pythagoräisches Tripel. So erhält man beispielsweise mit n = 7 aus
dem Tripel (3, 4, 5) das pythagoräische Tripel (21, 28, 35), hat also 212 + 282 = 352 .
Tripel die auf diese Weise entstehen sind aber keine wirklich neuen“ Beispiele, und
”
wir wollen uns auf diejenigen pythagoräischen Tripel beschränken die nicht durch Vervielfachen eines schon bekannten Tripels entstehen. Derartige pythagoräische Tripel
nennt man primitiv und definiert daher:
Definition 1.2 (Primitive pythagoräische Tripel)
Ein pythagoräisches Tripel (a, b, c) heißt primitiv wenn a, b, c keinen gemeinsamen Teiler
haben.
Wie kann man jetzt systematisch primitive pythagoräische Tripel erzeugen? Erste
Verfahren hierzu stammen von Pythagoras und Platon, allerdings hatten diese keine
Methode wirklich alle primitiven Tripel zu bestimmen. Eine erste vollständige Methode,
also ein Verfahren das nicht nur einige sondern alle primitiven Tripel liefert, findet sich
in den Elementen des Euklid, die irgendwann um 300 vor Christus entstanden sind.
Euklids Methode ist arithmetischer Natur, daher wollen wir hier ein äquivalentes, eher
1-5
Mathematische Probleme, SS 2016
Dienstag 12.4
geometrisch orientiertes, Verfahren besprechen, das etwa fünfzig Jahre später um 250
vor Christus von Diophant entwickelt wurde. Dieses Verfahren beruht auf einer kleinen
Uminterpretation des Problems der pythagoräischen Tripel.
Angenommen wir haben ein primitives pythagoräisches Tripel (a, b, c). Dann bilden
wir die beiden rationalen Zahlen
a 2 b 2 a2 + b2
a
b
2
2
u := , v := mit u + v =
=
= 1,
+
c
c
c
c
c2
d.h. (u, v) ist ein rationaler Punkt auf dem Einheitskreis. Haben wir umgekehrt einen
solchen rationalen Punkt (u, v) ∈ Q2>0 mit u2 + v 2 = 1, so schreiben wir u = p/q,
v = p0 /q 0 mit jeweils teilerfremden p, q ∈ N beziehungsweise p0 , q 0 ∈ N. Definiere dann
c := [q, q 0 ] als das kleinste gemeinsame Vielfache von q und q 0 und setze a := pc/q ∈ N
und b := p0 c/q 0 ∈ N. Dann ist
p·
p
u= =
q
q·
c
q
c
q
p0 ·
a
p0
= und v = 0 = 0
c
q
q ·
also auch
a2 + b2 a 2
=
+
c2
c
c
q0
c
q0
=
b
c
2
b
= u2 + v 2 = 1
c
und somit haben wir a2 + b2 = c2 . Die Zahlen a, b, c haben auch keinen gemeinsamen
Teiler. Sei nämlich r ein gemeinsamer Primteiler von a, b, c. Durch eventuelles Vertauschen von u und v können wir dann annehmen das r ein Teiler von q ist. Dann ist r ein
Teiler von c/q, also auch von q 0 . Weiter ist r dann auch ein Teiler von c/q 0 , aber c/q
und c/q 0 sind teilerfremd, ein Widerspruch. Das Problem der Bestimmung primitiver
pythagoräischer Tripel ist also gleichwertig zur Bestimmung der rationalen Punkte auf
dem Einheitskreis im offenen ersten Quadranten.
1-6