tag:blogger.com,1999:blog-264226589944705290.post6517212155012715088..comments2021-12-14T05:53:12.175-08:00Comments on God Plays Dice: Approximating the length of an ellipseMichael Lugohttp://www.blogger.com/profile/15671307315028242949noreply@blogger.comBlogger15125tag:blogger.com,1999:blog-264226589944705290.post-88826482224453922712010-02-24T03:32:20.328-08:002010-02-24T03:32:20.328-08:00nice post. thanks.nice post. thanks.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-54344330174050572772010-01-25T18:00:58.023-08:002010-01-25T18:00:58.023-08:00talking breakout detection desirability residence ...talking breakout detection desirability residence mattson ties supplying reputed judgments units <br />servimundos melifermulyAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-66330802940267336792008-03-12T09:54:00.000-07:002008-03-12T09:54:00.000-07:00If you consider an ellipse with semi-axes (a, a +\...If you consider an ellipse with semi-axes (a, a +\eps), then it has area \pi a (a + \eps). If a gets a bit bigger so does the area:<BR/>dA / da = \pi (2a + \eps)<BR/><BR/>Our ellipse has a = 1, so if a gets \delta a bigger then the extra area is about \pi (2 + \eps) \delta a<BR/><BR/>If you 'unwind' the extra area into a rectangle, then it's about \delta a wide, and hence about \pi (2 + \eps) long.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-58049179626167684272008-03-12T05:48:00.000-07:002008-03-12T05:48:00.000-07:00Mark's last argument appeals the most. (2 + &epsi...Mark's last argument appeals the most. (2 + ε)π is the average of the circumference of the circles with radii 1 and (1 + ε). I would guess that the average is a good first approximation because the line integral is a square-root of squares --> adding to a particular coordinate has the effect of adding a similar value to the calculated distance. So, I guess is't more of a triangle inequality question (as in what's the geometry of the deformations of a circle into an ellipse).Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-89258888706502553082008-03-11T14:53:00.000-07:002008-03-11T14:53:00.000-07:00Joshua, I haven't worked out the details, but I su...Joshua, I haven't worked out the details, but I suspect that you need to make an argument that amounts to an assumption that the figure is symmetric on the substitution of x-axis for y-axis.CarlBrannenhttps://www.blogger.com/profile/17180079098492232258noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-90904299297011270112008-03-11T04:31:00.000-07:002008-03-11T04:31:00.000-07:00You could always just inscribe a circle of radius ...You could always just inscribe a circle of radius one in side the ellipse, inscribe a circle of radius 1+ε outside the ellipse and argue (a la Archimedes) that its perimeter lies roughly halfway between the two. That is, half of 2π + 2(1+ε)π.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-88573219168611653102008-03-10T23:19:00.000-07:002008-03-10T23:19:00.000-07:00Carl,I don't see how you get (1+e/2) out of that w...Carl,<BR/>I don't see how you get (1+e/2) out of that without doing some kind of integral around the circle?Joshua Zuckerhttps://www.blogger.com/profile/04689961247338617418noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-26965342287751117832008-03-10T19:18:00.000-07:002008-03-10T19:18:00.000-07:00A less hand wavy calculation might be to take the ...A less hand wavy calculation might be to take the length <BR/>dP = sqrt(dx^2 + dy^2),<BR/>and write it as<BR/>dP = dx sqrt(1 + dy/dx^2).<BR/>Then scale y by y = y(1+e) and take first order approximation in e.CarlBrannenhttps://www.blogger.com/profile/17180079098492232258noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-11169891359771660282008-03-10T17:47:00.000-07:002008-03-10T17:47:00.000-07:00To get REALLY handwavy about it, if the circle is ...To get REALLY handwavy about it, if the circle is being stretched horizontally, the segment along the top is stretched by a factor of 1+e, and so is the segment on the bottom, while the segments on the sides to first order stay the same length (and only change their position). So on average the stretching is (1+e/2) ...<BR/><BR/>Or, a LITTLE bit more precisely, every segment gets horizontally stretched by 1+e, and vertically stretched not at all, and on average each segment points just as much vertically as horizontally, so the average is 1+e/2 again.Joshua Zuckerhttps://www.blogger.com/profile/04689961247338617418noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-17021811068979560002008-03-10T16:48:00.000-07:002008-03-10T16:48:00.000-07:00Isabel: You're right, the wiggliness is important ...Isabel: You're right, the wiggliness is important but for small values of ε (positive or negative) the ellipse with radii (1+ε, 1) doesn't wiggle much relative to the circle of radius 1 + ε/2. In fact, one could argue that the circle is the "best" circular approximation of the ellipse insofar as any other circle will have a radial separation from the ellipse greater than ε/2 at some point.<BR/><BR/>While the other solutions proposed are very neat (especially those by people named Carl) aren't they more analytic than geometric?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-82014148425317681762008-03-10T08:43:00.000-07:002008-03-10T08:43:00.000-07:00Here's a simpler, sloppier explanation (inspired b...Here's a simpler, sloppier explanation (inspired by carlbrannen's).<BR/><BR/>Geometrically, it seems clear that P(1+e,1+e)/P(1+e,1) is approximately equal to P(1+e,1)/P(1,1); so the answer is the geometric mean of 2 pi and 2 pi (1+e), which is 2 pi sqrt(1+e) or (for small e) approximately 2 pi (1 + e/2) == (2 + e) pi.Unknownhttps://www.blogger.com/profile/03381446726099887645noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-27227479051682281112008-03-10T08:35:00.000-07:002008-03-10T08:35:00.000-07:00Mark: I agree with that now that I know the answer...Mark: I agree with that now that I know the answer, but I'm not sure how convincing that would be if I didn't already know the answer. There's a classic proof that π = 2 which is based on a similar principle. Consider the <A HREF="http://en.wikipedia.org/wiki/Yin_and_yang" REL="nofollow">symbol of yin and yang</A>, where we assume that the curve separating black and white is a pair of semicircles, and the whole symbol has radius 1. The curve separating black and white then has length π. Now imagine that the curve is made up of four semicircles of half the size; it still has length π. Take more and more semicircles of smaller and smaller size; the length is always π. But these curves approach the diameter of the circle, which has length 2! Thus π = 2. Of course, the reason this proof doesn't work is because of the extreme wiggliness of those curves, which isn't a problem here.<BR/><BR/>Carl: I like that proof! And sloppy mathematics is certainly welcome here; it's very much in the spirit of the argument I gave.<BR/><BR/>Carlos: lengths don't scale like that. Areas do. (In other words, it's not true that "everything is linear".) If your argument were correct then I'm pretty sure that the area of the ellipse would be <I>exactly</I> (2+ε)π, but this is only a first-order approximation.Michael Lugohttps://www.blogger.com/profile/15671307315028242949noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-55096983898901862202008-03-10T08:28:00.000-07:002008-03-10T08:28:00.000-07:00I think the easiest explanation has to do with the...I think the easiest explanation has to do with the fact that the linear transformation that takes you from a circle to a (1, 1+e) ellipse can be represented by the matrix [[1 0] [0 1+e]]. Now if we think of the length of the circumference as the derivative of the area of the circle, then the change in the derivative of the area would be given by the derivative of the matrix, which turns out to be the trace, 2+e. Now since the circumference is 2\pi for the matrix with trace 2, and everything is linear, you should get (2+e)\pi. Right?Unknownhttps://www.blogger.com/profile/05566851554483852450noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-15009744812439875972008-03-10T00:06:00.000-07:002008-03-10T00:06:00.000-07:00From a physicist (uh, sloppy mathematical) point o...From a physicist (uh, sloppy mathematical) point of view, the path length P of an ellipse is a 1-dimensional quantity. The ellipse is defined by two dimensions, in this case 1 and 1+e. We write this as P(1,1+e). As e->0 we know that P goes to 2 pi. We wish to write P(1,1+e) = P(e) as a series in e so<BR/>P(e) = 2 pi + k1 e + k2 e^2 + ..., where we keep only the first nonzero entry.<BR/><BR/>Geometrically, the ellipse of dimension (1+e,1) and (1,1+e) are of the same size so P(1+e,1) = P(1,1+e) = P(e). But the first can also be written as (1+e)P(1,1/(1+e)) = (1+e)P(-e) to first order in e.<BR/><BR/>So P(e) = (1+e) P(-e). Therefore the first nonzero term in the series for P(e) is the linear term and we have, keeping first order in e:<BR/>(2 pi + k1 e) = (1+e) (2 pi - k1 e),<BR/>2 pi + k1 e = 2 pi - k1 e + 2 pi e,<BR/>2 k1 e = 2 pi e,<BR/>or k1 = pi, as required.<BR/><BR/>The argument generalizes to any figure that can be defined as having dimensions proportional to an x and y extent. So is that correct?CarlBrannenhttps://www.blogger.com/profile/17180079098492232258noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-32606903473512726002008-03-09T22:18:00.000-07:002008-03-09T22:18:00.000-07:00Having seen the answer, you could argue that the e...Having seen the answer, you could argue that the ellipse is just a small perturbation of a circle of radius one. The ellipse should therefore have circumference close to that of a circle with radius (1 + ε/2). That is, 2(1 + ε/2)π = (2 + ε)π.Anonymousnoreply@blogger.com