Lösung von Aufgabe 6.9: Unterschied zwischen den Versionen

Version vom 11. Juli 2010, 15:57 Uhr

Vorlage

Satz:

Von drei paarweise verschiedenen Punkten und ein und derselben Geraden liegt genau einer zwischen den beiden anderen.

Beweisen Sie diesen Satz.

Lösung --Schnirch 13:50, 16. Jun. 2010 (UTC)

Satz in wenn-dann:

Wenn drei Punkte und kollinear sind, dann liegt genau einer zwischen den beiden anderen Punkten.

Beweis

Es seien also und drei Punkte.
Voraussetzungen: koll( und )

Behauptung

es gilt genau eine der drei möglichen Zwischenrelationen: oder oder

Beweis

Nr.	Beweisschritt	Begründung
(I)		Voraussetzung
(II)	es gilt eine der drei Gleichungen:	(I), Axiom II/3
(III)	oder oder	(II), Def (Zwischenrelation)
(IV)	zu zeigen: es liegt genau einer zwischen den beiden anderen Annahme: es gilt o.B.d.A. und
(V)		(IV), (Axiom II/3)
(VI)		rechnen mit reellen Zahlen, (Axiom II/2)
(VII)		(VI gleichgesetzt), rechnen mit reellen Zahlen
(VIII)		(VII), +
(IX)		(VIII), -
(X)	Widerspruch, da die beiden Punkte B und C identisch sein müssten, nach Voraussetzung aber drei verschiedene Punkte A, B und C gegeben sind. --> Annahme zu verwerfen, Behauptung stimmt.

Eine Frage: Wenn im Satz von drei PAARWEISE VERSCHIEDENEN Punkten die Rede ist, warum lassen sie es einfach weg? Ich werde immer unsicherer was diese Spitzfindigkeiten angeht, weil nie die gleichen Regeln zu gelten scheinen und mich das ganz verrückt macht! Darf ich davon ausgehen, das wenn von drei Punkte die Rede ist, diese immer verschieden sind oder nicht? Wenn ja wieso darf ich das in diesem Fall und in anderen nicht? Wenn ich nicht davon ausgehen kann, muss das "paarweise verschieden" dabei sein, weil die Voraussetzung sonst eine ganz andere ist??? --Principella 15:45, 21. Jun. 2010 (UTC)

In diesem Fall muss es nicht explizit geschrieben werden, weil die Definition von kollinear schon besagt, dass die Punkte paarweiße verschieden sein müssen. --DrSchwuchtel 16:38, 11. Jul. 2010 (UTC)

vorausgegangene Diskussion

Versuch I

Satz:

Von drei paarweise verschiedenen Punkten und ein und derselben Geraden liegt genau einer zwischen den beiden anderen.

Beweisen Sie diesen Satz.
Satz in wenn-dann:

Wenn drei Punkte und kollinear sind, dann liegt genau einer zwischen den beiden anderen Punkten (und umgekehrt???) .

Beweis

Es seien also und drei Punkte.
Voraussetzungen: koll( und )

Behauptung

oder oder

Beweis

Nr.	Beweisschritt	Begründung
(I)		Voraussetzung
(II)	Für drei beliebige Punkte und gilt:	Axiom II/3: (Dreiecksungleichung)
(III)		Axiom II/3.1 Axiom II/3.2 Axiom II/3.3
(IV)
(V)

...und jetzt? --Heinzvaneugen

Ich glaube, es ist noch zu zeigen, dass genau einer zwischen den beiden anderen liegt. Habe deinen Beweis ab Schritt IV weitergeführt:

Beweis

Nr.	Beweisschritt	Begründung
(IV)	oder oder	Def (Zwischenrelation)
(V)	zu zeigen: es liegt genau einer zwischen den beiden anderen Annahme: es gilt und
(VI)		(Axiom II/3)
(VII)		rechnen mit reellen Zahlen, (Axiom II/2)
(VIII)		(VII gleichgesetzt), rechnen mit reellen Zahlen
(IX)		(VIII), +
(X)		(IX), -
(XI)	Widerspruch, da das zweifache eines Abstands nicht null ergeben kann. --> Annahme zu verwerfen, Behauptung wahr.

--Löwenzahn 17:58, 4. Jun. 2010 (UTC)

= Versuch II ====

Satz in wenn-dann:

Wenn drei Punkte und ein und derselben Gerade g paarweise verschieden sind, dann liegt genau einer zwischen den beiden anderen.

Beweis

Es seien also und drei Punkte.
Voraussetzungen:

und sind Punkte ein und derselben Geraden und paarweise verschieden.

Behauptung

oder oder

Beweis

Nr.	Beweisschritt	Begründung
(I)		Voraussetzung
(II)	und paarweise verschieden	Voraussetzung
(III)	(1.) (2.) (3.)	I., Axiom II/3
(IV)	(1.) (2.) (3.)	III./(1.), III./(2.), III./(3.), Definition (Zwischenrelation)
(V)	Behauptung ist wahr

--Maude001 12:39, 5. Jun. 2010 (UTC)