1640

1640

  1. 当 x≥1 时, 求函数 f(x)=2ln⁡x−x2−1x 的最大值;
  2. 证明函数 g(x)=cos⁡x−ln⁡(1+4πx) 在 [0,π2] 上有且只有一个零点 x0, 并判断 x0 和 π4 的大小关系;
  3. 已知 x∈(−π4,π4), 证明: 对任意的 φ∈[0,π2], 有 sin⁡(x+φ)≥ln⁡(1+tan⁡x).

解答

  1. 解 因为 f′(x)=−(x−1)2x≤0, 所以 f(x) 的最大值为 f(1)=0.

  2. 解 因为 x∈[0,π2] 时 g′(x)=−sin⁡x−1π4+x<0, 而 g(0)=1>0, g(π2)=−ln⁡3<0, 所以根据零点存在性定理, g(x) 在 [0,π2] 上存在唯一零点 x0. 结合 1 导出的不等式 2ln⁡x≤x2−1x, x≥1, 有 g(π4)=22−2ln⁡2>22−(2)2−12=0. 所以 x0<π4.

  3. 证明 当 x∈(−π4,π4), 可以知道 minφ∈[0,π2]sin⁡(x+φ)=sin⁡x, 所以只需证明 h(x)=sin⁡x−ln⁡(1+tan⁡x)≥0.

    • 当 x∈(−π4,0), h(x)≥sin⁡x−(1+tan⁡x−1)=sin⁡x(1−1cos⁡x)≥0.
    • 当 x∈(0,π4), 再次根据 1: h(x)=sin⁡x−2ln⁡1+tan⁡x≥sin⁡x−1+tan⁡x−11+tan⁡x=tan⁡x1+tan2⁡x−tan⁡x1+tan⁡x≥0.

    所以证毕!

3 的另证

注意到 h(π4)=g(π4)>0, 所以在 (0,π4) 段, 可以尝试说明 h(x) 是先增后减的. 对于本题来说, 这比较麻烦, 但是可以实现.
因为 h′(x)=cos2⁡x(cos⁡x+sin⁡x)−1cos⁡x(cos⁡x+sin⁡x), 所以令 u(x)=cos2⁡x(cos⁡x+sin⁡x)−1, 则 u′(x)=cos3⁡x(1−3tan⁡x−2tan2⁡x), 在 (0,π4) 上只有 x1=arctan⁡17−34 一个零点. 则 u(x) 在 (0,x1) 上增, 在 (x1,π4) 上减. 而 u(π4)=22−1<0, 说明 u(x) 在 (x1,π4) 上存在唯一零点 x2, 则 h(x) 在 (0,x2) 上增, 在 (x2,π4) 上减, 所以 h(x)≥min{h(0),h(π4)}=0.