Skip to content

Erdős problem 1003

Are there infinitely many solutions to ϕ(n)=ϕ(n+1)\phi(n) = \phi(n+1), where ϕ\phi is the Euler totient function?

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

1003.lean

Retained formal statement3 of 3

Erdős [Er85e] says that, presumably, for every k≥1k \geq 1 the equation ϕ(n)=ϕ(n+1)=⋯=ϕ(n+k)\phi(n) = \phi(n+1) = \cdots = \phi (n+k) has infinitely many solutions.

[Er85e] Erdős, P., _Some problems and results in number theory_. Number theory and combinatorics. Japan 1984 (Tokyo, Okayama and Kyoto, 1984) (1985), 65-87.

FormalConjectures/ErdosProblems/1003.leanErdos1003.erdos_1003.variants.Icc1 lineExact file
True ↔ ∀ k ≥ 1, {n | ∀ i ∈ Set.Icc 1 k, n.totient = (n + i).totient}.Infinite
OpenStatement only, no proof