Lösung von Aufgabe 9.4P (SoSe 13): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 50: Zeile 50:
  
 
{| class="wikitable"  
 
{| class="wikitable"  
!Nr. !!Beweisschritt!!Begründung
+
!Nr. !!Beweisschritt!!Begründung!! Skizze dazu
 
|-  
 
|-  
 
| 1 ||IBPI geschnitten mit m = { } || (Def. HE, Annahme)
 
| 1 ||IBPI geschnitten mit m = { } || (Def. HE, Annahme)
 
|-  
 
|-  
| 2 || IAPI geschnitten mit m = (R) || 1.)
+
| 2 || IAPI geschnitten mit m = (R) || 1.)|| [[Datei:9-4-Skizze.PNG ]]
 
|-  
 
|-  
 
| 3 ||  IARI =  IBRI || 2.), Def. Mittelsenkrechte
 
| 3 ||  IARI =  IBRI || 2.), Def. Mittelsenkrechte
 
|-  
 
|-  
| 4 || IRBI kleiner als IRPI + IPBI|| Dreiecksungleichung
+
| 4 || IRBI < IRPI + IPBI|| Dreiecksungleichung
 
|-  
 
|-  
| 5 || IRBI kleiner als IARI + IRPI || 4.); Rechnen in IR
+
| 5 || IRBI < IARI + IRPI || 4.); Rechnen in IR ||<span style="color: red"> Das lässt sich nicht allein aus Schritt 4 ableiten.</span>
 
|-
 
|-
 
| 6 || IAPI = IARI + IRPI || Def. Zwischen
 
| 6 || IAPI = IARI + IRPI || Def. Zwischen
 
|-  
 
|-  
| 7 || IAPI größer IBPI || 5.); 6.); Rechnen in IR
+
| 7 || IAPI > IBPI || 5.); 6.); Rechnen in IR
 
|-  
 
|-  
| 8 || IAPI <math>\neq</math>  IBPI <math>\Rightarrow</math>  P <math>\not\in</math> m || 3.); 7.); Def. Mittelsenkrechte
+
| 8 || IAPI <math>\neq</math>  IBPI <math>\Rightarrow</math>  P <math>\not\in</math> m || 3.); 7.)<s>; Def. Mittelsenkrechte</s> || den Schritt darfst du so nicht schreiben, da du die Voraussetzung ja nicht zeigen sollst. Ich meine aber zu verstehen, was du sagen möchtest. Dann besser so:
|}<br />--[[Benutzer:Wüstenfuchs|Wüstenfuchs]] 16:49, 14. Jul. 2013 (CEST)
+
|-
 +
| <span style="color: red">8</span> || IAPI <math>\neq</math>  IBPI || 7)
 +
|-
 +
| <span style="color: red">9</span> || <math>\left| AP \right| =\left| BP \right|\Rightarrow  P\in m</math> || 1-8 Beweis durch Kontraposition
 +
 
 +
|}<br /><br />--[[Benutzer:Wüstenfuchs|Wüstenfuchs]] 16:49, 14. Jul. 2013 (CEST)
  
 +
* Sehr gut, Wüstenfuchs. Ich habe Schritt 8 und 9 (rot) hinzugefügt. Denn Schritt 9, den ich vorgeschlagen habe,  brauch man nicht zu machen. (Ich meinte nur, dass du so was in der Art schreiben wolltest.)--[[Benutzer:Tutorin Anne|Tutorin Anne]] 09:52, 15. Jul. 2013 (CEST)
 
[[Kategorie: Einführung_P]]
 
[[Kategorie: Einführung_P]]

Version vom 15. Juli 2013, 09:52 Uhr

m sei Mittelsenkrechte der Strecke \overline{AB}. Beweisen Sie durch Kontraposition: \left| AP \right| =\left| BP \right|\Rightarrow  P\in m
Tipp: Nutzen Sie den Satz von Pasch und die Dreiecksungleichung.
Hinweis: Die Umkehrung des hier zu beweisenden Satzes sei bereits bewiesen.


Kontraposition lautet: P \not\in m\Rightarrow IAPI\neq IBPI
Wenn P nicht Element m ist, dann sind 2 Fälle zu betrachten. Weil P kann einmal in der Halbebene von m liegen in der B liegt oder P kann in der Halbebene von m liegen in der A liegt.

