A fundamental property of Hart systems of circles. (Q2617892)

Es handelt sich um die Konfiguration von zwei Gruppen von je vier Kreisen mit folgenden Eigenschaften: Keine der beiden Gruppen besitzt einen gemeinsamen Orthogonalkreis; jeder Kreis, der einen Gruppe berührt die vier Kreise der andern Gruppe. Von dieser Konfiguration wird bewiesen: Die acht Kreise gehören einer einparametrigen kubischen Schar an. Der Beweis wird mittels der Äquivalenz zwischen den Kreisen einer Ebene und den Punkten eines hyperbolisch-nichteuklidischen dreidimensionalen Raumes geführt. Die Schar enthält außer der Ausgangskonfiguration noch unendlich viele weitere Konfigurationen derselben Art, die ein Büschel bilden. Ein Beispiel einer derartigen Konfiguration sind die Seiten eines Dreiecks und der \textit{Feuerbach}sche Kreis als eine Gruppe und die vier Berührungskreise als andere Gruppe. Die Kreisschar enthält in diesem Falle gewisse Systeme von Kreisen, die in der Dreiecksgeometrie eine Rolle spielen.