Prove2Me

lean_workbook_plus_59343

Proved

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

If f is a function such that f(x)+1x[f(−1x)]=3f(x)+\frac{1}{x}\left[f\left(-\frac{1}{x}\right)\right]=3, what is the value of f(2)f(2)? Express your answer as a common fraction.

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_59343 (f : ℝ → ℝ) (hf : ∀ x ≠ 0, f x + (1/x) * f (-1/x) = 3) : f 2 = 3/4   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph