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