数学吧 关注:914,810贴子:8,838,026
  • 13回复贴,共1

有个不等式一直想不清

只看楼主收藏回复


求大神破之


1楼2013-11-22 20:34回复
    自顶


    2楼2013-11-22 20:49
    回复
      2025-07-27 06:46:15
      广告
      不感兴趣
      开通SVIP免广告
      左边小于sinX小于右边


      IP属地:浙江来自手机贴吧3楼2013-11-22 20:55
      收起回复
        1<x<pi/2在3楼已经有了,对于0<x<1,考察f(x)=sinsqrtx-sqrtsinx,f'(x)=(cossqrtx*sqrtsinx-cosx*sqrtx)/(2sqrtx*sqrtsinx),注意0<cossqrtx<cosx,0<sqrtsinx<sqrtx,所以f'(x)<0,所以f(x)<f(0)=0。
        ------From Surface Pro


        IP属地:美国来自Windows8客户端4楼2013-11-22 21:02
        收起回复
          好像就是这样的!路过。。
          ——我们都有小尾巴,尾巴,巴。。。


          IP属地:广东来自Android客户端5楼2013-11-22 21:04
          回复
            变量替换x=t^2比较方便。于是需要证明sin(t^2)>sin^2(t)
            由于sin(t^2)>t^2-t^6/6,证明t^6/6<(t+sint)(t-sint)即可


            来自Android客户端6楼2013-11-22 21:23
            收起回复
              右边大于(2t-t^3/6)(t^3/6-t^5/120)
              只有要证明
              t^2<(2-t^2/6)(1-t^2/20)对于0<t^2<pi/2成立即可


              来自Android客户端7楼2013-11-22 21:29
              回复
                于是只要t^2<2-4/15 t^2即可,也就是t^2<30/19的都满足


                来自Android客户端8楼2013-11-22 21:35
                回复
                  2025-07-27 06:40:15
                  广告
                  不感兴趣
                  开通SVIP免广告
                  sin(x^z)<sin(x)^z
                  0<z<1,0<x<pi/2
                  似乎都是成立的
                  看作z的函数f(z)=sin(x^z)-sin(x)^z
                  f(0)=f(1)=0什么什么的
                  而且min函数接近一条直线


                  9楼2013-11-22 21:37
                  回复