(7/2023) Сума кутів трикутника. Нерівність трикутника. Прямокутний трикутник