3
$\begingroup$

How can I prove the following inequality:

$$\forall p\in[0,1], \theta\in [0,π/2];\cos^p(θ)≤\cos(pθ)$$

Please help me to complete this proof . I suppose $g(θ)=\cos^p(θ)-\cos(pθ) $ and I want show that $g(θ)≤0$. And I use derivative and integral theorems like mean value theorem ,…. but i couldn’t solve it.

  • 0
    Your notation confused me. Are you talking about $\cos(\theta^p)-\cos(p\theta)$ or $(\cos\theta)^p-\cos(p\theta)$ or something else?2012-10-30
  • 3
    This expression is meaningless in every mathematics I've ever studied: $$cos〖(θ)^p≤cos(pθ) 〗$$ What do you intend that to mean?2012-10-30
  • 0
    I define this function and will show that this function is smaller than zero ( (cos(θ))^p≤cos(pθ) ))by use of integral or derivation or other ways2012-10-30
  • 3
    Please use LaTeX.2012-10-30
  • 1
    @ThomasAndrews: I think the OP entered the function here exactly as it is written in a worksheet for example in Maple or Matlab. Any way he 'd better fix it.2012-10-30
  • 0
    @maisamhedyelloo: Did you mean $\cos^p(\theta)\leq\cos(p\theta)$?2012-10-30
  • 0
    I believe this inequality can be proved starting with De Moivre's Identity.2012-10-30

2 Answers 2

4

If you take $f(\theta)=\log(\cos\theta)$, you simply have to show that: $$ p\,f(\theta) \leq f(p\,\theta). $$ The relation clearly holds for $\theta=0$, so it is sufficient to show that: $$ f'(\theta) \leq f'(p\,\theta),$$ that is obvious, since the function $-f'=\tan(\theta)$ is increasing over $[0,\pi/2]$.

3

Let $u(\theta)=\log\cos(p\theta)-p\log\cos\theta$, then $u(0)=0$ and $u'(\theta)=p\cdot(\tan\theta-\tan(p\theta))$. For every $0\leqslant\theta\lt\pi/2$, $0\leqslant p\theta\leqslant\theta\lt\pi/2$ hence $\tan\theta\geqslant\tan(p\theta)$ and $u'(\theta)\geqslant0$. Thus, $u(\theta)\geqslant0$ for every $0\leqslant\theta\leqslant\pi/2$, that is, $\cos(p\theta)\geqslant(\cos\theta)^p$.