Skip to content

Erdős problem 107

Let f(n)f(n) be minimal such that any f(n)f(n) points in R2ℝ^2, no three on a line, contain nn points which form the vertices of a convex nn-gon. Prove that f(n)=2n2+1f(n) = 2^{n-2} + 1.

Sources

Browse retained paths and inspect the exact material available for this Problem.

7 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

107.lean

Retained formal statement3 of 7

Depending on details of definitions, the statement is false or trivial for n<3n < 3.

FormalConjectures/ErdosProblems/107.leanErdos107.f_zero_eq1 lineExact file
Erdos107.f 0 = 0
TestStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page