>>110
 f(x) = cos(x) - (3/2π)x,
とおくと、平均変化率は
 冉/凅 = {cos(x) - 1/2}/(x - π/3) - 3/(2π)
   ≦ 0.375099 - 0.477465   (←微分法で)
   = - 0.102366    (等号は x=-2.75709) 
なので x = π/3 の他に実根はない。