Để ý thấy :
[tex]\sqrt{1 - x- xy} = \sqrt{1 -x(y + 1)}[/tex]
GT : [tex]x^3 + (y + 1)^3 = 2x(y + 1)[/tex]
Đặt a = x, b = y + 1; ta có :
GT : [tex]a^3 + b^3 = 2ab[/tex]
ĐPCM : [tex]\sqrt{1 - ab}[/tex] là số hữu tỉ
Tại đây bạn thử tự nghĩ
[tex]a^3 + b^3 = 2ab \rightarrow a^6 + b^6 + 2a^3b^3 = 4a^2b^2 \rightarrow (a^3 - b^3)^2 = 4a^2b^2(1 - ab) \rightarrow 1 - ab = \frac{(a^3 - b^3)^2}{4a^2b^2}[/tex]
--> Ta có ĐPCM với a, b hữu tỉ (Do x, y hữu tỉ )