Misplaced Pages

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Aristarchus's inequality" – news · newspapers · books · scholar · JSTOR (May 2024)

Aristarchus's inequality (after the Greek astronomer and mathematician Aristarchus of Samos; c. 310 – c. 230 BCE) is a law of trigonometry which states that if α and β are acute angles (i.e. between 0 and a right angle) and β < α then

${\displaystyle {\frac {\sin \alpha }{\sin \beta }}<{\frac {\alpha }{\beta }}<{\frac {\tan \alpha }{\tan \beta }}.}$

Ptolemy used the first of these inequalities while constructing his table of chords.

Proof

The proof is a consequence of the more widely known inequalities

${\displaystyle 0<\sin(\alpha )<\alpha <\tan(\alpha )}$,

${\displaystyle 0<\sin(\beta )<\sin(\alpha )<1}$ and

${\displaystyle 1>\cos(\beta )>\cos(\alpha )>0}$.

Proof of the first inequality

Using these inequalities we can first prove that

${\displaystyle {\frac {\sin(\alpha )}{\sin(\beta )}}<{\frac {\alpha }{\beta }}.}$

We first note that the inequality is equivalent to

${\displaystyle {\frac {\sin(\alpha )}{\alpha }}<{\frac {\sin(\beta )}{\beta }}}$

which itself can be rewritten as

${\displaystyle {\frac {\sin(\alpha )-\sin(\beta )}{\alpha -\beta }}<{\frac {\sin(\beta )}{\beta }}.}$

We now want show that

${\displaystyle {\frac {\sin(\alpha )-\sin(\beta )}{\alpha -\beta }}<\cos(\beta )<{\frac {\sin(\beta )}{\beta }}.}$

The second inequality is simply ${\displaystyle \beta <\tan \beta }$. The first one is true because

${\displaystyle {\frac {\sin(\alpha )-\sin(\beta )}{\alpha -\beta }}={\frac {2\cdot \sin \left({\frac {\alpha -\beta }{2}}\right)\cos \left({\frac {\alpha +\beta }{2}}\right)}{\alpha -\beta }}<{\frac {2\cdot \left({\frac {\alpha -\beta }{2}}\right)\cdot \cos(\beta )}{\alpha -\beta }}=\cos(\beta ).}$

Proof of the second inequality

Now we want to show the second inequality, i.e. that:

${\displaystyle {\frac {\alpha }{\beta }}<{\frac {\tan(\alpha )}{\tan(\beta )}}.}$

We first note that due to the initial inequalities we have that:

${\displaystyle \beta <\tan(\beta )={\frac {\sin(\beta )}{\cos(\beta )}}<{\frac {\sin(\beta )}{\cos(\alpha )}}}$

Consequently, using that ${\displaystyle 0<\alpha -\beta <\alpha }$ in the previous equation (replacing ${\displaystyle \beta }$ by ${\displaystyle \alpha -\beta <\alpha }$) we obtain:

${\displaystyle {\alpha -\beta }<{\frac {\sin(\alpha -\beta )}{\cos(\alpha )}}=\tan(\alpha )\cos(\beta )-\sin(\beta ).}$

We conclude that

${\displaystyle {\frac {\alpha }{\beta }}={\frac {\alpha -\beta }{\beta }}+1<{\frac {\tan(\alpha )\cos(\beta )-\sin(\beta )}{\sin(\beta )}}+1={\frac {\tan(\alpha )}{\tan(\beta )}}.}$

See also

• Aristarchus of Samos
• Eratosthenes
• Posidonius

Notes and references

1. Toomer, G. J. (1998), Ptolemy's Almagest, Princeton University Press, p. 54, ISBN 0-691-00260-6

External links

• Leibowitz, Gerald M. "Hellenistic Astronomers and the Origins of Trigonometry" (PDF). Archived from the original (PDF) on 2011-09-27. Retrieved 2019-06-24.
• Proof of the First Inequality
• Proof of the Second Inequality

v t e Ancient Greek mathematics
Mathematicians (timeline)	Anaxagoras Anthemius Archytas Aristaeus the Elder Aristarchus Aristotle Apollonius Archimedes Autolycus Bion Bryson Callippus Carpus Chrysippus Cleomedes Conon Ctesibius Democritus Dicaearchus Diocles Diophantus Dinostratus Dionysodorus Domninus Eratosthenes Eudemus Euclid Eudoxus Eutocius Geminus Heliodorus Heron Hipparchus Hippasus Hippias Hippocrates Hypatia Hypsicles Isidore of Miletus Leon Marinus Menaechmus Menelaus Metrodorus Nicomachus Nicomedes Nicoteles Oenopides Pappus Perseus Philolaus Philon Philonides Plato Porphyry Posidonius Proclus Ptolemy Pythagoras Serenus Simplicius Sosigenes Sporus Thales Theaetetus Theano Theodorus Theodosius Theon of Alexandria Theon of Smyrna Thymaridas Xenocrates Zeno of Elea Zeno of Sidon Zenodorus
Treatises	Almagest Archimedes Palimpsest Arithmetica Conics (Apollonius) Catoptrics Data (Euclid) Elements (Euclid) Measurement of a Circle On Conoids and Spheroids On the Sizes and Distances (Aristarchus) On Sizes and Distances (Hipparchus) On the Moving Sphere (Autolycus) Optics (Euclid) On Spirals On the Sphere and Cylinder Ostomachion Planisphaerium Spherics (Theodosius) Spherics (Menelaus) The Quadrature of the Parabola The Sand Reckoner
Problems	Constructible numbers Angle trisection Doubling the cube Squaring the circle Problem of Apollonius
Concepts and definitions	Angle Central Inscribed Axiomatic system Axiom Chord Circles of Apollonius Apollonian circles Apollonian gasket Circumscribed circle Commensurability Diophantine equation Doctrine of proportionality Euclidean geometry Golden ratio Greek numerals Incircle and excircles of a triangle Method of exhaustion Parallel postulate Platonic solid Lune of Hippocrates Quadratrix of Hippias Regular polygon Straightedge and compass construction Triangle center
Results	In Elements Angle bisector theorem Exterior angle theorem Euclidean algorithm Euclid's theorem Geometric mean theorem Greek geometric algebra Hinge theorem Inscribed angle theorem Intercept theorem Intersecting chords theorem Intersecting secants theorem Law of cosines Pons asinorum Pythagorean theorem Tangent-secant theorem Thales's theorem Theorem of the gnomon Apollonius Apollonius's theorem Other Aristarchus's inequality Crossbar theorem Heron's formula Irrational numbers Law of sines Menelaus's theorem Pappus's area theorem Problem II.8 of Arithmetica Ptolemy's inequality Ptolemy's table of chords Ptolemy's theorem Spiral of Theodorus
Centers	Cyrene Mouseion of Alexandria Platonic Academy
Related	Ancient Greek astronomy Attic numerals Greek numerals Latin translations of the 12th century Non-Euclidean geometry Philosophy of mathematics Neusis construction History of A History of Greek Mathematics by Thomas Heath algebra timeline arithmetic timeline calculus timeline geometry timeline logic timeline mathematics timeline numbers prehistoric counting numeral systems list Other cultures Arabian/Islamic Babylonian Chinese Egyptian Incan Indian Japanese
Ancient Greece portal • Mathematics portal

This elementary geometry-related article is a stub. You can help Misplaced Pages by expanding it.

• v
• t
• e

• Trigonometry
• Inequalities
• Elementary geometry stubs