求证cos2π/7+cosπ/3=cosπ/7+cos3π/7