MathCastle
Proof WritingChallengeDirect Proof

Direct Proof · Challenge problem

Let xx and yy be rational numbers with x≠yx \ne y. Which of these is necessarily rational?