## You are here

Homeproof of Jordan's Inequality

## Primary tabs

# proof of Jordan’s Inequality

To prove that

$\frac{2}{\pi}x\leq\sin(x)\leq x,\forall\;x\in[0,\frac{\pi}{2}]$ |

consider a unit circle (circle with radius = 1 unit). Take any point $P$ on the circumference of the circle.

Drop the perpendicular from $P$ to the horizontal line, $M$ being the foot of the perpendicular and $Q$ the reflection of $P$ at $M$. (refer to figure)

Let $x=\angle POM.$

For $x$ to be in $[0,\frac{\pi}{2}]$, the point $P$ lies in the first quadrant, as shown.

The length of line segment $PM$ is $\sin(x)$. Construct a circle of radius $MP$, with $M$ as the center.

Length of line segment $PQ$ is $2\sin(x)$.

Length of arc $PAQ$ is $2x$.

Length of arc $PBQ$ is $\pi\sin(x)$.

Since $PQ\leq$ length of arc $PAQ$ (equality holds when $x=0$) we have $2\sin(x)\leq 2x$. This implies

$\sin(x)\leq x$ |

Since length of arc $PAQ$ is $\leq$ length of arc $PBQ$ (equality holds true when $x=0$ or $x=\frac{\pi}{2}$), we have $2x\leq\pi\sin(x)$. This implies

$\frac{2}{\pi}x\leq\sin(x)$ |

Thus we have

$\frac{2}{\pi}x\leq\sin(x)\leq x,\forall\;x\in[0,\frac{\pi}{2}]$ |

## Mathematics Subject Classification

26D05*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

## Corrections

Some nitpicking by mathwizard ✓

Small things by igor ✓

broken by yark ✓

capitalization of title by Mathprof ✓

## Comments

## the problem with geometric proofs

Nice, but how do you know the length of arc

PAQ is less than the length of arc PBQ?

Note: length of arc PAQ > PMQ

by http://planetmath.org/encyclopedia/StraightLineIsShortestCurveBetweenTwo...

but there is some work involved in that result:

(either you need to know the sup definition of arc length (= integral definition)

or you compare the integrals directly)