19
$\begingroup$

In the diagram, circles of the same color are congruent.

Sequence of nested figure eights

I have a nonintuitive proof that the radii converge. Is there an intuitive explanation?

$\endgroup$
4
  • $\begingroup$ Why is the proof non-intuitive? If you mean all the big formulas, they can be avoided in a proof, i.e. one does not need an explicit expression relating the radii to complete the proof $\endgroup$ Commented yesterday
  • $\begingroup$ @SaúlRM Yes, I mean all the big formulas. How can it be proved without an expression relating the radii? $\endgroup$ Commented yesterday
  • $\begingroup$ @SaúlRM I think that's a sound approach. If you choose to write it up properly, I think it'd be better to write it in terms of radius as a function $\beta$ of the angle. The radius of the $n$-th pair of circles is then a product of values of $\beta$ at angle differences, and if you know $\beta$ is differentiable, you can relate this product to the sum of angles, which as you say is bounded. $\endgroup$ Commented yesterday
  • $\begingroup$ I added an answer, I will delete my previous comments to save comment space $\endgroup$ Commented yesterday

4 Answers 4

5
$\begingroup$

As noted in the comment, apparently I misunderstood the question. I did not notice the ellipsis in the picture in the OP and therefore thought that the process begins from the red circles and goes right-to-left.

So, I will retain the right-to-left-interpretation solution but will now add -- based on the same idea -- a simple and complete left-to-right-interpretation proof.


First here is the original, right-to-left solution, given while apparently misunderstanding the question:

The radii will be decreasing (and hence converging) iff the angle between the line through the centers of the red circles with the negative horizontal axis will be $<\pi/3$.

So, it is enough to show the angle between the line through the centers of the green circles with the negative horizontal axis is less than the angle between the line through the centers of the red circles with the negative horizontal axis.

But clearly $a<\pi/3<b$ in the picture below, so that $a<b$. $\quad\Box$

enter image description here


Now, with the ellipsis noticed, it is easy to adapt the idea used above, to the opposite, left-to-right direction, to a get a simple complete proof of the apparently desired result. Indeed, now let $a_n:=a<\pi/3<b=:b_n$, and also let $r_n$ and $r_{n+1}$ denote the respective radii of the green and red circles. Then the angle between the line through the centers of the green circles and the line through the centers of the red circles is $b_n-a_n$, so that $\sum_n(b_n-a_n)<\infty$ and hence $a_n,b_n\to\pi/3$. On the other hand, considering the two isosceles triangles in the picture above and using the first-order Taylor expansion of $\cos$ at $\pi/3$, we see that $$\frac{r_{n+1}}{r_n}=\frac{\cos a_n}{\cos b_n} =\exp\big((\sqrt3+o(1))\,(b_n-a_n)\big).$$ It remains to recall that $\sum_n(b_n-a_n)<\infty$. $\quad\Box$

$\endgroup$
5
  • 2
    $\begingroup$ I'm very confused by this answer. The radii will be quite clearly increasing with every step, the question is whether they remain bounded or not. $\endgroup$ Commented yesterday
  • 1
    $\begingroup$ @Wojowu : I guess I misunderstood the question. I thought the process begins from the red circles. $\endgroup$ Commented yesterday
  • $\begingroup$ @Wojowu : This misunderstanding is now completely fixed. $\endgroup$ Commented yesterday
  • $\begingroup$ Very elegant! Thank you. $\endgroup$ Commented 16 hours ago
  • $\begingroup$ @Dan : Thank you for your appreciation. $\endgroup$ Commented 15 hours ago
6
$\begingroup$

The intuitive explanation is that the sequence approaches the hexagonal close packing, two staggered rows of identical circles:

Because the sequence of radii is monotonically increasing and bounded by this "perfect fit" geometry, it must converge to a finite limit.

$\endgroup$
4
  • 3
    $\begingroup$ But why can't the circles grow without bound as they approach hexagonal close packing? $\endgroup$ Commented yesterday
  • 1
    $\begingroup$ If you try deforming the perfect packing by moving one circle and adjusting the size of all the other ones, then this forces all the ones on one of the sides to become larger. It is not clear at all that they will eventually approach a larger perfect tiling, rather than say growing logarithmically or so. $\endgroup$ Commented yesterday
  • $\begingroup$ @Wojowu I believe that possibility is made impossible by my comments to the question (which perhaps I should have written as an answer but I did not have much time now) $\endgroup$ Commented yesterday
  • 2
    $\begingroup$ One can try to compare it with some other sort of iteration, say $(a,b)\to(a+\frac{(a-b)}{b},b+\frac{(a-b)}{b})$. Naively you may think that this iteration "approaches" a constant sequence $(a,a)$, and indeed upon iteration we will have $a/b\to 1$, but nevertheless this sequence will diverge for $a\neq b$. So there must be something more going on in OP's problem to make such "convergence in shape, divergence in size" not occur here. $\endgroup$ Commented yesterday
