I found it somewhere
First prove that
Then prove that there exists no integer k such that (meaning that their integer part is the same)
Square it :
From , we can say that
Thus we finally have :
Since k is an integer, is also an integer.
But a squared number can only be 0 or 1 modulo 4.
Therefore, this integer k doesn't exist.