L'implication <== est evidente.
L'autre sens, il est clair que f es C infini. On dérive par rapport à x en laissant y fixé on a :
f'(2x)=f'(x+y) +(x-y)f''(x+y).
Pour x=0 ==> f'(0)=f'(y)-yf''(y)
les solutions de l'éq.diff. de premier degré , tz'-z=0 sont z=at ( a réels)
==> f'(y)=ay+b ==> f(y)=ay²+by+c