是到角公式吧，在平面解析几何中？

如果是，证明方法和证明三角函数正切的倍角公式相同