Lösung von Aufgabe 9.4P (SoSe 13): Unterschied zwischen den Versionen
| Zeile 4: | Zeile 4: | ||
| − | Kontraposition lautet: | + | Kontraposition lautet: P <math>\not\in</math> m<math>\Rightarrow</math> IAPI<math>\neq</math> 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. | ||
| + | |||
{| class="wikitable" | {| class="wikitable" | ||
| − | | Voraussetzung || | + | | Voraussetzung |IAPI=IBPI, m ist Mittelsenkrechte der Strecke AB| |
|- | |- | ||
| − | | Behauptung || ( | + | | Behauptung || (P ist Element m) |
|} | |} | ||
<br /> | <br /> | ||
| + | |||
| + | Annahme: P ist nicht Element m | ||
| + | |||
| + | Betrachtung: Punkt P liegt in der selben Halbebene von m wie B | ||
{| class="wikitable" | {| class="wikitable" | ||
!Nr. !!Beweisschritt!!Begründung | !Nr. !!Beweisschritt!!Begründung | ||
|- | |- | ||
| − | | 1 ||( | + | | 1 ||(Strecke BP geschnitten mit m=leere Menge )|| (Def. HE, Annahme) |
|- | |- | ||
| − | | 2 || ( | + | | 2 || (Strecke AP geschnitten mit m =(R)) || (1,) |
|- | |- | ||
| − | | 3 || ( | + | | 3 || (R ist Element Strecke AP) || (2) |
|- | |- | ||
| − | | 4 || ( | + | | 4 || (Zw(ARP)) || (Def. ZW, 3) |
|} | |} | ||
| − | |||
| + | (5) IARI + IRPI= IAPI 4 | ||
| + | (6) IStreckeAPI > IStrecke BPI 5 | ||
| + | |||
| + | WIEDERSPRUCH ZUR VORAUSSETZUNG. ANNAHME VERWERFEN, BEHAUPTUNG STIMMT. | ||
| + | <br /> | ||
| + | --[[Benutzer:Blumenkind|Blumenkind]] 17:49, 4. Jul. 2013 (CEST)BLUMENKIND 17:47, 4.JULI | ||
Version vom 4. Juli 2013, 16:49 Uhr
m sei Mittelsenkrechte der Strecke
. Beweisen Sie durch Kontraposition:
Tipp: Nutzen Sie den Satz von Pasch und die Dreiecksungleichung.
Hinweis: Die Umkehrung des hier zu beweisenden Satzes sei bereits bewiesen.
Kontraposition lautet: P
m
IAPI
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.
| IAPI=IBPI, m ist Mittelsenkrechte der Strecke AB| | |
| Behauptung | (P ist Element m) |
Annahme: P ist nicht Element m
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) IStreckeAPI > IStrecke BPI 5
WIEDERSPRUCH ZUR VORAUSSETZUNG. ANNAHME VERWERFEN, BEHAUPTUNG STIMMT.
--Blumenkind 17:49, 4. Jul. 2013 (CEST)BLUMENKIND 17:47, 4.JULI

