15
$\begingroup$

If $p$ is a prime number, then $\sqrt{p}$ is irrational.

I know that this question has been asked but I just want to make sure that my method is clear. My method is as follows:

Let us assume that the square root of the prime number $p$ is rational. Hence we can write $\sqrt{p} = \frac{a}{b}$. (In their lowest form.) Then $p = \frac{a^2}{b^2}$, and so $p b^2 = a^2$.

Hence $p$ divides $a^2$, so $p$ divides $a$. Substitute $a$ by $pk$. Find out that $p$ divides $b$. Hence this is a contradiction as they should be relatively prime, i.e., gcd$(a,b)=1$.

$\endgroup$
  • $\begingroup$ Depending on who you are writing the proof for, I might replace "Hence $p$ divides $a$" by "So that $p$ divides $a^2$ and hence also divides $a$". (There is a definite step in the logic that maybe ought to highlighted). $\endgroup$ – Old John Oct 18 '14 at 8:54
  • $\begingroup$ ^Agreed. Made the necessary change. $\endgroup$ – Alexander. Oct 18 '14 at 9:19
  • 3
    $\begingroup$ The number of prime factors of $a^2$ is even whereas the number of prime factors of $p\cdot b^2$ obviously is odd. $\endgroup$ – Michael Hoppe Oct 18 '14 at 9:43
  • $\begingroup$ @MichaelHoppe ... which follows by existence and uniqueness of prime factorizations, i.e. FTA = Fundamental Theorem of Arithmetic. When first learning these topics, it is essential to explicitly justify such claims (because they general fail in slightly general number systems, e.g. rings of quadratic integers of form $\,a + b\sqrt d).\ \ $ $\endgroup$ – Bill Dubuque Jun 24 '17 at 16:08
5
$\begingroup$

Alternatively you could use the rational root theorem in assuming a rational root for $x^2 - p = 0$ and showing that it can't be.

$\endgroup$
  • $\begingroup$ But the rational root theorem is a deeper result than the one we want to prove. Not much deeper, but still... $\endgroup$ – TonyK Nov 5 '15 at 20:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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