公式是如果说在Rt△ABC中，∠C为直角，那么∠A的锐角三角函数就可以转变成(∠A可换成∠B)。同时任意锐角的正弦值都可以等同于它的余角余弦值，转而言之任意锐角的余弦值同样能够等同于它的余角转换而来的正弦值。不得不说的是任意锐角的正切值都可以等于它的余切值，也就是另外任意锐角的余切值也等于它算出来的余角的所有正切值，正切、余切的增减性，最后得出结论当0°小于α小于90°时，cotα随α的增大而减小。