假设有一个角是(-a),把它当做锐角,
那么与之互余的角就是90-(-a)
因为这两个角互余,
所以这个角的正切值是互余角的余切值.
所以就有tan(90-(-a))=cot(-a)
推广开来,对于一个任意角度,当然还要出去一些特殊值,比如横轴和纵轴上的角度.
那么这条定理都成立.