Sei \(z=x/y\) mit \(x>y>0\) und \(x,y\) teilerfremde nat. Zahlen.
Nun gilt
\(z-1/z=a\iff z \in \{(a-\sqrt{a^2+4})/2,(a+\sqrt{a^2+4})/2\}\).
Wegen \(z>0\) folgt \(z=(a+\sqrt{a^2+4})/2\),
d.h. \(z\) ist durch \(a\) eindeutig bestimmt.
Wegen der Teilerfremdheit von \(x\) und \(y\) sind aufgrund
der Eindeutigkeit der Primfaktordarstellung von \(z\) die
nat. Zahlen \(x, y\) ebenfalls eindeutig bestimmt.