王静民
原文证明过程中利用半角公式把上述不等式转化成边的关系,并借助了几个三角恒等式和Gerretsen不等式这些工具进行了证明,证明过程相对繁瑣.本文从纯三角运算的角度,借助恒等式sinA2sinB2sinC2=r4R及熟知不等式sinA2+sinB2+sinC2≤32给出这个结论的一个简洁证明.endprint

王静民
原文证明过程中利用半角公式把上述不等式转化成边的关系,并借助了几个三角恒等式和Gerretsen不等式这些工具进行了证明,证明过程相对繁瑣.本文从纯三角运算的角度,借助恒等式sinA2sinB2sinC2=r4R及熟知不等式sinA2+sinB2+sinC2≤32给出这个结论的一个简洁证明.endprint