треугольники авв1 и ава1 --прямоугольные с общей гипотенузой ав
у прямоугольного треугольника -- гипотенуза это диагональ описанной окружности
а вершина прямого угла в любом треугольнике построенном на этой гипотенузе будет лежать на этой окружности
треугольники авв1 и ава1 --прямоугольные с общей гипотенузой ав
у прямоугольного треугольника -- гипотенуза это диагональ описанной окружности
а вершина прямого угла в любом треугольнике построенном на этой гипотенузе будет лежать на этой окружности