A proof of Atiyah’s conjecture on configurations of four points in Euclidean three-space

From any conguration of nitely many points in Euclidean three-space, Atiyah constructed a determinant and conjectured that it was always non-zero. In this article we prove the conjecture for the case of four points.