Lösung von Aufgabe 13.1: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 14: Zeile 14:
 
<br />Voraussetzung: <math>\ |\alpha| > |\beta|</math>
 
<br />Voraussetzung: <math>\ |\alpha| > |\beta|</math>
 
<br />Annahme:<math>|a| < \ |b|</math>
 
<br />Annahme:<math>|a| < \ |b|</math>
 +
<br />Annahme:<math>|BC| < \ |AC|</math>
 +
 +
{| class="wikitable"
 +
! Nr.
 +
! Beweisschritt
 +
! Begründung
 +
|-
 +
! style="background: #FFDDDD;"|(I)
 +
| Am Scheitelpunkt <math>\ A</math> wird der Winkel <math>\ \beta</math> derart abgetragen, dass <math>\ AB^+</math> den einen Strahl des Winkels darstellt und der andere Strahl <math>\ AD^+</math> in der Halbebene <math>\ AB,C^+</math> liegt
 +
| Winkelkonstruktionsaxiom
 +
|-
 +
! style="background: #FFDDDD;"|(II)
 +
| Der Strahl <math>\ AD^+</math>  schneidet die Seite <math>\ a</math> in einem Punkt <math>\ C'</math>. <math>C' \in \ AD^+ \land C' \in \overline {BC}</math>
 +
| Axiom von Pasch (geht das? oder reicht der Verweis auf die "Geschichten aus dem Inneren")
 +
|-
 +
! style="background: #FFDDDD;"|(III)
 +
| Die Länge der Strecke <math>\ \overline {BC'}</math> ist kleiner als die Länge der Strecke <math>\ \overline {BC}</math>
 +
| Es gilt <math> \operatorname{Zw} \left(A, C', C \right) \rightarrow |BC'| + |C'C| = |BC|</math>
 +
|-
 +
! style="background: #FFDDDD;"|(IV)
 +
| Die Winkel <math>\ \beta</math> und <math>\ \beta'</math> (<math>\ \angle BAD</math>) sind kongruent.
 +
| (I)
 +
|-
 +
! style="background: #FFDDDD;"|(V)
 +
| Die Seiten <math>\ \overline {BC'}</math> und <math>\ \overline {AC'}</math> sind kongruent.
 +
| Basiswinkelsatz, (IV)
 +
|-
 +
! style="background: #FFDDDD;"|(VI)
 +
| tbc
 +
|
 +
|-
 +
! style="background: #FFDDDD;"|(VII)
 +
|
 +
|
 +
|-
 +
! style="background: #FFDDDD;"|(VIII)
 +
|
 +
|
 +
|-
 +
! style="background: #FFDDDD;"|(IX)
 +
|
 +
|
 +
|-
 +
! style="background: #FFDDDD;"|(X)
 +
|
 +
|
 +
|}

Version vom 21. Juli 2010, 01:31 Uhr

Beweisen Sie den Satz: Wenn ein Innenwinkel eine Dreiecks größer ist als ein anderer Innenwinkel dieses Dreiecks ist, dann ist die Seite, die ihm gegenüber liegt, größer als die Seite, die dem kleineren Winkel gegenüber liegt.

Satz IX.3
Es sei \overline{ABC} ein Dreieck mit den schulüblichen Bezeichnungen.
\left| \alpha \right| > \left| \beta \right|\Rightarrow \left| a \right| >\left| b \right|
Beweis von Satz IX.3

Fallunterscheidung:
Voraussetzung: \ |\alpha| > |\beta|
Annahme:|a| \le \ |b|
Aus "\ \le " lassen sich zwei Fälle ableiten:

  1. ) |a| = \ |b|, dann gilt allerdings \left| \alpha \right| = \left| \beta \right|, da es sich um ein gleichschenkliges Dreieck handelt, bei dem bekanntlich die Basiswinkel kongruent sind --> Widerspruch zur VSS!
  2. ) |a| < \ |b|, das ist allerdings der Fall, wenn \ |\alpha| < |\beta| (zu beweisen, analog zu Satz IX.2)

Beweis (Fall 2):
Voraussetzung: \ |\alpha| > |\beta|
Annahme:|a| < \ |b|
Annahme:|BC| < \ |AC|

Nr. Beweisschritt Begründung
(I) Am Scheitelpunkt \ A wird der Winkel \ \beta derart abgetragen, dass \ AB^+ den einen Strahl des Winkels darstellt und der andere Strahl \ AD^+ in der Halbebene \ AB,C^+ liegt Winkelkonstruktionsaxiom
(II) Der Strahl \ AD^+ schneidet die Seite \ a in einem Punkt \ C'. C' \in \ AD^+ \land C' \in \overline {BC} Axiom von Pasch (geht das? oder reicht der Verweis auf die "Geschichten aus dem Inneren")
(III) Die Länge der Strecke \ \overline {BC'} ist kleiner als die Länge der Strecke \ \overline {BC} Es gilt  \operatorname{Zw} \left(A, C', C \right) \rightarrow |BC'| + |C'C| = |BC|
(IV) Die Winkel \ \beta und \ \beta' (\ \angle BAD) sind kongruent. (I)
(V) Die Seiten \ \overline {BC'} und \ \overline {AC'} sind kongruent. Basiswinkelsatz, (IV)
(VI) tbc
(VII)
(VIII)
(IX)
(X)