Lösung von Aufgabe 12.2: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 7: Zeile 7:
 
Definition spitzer Winkel: Ein spitzer Winkel ist kleiner als ein rechter Winkel. Definition korrekt? (Diskussion)
 
Definition spitzer Winkel: Ein spitzer Winkel ist kleiner als ein rechter Winkel. Definition korrekt? (Diskussion)
 
<br />Voraussetzung: Dreieck <math>\overline {ABC}</math>
 
<br />Voraussetzung: Dreieck <math>\overline {ABC}</math>
<br />Behauptung: o.B.d.A: <math>|\angle BAC| < 90</math> und <math>|\angle ABC| < 90</math>
+
<br />Behauptung: (o.B.d.A)
<br />Der Einfachheit halber werden die Winkel mit <math>\alpha \ \beta \ \gamma</math> bezeichnet, die jeweiligen Außenwinkel sind dann <math>\alpha' \ \beta' \ \gamma'</math>
+
<br />Der Einfachheit halber werden die Winkel mit <math>\alpha \ \beta \ \gamma</math> bezeichnet, die jeweiligen Außenwinkel sind dann <math>\alpha' \ \beta' \ \gamma'</math>. Es gilt entweder....
<br />Behauptung:
+
::(1) <math>|\alpha| \ < 90 \land |\beta| \ < 90</math>  
::(1) <math>|\alpha| \ < 90</math> und <math>|\beta| \ < 90</math>  
+
::oder (2) <math>|\beta| \ < 90 \land |\gamma| \ < 90</math>
::oder (2) <math>|\alpha| \ < 90</math> und <math>|\gamma| \ < 90</math>  
+
::oder (3) <math>|\alpha| \ < 90 \land |\gamma| \ < 90</math>  
::oder (3) <math>|\beta| \ < 90</math> und <math>|\gamma| \ < 90</math>
+
<br />Indirekter Beweis. Es gilt entweder....
<br />Indirekter Beweis
+
::(1) <math>|\alpha| \ \ge 90 \land |\beta| \ \ge 90</math>  
::(1) <math>|\alpha| \ \ge 90</math> und <math>|\beta| \ \ge 90</math>  
+
::oder (2) <math>|\beta| \ \ge 90 \land |\gamma| \ \ge 90</math>
::oder (2) <math>|\alpha| \ \ge 90</math> und <math>|\gamma| \ \ge 90</math>  
+
::oder (3) <math>|\alpha| \ \ge 90 \land |\gamma| \ \ge 90</math>
::oder (3) <math>|\beta| \ \ge 90</math> und <math>|\gamma| \ \ge 90</math>
+
Anmerkung 1: Der Fall (3) wird in diesem Beweis ausgeklammert, kann aber (deswegen o.B.d.A) in einer analogen Beweisführung über die Winkel <math>|\alpha| \ </math> oder <math>|\gamma| \ </math> in Beweisschritt 1 ebenso angewandt werden.
Anmerkung: Man muss natürlich <math>\ < </math>in der Behauptung durch <math>\ \ge</math> in der Annahme ersetzen, denn spitze Winkel sind KLEINER ALS rechte Winkel. Rechte Winkel selbst zählen somit nicht zur möglichen Menge. In der zu widerlegenden Annahme geht man somit von allen möglichen Fälle aus, also auch von dem Fall, dass zwei rechte Winkel in einem Dreieck möglich sind. Somit ist die Umkehrung des Korollars: "In jedem Dreieck gibt es höchstens einen rechten Winkel." Dies wird durch den Beweis gleich mit bewiesen! (Oder doch nicht? --> Diskussion)
+
Anmerkung 2: Man muss natürlich aus <math>\ < </math>in der Behauptung <math>\ \ge</math> in der Annahme machen, denn spitze Winkel sind KLEINER ALS rechte Winkel. Rechte Winkel selbst zählen somit nicht zur möglichen Menge der spitzen Winkel. In der zu widerlegenden Annahme geht man somit von allen möglichen Fällen aus, also auch von dem Fall, dass zwei rechte Winkel in einem Dreieck möglich sind. Somit ist eine Umformulierung des Korollars: "In jedem Dreieck gibt es höchstens einen rechten Winkel." Dies wird durch den Beweis gleich mit bewiesen! (Oder doch nicht? --> Diskussion)
 
<br />Annahme  
 
<br />Annahme  
 
<br />[[Bild:Skizze_Übung_12_2.png]]
 
<br />[[Bild:Skizze_Übung_12_2.png]]
Zeile 35: Zeile 35:
 
! style="background: #FFDDDD;"|(III)
 
! style="background: #FFDDDD;"|(III)
 
| <math>\ |\beta'| = 180 - |\beta|</math>
 
| <math>\ |\beta'| = 180 - |\beta|</math>
| Algebraische Umformung
+
| (II) Algebraische Umformung
 
|-
 
|-
 
! style="background: #FFDDDD;"|(IV)
 
! style="background: #FFDDDD;"|(IV)
|  
+
| <math>|\alpha| \ < 180 - |\beta|</math> und <math>|\gamma| \ < 180 - |\beta|</math>
|  
+
| (I), (III)
 +
