arctanx求导推导

    arctanx求导推导：y=arctanx，x=tany，dx/dy=secy=tany+1，dy/dx=1/(dx/dy)=1/(tany+1)=1/(1+x)。求导是数学计算中的一个计算方法，它的定义就是，当自变量的增量趋于零时，因变量的增量与自变量的增量之商的极限。
    
    基本函数的求导公式
    1.y=c(c为常数) y'=0;
    2.y=x^n y'=nx^(n-1);
    3.y=a^x y'=a^xlna;
    4.y=e^x y'=e^x;
    5.y=logax y'=logae/x;
    6.y=lnx y'=1/x;
    7.y=sinx y'=cosx;
    8.y=cosx y'=-sinx;
    9.y=tanx y'=1/cos^2x;
    10.y=cotx y'=-1/sin^2x;
    11.y=arcsinx y'=1/√1-x^2;
    12.y=arccosx y'=-1/√1-x^2;
    13.y=arctanx y'=1/1+x^2;
    14.y=arccotx y'=-1/1+x^2;
    原函数存在定理
    若函数f(x)在某区间上连续，则f(x)在该区间内必存在原函数，这是一个充分而不必要条件，也称为“原函数存在定理”。
    函数族F(x)+C(C为任一个常数)中的任一个函数一定是f(x)的原函数，
    故若函数f(x)有原函数，那么其原函数为无穷多个。
    例如，x是3x的一个原函数，易知，x+1和x+2也都是3x的原函数。因此，一个函数如果有一个原函数，就有许许多多原函数，原函数概念是为解决求导和微分的逆运算而提出来的。
    例如：已知作直线运动的物体在任一时刻t的速度为v=v(t),要求它的运动规律，就是求v=v(t)的原函数。原函数的存在问题是微积分学的基本理论问题，当f(x)为连续函数时，其原函数一定存在。