https://www.luogu.com.cn/paste/gau2rvsm

看着像万能公式，但是应该不是。

如果有知道这个公式的可以告诉我这个公式的名字，或者怎么推的。

本人三角函数用的比较生疏。