← Back to the programme
    OlympiadHardProofs7–9

    Infinite Descent

    Descida Infinita

    Prove that \sqrt{2} is irrational.

    Assume \sqrt{2} = \frac{p}{q} in lowest terms and derive a contradiction.

    Solution

    Step 1 of 7

    1. 1.Assume \sqrt{2} = \frac{p}{q} where \gcd(p,q) = 1.