Центр описанной около прямоугольного треугольника окружности лежит на середине гипотенузы
Смотри вложение