Окружность девяти точек

Окружность девяти точек - окружность, описанная около серединного треугольника.