Consistency 上image fixes remaining 常数.
F或 x x x 中image, first-step formula 且global formula 必须agree; th是forces c=1 c=1c=1. Substituti上verifies th在 f(x)=1−x2/2 f(x)=1-x^2/2f(x)=1−x2/2 satisfies equation, so it 是unique 解.