摘要：In this video, we motivate and visualize a fundamental result for covering a rectangle by a set of non-uniform circles: For any λ ⥠1, the critical covering area A^*(λ) is the minimum value for which any set of disks with total area at least A^*(λ) can cover a rectangle of dimensions λÃ- 1. We show that there is a threshold value λâ,, = â^S(â^S7/2 - 1/4) â^ 1.035797â¦, such that for λ < λâ,, the critical covering area A^*(λ) is A^*(λ) = 3Ï(λ²/16 + 5/32 + 9/256λ²), and for λ ⥠λâ,,, the critical area is A^*(λ) = Ï(λ²+2)/4; these values are tight. For the special case λ=1, i.e., for covering a unit square, the critical covering area is 195Ï/256 â^ 2.39301â¦. We describe the structure of the proof, and show animations of some of the main components.
