17
$\begingroup$

Let $Q$ be an ellipse with integer-length axes $a$ and $b$: $$ \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 \;.$$ The perimeter of $Q$ is given by the complete elliptic integral of the 2nd kind, $E(\;)$: $4 a E(\epsilon)$ where the eccentricity $\epsilon = \sqrt{1-(b/a)^2}$. Is the following known?

Q. Is the perimeter of an ellipse with integer-length axes $a$ and $b$ always irrational? If not, for which $a,b$ is it rational?


           Ellipse21
           $a,b=2,1$. Perimeter is approximately $9.051752335744220113037500073330267105760842885887$.


Answered by paul Monsky in the comments: The perimeter is transcendental! Established by Theodor Schneider in 1937.

$\endgroup$
6
  • 4
    $\begingroup$ If you collapse an ellipse down to a line, then you get a rational perimeter immediately :-) $\endgroup$
    – Suvrit
    Nov 23, 2013 at 3:24
  • 7
    $\begingroup$ You should check out Schneider's article, "Arithmetische Untersuchungen elliptischer Integrale" , Math. Ann. 113 (1937),1-13. It may have what you're looking for, and in fact show that the perimeter is transcendental. $\endgroup$ Nov 23, 2013 at 4:02
  • $\begingroup$ Springer link to Schneider paper: here. $\endgroup$ Nov 23, 2013 at 12:09
  • 1
    $\begingroup$ Joseph: As an explicit English language reference to the ellipse problem, Waldschmidt gives Schneider's book:"Transcendental numbers" Annals of Mathematical Studies #16, Princeton University Press. $\endgroup$ Nov 23, 2013 at 14:47
  • 2
    $\begingroup$ From the Schneider paper: "Der Wert eines elliptischen Integrals erster oder zweiter Gattung mit algebraischen Koeffizienten und zwischen algebraischen Grenzen ist transzendent." $\endgroup$ Nov 23, 2013 at 14:57

1 Answer 1

12
$\begingroup$

Answered by paul Monsky in the comments: The perimeter is transcendental! Established by Theodor Schneider in 1937:



 Math.Ann.

 Satz I
Roughly (Those with better knowledge of Deutsch, please correct!):

The value of an elliptic integral of the first or second kind with algebraic coefficients and between algebraic limits is transcendental.

$\endgroup$
1
  • 1
    $\begingroup$ I understand that Wustholz has the following result. Any period of a meromorphic differential on a Riemann surface, when both are defined over a number field, is 0 or transcendental. (I don't know if he handled incomplete integrals between algebraic limits as well). $\endgroup$ Nov 25, 2013 at 4:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.