Maths Olympiad Prep

Library / /45 of 52

Geometry Difficulty 8.6 Shortlist Prove it Romania

Consider a four-point configuration in the plane, every three points of which can be covered by a strip of unit width. Prove that:

a) the four points can be covered by a strip of width at most 2\sqrt{2}; and

b) if no strip of width less than 2\sqrt{2} covers all four points, then they are the vertices of a square of side length 2\sqrt{2}.

Solution

Both facts follow from the lemma below.

Lemma. Consider a triangle some altitude of which has length at most 11. If the triangle has an altitude of length at least 2\sqrt{2}, say the XX-altitude, then the internal angular span at XX does not exceed 4545^\circ; equality holds if and only if the XX-altitude has length 2\sqrt{2}, and the triangle is isosceles right with apex at one of the other two vertices.

To prove the lemma, let the XX-altitude have length hX2h_X \ge \sqrt{2}. Since the triangle has an altitude of length at most 11, say hY1h_Y \le 1, the internal angle at XX is not the largest angle of the triangle, so it does not exceed a right angle. And since sinX=(hY/hX)sinYhY/hX1/2\sin X = (h_Y/h_X) \cdot \sin Y \le h_Y/h_X \le 1/\sqrt{2}, the internal angular span at XX does not exceed 4545^\circ.

If the internal angular span at XX is 4545^\circ, then 1/2=sinX=(hY/hX)sinYhY/hX1/21/\sqrt{2} = \sin X = (h_Y/h_X) \cdot \sin Y \le h_Y/h_X \le 1/\sqrt{2}, forcing hX=2h_X = \sqrt{2}, hY=1h_Y = 1 and sinY=1\sin Y = 1, so the triangle is indeed isosceles right with apex at YY. The converse is clear.

Back to the problem, begin by noticing that the four points may and will be assumed to be in strictly convex position; i.e., no point lies in the convex hull of the other three. Further, let dist(X,YZ)\text{dist}(X, YZ) denote the distance from the point XX to the line YZYZ, and notice that the four points may and will be labelled AA, BB, CC, DD, in circular order, so that dist(A,BC)dist(D,BC)\text{dist}(A, BC) \ge \text{dist}(D, BC), dist(A,CD)dist(B,CD)\text{dist}(A, CD) \ge \text{dist}(B, CD), dist(B,AD)dist(C,AD)\text{dist}(B, AD) \ge \text{dist}(C, AD) and dist(D,AB)dist(C,AB)\text{dist}(D, AB) \ge \text{dist}(C, AB).

a) It is clearly sufficient to show that one of the distances dist(A,BC)\text{dist}(A, BC), dist(A,CD)\text{dist}(A, CD), dist(B,AD)\text{dist}(B, AD), dist(D,AB)\text{dist}(D, AB) does not exceed 2\sqrt{2}. Suppose, if possible, this is not the case, notice that each of the triangles ABCABC, ACDACD, ABDABD has an altitude of length at most 11, and refer to the lemma to infer that the angular span of each of the angles BACBAC, CADCAD, ABDABD, ADBADB is less than 4545^\circ, so the internal angular spans at the vertices of the triangle ABDABD add up to less than 180180^\circ — a contradiction.

b) Now each of the four distances dist(A,BC)\text{dist}(A, BC), dist(A,CD)\text{dist}(A, CD), dist(B,AD)\text{dist}(B, AD), dist(D,AB)\text{dist}(D, AB) is at least 2\sqrt{2}, and the lemma applies again to each of the triangles ABCABC, ACDACD, ABDABD, to deduce that the angular span of each of the angles BACBAC, CADCAD, ABDABD, ADBADB does not exceed 4545^\circ. If one of the four distances above were greater than 2\sqrt{2}, then the angular span of the corresponding angle would be less than 4545^\circ and the internal angular spans at the vertices of the triangle ABDABD would again add up to less than 180180^\circ. Consequently, the four distances under consideration are all equal to 2\sqrt{2}, the corresponding angular spans are all 4545^\circ, and the conclusion follows from the equality case in the lemma.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.