Demonstração simples

A partir do triângulo equilátero ABC, construímos o triângulos A'B'C' para fora (e o triângulo A''B''C'' para dentro) nas condições da figura em que AA'=BB'=CC'.
Pedimos que se demonstre que A'B'C' é equilátero.




É uma demonstração simples e boa para os alunos do ensino básico aprenderem a separar hipótese de tese e a escrever os passos sucessivos da demonstração que não precisa de mais do que critérios de congruência de triângulos (estudados no 7º ano)