lean_workbook_plus_55472
DisprovedShow that there does not exist rational numbers and such that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_55472 : ¬∃ (x y : ℚ), x^4 = 2*y^2 := by sorry
Source
Show that there does not exist rational numbers and such that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_55472 : ¬∃ (x y : ℚ), x^4 = 2*y^2 := by sorry