Skip to content

Erdős problem 352

Is there some c>0c > 0 such that every measurable A⊆R2A \subseteq \mathbb{R}^2 of measure ≥c\geq c contains the vertices of a triangle of area 1?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/352.lean

Formal Conjectures

FormalConjectures/ErdosProblems/352.leanErdos352.erdos_3527 linesExact file
True ↔  ∃ c > 0,    ∀ (A : Set (EuclideanSpace ℝ (Fin 2))),      MeasurableSet A →        ↑(MeasureTheory.volume A) ≥ ↑c →          ∃ t,            (∀ (p : Fin 3), t.points p ∈ A) ∧ EuclideanGeometry.triangle_area (t.points 0) (t.points 1) (t.points 2) = 1
OpenStatement only, no proof

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

  • AI collaborating with humans

    Erdős AI contributions wiki · 29 May, 2026

    Machine
    GPT-5.4 Pro, GPT-5.5 Pro
    People
    Aleksandar Bulj, Vjekoslav Kovač
    Open the source record

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page