Áp dụng hằng đẳng thức [tex](a+b)^3=a^3+b^3+3ab(a+b)[/tex] ta có:
[tex]A^3=2-\sqrt{3}+2+\sqrt{3}+3\sqrt[3]{(2-\sqrt{3})(2+\sqrt{3})}.A\\ A^3=4+3A\Rightarrow A^3-3A-4=0\Rightarrow A(A^2-3)=4[/tex]
Thay vào biểu thức ta có:
[tex]\frac{64}{(A^2-3)^3}-3A=\frac{(A(A^2-3))^3}{(A^2-3)^3}-3A=A^3-3A=4[/tex] là một số nguyên (đpcm)