lean_workbook_plus_20628

Proved

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

$\sqrt{36x^4-40x^2+4}=2\sqrt{(1-x)(1+x)(1-3x)(1+3x)}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_20628 (x : ℝ) : Real.sqrt (36 * x ^ 4 - 40 * x ^ 2 + 4) = 2 * Real.sqrt ((1 - x) * (1 + x) * (1 - 3 * x) * (1 + 3 * x))   :=  by sorry

Source

https://huggingface.co/datasets/internlm/Lean-Workbook

View graph