Skip to main content
added 8 characters in body
Source Link
Dan Piponi
  • 8.3k
  • 5
  • 64
  • 92

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.

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.

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 $\sqrt 2$ is irrational. All descent arguments are basically induction.

Post Made Community Wiki
Source Link
Dan Piponi
  • 8.3k
  • 5
  • 64
  • 92

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.