证明了若－π≤Ａ，Ｂ，Ｃ≤π且Ａ＋Ｂ＋Ｃ＝π，则（４＋２）∑ｃｏｓ３＋（５－２）∑ｃｏｓ２≤１８，由此导出了陈计１９９２年的猜测∑ｃｏｓ３＜２及推广了Ｋｏｏｉｓｌｔｒａ不等式∑ｃｏｓ２＞２......