Loading [MathJax]/jax/output/HTML-CSS/jax.js

Monday, November 13, 2023

It's polygon pull weather

Your goal is to squeeze two non-overlapping quadrilaterals within a unit circle (i.e., a circle with radius 1). The quadrilaterals can share common edges, parts of edges, or vertices, but their interiors may not overlap. Their vertices may also lie on the circle’s circumference.

What is the greatest combined area these quadrilaterals can have?

When it comes to fitting shapes inside a circle, the best guess for largest possible area will be a regular polygon. So let's see what configurations we can come up with for two smushed together quadrilaterals. If we have two quadrilaterals that don't share any edges whatsoever, then we're not trying very hard since we could just expand one or the other quadrilateral until they do have a nonempty intersection and in turn get a larger total area. Similarly, if we have quadrilaterals that only intersect in a portion of an edge, then we can enlarge one or the other of the quadrilaterals until the entire edge is shared and get a larger total area. If the quadrilaterals only intersect in a single vertex then either one or the other can be orthogonally rotated such that the resulting quadrilaterals are all

OK, so now that we've covered that we should share entire edges, let's cover two cases: If we have two quadrilaterals that share two sides, then at most there could only be 4 vertices along the circle. This configuration would have a maximum area obtained by a square inscribed in the circle, which has an area of 2. If instead, we have two quadrilaterals that share exactly one side, then at most there could be 6 vertices along the circle. The area of a regular hexagon inscribed in a unit circle is 332=2.59807... which is the largest total area of two non-overlapping quadrilaterals within a unit circle.

But what if we wanted to stick to only four vertices along the circle and define Z as the following sum: the area of the (convex) quadrilateral formed by all four of these points plus the area of the largest triangle (by area) formed by any three of these points. Given that the four distinct points can be anywhere on the unit circle, what is the greatest possible value of Z?

Let's assume that the four vertices are numbered in say clockwise order, z1, z2, z3, and z4. Let the measure of the angle between the radii connecting zi and zi+1 be αi, for i=1,2, and 3. For completeness, let the measure of the angle between the radii connecting z4 and z1 is α4=2πα1α2α3. In this case, the area of the quadrilateral is given by A=124i=1sinαi. Similarly, the area of the triangle formed by z1, z2 and z3 is A=12sinα1+12sinα212sin(α1+α2). Extending this to all of the triangles gives us the formula for Z=Z(α1,α2,α3,α4)=124i=1sinαi+12max{sinα1+sinα2sin(α1+α2),sinα2+sinα3sin(α2+α3),sinα3+sinα4sin(α3+α4),sinα4+sinα1sin(α4+α1)}. Then all we need to do is optimize subject to α1+α2+α3+α4=2π. Without loss of generality, let's assume that the triangle between z1, z2 and z3 is (one of) the largest of the triangles, so that in some region of the optimal values of α1,α2,α3,α4 we have ˜Z=sinα1+sinα2+12sinα3+12sinα412sin(α1+α2). In this case, we would have expect from the method of Lagrange multipliers that there is some λR such that the following system of equations holds cosα112cos(α1+α2)+λ=0cosα212cos(α1+α2)+λ=012cosα3+λ=012cosα4+λ=0

From the last two equations, we can conclude that cosα3=cosα4, so since αi[0,π], for i=1,2,3,4 we conclude that α3=α4. Similarly, from the first two equations, we can conclude that cosα1=cosα2, and that α1=α2. Therefore, we can reduce the Lagrange multiplier equations above, by setting η=α1=α2 and η=α3=α4. In this case we have the following equations cosζ12cos2ζ+λ=012cosη+λ=0ζ+η=π Further reducing to a single variable we see that from the last equation η=πζ, and the second equation reveals λ=12cosη=12cos(πζ)=12cosζ, so we a single equation 32cosζ12cos2ζ=32cosζcos2ζ+12=0. Solving this quadratic we get cosζ=3174, since the other root would be greater than 1, which in turn leads to ζ=cos131741.85539928817... From here, since sinζ=1cos2ζ=31758 we get an optimal Z of ˆZ=Z(ζ,ζ,πζ,πζ)=2sinζ+sin(πζ)12sin2ζ=3sinζsinζcosζ=(3cosζ)sinζ=(33174)31758=214+1021783.14880129428....

No comments:

Post a Comment