Two candidates with a rational ratio of squared moduli: one is a rational multiple of the other or of its conjugate exactly when they are algebraically dependent

Initializing...

Two candidates with a rational ratio of squared moduli: one is a rational multiple of the other or of its conjugate exactly when they are algebraically dependent · Prove2Me