====== Epicycle ======

An **epicycle** is a geometric construct used in classical astronomy in which a planet moves in a small circle (the epicycle) whose center itself travels along a larger circle (the deferent) centered on or near Earth. The model was developed within the framework of [[ptolemaic-system|Ptolemaic astronomy]] to account for the observed irregular motions of planets - particularly retrograde motion, in which planets appear to reverse direction against the background of fixed stars. Epicycles were a central feature of geocentric cosmology for roughly fourteen centuries and represent one of the most sophisticated mathematical systems produced in the ancient and medieval worlds.

===== Background and Development =====

The formal mathematical treatment of epicycles is attributed primarily to [[claudius-ptolemy|Claudius Ptolemy]] (c. 100-170 CE), whose //Almagest// codified the system in its most complete form, though the underlying concepts draw on earlier work by [[hipparchus|Hipparchus]] (c. 190-120 BCE) and [[apollonius-of-perga|Apollonius of Perga]] (c. 262-190 BCE). In Ptolemy's system, each planet required its own combination of deferent, epicycle, and additional refinements - including the [[equant|equant]] point - to bring predicted positions into agreement with observation. The model achieved considerable predictive accuracy for its time and served as the basis for astronomical tables used in navigation and calendar-making across the Islamic world and medieval Europe.

The [[copernican-revolution|Copernican Revolution]] of the sixteenth century displaced the geocentric model with a heliocentric one, but early versions of the Copernican system retained epicycles to account for residual discrepancies in planetary motion. Epicycles were not fully eliminated from planetary theory until [[johannes-kepler|Johannes Kepler]] replaced circular orbits with ellipses in the early seventeenth century, demonstrating that the apparent need for epicycles arose from the assumption that planetary orbits must be circular.

A mathematically significant point - noted most prominently by Hanson (1960) and subsequent historians of science - is that any smooth periodic curve can be approximated arbitrarily closely by a sufficiently large sum of circular motions, a property formalized in modern [[fourier-analysis|Fourier analysis]].[5] This means epicyclic systems are not simply ad hoc errors but reflect a genuine class of mathematical decomposition, even if their physical interpretation was incorrect.

===== Consensus Status =====

There is broad consensus in the history of science and in physics that the Ptolemaic epicyclic model was superseded by Keplerian orbital mechanics and, subsequently, by [[newtonian-mechanics|Newtonian mechanics]] and [[general-relativity|general relativity]] as descriptions of planetary motion. See [[epicycle-astronomy-consensus|Astronomy Consensus - Epicycles]] for a summary of that consensus. The role of epicycles as a historical and philosophical case study - particularly regarding model underdetermination and the relationship between predictive success and truth - remains a subject of active discussion in [[philosophy-of-science|philosophy of science]].

===== Viewpoints =====

  * **Historical rehabilitation** - Some historians of science argue that the dismissal of Ptolemaic astronomy as simply "wrong" understates its mathematical sophistication and practical accuracy. See [[epicycle-historical-rehabilitation-viewpoint|Viewpoint: Historical Rehabilitation]].
  * **Epicycles as a cautionary tale** - The term //epicycle// is widely used in scientific discourse as a pejorative for post-hoc adjustments added to preserve a failing theory. Whether this usage accurately reflects the history is disputed. See [[epicycle-cautionary-tale-viewpoint|Viewpoint: Cautionary Tale]].
  * **Mathematical equivalence argument** - Some philosophers and mathematicians argue that, given Fourier-type decomposition, the Ptolemaic and Keplerian systems are mathematically equivalent representations, raising questions about the basis for preferring one over the other on purely predictive grounds. See [[epicycle-mathematical-equivalence-viewpoint|Viewpoint: Mathematical Equivalence]].
  * **Underdetermination and scientific realism** - Philosophers of science have used the epicycle case to examine whether empirical adequacy is sufficient grounds for belief in a theory's truth. See [[epicycle-underdetermination-viewpoint|Viewpoint: Underdetermination and Realism]].

===== Related Pages =====

  * [[epicycle-history|Epicycle - History]]
  * [[epicycle-debate|Epicycle - Debate]]
  * [[epicycle-historical-rehabilitation-viewpoint|Epicycle - Viewpoint: Historical Rehabilitation]]
  * [[epicycle-cautionary-tale-viewpoint|Epicycle - Viewpoint: Cautionary Tale]]
  * [[epicycle-mathematical-equivalence-viewpoint|Epicycle - Viewpoint: Mathematical Equivalence]]
  * [[epicycle-underdetermination-viewpoint|Epicycle - Viewpoint: Underdetermination and Realism]]
  * [[epicycle-astronomy-consensus|Astronomy Consensus - Epicycles]]
  * [[ptolemaic-system|Ptolemaic System]]
  * [[copernican-revolution|Copernican Revolution]]
  * [[philosophy-of-science|Philosophy of Science]]
  * [[fourier-analysis|Fourier Analysis]]

===== Footnotes =====

  - Ptolemy, Claudius. //Almagest//. Trans. G.J. Toomer. Princeton University Press, 1998.
  - Neugebauer, Otto. //A History of Ancient Mathematical Astronomy//. Springer, 1975.
  - Kuhn, Thomas S. //The Copernican Revolution//. Harvard University Press, 1957.
  - Kepler, Johannes. //Astronomia Nova//. 1609.
  - Hanson, Norwood Russell. "The Mathematical Power of Epicyclical Astronomy." //Isis// 51, no. 2 (1960): 150-158.
  - Duhem, Pierre. //To Save the Phenomena: An Essay on the Idea of Physical Theory from Plato to Galileo//. University of Chicago Press, 1969.