∫dx/√(1-x²)=∫-sintdt/sint=-t+C=-arccosx+C 对于一个定义在某区间的已知函数f(x),如果存在可导函数F(x),使得在该区间内的任一点都存在dF(x)=f(x)dx,则在该区间内就称函数F(x)为函数f(x)的原函数。