Rysunek pomocniczy

Symetralna odcinka jest to prosta prostopadła do danego odcinka przechodząca przez jego środek.

Zatem wiemy, że symetralna odcinka jest prostopadła do , więc możemy zapisać, że