Esta es una situación de transformación de Lorentz.
Tenemos dos marcos móviles: $S'_{\pm}$ , moviéndose a $\pm v_0$ . Y un marco ATC fijo, $S$ . Todos están en el mismo punto espacial en $t=t'_+=t'_-=0$ .
En $S$ , $t$ a medida que los aviones se desplazan por las líneas del mundo:
$$x_{\pm}(t) = (t,x_{\pm}) = (t, \pm v_0 t)$$
Transformemos $x_{\pm}(t)$ en $S'_{\pm}$ .
Primero la posición:
$$ x'_{\pm}=\gamma(x_{\pm}-(\pm v_0 t))$$ $$ x'_{\pm}=\gamma(\pm v_0 t -(\pm v_0 t))$$ $$ x'_{\pm} =0 $$
Es decir, los planos permanecen en el origen de su sistema de coordenadas en el que están en reposo. Bien.
Ahora la coordenada temporal:
$$ t'_{\pm} =\gamma_0\big(t -(\pm v_0)x_{\pm})\big)$$ $$ t'_{\pm} =\gamma_0\big(t -(\pm v_0)(\pm v_0 t)\big)$$ $$ t'_{\pm} =\gamma_0(t - v^2_0t))$$ $$ t'_{\pm} =t \times \gamma_0(1 - v^2_0))=t\gamma_0\gamma_0^{-2}$$ $$ t'_{\pm} =t/\gamma_0 $$
Así que los relojes de ambos aviones van más lentos que el reloj del ATC, al estar dilatados $\gamma_0 = 1/\sqrt{1-v_0^2}$ .
Ahora elegimos un plano y hacemos que mire al otro plano. La velocidad relativa de $S'_{\pm}$ en $S'_{\mp}$ es:
$$ v_1^{\pm} = \frac{\pm v + \pm v}{1+(\pm v)(\pm v)}$$ $$ v_1^{\pm} = \frac{\pm 2v_0}{1+v_0^2}$$
Ahora toma la coordenada del otro $\mp$ plano visto desde $S'_{\pm}$ a la vez $t'_{\pm}$ :
$$ x'_{\pm}(t'_{\pm}) = (t'_{\pm}, \mp v_1 t'_{\pm}) $$
y transformarlo en $S'_{\mp}$ .
Lo dejaré como ejercicio. La respuesta es:
$$ t'_{\mp} = t'_{\pm}/\gamma_1 $$
mostrando que cada avión ve que el reloj del otro va más lento.
Esta es realmente la primera paradoja de la dilatación del tiempo, y la resolución a la aparente contradicción (por supuesto no hay contradicción real), es que cuando $S'_{\pm}$ está estudiando $S'_{\mp}$ 's clock, it's not the same time that $S'_{\mp}$ está estudiando $S'_{\mp}$ del reloj. La relatividad de la simultaneidad importa.