A quick solution can be found using the affinity f, which maps the unit circle to the given ellipse. This can be realized with a diagonal matrix diag(a, b). f maps the square to the maximal inscribed rectangle of the ellipse (see MaximalRectangle.html ) with sides sqrt(2)*a, sqrt(2)*b. Since affinities preserve area-ratios the proof follows at once. The maximal N-gons are images of the corresponding maximal in area inscribed N-gons in the unit circle. These are the regular N-gons and the formula gives their area if we replace a=b=r, with the radius of the circle.

Note that all these maximal N-gons are also circumscribed about a second ellipse which is the image under f of the corresponding inscribed circle of the regular N-gons. Rewriting the area E(N) in a convenient form and taking the limit we find the area of the ellipse:

The exercise gives an example for Poncelet's "Great" theorem (see Poncelet.html ) on polygons simultaneously circum/in-scribed on two ellipses (conic sections more general).

The exercise generalizes also the examples of maximal triangles/quadrangles inscribed in ellipse, whose discussion starts in the file ParaInscribedEllipse.html .

Switch to the selection on contour-tool (press CTRL+2), catch and move points P and watch the corresponding pentagons inscribed in the ellipse and their counterparts inscribed in the circle.

Produced with EucliDraw© |