Trójkąt  jest trójkątem równoramiennym, zatem korzystając z definicji funkcji tangens w trójkącie prostokątnym , można obliczyć długość odcinka .

Skorzystajmy z twierdzenia