Центр окружности описанной вокруг треугольника

В этом видео приводится доказательство того, что центр окружности, описанной вокруг прямоугольного треугольника, лежит на середине гипотенузы. Это...