## Arcs on a circle

Suppose that we have a finite set of arcs on a circle, with the property that every two of them intersect. Prove that there exists a diameter which intersects all arcs.

**Proof: **Take a fixed diameter and project all arcs on that diameter. Every two such projections must intersect, therefore using Helly’s theorem, the intersection of all such projections, is not empty. Since each of the projectioins is a line segment, their intersection is also a line segment. If the intersection contains the center of the circle, then the diameter perpendicular to solves our problem. If not, we use a continuity argument to reduce the problem to the preceeding case.

The argument is as follows: Imagine that we rotate such that still contains the center (i.e. it still remains a diameter). Then the projection will initially ‘move’ towards or outwards the center of the circle, depending on the direction of the rotation. We choose the direction such that the projection moves towards the center of the circle. The projection moves continuously on the rotated diameter . Now, when we have made a rotation of angle , the diameter will coincide with the initial diameter, with endpoints switched. But now, the two rays composing the diameter have interchanged, i.e. , so the projection has moved from a ray to another one. The continuity of the movement implies that at some moment, the projection must contain the center of the circle, and we are done.

**Another argument**: (See: Vasile Pop, Geometrie Combinatorica, a very good Romanian book with problems concerning Combinatorial Geometry) Denote the projection, and suppose that does not contain the center ; wlog suppose that . As we rotate the diameter with angle , denote for each with the new projection on the rotated diameter. Suppose that at each angle the center does not belong to any of the projections. By the continuity of the movement, we see that must belong to the same ray as we rotate the diameter . Then is on the same diameter as the initial , which would imply that . But this is a contradiction, since cannot be on the same radius as due to the continuity.