Tom Bola schrieb:
> Wie kann man beweisen das für jedes paarweise-verschiedene,
> nicht-kollineare Punkte-Tripel in der Ebene genau
> ein eindeutiger Kreis existiert?
Was für Eigenschaften soll dieser "eindeutige" Kreis haben?
Die Eigenschaft, dass alle Punkte des Tripels auf seiner
Kreislinie liegen?
Falls ja:
Anders herum ist die Sache nicht eindeutig. Auf ein- und
demselbem (Um)Kreis liegen (unendlich) viele paarweise-
verschiedene, nicht-kollineare Punkte-Tripel.
D.h., wenn nur die Kreislinie/der Kreis gegeben ist, kann man
daraus nicht auf genau ein solches Punkte-Tripel schliessen.
Wenn man bewiesen hat, dass die Punkte eines solchen Tripels
die Eckpunkte eines Dreiecks bilden, geht es darum zu zeigen,
dass ein Dreieck genau einen Umkreis hat, auf dem alle seine
Eckpunkte liegen.
Ersteres zu beweisen schenke ich mir. Nicht, weil ich es so
einfach finden würde, dies verständlich und schlüssig darzulegen,
sondern, weil es bei mir in noch mehr Schwurbelei ausarten
würde als das folgende.
Die drei Punkte des Tripels seien mit A, B und C bezeichnet.
Es sei bewiesen, dass sie die Eckpunkte eines Dreiecks bilden.
Die Punkte A und B stellen die Endpunkte der Strecke AB dar.
Die Punkte A und C stellen die Endpunkte der Strecke AC dar.
Die Punkte B und C stellen die Endpunkte der Strecke BC dar.
Die Strecke AB hat genau eine Mittelsenkrechte.
Nur Punkte auf der Mittelsenkrechten der Strecke AB haben von
A und B den gleichen Abstand.
Die Strecke AC hat genau eine Mittelsenkrechte.
Nur Punkte auf der Mittelsenkrechten der Strecke AC haben von
A und C den gleichen Abstand.
Die Strecke BC hat genau eine Mittelsenkrechte.
Nur Punkte auf der Mittelsenkrechten der Strecke BC haben von
B und C den gleichen Abstand.
Da die Punkte A, B und C ein Dreieck bilden, sind die Strecken
AB, AC und BC paarweise nicht parallel. Damit sind auch die
Mittelsenkrechten dieser Strecken paarweise nicht parallel,
sondern zwei solche Mittelsenkrechten haben genau einen Schnittpunkt.
Nur vom Schnittpunkt zweier solcher Mittelsenkrechten haben alle
drei Punkte den gleichen Abstand. Nur beim Schnittpunkt zweier
solcher Mittelsenkrechten handelt es sich um einen Umkreismittelpunkt.
Die dritte Mittelsenkrechte verläuft auch durch diesen Schnittpunkt/
Umkreismittelpunkt, und schneidet die beiden anderen Mitteksenkrechten
in diesem Punkt, da dieser Schnittpunkt/Umkreismittelpunkt die Eigenschaft
hat, dass die Endpunkte derjenigen Strecke, deren Mittelsenkrechte
als die "dritte Mittelsenktechte" bezeichnet wurde, von ihm gleich
weit entfert sind.
Da zwei solche Mittelsenkrechten genau einen Schnittpunkt haben, und es
sich nur bei solchen Schnittpunkten um Unkreismittelpunkte handelt,
und da der Schnittpunkt zweier solcher Mittelsenkrechten nicht verschieden
ist vom Schnittpunkt zweier anderer solcher Mittelsenkrechten,
gibt es genau einen Umkreismittelpunkt.
Der Abstand dieses Umkreismittelpunktes zu einem der Punkte A,B oder C
bildet den Radius des Umkreises, der durch A, B und C verläuft.
Ich bin in Sachen Mathematik nur ein interessierter Laie.
Ging es Dir um eine Darlegung in dieser Art?
Fiese Zusatzfrage:
Wie berechnet man alle Kreismittelpunkte und zugehörigen Radien wenn
man nicht verlangt, dass alle Punkte des Tripels auf der Kreislinie
liegen, sondern lediglich verlangt, dass alle Punkte den gleichen
Abstand von der Kreislinie haben, sodass also Punkte des Tripels
ausserhalb oder innerhalb der Kreisfläche liegen können?
Mit freundlichem Gruß
Ulrich