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; and
b) if no strip of width less than 2 covers all four points, then they are the vertices of a square of side length 2.
Solution
Both facts follow from the lemma below.
Lemma. Consider a triangle some altitude of which has length at most 1. If the triangle has an altitude of length at least 2, say the X-altitude, then the internal angular span at X does not exceed 45∘; equality holds if and only if the X-altitude has length 2, and the triangle is isosceles right with apex at one of the other two vertices.
To prove the lemma, let the X-altitude have length hX≥2. Since the triangle has an altitude of length at most 1, say hY≤1, the internal angle at X is not the largest angle of the triangle, so it does not exceed a right angle. And since sinX=(hY/hX)⋅sinY≤hY/hX≤1/2, the internal angular span at X does not exceed 45∘.
If the internal angular span at X is 45∘, then 1/2=sinX=(hY/hX)⋅sinY≤hY/hX≤1/2, forcing hX=2, hY=1 and sinY=1, so the triangle is indeed isosceles right with apex at Y. 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) denote the distance from the point X to the line YZ, and notice that the four points may and will be labelled A, B, C, D, in circular order, so that dist(A,BC)≥dist(D,BC), dist(A,CD)≥dist(B,CD), dist(B,AD)≥dist(C,AD) and dist(D,AB)≥dist(C,AB).
a) It is clearly sufficient to show that one of the distances dist(A,BC), dist(A,CD), dist(B,AD), dist(D,AB) does not exceed 2. Suppose, if possible, this is not the case, notice that each of the triangles ABC, ACD, ABD has an altitude of length at most 1, and refer to the lemma to infer that the angular span of each of the angles BAC, CAD, ABD, ADB is less than 45∘, so the internal angular spans at the vertices of the triangle ABD add up to less than 180∘ — a contradiction.
b) Now each of the four distances dist(A,BC), dist(A,CD), dist(B,AD), dist(D,AB) is at least 2, and the lemma applies again to each of the triangles ABC, ACD, ABD, to deduce that the angular span of each of the angles BAC, CAD, ABD, ADB does not exceed 45∘. If one of the four distances above were greater than 2, then the angular span of the corresponding angle would be less than 45∘ and the internal angular spans at the vertices of the triangle ABD would again add up to less than 180∘. Consequently, the four distances under consideration are all equal to 2, the corresponding angular spans are all 45∘, 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.