Lösung von Aufgabe 6.10

Der folgende Satz bezieht sich auf die ebene Geometrie.
Satz:

Es seien $k_1$ und $k_2$ zwei Kreise mit den Mittelpunkten $M_1$ bzw. $M_2$ und den Radien $r_1$ bzw. $r_2$.

Die Kreise $k_1$ und $k_2$ haben dann und nur dann einen und nur einen Punkt $S$ gemeinsam, wenn $|M_1{M}_2|=|r_1|+|r_2|$ gilt.

1. Formulieren Sie den Satz ohne die Verwendung der Phrasen dann und nur dann sowie einen und nur einen.
2. Sie haben sicherlich erkannt, dass es sich bei dem Satz um eine Äquivalenz handelt. Formulieren Sie die beiden Implikationen, die diese Äquivalenz beinhaltet.
3. Beweisen Sie die beiden Implikationen.

1. Reicht es, wenn man mit "genau" arbeitet?
Die Kreise $k_1$ und $k_2$ haben genau dann genau einen Punkt $S$ gemeinsam, wenn $|M_1{M}_2|=|r_1|+|r_2|$ gilt.
2. I) Wenn $|M_1{M}_2|=|r_1|+|r_2|$ gilt, dann haben die beiden Kreise $k_1$ und $k_2$ genau einen Punkt gemeinsam, den Berührpunkt S.
II) Wenn zwei Kreise $k_1$ und $k_2$ genau einen Punkt gemeinsam haben, so gilt $|M_1{M}_2|=|r_1|+|r_2|$
3. Beweisen Sie die beiden Implikationen Teil 1
I)

• Skizze
• Vorraussetzung: Die Strecke $|M_1{M}_2|$ ist so lang wie die Summe der beiden Radien $|r_1|$ und $|r_2|$.
• 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 $|M_1{M}_2|$ setzt sich zusammen aus den Strecken $|M_{1}C|$ und $|C{M}_2|$, wobei $C$ zwischen $M_1$ und $M_2$ liegt. (Definition II.1: (Zwischenrelation): Ein Punkt $B$ liegt zwischen zwei Punkten $A$ und $C$, wenn $\left|AB\right|+\left|BC\right|=\left|AC\right|$ gilt (...) ).
  • Dieser Punkt C liegt "außerhalb" beider Kreise (Gegen-Behauptung (1) )
  • Dadurch ist die Strecke $|M_{1}C|$ größer als der Radius von $k_1$, und die Strecke $|M_{2}C|$ größer als der Radius von $k_2$ ($|M_{1}C|>|r_1|\wedge |M_{2}C|>|r_2|$)
  • Daraus resultiert: $|M_{1}C|+|M_{2}C|>|r_1|+|r_2|$ (Widerspruch zu Vorraussetzung und Schritt 1, da $|M_{1}C|+|M_{2}C|=|M_1{M}_2|=|r_1|+|r_2|$)
  • (2) Analog, nur bei der Strecken-Ungleichung muss dann der Radius jeweils größer als die Strecke $|M_{1}C|$ bzw.$|M_{2}C|$ sein. ($|M_{1}C|<|r_1|\wedge |M_{2}C|<|r_2|$)
• 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