>>377
解法はいくつか知ってるけど、基本行列というのは初耳。
その定義は？

>>381
sin x は 0≦x＜π/2 で単調増加で、
sin(π/6) = 1/2 だから

π ＞ 3.10
⇔ sin(π/6) = 1/2 ＞ sin(3.10/6)
あとはsin(3.10/6) を必要なだけ級数展開してその値が 1/2 より小さいことを示せばいい。

というようなことを本番でやると時間切れになるので注意。