其实现在很多公式都不准用，据说一个切割线定理都不能直接用了。我个人觉得这不是什么好事，毕竟公式是用来套用的，如果没有经过证实的就不能算公式了。既然经过证实了，那就可以直接引用，为什么还需要证明才能去使用呢。这里面肯定是一群所谓的精英份子装。