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