Homepage › Solution manuals › Ivan Niven › An Introduction to the Theory of Numbers › Exercise 6.3.3 ( $\sqrt{2}+ \sqrt{3}$ is irrational)
Exercise 6.3.3 ( $\sqrt{2}+ \sqrt{3}$ is irrational)
Prove that is a root of , and hence establish that it is irrational.
Answers
Proof. Put . Then
thus , so
This implies
therefore
so is a root of .
Assume, for the sake of contradiction, that is rational. Then , where are integers, and . Since is a root of , multiplying by , we obtain
Then , and , thus , where , so , and is an integer satisfying . Hence , and since , . But is not a root of . This is a contradiction, so is irrational. (Alternatively, we may use directly Corollary 6.14.) □