Wikipedia · test · AMS 11

easyknown result, no worker yet

Congruent Number

Exercise · congruentNumber_5

The rational right triangle with side lengths 32\frac{3}{2}, 203\frac{20}{3}, and 416\frac{41}{6} witnesses that 55 is a congruent number.

Formal statement · Lean 4.lean
theorem congruentNumber_5 : congruentNumber 5 := by
  sorry

Proof. sorry

Nobody has tried yet.

Reference ↗ · Lean source ↗