设角a的终边上任一点坐标P（x,y）,r=√(x^2+y^2)>0
a>0,
tan|a|=tana=y/x
cosa=x/r
cosa/ √(1+tan^2a)=x/r*|x|/r=x|x|/r^2=cosxcos|x|
a=0,
tan|a|=tana=tano=0,y=0,x≠0,x=±r
cosa=x/r
cosa/ √(1+tan^2a)=x/r*|x|/r=x|x|/r^2=±1
a0,原式＝cosacos|a|
当a