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