Skip to content

Erdős problem 674

Are there any integer solutions to xxyy=zzx^xy^y=z^z with x,y,z>1x,y,z>1?

Sources

Browse retained paths and inspect the exact material available for this Problem.

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

674.lean

Retained formal statement1 of 2

Are there any integer solutions to xxyy=zzx^xy^y=z^z with x,y,z>1x,y,z>1?

Ko [Ko40] proved there are none if (x,y)=1(x,y)=1, but there are in fact infinitely many solutions in general - for example, x=21236x=2^{12}3^6, y=2838y = 2^83^8, and z=21137z = 2^{11}3^7.

FormalConjectures/ErdosProblems/674.leanErdos674.erdos_6741 lineExact file
TrueErdos674.solutionSet.Nonempty
SolvedProof has a holelean4external proof

The proof uses `sorry`: part of the argument is written but not proved. Lean accepts the file; it does not accept the theorem.

Search problems.science

Find a Problem, Result, source, or page