The part I dont understand is how they show there exists a smaller element. They assume s=t√3 is the smallest element of S={a=b√3: a,b€Z} . Then what they do is add s√3 to both sides and get s√3-s=s√3-t√3. I don't get how they thought of that or why it works.I know there exists an element smaller than S but the way they prove is confusing.(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Proof of square root 3 irrational using well ordering

**Physics Forums | Science Articles, Homework Help, Discussion**