Let $P(p)$ = "there is no natural $q$ such that $(p/q)^2=2$". A simple induction argument shows that P holds for all naturals $p$ and hence that 2 is irrational. All descent arguments are basically induction.
Dan Piponi
- 8.3k
- 5
- 64
- 92