|-
 +
! style="background: #FFDDDD;"|(V)
 +
| <math>|\alpha| + |\beta|\ < 180 </math> und <math>|\gamma| + |\beta| \ < 180</math>
 +
| (IV) Algebraische Umformung
 
|-
 
|-
 
! style="background: #FFDDDD;"|(VI)
 
! style="background: #FFDDDD;"|(VI)
|  
+
| Wenn gilt (1) <math>|\alpha| \ \ge 90</math> und <math>|\beta| \ \ge 90</math> muss <math>|\alpha| + |\beta|\ < 180 </math> verworfen werden.
|
+
| Annahme, (V)
 
|-
 
|-
 
! style="background: #FFDDDD;"|(VII)
 
! style="background: #FFDDDD;"|(VII)
|  
+
| Wenn gilt (2) <math>|\beta| \ \ge 90</math> und <math>|\gamma| \ \ge 90</math> muss <math>|\gamma| + |\beta| \ < 180</math> verworfen werden.
|
+
| Annahme, (V)  
|-
+
! style="background: #FFDDDD;"|(VIII)
+
|  
+
|  
+
|-
+
! style="background: #FFDDDD;"|(IX)
+
|  
+
|  
+
|-
+
! style="background: #FFDDDD;"|(X)
+
|
+
|
+
 
|}
 
|}
 
--[[Benutzer:Heinzvaneugen|Heinzvaneugen]] 21:48, 11. Jul. 2010 (UTC)
 
--[[Benutzer:Heinzvaneugen|Heinzvaneugen]] 21:48, 11. Jul. 2010 (UTC)

Version vom 12. Juli 2010, 03:22 Uhr

Aufgabenstellung

Beweisen Sie:
Korollar 1 zum schwachen Außenwinkelsatz

In jedem Dreieck sind mindestens zwei Innenwinkel spitze Winkel.

Lösung 1

Definition spitzer Winkel: Ein spitzer Winkel ist kleiner als ein rechter Winkel. Definition korrekt? (Diskussion)
Voraussetzung: Dreieck \overline {ABC}
Behauptung: (o.B.d.A)
Der Einfachheit halber werden die Winkel mit \alpha \ \beta \ \gamma bezeichnet, die jeweiligen Außenwinkel sind dann \alpha' \ \beta' \ \gamma'. Es gilt entweder....

(1) |\alpha| \ < 90 \land |\beta| \ < 90
oder (2) |\beta| \ < 90 \land |\gamma| \ < 90
oder (3) |\alpha| \ < 90 \land |\gamma| \ < 90


Indirekter Beweis. Es gilt entweder....

(1) |\alpha| \ \ge 90 \land |\beta| \ \ge 90
oder (2) |\beta| \ \ge 90 \land |\gamma| \ \ge 90
oder (3) |\alpha| \ \ge 90 \land |\gamma| \ \ge 90

Anmerkung 1: Der Fall (3) wird in diesem Beweis ausgeklammert, kann aber (deswegen o.B.d.A) in einer analogen Beweisführung über die Winkel |\alpha| \ oder |\gamma| \ in Beweisschritt 1 ebenso angewandt werden. Anmerkung 2: Man muss natürlich aus \ < in der Behauptung \ \ge in der Annahme machen, denn spitze Winkel sind KLEINER ALS rechte Winkel. Rechte Winkel selbst zählen somit nicht zur möglichen Menge der spitzen Winkel. In der zu widerlegenden Annahme geht man somit von allen möglichen Fällen aus, also auch von dem Fall, dass zwei rechte Winkel in einem Dreieck möglich sind. Somit ist eine Umformulierung des Korollars: "In jedem Dreieck gibt es höchstens einen rechten Winkel." Dies wird durch den Beweis gleich mit bewiesen! (Oder doch nicht? --> Diskussion)
Annahme
Skizze Übung 12 2.png

Nr. Beweisschritt Begründung
(I) Es gilt: |\alpha| \ < |\beta'| und |\gamma| \ < |\beta'| schwacher Außenwinkelsatz
(II) |\beta| \ + |\beta'| = 180 Axiom IV.4: (Supplementaxiom): Nebenwinkel sind supplementär.
(III) \ |\beta'| = 180 - |\beta| (II) Algebraische Umformung
(IV) |\alpha| \ < 180 - |\beta| und |\gamma| \ < 180 - |\beta| (I), (III)
(V) |\alpha| + |\beta|\ < 180 und |\gamma| + |\beta| \ < 180 (IV) Algebraische Umformung
(VI) Wenn gilt (1) |\alpha| \ \ge 90 und |\beta| \ \ge 90 muss |\alpha| + |\beta|\ < 180 verworfen werden. Annahme, (V)
(VII) Wenn gilt (2) |\beta| \ \ge 90 und |\gamma| \ \ge 90 muss |\gamma| + |\beta| \ < 180 verworfen werden. Annahme, (V)

--Heinzvaneugen 21:48, 11. Jul. 2010 (UTC)