lean_workbook_plus_1670

Proved

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

If $\frac{x}{y}+\frac{y}{x}=4$ and $xy=3$ , find the value of $xy(x+y)^2-2x^2y^2$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_1670 (x y : ℝ) (h₁ : x ≠ 0 ∧ y ≠ 0) (h₂ : x * y = 3) (h₃ : x / y + y / x = 4) : x * y * (x + y) ^ 2 - 2 * x ^ 2 * y ^ 2 = 36   :=  by sorry

Source

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

View graph