[Combinatorics]
Problem: Let $n$ be a positive integer and fix $2 n$ distinct points on a circumference. Split these points into $n$ pairs and join the points in each pair by an arrow (i.e., an oriented line segment). The resulting configuration is good if no two arrows cross, and there are no arrows $\overrightarrow{A B}$ and $\overrightarrow{C D}$ such that $A B C D$ is a convex quadrangle oriented clockwise. Determine the number of good configurations.

Solution: The required number is $\left(\begin{array}{c}2 n \\ n\end{array}\right)$. To prove this, trace the circumference counterclockwise to label the points $a_{1}, a_{2}, \ldots, a_{2 n}$.

Let $\mathcal{C}$ be any good configuration and let $O(\mathcal{C})$ be the set of all points from which arrows emerge. We claim that every $n$-element subset $S$ of $\left\{a_{1}, \ldots, a_{2 n}\right\}$ is an $O$-image of a unique good configuration; clearly, this provides the answer.

To prove the claim induct on $n$. The base case $n=1$ is clear. For the induction step, consider any $n$-element subset $S$ of $\left\{a_{1}, \ldots, a_{2 n}\right\}$, and assume that $S=O(\mathcal{C})$ for some good configuration $\mathcal{C}$. Take any index $k$ such that $a_{k} \in S$ and $a_{k+1} \notin S$ (assume throughout that indices are cyclic modulo $2 n$, i.e., $a_{2 n+1}=a_{1}$ etc.).

If the arrow from $a_{k}$ points to some $a_{\ell}, k+1<\ell(<2 n+k)$, then the arrow pointing to $a_{k+1}$ emerges from some $a_{m}, m$ in the range $k+2$ through $\ell-1$, since these two arrows do not cross. Then the arrows $a_{k} \rightarrow a_{\ell}$ and $a_{m} \rightarrow a_{k+1}$ form a prohibited quadrangle. Hence, $\mathcal{C}$ contains an arrow $a_{k} \rightarrow a_{k+1}$.

On the other hand, if any configuration $\mathcal{C}$ contains the arrow $a_{k} \rightarrow a_{k+1}$, then this arrow cannot cross other arrows, neither can it occur in prohibited quadrangles.

Thus, removing the points $a_{k}, a_{k+1}$ from $\left\{a_{1}, \ldots, a_{2 n}\right\}$ and the point $a_{k}$ from $S$, we may apply the induction hypothesis to find a unique good configuration $\mathcal{C}^{\prime}$ on $2 n-2$ points compatible with the new set of sources (i.e., points from which arrows emerge). Adjunction of the arrow $a_{k} \rightarrow a_{k+1}$ to $\mathcal{C}^{\prime}$ yields a unique good configuration on $2 n$ points, as required.
Use the counterclockwise labelling $a_{1}, a_{2}, \ldots, a_{2 n}$ in the solution above.

Letting $D_{n}$ be the number of good configurations on $2 n$ points, we establish a recurrence relation for the $D_{n}$. To this end, let $C_{n}=\frac{(2 n) !}{n !(n+1) !}$ the $n$th Catalan number; it is well-known that $C_{n}$ is the number of ways to connect $2 n$ given points on the circumference by $n$ pairwise disjoint chords.

Since no two arrows cross, in any good configuration the vertex $a_{1}$ is connected to some $a_{2 k}$. Fix $k$ in the range 1 through $n$ and count the number of good configurations containing the arrow $a_{1} \rightarrow a_{2 k}$. Let $\mathcal{C}$ be any such configuration.

In $\mathcal{C}$, the vertices $a_{2}, \ldots, a_{2 k-1}$ are paired off with one other, each arrow pointing from the smaller to the larger index, for otherwise it would form a prohibited quadrangle with $a_{1} \rightarrow a_{2 k}$. Consequently, there are $C_{k-1}$ ways of drawing such arrows between $a_{2}, \ldots, a_{2 k-1}$.

On the other hand, the arrows between $a_{2 k+1}, \ldots, a_{2 n}$ also form a good configuration, which can be chosen in $D_{n-k}$ ways. Finally, it is easily seen that any configuration of the first kind and any configuration of the second kind combine together to yield an overall good configuration.

