Mittelsenkrechte und Winkelhalbierende WS 11/12: Unterschied zwischen den Versionen
(Die Seite wurde neu angelegt: „== Mittelsenkrechte und Winkelhalbierende == === Mittelsenkrechte === Eine Mittelsenkrechte ist das, was ihre Bezeichnung ausdrückt: eine Gerade, die eine Streck…“) |
(→Definition VI.2) |
||
(4 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
Zeile 34: | Zeile 34: | ||
| (i) | | (i) | ||
| <math>\exist M \in\overline{AB}: |AM| = |MB|</math> | | <math>\exist M \in\overline{AB}: |AM| = |MB|</math> | ||
− | | '' | + | | ''Existenz des Mittelpunkts einer Strecke'' |
|- | |- | ||
| (ii) | | (ii) | ||
| <math>\exist MQ^+ : |\angle QMB | = 90</math> | | <math>\exist MQ^+ : |\angle QMB | = 90</math> | ||
− | | '' | + | | (i); ''Winkelkonstruktionsaxiom'' |
|- | |- | ||
| (iii) | | (iii) | ||
| <math>\ QM</math> ist Mittelsenkrechte von <math>\overline{AB}</math> | | <math>\ QM</math> ist Mittelsenkrechte von <math>\overline{AB}</math> | ||
− | | '' | + | | ''(i); (ii); Definition Mittelsenkrechte, ''erarbeitet in der Vorlesung 19.12.--[[Benutzer:Schnirch|Schnirch]] 14:50, 19. Dez. 2011 (CET) |
|} | |} | ||
Zeile 57: | Zeile 57: | ||
===== Definition VI.2 ===== | ===== Definition VI.2 ===== | ||
− | :: Es seien <math>\ p</math>,<math>\ w</math> und <math>\ q</math> drei Halbgeraden ein und derselben Ebene mit dem gemeinsamen Anfangspunkt <math>\ S</math>. Die Halbgerade <math>\ w</math> ist | + | :: Es seien <math>\ p</math>,<math>\ w</math> und <math>\ q</math> drei Halbgeraden ein und derselben Ebene mit dem gemeinsamen Anfangspunkt <math>\ S</math>. Die Halbgerade <math>\ w</math> ist Winkelhalbierende des Winkels <math>\angle pq</math>, wenn <math>\ w</math> im Inneren von <math>\angle pq</math> liegt und die beiden Winkel <math>\angle pw</math> und <math>\angle wq</math> dieselbe Größe haben. |
===== Satz VI.<math> 1 \frac{1}{2}</math> ===== | ===== Satz VI.<math> 1 \frac{1}{2}</math> ===== |
Aktuelle Version vom 19. Dezember 2011, 15:56 Uhr
Inhaltsverzeichnis |
Mittelsenkrechte und Winkelhalbierende
Mittelsenkrechte
Eine Mittelsenkrechte ist das, was ihre Bezeichnung ausdrückt: eine Gerade, die eine Strecke halbiert und senkrecht auf ihr steht.
Definition VI.1: (Mittelsenkrechte)
- Es sei
eine Gerade und
eine Strecke, die durch
im Punkt
geschnitten wird.
ist die Mittelsenkrechte von
, wenn
- Es sei
Satz VI.1: (Existenz und Eindeutigkeit der Mittelsenkrechten)
- Jede Strecke hat in jeder Ebene, zu der die Strecke vollständig gehört, genau eine Mittelsenkrechte.
Beweis von Satz VI.1
Es sei eine Strecke, die vollständig zur Ebene
gehören möge.
Behauptungen:
- Es gibt in
Gerade
, die die Mittelsenkrechte von
ist.
- Es gibt in
nicht mehr als eine Gerade
, die die Mittelsenkrechte von
ist.
Beweis der Existenzbehauptung:
Aus Gründen der effizienten Bezeichnung führen wir den Punkt ein, der zur Ebene
aber nicht zur Geraden
gehören möge.
Nr. | Beweisschritt | Begründung |
---|---|---|
(i) | ![]() |
Existenz des Mittelpunkts einer Strecke |
(ii) | ![]() |
(i); Winkelkonstruktionsaxiom |
(iii) | ![]() ![]() |
(i); (ii); Definition Mittelsenkrechte, erarbeitet in der Vorlesung 19.12.--Schnirch 14:50, 19. Dez. 2011 (CET) |
Bemerkung: Ihnen fällt sicherlich auf, dass wir nach dem Beweis von Satz V.5 die Existenz der Mittelsenkrechten von gar nicht so ausführlich hätten führen müssen. Der Beweis von Satz V.5 steht momentan jedoch noch als Übungsaufgabe aus.
Beweis der Eindeutigkeitsbehauptung
Die Eindeutigkeit des Mittelpunktes einer Strecke wurde bereits bewiesen (Satz III.1). Die Eindeutigkeit der Senkrechten in einem Punkt einer Geraden zu dieser Geraden wird/wurde mit Satz V.5 bewiesen.
Winkelhalbierende
Ein Winkel ist ein Paar von Halbgeraden, die einen gemeinsamen Anfangspunkt haben. Eine Winkelhalbierende teilt einen Winkel in zwei Teilwinkel, die jeweils dieselbe Größe haben. Die Teilwinkel werden dadurch gebildet, dass jeder Schenkel des ursprünglichen Winkels jeweils mit der Winkelhalbierenden zu einem neuen Winkel zusammengefasst wird. Es ist also sinnvoll, die Winkelhalbierende eines Winkels als eine besondere Halbgerade zu definieren.
Definition VI.2
- Es seien
,
und
drei Halbgeraden ein und derselben Ebene mit dem gemeinsamen Anfangspunkt
. Die Halbgerade
ist Winkelhalbierende des Winkels
, wenn
im Inneren von
liegt und die beiden Winkel
und
dieselbe Größe haben.
- Es seien
Satz VI.
- Es sei
die Winkelhalbierende des Winkels
. Dann gilt
.
- Es sei
Beweis von Satz VI.
Übungsaufgabe
Satz VI.2 (Existenz und Eindeutigkeit der Winkelhalbierenden)
- Zu jedem Winkel gibt es genau eine Winkelhalbierende.
Beweis von Satz VI.2
Übungsaufgabe