MHB Can 101 Discs of Radius 1/2 Cover a Rectangle That 25 Discs of Radius 1 Can?

  • Thread starter Thread starter caffeinemachine
  • Start date Start date
  • Tags Tags
    Radius Rectangle
AI Thread Summary
The discussion centers on whether a rectangle that can be covered by 25 discs of radius 1 can also be covered by 101 discs of radius 1/2. It is argued that a rectangle with one side measuring 1.01 units may not be coverable by the smaller discs, raising doubts about the original question's validity. However, a solution is presented, demonstrating that any rectangle can be divided into four smaller rectangles, each of which can be covered by 25 discs of radius 1/2. Consequently, the original rectangle can be covered by 100 discs of radius 1/2, with the 101st disc being unnecessary. The discussion concludes that the original assertion holds true despite initial skepticism.
caffeinemachine
Gold Member
MHB
Messages
799
Reaction score
15
Hello MHB.
I am having trouble with the following quesion.

Let $R=\{(x,y)\in\mathbb R^2:A\leq x\leq B, C\leq y\leq D\}$ be a rectangle in $\mathbb R^2$ which can be covered (overlapping allowed) with $25$ discs of radius $1$ each.
Then $R$ can be covered with $101$ rectangles of radius $1/2$ each.

I think the question is wrong. I think that a rectangle having one side $1.01$ units and the other side just long enough so that $25$ discs of radius $1$ units can cover it will not be coverable by 101 discs of radius $1/2$.
I don't know how to prove this.

Can anybody help?
 
Physics news on Phys.org
caffeinemachine said:
Hello MHB.
I am having trouble with the following quesion.

Let $R=\{(x,y)\in\mathbb R^2:A\leq x\leq B, C\leq y\leq D\}$ be a rectangle in $\mathbb R^2$ which can be covered (overlapping allowed) with $25$ discs of radius $1$ each.
Then $R$ can be covered with $101$ rectangles of radius $1/2$ each.

I think the question is wrong. I think that a rectangle having one side $1.01$ units and the other side just long enough so that $25$ discs of radius $1$ units can cover it will not be coverable by 101 discs of radius $1/2$.
I don't know how to prove this.

Can anybody help?

I discussed this with one of my friends and he solved it.

We note that any $a\times b$ rectangle is a union of 4 rectangles of dimension $(a/2)\times (b/2)$.

$R$ is a $A\times B$ rectabgle.
Say $R'$ denotes a copy of $(A/2)\times (B/2)$ rectangle.
Since $R$ can be covered by $25$ discs of unit radius, $R'$ can be covered by $25$ discs of radius $1/2$. Using $4$ different $R'$s we can cover $R$. Thus $R$ can be covered by a $100$ discs fo radius $1/2$. The $101$th disc is just for fun.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Back
Top