给出定义:若(其中为整数),则叫做离实数最近的整数,记作. 在此基础上给出下列关于函数的四个命题:
设均为锐角,且,则
在中,不等式成立;在四边形中,不等式成立;在五边形中,成立.猜想在边形中,成立的不等式为
下列四个函数中,以为最小正周期,且在区间(,)上为减函数的是
函数在一个周期内的图象如下图所示,此函数的解析式为