\(\dfrac{x}{y}=\dfrac{a_1\sqrt{2}+b_1}{a_2\sqrt{2}+b_2}=\dfrac{\left(a_1\sqrt{2}+b_1\right)\left(a_2\sqrt{2}-b_2\right)}{\left(a_2\sqrt{2}+b_2\right)\left(a_2\sqrt{2}-b_2\right)}\)
\(=\dfrac{2a_1a_2-b_1b_2+\left(a_2b_1-a_1b_2\right)\sqrt{2}}{2a_2^2-b_2^2}=\dfrac{a_2b_1-a_1b_2}{2a_2^2-b_2^2}\sqrt{2}+\dfrac{2a_1a_2-b_1b_2}{2a_2^2-b_2^2}\)
Đặt \(\dfrac{a_2b_1-a_1b_2}{2a_2^2-b_2^2}=a\) và \(\dfrac{2a_1a_2-b_1b_2}{2a_2^2-b_2^2}=b\)
Do \(a_1;a_2;b_1;b_2\) hữu tỉ nên a;b hữu tỉ
\(\Rightarrow\dfrac{x}{y}=a\sqrt{2}+b\) với a;b hữu tỉ