Opposite displacements include the coupling stiffness twice. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Out of phase stretches the coupling spring
The sign pattern is plus minus, so the coupling spring contributes twice in the checked ledger.
signs=+−
Wall stiffness plus twice the coupling stiffness sets the value
The numerator is 2 plus two times 1, and dividing by mass 2 gives frequency squared 2.