首先cos(4π/7)＞cos(5π/7)，因为余弦函数在(π/2，π)单调递减。其次tan(π/7)＞sin(π/7)，因为tan(π/7)=sin(π/7)/cos(π/7)，又因为cos(π/7)＜1，所以tan(π/7)＞sin(π/7)。
