MathCastle
Proof WritingChallengeContrapositive and Contradiction

Contrapositive and Contradiction · Challenge problem

Find the only positive integer nn for which n+n+9\sqrt n + \sqrt{n + 9} is rational.