제시문
(가)
sin(a+b) = sin a cos b + cos a sin b
sin(a-b) = sin a cos b - sin b cos a
cos(a+b) = cos a cos b - sin a sin b
cos(a-b) = cos a cos b + sin a sin b

(나)
sqrt 6 = 2.449 , sqrt 2 = 1.414
(여기서 sqrt a = a^(1/2))

(논제)
제시문을 이용하여 원주율의 값 pi가 3.1보다 큰 값임을 보이고 그 근거를 서술하여라.