Пусть
; центры сфер:
; радиусы:
. Уравнения плоскостей:
Если какие знаки и перепутал -- не суть; а суть в том, что сложение всех уравнений даёт тождество. Это значит, что ранг расширенной матрицы системы не выше трёх.
Дальше всё зависит от того, лежат ли все четыре центра сфер в одной плоскости. Если лежат, то все плоскости перпендикулярны той, в которой расположены центры и, значит, параллельны нормали к ней. Если не лежат, то нормали к плоскостям некомпланарны и, следовательно, матрица, образованная ими, имеет ранг три. В этом случае ранг основной матрицы системы совпадает с рангом расширенной матрицы, т.е. система разрешима.