Rysunek pomocniczy:

 Symetralna przeciwprostokątnej dzieli przeciwprostokątną na dwie równe połowy i przyprostokątną na dwa odcinki . 

 - przeciwprostokątna trójkąta

Korzystamy z