We consider four distinct points $A, B, C$ and $D$ in the canonical Euclidean space $\mathbb{R}^3$ such that $AB = BC = CD = DA = 1$, $AC = a > 0$ and $BD = b > 0$.
Show that if strictly positive reals $a$ and $b$ satisfy the relation $a^2 + b^2 \leqslant 4$, then there indeed exist four distinct points $A, B, C$ and $D$ in the canonical Euclidean space $\mathbb{R}^3$ satisfying $AB = BC = CD = DA = 1$, $AC = a$ and $BD = b$.