lean_workbook_plus_66442

Disproved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Let $a,b$ be natural numbers. Prove that if $a^2+{(a+1)}^2=b^4+{(b+1)}^4$ , we get a contradiction!

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_66442 (a b : ℕ) (h : a^2 + (a + 1)^2 = b^4 + (b + 1)^4) : False   :=  by sorry

Source