MathDB
Disks in the Euclidean plane

Source:

May 4, 2021
linear algebra

Problem Statement

Let {D1,D2,...,Dn} \{D_1, D_2, ..., D_n \} be a set of disks in the Euclidean plane. Let ai,j=S(DiDj) a_ {i, j} = S (D_i \cap D_j) be the area of DiDj D_i \cap D_j . Prove that i=1nj=1nai,jxixj0 \sum_ {i = 1} ^ n \sum_ {j = 1} ^ n a_ {i, j} x_ix_j \geq 0 for any real numbers x1,x2,...,xn x_1, x_2, ..., x_n .