соглашусь, часто решение можно найти и короче и красивее)) в этом случае проще рассуждать про функцию (речь о производной) вида у(z) = -12*z+7... это очевидно убывающая линейная зависимость... т.е. чем больше z = sin(x), тем меньше значение производной... а синус в первой четверти ВОЗРАСТАЕТ, т.е. -12sin(x) в первой четверти будет только убывать... именно на круге все очевидно))