Нерівність трикутника. Прямокутний трикутник