Given a set of sides for a polygon, and suppose the polygon is inscribed in a circle. Bill's remark below, about swapping adjacent sides leaving the area unchanged, means we can freely reorder the sides, so the area is independent of the order for an inscribed polygon. What's the radius of the circle? If D = diameter, a side of length A will subtend an angle of 2 arcsin(a/D), and we need the sum arcsin (s/D) = pi as s iterates through the sides. This can be converted to a complicated algebraic equation by requiring the product of (sqrt(D^2-s^2) + i s) to have imaginary part 0. (And taking D as the largest real root.) As the number of sides is increased, this seems unlikely to be solvable in radicals, although it's pretty easy to tackle numerically. Q, repeated: If there are more than 4 sides, is the polygon of maximal area the one inscribed in a circle (and hence independent of the side ordering)? Q2: Given a set of sides, is the polygon of maximal area convex? Suppose you use various plausible definitions of area? Rich -----Original Message----- From: math-fun-bounces+rschroe=sandia.gov@mailman.xmission.com on behalf of Bill Gosper Sent: Tue 7/17/2007 12:05 AM To: math-fun@mailman.xmission.com Cc: rwmgosper@yahoo.com Subject: [math-fun] Re: solid conclusion(?)
This is analogous to the maximal area of a quadrilateral with sides a,b,c,d (or a,b,d,c): sqrt((c + b + a - d) (d - c + b + a) (d + c - b + a) (d + c + b - a)) ---------------------------------------------------------------------, 4 with diagonals (a d + b c) (b d + a c) (b d + a c) (c d + a b) sqrt(-----------------------) and sqrt(-----------------------). c d + a b a d + b c Whose formula is this? Brahmagupta's (cyclic case). His formula makes it clear that the area is maximized when the vertices lie on a circle. And what about arbitrary pentagons, etc? Are the maximal areas fixed w.r.t. permuting the sides? If the area is maximized when the vertices lie on a circle, we can freely swap adjacent sides, preserving the chord (and circumscribing) arc, and thus area. --rwg