Опр.(гипотенуза*)

Материал из OSTIS Geometry
Перейти к: навигация, поиск
Опр.(гипотенуза*)
≗•
[ Отрезок, который является стороной прямоугольного треугольника противолежащей прямому углу. ]
≗•
[ Для любых _tr, _k имеет место

эквиваленция: •< _tr, _k > ∈ гипотенуза*; •_trпрямоугольный треугольник, _kотрезок такие, что имеет место конъюнкция: •• < _tr, _k > ∈ сторона*; •• существует _uпрямой угол такой, что < _tr, _u > ∈ внутренний угол*,

{ _k, _u } ∈ противолежащий*. ]
Личные инструменты