Three people cracked this one about the same time, Andaleeb Ahmed, Woodhouse
Sixth Form College, London, Sue Liu, Madras College, St Andrews and Alexander
Maryanovsky, Shevah-Mofet School, Tel Aviv.
Here is Alexander's solution.
Let's prove that it's possible for any triangle to construct circles with
centres at the vertices so that the circles just touch. Let a, b and c
be the sides and r1, r2, r3 the radii of the circles.
The only constraints on the radii are: r1 > 0, r2 > 0, r3 > 0.
The solution for this system is:
and since the sum of the lengths of any 2 sides in a triangle is bigger than
the 3rd side, there are solutions for any positive a, b and c.
Now consider a convex polygon with n sides: a1, a2, a3,...an.
Suppose circles can be drawn with centres at the vertices of the polygon such
that the circles just touch each other. Let r1, r2, r3,...
be the
radii. Then:
Let's try to figure out what r1 equals, and all the other solutions
will of course be symmetrical.
|
| |
|
|
an - rn = an - an-1 + rn-1 |
| |
|
|
an - an-1 + an-2 - rn-2 = ... |
| |
|
| an - an-1 + an-2 - ...+(-1)n-1a1 + (-1)nr1. |
|
|
If n is even then r1 = an - an-1 + an-2 - ... - a1 + r1
which means that the condition for the existence of solutions is:
|
an - an-1 + an-2 - ... - a1 = 0. |
|
It also means that if this
condition holds there are an infinite number of solutions and if it does not
hold there are no solutions.
If n is odd then what we get is
|
r1 = |
1 2
|
(an - an-1 + an-2 - ... + a1) |
|
and r1 is positive when (an - an-1 + an-2 - ... + a1) > 0.
For polygons with an odd number of sides solutions always exist but 'negative'
values of ri occur when, instead of touching externally, one circle
surrounds its 'neighbour' which touches it internally so the length of the
edge is given by the difference of the radii and not the sum of the radii.