Ściana domu oraz trawnik tworzą kąt prosty. Chcemy obliczyć odległość punktu P od lusterka, czyli przeciwprostokątną trójkąta, którego przyprostokątne są długości  i . 

Korzystamy z twierdzenia