实轮换对称型及其半正定性判定的可读证明

可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论了该线性空间的维数,以及轮换对称型半正定性的判别方法.给出了一类具有对称零点的轮换对称型的半正定性判定条件.大量实例表明此分拆方式在轮换对称型半正定性的判定及可读证明上具有很好的实用性.

一类三角函数问题的优化解法

从一道高考真题出发,通过解法的优化,提供了解决相关问题的一种方法(“塞轴法”),通过具体的问题,分析了“塞轴法”的一些优点与不足。