Past exam of the mathematics course of the University of Cambridge / 2016 / ib / Paper 4 / 3G / c

Define $F_i(x)=a_i+\frac{1}{6}{\sum }_{j\ne i}\sin x_j$. Solving the system is equivalent to finding a fixed point of $F:{\mathbb{R}}^3\to {\mathbb{R}}^3$. The mean value theorem implies $|\sin u-\sin v|\le |u-v|$. In the specified metric,Each coordinate difference occurs exactly twice. This metric makes ${\mathbb{R}}^3$ a nonempty complete metric space, because a Cauchy sequence in it is Cauchy in each real coordinate, and coordinate convergence implies convergence in the sum metric. Thus $F$ is a contraction mapping with constant $1/3$.

There is exactly one solution for every choice of $(a_1,a_2,a_3)$, by the contraction mapping theorem. Iteration of $F$ from any starting vector also constructs it.