<=> (a2+b2)(a+b)2- 2(a+b)2 +1+ a2b2 -2ab= -4ab <=> (a2+b2)(a2+b2+2ab)- 2(a+b)2+ a2b2+ 2ab+ 1=0
<=> [(a2+b2)2+(a2+b2).2ab+a2b2 ] - 2(a2+b2+2ab)+2ab+1=0 <=> (a2+b2+ab)2- 2(a2+b2+ab)+1=0
<=> (a2+b2+ab-1)2=0 <=> a2+b2+ab-1=0 <=> (a+b)2-(1+ab)=0 <=> (a+b)2 =1+ab => \(\sqrt{1+ab}=\)\(|a+b|\)là số hữu tỉ
\(\left(GT\right)\Rightarrow\left[\left(a+b\right)^2-2\left(ab+1\right)\right]\left(a+b\right)^2+\left(1+ab\right)^2=0\)
\(\Leftrightarrow\left(a+b\right)^4-2\left(a+b\right)^2\left(1+ab\right)+\left(1+ab\right)^2=0\)
\(\Leftrightarrow\left[\left(a+b\right)^2-\left(1+ab\right)\right]^2=0\Rightarrow\left(a+b\right)^2-\left(1+ab\right)=0\)
\(\Leftrightarrow\left(a+b\right)^2=1+ab\Leftrightarrow\left|a+b\right|=\sqrt{1+ab}\left(a,b\inℚ\right)\)
