As far as I can tell one
problem with this
proof is that it initially starts with the
assumption that x=y then the term (x-y) appears as a
factor. From the initial assumption this has a value of
zero and so when it is removed the
division by zero occurs.
Another way of looking at it is that the third equation (x^2 - y^2 = xy - y^2) is a statement that zero is equal to zero applying the initial assumption that x = y. So if you remove factors of zero from either side then the rest is meaningless. The fact that 1 times zero is equal to 5000 times zero does not mean that 1 equals 5000.