rt，有大佬会求这个式子的值吗？ $\sum_{i=1}^n \tan i \tan (i+1)$
（就是把这个式子化成跟 $n$ 有关的函数的形式）