Mittelsenkrechte und Winkelhalbierende: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(→‎Beweis von Satz VI.1)
(→‎Beweis von Satz VI.1)
Zeile 40: Zeile 40:
 
|-
 
|-
 
| (iii)
 
| (iii)
−
| <math>\ AB</math> ist Mittelsenkrechte von <math>\overline{AB}</math>
+
| <math>\ PM</math> ist Mittelsenkrechte von <math>\overline{AB}</math>
 
| Element
 
| Element
 
|}
 
|}

Version vom 24. Juni 2010, 23:12 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 \ m eine Gerade und \overline{AB} eine Strecke, die durch \ m im Punkt \ M geschnitten wird. \ m ist die Mittelsenkrechte von \overline{AB}, wenn
  1. m \perp AB
  2. \left| AM \right| = \left| MB \right|
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 \overline{AB} eine Strecke, die vollständig zur Ebene \ \Epsilon gehören möge.

Behauptungen:

  1. Es gibt in \ \Epsilon genau Gerade \ m, die die Mittelsenkrechte von \overline{AB} ist.
  2. Es gibt in \ \Epsilon nicht mehr als eine Gerade \ m, die die Mittelsenkrechte von \overline{AB} ist.

Beweis der Existenzbehauptung:

Aus Gründen der effizienten Bezeichnung führen wir den Punkt \ Q ein, der zur Ebene \ \Epsilon aber nicht zur Geraden \ AB gehören möge.

Nr. Beweisschritt Begründung
(i) \exist M : |AM| = |MB| Element
(ii) \exist P \in AB,Q^+ : |\angle PMB | = 90 Element
(iii) \ PM ist Mittelsenkrechte von \overline{AB} Element
Von „http://geometrie.zum.de/index.php?title=Mittelsenkrechte_und_Winkelhalbierende&oldid=2339“