2

We know (from Taylor expansion for example) that if $x \geq 0$, then $\sin x \geq x - \frac{x^3}{6}$.

In Prove that: $\sin(x) \cos(x) \geq x-x^3$ a geometric proof of the inequality $\sin x \geq x - \frac{x^3}{4}$ is given. Is there any geometric proof of the first one (which is slightly stronger ?

JWM
  • 150
  • Seems like the first thing to try is to find better bounds on the red section of that drawing in the link. Have you pursued that route? –  Mar 29 '19 at 19:40
  • My memory is there is a sequence of decreasing values $a_i\to\frac{1}{6}$ defined inductively and geometrically so that $\sin x\geq x-a_ix^3.$ But I honestly can't recall it. – Thomas Andrews Mar 29 '19 at 19:40

3 Answers3

1

You meant this holds for acute $x$. Take a radius-$\sqrt{2}$ centre-$O$ circle of radii $OA,\,OB$ with $\angle AOB=x$. We'll work in Cartesian coordinates $X,\,Y$; rotate the diagram so the line segment $AB$, which is of length $2\sqrt{2}\sin\frac{x}{2}$, has endpoints at $$X=\pm\sqrt{2}\sin\frac{x}{2},\,Y=0,$$and let $M$ be the midpoint of the arc $AB$. The circular segment has area $x-\sin x$, which we wish to prove $\le\frac{1}{6}x^3$. We can asymptotically approximate the arc as a parabola passing through the aforementioned endpoints and $$M=\left(0,\,\sqrt{2}\left(1-\cos\frac{x}{2}\right)\right)=\left(0,\,2\sqrt{2}\sin^2\frac{x}{4}\right).$$The parabola has equation $$Y=\frac{\sqrt{2}\sin^2\frac{x}{4}}{\sin^2\frac{x}{2}}\left(2\sin^2\frac{x}{2}-X^2\right),$$so the area under the parabola is $$\frac{2\sqrt{2}\sin^2\frac{x}{4}}{\sin^2\frac{x}{2}}\frac{4\sqrt{2}\sin^3\frac{x}{2}}{3}=\frac{16}{3}\sin^2\frac{x}{4}\sin\frac{x}{2}.$$(Admittedly I had to use $\int_0^a (a^2-X^2)dX=\frac{2a^3}{3}$ there, but geometrically this is equivalent to a pyramid's volume, so look up your favourite "classical" proof of that.) Asymptotically this is approximately, but less than, $$\frac{16x^3}{3\times 4^2\times 2}=\frac{x^3}{6}.$$

J.G.
  • 115,835
1

Here's a simple proof, not original by me, using calculus. It can easily be extended to show that the power series for sine and cosine are enveloping, that is successive terms bracket the function.

Start with this definition of since and cosine:

$\sin' = \cos $, $\cos' = -\sin $, $\sin(0) = 0$, $\cos(0) = 1$. These imply $\sin^2+\cos^2 = 1$.

For small $t$, $1 \ge \cos(t) \ge 0 $ so $\sin(x) =\int_0^x \cos(t)dt \le x $. Therefore $1-\cos(x) =\int_0^x \sin(t) dt \le \int_0^x t dt = \frac{t^2}{2} $ so $\cos(t) \ge 1-\frac{t^2}{2} $.

Therefore $\sin(x) =\int_0^x \cos(t)dt \ge\int_0^x (1-\frac{t^2}{2})dt =x-\frac{x^3}{6} $.

So we already have $x-\frac{x^3}{6} \le \sin(x) \le x $.

marty cohen
  • 107,799
0

With reference to this link : https://youtu.be/x09IsbVZeXo you may see that the length $(x-x^3/6)$ is a bit less than sinx always , hence the result , equality when x is zero .