Komplexe Zahlen und Geometrie - Vier komplexe Zahlen, die auf einem Kreis liegen

Ich stecke bei einem Problem von Was ist Mathematik fest? , von Courant und Robbins. Die Formulierung lautet wie folgt:

Beweisen Sie, dass if für vier komplexe Zahlen gilt z 1 , z 2 , z 3 Und z 4 , die Winkel von z 3 z 1 z 3 z 2 Und z 4 z 1 z 4 z 2 gleich sind, dann liegen die vier Zahlen auf einem Kreis oder auf einer Geraden und umgekehrt.

In einer vorherigen Übung habe ich den Winkel von interpretiert z 1 z 2 z 1 z 3 als (orientierter) Winkel zwischen den Vektoren z 1 z 3 Und z 1 z 2 , also stelle ich mir vor, dass ich eine Art geometrisches Argument verwenden sollte, aber ich kann nichts Nützliches finden (wahrscheinlich sind meine Geometriekenntnisse mangelhaft). Ich habe viele verschiedene algebraische Manipulationen ausprobiert, um zu zeigen, dass die vier Punkte auf einem Kreis liegen, aber sie werden schließlich extrem umständlich und ich denke, dass das Problem nicht so schwer sein kann ...

Irgendwelche Ideen bezüglich eines einfachen geometrischen oder algebraischen Arguments, um die Gültigkeit des Satzes zu zeigen?

Der Schlüssel zum kreisförmigen Teil ist das Inscribed Angle Theorem (IAT) . Wenn z 1 , z 2 , z 3 nicht kollinear sind, dann befinden sie sich auf einem (richtigen) Kreis. Die Gleichheit der beiden Quotienten impliziert (und wird impliziert) die Tatsache, dass z 1 z 4 z 2 = z 1 z 3 z 2 ; die IAT sagt, dass diese Tatsache gleichbedeutend mit Haben ist z 4 lebe in diesem Kreis. (Die eingeschriebenen Winkel bei z 3 Und z 4 denselben Bogen "betrachten", z 1 z 2 .)
@Blue: Ich würde sagen, Ihr Kommentar ist tatsächlich eine Antwort.

Antworten (1)

Lassen z 1 , z 2 Und z 3 nicht kollinear sein.

Skizzieren Sie nun einen durchgehenden Kreis z 1 , z 2 Und z 3 .

Nehmen z 1 z 2 ¯ als Akkord.

Jetzt Winkel suchen z 1 z 2 z 3 ^ = θ , hat die Sehne an jedem Punkt des Kreises denselben Winkel (und an keinem anderen Punkt). Nun zum Winkel z 1 z 4 z 2 ^ = θ , es muss auf dem Kreis liegen: damit ist der erste Teil bewiesen.

Zweiter Fall, z 1 , z 2 Und z 3 sind kollinear und somit θ Ist 0 oder π .

Also Winkel z 1 z 4 z 2 ^ ist entweder null oder π was impliziert, dass sie kollinear sind und somit alle vier kollinear sind.