余切函数（cot function）是一个三角函数，通常用cot或cotan表示，定义为余切角的长度与邻边的长度之比。
在三角函数的研究中，常常会遇到两个角度之间的关系问题。余切函数诱导公式（cot function identities）是指一些公式，通过其中一个角度的余切函数来表示其他相关角度的余切函数。
以下是一些常见的余切函数诱导公式：
1. 正切列表诱导公式（Table of Tangent Cotangents）： cot(π/4 - θ) = 1/tan(θ) cot(π/3 - θ) = √3/tan(θ) cot(π/2 - θ) = 1/tan(θ) cot(π - θ) = -cot(θ)
2. 和角差角公式（Sum and Difference of Angles）： cot(α + β) = (cot(α) * cot(β) - 1) / (cot(β) + cot(α)) cot(α - β) = (cot(α) * cot(β) + 1) / (cot(β) - cot(α))补充说明：在一些数学教材或参考资料中，可能将 cot(θ) 定义为 tan(θ) 的倒数，而不是定义为余切角的比值。所以，诱导公式的形式可能会有所不同，请根据具体的定义和教材来理解和使用这些诱导公式。
