cos(-x)=cosx
所以cos（-100)=cos100=cos(180-80)=-cos80=k
cos80=-k
sin²80+cos²80=1
且sin80>0
所以sin80=√(1-k²)
所以tan80=sin80/cos80=-√(1-k²)/k