Prove2Me

lean_workbook_plus_75393

Disproved

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

Equation in cart coord: (x2+y2)(x2+y2−2x)2=(x2−y2)2 (x^{2}+y^{2})(x^{2}+y^{2}-2x)^{2}=(x^{2}-y^{2})^{2} .

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_75393 :  ∀ x y : ℝ, (x^2 + y^2) * (x^2 + y^2 - 2 * x)^2 = (x^2 - y^2)^2   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph