Erdős problem 107 · problems.science

Let $f(n)$ be minimal such that any $f(n)$ points in $ℝ^2$ , no three on a line, contain $n$ points which form the vertices of a convex $n$ -gon. Prove that $f(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 statement1 of 7

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

FormalConjectures/ErdosProblems/107.leanErdos107.erdos_1071 lineExact file

1sorry ↔ ∀ n ≥ 3, Erdos107.f n = 2 ^ (n - 2) + 1

OpenStatement only, no proof

Sources

Search problems.science