利用诱导公式证明恒等式
发布人