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 . 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.

Lösung von Aufgabe 7.1 WS_12_13

Aufgabe 7.2

Definieren Sie:

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

Bemerkung

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

Lösung von Aufgabe 7.2 WS_12_13

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 und zwei Punkte. Ferner sei die Menge aller Kreise mit dem Mittelpunkt . Analog wollen wir unter die Menge aller Kreise mit dem Mittelpunkt verstehen. Auf der Menge aller Kreise der Ebene sei die Funktion definiert, die jeden Kreis auf die Länge seiner Durchmesser abbildet.

Lösung von Aufgabe 7.3 WS_12_13

Aufgabe 7.4

Was ist in der folgenden Definition alles nicht korrekt?

Lösung von Aufgabe 7.4 WS_12_13

Aufgabe 7.5

Beweisen Sie, dass jede Strecke einen Mittelpunkt hat.

Aufgabe 7.6

Beweisen Sie die Eindeutigkeit des Mittelpunktes einer Strecke.

Aufgabe 7.7

Es sei eine Strecke. ist eine Folge von Strecken mit ist der Mittelpunkt von . Beweisen Sie: Für jedes gilt: Fast alle Folgeglieder von sind Teilmengen von mit .

Bemerkung

Unter fast allen versteht der Mathematiker alle bis auf endlich viele.