在高中数学必修5的一个习题:在三角形ABC中证明: