Rational Parametrization of the Circle

Summary: The identity

parametrizes the circle by rational functions of . Euler derives it in §46 (with ) and again as a special case of the §50 substitution.

Sources: chapter3

Last updated: 2026-04-23


Statement

For all real ,

so the map traces points on the circle of radius . Every point except is hit exactly once as ranges over .

Derivation from §46

Euler opens Chapter 3 with the example . Substituting gives (source: chapter3, §46). This is the parametrization with , in the “-as-function-of-” form.

Derivation from §50

In §50 Euler handles by letting . For — so , , — the general formula

specializes to

(source: chapter3, §50). This is exactly the classical half-angle parametrization: with , one recovers , .

Geometric meaning

The substitution is the projection from the point : it parametrizes the circle by the slope of the line through that point. The excluded value corresponds to the point at infinity in the direction of the line — equivalently, to itself.

Significance

  • First rational parametrization explicitly written down in the Introductio and used repeatedly in later chapters.
  • A template for Euler’s general strategy: remove a radical by exploiting one “obvious” point (or factor) and projecting from it.
  • Modern reading: every smooth conic is rationally parametrizable because it has genus zero; the circle is the canonical example.