Mittelsenkrechte und Winkelhalbierende: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) (→Beweis von Satz VI.1) |
*m.g.* (Diskussion | Beiträge) (→Beweis von Satz VI.1) |
||
| Zeile 43: | Zeile 43: | ||
| Element | | Element | ||
|} | |} | ||
| + | |||
| + | Bemerkung: Ihnen fällt sicherlich auf, dass wir nach dem Beweis von Satz V.8 die Existenz der Mittelsenkrechten von <math>\overline{AB}</math> gar nicht so ausführlich hätten führen müssen. Der Beweis von Satz V.8 steht momantan jedoch noch als Übungsaufgabe aus. | ||
Version vom 24. Juni 2010, 23:16 Uhr
Inhaltsverzeichnis[Verbergen] |
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 genau 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) | 
|
Element |
| (ii) | 
|
Element |
| (iii) |  ist Mittelsenkrechte von
|
Element |
Bemerkung: Ihnen fällt sicherlich auf, dass wir nach dem Beweis von Satz V.8 die Existenz der Mittelsenkrechten von gar nicht so ausführlich hätten führen müssen. Der Beweis von Satz V.8 steht momantan jedoch noch als Übungsaufgabe aus.
