Equable ellipses I

Geometry Level 3

An equable shape's perimeter is numerically equal to its area (ignoring units). For example, a 6 × 3 6 \times 3 rectangle has perimeter and area both equal to 18 18 . It's easy to check that this is the only equable rectangle whose width is twice its height.

What is the area of the equable ellipse whose major axis is twice the length of its minor axis?


The answer is 14.93924249.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

David Vreken
Sep 24, 2020

This is not an exact solution but is a quick way to get close enough to the correct answer.

Since the major axis is twice the length of its minor axis, a = 2 b a = 2b .

The area of the ellipse is A = π a b A = \pi ab , and substituting a = 2 b a = 2b gives A = 2 π b 2 A = 2 \pi b^2 .

A Ramanujan approximation of the perimeter of an ellipse is P π ( 3 ( a + b ) ( 3 a + b ) ( a + 3 b ) ) P \approx \pi(3(a + b) - \sqrt{(3a + b)(a + 3b)}) , and substituting a = 2 b a = 2b gives P π b ( 9 35 ) P \approx \pi b(9 - \sqrt{35}) .

Therefore, 2 π b 2 π b ( 9 35 ) 2 \pi b^2 \approx \pi b(9 - \sqrt{35}) , which solves to b 1 2 ( 9 35 ) b \approx \frac{1}{2}(9 - \sqrt{35}) , which means that A 2 π ( 1 2 ( 9 35 ) ) 2 14.939 A \approx 2 \pi (\frac{1}{2}(9 - \sqrt{35}))^2 \approx \boxed{14.939} .

Even I used this approximation!!!

Aaghaz Mahajan - 8 months, 2 weeks ago

Very nice! That's a ridiculously close approximation; comparing it to the answer found by numerical integration the error is around 0.0006 % 0.0006\% .

Chris Lewis - 8 months, 2 weeks ago
Chris Lewis
Sep 25, 2020

Since there's no closed-form expression for the perimeter of an ellipse, numerical methods or approximations are the only way to go. @David Vreken posted a solution using an approximation, so here are a couple of numerical methods.

In both, I'll use a scaling argument, so let's start with that. Let the ellipse with semi-axes a , 1 2 a a,\frac12 a be E E , and let its area be A ( a ) A(a) and its perimeter P ( a ) P(a) .

Then by similarity, A ( a ) = a 2 A ( 1 ) A(a)=a^2 \cdot A(1) and P ( a ) = a P ( 1 ) P(a)=a \cdot P(1) .

For the ellipse to be equable, a 2 A ( 1 ) = a P ( 1 ) a^2 \cdot A(1) = a\cdot P(1)

or, rearranging, a = P ( 1 ) A ( 1 ) a = \frac{P(1)}{A(1)}

Of course, A ( 1 ) = 1 2 π A(1)=\frac12 \pi , so a = 2 P ( 1 ) π a=\frac{2P(1)}{\pi}

This means we just need to find P ( 1 ) P(1) .

All the methods below give P ( 1 ) 4.84422 P(1)\approx 4.84422 \ldots , which leads to a = 2 P ( 1 ) π = 3.08392 a=\frac{2P(1)}{\pi}=3.08392\ldots and A ( a ) = 14.93924 A(a)=\boxed{14.93924\ldots} .


Method 1 1 : non-calculus

We can draw the ellipse E E with the equations x ( t ) = cos t x(t)=\cos t and y ( t ) = 1 2 sin t y(t)=\frac12 \sin t . Letting t k = 2 π k n t_k=\frac{2\pi k}{n} ,

P ( 1 ) k = 0 n 1 ( x ( t k + 1 ) x ( t k + 1 ) ) 2 + ( y ( t k + 1 ) y ( t k + 1 ) ) 2 P(1) \approx \sum_{k=0}^{n-1} \sqrt{\left(x \left(t_{k+1} \right)-x \left(t_{k+1} \right) \right)^2+\left(y \left(t_{k+1} \right)-y \left(t_{k+1} \right) \right)^2}

For various n n values, we get:

n n P ( 1 ) P(1) approx
10 10 4.76592945104217 4.76592945104217
100 100 4.84342730666889 4.84342730666889
1000 1000 4.8442161418485 4.8442161418485
1000000 1000000 4.8442241102659 4.8442241102659

Method 2 2 : calculus

From the same parameterisation, P ( 1 ) = 4 0 π 2 x ˙ 2 + y ˙ 2 d t = 4 0 π 2 cos 2 t + 1 4 sin 2 t d t = 2 0 π 2 4 cos 2 t + sin 2 t d t = 2 0 π 2 1 + 3 cos 2 t d t \begin{aligned} P(1)&=4\int_0^{\frac{\pi}{2}} \sqrt{\dot{x}^2+\dot{y}^2} \;dt \\ &=4\int_0^{\frac{\pi}{2}} \sqrt{\cos^2 t+\frac14 \sin^2 t} \;dt \\ &=2\int_0^{\frac{\pi}{2}} \sqrt{4\cos^2 t+\sin^2 t} \;dt \\ &=2\int_0^{\frac{\pi}{2}} \sqrt{1+3\cos^2 t} \;dt \end{aligned}

and we can use numerical integration here, or Wolfram|Alpha. Incidentally, this is a complete elliptic integral of the second kind.

Method 3 3 : AGM

See, for instance, here for an explanation of a rapidly converging algorithm using the arithmetic-geometric mean to evaluate P ( 1 ) P(1) .

Great! Satisfied. Thanks.

A Former Brilliant Member - 8 months, 2 weeks ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...