Intereting Posts

Origin of the dot and cross product?
How to prove boolean ordering question
How to prove $\lim_{n \to \infty} (1+1/n)^n = e$?
$\sqrt{A(ABCD)} =\sqrt{A(ABE)}+ \sqrt{A(CDE)}$
How can I find $\lim_{n\to \infty} a_n$
Topology of the ring of formal power series
Splitting field of a separable polynomial is separable
Computing the homology groups.
What is the second principle of finite induction?
Is the series $\sum_{n=2}^\infty\frac{(-1)^{\lfloor\sqrt{n}\rfloor}}{\ln{n}}$ convergent?
Cutting the $2$-dimensional real Projective Space
Conjecture regarding integrals of the form $\int_0^\infty \frac{(\log{x})^n}{1+x^2}\,\mathrm{d}x$.
How to calculate $f(x)$ in $f(f(x)) = e^x$?
Inner product exterior algebra
Integral $\int_0^\infty \log(1+x^2)\frac{\cosh \pi x +\pi x\sinh \pi x}{\cosh^2 \pi x}\frac{dx}{x^2}=4-\pi$?

How can I show that

$$\sin [tx+(1-t)y]\leq t\sin x+(1-t)\sin y$$ where $0\leq t\leq 1$ and $\pi\leq x, y\leq 2\pi$?

I know I have to use convex function property, but I am not able to prove this inequality.

- How to prove that the space created by pointwise Bernoulli random variables are compact
- Open Problems in Convex Analysis and Convex Optimization
- Is the trace of inverse matrix convex?
- Subadditivity of the $n$th root of the volume of $r$-neighborhoods of a set
- Proof of Non-Convexity
- Number of ways to separate $n$ points in the plane

- Bounding the product of a quadrilateral's side lengths in terms of the lengths of its diagonals
- Putnam and Beyond AM-GM help
- Prove the inequality $x+\frac{1}{x}\geq 2$?
- Showing $\left|\frac{a+b}{2}\right|^p+\left|\frac{a-b}{2}\right|^p\leq\frac{1}{2}|a|^p+\frac{1}{2}|b|^p$
- How to show $x_1,x_2, \dots ,x_n \geq 0 $ and $ x_1 + x_2 + \dots + x_n \leq \frac{1}{2} \implies (1-x_1)(1-x_2) \cdots (1-x_n) \geq \frac{1}{2}$
- proving that $\text{aff}C-\text{aff}C\subset\text{aff}\,(C-C)$
- Does convergence in probability preserve the weak inequality?
- Estimating partial sums $\sum_{n = 1}^m \frac{1}{\sqrt{n}}$
- Use induction to prove that $F_n \ge \sqrt 2 ^n$ for $n \ge 6$
- Proof of an inequality about $\frac{1}{z} + \sum_{n=1}^{\infty}\frac{2z}{z^2 - n^2}$

In order to avoid confusion, we use the letters $a$ and $b$ instead of $x$ and $y$. The inequality obviously holds if $a=b$, so we assume that $a\ne b$.

Recall that if the second derivative of the function $f(x)$ is positive over an interval, then the curve $y=f(x)$ is what in elementary calculus courses is called “facing up” in that interval. That means in particular that the secant line joining $(a,f(a))$ to $(b,f(b))$ lies “above” the curve except at the endpoints $a$ and $b$.

As $t$ ranges from $0$ to $1$, the point $ta+(1-t)b$ ranges over all points in the interval whose endpoints are $a$ and $b$. The secant line $\ell$ that joins $(a,f(a))$ to $(b,f(b))$ has equation

$$\frac{y-f(a)}{x-a}=\frac{f(b)-f(a)}{b-a}.\tag{$\ast$}$$

Put $x =at+(1-t)b$. Then $x-a=at-a+(1-t)b=(b-a)(1-t)$. A little manipulation of $(\ast)$ yields

$$y-f(a)=(1-t)(f(b)-f(a)),$$

which quickly yields

$$y=tf(a)+(1-t)f(b).\tag{$\ast\ast$}$$

Thus the $y$-coordinate of the point on $\ell$ that has $x$-coordinate equal to $ta+(1-t)b$ is $tf(a)+(1-t)f(b)$.

If the second derivative of $f$ is positive between $a$ and $b$, then the secant line $\ell$ is above or on the curve between $a$ and $b$. That gives the inequality

$$tf(a)+(1-t)f(b) \ge f(at+(1-t)b).\tag{$\ast\ast\ast$}$$

Finally, let $f(x)=\sin x$. Then $f''(x)=-\sin x$, so $f''(x) \ge 0$ on the interval with endpoints $a$ and $b$, if $a$ and $b$ are in the interval $[\pi,2\pi]$. Thus the desired inequality follows from $(\ast\ast\ast)$.

Here is a pictorial proof for the problem. $\sin(x)$ is convex in $(\pi, 2\pi)$. Hence, the center of mass of two points $(x,\sin(x))$ and $(y, \sin(y))$ will always lie above the curve.

- Centre of a matrix ring are diagonal matrices
- Intuition behind Descartes' Rule of Signs
- Does a half-diagonal of a rectangle have a mathematical name?
- A young limit $\lim_{n\to\infty} \frac{{(n+1)}^{n+1}}{n^n} – \frac{{n}^{n}}{{(n-1)}^{n-1}} =e$
- If $k>0$ is a positive integer and $p$ is any prime, when is $\mathbb Z_p =\{a + b\sqrt k~|~a,b \in\mathbb Z_p\}$ a field.
- Is there a direct proof of this lcm identity?
- Frattini subgroup of a finite group
- I just don't see what I do wrong – number of surjections seems higher than number of functions.
- An nth-order ODE has n linearly independent solutions
- Yablo's paradox? a paradox without self-reference
- How to show that disjoint closed sets have disjoint open supersets?
- If a product is normal, are all of its partial products also normal?
- Efficient and Accurate Numerical Implementation of the Inverse Rodrigues Rotation Formula (Rotation Matrix -> Axis-Angle)
- A natural proof of the Cauchy-Schwarz inequality
- Why is the number $e$ so important in mathematics?