tanx的导数：sec?x。
求导的定义：当自变量的增量趋于零时，因变量的增量与自变量的增量之商的极限。在一个函数存在导数时，称这个函数可导或者可微分。
(tanx)'=1/cos?x=sec?x=1+tan?x。
基本的求导法则如下：
1. 求导的线性：对函数的线性组合求导，等于先对其中每个部分求导后再取线性组合（即①式）。
2. 两个函数的乘积的导函数：一导乘二+一乘二导（即②式）。
3. 两个函数的商的导函数也是一个分式：（子导乘母-子乘母导）除以母平方（即③式）。
4. 如果有复合函数，则用链式法则求导。
