Wikipedia · research open · AMS 11

unsolvedsorry — nobody on it

Lander, Parkin, and Selfridge Conjecture

Conjecture · lander_parkin_selfridge

The Lander–Parkin–Selfridge conjecture: if the sum of nn positive integer kk-th powers equals the sum of mm positive integer kk-th powers, with all values on the left distinct from all values on the right, then n+m≥kn + m \geq k.

Formally, for positive integers k,n,m∈Nk, n, m \in \mathbb{N} and sequences x:{0,…,n−1}→Nx : \{0, \ldots, n-1\} \to \mathbb{N} and y:{0,…,m−1}→Ny : \{0, \ldots, m-1\} \to \mathbb{N} with xi>0x_i > 0, yj>0y_j > 0, and xi≠yjx_i \neq y_j for all i,ji, j, if ∑i=0n−1xik=∑j=0m−1yjk,\sum_{i=0}^{n-1} x_i^k = \sum_{j=0}^{m-1} y_j^k, then k≤n+mk \leq n + m.

Formal statement · Lean 4.lean
theorem lander_parkin_selfridge :
    ∀ (k n m : ℕ) (x : Fin n → ℕ) (y : Fin m → ℕ),
      0 < n → 0 < m →
      (∀ i, 0 < x i) → (∀ j, 0 < y j) →
      (∀ i j, x i ≠ y j) →
      ∑ i, x i ^ k = ∑ j, y j ^ k →
      k ≤ n + m := by
  sorry

Proof. sorry

Nobody has tried yet.

Reference ↗ · Lean source ↗