Lösung von Aufgabe 7.2: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) (Die Seite wurde neu angelegt: Beweisen Sie: Zu jeder Strecke <math>\overline{AB}</math> existiert genau eine Strecke <math>\overline{AB^{*}}</math> mit <math>\left| AB^{*} \right| = \frac{1}{\pi} \l...) |
|||
| Zeile 1: | Zeile 1: | ||
Beweisen Sie: Zu jeder Strecke <math>\overline{AB}</math> existiert genau eine Strecke <math>\overline{AB^{*}}</math> mit <math>\left| AB^{*} \right| = \frac{1}{\pi} \left| AB \right|</math> und <math>\overline{AB^{*}} \subset \overline{AB}</math>. | Beweisen Sie: Zu jeder Strecke <math>\overline{AB}</math> existiert genau eine Strecke <math>\overline{AB^{*}}</math> mit <math>\left| AB^{*} \right| = \frac{1}{\pi} \left| AB \right|</math> und <math>\overline{AB^{*}} \subset \overline{AB}</math>. | ||
| + | == Lösung --[[Benutzer:Schnirch|Schnirch]] 10:14, 1. Jul. 2010 (UTC) == | ||
| + | |||
| + | Voraussetzung: Strecke <math>\overline{AB}\subset AB^+ </math> <br /> | ||
| + | Behauptung: es existiert genau eine Strecke <math>\overline{AB^{*}}</math> mit <math>\left| AB^{*} \right| = \frac{1}{\pi} \left| AB \right|</math> und <math>\overline{AB^{*}} \subset \overline{AB}</math> <br /> | ||
| + | {| class="wikitable " | ||
| + | |+ Beweis | ||
| + | ! Nr. | ||
| + | ! Beweisschritt | ||
| + | ! Begründung | ||
| + | |- | ||
| + | ! style="background: #FFDDDD;"|(I) | ||
| + | | es ex. genau ein Punkt <math> B^* \in AB^+ </math> mit <math>\left| AB^{*} \right| = \frac{1}{\pi} \left| AB \right|</math> | ||
| + | | Axiom III.1 | ||
| + | |- | ||
| + | ! style="background: #FFDDDD;"|(I) | ||
| + | | <math>\overline{AB^{*}}</math> existiert und ist eindeutig | ||
| + | | (I), Def. Strecke | ||
| + | |- | ||
| + | ! style="background: #FFDDDD;"|(II) | ||
| + | | <math>\left| AB^{*} \right| < \left| AB \right|</math> | ||
| + | | Rechnen in <math> \mathbb{R} </math> und <math> \frac{1}{\pi} </math> < 1 | ||
| + | |- | ||
| + | ! style="background: #FFDDDD;"|(III) | ||
| + | | <math> \operatorname{Zw} \left( A, B^*, B \right) </math> | ||
| + | | (III), Def. Zw | ||
| + | |- | ||
| + | ! style="background: #FFDDDD;"|(VI) | ||
| + | | <math>\overline{AB^{*}} \subset \overline{AB}</math> | ||
| + | | (IV) | ||
| + | |} | ||
| + | |||
| + | == vorangegangene Diskussion == | ||
Aktuelle Version vom 1. Juli 2010, 12:14 Uhr
Beweisen Sie: Zu jeder Strecke
existiert genau eine Strecke
mit
und
.
Lösung --Schnirch 10:14, 1. Jul. 2010 (UTC)
Voraussetzung: Strecke
Behauptung: es existiert genau eine Strecke
mit
und
| Nr. | Beweisschritt | Begründung |
|---|---|---|
| (I) | es ex. genau ein Punkt mit
|
Axiom III.1 |
| (I) | existiert und ist eindeutig
|
(I), Def. Strecke |
| (II) |
|
Rechnen in und < 1
|
| (III) |
|
(III), Def. Zw |
| (VI) |
|
(IV) |
mit
und
< 1

