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