lean_workbook_plus_66236

Proved

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

Solve for a,b,c,d in the system of equations: $a+b+c+d=1$ , $8a+4b+2c+d=17$ , $27a+9b+3c+d=66$ , $64a+16b+4c+d=166$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_66236 (a b c d : ℝ) : a+b+c+d=1 ∧ 8*a+4*b+2*c+d=17 ∧ 27*a+9*b+3*c+d=66 ∧ 64*a+16*b+4*c+d=166 ↔ a=3 ∧ b=-1.5 ∧ c=-0.5 ∧ d=0   :=  by sorry

Source

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

View graph