已知点 A 的坐标为 ( 4 3 , 1 ) ,将 O A 绕坐标原点 O 逆时针旋转 π 3 至 O B ,则点 B 的纵坐标为( )
函数的单调递减区间是
若实数满足则的最大值是
若向量满足,与的夹角为,则
命题“”的否定是
已知集合,,则