zero

Mathlib.NumberTheory.PythagoreanTriples

URI: https://scilib.ai/kg/mathlib#PythagoreanTriple.zero

English

The triple (0,0,0) is a Pythagorean triple.

Русский

Тройка (0,0,0) является Пифагоровой тройкой.

LaTeX

$$$0^2 + 0^2 = 0^2$$$

Lean4

/-- The zeroth Pythagorean triple is all zeros. -/
theorem zero : PythagoreanTriple 0 0 0 := by simp only [PythagoreanTriple, zero_mul, zero_add]

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru