这是一维的 Borsuk-Ulam 定理 证明是最容易的一个维度,作 g(t) = f(t) - f(t+a/2) 则 g(0) = f(0) - f(a/2),g(a/2) = f(a/2) - f(a) = f(a/2) - f(0) = - g(0) 这就有 g(0) g(a/2)
