MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
Did you mean $\mu(A_1\cap A_2)\cap A_3$ instead of $\mu(A_1\cap A)2\cap A_3$? – Joseph O'Rourke Apr 3 '12 at 15:34
@Ilya, Joseph: I hope I made it right(?) – Anton Petrunin Apr 3 '12 at 15:54
@Anton: That must be what he meant. Thanks. – Joseph O'Rourke Apr 3 '12 at 16:09
@Anton: Yes, thank you. – Ilya Bogdanov Apr 3 '12 at 16:58

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.

share|cite|improve this answer

Here is Ilya's construction:

share|cite|improve this answer
Just wondering how have you produced this nice picture, technically? – Seva Apr 4 '12 at 4:51
@Seva: I drew this one in Adobe Illustrator. – Joseph O'Rourke Apr 4 '12 at 10:20

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.