Maths Olympiad Prep

Library / /108 of 264

Combinatorics Difficulty 5.6 AIME, harder Prove it Romania

Prove that three discs of radius 11 cannot cover entirely a square surface of side 22, but they can cover more than 99.75%99.75\% of it.

Solution

Denote ABCDABCD the square and S1S_1, S2S_2, S3S_3 the discs.

Suppose that S1S_1, S2S_2 and S3S_3 cover the whole square. Since there are three discs and the square has four vertices, one of the discs must cover two vertices of the square, say S1S_1 covers AA, BB. Then [AB][AB] is a diameter for S1S_1, so S1S_1 cannot cover any point from (BC][CD][DA)(BC] \cup [CD] \cup [DA). So, CC must be covered by one of the other discs, say S2S_2. Then S2S_2 cannot cover any point from (AD)(AD), therefore (AD)S3(AD) \subset S_3. In this case [AD][AD] is a diameter of S3S_3, so S3S_3 cannot cover any point from (BC)(BC), therefore S2S_2 must cover (BC)(BC). This shows that [BC][BC] must be a diameter of S2S_2. But, in this case, no point from (CD)(CD) is covered – contradiction.

Figure 1

We take as S1S_1, S2S_2, S3S_3 the discs of diameters [AM][AM], [PT][PT], [RS][RS]. Denote XX the point on [AC][AC] for which XTBCXT \perp BC (and XUCDXU \perp CD). Then S1S_1 covers the square surface APMRAPMR, S2S_2 covers the pentagonal surface BPMXTBPMXT and S3S_3 covers the pentagonal surface DRMXUDRMXU, so the points not covered by the three discs are inside the square CUXTCUXT.

It is enough to prove that
area[CUXT]<0.25%area[ABCD], \text{area}[CUXT] < 0.25\% \cdot \text{area}[ABCD],
which is equivalent to CT<BC/20=0.1CT < BC/20 = 0.1, or BT>1.9BT > 1.9. Simple considerations yield AP=2AP = \sqrt{2}, BP=22BP = 2 - \sqrt{2}, BT2=4(22)2=422BT^2 = 4 - (2 - \sqrt{2})^2 = 4\sqrt{2} - 2. We are left to prove BT>1.9BT > 1.9, that is 422>1.924\sqrt{2} - 2 > 1.9^2, or 2>1.4025\sqrt{2} > 1.4025, which is true.

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.