Wiemy, że  oznacza to, że trójkąt  jest trójkątem równoramiennym. Możemy zapisać, że:

Korzystamy z twierdzenia o cięciwach:

Jeśli oznaczymy:

To