Skip to content

Erdős problem 42

Start work

Erdős Problem 42: Let M ≥ 1 and N be sufficiently large in terms of M. Is it true that for every maximal Sidon set A ⊆ {1,…,N} there is another Sidon set B ⊆ {1,…,N} of size M such that (A - A) ∩ (B - B) = {0}?

Sources

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

42.lean

Retained formal statement5 of 5

For any maximal Sidon set, the difference set contains 0.

FormalConjectures/ErdosProblems/42.leanErdos42.maximal_sidon_contains_zero1 lineExact file
∀ (A : Set ℕ) (N : ℕ), 1 ≤ N → A.IsMaximalSidonSetIn N → 0 ∈ A - A
TextbookStatement only, no proof