这是刘保乾的一个三角形不等式，代数化后次数高的惊人，手工简直不可能。

这是问题的一个等价形式，手工做估计要用三角形半角不等式结果，未尝试。

这是问题的PRr形式，手工拆分须要借助下面一个锐角三角形中的PRr式

用了一个刘健文中一个结论，终于手工证了这个PRr分拆。

刘健文中的结论又源于非钝角三角形一个最基本的关系式。引理2—1。