5
$\begingroup$

Here is a proof that the radii converge without using any big formulas.

Let $r>0$, and consider the following setup in $\mathbb{R}^2$, where the two smaller circles have radius $r$:

The angles $\alpha(r),\beta(r)$ are decreasing with $r$, in particular $\alpha'(r),\beta'(r)<0$ for all $r\in(0,\infty)$. Let $\gamma(r)=\alpha(r)+\beta(r)-\pi/2$.

Now, in your figure, let $A_n,B_n$ be the centers of the $n^{\text{th}}$ circle, $r_n$ the $n^{\text{th}}$ radius and $\alpha_n$ the angle between the the $x$-axis and the ray $B_nA_n$ (so in the picture $\alpha_0=\pi$ and the sequence $(\alpha_n)$ looks decreasing in the first few steps). Note the function $f:(0,\pi)\to(0,\pi)$ that gives $\alpha_{n+1}$ in terms of $\alpha_n$ has fixed point $f(2\pi/3)=2\pi/3$ (see Carlo Beenaker's answer), and $f(\pi)<\pi$. Moreover, $f$ is increasing in $[2\pi/3,\pi]$; this is equivalent to saying that the angle $\theta(r)$ from the picture is increasing whenever it is defined, which is true because when $r$ increases, the point $F$ moves clockwise.

Thus, $\alpha_n$ is decreasing and converges when $n\to\infty$, and $r_{n+1}/r_n\to1$. But on the other hand, we have that $\alpha_{n+1}=\alpha_n+\gamma(r_{n+1}/r_n)$. As $\gamma'(1)<0$, there is $\varepsilon>0$ such that, for big enough $n$, we have $|\alpha_{n+1}-\alpha_n|>\varepsilon\left|1-\frac{r_{n+1}}{r_n}\right|$.

Thus, as $\sum_{n}|\alpha_{n+1}-\alpha_n|<\infty$, we also have $\sum_n\left|1-\frac{r_{n+1}}{r_n}\right|<\infty$, which implies $\prod_n\frac{r_{n+1}}{r_n}<\infty$, that is, the radii converge.

$\endgroup$
0
4
$\begingroup$

This proof is closely related to Saul RM's one, but I think it's a bit simpler to see what's going on.

For $0\leq \alpha<\pi/2$, let $f(\alpha)$ be the ratio of radii of circles when they are placed in the following configuration:

enter image description here

One can compute $f(\alpha)$ explicitly in terms of trigonometric functions, but all we need to know is that it is differentiable at $0$, which hopefully is believable. This in particular implies that for $\alpha$ small and some constant $C$ (which we can take to be $2f'(\alpha)$) we have $$f(\alpha)\leq f(0)+C\alpha=1+C\alpha.$$

Considering now the diagram in the OP, let $r_n$ be the radius of the $n$-th pair of circles, and $\alpha_n$ to be the angle between the lines connecting the centers of the $n$-th and $n+1$-st pair. By the definition of $f$, this means $r_n=r_{n-1}\cdot f(\alpha_{n-1})$, and so we find $$r_n=r_1\cdot\prod_{i=1}^{n-1}f(\alpha_i)\leq r_1\cdot\prod_{i=1}^{n-1}(1+C\alpha_i).$$ By a well-known connection between convergence of sums and products (easily shown with help of the inequality $1+x\leq e^x$) this product converges as $n\to\infty$ iff the sum $\sum_{i=1}^\infty\alpha_i$ converges. But in our case, the sum $\sum_{i=1}^{n-1}\alpha_i$ represents the angle between the line connecting the centers of the $n$-th pair of circles with the horizontal line, and it's not hard to convince yourself that this angle tends to $\pi/3$, giving the desired convergence.

$\endgroup$
1
  • $\begingroup$ I see, that is what you meant by writing things in terms of the radii. I wrote the other way mostly because differentiability at $0$ was not obvious to me. In any case, the more pictures the better $\endgroup$ Commented yesterday

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.