Доказательства свойств треугольника АБС