eq

Mathlib.NumberTheory.PythagoreanTriples

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

English

If x, y, z form a Pythagorean triple, then x^2 + y^2 = z^2.

Русский

Если x, y, z образуют Пифагорову тройку, то x^2 + y^2 = z^2.

LaTeX

$$$x^2 + y^2 = z^2$$$

Lean4

theorem eq (h : PythagoreanTriple x y z) : x * x + y * y = z * z :=
  h

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

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

Разделы

Аффилиация

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