已知下列四个命题：
（1）若在上恒成立，则；
（2）锐角三角形中，，则；
（3）已知，直线与椭圆恒有公共点，则;
（4）定义在上的函数满足当时，则函数在上有最小值．   
其中的真命题是       ．