Lösung von Aufgabe 6.10: Unterschied zwischen den Versionen
*m.g.* (Diskussion | Beiträge) |
*m.g.* (Diskussion | Beiträge) (→Beweis der Implikation II) |
||
(85 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
Der folgende Satz bezieht sich auf die ebene Geometrie.<br /> | Der folgende Satz bezieht sich auf die ebene Geometrie.<br /> | ||
<u>'''Satz:'''</u><br /> | <u>'''Satz:'''</u><br /> | ||
− | ::Es seien <math>\ k_1</math> und <math>\ k_2</math> zwei Kreise mit den Mittelpunkten <math>\ M_1</math> bzw. <math>\ M_2</math> und den Radien <math>\ r_1</math> bzw. <math>\ r_2</math>. <br />Die Kreise <math>\ k_1</math> und <math>\ k_2</math> haben dann und nur dann einen und nur einen Punkt <math>\ S</math> gemeinsam, wenn <math>\ |M_1M_2|=|r_1|+|r_2|</math> gilt. | + | ::Es seien <math>\ k_1</math> und <math>\ k_2</math> zwei Kreise mit den Mittelpunkten <math>\ M_1</math> bzw. <math>\ M_2</math> und den Radien <math>\ r_1</math> bzw. <math>\ r_2</math>. Keiner der Mittelpunkte möge dabei im Inneren des jeweils anderen Kreises liegen. |
+ | <br /> | ||
+ | ::Die Kreise <math>\ k_1</math> und <math>\ k_2</math> haben dann und nur dann einen und nur einen Punkt <math>\ S</math> gemeinsam, wenn <math>\ |M_1M_2|=|r_1|+|r_2|</math> gilt. | ||
# Formulieren Sie den Satz ohne die Verwendung der Phrasen <span style="color: green">''dann und nur dann''</span> sowie <span style="color: green">''einen und nur einen''</span>. | # Formulieren Sie den Satz ohne die Verwendung der Phrasen <span style="color: green">''dann und nur dann''</span> sowie <span style="color: green">''einen und nur einen''</span>. | ||
# Sie haben sicherlich erkannt, dass es sich bei dem Satz um eine Äquivalenz handelt. Formulieren Sie die beiden Implikationen, die diese Äquivalenz beinhaltet. | # Sie haben sicherlich erkannt, dass es sich bei dem Satz um eine Äquivalenz handelt. Formulieren Sie die beiden Implikationen, die diese Äquivalenz beinhaltet. | ||
− | # | + | # Beweisen Sie die beiden Implikationen. |
+ | == Lösung der Aufgabe --[[Benutzer:*m.g.*|*m.g.*]] 09:08, 21. Jun. 2010 (UTC)== | ||
+ | === Teilaufgabe 1 === | ||
+ | Die Formulierung ''"eine und nur eine"'' ist äquivalent zu ''"genau eine"''. | ||
+ | |||
+ | Die Lösung von Heinzvaneugen kann also 1 zu 1 übernommen werden: | ||
+ | |||
+ | Die Kreise <math>\ k_1</math> und <math>\ k_2</math> haben '''genau''' dann '''genau''' einen Punkt <math>\ S</math> gemeinsam, wenn <math>\ |M_1M_2|=|r_1|+|r_2|</math> gilt. | ||
+ | |||
+ | === Teilaufgabe 2 === | ||
+ | Die Lösung von [[Benutzer:Heinzvaneugen|Heinzvaneugen]] ist korrekt. | ||
+ | ==== allgemeiner Teil für beide Implikationen ==== | ||
+ | Es seien <math>\ k_1</math> und <math>\ k_2</math> zwei Kreise mit den Mittelpunkten <math>\ M_1</math> bzw. <math>\ M_2</math> und den Radien <math>\ r_1</math> bzw. <math>\ r_2</math>. | ||
+ | ==== Implikation I (-->)==== | ||
+ | Wenn <math>\ |M_1M_2|=|r_1|+|r_2|</math>, dann haben die beiden Kreise <math>\ k_1</math> und <math>\ k_2</math> genau einen Punkt gemeinsam. | ||
+ | |||
+ | andere möglich Formulierung (neben vielen weiteren, die hier nicht alle aufgezeigt werden sollen und können): | ||
+ | |||
+ | Wenn für zwei Kreise gilt, dass die Summe der Längen ihrer Radien gleich dem Abstand ihrer Mittelpunkte ist, dann existiert genau ein Punkt <math>\ S</math>, den die beiden Kreise gemeinsam haben. | ||
+ | |||
+ | (Der allgemein Teil zuvor ist hier mit aufgenommen und hätte nicht extra formuliert werden müssen.) | ||
+ | |||
+ | ==== Implikation II (<--) ==== | ||
+ | Wenn <math>\ k_1</math> und <math>\ k_2</math> genau einen Punkt gemeinsam haben, so gilt <math>\ |M_1M_2|=|r_1|+|r_2|</math>. | ||
+ | |||
+ | Bemerkung zu der Formulierung von [[Benutzer:Heinzvaneugen|Heinzvaneugen]]: | ||
+ | |||
+ | Sie formulieren: Wenn zwei Kreise <math>\ k_1</math> und <math>\ k_2</math> ... . | ||
+ | |||
+ | Die beiden Kreise wurden aber vorab schon festgelegt. Es seien <math>\ k_1</math> und <math>\ k_2</math> ... . Jetzt bleiben wir natürlich in den weiteren Formulierungen bei diesen zunächst beliebigen, dann aber festen Kreisen. Also besser: Wenn die Kreise <math>\ k_1</math> und <math>\ k_2</math> ... . Oder: Wenn <math>\ k_1</math> und <math>\ k_2</math> ... . | ||
+ | === Teilaufgabe 3 === | ||
+ | ==== Beweis von Implikation I ==== | ||
+ | ===== Voraussetzung ===== | ||
+ | <math>\left| M_1M_2 \right| = \left|r_1\right| + \left| r_2 \right|</math> | ||
+ | ===== Behauptung 1 (Existenzaussage) ===== | ||
+ | Es gibt einen Punkt <math>\ S</math>, der sowohl zu <math>\ k_1</math> als auch zu <math>\ k_2</math> gehört. | ||
+ | ===== Behauptung 2 (Eindeutigkeitsaussage) ===== | ||
+ | Es gibt nicht mehr als einen Punkt <math>\ S</math> den <math>\ k_1</math> und <math>\ k_2</math> gemeinsam haben. | ||
+ | ===== Beweis der Existenzaussage (Behauptung 1) ===== | ||
+ | Nachzuweisen ist die Existenz eines Punktes <math>\ S</math> der sowohl zu <math>\ k_1</math> als auch zu <math>\ k_2</math> gehört. | ||
+ | |||
+ | Der Kreis <math>\ k_1</math> ist die Menge aller Punkte unserer Ebene, die zu dem Punkt <math>\ M_1</math> den Abstand <math>\left| r_1 \right|</math> haben. | ||
+ | |||
+ | Der Kreis <math>\ k_2</math> ist die Menge aller Punkte unserer Ebene, die zu dem Punkt <math>\ M_2</math> den Abstand <math>\left| r_2 \right|</math> haben. | ||
+ | |||
+ | Wir haben also die Existenz eines Punktes<math> \ S</math> nachzuweisen, für den gilt:<br /> | ||
+ | ::<math>\left| SM_1 \right| = \left| r_1 \right|</math><br /> | ||
+ | und<br /> | ||
+ | ::<math>\left| SM_2 \right| = \left| r_2 \right|</math> | ||
+ | |||
+ | Wir konstruieren uns einen solchen Punkt <math>\ S</math> wie folgt: | ||
+ | |||
+ | Wir gehen von dem Strahl <math>\ M_1M_2^+</math> aus. | ||
+ | |||
+ | [[Bild:B01.png]] | ||
+ | |||
+ | |||
+ | Auf <math>\ M_1M_2^+</math> gibt es nach dem Axiom vom Lineal genau einen Punkt <math>\ S</math> , der zu <math>\ M_1</math> den Abstand <math>\left| r_1 \right|</math> hat: <math>\left| M_1S \right| = \left| r_1 \right|</math> | ||
+ | |||
+ | [[Bild:B02.png]] | ||
+ | |||
+ | Jetzt gilt: (*) Der Punkt <math>\ S</math> liegt zwischen den Punkten <math>\ M_1</math> und <math>\ M_2</math> | ||
+ | |||
+ | Begründung von (*): <br /> | ||
+ | ::Der Punkt <math>\ S</math> fällt nicht mit <math>\ M_1</math> zusammen: <math>\ | r_1 |= 0</math> , entarteter Kreis.<br /> | ||
+ | ::Der Punkt <math>\ S</math> fällt nicht mit <math>\ M_2</math> zusammen: entsprechend der Voraussetzung würde jetzt <math>\ k_2</math> entarten.<br /> | ||
+ | ::Annahme: <math>\neg \operatorname{Zw} \left( M_1, S, M_2 \right)</math><br /> | ||
+ | :: Unter Berücksichtigung der Tatsache, dass <math>\ S</math> ein Punkt der Halbgeraden <math>\ M_1M_2^+</math> ist, kann jetzt nur noch <math> \operatorname{Zw} \left( M_1, M_2, S \right)</math> gelten: | ||
+ | |||
+ | [[Bild:B03.png]] | ||
+ | |||
+ | :: <math> \operatorname{Zw} \left( M_1, M_2, S \right)</math> bedeutet: (**) <math>\left| M_1M_2 \right| + \left| M_2S \right| = \left| M_1S \right|</math><br /> | ||
+ | :: Der Punkt <math> \ S</math> wurde so gewählt, dass sein Abstand <math>zu \ M_1</math> die Zahl <math>\left| r_1 \right|</math> ist, womit (**) auch wie folgt geschrieben werden kann:<br /> | ||
+ | :: (***) <math>\left| M_1M_2 \right| + \left| M_2S \right| = \left|r_1 \right|</math><br /> | ||
+ | :: Unter Berücksichtigung der Voraussetzung <math>\left| M_1M_2 \right| = \left|r_1\right| + \left| r_2 \right|</math> gilt entsprechend (***) auch (****) <math>\left|r_1 \right| + \left|r_2 \right|+ \left| M_2S \right| = \left|r_1 \right|</math><br /> | ||
+ | :: Da nun<math> \ | r_1 |, |r_2| </math> und <math>\ | M_2S |</math> positive reelle Zahlen sind, ist (****) ein Widerspruch in sich. Die Annahme <math>\neg \operatorname{Zw} \left( M_1, S, M_2 \right)</math><br /> ist zu verwerfen. | ||
+ | |||
+ | |||
+ | Nach diesen Ausführungen können wir also davon ausgehen, dass der von uns konstruierte Punkt <math>\ S</math> zwischen den Punkten <math>\ M_1</math> und <math>\ M_2</math> liegt. Aus <math>\operatorname{Zw} \left( M_1, S, M_2 \right)</math> folgt: | ||
+ | |||
+ | (i) <math>\ | M_1S | + | SM_2| = | M_1M_2 |</math> | ||
+ | |||
+ | Unter Berücksichtigung der Voraussetzung <math>\ | r_1 | + | r-2 | = | M_1M_2 |</math> läßt sich (i) als | ||
+ | |||
+ | (ii) <math>\ | M_1S | + | SM_2| = | r_1 | + | r_2 |</math> | ||
+ | |||
+ | schreiben. | ||
+ | |||
+ | Da <math>\ S</math> so gewählt wurde, dass <math>\ | M_1S | = | r_1 |</math> gilt, ist auch | ||
+ | |||
+ | (iii) <math>\ | r_1 | + | SM_2| = | r_1 | + | r_2 |</math> | ||
+ | |||
+ | gültig. | ||
+ | |||
+ | Aus (iii) folgt unmittelbar <math>\ | SM_2| = | r_2 |</math>. | ||
+ | |||
+ | Damit gehört der Punkt <math>\ S</math> sowohl zu <math>\ k_1</math> als auch zu <math>\ k_2</math>.<br /> | ||
+ | Die Existenz des gemeinsamen Punktes <math>\ S</math> der beiden Kreise <math>\ k_1</math> und <math>\ k_2</math> ist damit nachgewiesen. | ||
+ | |||
+ | ===== Beweis der Eindeutigkeitsaussage (Behauptung 2) ===== | ||
+ | Annahme:<math> \exists T: T \not\equiv S \wedge | TM_1 | = | r_1 | \wedge | TM_2 | = | r_2 |</math> | ||
+ | |||
+ | Wegen <math>\ | r_1 | + | r_2 | = | M_1M_2 |</math> und <math>| TM_1 | = | r_1 |</math> und <math>| TM_2 | = | r_2 |</math> gilt: | ||
+ | |||
+ | <math>\operatorname{Zw} \left( M_1, T, M_2 \right)</math> | ||
+ | |||
+ | und damit natürlich auch | ||
+ | |||
+ | <math>\ T \in M_1M_2^+</math> | ||
+ | |||
+ | Damit sind <math>\ S</math> und <math>\ T</math> zwei verschiedene Punkte auf dem Strahl <math> M_1M_2^+</math> die zum Anfangspunkt dieses Strahls ein und denselben Abstand <math>\ | r_1 |</math> haben. | ||
+ | |||
+ | Das wäre allerdings ein Widerspruch zur Eindeutigkeitsaussage des Axioms vom Lineal. | ||
+ | |||
+ | ==== Zum Beweis von [[Benutzer:Heinzvaneugen|Heinzvaneugen]]==== | ||
+ | Sie wollen beweisen: Aus <math>\ | r_1 | + | r_2 | = | M_1M_2 |</math> folgt, dass die beiden Kreise genau einen Punkt gemeinsam haben. | ||
+ | Sie führen den Beweis indirekt und negieren bei Beibehaltung der Voraussetzung die Behauptung. Das ist korrekt, so führt man vom Prinzip her indirekte Beweise. Unsere Behauptung besteht eigentlich aus zwei Aussagen: Die beiden Kreise haben einen Punkt gemeinsam und zwar nur einen. Sie negieren die Behauptung korrekt. Die Negation von ''Die beiden Kreise haben genau einen Punkt gemeinsam'' ist ''Die beiden Kreise haben nicht genau einen Punkt gemeinsam''. Letzteres bedeutet, dass die beiden Kreise entweder überhaupt keinen Punkt gemeinsam haben (Negation der Existenzaussage) oder dass sie mehr als einen Punkt gemeinsam haben (Negation der Eindeutigkeitsaussage). Das sind in der Tat Ihre beiden Gegenannahmen. Bis hier hin ist alles in Ordnung. | ||
+ | |||
+ | Jetzt kommt der eigentliche Beweis. Sie wählen auf der Strecke <math>\ \overline{M_1M_2}</math> einen ominösen Punkt <math>\ C</math>. Den wird es sicherlich geben (Axiom vom Lineal). Jetzt kommt der Knackpunkt ihres Beweises. Ihre Gegenannahme 1 besagt, dass die beiden Kreise keinen Punkt gemeinsam haben. Damit, so folgern Sie (und soweit ist das auch korrekt), kann der Punkt <math>\ C</math> definitiv nicht gleichzeitig zu den beiden Kreisen <math>\ k_1</math> und <math>\ k_2</math> gehören. Was heißt aber <math>\ C</math> gehört nicht gleichzeitig zu <math>\ k_1</math> und zu <math>\ k_2</math>? | ||
+ | |||
+ | |||
+ | # <math> \ C</math> gehört zu <math>\ k_1</math> aber nicht zu <math>\ k_2</math> | ||
+ | # <math>\ C</math> gehört zu <math>\ k_2</math> aber nicht zu <math>\ k_1</math> | ||
+ | # <math>\ C</math> gehört weder zu <math>\ k_1</math> noch zu <math>\ k_2</math> | ||
+ | |||
+ | Fall 3 lässt wieder in Unterfälle aufdröseln: | ||
+ | |||
+ | # <math>\ C</math> liegt sowohl außerhalb von <math>\ k_1</math> als auch von <math>\ k_2</math>. (<math>\ | M_1C | > | r_1 | \wedge | M_2C | > | r_2 |</math>) | ||
+ | # <math>\ C</math> liegt innerhalb von <math>\ k_1</math> und außerhalb von <math>\ k_2</math>.(<math>\ | M_1C | < | r_1 | \wedge | M_2C | > | r_2 |</math>) | ||
+ | # <math>\ C</math> liegt außerhalb von <math>\ k_1</math> und innerhalb von <math>\ k_2</math>.(<math>\ | M_1C | > | r_1 | \wedge | M_2C | < | r_2 |</math>) | ||
+ | # <math>\ C</math> liegt sowohl innerhalb von <math>\ k_1</math> als auch innerhalb von <math>\ k_2</math>.(<math>\ | M_1C | < | r_1 | \wedge | M_2C | < | r_2 |</math>) | ||
+ | |||
+ | Sie berücksichtigen in Ihrem Beweis hinsichtlich der Gegenbehauptung 1 nur den Fall 3.1. Das reicht nicht, um diese Gegenbehauptung ad absurdum zu führen. | ||
+ | |||
+ | Genug der Negativdiskussion: | ||
+ | |||
+ | # Sie haben den Teil des Beweises, der sich auf Fall 3.1 bezieht absolut korrekt geführt. Alle weiteren Fälle würde man sicherlich in gewisser Weise analog führen. <br />Schreiben Sie also in Ihren Teilbeweis (Negation der Existenz): andere Fälle: analog (der Leser überzeuge sich davon).<br /><br /> | ||
+ | # Sie haben eine sehr wichtige Erfahrung gemacht. Diese Erfahrung ist letztlich viel wichtiger als der gesamte korrekte Beweis. Weil Sie versuchten einen Existenzbeweis indirekt zu führen, haben Sie sich das Leben etwas zu schwer gemacht. Ich will und kann hier keine Regel aufstellen: Existenzbeweise führt man besser immer direkt. Es mag auch Fälle geben, in denen ein indirekter Existenzbeweis eleganter als die direkte Methode ist. Aber in der größten Zahl der Fälle führt der direkte Existenzbeweis schneller zum Ziel.<br /><br /> Was ist ein Existenzbeweis? Man hat nachzuweisen, dass es bestimmte Repräsentanten eines Begriffs gibt. Dieser Nachweis ist letzlich eine Konstruktionsaufgabe. Insbesondere dann, wenn man vorab schon überzeugt davon ist, dass entsprechende Repräsentanten wirklich existieren, wird man wohl eher damit beginnen, einen solchen Repräsentanten zu konstruieren, als zu versuchen nachzuweisen, dass die Aussage "Meine Konstruktionsaufgabe ist nicht lösbar" falsch ist.<br /><br /> Die Idee, bei Existenzbeweisen erst mal einen direkten Beweis zu versuchen, ist eine heuristische Regel. Heuristik ist vor allem Erfahrung. Erfahrungen muss man vor allem selbst machen. Natürlich kann man von den Erfahrungen anderer profitieren, aber die eigene Erfahrung ist sicherlich nachhaltiger. | ||
+ | ==== Beweis der Implikation II ==== | ||
+ | muss noch geschrieben werden, allein mir fehlt momentan die Zeit, in der nächsten freien Minute (eher Stunde) werde ich das Schreiben der Lösung fortsetzen.--[[Benutzer:*m.g.*|*m.g.*]] 13:17, 21. Jun. 2010 (UTC) | ||
+ | |||
+ | == bisherige Diskussionen == | ||
+ | |||
+ | 1. Reicht es, wenn man mit "genau" arbeitet? | ||
+ | <br />Die Kreise <math>\ k_1</math> und <math>\ k_2</math> haben '''genau''' dann '''genau''' einen Punkt <math>\ S</math> gemeinsam, wenn <math>\ |M_1M_2|=|r_1|+|r_2|</math> gilt. | ||
+ | <br />2. I) Wenn <math>\ |M_1M_2|=|r_1|+|r_2|</math> gilt, dann haben die beiden Kreise <math>\ k_1</math> und <math>\ k_2</math> genau einen Punkt gemeinsam, den Berührpunkt S. | ||
+ | <br />II) Wenn zwei Kreise <math>\ k_1</math> und <math>\ k_2</math> genau einen Punkt gemeinsam haben, so gilt <math>\ |M_1M_2|=|r_1|+|r_2|</math> | ||
+ | <br />3. Beweisen Sie die beiden Implikationen Teil 1 | ||
+ | <br />I) | ||
+ | *[[Strecken#Die_Dreiecksungleichung|Skizze]] | ||
+ | *Vorraussetzung: Die Strecke <math>\ |M_1M_2|</math> ist so lang wie die Summe der beiden Radien <math>\ |r_1|</math> und <math>|r_2|</math>. | ||
+ | *Behauptung: Die beiden Kreisen haben genau einen gemeinsamen Punkt. | ||
+ | *Gegen-Behauptung (1): Es gibt KEINEN gemeinsamen Punkt | ||
+ | *Gegen-Behauptung (2): Es gibt MEHR ALS EINEN gemeinsamen Punkt. | ||
+ | *Indirekter Beweis: | ||
+ | ** (1) Die Strecke <math>\ |M_1M_2|</math> setzt sich zusammen aus den Strecken <math>\ |M_1C|</math> und <math>\ |CM_2|</math>, wobei <math>\ C</math> zwischen <math>\ M_1</math> und <math>\ M_2</math> liegt. (Definition II.1: (Zwischenrelation): Ein Punkt <math>\ B</math> liegt zwischen zwei Punkten <math>\ A</math> und <math>\ C</math>, wenn <math> \left| AB \right| + \left| BC \right| = \left| AC \right| </math> gilt (...) ). | ||
+ | ** Dieser Punkt C liegt "außerhalb" beider Kreise (Gegen-Behauptung (1) ) | ||
+ | ** Dadurch ist die Strecke <math>\ |M_1C|</math> größer als der Radius von <math>\ k_1</math>, und die Strecke <math>\ |M_2C|</math> größer als der Radius von <math>\ k_2</math> (<math>\ |M_1C| > |r_1| \land |M_2C| > |r_2|</math>) | ||
+ | ** Daraus resultiert: <math>\ |M_1C| + |M_2C| > |r_1| + |r_2|</math> (Widerspruch zu Vorraussetzung und Schritt 1, da <math>\ |M_1C| + |M_2C| = |M_1M_2| = |r_1| + |r_2|</math>) | ||
+ | ** (2) Analog, nur bei der Strecken-Ungleichung muss dann der Radius jeweils größer als die Strecke <math>\ |M_1C| </math> bzw.<math> |M_2C| </math> sein. (<math>\ |M_1C| < |r_1| \land |M_2C| < |r_2|</math>) | ||
+ | * Dadurch haben wir beweiesen, dass Gegen-Behauptung (1) und (2) zu Widersprüchen führen und nur die Behauptung "Die beiden Kreisen haben genau einen gemeinsamen Punkt" gültig ist. Oder...? | ||
+ | <br /> | ||
+ | <br />3. Beweisen Sie die beiden Implikationen Teil 2 | ||
+ | <br />II).... | ||
+ | <br />--[[Benutzer:Heinzvaneugen|Heinzvaneugen]] |
Aktuelle Version vom 21. Juni 2010, 15:18 Uhr
Der folgende Satz bezieht sich auf die ebene Geometrie.
Satz:
- Es seien
und
zwei Kreise mit den Mittelpunkten
bzw.
und den Radien
bzw.
. Keiner der Mittelpunkte möge dabei im Inneren des jeweils anderen Kreises liegen.
- Es seien
- Die Kreise
und
haben dann und nur dann einen und nur einen Punkt
gemeinsam, wenn
gilt.
- Die Kreise
- Formulieren Sie den Satz ohne die Verwendung der Phrasen dann und nur dann sowie einen und nur einen.
- Sie haben sicherlich erkannt, dass es sich bei dem Satz um eine Äquivalenz handelt. Formulieren Sie die beiden Implikationen, die diese Äquivalenz beinhaltet.
- Beweisen Sie die beiden Implikationen.
Inhaltsverzeichnis |
Lösung der Aufgabe --*m.g.* 09:08, 21. Jun. 2010 (UTC)
Teilaufgabe 1
Die Formulierung "eine und nur eine" ist äquivalent zu "genau eine".
Die Lösung von Heinzvaneugen kann also 1 zu 1 übernommen werden:
Die Kreise und
haben genau dann genau einen Punkt
gemeinsam, wenn
gilt.
Teilaufgabe 2
Die Lösung von Heinzvaneugen ist korrekt.
allgemeiner Teil für beide Implikationen
Es seien und
zwei Kreise mit den Mittelpunkten
bzw.
und den Radien
bzw.
.
Implikation I (-->)
Wenn , dann haben die beiden Kreise
und
genau einen Punkt gemeinsam.
andere möglich Formulierung (neben vielen weiteren, die hier nicht alle aufgezeigt werden sollen und können):
Wenn für zwei Kreise gilt, dass die Summe der Längen ihrer Radien gleich dem Abstand ihrer Mittelpunkte ist, dann existiert genau ein Punkt , den die beiden Kreise gemeinsam haben.
(Der allgemein Teil zuvor ist hier mit aufgenommen und hätte nicht extra formuliert werden müssen.)
Implikation II (<--)
Wenn und
genau einen Punkt gemeinsam haben, so gilt
.
Bemerkung zu der Formulierung von Heinzvaneugen:
Sie formulieren: Wenn zwei Kreise und
... .
Die beiden Kreise wurden aber vorab schon festgelegt. Es seien und
... . Jetzt bleiben wir natürlich in den weiteren Formulierungen bei diesen zunächst beliebigen, dann aber festen Kreisen. Also besser: Wenn die Kreise
und
... . Oder: Wenn
und
... .
Teilaufgabe 3
Beweis von Implikation I
Voraussetzung
Behauptung 1 (Existenzaussage)
Es gibt einen Punkt , der sowohl zu
als auch zu
gehört.
Behauptung 2 (Eindeutigkeitsaussage)
Es gibt nicht mehr als einen Punkt den
und
gemeinsam haben.
Beweis der Existenzaussage (Behauptung 1)
Nachzuweisen ist die Existenz eines Punktes der sowohl zu
als auch zu
gehört.
Der Kreis ist die Menge aller Punkte unserer Ebene, die zu dem Punkt
den Abstand
haben.
Der Kreis ist die Menge aller Punkte unserer Ebene, die zu dem Punkt
den Abstand
haben.
Wir haben also die Existenz eines Punktes nachzuweisen, für den gilt:
und
Wir konstruieren uns einen solchen Punkt wie folgt:
Wir gehen von dem Strahl aus.
Auf gibt es nach dem Axiom vom Lineal genau einen Punkt
, der zu
den Abstand
hat:
Jetzt gilt: (*) Der Punkt liegt zwischen den Punkten
und
Begründung von (*):
- Der Punkt
fällt nicht mit
zusammen:
, entarteter Kreis.
- Der Punkt
fällt nicht mit
zusammen: entsprechend der Voraussetzung würde jetzt
entarten.
- Annahme:
- Unter Berücksichtigung der Tatsache, dass
ein Punkt der Halbgeraden
ist, kann jetzt nur noch
gelten:
- Der Punkt
-
bedeutet: (**)
- Der Punkt
wurde so gewählt, dass sein Abstand
die Zahl
ist, womit (**) auch wie folgt geschrieben werden kann:
- (***)
- Unter Berücksichtigung der Voraussetzung
gilt entsprechend (***) auch (****)
- Da nun
und
positive reelle Zahlen sind, ist (****) ein Widerspruch in sich. Die Annahme
ist zu verwerfen.
-
Nach diesen Ausführungen können wir also davon ausgehen, dass der von uns konstruierte Punkt zwischen den Punkten
und
liegt. Aus
folgt:
(i)
Unter Berücksichtigung der Voraussetzung läßt sich (i) als
(ii)
schreiben.
Da so gewählt wurde, dass
gilt, ist auch
(iii)
gültig.
Aus (iii) folgt unmittelbar .
Damit gehört der Punkt sowohl zu
als auch zu
.
Die Existenz des gemeinsamen Punktes der beiden Kreise
und
ist damit nachgewiesen.
Beweis der Eindeutigkeitsaussage (Behauptung 2)
Annahme:
Wegen und
und
gilt:
und damit natürlich auch
Damit sind und
zwei verschiedene Punkte auf dem Strahl
die zum Anfangspunkt dieses Strahls ein und denselben Abstand
haben.
Das wäre allerdings ein Widerspruch zur Eindeutigkeitsaussage des Axioms vom Lineal.
Zum Beweis von Heinzvaneugen
Sie wollen beweisen: Aus folgt, dass die beiden Kreise genau einen Punkt gemeinsam haben.
Sie führen den Beweis indirekt und negieren bei Beibehaltung der Voraussetzung die Behauptung. Das ist korrekt, so führt man vom Prinzip her indirekte Beweise. Unsere Behauptung besteht eigentlich aus zwei Aussagen: Die beiden Kreise haben einen Punkt gemeinsam und zwar nur einen. Sie negieren die Behauptung korrekt. Die Negation von Die beiden Kreise haben genau einen Punkt gemeinsam ist Die beiden Kreise haben nicht genau einen Punkt gemeinsam. Letzteres bedeutet, dass die beiden Kreise entweder überhaupt keinen Punkt gemeinsam haben (Negation der Existenzaussage) oder dass sie mehr als einen Punkt gemeinsam haben (Negation der Eindeutigkeitsaussage). Das sind in der Tat Ihre beiden Gegenannahmen. Bis hier hin ist alles in Ordnung.
Jetzt kommt der eigentliche Beweis. Sie wählen auf der Strecke einen ominösen Punkt
. Den wird es sicherlich geben (Axiom vom Lineal). Jetzt kommt der Knackpunkt ihres Beweises. Ihre Gegenannahme 1 besagt, dass die beiden Kreise keinen Punkt gemeinsam haben. Damit, so folgern Sie (und soweit ist das auch korrekt), kann der Punkt
definitiv nicht gleichzeitig zu den beiden Kreisen
und
gehören. Was heißt aber
gehört nicht gleichzeitig zu
und zu
?
-
gehört zu
aber nicht zu
-
gehört zu
aber nicht zu
-
gehört weder zu
noch zu
Fall 3 lässt wieder in Unterfälle aufdröseln:
-
liegt sowohl außerhalb von
als auch von
. (
)
-
liegt innerhalb von
und außerhalb von
.(
)
-
liegt außerhalb von
und innerhalb von
.(
)
-
liegt sowohl innerhalb von
als auch innerhalb von
.(
)
Sie berücksichtigen in Ihrem Beweis hinsichtlich der Gegenbehauptung 1 nur den Fall 3.1. Das reicht nicht, um diese Gegenbehauptung ad absurdum zu führen.
Genug der Negativdiskussion:
- Sie haben den Teil des Beweises, der sich auf Fall 3.1 bezieht absolut korrekt geführt. Alle weiteren Fälle würde man sicherlich in gewisser Weise analog führen.
Schreiben Sie also in Ihren Teilbeweis (Negation der Existenz): andere Fälle: analog (der Leser überzeuge sich davon).
- Sie haben eine sehr wichtige Erfahrung gemacht. Diese Erfahrung ist letztlich viel wichtiger als der gesamte korrekte Beweis. Weil Sie versuchten einen Existenzbeweis indirekt zu führen, haben Sie sich das Leben etwas zu schwer gemacht. Ich will und kann hier keine Regel aufstellen: Existenzbeweise führt man besser immer direkt. Es mag auch Fälle geben, in denen ein indirekter Existenzbeweis eleganter als die direkte Methode ist. Aber in der größten Zahl der Fälle führt der direkte Existenzbeweis schneller zum Ziel.
Was ist ein Existenzbeweis? Man hat nachzuweisen, dass es bestimmte Repräsentanten eines Begriffs gibt. Dieser Nachweis ist letzlich eine Konstruktionsaufgabe. Insbesondere dann, wenn man vorab schon überzeugt davon ist, dass entsprechende Repräsentanten wirklich existieren, wird man wohl eher damit beginnen, einen solchen Repräsentanten zu konstruieren, als zu versuchen nachzuweisen, dass die Aussage "Meine Konstruktionsaufgabe ist nicht lösbar" falsch ist.
Die Idee, bei Existenzbeweisen erst mal einen direkten Beweis zu versuchen, ist eine heuristische Regel. Heuristik ist vor allem Erfahrung. Erfahrungen muss man vor allem selbst machen. Natürlich kann man von den Erfahrungen anderer profitieren, aber die eigene Erfahrung ist sicherlich nachhaltiger.
Beweis der Implikation II
muss noch geschrieben werden, allein mir fehlt momentan die Zeit, in der nächsten freien Minute (eher Stunde) werde ich das Schreiben der Lösung fortsetzen.--*m.g.* 13:17, 21. Jun. 2010 (UTC)
bisherige Diskussionen
1. Reicht es, wenn man mit "genau" arbeitet?
Die Kreise und
haben genau dann genau einen Punkt
gemeinsam, wenn
gilt.
2. I) Wenn gilt, dann haben die beiden Kreise
und
genau einen Punkt gemeinsam, den Berührpunkt S.
II) Wenn zwei Kreise und
genau einen Punkt gemeinsam haben, so gilt
3. Beweisen Sie die beiden Implikationen Teil 1
I)
- Skizze
- Vorraussetzung: Die Strecke
ist so lang wie die Summe der beiden Radien
und
.
- Behauptung: Die beiden Kreisen haben genau einen gemeinsamen Punkt.
- Gegen-Behauptung (1): Es gibt KEINEN gemeinsamen Punkt
- Gegen-Behauptung (2): Es gibt MEHR ALS EINEN gemeinsamen Punkt.
- Indirekter Beweis:
- (1) Die Strecke
setzt sich zusammen aus den Strecken
und
, wobei
zwischen
und
liegt. (Definition II.1: (Zwischenrelation): Ein Punkt
liegt zwischen zwei Punkten
und
, wenn
gilt (...) ).
- Dieser Punkt C liegt "außerhalb" beider Kreise (Gegen-Behauptung (1) )
- Dadurch ist die Strecke
größer als der Radius von
, und die Strecke
größer als der Radius von
(
)
- Daraus resultiert:
(Widerspruch zu Vorraussetzung und Schritt 1, da
)
- (2) Analog, nur bei der Strecken-Ungleichung muss dann der Radius jeweils größer als die Strecke
bzw.
sein. (
)
- (1) Die Strecke
- Dadurch haben wir beweiesen, dass Gegen-Behauptung (1) und (2) zu Widersprüchen führen und nur die Behauptung "Die beiden Kreisen haben genau einen gemeinsamen Punkt" gültig ist. Oder...?
3. Beweisen Sie die beiden Implikationen Teil 2
II)....
--Heinzvaneugen