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.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/107.lean

Formal Conjectures

FormalConjectures/ErdosProblems/107.leanErdos107.erdos_1071 lineExact file
sorry ↔ ∀ n ≥ 3, Erdos107.f n = 2 ^ (n - 2) + 1
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page