Thus the number of good configurations containing the arrow $a_{1} \rightarrow a_{2 k}$ is $C_{k-1} D_{n-k}$. Clearly, this is also the number of good configurations containing the arrow $a_{2(n-k+1)} \rightarrow a_{1}$, so

$$
D_{n}=2 \sum_{k=1}^{n} C_{k-1} D_{n-k} \tag{*}
$$

To find an explicit formula for $D_{n}$, let $d(x)=\sum_{n=0}^{\infty} D_{n} x^{n}$ and let $c(x)=\sum_{n=0}^{\infty} C_{n} x^{n}=$ $\frac{1-\sqrt{1-4 x}}{2 x}$ be the generating functions of the $D_{n}$ and the $C_{n}$, respectively. Since $D_{0}=1$, relation $(*)$



yields $d(x)=2 x c(x) d(x)+1$, so

$$
\begin{aligned}
d(x)=\frac{1}{1-2 x c(x)}=(1-4 x)^{-1 / 2} & =\sum_{n \geq 0}\left(-\frac{1}{2}\right)\left(-\frac{3}{2}\right) \ldots\left(-\frac{2 n-1}{2}\right) \frac{(-4 x)^{n}}{n !} \\
& =\sum_{n \geq 0} \frac{2^{n}(2 n-1) ! !}{n !} x^{n}=\sum_{n \geq 0}\left(\begin{array}{c}
2 n \\
n
\end{array}\right) x^{n} .
\end{aligned}
$$

Consequently, $D_{n}=\left(\begin{array}{c}2 n \\ n\end{array}\right)$.

### solution_2
Let $C_{n}=\frac{1}{n+1}\left(\begin{array}{c}2 n \\ n\end{array}\right)$ denote the $n$th Catalan number and recall that there are exactly $C_{n}$ ways to join $2 n$ distinct points on a circumference by $n$ pairwise disjoint chords. Such a configuration of chords will be referred to as a Catalan n-configuration. An orientation of the chords in a Catalan configuration $\mathcal{C}$ making it into a good configuration (in the sense defined in the statement of the problem) will be referred to as a good orientation for $\mathcal{C}$.

We show by induction on $n$ that there are exactly $n+1$ good orientations for any Catalan $n$-configuration, so there are exactly $(n+1) C_{n}=\left(\begin{array}{c}2 n \\ n\end{array}\right)$ good configurations on $2 n$ points. The base case $n=1$ is clear.

For the induction step, let $n>1$, let $\mathcal{C}$ be a Catalan $n$-configuration, and let $a b$ be a chord of minimal length in $\mathcal{C}$. By minimality, the endpoints of the other chords in $\mathcal{C}$ all lie on the major arc $a b$ of the circumference.

Label the $2 n$ endpoints $1,2, \ldots, 2 n$ counterclockwise so that $\{a, b\}=\{1,2\}$, and notice that the good orientations for $\mathcal{C}$ fall into two disjoint classes: Those containing the arrow $1 \rightarrow 2$, and those containing the opposite arrow.

Since the arrow $1 \rightarrow 2$ cannot be involved in a prohibited quadrangle, the induction hypothesis applies to the Catalan $(n-1)$-configuration formed by the other chords to show that the first class contains exactly $n$ good orientations.

Finally, the second class consists of a single orientation, namely, $2 \rightarrow 1$, every other arrow emerging from the smaller endpoint of the respective chord; a routine verification shows that this is indeed a good orientation. This completes the induction step and ends the proof.

### solution_3
We intend to count the number of good orientations of a Catalan $n$-configuration.

For each such configuration, we consider its dual graph $T$ whose vertices are finite regions bounded by chords and the circle, and an edge connects two regions sharing a boundary segment. This graph $T$ is a plane tree with $n$ edges and $n+1$ vertices.

There is a canonical bijection between orientations of chords and orientations of edges of $T$ in such a way that each chord crosses an edge of $T$ from the right to the left of the arrow on that edge. A good orientation of chords corresponds to an orientation of the tree containing no two edges oriented towards each other. Such an orientation is defined uniquely by its source vertex, i.e., the unique vertex having no in-arrows.

Therefore, for each tree $T$ on $n+1$ vertices, there are exactly $n+1$ ways to orient it so that the source vertex is unique - one for each choice of the source. Thus, the answer is obtained in the same way as above.

Final answer: $\binom{2n}{n}$