Regiomontanus' angle maximization problem


In mathematics, the Regiomontanus's angle maximization problem, is a famous optimization problem posed by the 15th-century German mathematician Johannes Müller. The problem is as follows:
If the viewer stands too close to the wall or too far from the wall, the angle is small; somewhere in between it is as large as possible.
The same approach applies to finding the optimal place from which to kick a ball in rugby. For that matter, it is not necessary that the alignment of the picture be at right angles: we might be looking at a window of the Leaning Tower of Pisa or a realtor showing off the advantages of a sky-light in a sloping attic roof.

Solution by elementary geometry

There is a unique circle passing through the top and bottom of the painting and tangent to the eye-level line. By elementary geometry, if the viewer's position were to move along the circle, the angle subtended by the painting would remain constant. All positions on the eye-level line except the point of tangency are outside of the circle, and therefore the angle subtended by the painting from those points is smaller.
By Euclid's Elements III.36, the distance from the wall to the point of tangency is the geometric mean of the heights of the top and bottom of the painting. This means, in turn, that if we reflect the bottom of the picture in the line at eye-level and draw the circle with the segment between the top of the picture and this reflected point as diameter, the circle intersects the line at eye-level in the required position.

Solution by calculus

In the present day, this problem is widely known because it appears as an exercise in many first-year calculus textbooks.
Let
The angle we seek to maximize is β − α. The tangent of the angle increases as the angle increases; therefore it suffices to maximize
Since ba is a positive constant, we only need to maximize the fraction that follows it. Differentiating, we get
Therefore the angle increases as x goes from 0 to and decreases as x increases from. The angle is therefore as large as possible precisely when x = , the geometric mean of a and b.

Solution by algebra

We have seen that it suffices to maximize
This is equivalent to minimizing the reciprocal:
Observe that this last quantity is equal to
This is as small as possible precisely when the square is 0, and that happens when x = . Alternatively, we might cite this as an instance of the inequality between the arithmetic and geometric means.