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{R}$,
2. Kreis mit dem Mittelpunkt $M$ und dem Radius $r \in \mathbb{R}$,
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.

Axiom vom Lineal

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{K}_A$ die Menge aller Kreise mit dem Mittelpunkt $A$. Analog wollen wir unter $\mathbb{K}_B$ die Menge aller Kreise mit dem Mittelpunkt $B$ verstehen. Auf der Menge $\mathbb{K}$ aller Kreise der Ebene sei die Funktion $D: \mathbb{K} \rightarrow \mathbb{R}$ definiert, die jeden Kreis auf die Länge seiner Durchmesser abbildet.
$M:=\left\{P|\exist k_A \in \mathbb{K}_A \wedge \exist k_B \in \mathbb{K}_B: D\left(k_A\right)=D\left(k_B\right) \wedge P \in k_A \cap k_B \right\}$