19/10/14 17:40:13.46 JQb+gLUh.net
>>716
[ √(5/2), ∞)
ラグランジュの恒等式で
(cc+ss)(xx+yy) = (cx-sy)^2 + (sx+cy)^2 = 5,
xx+yy ≦ 2 ⇔ cc+ss ≧ 5/2,
よって、求める領域は 半径√(5/2) の円の外側。
|c|+|s| ≧ √(cc+ss) ≧ √(5/2),
19/10/14 17:40:13.46 JQb+gLUh.net
>>716
[ √(5/2), ∞)
ラグランジュの恒等式で
(cc+ss)(xx+yy) = (cx-sy)^2 + (sx+cy)^2 = 5,
xx+yy ≦ 2 ⇔ cc+ss ≧ 5/2,
よって、求める領域は 半径√(5/2) の円の外側。
|c|+|s| ≧ √(cc+ss) ≧ √(5/2),