lean_workbook_plus_65617

Disproved

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

Find the hypotenuse of a right triangle whose legs are $20806$ and $408$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_65617 (a b c : ℝ) (h₁ : a = 20806) (h₂ : b = 408) (h₃ : c^2 = a^2 + b^2) : c = 20874   :=  by sorry

Source