tanx的导数：sec²x。

求导的定义：当自变量的增量趋于零时，因变量的增量与自变量的增量之商的极限。在一个函数存在导数时，称这个函数可导或者可微分。

(tanx)'=1/cos²x=sec²x=1+tan²x。

基本的求导法则如下：

1、求导的线性：对函数的线性组合求导，等于先对其中每个部分求导后再取线性组合（即①式）。

2、两个函数的乘积的导函数：一导乘二+一乘二导（即②式）。

3、两个函数的商的导函数也是一个分式：（子导乘母-子乘母导）除以母平方（即③式）。

4、如果有复合函数，则用链式法则求导。