Skorzystajmy z informacji zamieszonej w powyższej ramce:

Trójkąt  jest prostokątny oraz 

Odległość  jest dwa razy mniejsza od , więc 

Możemy zatem z twierdzenia