PythagoreanTriple

Mathlib.NumberTheory.PythagoreanTriples

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

← MathLib Explorer

English

Let x, y, z be integers. The condition x^2 + y^2 = z^2 defines a Pythagorean triple.

Русский

Пусть x, y, z — целые. Условие x^2 + y^2 = z^2 задаёт Пифагорову тройку.

LaTeX

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

Lean4

/-- Three integers `x`, `y`, and `z` form a Pythagorean triple if `x * x + y * y = z * z`. -/
def PythagoreanTriple (x y z : ℤ) : Prop :=
  x * x + y * y = z * z

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

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

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

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