∵，∴，即，

又∵

   （2）在上恒成立，即在上恒成立，

解：（1）若、、，则（当且仅当时取等号）。

   （3）对满足（2）的条件的一个常数，设时，取得最大值。试构造一个定义在上的函数，使当时，，当时，取得最大值的自变量的值构成以为首项的等差数列。

   （2）若在上恒成立，且函数的最大值大于，求实数的取值范围，并由此猜测的单调性（无需证明）；

   （1）可以证明：定理“若、，则（当且仅当时取等号）”推广到三个正数时结论是正确的，试写出推广后的结论（无需证明）；

13. （理）已知为正常数。

        （2）一个解集为的不等式可以是  。

             ∴ 。

又不等式对任意恒成立，∴，即，