Mittelsenkrechte und Winkelhalbierende
Aus Geometrie-Wiki
Version vom 24. Juni 2010, 23:11 Uhr von *m.g.* (Diskussion | Beiträge)
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
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 |