Giả sử tồn tại các số a;b;c;d hữu tỉ thoả mãn đẳng thức trên.Chúng ta thấy rằng: nếu x;y là các số hữu tỉ sao cho $x+y\sqrt{2}=5+4\sqrt{2}$ thì x chỉ có thể bằng 5 và y chỉ có thể bằng 4.Thật vậy, nếu y khác 4, thì $\sqrt{2}=\frac{5-x}{y-4}$ là số hữu tỉ, đó là điều vô lí. Vậy nên x=5, y=4.
Ta có:
$(a+b\sqrt{2})^{1994}+(c+d\sqrt{2})^{1994}=\sum_{i=0}^{1994}\binom{1994}{i}a^{1994-i}(b\sqrt{2})^{i}+\sum_{i=0}^{1994}\binom{1994}{i}c^{1994-i}(d\sqrt{2})^{i}=(\sum_{i=0}^{997}\binom{1994}{2i}2^{i}a^{1994-i}b^{2i}+\sum_{i=0}^{997}\binom{1994}{2i}2^{i}c^{1994-i}d^{2i})+\sqrt{2}(\sum_{i=0}^{996}\binom{1994}{2i+1}2^{i}a^{1993-2i}b^{2i+1}+\sum_{i=0}^{996}\binom{1994}{2i+1}2^{i}c^{1993-2i}d^{2i+1})=X+Y\sqrt{2}=5+4\sqrt{2}$(Theo khai triển nhj thức Newton)
Trong đó X,Y là các biểu thức trong ngoặc. Khi đó theo chứng minh trên ta suy ra X=5;Y=4. Và khi đó $X-Y\sqrt{2}=5-4\sqrt{2}$, hay ta có thể viết lại thành:
$(a-b\sqrt{2})^{1994}+(c-d\sqrt{2})^{1994}=5-4\sqrt{2}=\sqrt{25}-\sqrt{32}$. Ta thấy vế phải không âm, trong khi vế trái lại âm, đó là một điều vô lí.
Vậy không tồn tại các số a;b;c;d hữu tỉ thoả mãn đẳng thức trên.