SpoilerBÀI 58: Gỉa sử $A$ là một tập con của tập các số thực $\mathbb{R}$ thỏa: $A\supset \mathbb{Z}$ ; $\sqrt{2}+\sqrt{3}\epsilon A$, nếu $x,y\epsilon A$ thì $x+y$ và $xy$ $\epsilon A$. Chứng minh rằng $\sqrt{2}-\sqrt{3}\epsilon A$.
Ta có$\sqrt{2}+\sqrt{3}\in A=>(\sqrt{2}+\sqrt{3})^{2} \in A =>10-(5+2\sqrt{6}) \in A =>(\sqrt{3}-\sqrt{2})^{2} \in A =>(\sqrt{3}-\sqrt{2})^{2}(\sqrt{3}+\sqrt{2})=(\sqrt{3}-\sqrt{2}) \in A (dpcm)$