irreducible proof

The problem of the inequality s readable proof is still unsolved, within which the proving of triangular inequality is one of the most difficult.

作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成。