首先有
带入原式化简得到
首先有
带入原式化简得到