dx是对x微分，dsecx是对secx微分。第一个为了方便理解，可以令secx=t，∫t^2dt=1/3t^3+C。第二个本身就是基本公式。
由泰勒公式cosx=1-x^2/2!+x^4/4!-...(-1)k*x^(2k)/(2k)!+... 所以1-cosx=x^2/2!-x^4/4!+...(-1)k*x^(2k)/(2k)!+... 即1-cosx~x^2/2
