Ich habe die Menge S:={(x, y, z) ∈ ℤ³ : 4xy + z² = p, x> 0, y> 0}
Und die Involution von f: S → S, mit (x, y, z) ↦ (y, x, -z).
Gesagt wird (und das ist ja noch klar), das f die Lösungen in
T: {(x, y, z) ∈ s: z > 0} (also alle Lösungen der obigen Gleichung mit z > 0)
auf die Menge S\T ab. (Auch noch logisch).
Aber dann heißt es, dass f folglich die Vorzeichen von x-y und von z vertauscht .
Warum vertauscht diese Involution die Vorzeichen von x-y?
Dringend!
Danke an euch klugen Köpfe im Voraus