Demonstre que a distância do circuncentro de um triângulo a qualquer um dos lados é igual à metade da distância do ortocentro ao vértice oposto.