求反正切函数求导公式的推导过程、

推到公式：
公式一： 设α为任意角，终边相同的角的同一三角函数的值相等：
sin（2kπ＋α）＝sinα
cos（2kπ＋α）＝cosα
tan（2kπ＋α）＝tanα
cot（2kπ＋α）＝cotα
公式二： 设α为任意角，π+α的三角函数值与α的三角函数值之间的关系：
sin（π＋α）＝－sinα
cos（π＋α）＝－cosα
tan（π＋α）＝tanα
cot（π＋α）＝cotα
公式三：