Рівність прямокутних трикутників. Нерівність трикутника