Es ist
-
Wir führen die Nenneraufnahme für und an durch. Es ist dann
-
und wir können in der Darstellung von eliminieren. Die weitere Gleichung
-
wird dann zu
-
Dies ergibt sich aber bereits aus der Kreisgleichung, ist also überflüssig, und somit ist
Wir führen nun die Nenneraufnahme für und an durch. Es ist dann
-
und wir können in der Darstellung von eliminieren. Die weitere Gleichung
-
wird dann zu
-
Dies ergibt sich aber bereits aus der Kreisgleichung, ist also überflüssig, und somit ist