Correct answer: f(x) = 2*x² (with k = 4)
Put x = 1: f(1 + y) - k*y = f(1) + 2*y² = 2 + 2*y², so f(1 + y) = 2 + k*y + 2*y². Let z = 1 + y, i.e. y = z - 1: f(z) = 2 + k(z - 1) + 2(z - 1)² = 2 + k*z - k + 2*z² - 4*z + 2 = 2*z² + (k - 4)*z + (4 - k). For this to be consistent with the original relation for all x, y (a pure quadratic with no linear/constant term forced by symmetry), substituting back shows k = 4, giving f(z) = 2*z². Check: f(1) = 2. So f(x) = 2*x². Then f(x+y)*f(1/(x+y)) = 2(x+y)² * 2/(x+y)² = 4 = k.