一个稍微不同的思路

令 x = z = -y，可得 f(f(0) - y) = y，即 f(x) = f(0) - x
带入原式，成立。