# Math Question

**URL:** <https://boards.straightdope.com/t/math-question/531481>\
**Category:** Factual Questions\
**Created:** [March 6, 2010, 12:10am UTC](https://boards.straightdope.com/t/math-question/531481 "2010-03-06T00:10:16Z")\
**Posts on this page:** 15\
**Page:** 1

<div class="post-metadata">

**Author:** ![brickbacon](https://avatars.discourse-cdn.com/v4/letter/b/898d66/32.png) [@brickbacon](https://boards.straightdope.com/u/brickbacon)\
**Post date:** [March 6, 2010, 12:10am UTC](https://boards.straightdope.com/t/math-question/531481/1 "2010-03-06T00:10:16Z")

</div>

Two questions actually.

If you are trying to minimize the surface area of a cylinder with a given volume (500), is there better way to solve this than the following:

1. Solve for height in terms of radius using the equation for volume

V=pi_r^2_h  
500=pi_r^2_h  
500/(pi\*r^2)=h

1. Substitute that value for height in the surface area equation.

SA= 2_pi_r^2 + 2_pi_r_h  
SA= 2_pi_r^2 + 2_pi_r_(500/(pi_r^2)  
SA= 2_pi\*r^2 + (1000/r)

1. Then you graph the last formula, and trace the line to find the y-minimum.

2. Then plug in the r value at the y-min to the volume equation to find the height.

Ok, now I know that will eventually give you the correct answer if you are discerning enough to find the minimum correctly, but is there another way to solve this **without calculus**. I know you can set the derivative to 0, but my students do not know calculus yet.

Also, if a question specifies that the top and bottom portions of the can (the parts represented in the SA equation by 2_pi_r^2) cost twice as much as the sides, would you just double that portion of the equation when graphing it to figure out the proper height/radius? Thanks in advance.

---

<div class="post-metadata">

**Author:** ![CalMeacham](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/calmeacham/32/35_2.png) [@CalMeacham](https://boards.straightdope.com/u/CalMeacham)\
**Post date:** [March 6, 2010, 12:25am UTC](https://boards.straightdope.com/t/math-question/531481/2 "2010-03-06T00:25:46Z")

</div>

You can always do what Descartes did, and plug in a range of values, find the loest two of these, and continually interpolate, plugging in values and calculating until you get a value that changes by less than some acceptable increment. Solution by brute force.

You could also use something like _Newton’s Method_ for solving for a minimum, but that’s still using calculus, albeit in disguise.

> **[Newton's method](https://en.wikipedia.org/wiki/Newton's_method)**
>
> In numerical analysis, Newton's method, also known as the Newton–Raphson method, named after Isaac Newton and Joseph Raphson, is a root-finding algorithm which produces successively better approximations to the roots (or zeroes) of a real-valued function. The most basic version starts with a single-variable function f defined for a real variable x, the function's derivative f′, and an initial guess x0 for a root of f. If the function satisfies sufficient assumptions and the initial guess is clo...

---

<div class="post-metadata">

**Author:** ![Hari\_Seldon](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/hari_seldon/32/5173_2.png) [@Hari\_Seldon](https://boards.straightdope.com/u/Hari_Seldon)\
**Post date:** [March 6, 2010, 12:55am UTC](https://boards.straightdope.com/t/math-question/531481/3 "2010-03-06T00:55:14Z")

</div>

Sometimes there are clever ways to do these things without calculus. For example, to find the largest rectangle with perimeter P, let x and y be the sides. Then the area is P^2/16 - (x-y)^2/4 and it is then obvious that x = y gives the max. But I certainly don’t know anything involving cylinders, although such a trick probably exists, but I am not about to waste time finding it when I can do it so easily using calculus. In fact this sort of thing is exactly why calculus is important. It obviates the need for such special tricks.

---

<div class="post-metadata">

**Author:** ![Punoqllads](https://avatars.discourse-cdn.com/v4/letter/p/d2c977/32.png) [@Punoqllads](https://boards.straightdope.com/u/Punoqllads)\
**Post date:** [March 6, 2010, 1:24am UTC](https://boards.straightdope.com/t/math-question/531481/4 "2010-03-06T01:24:47Z")

</div>

1. Pick two radius values that you believe bound the correct solution.
2. Pick a radius value further out than both of those two points. E.g., if you’ve picked r[sub]low[/sub] = 1, r[sub]high[/sub] = 500, then r[sub]lower[/sub] = 0.5 and r[sub]higher[/sub] = 501 will do.
3. Calculate the SA for each of those 4 points
4. If the point with the lowest SA is either r[sub]lower[/sub] or r[sub]higher[/sub], set r[sub]low[/sub] = r[sub]lower[/sub] and r[sub]high[/sub] = r[sub]higher[/sub], and go back to step 2.
5. Set r[sub]mid[/sub] equal to the radius that gives the lowest SA. Set r[sub]lower[/sub] to be the radius right below it and r[sub]higher[/sub] to be the radius right above it.
6. Set r[sub]low[/sub] to the midpoint between r[sub]lower[/sub] and r[sub]mid[/sub], i.e., (r[sub]lower[/sub] + r[sub]mid[/sub]) / 2. Set r[sub]high[/sub] to the midpoint between r[sub]higher[/sub] and r[sub]mid[/sub].
7. Calculate the SA for the new 2 points. You’ve already calculated the SA of the other 3 points.
8. If the SA of r[sub]mid[/sub] is the lowest of the 5 points, and the difference between the SA of r[sub]mid[/sub] and r[sub]low[/sub], and the difference between the SA of r[sub]mid[/sub] and r[sub]high[/sub] are both less than some tolerance, you’re done, answer = r[sub]mid[/sub]. Otherwise…
9. Find the radius with the smallest SA and go back to step 5.

---

<div class="post-metadata">

**Author:** ![Andy\_L](https://avatars.discourse-cdn.com/v4/letter/a/c67d28/32.png) [@Andy\_L](https://boards.straightdope.com/u/Andy_L)\
**Post date:** [March 6, 2010, 3:57am UTC](https://boards.straightdope.com/t/math-question/531481/5 "2010-03-06T03:57:06Z")

</div>

> [@brickbacon](#):
>
> Two questions actually.
> 
> If you are trying to minimize the surface area of a cylinder with a given volume (500), is there better way to solve this than the following:
> 
> 1. Solve for height in terms of radius using the equation for volume
> 
> V=pi_r^2_h  
> 500=pi_r^2_h  
> 500/(pi\*r^2)=h
> 
> 1. Substitute that value for height in the surface area equation.
> 
> SA= 2_pi_r^2 + 2_pi_r_h  
> SA= 2_pi_r^2 + 2_pi_r_(500/(pi_r^2)  
> SA= 2_pi\*r^2 + (1000/r)
> 
> 1. Then you graph the last formula, and trace the line to find the y-minimum.
> 
> 2. Then plug in the r value at the y-min to the volume equation to find the height.
> 
> Ok, now I know that will eventually give you the correct answer if you are discerning enough to find the minimum correctly, but is there another way to solve this **without calculus**. I know you can set the derivative to 0, but my students do not know calculus yet.
> 
> Also, if a question specifies that the top and bottom portions of the can (the parts represented in the SA equation by 2_pi_r^2) cost twice as much as the sides, would you just double that portion of the equation when graphing it to figure out the proper height/radius? Thanks in advance.

Here’s what you do. Let’s call the minimum value of r, rm. So the minimum surface area is 2_pi_rm^2 + (1000/rm). Now find the value of SA for r near rm.

SA=2_pi_(rm+d)^2 + (1000/(r+d)) where d is the distance from rm to r.

The difference between the minimum surface area and the surface area with r=rm+d is 2_pi_(2_d_rm+d^2)-d_1000/(rm_(rm+d)). If d is small enough you can throw out any factor with d^2, and eventually you get the difference is

4_pi_d_rm-1000_d\*(rm-d)/rm^3. Set this to zero, and cancel a bunch of stuff, and you get 1000(rm-d)=4_pi_rm^4. But we’re interested in the situation when d=0, so 1000rm=4_pi_rm^4 or rm=the cube root of (1000/4/pi), which is the right answer (unless I messed up)

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [March 6, 2010, 5:53am UTC](https://boards.straightdope.com/t/math-question/531481/6 "2010-03-06T05:53:15Z")

</div>

That works, **Andy L** , but you’re really using calculus there, you’re just deriving the pieces of it you need from scratch, so it doesn’t look like you’re using calculus.

---

<div class="post-metadata">

**Author:** ![Andy\_L](https://avatars.discourse-cdn.com/v4/letter/a/c67d28/32.png) [@Andy\_L](https://boards.straightdope.com/u/Andy_L)\
**Post date:** [March 6, 2010, 1:41pm UTC](https://boards.straightdope.com/t/math-question/531481/7 "2010-03-06T13:41:08Z")

</div>

> [@Chronos](#):
>
> That works, **Andy L** , but you’re really using calculus there, you’re just deriving the pieces of it you need from scratch, so it doesn’t look like you’re using calculus.

Very true. That could be a good thing, since it introduces the students to the usefulness of calculus concepts without needing to introduce the more conceptually difficult pieces of it (differentials, etc.) - if these students are eventually going to get to calculus, my method might serve as a stepping stone.

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [March 6, 2010, 7:59pm UTC](https://boards.straightdope.com/t/math-question/531481/8 "2010-03-06T19:59:30Z")

</div>

I agree with **Hari** , **Chronos** , and **Andy L** that this is perhaps a good opportunity and method by which to actually start motivating and introducing some of the ideas of calculus. But, all the same, we _could_ understand **Andy** ’s method without any of the “If d is small enough, you can toss out d[sup]2[/sup]” business, which perhaps would let us count it as a calculus-free solution.

As before, our constraint is that the total volume πr[sup]2[/sup]h = the constant V = 500. Equivalently, h = V/(πr[sup]2[/sup]). And the function to be minimized subject to this constraint is the surface area 2πr[sup]2[/sup] + 2πrh; equivalently, plugging in the value of h in terms of r as derived from the constraint, the function to be minimized is 2πr[sup]2[/sup] + 2V/r, where we no longer have to worry about the constraint. And, of course, we can factor out the 2, so all we really want to minimize is πr[sup]2[/sup] + V/r. Call this function A®.

Now, observe that A(x) - A(m) = (π(x + m) - V/(xm))(x - m). Suppose we want m to be the desired r uniquely minimizing A; that’s the same as saying this expression should always be positive for x distinct from m. Of course, if x \> m, then x - m is positive, so we will require that for x \> m that π(x + m) - V/(xm) be positive as well. And for x \< m, x - m is negative, so we will require that for x \< m that π(x + m) - V/(xm) be negative as well. But this means π(x + m) - V/(xm) must switch over from positive to negative as x switches from above to below m; accordingly, by continuity, when x = m, we must have that π(x + m) - V/(xm) = 0. That is to say, 2πm - V/m[sup]2[/sup] = 0, from which we derive m[sup]3[/sup] = V/(2π).

Thus, the uniquely minimizing radius is the cube root of V/(2π) (in this case, the cube root of 500/(2π)), with the corresponding height determined by h = V/(πr[sup]2[/sup]). In this method, of course, calculus was lurking at every corner, sometimes dangerously close to letting itself out, but perhaps we could be said to have avoided actually allowing it to break through, never having actually invoked any infinitesimals or assumptions of local linearity…

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [March 6, 2010, 8:24pm UTC](https://boards.straightdope.com/t/math-question/531481/9 "2010-03-06T20:24:33Z")

</div>

> [@](#):
>
> In this method, of course, calculus was lurking at every corner, sometimes dangerously close to letting itself out, but perhaps we could be said to have avoided actually allowing it to break through, never having actually invoked any infinitesimals or assumptions of local linearity…

The pedant in me does feel obligated to point out that you did invoke an assumption of continuity, but since students won’t learn that that has anything to do with calculus until long, long after they’ve taken calculus (if ever), that’s probably OK.

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [March 6, 2010, 8:31pm UTC](https://boards.straightdope.com/t/math-question/531481/10 "2010-03-06T20:31:12Z")

</div>

Yes, I thought about that. Fair point, in that really, continuity itself contains the seeds of all the notions of limits, infinitesimals, derivatives, and so on already. That having been said, the particular fact that “Nice functions (e.g., linear combinations of integer powers of x) can only cross from positive to negative by going through critical points where they are 0 or undefined” (i.e., nice functions satisfy the intermediate value property, which is strictly weaker than formal continuity) is one that I think almost all students are familiar with well before officially learning calculus. It is, after all, the same principle which leads us to conclude that all positive numbers actually have square roots and so on (“Because we switch over at some point from having a lower square to a higher square, surely there is a crossing point”), even if more rigorous exploration of it is a topic not actually touched till Analysis.

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [March 6, 2010, 8:44pm UTC](https://boards.straightdope.com/t/math-question/531481/11 "2010-03-06T20:44:01Z")

</div>

(Is it really true, though, that students won’t learn that continuity has _anything_ to do with calculus till long after? I mean, my own experience with calculus was nonstandard and largely self-taught starting from the motivating idea of continuity, but I did experience the first few weeks of an intro high school calc course, and I seem to recall there being an initial emphasis on introducing the idea of limits, and of continuity as preservation of limits (which is very close, though I don’t recall the point being made explicitly, to the converse view of limits as values given by continuity), and on then using limits to define derivatives, and so on, forging the bridges between these notions. Is this material not standard in calculus education? Or is it that it is merely perfunctory and largely forgotten later on without explicit return to it, just as, say, delta-epsilon definitions?)

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [March 6, 2010, 9:48pm UTC](https://boards.straightdope.com/t/math-question/531481/12 "2010-03-06T21:48:59Z")

</div>

Even with me being in a technical field, and taking a lot of math courses, I don’t think I ever encountered a rigorous definition of continuity until grad school. Before then, it was mostly just considered as obvious, or at best, the intermediate value “theorem” being used as a definition of continuity.

---

<div class="post-metadata">

**Author:** ![Bayesian\_Empirimancer](https://avatars.discourse-cdn.com/v4/letter/b/6de8d8/32.png) [@Bayesian\_Empirimancer](https://boards.straightdope.com/u/Bayesian_Empirimancer)\
**Post date:** [March 6, 2010, 10:24pm UTC](https://boards.straightdope.com/t/math-question/531481/13 "2010-03-06T22:24:53Z")

</div>

Wait, so is there a way to solve this using algebra, without brute forcing it?

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [March 7, 2010, 6:57am UTC](https://boards.straightdope.com/t/math-question/531481/14 "2010-03-07T06:57:31Z")

</div>

> [@Chronos](#):
>
> Before then, it was mostly just considered as obvious, or at best, the intermediate value “theorem” being used as a definition of continuity.

Ah, alright. Though, to be sure, the intermediate value property certainly yields a fine definition of a useful concept that could be given the ordinary language name of “continuity”, just not the particular one that history happened to bestow that name upon in official mathematical jargon. But, at any rate, it’s all we need here.

**Bayesian Empirimancer** : Sure. See post #8.

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [March 7, 2010, 8:15am UTC](https://boards.straightdope.com/t/math-question/531481/15 "2010-03-07T08:15:14Z")

</div>

> [@Indistinguishable](#):
>
> But, at any rate, it’s all we need here.

(In case there is still any concern by anyone over the invocation of the stronger-than-necessary condition of “continuity” in post #8, let me it put another way: the function in question is a rational function, and thus the only niceness condition we need to know is that the output of a polynomial can’t switch sign without passing through a zero along the way. Even without raising the spectre of continuity, this is surely a basic precalculus fact/assumption (actually, one essentially equivalent to the fundamental theorem of algebra, though probably most students simply take it as given and are not exposed to such connections).

In fact, even if they aren’t aware of even this basic fact in general, the relevant function is π(x + m) - V/(xm). We can assume x is positive, so the sign of this function is unaltered by multiplying it by x, which results in a quadratic function. So all that is needed is the fact that quadratic functions satisfy the intermediate value property. And the well-known decomposition of an arbitrary quadratic polynomial into the form k(x - r)[sup]2[/sup] + d (by “completing the square”) reduces this to the fact that the particular function x[sup]2[/sup] satisfies the intermediate value property (as all other quadratics are mere translations of scalings of this). That is, the only needed fact is that if s is inbetween a[sup]2[/sup] and b[sup]2[/sup], then s has a square root inbetween a and b. Splitting into cases according as to the signs of a and b, this readily follows from the fact that x[sup]2[/sup] is a strictly increasing function for non-negative inputs. And _this_ is given by the observation that (x + a)[sup]2[/sup] = x[sup]2[/sup] + 2ax + a[sup]2[/sup] \> x[sup]2[/sup] for positive a and non-negative x. After that, there’s really no room for anyone to plead ignorance.)
