你说的是对的。已知函数 f(x) 是一个定义在某区间的函数，如果存在可导函数 F(x)，使得在该区间内的任一点都有dF(x) = f(x)dx，则在该区间内函数 f(x) 的原函数为 F(x)。注意区分 F 和 f。这里，f(x) 是 F(x) 的导函数，F(x) 是 f(x) 的原函数。