Maths Olympiad Prep

Library / /30 of 31

Geometry Difficulty 7.5 National Olympiad, round 2 Prove it Italy

Problem:

A regular hexagon is given in the plane. For every point PP of the plane, we call l(P)l(P) the sum of the six distances between PP and the lines on which the sides of the hexagon lie, and v(P)v(P) the sum of the six distances of PP from the vertices of the hexagon.

a. For which points PP of the plane is l(P)l(P) minimal?

b. For which points PP of the plane is v(P)v(P) minimal?

Solution

Solution:

(a) The points PP for which l(P)l(P) is minimal are the points interior to the hexagon and those on its boundary. Let us call ABCDEFA B C D E F the hexagon, and aa the length of its side, and let us consider the sum of the distances between PP and the two opposite sides ABA B and DED E. If HH and KK are the feet of the perpendiculars from PP to the lines ABA B and DED E respectively, then, by definition, PHP H and PKP K are the distances of PP from the lines ABA B and DED E. P,HP, H and KK are collinear, because PHP H and PKP K are both perpendicular to the two lines, and HKH K is equal to the distance between the two lines, that is, to 3a\sqrt{3} a.

If PP lies inside the segment HKH K (endpoints included) then HP+PK=HK=3aH P+P K=H K=\sqrt{3} a. If instead it is outside, then the longer of the two segments PHP H and PKP K contains within it the entire segment HKH K, so in particular PH+PK>HK>3aP H+P K>H K>\sqrt{3} a. It is evident that the first case occurs when PP is interior to the strip formed between the two lines ABA B and DED E (boundary included), while the second occurs when PP is exterior to that strip. In conclusion,
dist(P,AB)+dist(P,DE)=PH+PK3a \operatorname{dist}(P, A B)+\operatorname{dist}(P, D E)=P H+P K \geqslant \sqrt{3} a
and equality holds if and only if PP is interior to the strip (boundary included). Repeating the reasoning for the other two pairs of opposite sides, we get
dist(P,AB)+dist(P,DE)3a,dist(P,BC)+dist(P,EF)3a,dist(P,CD)+dist(P,FA)3a, \begin{aligned} & \operatorname{dist}(P, A B)+\operatorname{dist}(P, D E) \geqslant \sqrt{3} a, \\ & \operatorname{dist}(P, B C)+\operatorname{dist}(P, E F) \geqslant \sqrt{3} a, \\ & \operatorname{dist}(P, C D)+\operatorname{dist}(P, F A) \geqslant \sqrt{3} a, \end{aligned}
and equalities hold respectively if PP is interior to the three strips determined by the pairs of parallel lines {AB,DE},{BC,EF}\{A B, D E\},\{B C, E F\}, {CD,FA}\{C D, F A\} (boundaries included).

Adding the three relations found, we obtain
Figure 1
dist(P,AB)+dist(P,BC)+dist(P,CD)+dist(P,DE)+dist(P,EF)+dist(P,FA)33a. \operatorname{dist}(P, A B)+\operatorname{dist}(P, B C)+\operatorname{dist}(P, C D)+\operatorname{dist}(P, D E)+\operatorname{dist}(P, E F)+\operatorname{dist}(P, F A) \geqslant 3 \sqrt{3} a .
Equality holds when PP is in the intersection of the three strips formed by the pairs of opposite sides of the hexagon, that is, when PP is inside the hexagon or on its boundary.

(b) The only point for which v(P)v(P) is minimal is the center of the hexagon.

To prove this, let us consider the sums of the distances of PP from the pairs of opposite vertices {A,D},{B,E}\{A, D\},\{B, E\}, {C,F}\{C, F\} ). By the triangle inequality, ADAP+PDA D \leqslant A P+P D, and equality holds if and only if PP is on the segment ADA D. Similarly, BEBP+PEB E \leqslant B P+P E, with equality only if PP lies on the segment BEB E, and CFCP+PFC F \leqslant C P+P F, with equality only if PP lies on the segment CFC F. Adding the three relations we obtain
v=PA+PB+PC+PD+PE+PF=(AP+PD)+(BP+PE)+(CP+PF)AD+BE+CF=6a \begin{aligned} v & =P A+P B+P C+P D+P E+P F \\ & =(A P+P D)+(B P+P E)+(C P+P F) \leqslant A D+B E+C F=6 a \end{aligned}
and equality holds if and only if the equality conditions of the three relations we added hold simultaneously, that is, if PP lies simultaneously on the segments AD,BEA D, B E and CFC F. It is evident that the only point satisfying this condition is the center of the hexagon.

Figure 2

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from it; metadata (topic, difficulty) added by this project.