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 $\sqrt 2$ is irrational. All descent arguments are basically induction.
|
2 | added 8 characters in body | ||
|
|
||||
|
|
1 | [made Community Wiki] | ||
|
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. |
||||
