Serie 7 (WS 12 13)

Ohne Axiom vom Lineal

Aufgabe 7.1

Bauen Sie die folgende Applikation nach:

Hilfen

• Sie können die Abstände zwischen zwei Punkten bestimmen lassen. Geben Sie etwa in die Eingabezeile ein: AB=Abstand[A,B]. Sie finden den Wert der Variablen AB dann in der Algebraansicht.

• Sie können Objekte in Abhängigkeit gewisser Werte anzeigen bzw. verstecken lassen. Beispiel: Strecke $\overline{AB}$. Die Strecke wird zunächst ganz normal generiert. Dann Rechtsklick auf das Objekt: Eigenschaften, Erweitert, Bedingung um Objekt anzuzeigen. Sie haben bereits AB, PB und PA berechnen lassen. Für das Anzeigen der Strecke AB geben Sie jetzt ein: PA+PB==AB. (Die beiden Gleichheitszeichen sind kein Tippfehler)

• Das logische oder wird mittels || generiert.

Aufgabe 7.2

Definieren Sie:

1. Kugel mit dem Mittelpunkt $M$ und dem Radius $r\in \mathbb{ℝ}$,
2. Kreis mit dem Mittelpunkt $M$ und dem Radius $r\in \mathbb{ℝ}$,
3. Sehnen, Durchmesser und Radien eines Kreises $k$ (Durchmesser und Radius sind als geometrische Objekte und nicht als Zahlen zu verstehen),
4. Passante, Sekante, Tangente bzgl. eines Kreises $k$,
5. Tangentialebene einer Kugel $k$,
6. Großkreis auf einer Kugel $k$.

Bemerkung

Der Äquator und alle Längenkreise der Erdkugel sind Beispiele für Großkreise.

Mit Axiom vom Lineal

Für die folgenden Aufgaben arbeiten Sie bitte Streckenmittelpunkte und das Axiom vom Lineal WS 12 13 durch.

Aufgabe 7.3

Welcher geometrische Begriff, den Sie aus der Schule kennen, wird im Folgenden beschrieben? Ebene Geometrie sei vorausgesetzt.

Es seien $A$ und $B$ zwei Punkte. Ferner sei ${\mathbb{𝕂}}_A$ die Menge aller Kreise mit dem Mittelpunkt $A$. Analog wollen wir unter ${\mathbb{𝕂}}_B$ die Menge aller Kreise mit dem Mittelpunkt $B$ verstehen. Auf der Menge $\mathbb{𝕂}$ aller Kreise der Ebene sei die Funktion $D:\mathbb{𝕂}\to \mathbb{ℝ}$ definiert, die jeden Kreis auf die Länge seiner Durchmesser abbildet.
$M:=\{P|\mathrm{\exists }{k}_A\in {\mathbb{𝕂}}_A\wedge \mathrm{\exists }{k}_B\in {\mathbb{𝕂}}_B:D\left(k_A\right)=D\left(k_B\right)\wedge P\in k_A\cap k_B\}$

Aufgabe 7.4

Warum ist die folgende Definition nicht korrekt?

Definition

---