Voraussetzung AP|=|BP|, m ist Mittelsenkrechte der Strecke AB|
Behauptung P ist Element m
Annahme P ist nicht Element m


9-4-Skizze.PNG
Betrachtung: Punkt P liegt in der selben Halbebene von m wie B

Nr. Beweisschritt Begründung
1 (Strecke BP geschnitten mit m=leere Menge ) (Def. HE, Annahme)
2 (Strecke AP geschnitten mit m =(R)) (1,)
3 (R ist Element Strecke AP) (2)
4 (Zw(ARP)) (Def. ZW, 3)
5 IARI + IRPI= IAPI 4
... ... ...
... ... ...
6 StreckeAPI > IStrecke BPI 5

WIEDERSPRUCH ZUR VORAUSSETZUNG. ANNAHME VERWERFEN, BEHAUPTUNG STIMMT.
--Blumenkind 17:49, 4. Jul. 2013 (CEST)BLUMENKIND 17:47, 4.JULI

Ich verstehe Schritt 6 nicht, denn der Abstand BP kommt ja in 5 nicht vor. Da sind noch Zwischenschritte nötig.--Tutorin Anne 14:13, 8. Jul. 2013 (CEST)

  • Da ich bei der Betrachtung oben geschrieben habe, dass mein Punkt P in der selben Halbebene von m wie B liegt, ergibt sich nach meiner Konstruktion ein neues "Dreieck" mit APB und ich will ja zeigen, dass die Strecke AP gleich Strecke BP ist. Durch Schritt 4 und 5 sehe ich, dass die Strecke AP kleiner ist als die Strecke BP und dass ist ein Wiederspruch zur Voraussetzung. Ich weis es ist kompliziert, da keine Zeichnung vorliegt. Ich kann irgendwie mein Bild nicht hochladen. Herr Schnirch, hatte uns in der Vorlesung eine Skizze gezeichnet, wo er das Dreieck einfach verlängert hat und wir dadurch 2 Dreiecke hatte. Ich weis aber nicht, wie ich es in Schritten erklären soll;-/---Blumenkind 16:04, 8. Jul. 2013 (CEST)Blumenkind 16:03, 8.Juli
    • Ich habe die Idee schon verstanden und die Skizze kenne ich und habe sie jetzt nochmal zugefügt. Entscheident ist, dass trotzdem nicht so Schritt 6 abgeleitet werden kann. Das was du da über ein Dreieck schreibst, muss auch im Beweis stehen. (Sieh in der Aufgabenstellung bei TIPP).--Tutorin Anne 15:13, 10. Jul. 2013 (CEST)
Nr. Beweisschritt Begründung Skizze dazu
1 IBPI geschnitten mit m = { } (Def. HE, Annahme)
2 IAPI geschnitten mit m = (R) 1.) 9-4-Skizze.PNG
3 IARI = IBRI 2.), Def. Mittelsenkrechte
4 IRBI < IRPI + IPBI Dreiecksungleichung
5 IRBI < IARI + IRPI 4.); Rechnen in IR Das lässt sich nicht allein aus Schritt 4 ableiten.
6 IAPI = IARI + IRPI Def. Zwischen
7 IAPI > IBPI 5.); 6.); Rechnen in IR
8 IAPI \neq IBPI \Rightarrow P \not\in m 3.); 7.); Def. Mittelsenkrechte den Schritt darfst du so nicht schreiben, da du die Voraussetzung ja nicht zeigen sollst. Ich meine aber zu verstehen, was du sagen möchtest. Dann besser so:
8 IAPI \neq IBPI 7)
9 \left| AP \right| =\left| BP \right|\Rightarrow  P\in m 1-8 Beweis durch Kontraposition


--Wüstenfuchs 16:49, 14. Jul. 2013 (CEST)
  • Sehr gut, Wüstenfuchs. Ich habe Schritt 8 und 9 (rot) hinzugefügt. Denn Schritt 9, den ich vorgeschlagen habe, brauch man nicht zu machen. (Ich meinte nur, dass du so was in der Art schreiben wolltest.)--Tutorin Anne 09:52, 15. Jul. 2013 (CEST)