This problem was so-called by the mathematician Paul Erdos because two of his friends who worked on it, George Szekers and Esther Klein, fell in love and got married!
It involves investigating how many non-colinear points are needed so that convex polygons of different sizes can be drawn. A convex polygon of size 3 can be drawn from any 3 non-colinear points:
We will always get a triangle, which could be said to be a convex polygon. We can say maths equation.
However, what happens if we want a higher order polygon? What about maths equation?
If we have 4 points, we do not always get a convex polygon:
We therefore know that maths does not equal 4. Below are some questions to try:
Question 1: Show that maths equation and investigate to find maths and maths.
Question 2: Find a formula that will satisfy maths to maths.
Erdos and Szekeres were unable to find the general result for maths. They proved that you needed at least the answer for maths to maths, and that there will always be a convex maths-sided polygon if there are enough points, i.e., the answer is finite, but they could not prove how much is enough.
This problem illustrates a phenomenon studied in an area of maths called Ramsey Theory which states that, if a system is large enough, i.e., has enough points, then it will contain some ‘order’ such as convex figures, even if the system as a whole is disordered.
Acknowledgements: +plus magazine,Wikipedia.