Maths Olympiad Prep

Library / /511 of 520

Geometry Difficulty 8.2 Shortlist Prove it

Consider a 4-point configuration in the plane such that every 3 points can be covered by a strip of a unit width. Prove that:
1) the four points can be covered by a strip of length at most 2\sqrt2 and
2)if no strip of length less that 2\sqrt2 covers all the four points, then the points are vertices of a square of length 2\sqrt2

Solution

1. Claim (I): For the triangle formed by each triple of points, there exists a height of that triangle not greater than 1.

Proof:
Consider the smallest possible strip covering three points at a given angle. Clearly, this strip touches two vertices of the triangle, WLOG let them be AA and BB. Let AA touch edge eae_a of the strip and BB touch edge ebe_b of the strip. Now consider the foot of the altitude from BB to eae_a; let this be YY. We can WLOG assume CC is on the same side of ABAB as YY (otherwise we rotate the figure 180180^{\circ} and reassign A,B,A, B, and YY). We wish to minimize BYBY, so since BYABYA is a right triangle, and BABA remains fixed, it suffices to minimize BAY\angle BAY. Clearly, this occurs when ACYACY are collinear, since BAYBAC\angle BAY \not< \angle BAC; otherwise CC would lie outside the strip. It follows that BYBY is the height of ABCABC. Proceeding similarly with all possible pairs of points on the edges of the strips, and orientations of the third point, it follows that the least possible width of the strip is the least possible height of the triangle, which is not greater than 1 by the condition.

2. **Claim (II): The four points can be covered by a strip of width at most 2\sqrt{2}.

Proof:**
We wish to prove the quadrilateral formed by 4 points, which triple-wise have the least height of the triangle formed by them not greater than 1, fits into a strip of width 2\sqrt{2}. This is equivalent to the assertion that there exists a side for which the heights of the two triangles formed by them are both not greater than 2\sqrt{2}.

Proceeding similarly as with Claim (I), we find that the minimum possible width of the strip covering a triangle with the boundary going through two vertices on opposite sides occurs when one side is collinear with the boundary of the strip. It follows that the minimum possible width of the strip covering the entire quadrilateral occurs when the triangle formed by three points is completely covered, with one side collinear with one boundary and the remaining point on the opposite boundary; and with the fourth point not outside the strip. Thus the minimum possible width of the strip occurs when the maximum height of the two triangles formed by a given side and one of the two remaining points is minimized. We wish to prove that this does not exceed 2\sqrt{2}.

We proceed with a proof by contradiction. Suppose that for each side of the quadrilateral, there exists a point such that the height from that point to the side of the quadrilateral exceeds 2\sqrt{2}. Since there exists a height of each triangle not greater than 1, this implies that for each triangle that has a height exceeding 2\sqrt{2}, there exists one side of that triangle that is greater than 2\sqrt{2} times another side.

Extend pairs of opposite sides so that they intersect. WLOG label the intersections P,QP, Q and the vertices of the quadrilateral A,B,C,DA, B, C, D such that AA lies collinear to and between D,QD, Q; BB lies collinear to and between C,QC, Q; DD lies collinear to and between C,PC, P; AA also lies collinear to and between B,PB, P. Consider side DCDC. Since AA lies between BB and PP, the height from BB is clearly greater than the height from AA. Thus in triangle BDCBDC, one side is greater than 2\sqrt{2} times DCDC. Consider side BCBC. Since AA lies between DD and QQ, the height from DD is clearly greater than the height from AA. Thus in triangle BDCBDC, one side is greater than 2\sqrt{2} times BCBC. From these two conditions, we obtain that BD>2BCBD > \sqrt{2}BC and BD>2CDBD > \sqrt{2}CD. Consider side ABAB. Since DD lies between CC and PP, the height from CC is clearly greater than the height from DD. Thus in triangle ABCABC, one side is greater than 2\sqrt{2} times ABAB. Consider side ADAD. Since BB lies between CC and QQ, the height from CC is clearly greater than the height from BB. Thus in triangle ADCADC, one side is greater than 2\sqrt{2} times ADAD. From these two conditions, we have four distinct cases to consider:

- Case 1: AC>2AB,AC>2ADAC > \sqrt{2}AB, AC > \sqrt{2}AD. Using BD>2BC,ACBD>2ADBCBD > \sqrt{2}BC, AC \cdot BD > 2AD \cdot BC. Using BD>2CD,ACBD>2ABCDBD > \sqrt{2}CD, AC \cdot BD > 2AB \cdot CD. Summing both inequalities and dividing by two, ACBD>ADBC+ABCDAC \cdot BD > AD \cdot BC + AB \cdot CD, which contradicts Ptolemy's Inequality.

- Case 2: AC>2AB,CD>2ADAC > \sqrt{2}AB, CD > \sqrt{2}AD. We consider the following two sub-cases:
- Sub-case 1: CDBCCD \geq BC. Now using BD>2CDBD > \sqrt{2}CD and AC>2AB,ACBD>2ABCD>ABCD+ADBCAC > \sqrt{2}AB, AC \cdot BD > 2AB \cdot CD > AB \cdot CD + AD \cdot BC, using CD>BCCD > BC. This contradicts Ptolemy's inequality.
- Sub-case 2: BC>CDBC > CD. Now using BD>2BCBD > \sqrt{2}BC and AC>2AB,ACBD>2ABBCAC > \sqrt{2}AB, AC \cdot BD > 2AB \cdot BC. Since BC>CDBC > CD, it remains to prove AB>AD=22CDAB > AD = \frac{\sqrt{2}}{2}CD. But suppose the contrary; then AD+AB<222CD<2BCAD + AB < 2 \cdot \frac{\sqrt{2}}{2}CD < \sqrt{2}BC which contradicts the Triangle Inequality. It follows that ACBD>2ABBC>ABCD+BCADAC \cdot BD > 2AB \cdot BC > AB \cdot CD + BC \cdot AD. But again this contradicts Ptolemy's Inequality.

- Case 3: BC>2AB,AC>2ADBC > \sqrt{2}AB, AC > \sqrt{2}AD is similar to Case 2.

- Case 4: BC>2AB,CD>2ADBC > \sqrt{2}AB, CD > \sqrt{2}AD. Using BD>2BC,BD>2ABBD > \sqrt{2}BC, BD > 2AB. Using BD>2CD,BD>2ADBD > \sqrt{2}CD, BD > 2AD. Summing both inequalities and dividing by two, BD>AB+ADBD > AB + AD, a contradiction by Triangle Inequality.

Note that cases where ABCDABCD is a trapezoid/rectangle can be proved similarly (except some steps may be omitted since for two sides we have the added restriction that both heights must exceed 2\sqrt{2}).

Thus there exists a side that has both of the heights from the other two points not greater than 2\sqrt{2}. It follows that there exists a strip of length at most 2\sqrt{2} covering the entire quadrilateral. Q.E.D.

3. **Part II: If no strip of length less than 2\sqrt{2} covers all the four points, then the points are vertices of a square of length 2\sqrt{2}.

Proof:**
From the proof by contradiction, change all strict inequalities to non-strict inequalities. The only equality case clearly occurs when AB=BC=CD=DAAB = BC = CD = DA and AC=BD=2ABAC = BD = \sqrt{2}AB, and since Ptolemy's inequality is non-strict as well, this does not yield a contradiction. This yields a square with side length 2\sqrt{2}, and since that figure clearly works, if no strip of width less than 2\sqrt{2} covers all four points, the points are vertices of a square of side length 2\sqrt{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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.