|
|||||||||||||||||||||||||||||||
Copyright © 1996-2009 Alexander Bogomolny
ExplanationThe applet illustrates an unused problem from the International Math Olympiad submitted by France. The problem has been discussed in Crux Mathematicorum, 1987, 246, and subsequently included into R. Honsberger's collection From Erdös To Kiev. From a point D on side BC of ΔABC perpendiculars DE and DF are drawn to AC and AB, respectively. Determine the position of D for which EF has minimum length.
Honsberger makes an insightful observation. In case where angle at A is right the quadrilateral AEDF is a rectangle and its diagonals AD and EF are equal. So EF attains its minimum along with AD. But obviously AD has the minimum length when D is the foot of the altitude from A. He further remarks that the same holds even when angle A is not right. The reason for this is that the quadrilateral AEDF is always cyclic and, in its circumcircle, chord EF always subtends the same angle (In fact either that angle or its supplementary. But this does not affect the correctness of the claim.) It is obvious that the length of a chord subtending a fixed angle grows or decreases together with the diameter of the circle. But, since angles AED and EFD are right by the construction, AD serves as a diameter of the circumcircle. So, again, EF is the shortest whenever AD is. And we are done. (For some reason, Honsberger makes an exception for the case where one of the base angles is obtuse. In this case, he claims, the minimum is attained for D coinciding with the obtuse angle vertex. This is incorrect.) Gordon Walsh suggested another elegant solution. Let D' be the foot of the altitude from A and E' and F' its projections on AC and AB, respectively. Immediately
with equality only when
for all positions of D on BC. In a right triangle DAE,
Now, since quadrilateral AEDF is cyclic so that ∠DFE = ∠DAE, we may continue applying the law of sines,
meaning
This is true for all positions of D. In particular,
This is a nice example of a minimization problem that does not require Calculus. References
Copyright © 1996-2009 Alexander Bogomolny
|
| ||||||||||||||||||||||||||||||