Математическое доказательство теоремы об окружности, описанной около треугольника