lean_workbook_plus_8036

Disproved

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

Prove the following equation: $\frac{x^2-2x+2}{3x^2-10x+6}+\frac{3x}{x^2+2}=1$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_8036 : ∀ x : ℝ, (x^2 - 2 * x + 2) / (3 * x^2 - 10 * x + 6) + 3 * x / (x^2 + 2) = 1   :=  by sorry

Source