Let and be rational numbers, and square-free. Prove that if , there exists only one value such that and are rational.
Let and .
Matching each component yields:
Now we solve for :
Remark: This proposition introduces the conjugate of a number, which is reoccurs regularly in mathematics.
Check out my other notes at Proof, Disproof, and Derivation