数学自选模块
题号：03
“数学史与不等式选讲”模块
已知函数，且，对于定义域内的任意实数
（1）设时，S取得最小值，求a，b的值；（2）在（1）的条件下，证明：对任意成立.