The area of the intersection of convex sets with prescribed pairwise intersections

Question

Consider two numbers $a>b>0$. Let $A_1,A_2,A_3$ be three convex sets in ${\mathbb R}^2$ such that $\mu(A_i)=a$, $\mu(A_i\cap A_j)=b$ ($\mu$ is the usual measure on ${\mathbb R}^2$). What is the minimal possible value of $\mu(A_1\cap A_2\cap A_3)$?

Surely, if we omit the convexity assumption, the answer is trivial. But it is not necessary realizable by convex sets. Consider, for instance, the case $a=2b$: the answer is nonzero!

It seems that the optimal construction is the following one. Take a triangle $ABC$, and cut three trapezoids $A_BA_CBC$, $B_AB_CCA$, $C_AC_BBA$ (here $A_BA_C\parallel BC$, $B_A,C_A\in BC$, similar relations for the others). E.g., for $a=2b$ the altitude of the trapezoid is $2/5$ of the altitude of triangle; hence the answer in this case seems to be $1/16$.

The generalizations are also interesting. E.g., what happens if we fix the areas but omit the relation that they are equal?

Answer 1

Let $b=ra.$ Then your construction gives $$\mu(A_1\cap A_2\cap A_3)=0,\frac{(5r-2)^2}{8r}a \text{ or }(2r-1)a$$according as $r\le\frac25,\frac25\le r \le \frac23$ or $\frac23 \le r.$

Thanks to the nice illustration I can say that as $r$ decreases from $r=\frac12$ to $r=\frac25,$ the small triangle shrinks to a point and beyond that there is an empty triangle in the middle. But as it increases the triangle of overlap grows and touches the sides at $r=\frac23$ and beyond that becomes a hexagon of overlap.

Answer 2

Here is Ilya's construction: