and the more obvious fact that
R
lies between 0 and T.The above principle of reflection can also be proved by purely geometric considerations. If
R'
in Fig. 5.5 denotes any point on the x-axis different fromR,
and ifQ'
is the point(q,
-b)
, thenPR
+RQ
=PR
+RQ'
=PQ' < PR'
+R'Q'
=PR'
+R'Q,
so that the point
R
is again seen to minimize the distancePR
+RQ .
yQ' Figure 5.5. Geometric determination of the point R
Suppose a plane divides two homogeneous media
M1
andM2
of different density so that inM1
ligh
t rays travel with velocityv1
along straight lines and in
M2
they travel with velocityv2
along straight lines. We now wish to determine the least time-consuming path from a point P inM1
to a pointQ
inM2;
see Fig. 5.6. Again we havePR
= +r2 ,
RQ
= +(q - r)2
y P ( o , a )
86 A N I N T R O D U C T I O N T O I N E Q U A L I T I E S
and wish to minimize the time (distance/velocity)
1
=
+ r2 +
+
-.
v1 v
2
While this is an easy problem in differential calculus, the minimum value does not seem to be obtainable directly from our elementary inequalities. The minimum value of t is obtained if the path from
P
toQ
is a broken straight linePRQ
(see Fig. 5.6) located so that the angles fh and fJ2 (betweenPR
and the normal to the plane andRQ
and the normal to the plane, respectively) satisfy the relation sinfJ1 v1
sinfJ2
v2
This relation is known as
Snell's law of refraction.
5.6 Simplified Three-dimensional Version of Dido's Problem
Consider now the problem of determining the rectangular box that encloses the greatest volume for a fixed surface area; see Fig. 5.7.
Designating the lengths of the sides by
x, y,
andz,
we see that the volume is given by the expressionV
=xyz ,
while the surface area is represented by the formula
A = 2xy + 2xz + 2yz .
y
Figure 5.7. Three-d1mensional version of the s1mpltfied problem of Dido
Given the value of
A,
we wish to choose the values ofx, y,
andz
that make
V
as large as possible. Once again, an application of the arithmetic-mean-geometric-mean inequality will resolve the problem for us.Considering
xy, xz,
andyz
as three nonnegative quantities, we obtain the inequalityM A X I M I Z A T l 0 N A N D M I N I M I Z A T I 0 N 87
We know that equality can occur if and only if
xy = xz = yz ,
a relationship that holds i f and only if
Since x = y = z .
A xy
+
xz+
yz = 2 ,the inequality (5.8) yields
� (xyz)213 = V213 or
(A)312 6
� v.It follows that the volume of the rectangular box with surface area
A is less than or equal to (A /6)312 , and that this value is attained if and only if
X
= y = Z =(�)
112•Hence, the rectangular box of maximum volume for a given surface area is a cube; and, dually, the rectangular box of minimum surface area that encloses a given volume is a cube. Once again, we observe a reciprocal relationship between two problems.
Exercises
I . Show that, if the sum of the lengths of the twelve edges of a rectangular box is a fixed value E, then the surface area A of the box is at most £ 2/24 , and that the box is a cube if and only if £ 2/24 = A .
2. State and prove the reverse of the result expressed in Exercise I.
3. Of all rectangles having the same length of diagonal, determine which has the greatest perimeter and determine which has the greatest area. (Use the results in Exercise 3 on page 24 or Exercise 3 on page 62.)
5. 7 Triangles of Maximum Area for a Fixed Perimeter
Let us now consider the problem of determining the
triangle
of maximum area for a given perimeter. In Fig. 5.8, let s denote half88 A N I N T R O D U C T I O N T O I N E Q U A L I T I E S
Y z X
Figure 5 8 The problem of Dido for a triangle
the length of the perimeter of the triangle shown; that is, let
s -
2
.
As is well known, the area A of the triangle can be expressed by the formula
A
= [s(s - x)(s - y)(s - z))112 .
We wish to find the maximum value of the area as
x, y,
andz
vary over all positive values for which the relationship2s = x + y + z
holds, where the value
s
is fixed.Once again, the arithmetic-mean-geometric-mean inequality yields the solution in a very simple way. For the three nonnegative values
s - x , s - y,
ands - z ,
we have[(s - x)(s - y)(s - z))113
:s;(s - x) + (s
+ (s - z)
Hence, (5.9) <3s - (x + + z) = 3s - 2s =
�-
3
3
3 .
(s - x)(s - y)(s - z)
:s;GY·
From (5.9), by easy steps, we obtain the result
,
[ (§..)3] 112 = 54)112 = s 2
A
= [s(s - x)(s - y)(s
_:z)]112
:s;s 3
33
3\73"
There is equality if and only if
s - x = s - y = s - z,
M A X I M I Z A T I 0 N A N D M I N I M I Z AT I 0 N 89
THEOREM
5. 1 . Of all triangles with a fixed perimeter, the equilateral
triangle maximizes the area.
Observe that all the results we have so far obtained in this chapter seem to indicate that symmetry and optimal behavior are closely in
terrelated. Perhaps the profound and aesthetic observation of Keats, "Beauty is truth, truth beauty," sums this up best.
Exercises
1 . Let s denote half the length of the perimeter and A the area of the triangle having sides of length x, y, and z, so that
and
- 2
A2 = s(s - x)(s - y)(s - z) .
For the special case of an isosceles triangle, with y = z, let the area be denoted by /; and for the special case of an equilateral triangle, with x = y = z , let the area be denoted by E. Show that
/2 =
�
x2(s - x) and2. With the notation of Exercise 1 , show that, for triangles of equal perime- ter s,
and
J2 -A2 =
{
<s - x)(y - z)2 ,where x is the length of the base of the isosceles triangle and also the length of one side of the general triangle.
3. Using the formulas in Exercise 2, show that
and £ 2 - [ 2 2': 0
J 2 - A2 2': 0 .
Under what circumstances do the signs of equality hold?
4. Using one of the inequalities in Exercise 3, show that, if the perimeter and one side of a triangle are given, then the area is maximized by making the triangle isosceles.
5. Using one of the inequalities in Exercise 3, show that of all isosceles tn angles with a given perimeter, the equilateral triangle maximizes the area.
90 A N I N T R O D U C T I O N T O I N E Q U A L I T I E S
6. Using the inequalities in Exercise 3, explain how the formula
A =
_ _ _ _exhibits
A
in terms of nonnegative expressions, and how the results stated in Exercise 4, Exercise 5, and Theorem 5. 1 follow from this formula. 7. Of all right triangles having the same length of hypotenuse, determinewhich has the greatest altitude to the hypotenuse. 5.8 The Wealthy Football Player
Consider now a problem of a similar but slightly more complex type.
A football player, having parlayed his athletic prowess on the gridiron into a position in Wall Street and thence by natural stages into the possession of a variety of stocks and bonds of his own, be came, in the course of time, quite wealthy. Being of a sentimental turn of mind, as retired football players are wont, he stipulated in his last will and testament that he be buried in a vault shaped like a giant football. His executors, honoring his last request, were faced with the problem of carrying out this assignment in the most eco nomical fashion.
After some thought, they decided that the mathematical problem most closely approximating the physical situation that they faced was that of
enclosing a rectangular box of given dimensions within an ellips
oid of the least possible volume.
Following the leads contained in the foregoing problems, they began with the