| 
 
 
 
Question 281872:  prove that square root of 3 is irrational 
 
 Answer by nabla(475)      (Show Source): 
You can  put this solution on YOUR website! Assume to the contrary that sqrt(3) is rational. That is, it can be expressed as sqrt(3)=x  which is the same as  
(1)  3=x^2 
 
Now, let x=m/n where gcd(m,n)=1.
 
3=m^2/n^2 follows from (1). Through some manipulation we find 
3n^2=m^2. This means that 3 divides m^2 (in symbols 3|m^2) moreover by properties of squares 3|m. So, we can represent m as
 
(2)  m=3k.
 
By (2), 3n^2=(3k)^2=9k^2 
which gives n^2=3k^2 so 3|n^2 which as above means 3|n. However, we assumed that gcd(m,n)=1 (i.e. that it is a simplified rational!). Obviously gcd(m,n)>=3.
 
So we have a contradiction and therefore sqrt(3) is not a rational number hence it is an irrational number which is precisely R\Q. 
  | 
 
  
 
 |   
 
 |   
 |  |