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: table+) |
||
Zeile 22: | Zeile 22: | ||
# Es gibt in <math>\ \Epsilon</math> nicht mehr als eine Gerade <math>\ m</math>, die die Mittelsenkrechte von <math>\overline{AB}</math> ist. | # Es gibt in <math>\ \Epsilon</math> nicht mehr als eine Gerade <math>\ m</math>, die die Mittelsenkrechte von <math>\overline{AB}</math> ist. | ||
<u>Beweis der Existenzbehauptung:</u> | <u>Beweis der Existenzbehauptung:</u> | ||
+ | |||
+ | |||
+ | {| class="wikitable center" | ||
+ | |- style="background: #DDFFDD;" | ||
+ | ! Nr. | ||
+ | ! Beweisschritt | ||
+ | ! Begründung | ||
+ | |- | ||
+ | | (i) | ||
+ | | <math>\exist M : |AM| = |MB|</math> | ||
+ | | Element | ||
+ | |- | ||
+ | | Element | ||
+ | | Element | ||
+ | | Element | ||
+ | |- | ||
+ | | Element | ||
+ | | Element | ||
+ | | Element | ||
+ | |} |
Version vom 24. Juni 2010, 23:02 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
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:
Nr. | Beweisschritt | Begründung |
---|---|---|
(i) | Element | |
Element | Element | Element |
Element | Element | Element |