bound on area of right triangle
We may bound the area of a right triangle in terms of its perimeter. The derivation of this bound is a good exercise in constrained optimization using Lagrange multipliers.
Theorem 1.
If a right triangle has perimeter , then its area is bounded as
with equality when one has an isosceles right triangle.
Proof.
Suppose a triangle has legs of length and . Then its hypotenuse has length , so the perimeter is given as
The area, of course, is
We want to maximize subject to the constraint that be constant. This means that the gradient of will be proportional to the gradient of . That is to say, for some constant , we will have
Together with the constraint, these form a system of three equations for the three quantities , , and . Writing them out explicitly,
Not that we cannot have because that would mean that all sides of our triangle would have zero length. Hence, we may eliminate between the first two equations to obtain
which may be manipulated to yield
We have two case to consider — either the first factor or the second factor may equal zero. If the second factor equals zero,
move the “1” to the other side of the equation and cross-multiply to obtain
Since we want and but the right-hand side is non-positive, the only option would be to have a trianagle of zero area. The other possibility was to have the second factor equal zero, which would give
In this case, equals . Imposing this condition on the constraint, we see that
so we have the solution
∎
Title | bound on area of right triangle |
---|---|
Canonical name | BoundOnAreaOfRightTriangle |
Date of creation | 2013-03-22 16:30:41 |
Last modified on | 2013-03-22 16:30:41 |
Owner | rspuzio (6075) |
Last modified by | rspuzio (6075) |
Numerical id | 17 |
Author | rspuzio (6075) |
Entry type | Theorem |
Classification | msc 51-00 |