Lösung von Aufgabe 7.2: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(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 \overline{AB} existiert genau eine Strecke \overline{AB^{*}} mit \left| AB^{*} \right| = \frac{1}{\pi} \left| AB \right| und \overline{AB^{*}} \subset \overline{AB}.

Lösung --Schnirch 10:14, 1. Jul. 2010 (UTC)

Voraussetzung: Strecke \overline{AB}\subset AB^+
Behauptung: es existiert genau eine Strecke \overline{AB^{*}} mit \left| AB^{*} \right| = \frac{1}{\pi} \left| AB \right| und \overline{AB^{*}} \subset \overline{AB}

Beweis
Nr. Beweisschritt Begründung
(I) es ex. genau ein Punkt  B^* \in AB^+ mit \left| AB^{*} \right| = \frac{1}{\pi} \left| AB \right| Axiom III.1
(I) \overline{AB^{*}} existiert und ist eindeutig (I), Def. Strecke
(II) \left| AB^{*} \right| < \left| AB \right| Rechnen in  \mathbb{R} und  \frac{1}{\pi} < 1
(III)  \operatorname{Zw} \left( A, B^*, B \right) (III), Def. Zw
(VI) \overline{AB^{*}} \subset \overline{AB} (IV)

vorangegangene Diskussion