达式之间，这两个表达式当"m"趋于无穷大时都趋于π/6。这两个表达式从余切和余割的恒等式推出。而这些恒等式则从棣莫弗定理推出。设"x"为一个实数，满足0 < "x" < π/2，并设"n"为正整数。从棣莫弗定理和余切函数的定义，可得：根据二项式定理，我们有：把两个方程合并，由于相等的两个复数的虚数部分也一定相等，因此有：固定一个正整数"m"，设"n" = 2"m" + 1，并考虑"x" = "r" π/(2"m" + 1)对于"r" = 1、2、……、"m"。那么"nx"是π的倍数，因此