MIT OpenCourseWare http://ocw.mit.edu 6.055J / 2.038J The Art of Approximation in Science and EngineeringSpring 2008For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.20 2020 202008-01-14 22:31:34 / rev 55add9943bf1Part 2 Symmetry and Invariance 4. Symmetry 21 5. Proportional reasoning 26 6. Box models and conservation 40 7. Dimensions 48 The first part of this book discussed how to organize, and therefore how to manage com-plexity. The second and third parts discuss how to eliminate complexity, with this second part discussing three methods for finding and removing complexity that is not real. The three methods are proportional reasoning, conservation, and dimensional analysis, and are examples of symmetry reasoning. Symmetry is also a powerful technique on its own, even without using its for the three methods. The next chapter therefore presents general examples of symmetry reasoning, and the following chapters develop this method reasoning into the three methods of proportional reasoning, conservation, and dimensional analysis.23 2323 232008-01-14 22:31:34 / rev 55add9943bf1| {z } 23 4 Symmetry jA(ωmax) = = jQ.1/Q The factor of Q in the maximum response says that a lightly damped system, where Q  1, can reach a high amplitude if you push it at the so-called resonant frequency. The j says that the response at this resonant frequency lags the input by 90 degrees. In other words, the greatest push happens when the velocity, not the displacement, is a maximum. 4.2 Graphical symmetry The following pictorial problem illustrates symmetry applied to a geometric problem, the traditional domain of symmetry: How do you cut an equilateral triangle into two equal halves using the shortest, not-necessarily-straight path? Here are several candidates among the infinite set of possibilities for the path. l = 1/√2l =√3/2l = 1l = (a mess)Let’s compute the lengths of each bisecting path, with length measured in units of the triangle side. The first candidate encloses an equilateral triangle with one-half the area of the original triangle, so the sides of the smaller, shaded triangle are smaller by a factor of√2. Thus the path, being one of those sides, has length 1/√2. In the second choice, the path is an altitude of the original triangle, which means its length is √3/2, so it is longer than the first candidate. The third candidate encloses a diamond made from two small equilateral triangles. Each small triangle has one-fourth the area of the original triangle with side length one, so each small triangle has side length 1/2. The bisecting path is two sides of a small triangle, so its length is 1. This candidate is longer than the other two. The fourth candidate is one-sixth of a circle. To find its length, find the radius r of the circle. One-sixth of the circle has one-half the area of the triangle, so 1 1 1 √3 πr2 = 6 × Atriangle = 6 × .|{z} 2 2 × 2 × 1 × 2 Acircle Atriangle Multiplying the pieces gives 3√3 πr2 = ,4 and24 2424 242008-01-14 22:31:34 / rev 55add9943bf1s s s 6.055 / Art of approximation 24 3√3 r = .4π The bisection path is one-sixth of a circle, so its length is 2πr π 3√3 π√3l = = = .6 3 4π 12 The best previous candidate (the first picture) has length 1/√2 = 0.707 . . .. Does the mess of π and square roots produce a shorter path? Roll the drums. . . : l = 0.67338 . . . , which is less than 1/√2. So the circular arc is the best bisection path so far. However, is it the best among all possible paths? The arc-length calculation for the circle is messy, and most other paths do not even have a closed form for their arc lengths. Instead of making elaborate calculations on every path, of which there are many, try symmetry, which is the mathematical principle for the three methods in this part of the book. To use symmetry, replicate the triangle six times to make a hexagon, thereby replicating the candidate path as well. Here is the result of replicating the first candidate where the bisection line goes straight across. The original triangle becomes the large hexagon, and the enclosed half-triangle becomes a smaller hexagon having one-half the area of the large hexagon. Compare that picture with the result of replicating the circular-arc bisection. The large hexagon is the same as for the last replication, but now the bisected area replicates into a circle. Which path has the shorter perimeter, the shaded hexagon or this circle? The isoperimetric theorem says that among all shapes with the same area the circle has the smallest perimeter. Since the circle and the smaller hexagon enclose the same area – which is three times the area of one triangle – the circle has a smaller perimeter than the hexagon, and it has a smaller perimeter than the result of replicating any other bisecting path. So the circular arc is the solution. The lesson of this example is that symmetry can remove complexity. The complexity in this problem comes from the edges of the triangle: How much of each edge should be part of the bisected shape? Different paths use different amounts of each edge, and there’s no obvious way to deduce the correct amounts. After making the figure symmetric by replicating the triangle into a hexagon, the edges become irrelevant. In the symmetric figure, the question simplifies to finding the shortest path that encloses one-half of the hexagon. 4.3 Heat