Relações métricas envolvendo triângulos inscritos num triângulo

Dado um triângulo ABC, qualquer triângulo DEF inscrito em ABC tem um perímetro maior ou igual ao perímetro do triângulo de vértices nos pés das alturas do triângulo ABC

Na construção dinâmica que se segue, pode deslocar os vértices do triângulo ABC bem como os vértices do triângulo DEF inscrito em ABC, para confirmar que essa relação se mantém com diversos triângulos ABC e respetivos órticos, ou com os diversos triângulos DEF inscritos num mesmo triângulo ABC