# Thomas Simpson and Maxima and Minima - Maximizing area of right triangles

Author(s):
Michel Helfgott

Of all right-angled plane triangles having the same given hypotenuse, to find that whose area is the greatest (Example IV, page 17)

Let a be the hypotenuse and x, y the legs. We have
 y = Ö a2 - x2 ,       so        area(x) = x 2 Ö a2 - x2 .
Let f(x) = (x2/4)(a2 - x2 ), the square of the area. Then 0 = f¢(x) = (2a2/4)x - x3, consequently x = a/Ö2. It follows that
 y = Ö a2 - a2/2 = a Ö2 .
Thus, the best we can do is to choose the isosceles right triangle with given hypotenuse a.

Simpson provides an alternative way of solving the problem at hand (he says "the same otherwise"): Assuming that y is a function of x, implicit differentiation - a term not used by the author - leads to 2x + 2yy¢ = 0 since x2 + y2 = a2, thus y¢ = - x/y . On the other hand area(x) = (1/2)xy(x), so area¢(x) = (1/2)(y + xy¢). We are looking for the maximum of the area function, thus we have to make area¢(x) = 0. Therefore (1/2)(y + xy¢) = 0, which in turn leads to y¢ = -y/x. Consequently -x/y = -y/x, that is to say x = y. Again we reach the conclusion that the right isosceles triangle, of given hypotenuse a, encloses the largest area.

Remarks: It might surprise the reader that, in the first approach, Simpson does not take the derivative of the area but of its square. This is a clever choice since the latter is a simple polynomial. As the author writes right before example IV: "It will be proper to observe here, that the value of a quantity, when a maximum or minimum, may oftentimes be determined with more facility by taking the fluxion of some given part, multiple, or power thereof, than from the fluxion of the quantity itself." Simpson does not, however, mention that a simple algebraic alternative exists, due to the fact that f(x) happens to be a biquadratic function. Indeed -(1/4)x4 + (a2/4)x2 can be transformed into - (1/4)z2 + (a2/4)z by defining z = x2. Completing squares, we can tell that the function in the variable z adopts its minimum at

 z = - a2/4 2( - 1/4) = a2 2 .
So the original equation attains its minimum at
 x = Ö a2 /2 = a Ö2 .

Michel Helfgott, "Thomas Simpson and Maxima and Minima - Maximizing area of right triangles," Loci (August 2010)