Mittelsenkrechte und Winkelhalbierende: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) (→Beweis von Satz VI.1: table+) |
*m.g.* (Diskussion | Beiträge) (→Beweis von Satz VI.1) |
||
| Zeile 23: | Zeile 23: | ||
<u>Beweis der Existenzbehauptung:</u> | <u>Beweis der Existenzbehauptung:</u> | ||
| + | Aus Gründen der effizienten Bezeichnung führen wir den Punkt <math>\ Q</math> ein, der zur Ebene <math>\ \Epsilon</math> aber nicht zur Geraden <math>\ AB</math> gehören möge. | ||
{| class="wikitable center" | {| class="wikitable center" | ||
Version vom 24. Juni 2010, 23:06 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 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 |
| Element | Element | Element |
| Element | Element | Element |
