如果你能证明ABC的角都是锐角，你那个证明的后半部就完成了。