Um ponto comum às mediatrizes de um triângulo

Teorema:
As mediatrizes Δ_a, Δ_b e Δ_c dos três lados a, b, c de um triângulo ABC são concorrentes num ponto.



[AdAM]

A construção dinâmica não faz demonstração, mas é uma boa verificação, quer pela construção da terceira mediatriz a passar pelo ponto de intersecção das outras duas, quer pela construção da circunferência circunscrita ao triângulo

Demonstração: Tomemos, por exemplo, as mediatrizes dos lados a e b. Claro que estas são concorrentes (para serem paralelas, teriam de ser perpendiculares a lados paralelos e num triângulo não há lados paralelos). Chamemos O ao ponto de intersecção das mediatrizes Δ_a e Δ_b. Como O está na mediatriz de BC, OB=OC. Por O estar na mediatriz de AC, OA=OC. Em conclusão, OA=OB(=OC) e, por isso, O está na mediatriz de AB que é onde estão todos os pontos equidistantes de A e B.

Parece-nos um bom teorema para demonstrar no básico.