Mamy dany okrąg oraz prostą  styczną do niego w punkcie . Chcemy wykazać, że .

Wiemy, że . Zwróćmy uwagę, że zatem trójkąt jest trójkątem równoramiennym, czyli: 

Wiemy, że