Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

How to prove $\sqrt3$ is irrational using Fermat's infinite descent method?

Like says in Carl Benjamim Boyer's book.

Isnt the same prove to $\sqrt2$, in Boyer's book says something like this.




share|cite|improve this question

marked as duplicate by Arturo Magidin, Asaf Karagila, Rasmus, Srivatsan, Chris Eagle Oct 9 '11 at 20:44

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

Quite similarly to this answer:… – Asaf Karagila Oct 9 '11 at 20:38
Exactly the same way you prove it for $\sqrt{2}$: write $\sqrt{3}=\frac{a}{b}$, or $b\sqrt{3}=a$. Square both sides, conclude you can find $a'$, $b'$, $a'\lt a$, $b'\lt b$ with $\frac{a'}{b'} = \frac{a}{b}$. – Arturo Magidin Oct 9 '11 at 20:41

Because the greatest power of $3$ that divides $p^2$ must be even, whereas the greatest power of $3$ that divides $3q^2$ must be odd. So $(p/q)^2$ can't equal $3$.

share|cite|improve this answer
I don't understand the downvote. This is a valid proof! – user59671 Mar 13 '13 at 22:04
@CutieKrait: This is just a spite downvote, because I made somebody look foolish in another thread. – TonyK Mar 14 '13 at 15:46

Not the answer you're looking for? Browse other questions tagged or ask your own question.