Oznaczmy wierzchołek przy kącie prostym jako , a trzeci wierzchołek w trójkącie jako .

Zapiszemy:

Więc:

Z własności tangensa zapiszemy:

Wiemy, że:

Przyrównujem